文献

J-GLOBAL ID：202002255102782611   整理番号：20A2077466

マルチコアハードリアルタイムシステムにおける使用のためのPolkaコンテンションマネージャの解析【JST・京大機械翻訳】

Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems

著者 (3件)： Quillet Adrien (LS2N, UMR CNRS, Ecole Centrale de Nantes, Nantes, France) ,  Queudet Audrey (LS2N, UMR CNRS, University of Nantes, Nantes, France) ,  Lime Didier (LS2N, UMR CNRS, Ecole Centrale de Nantes, Nantes, France)
資料名： ACM Proceedings  (ACM Proceedings)
号： RTNS 2020  ページ： 11-21  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 行動記憶(TM)は,学界と開発群の両方の注意を引出す。実際に,この概念は,ロックベースのアプローチ,プログラム者の作業の代替法を提供する。この話題に関する大量の調査にもかかわらず,ほとんどのTM実装の正当性の問題は未解決のままである。より具体的には,トランザクションの実行時間に関する上限の欠如は,リアルタイムシステムにおけるTMの使用を妨げる。この課題に取り組むために,Polkaコンテンションマネージャが考慮されたとき,待ち時間保証の進展(即ち,すべてのトランザクション進展)を確実にすることができるリアルタイムシステムと比較して,新しい現実的な仮定を導入した。その文脈において,システムの完全な形式化を通して,著者らは,流産の数およびトランザクションの実行時間の両方に関して上限を証明した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *実時間処理 ,  待ち時間 ,  流産
準シソーラス用語： 実行時間 ,  *マルチコアプロセッサ ,  トランザクションメモリ , 【Automatic Indexing@JST】

著者キーワード (3件)： 非ブロッキング同期 ,  リアルタイムシステム ,  ソフトウェアトランザクションメモリ

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： コンテンション ,  マネージャ ,  解析