ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. システムソフトウェアとオペレーティング・システム(OS)
  3. 2021
  4. 2021-OS-151

タスク同期方式FTCのためのコールグラフ活用による非決定性タスクスイッチの抽出方法

https://ipsj.ixsq.nii.ac.jp/records/209726
https://ipsj.ixsq.nii.ac.jp/records/209726
14d6ee88-c724-4ba4-bb5c-e1d129b102c9
名前 / ファイル ライセンス アクション
IPSJ-OS21151002.pdf 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.
著者名 河合, 英宏

× 河合, 英宏

河合, 英宏

Search repository
小川, 雅昭

× 小川, 雅昭

小川, 雅昭

Search repository
著者名(英) Hidehiro, Kawai

× Hidehiro, Kawai

en Hidehiro, Kawai

Search repository
Masaaki, Ogawa

× Masaaki, Ogawa

en Masaaki, Ogawa

Search repository
論文抄録
内容記述タイプ 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
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-19 18:25:23.873367
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

河合, 英宏, 小川, 雅昭, 2021: 情報処理学会, 1–7 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3