Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix bug when parsing /proc/self/maps
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 20 Dec 2013 11:58:13 +0000 (12:58 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 20 Dec 2013 12:38:17 +0000 (13:38 +0100)
commit32c12a6de1eccaea2504e00c29d06f2f5f41a000
tree9869340ca9b02d92ab05428f87f9cbabdc1c072b
parente76085ccc82e5287f22cd8bb662b3b14921f7ec3
[mc] Fix bug when parsing /proc/self/maps

Sometimes, the heap is not found by the MC :

* the MC expects the heap to be anonymous/unlabelled in
  /proc/self/maps;

* the heap may be labelled as as [stack:$tid] in /proc/self/maps at
  some instants of the execution of the program because the tasks
  stacks are allocated on the heap.
src/mc/mc_checkpoint.c