文献

J-GLOBAL ID：201702232882060027   整理番号：17A0118041

入れ子型FIFOスピンロックのためのブロッキング限界【Powered by NICT】

A Blocking Bound for Nested FIFO Spin Locks

著者 (3件)： Biondi Alessandro ,  Brandenburg Bjorn B. ,  Wieder Alexander
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： RTSS  ページ： 291-302  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ロック競合による最悪ブロッキング遅延の限界マルチプロセッサ実時間システムの解析における基本的問題である。しかし実際には,すべてのこれまでに公表された細粒(すなわち,非漸近)解析は,単純化した(しかし非実用的)仮定を作る:臨界積はネスト化してはならない。本論文では,この基本的な限界を克服し,分割された固定優先度スケジューリングの下でのネスト化した非FIFOスピンロックのための結合した最初の細粒ブロッキングを提示した。この目的のために,導入された,全ての可能な資源競合と推移的遅延を反映するグラフ抽象化に基づく新しい解析法。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 簡素化 ,  *ブロッキング ,  臨界 ,  マルチプロセッサシステム ,  *FIFO
準シソーラス用語： 資源競合 ,  入れ子構造 ,  実時間システム , 【Automatic Indexing@JST】

分類 (1件)： オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (3件)： FIFO ,  ブロッキング ,  限界