11/07/03 08:41:17.55 .net
>653
なんだ、ある程度わかっている人みたいですね。 そう サービスコールの不可分性の保証の話ですよ。
ただ勘違いしていると思えるのは、サービスコールの不可分性の保証は、かならず処理の前後関係まで保証
しないといけない規定ではないし、実装定義として一部のケースで可分性を認めてもよいという取り決め
になっているわけですよ。
例えば優先度のwaitキュー検索に関して言えば、割り込みを空けることがあっても不可分性は保証される
よ。だからトレードオフということはない。 確かに複数待ちイベントフラグのiset_flgとiclr_flgにおいては
保証できないケースがある。ただ、この場合に限り貴殿の言う割り込み応答性と不可分性の保証のトレード
オフにはなるけど、特殊なケースで、問題にならないと思う。それよりもTOPPERSで優先度待ちキュー検索で
割り込みを空けなかったのはテスト量が増えるからしなかったというのが真相らしいので、これを手抜き
というのは「粗暴な」ではなく真っ当な理由ですよ。
実際には、割り込みを空ける手法はマルチプロセッサ対応のSMPカーネルで実装されている。もちろん不可分性
も保証されているよ。先ほどの前後関係が変わる動きになる。これが実装上必須なのでやっていて、
この対応のためにテスト手法を工夫されているのも事実。だからASPやJSPでもテスト手法を工夫すればできる
話なんだな。やっぱ手抜きですよ。