Mercurial > hg > Gears > Gears
changeset 759:c9cd8b1af70f
merge
author | ikkun <ikkun@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 06 Jan 2021 14:02:50 +0900 |
parents | 3f3cf13153d1 |
children | 73e300d2a868 |
files | src/parallel_execution/examples/DPP/main.cbc |
diffstat | 1 files changed, 11 insertions(+), 11 deletions(-) [+] |
line wrap: on
line diff
--- a/src/parallel_execution/examples/DPP/main.cbc Tue Jan 05 19:47:51 2021 +0900 +++ b/src/parallel_execution/examples/DPP/main.cbc Wed Jan 06 14:02:50 2021 +0900 @@ -39,19 +39,19 @@ __code createTask1(struct LoopCounter* loopCounter, struct TaskManager* taskManager) { - AtomicT fork0 = createAtomicT<int>(contex,-1); - AtomicT fork1 = createAtomicT<int>(contex,-1); - AtomicT fork2 = createAtomicT<int>(contex,-1); - AtomicT fork3 = createAtomicT<int>(contex,-1); - AtomicT fork4 = createAtomicT<int>(contex,-1); + AtomicT fork0 = createAtomicT<int>(contex,-1); // model checking data : fork0 + AtomicT fork1 = createAtomicT<int>(contex,-1); // model checking data : fork1 + AtomicT fork2 = createAtomicT<int>(contex,-1); // model checking data : fork2 + AtomicT fork3 = createAtomicT<int>(contex,-1); // model checking data : fork3 + AtomicT fork4 = createAtomicT<int>(contex,-1); // model checking data : fork4 - Phils* phils0 = createphilsImpl(context,0,fork0,fork1); - Phils* phils1 = createphilsImpl(context,1,fork1,fork2); - Phils* phils2 = createphilsImpl(context,2,fork2,fork3); - Phils* phils3 = createphilsImpl(context,3,fork3,fork4); - Phils* phils4 = createphilsImpl(context,4,fork4,fork0); + Phils* phils0 = createphilsImpl(context,0,fork0,fork1); // model checking task : phils0 + Phils* phils1 = createphilsImpl(context,1,fork1,fork2); // model checking task : phils1 + Phils* phils2 = createphilsImpl(context,2,fork2,fork3); // model checking task : phils2 + Phils* phils3 = createphilsImpl(context,3,fork3,fork4); // model checking task : phils3 + Phils* phils4 = createphilsImpl(context,4,fork4,fork0); // model checking task : phils4 - par goto phils0->thinking( __exit); + par goto phils0->thinking( __exit); par goto phils1->thinking( __exit); par goto phils2->thinking( __exit); par goto phils3->thinking( __exit);