(toppers-users 4198) Fwd: Re:TOPPERS/JSPの優先度逆転仕様

[石川 拓也]

みなさま

お世話になっております。
名古屋大学の石川です。

宿口さまからのご回答メールを転送致します。
よろしくお願い致します。

-------- Original Message --------
Subject: 	Re: (toppers-users 4197) Re:TOPPERS/JSPの優先度逆転仕様
Date: 	Thu, 23 Jan 2014 01:28:03 +0900
From: 	SHUKUGUCHI Masahiro <shukuguchi ＠ biz.nifty.jp>
To: 	users ＠ toppers.jp



宿口と申します。

μITRON4.0 の「優先度逆転を排除したセマフォ」はミューテックスとして
定義されています。ミューテックスのAPIは  loc_mtx/unl_mtx のように
???_mtx と定義されています。このミューテックスは μITRON4.0の
スタンダードプロファイルに含まれていません。

JSP（Just Standard Profile） は、μITRON4.0のスタンダードプロファイル
のリファレンスとして実装されていますので、ミューテックスすなわち
「優先度逆転を排除したセマフォ」を一切持ちません。ゆえに、「優先度上限
プロトコル」も「優先度継承プロトコル」も実装されていません。

「優先度逆転を排除したセマフォ」と言われていますので、セマフォ（API
は sig_sem/wai_sem のような ???_sem）として実装されるように思われ
がちですが、既存のセマフォの拡張は実装が難しい、複雑な機能を持つAPIは
μITRONのAPI設計思想に合わない、ユーザの混乱を招く、などの判断があり、
既存のセマフォの拡張でなく、「優先度逆転を排除したセマフォ」ミューテッ
クスが導入されたように思います。

ミューテックスがどのような仕組みになっているかは、新世代仕様書のミュー
テックスの項や???_mtx の実装を参照されるのが良いかと思います。

よろしくお願いいたします。

Shukuguchi

> TO：斉藤様
> 
> 李＠横河電機です。
> 
> ご教授をいただき、ありがとうございます。
> 
> ＞TOPPERS/JSP は μITRON4.0仕様のスタンダードプロファイルに準拠した
> ＞RTOSです．「優先度上限プロトコル」は実装されていないと思います．
> 
> TOPPERS/JSP は「優先度継承プロトコル」も実装されていませんか？
> 
> 以上、よろしくお願いします。
> 
> 
> From: users-bounces ＠ toppers.jp [mailto:users-bounces ＠ toppers.jp] On Behalf Of Naoki Saito
> Sent: Monday, January 20, 2014 9:12 AM
> To: users ＠ toppers.jp
> Subject: (toppers-users 4196) Re:TOPPERS/JSPの優先度逆転仕様
> 
> 李さま
> 
> 斉藤ともうします．
> 回答が無いようなので僭越ながら．．．
> 
> TOPPERS/JSP は μITRON4.0仕様のスタンダードプロファイルに準拠した
> RTOSです．「優先度上限プロトコル」は実装されていないと思います．
> 
> 以上です．
> 
> 2014年1月16日 21:58 Li, Xueliang <xueliang.li ＠ cn.yokogawa.com>:
> 李＠横河電機です。
> ?
> 初めてのメーリングリストの投稿です。
> ?
> TOPPERS/JSPのタスク優先度逆転に関して、実装仕様をたずねたいと思います。
> http://www.adac.co.jp/products/integrity/details/page06.html
> で書いたような「優先度逆転を排除したセマフォ」がTOPPERS/JSPに実装されたか、
> 教えていただきたいと思います。
> 要するに、TOPPES/JSPは「優先度継承プロトコル」を使用しているのでしょうか？
> もし、使用している場合、どんな仕組みを利用し、優先度が変った場合、デットロックを防いでいますか？
> ?
> JSPではないですが、「TOPPERS 新世代カーネル統合仕様書」 を調べてみました。
> 4.4.6 ミューテックスでは、「優先度上限プロトコル」が実装されているように書かれています。
> JSPはどうなっているか、セマフォはどのように実装しているか、
> ご教授のほど、よろしくお願いいたします。
> ?
> 以上
> ?
> 



-- 
名古屋大学 大学院情報科学研究科
情報システム学専攻 高田研究室
石川 拓也
t_ishikawa ＠ ertl.jp