第 10 回オープン ソース オペレーティング システム年次テクニカル カンファレンス (OS2ATC) は無事に終了し、10 年間の旅路がさらに前進しています!
3 月 26 日、Tongxin Softwareが後援し、清華大学、北京大学、Jianshe Technologyが主催する第 10 回年次オープン ソース オペレーティング システム技術会議 (OS2ATC) が、北京の Xijiao Hotel で開催されました。Tongxin Software のシニア バイス ゼネラル マネージャー兼 CTO である Zhang Lei 氏と、Jianshi Technology の創設者兼 CEO である Liang Yuning 氏が会議の議長を務めました。
この会議では、ハードウェア、RISC-V アーキテクチャ、ARM アーキテクチャ、Godson アーキテクチャをカバーする「オープン ソース イノベーション」の方法について、60 人を超える国内の最前線のオペレーティング システムの専門家、業界のリーダー、著名な学者を招待しました。 、プログラミング技術、RUST、自動車ソフトウェア、AIoT、ユビキタス OS、クラウド ネイティブ、仮想化、その他の技術的なホットスポットについて話し合います。メイン フォーラム、ハードウェア、AIoT とカーネル、自動車ソフトウェア、プログラミング テクノロジ、クラウド ネイティブと仮想化、および学生向けの 7 つのフォーラムが本格的に開催されます。
現場は熱気にあふれ、空席はなかった。
Tongxin Software のシニア副ゼネラル マネージャー兼 CTO である Zhang Lei 氏は開会の挨拶で、年次オープン ソース オペレーティング システム技術会議である OS2ATC が 9 回連続して開催され、オペレーティング システムの学術交流で大きな成果を上げていると述べました。産業の成果を展示し、関連する研究を促進します。OS2ATC の 10 周年に、私たちは過去と未来に基づいて構築します。
Jianshi Technology の創設者兼 CEO であるLiang Yuning 氏は、中国が今後 10 年間でオープン ソース ソフトウェア、オペレーティング システム、チップ、RISC-V の分野でさらに発展することを期待していると述べました。
コロンビア大学のGu Ronghui教授は、「Linux KVM ハイパーバイザーの Micronverification」というタイトルのレポートを公開しました。このレポートは、商用 Linux ハイパーバイザーの正式な検証を行い、仮想マシンの精度と完全性について詳しく説明しています。
北京大学の教授であるLi Ge氏は、「AIGC に基づくインテリジェント プログラミング テクノロジ」というスピーチで、チームが開発した aiXcoder XL を紹介しました。これは、メソッド レベルのコード生成をサポートし、インテリジェント プログラミングの研究と産業応用にとって非常に重要です。テクノロジー。同時に、大規模なモデルがすべての問題を解決できるわけではないことを強調し、大規模なモデルは私たちに窓を開けましたが、将来にはまだ長い道のりがあります。
Ant Group のセキュア コンピューティング プラットフォームの責任者であるLiu Shuang 氏は、「Rust Monitor Formal Verification」というタイトルのスピーチを行いました. Ant が独自に開発した Rust Monitor は、統一された TEE ハードウェア抽象化レイヤーを使用し、特別なセキュリティ ハードウェアに依存せず、クロスプラットフォームを提供します。 TEE セキュリティ機能はすでに大規模に実装されており、金融テクノロジー製品の資格を持っています。
清華大学のZhang Chao教授は、「カーネル脆弱性マイニング技術」というタイトルのレポートを発表しました.国際的な CVE 脆弱性データベースの数によると、カーネルの脆弱性は過去 5 年間で大幅に増加しており、カーネルの脆弱性の問題は無視できません。その中で, ファズテストはカーネルの脆弱性を掘り起こすために使用されています. 彼はいくつかの主流のカーネルファズテスト方法を共有しました. 将来的には, 幅広いターゲットのサポート, テスト効率の最適化, 遺伝的進化, AIインテリジェントコラボレーションの方向に発展します.
Huawei Euler OS プランニングの専門家であるZhang Pan が私たちにもたらした「多様なコンピューティング能力の時代における OS フォームの考え方」、多様なコンピューティング能力の未来にはどのようなオペレーティング システムが必要なのか? Zhang Pan の答えは異種融合です。コンピューティング能力が多様化する時代のハードウェアでは、革新的なコンピューティング アーキテクチャが相互接続 + DSA を中心に展開し、データ フローを高速化し、並列処理を改善します。
清華大学のテニュア准教授である Zhai Jidong 氏は、「式の導出に基づく人工知能コンパイラ」という講演で、式の導出に基づくグラフ コンピューティングの融合最適化技術を紹介し、代数式を介してレイヤーとオペレーターレイヤー間のブリッジを確立しました。グラフコンピューティング融合の最適化技術が強力にサポートし、最適化空間を大幅に拡大します。
すばらしいスピーチに加えて、会議では、Jianshi Technology の CEO であるLiang Yuningと製品ディレクターのLu Yanwen が、世界初の RISC-V 開発ラップトップ ROMA を正式にリリースしました。ROMAはRISC-V財団が主導し、デジタルインテリジェンスの開発と技術のデバッグを徹底的に行い、国内のオペレーティングシステムopenKylinをプリインストールし、4コアRISC-Vプロセッサを搭載し、アップグレード可能なSoCマザーボードを搭載しています。 、12nm（プロフェッショナル版）/28nm（スタンダード版）のSoMパッケージを採用。
国防技術大学の研究者であり、openKylin コミュニティのテクニカル リーダーであるYu Jie博士は、RISC-V における openKylin オペレーティング システムの進捗と計画を紹介し、カーネル層、GPU の観点から ROMA の最適化を続けました。 、ソフトウェア パッケージなどです。ノートブックはより優れたサポートを提供し、RISC-V エコロジカル エクスペリエンスを向上させます。
この会議では、「オープン ソース イノベーション パイオニア アワード」を特別に設定し、優れたオープン ソースの人々によるオープン ソース技術プロジェクトへの優れた貢献を評価し、国内外でオープン ソースの開発を共同で推進しています。華中科技大学のJiang Zhouqi 氏、浙江大学のZheng Yusheng 氏、 Huawei のWu Yifan氏、 RT-Thread コミュニティのメンバーであり Huawei Canada の研究者であるMan Jianting 氏は、組織委員会と専門家による評価の結果、際立っていました。そして教師。グローバル オープン ソース ガバナンスへの中国の深い参加を促進し、繁栄するオープン ソース エコシステムを構築するには、すべてのオープン ソース関係者の参加が不可欠です。
午後、サブフォーラムは、Dragon Lizard Community、Hongmeng Community、Intel、Jindie Space-Time、Tencent、Zebra、Huawei、Yihui Information、Allwinner Technology、Ruibo Intelligent、Guoke Foundation からの技術的な交換と共有を続けました。 Stone、Godson Zhongke、RT-Thread、Xiaomi、openKylin、中国科学院計算技術研究所、Shenzhidu、Harbin Institute of Technology、北京大学、清華大学、その他の企業や大学の技術専門家と学生、ハードウェアに焦点を当てています、RISC-V、プログラミング技術、AIoT、カーネル、クラウドネイティブ、仮想化、車載ソフトウェアなどの話題を取り上げ、聴衆と積極的に交流しました。
OS2ATCの10年の旅、
オープンソースの力を結集し、
中国のオープンソース開発が安定し、広範囲に及ぶように支援します。
