futureオブジェクトが「待つ」トリガー

putfield,putstatic,putarray,invokeの引数なんかは待たなくていいな。
型変換を伴うものは待たないと変換できないなー。add,sub,mul,div,modは待たなくちゃだめかも。
問題はexception。tryブロックの遙か外で「実はだめでした」ってケースが起こりうるのを何とかしないとならないなー。tryブロックの最後で待つのがいいのかな。return系も待たないとthrowsで引っかかるか。うーん、思ったよりも並列化できないなー。Javaのbytecodeにこだわるよりも、並列プログラミングにおけるexceptionというものを考えるべきだな。