Mercurial > hg > Papers > 2021 > kono-sigos
view src/pickup_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 pickup_lfork(PhilsPtr self, TaskPtr current_task) { if (self->left_fork->owner == NULL) { self->left_fork->owner = self; self->next = pickup_rfork; goto scheduler(self, current_task); } else { self->next = hungry1; goto scheduler(self, current_task); }