【TOPPERS】ITRON総合スレ3【NORTi】【HOS】

【TOPPERS】ITRON総合スレ3【NORTi】【HOS】 (880ﾚｽ)
上下前次 1-新

650(1): ITRON名無しさん ◆4WD27e3i1o 2011/07/02(土)18:35 AAS
判っている人同士で，細かい足の取り合いしてもつまらないね．ごめんね．

651(1): 423 2011/07/02(土)22:20 AAS
>>650
実際には特殊なことさえしなければ大丈夫ということを書かれているので
比較的やんわり書くとあげあしとりみたいかもね。

3について、つまり割り込み応答性能はtoppers やnorti は手をぬいているよ。ってことです。
それがわかっていないとエントリーの内側だとか言う
ほとんど意味のない理由をづけになるんじゃないかな

652: 2011/07/02(土)22:25 AAS
>>651
名前が423だけどこのスレの番号じゃなかったです。失礼

653(1): ITRON名無しさん ◆4WD27e3i1o 2011/07/03(日)07:57 AAS
JSPカーネルはμITRON仕様のスタンダードプロファイルでサービスコールの不可分性を保証することが求められているので，サービスコール中でカーネル管理の割り込みを開けられないよ．
TOPPERSもFI4カーネルで一部，サービスコール内で割り込み開けたりしていた時期もあったのだけれど，検定仕様書に基づくテストが通らなくなるなどあって戻したりしてるよ．

つまりは，"サービスコールの不可分性"とのトレードオフだよ．ってことです．
それが判っていないと手抜きだとか言う
粗暴な理由付けになるんじゃないかな

654(4): 2011/07/03(日)08:41 AAS
>653
なんだ、ある程度わかっている人みたいですね。　そう　サービスコールの不可分性の保証の話ですよ。
ただ勘違いしていると思えるのは、サービスコールの不可分性の保証は、かならず処理の前後関係まで保証
しないといけない規定ではないし、実装定義として一部のケースで可分性を認めてもよいという取り決め
になっているわけですよ。
例えば優先度のwaitキュー検索に関して言えば、割り込みを空けることがあっても不可分性は保証される
よ。だからトレードオフということはない。　確かに複数待ちイベントフラグのiset_flgとiclr_flgにおいては
保証できないケースがある。ただ、この場合に限り貴殿の言う割り込み応答性と不可分性の保証のトレード
オフにはなるけど、特殊なケースで、問題にならないと思う。それよりもTOPPERSで優先度待ちキュー検索で
割り込みを空けなかったのはテスト量が増えるからしなかったというのが真相らしいので、これを手抜き
省5

655: ITRON名無しさん ◆4WD27e3i1o 2011/07/03(日)21:53 AAS
>>654 技術的/仕様的な点でツッコミどころ満載な長文をありがとう．
でもごめん，それらはとりあえず脇においておくよ．揚げ足の取り合いの前に，確かめておきたい大事なことが一つある．
段落分けずに書いたってことは，SMPカーネルっていうのはTOPPERS/SMPカーネルを指すわけだよね．
ならば君は「TOPPERS開発成果物の知的財産権に関する規則」もしくは，どこかの会社と結んでいるはずのNDAに抵触してる可能性があると，ぼくは思う．
もし君が当時学生だとしたら，その管理責任を君の所属研究室が追うことになるだろう．君はどう思う?

656: 2011/07/03(日)22:18 AAS
あちゃー

657: 2011/07/03(日)23:22 AAS
NDAがどうしたって？

658: 2011/07/04(月)00:54 AAS
SMPの仕様は一般公開されて無いみたいね
会員は見れるのかな？
会員しか知りえない情報を漏らしたらまずい気がする

659(1): 2011/07/04(月)01:26 AAS
>思う
>気がする
この手の話題に...

660: ITRON名無しさん ◆4WD27e3i1o 2011/07/04(月)10:19 AAS
>>659
条件分けしてみようか．

まず，TOPPERS/SMPカーネル仕様の disclosure level は概ね3層に大別できる．
a. 学会発表やカンファレンスなどで公知となっているもの．
b. 早期リリースでTOPPERS会員のみ読めるもの．
c. TOPPERS会員でも読めないもの．

実は c. が存在するかどうかは，ぼくは知らない．なのに c. を仮定するのには理由がある．早期リリースで読めるのは，仕様"案"だからだよ．
("案"であることは，外部ﾘﾝｸ[html]:www.toppers.jp に書いてある公知な事実だよ．)
>>654 で，TOPPERS/SMPカーネルが仕様として成立しているように書いているのがブラフでなければ， c. は存在する可能性が高い．
c. の権利者は名古屋大学もしくはセイコーエプソンかな．少なくとも片方ががその仕様を進んでダダ漏れさせているなら >>654 はシロ．そうでなければクロだね．
省7

661: 2011/07/04(月)12:46 AAS
>割り込みを空ける手法
この部分かな
誰？でも思いつきそうな

662(1): 2011/07/04(月)12:57 AAS
思いつくのはいいけど
それがSMPに実装されて実現しているという情報が
一般に公開されているかどうかじゃないの？

663: 2011/07/04(月)13:12 AAS
妙な縛り入れるところとは付き合わないほうがいいのかな
何かあると、あとでグダグダ言い出しそうだな

664: ITRON名無しさん ◆4WD27e3i1o 2011/07/04(月)22:13 AAS
>>662 知財縛りで書けないことを省くと，ざっくり，そういうことだよね．

665(2): 654 2011/08/11(木)18:07 AAS
一応誤解を与えたということで、すまんかった。あやまっておく。
ここはスレタイにもあるように用語はTOPPERSの特有の用語で
書くのが基本であり、
「マルチプロセッサ対応のSMPカーネル」
と書けば、TOPPERS/SMPのことと理解されるのに違いないこと
ですね。
自分の見たソースはTOPPERS/FMPのことで、FMPとは一般用語では
ないので、上記の記載にした。
FMPはAMP型でSMP型じゃないよ。という突っ込みがあるかもしれ
ないが、AMPだSMPだというのはあまり一般的じゃないのでそう
省1

666: 2011/08/11(木)19:16 AAS
衒学脳の厨っぷりを堪能した。

667(4): 654 2011/08/11(木)23:31 AAS
突っ込みどころ満載とか言っていたけど、さらに追加かもしれないが、具体的に書こう。
TOPPERS/FMP1.2 のソース　wai_flgの部分だ。
wobj_make_wait();
について、t_acquire_nested_tsk_lock_self()のように、割り込みがあったら戻り値をNULLにして
retryに飛んだらよい。　ということなんだけどな。
つまりwaitQue検索時に適当な割合で割り込み許可と割り込み有無チェックをいれるわけだな。

eventflg.c のline:350〜line:371
retry:
t_acquire_obj_lock(&GET_OBJLOCK(p_flgcb));
if ((p_flgcb->p_flginib->flgatr & TA_WMUL) == 0U
省19

668: 2011/08/12(金)07:11 AAS
SSPまだー

669(1): 元ITRON名無しさん ◆4WD27e3i1o 2011/08/16(火)23:14 AAS
>>665 >>667
突っ込みどころ満載すぎて引用できないよ…．ごめんね．

上下前次 1-新書関写板覧索設栞歴

あと 211 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.008s