Mercurial > hg > Papers > 2008 > atsuki-master
changeset 24:f9826b88bd8f
*** empty log message ***
| author | atsuki |
|---|---|
| date | Wed, 20 Feb 2008 21:17:10 +0900 |
| parents | 12e852a3e36a |
| children | e9e64f24de9b |
| files | paper/chapter2.tex paper/src/pickupL.cbc |
| diffstat | 2 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/chapter2.tex Wed Feb 20 17:03:23 2008 +0900 +++ b/paper/chapter2.tex Wed Feb 20 21:17:10 2008 +0900 @@ -248,6 +248,7 @@ SPINでは以下の性質を検査することができる。 \begin{itemize} \item アサーション + \item デッドロック \item 到達性 \item 進行性 \item LTL式で記述された仕様
--- a/paper/src/pickupL.cbc Wed Feb 20 17:03:23 2008 +0900 +++ b/paper/src/pickupL.cbc Wed Feb 20 21:17:10 2008 +0900 @@ -1,7 +1,6 @@ code pickup_lfork(PhilsPtr self, TaskPtr current_task) { if (self->left_fork->owner == NULL) { - printf("%d: pickup_lfork:%d\n", self->id, self->left_fork->id); self->left_fork->owner = self; self->next = pickup_rfork; goto scheduler(self, current_task);