Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Do not allocate pagemap buffer on the heap
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 19 Jun 2014 13:13:42 +0000 (15:13 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 19 Jun 2014 13:18:27 +0000 (15:18 +0200)
commit1123a69b82b73a4edd1cc9012330de33919d171e
tree62ec87b9a91e0beb6d20d4774e0c1aec3db0aa7f
parent31024f8e71fcc2168e3a9a0274d122b2525ccbce
[mc] Do not allocate pagemap buffer on the heap

This won't work very well with small stacks.
include/xbt/mmalloc.h
src/mc/mc_page_snapshot.cpp