AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Gabriel Corona <gabriel.corona@loria.fr>
	Thu, 30 Oct 2014 13:39:17 +0000 (14:39 +0100)
committer	Gabriel Corona <gabriel.corona@loria.fr>
	Mon, 1 Dec 2014 10:08:40 +0000 (11:08 +0100)
commit	03d36345c4247a907709b86c189a53f5f85bea88
tree	afc63ed683c82b2d1f7e5be90fc2546eaac08b1a	tree \| snapshot
parent	9feddd36538504047da1489a7bfcae45aa599491	commit \| diff

[mc] Initial support MC record/replay

The idea is to record an execution path in MC mode inorder to be able
to replay it outside of the MC (event with a non-MC build). Some very
basic (an unobtrusive) MC code is compiled even when MC is disabled.

37 files changed:

buildtools/Cmake/AddTests.cmake		diff \| blob \| history
buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
buildtools/Cmake/MakeExe.cmake		diff \| blob \| history
include/simgrid/modelchecker.h		diff \| blob \| history
include/surf/simgrid_dtd.h		diff \| blob \| history
include/xbt/graphxml.h		diff \| blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/mc_base.c	[new file with mode: 0644]	blob
src/mc/mc_base.h	[new file with mode: 0644]	blob
src/mc/mc_comm_determinism.c		diff \| blob \| history
src/mc/mc_config.c		diff \| blob \| history
src/mc/mc_global.c		diff \| blob \| history
src/mc/mc_liveness.c		diff \| blob \| history
src/mc/mc_private.h		diff \| blob \| history
src/mc/mc_record.c	[new file with mode: 0644]	blob
src/mc/mc_record.h	[new file with mode: 0644]	blob
src/mc/mc_request.c		diff \| blob \| history
src/mc/mc_safety.c		diff \| blob \| history
src/simdag/dax_dtd.c		diff \| blob \| history
src/simdag/dax_dtd.h		diff \| blob \| history
src/simgrid/sg_config.c		diff \| blob \| history
src/simix/libsmx.c		diff \| blob \| history
src/simix/popping_accessors.h		diff \| blob \| history
src/simix/popping_bodies.c		diff \| blob \| history
src/simix/popping_enum.h		diff \| blob \| history
src/simix/popping_generated.c		diff \| blob \| history
src/simix/popping_private.h		diff \| blob \| history
src/simix/simcalls.in		diff \| blob \| history
src/simix/smx_global.c		diff \| blob \| history
src/smpi/smpi_global.c		diff \| blob \| history
src/surf/simgrid_dtd.c		diff \| blob \| history
src/xbt/graphxml.c		diff \| blob \| history
teshsuite/mc/replay/CMakeLists.txt	[new file with mode: 0644]	blob
teshsuite/mc/replay/random_bug.c	[new file with mode: 0644]	blob
teshsuite/mc/replay/random_bug.tesh	[new file with mode: 0644]	blob
teshsuite/mc/replay/random_bug.xml	[new file with mode: 0644]	blob
teshsuite/mc/replay/random_bug_replay.tesh	[new file with mode: 0644]	blob

Clone of SimGrid repository with local patches

RSS Atom