Mercurial > hg > Gears > GearsAgda

comparison src/parallel_execution/Todo @ 234:47588c28f189

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
TaskManager
author mir3636
date Sun, 22 Jan 2017 20:17:11 +0900
parents 578f283efb4a
children 18b43cdc8ee5
comparison
equal deleted inserted replaced
233:06133afb3b5b 234:47588c28f189
1 Sun Jan 22 20:11:28 JST 2017
2 TaskManagerから必要なCPUWorkerを生成する
3 WorkerはcreateWorker時に新しくthreadを作る
4
5 TaskManager->createTaskで新しいContextを生成する
6 この時点でWorkerを番号で指定する
7 このContextにGearefで値を設定していく
8 待ち合わせ用のDSを設定する
9 taskManager->spawnでWorkerにcontextを送る
1 Fri Jan 13 17:47:40 JST 2017 10 Fri Jan 13 17:47:40 JST 2017
2 Task は contextを直接使うことにする 11 Task は contextを直接使うことにする
3 DS には, まっているcontextをListを作る 12 DS には, まっているcontextをListを作る
4 context に実行中断中のCS の番号をいれるフィールドを用意する 13 context に実行中断中のCS の番号をいれるフィールドを用意する
5 待っているDS のcount 14 待っているDS のcount