Mercurial > hg > Gears > GearsAgda
changeset 263:18b43cdc8ee5
fix Todo
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sat, 28 Jan 2017 16:18:03 +0900 |
| parents | 2c56a9536c0d |
| children | cd6ea4c7f6a5 |
| files | src/parallel_execution/Todo |
| diffstat | 1 files changed, 11 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/src/parallel_execution/Todo Sat Jan 28 16:04:38 2017 +0900 +++ b/src/parallel_execution/Todo Sat Jan 28 16:18:03 2017 +0900 @@ -1,4 +1,13 @@ +Sat Jan 28 16:10:28 JST 2017 + + stackからpopした後、呼び出される continuation は出力を受けとる。 + 出力を受けとる stub を生成する必要がある。 + なので、CodeGear が、そのような interface で定義されたものかどうかを調べる必要がある。 + Stackのnext(やisEmpty)に代入された時点でわかる。なので、あまり自明な見つける方法がない。 + 引数の異なるnextは異なる名前を持つべきか? 持たなくてもできるが... + Sun Jan 22 20:11:28 JST 2017 + TaskManagerから必要なCPUWorkerを生成する WorkerはcreateWorker時に新しくthreadを作る @@ -7,7 +16,9 @@ このContextにGearefで値を設定していく 待ち合わせ用のDSを設定する taskManager->spawnでWorkerにcontextを送る + Fri Jan 13 17:47:40 JST 2017 + Task は contextを直接使うことにする DS には, まっているcontextをListを作る context に実行中断中のCS の番号をいれるフィールドを用意する