Next: Up: Previous:

概観

StackThreadsの基本的な実行方式は単純で, すでに 別の場所で著者らによって発表されている [45]. 手続き f の評価をする新しいスレッドをforkするときには f を単なる逐次呼び出しで呼び出す. もし f がブロックしたときには, そのコンテキストを スタックからヒープに移動し, スタックを巻き戻すことで caller を再開することができる. たとえ callee がブロックしても caller は再スケジュールされうるので, 効率的にスレッドを生成することができる. もし f が後に再スケジュールされるときには, コンテキストは スタックの上に回復され, 制御はブロックした点に移る. ここで明らかにされなければいけないのは, スタックフレームのどの 部分とどのレジスタが保存, 復帰されなければいけなくて, それらをどのように伝統的なCのスタックフレームから 正しく獲得するのかということである.



Mitsubishi Research Institute,Inc.
Mon Feb 24 19:27:36 JST 1997