Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make this example insensitive to scheduling order of events occuring at the same...
authorArnaud Legrand <arnaud.legrand@imag.fr>
Mon, 5 Mar 2012 10:54:00 +0000 (11:54 +0100)
committerArnaud Legrand <arnaud.legrand@imag.fr>
Mon, 5 Mar 2012 11:05:43 +0000 (12:05 +0100)
commit2b9bd6b45d38d86ecd293508ae6475f8481c4ba7
tree338fe6128d7771399f568cd64dbc4ed1c4a896aa
parent54fd0c23355188781c0134be0e7d9a64583a6802
Make this example insensitive to scheduling order of events occuring at the same time.

At time 7, depending whether the policeman is waken up before or after the emigrant, the migration could take place either at time 7 or at time 8.
examples/msg/migration/migration.c