WEKO3
アイテム
Cyber Physical Systemsに適したリアルタイムOSの提案
https://ipsj.ixsq.nii.ac.jp/records/2000808
https://ipsj.ixsq.nii.ac.jp/records/20008086bdd96d9-4be3-406d-a9e8-a1477801c978
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS25166002.pdf (1.1 MB)
2027年2月27日からダウンロード可能です。
|
Copyright (c) 2025 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, OS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-02-27 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | Cyber Physical Systemsに適したリアルタイムOSの提案 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | リアルタイムシステム・性能最適化 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 株式会社ティアフォー | ||||||||||
| 著者所属 | ||||||||||
| 株式会社ティアフォー | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| TIER IV, Inc. | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| TIER IV, Inc. | ||||||||||
| 著者名 |
高野,祐輝
× 高野,祐輝
× 今井,航一
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 自動運転などのCyber Physical Systemsでは、大量のセンサデータをリアルタイムに処理する必要があり、高い安全性も求められる。そこで、本研究では、非協調的なAsync/await機構を備えたマイクロカーネルスタイルの単一メモリアドレス空間OSであるAwkernelを提案する。Async/awaitは、非同期プログラミングを容易に記述可能な機構であり、本OSは、Async/await機構をカーネルスケジューラの中核に組み込んだOSである。従来のAsync/await機構は、協調的にコンテキストスイッチを行い、OSのスケジューラとは異なるスケジューリング層で処理される。そのため、リアルタイムスケジューリングアルゴリズムを適用することは難しかったが、本OSではこの問題を解決する。また、単一メモリアドレス空間で動作するため、オーバヘッドを最小限に抑えることができる。単一メモリアドレス空間OSの安全性に関する問題は、Rust言語の機能を活用してマイクロカーネルスタイルの隔離を行い解決する。本論文では、Awkernelの設計と実装について説明し、性能評価を行う。また、今後の課題と展望についても述べる。 | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10444176 | |||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2025-OS-166, 号 2, p. 1-8, 発行日 2025-02-27 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8795 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
