久野です。

kono@ie.u-ryukyu.ac.jpさん:
> 「起こす奴」が制御できなければ、誰も制御できないですよね。そ
> のあたりは、やっぱり「実装」によって決まる。なので、実装をい
> じれれば、完全に制御できます。まぁ、kernel書くようなものだか
> ら。

  そうなると、割り込みルーチンの中で必要なあらゆるデータを全部参
照できるという前提になるでしょ? そういうマシン語みたいなことでい
いと思うのならそれでおしまいなんだけどさ。

> 実装を隠した「同期の抽象化」っていう事自体が、問題を複雑にして
> いる気がしてます。

  抽象化できなかったら言語の敗北だからさ。

                          言語屋の                          久野

P.S. 問題を複雑にしない抽象化の手段は存在すると思う。思わないの
     ならなぜ並列言語やってるのか不思議だな。