Mercurial > hg > Gears > GearsAgda

comparison src/parallel_execution/Todo @ 265:4ccf776db994

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 28 Jan 2017 17:15:55 +0900
parents cd6ea4c7f6a5
children a9a6d571fa80
comparison
equal deleted inserted replaced
264:cd6ea4c7f6a5 265:4ccf776db994
10 goto nodeStack->push(newNode, replaceNode1); Interface の呼び出し。(ここで replaceNode1 が stack の戻り値を受けることがわかる。 10 goto nodeStack->push(newNode, replaceNode1); Interface の呼び出し。(ここで replaceNode1 が stack の戻り値を受けることがわかる。
11 goto replaceNode(traverse, traverse->current, newNode); 普通のgoto 11 goto replaceNode(traverse, traverse->current, newNode); 普通のgoto
12 goto rotateTree->next(...); DataGearに格納された continuation 12 goto rotateTree->next(...); DataGearに格納された continuation
13 13
14 などをチェックする必要がある。これらの型チェックは CbC level では行われない。(CbCはmeta levelだから) 14 などをチェックする必要がある。これらの型チェックは CbC level では行われない。(CbCはmeta levelだから)
15
16 戻り値の部分は interface に記述させるという手もあるな。
15 17
16 18
17 Sun Jan 22 20:11:28 JST 2017 19 Sun Jan 22 20:11:28 JST 2017
18 20
19 TaskManagerから必要なCPUWorkerを生成する 21 TaskManagerから必要なCPUWorkerを生成する