(toppers-users 4197) Re: TOPPERS/JSPの優先度逆転仕様
Li, Xueliang
xueliang.li @ cn.yokogawa.com
2014年 1月 22日 (水) 19:15:20 JST
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はどうなっているか、セマフォはどのように実装しているか、
ご教授のほど、よろしくお願いいたします。
以上