Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
use MSG_init instead of xbt_init since someone wrongly create mutexes
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 22 Nov 2012 22:01:36 +0000 (23:01 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 22 Nov 2012 22:01:36 +0000 (23:01 +0100)
commitbecf2ff78c488808dcb55883271ca759ac0ca492
treeeacfcc598bb804203c57b810d879002c57811a08
parent1cebdead80dbcffd966fec53f6001c1ccdf0a32f
use MSG_init instead of xbt_init since someone wrongly create mutexes

There should not be necessary to call MSG_init to create xbt_mutexes,
but since this creation induces a simcall, we'd better initialize
simix.

This is not sufficient though, as maestro_context does not seem to be
initialized this way, leading to a try to dereference the host of the
current process, that was never set.
tools/sg_unit_extractor.pl