Mercurial > hg > Papers > 2021 > kono-sigos
view src/putdown_lfork.cbc @ 0:67e6ca3c7e6c
model checking
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 27 Apr 2021 14:25:56 +0900 |
parents | |
children |
line wrap: on
line source
__code putdown_lfork(struct PhilsImpl* phils, __code next(...)) { struct AtomicT_int* left_fork = phils->Leftfork; goto left_fork->set(-1, thinking); }