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

[Li, Xueliang]

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はどうなっているか、セマフォはどのように実装しているか、
ご教授のほど、よろしくお願いいたします。
 
以上