GearsOS
論文
interface 部分にstack入れた方が楽だし、自然ではあるんだが。ideaの根本に関わるはずなんだが、あんまり影響ないっぽい気もする。
干渉はGearsに閉じるからinterface間は関係ない
task 遷移する時にstack clearすれば良い
stack作る代わりにcontext/process増やしても良い?
join が問題になるな
そこは今でも曖昧なので
そうするとContextにData一つになる
メソッド呼び出しで必ずfutureする感じ
そうすると確かにackerman anormallyに絡むな
interfaceにstackを入れてもModel検査のstate db対象にしなくても良いなら、入れても良い気がする
いや、ダメな例がありそうだが…
おそらく、ackerman anormally みたいなの
ただ、非決定性に変換することはできるかもしれない