- 250 名前：デフォルトの名無しさん mailto:sage [03/08/01 21:41]
- >247
んなこたーない。
他の処理を犠牲にして全体的に遅くなっても、優先順位の高いメッセージの処理時間が
「絶対に」一定値を越えないことを数学的に保証できる場合がありまして。
ttp://www.ertl.ics.tut.ac.jp/~kaz/research/scheduling/scheduling_contents.html
ここらへんとか見てみ。
ただ、そこまでシビアな世界でぁゃιぃ論理型言語を使うかは激しく疑問ですな。
