マルチプロセッサ同期プロトコルにおける排他制御のためのロック待ちキューイング優先度の割り当て手法

• Item type: Symposium(1)
• 公開日: 2017-08-17
• タイトル: マルチプロセッサ同期プロトコルにおける排他制御のためのロック待ちキューイング優先度の割り当て手法
• タイトル / 言語: en
• タイトル: Priority Assignment of Wait-Lock Queuing for Mutual Exclusion in Multiprocessor Synchronization Protocol
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通信，スケジューリング（Work-in-Progress論文）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院工学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者名: マ, チュウキ; 倉地, 亮; 曾, 剛; 高田, 広章
• 著者名(英): Zhongqi, Ma; Ryo, Kurachi; Gang, Zeng; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: マルチプロセッサに適用されるパーティション固定優先度スケジューリングには，よく使用されるプロトコルとして，MPCP と FMLP+ の 2 つのプロトコルが存在する．前者では，優先度順のキューが適用されるため，高優先度タスクが過度の遅延を受けることはない．しかしながら，低優先度タスクがリソースを待っているとき，高優先度タスクに何回かプリエンプトされてしまう可能性がある．その一方で，後者では FIFO キューが採用されている．ジョブは，リソースの要求ごとに他タスクのジョブによる遅延が多くとも 1 回あるが，高優先度タスクは必ずしもデッドラインを守ることができるとは限らない．このように，MPCP でも FMLP+ でもそれぞれメリットもデメリットもある．本研究では，2 つのプロトコルの比較に基づき，「理論余裕時間」 という新しいパラメータを提案する．より具体的には，ロックを取得したジョブは，理論余裕時間で並び，スケジュールされる．本提案手法の有効性と実現可能性を示すため，数値例を挙げる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: There are two commonly used protocols for partitioned fixed priority scheduling: MPCP and FMLP+. Under the former, the priority queues are used so that higher-priority tasks cannot suffer from excessive delays. However, lower-priority tasks may be preempted by higher ones several times when they wait for a resource. By contrast, the FIFO queues are adopted under the latter. Although a job of task can be directly delay by others at most once per request for a resource, higher-priority tasks may miss their deadlines due to the expense of increased delays. Based on the analysis of two protocols' advantages and disadvantages, a new parameter, named “theoretical slack time”, was proposed to order conflicting requests. Lock holders are scheduled in order of increasing theoretical slack time. A numerical example was employed to show the effectiveness and feasibility of our strategy.
• 書誌情報: 組込みシステムシンポジウム2017論文集; 巻 2017, p. 78-81, 発行日 2017-08-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会