WEKO3
アイテム
タスク同期方式FTCのためのコールグラフ活用による非決定性タスクスイッチの抽出方法
https://ipsj.ixsq.nii.ac.jp/records/209726
https://ipsj.ixsq.nii.ac.jp/records/20972614d6ee88-c724-4ba4-bb5c-e1d129b102c9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS21151002.pdf (930.9 kB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-02-22 | |||||||||
| タイトル | ||||||||||
| タイトル | タスク同期方式FTCのためのコールグラフ活用による非決定性タスクスイッチの抽出方法 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Call Graph-based Method of Extracting Nondeterminism for Task Sync-based Fault Tolerant Computer | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 分散・ネットワーク | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| (株)日立製作所 | ||||||||||
| 著者所属 | ||||||||||
| (株)日立製作所 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Hitachi Ltd. | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Hitachi Ltd. | ||||||||||
| 著者名 |
河合, 英宏
× 河合, 英宏
× 小川, 雅昭
|
|||||||||
| 著者名(英) |
Hidehiro, Kawai
× Hidehiro, Kawai
× Masaaki, Ogawa
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | FTC（Fault Tolerant Computer）方式の一つであるタスク同期方式は，タスクスイッチを行うプログラム上の箇所と順序をノード間で合意形成することで，各ノード上で動作するアプリケーションの出力について決定性保証することを一つの特徴とする．これを Linux 上で実現するには，システムコールの処理から非決定性のタスクスイッチを抽出し，決定性の振る舞いをするよう同期処理を追加する必要がある．以前はこの抽出作業を人手で実施したが，今回はコールグラフを活用した非決定性タスクスイッチの網羅的抽出手法を考案し，効率化を図った．これを実際に FTC 用 Linux カーネルのバージョンアップの際に適用し，抽出作業に要する期間を従来比 7 割減とすることができた． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10444176 | |||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2021-OS-151, 号 2, p. 1-7, 発行日 2021-02-22 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8795 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
