Mercurial > hg > Papers > 2021 > anatofuz-master

annotate paper/src/useGene.cbc @ 131:988b3024d685

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 08 Feb 2021 05:49:37 +0900
parents b804a51037c7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
113
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 __code createTask1(struct LoopCounter* loopCounter, struct TaskManager* taskManager) {
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 AtomicT<int>* fork0 = createAtomicTImpl<int>(contex,-1); // model checking : fork0
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 AtomicT<int>* fork1 = createAtomicTImpl<int>(contex,-1); // model checking : fork1
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 AtomicT<int>* fork2 = createAtomicTImpl<int>(contex,-1); // model checking : fork2
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 AtomicT<int>* fork3 = createAtomicTImpl<int>(contex,-1); // model checking : fork3
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 AtomicT<int>* fork4 = createAtomicTImpl<int>(contex,-1); // model checking : fork4
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 Phils* phils0 = createPhilsImpl(context,0,fork0,fork1); // model checking : phils0
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 Phils* phils1 = createPhilsImpl(context,1,fork1,fork2); // model checking : phils1
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 ...