Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 17:00:42 +0000 (18:00 +0100)]
Merge with master
Marion Guthmuller [Wed, 16 Jan 2013 15:46:31 +0000 (16:46 +0100)]
model-checker : update bugged1 tesh
Marion Guthmuller [Wed, 16 Jan 2013 15:44:24 +0000 (16:44 +0100)]
model-checker : apply independance reduction at each step to reduce number of snapshot restore and transitions replay
Marion Guthmuller [Wed, 16 Jan 2013 13:23:45 +0000 (14:23 +0100)]
model-checker : update bugged1 tesh
Marion Guthmuller [Wed, 16 Jan 2013 13:20:24 +0000 (14:20 +0100)]
model-checker : minor fix in dpor algorithm
Arnaud Giersch [Wed, 16 Jan 2013 13:15:10 +0000 (14:15 +0100)]
Also check that the compiler really is gcc.
Don't break with clang for example.
Augustin Degomme [Wed, 16 Jan 2013 10:30:40 +0000 (11:30 +0100)]
change verbosity of some messages
Augustin Degomme [Wed, 9 Jan 2013 16:53:27 +0000 (17:53 +0100)]
add smpi/os and smpi/or parameters to handle timings to inject into small-sized MPI comms
Augustin Degomme [Mon, 7 Jan 2013 09:54:05 +0000 (10:54 +0100)]
remove a few barriers from summa
Augustin Degomme [Mon, 17 Dec 2012 15:04:50 +0000 (16:04 +0100)]
do not use f2c with 64 bits platforms which use old gcc (<4.5)
Augustin Degomme [Thu, 13 Dec 2012 09:30:05 +0000 (10:30 +0100)]
use temp file for fortran instead of fixed name, which conflicted with -j
suter [Mon, 14 Jan 2013 22:38:10 +0000 (23:38 +0100)]
document bugfix
suter [Mon, 14 Jan 2013 22:36:18 +0000 (23:36 +0100)]
bug fix: If the last released dependency is a control dependency, let
the task become schedulable.
suter [Mon, 14 Jan 2013 14:02:34 +0000 (15:02 +0100)]
number of unsatisfied dependencies can be negative, using an unsigned
int leads to weird outputs by SD_task_dump
Marion Guthmuller [Mon, 14 Jan 2013 11:17:10 +0000 (12:17 +0100)]
model-checker : use a global timer for snapshot comparison times, define macros instead of if(XBT_LOG_ISENABLED) and add informations used for comparison (regions types, stacks sizes) in snapshot structure
Marion Guthmuller [Sun, 13 Jan 2013 16:05:03 +0000 (17:05 +0100)]
model-checker : add nb_processes in snapshot
Arnaud Giersch [Mon, 14 Jan 2013 10:13:45 +0000 (11:13 +0100)]
Update mmalloc tesh for 32bits too.
Arnaud Giersch [Mon, 14 Jan 2013 09:34:06 +0000 (10:34 +0100)]
Typo.
Marion Guthmuller [Fri, 11 Jan 2013 16:58:14 +0000 (17:58 +0100)]
model-checker : free memory
Marion Guthmuller [Fri, 11 Jan 2013 16:55:15 +0000 (17:55 +0100)]
model-checker : add chunks used into snapshot structure and size used into stack snapshot structure
Marion Guthmuller [Fri, 11 Jan 2013 10:33:32 +0000 (11:33 +0100)]
model-checker : free memory
Paul Bédaride [Fri, 11 Jan 2013 15:00:27 +0000 (16:00 +0100)]
Fix lua tesh and remove msg_lua_masterslave test
Martin Quinson [Fri, 11 Jan 2013 11:23:41 +0000 (12:23 +0100)]
add the files we need to ensure that make distcheck compiles again
Martin Quinson [Fri, 11 Jan 2013 11:11:36 +0000 (12:11 +0100)]
document in ChangeLog+NEWS my work on documentation
Martin Quinson [Fri, 11 Jan 2013 10:54:52 +0000 (11:54 +0100)]
make distcheck should rebuild the archive, and test with default params only (ie w/o MC)
Martin Quinson [Fri, 11 Jan 2013 10:45:46 +0000 (11:45 +0100)]
fix the make dist target by not including some files that were killed in the archive
Marion Guthmuller [Thu, 10 Jan 2013 19:34:32 +0000 (20:34 +0100)]
model-checker : update mmalloc tesh
Marion Guthmuller [Thu, 10 Jan 2013 19:24:35 +0000 (20:24 +0100)]
model-checker : update tesh
Marion Guthmuller [Thu, 10 Jan 2013 19:09:02 +0000 (20:09 +0100)]
model-checker : fix memory free
Marion Guthmuller [Thu, 10 Jan 2013 17:54:31 +0000 (18:54 +0100)]
model-checker : free memory for stacks comparison
Marion Guthmuller [Thu, 10 Jan 2013 17:06:46 +0000 (18:06 +0100)]
model-checker : disable use of system malloc for raw_heap
Marion Guthmuller [Thu, 10 Jan 2013 17:02:24 +0000 (18:02 +0100)]
model-checker : some cleanup in mmalloc_compare_heap (free memory, delete unnecessary code)
Arnaud Giersch [Thu, 10 Jan 2013 15:05:18 +0000 (16:05 +0100)]
Variable should be initialized.
Arnaud Giersch [Wed, 9 Jan 2013 21:18:25 +0000 (22:18 +0100)]
Free the TRACE_{start,end}_functions dynars when they become useless.
Martin Quinson [Wed, 9 Jan 2013 22:38:59 +0000 (23:38 +0100)]
actually, the github version is probably a better source for that
Paul Bédaride [Tue, 8 Jan 2013 16:06:36 +0000 (17:06 +0100)]
Fix lua deploy
Paul Bédaride [Fri, 4 Jan 2013 09:36:45 +0000 (10:36 +0100)]
Fix lua platform script
Arnaud Giersch [Tue, 8 Jan 2013 13:53:28 +0000 (14:53 +0100)]
Fix build with tracing=OFF.
Arnaud Giersch [Tue, 8 Jan 2013 13:52:46 +0000 (14:52 +0100)]
Avoid to put smpi symbols in libsimgrid.
This was visibly introduced by commit
6cf3e5a62a7a4a685ddce69bac69d71fe0966a86
(Move module tracing into corresponding modules), but it broke builds with
-flto and GOLD ld.
Arnaud Giersch [Fri, 21 Dec 2012 12:56:27 +0000 (13:56 +0100)]
Reindent (again).
Martin Quinson [Tue, 8 Jan 2013 09:26:49 +0000 (10:26 +0100)]
new step to not forget when releasing the files
Maximiliano Geier [Mon, 7 Jan 2013 17:51:50 +0000 (18:51 +0100)]
chainsend: add optional argument to deployment file generator, so that we can generate a deployment file for a subset of the nodes in the platform file
Marion Guthmuller [Mon, 7 Jan 2013 12:56:08 +0000 (13:56 +0100)]
model-checker : comment backtrace and add ignore mechanism in mmalloc metadata
Marion Guthmuller [Thu, 3 Jan 2013 14:55:34 +0000 (15:55 +0100)]
model-checker : fix dichotomic search and insertion for visited states
Marion Guthmuller [Thu, 3 Jan 2013 11:13:12 +0000 (12:13 +0100)]
model-checker : update list of visited states during the exploration with the newest states
Marion Guthmuller [Wed, 2 Jan 2013 17:59:52 +0000 (18:59 +0100)]
model-checker : use xbt_abort after exhaustive exploration
Marion Guthmuller [Wed, 2 Jan 2013 17:47:08 +0000 (18:47 +0100)]
model-checker : ignore some local variables from simix in MC_init
Marion Guthmuller [Wed, 2 Jan 2013 17:38:17 +0000 (18:38 +0100)]
model-checker : fix sorting of visited states and state equality reduction
Marion Guthmuller [Tue, 1 Jan 2013 15:08:31 +0000 (16:08 +0100)]
model-checker : sorting of visited states according to chunks used
Marion Guthmuller [Tue, 1 Jan 2013 15:04:02 +0000 (16:04 +0100)]
model-checker : update bugged1 tesh
Martin Quinson [Fri, 28 Dec 2012 15:45:23 +0000 (16:45 +0100)]
Revert "Kill the <backbone> tag"
This reverts commit
7d248dfd0b7fa18bacf5403efbf3dcf7a0cf902f.
This is actually used in some situations where I don't have any good
replacement. Sorry for the noise.
Martin Quinson [Fri, 28 Dec 2012 15:29:02 +0000 (16:29 +0100)]
Kill the <backbone> tag
This was allowed only in the <cluster> tag, and was dupplicating the
features of the bb_* attributes of that tag. Kill this because the
parser is already complex enough without dupplicating ways to get a
given feature implemented. Sorry for the inconvinience.
Marion Guthmuller [Wed, 26 Dec 2012 14:37:03 +0000 (15:37 +0100)]
model-checker : update chord_neverjoin tesh
Marion Guthmuller [Wed, 26 Dec 2012 14:33:20 +0000 (15:33 +0100)]
model-checker : don't ignore simcall result in system state comparison
Martin Quinson [Wed, 26 Dec 2012 08:54:30 +0000 (09:54 +0100)]
add my last answer on the list to the FAQ
Martin Quinson [Tue, 25 Dec 2012 20:07:41 +0000 (21:07 +0100)]
this file should not overload the codebase
Marion Guthmuller [Tue, 25 Dec 2012 19:56:12 +0000 (20:56 +0100)]
model-checker : stats XP of model checking on chord example
Martin Quinson [Mon, 24 Dec 2012 22:17:08 +0000 (23:17 +0100)]
remove the 'new_' part of function name sg_platf_new_trace_connect
Martin Quinson [Mon, 24 Dec 2012 22:14:41 +0000 (23:14 +0100)]
acknoledge that the default value is set in network.c so that we have a single point of truth
Martin Quinson [Thu, 20 Dec 2012 15:22:05 +0000 (16:22 +0100)]
This set was recently renamed
suter [Fri, 21 Dec 2012 13:34:17 +0000 (14:34 +0100)]
first try at replaying alltoall. Not tested yet
suter [Fri, 21 Dec 2012 12:18:05 +0000 (13:18 +0100)]
make it compile
suter [Fri, 21 Dec 2012 11:37:36 +0000 (12:37 +0100)]
factor verbose logging
add dummy actions for unimplemented MPI calls needed by NPB codes
suter [Fri, 21 Dec 2012 10:30:41 +0000 (11:30 +0100)]
Cosmetics
Paul Bédaride [Fri, 21 Dec 2012 09:21:05 +0000 (10:21 +0100)]
Revert "make MSG_comm_waitany use dynar"
This reverts commit
ae811896a4746542e8de1616e8bc95a3ee6320f2.
Conflicts:
examples/msg/actions/actions.c
Arnaud Legrand [Thu, 20 Dec 2012 22:51:26 +0000 (23:51 +0100)]
Allow MSG one-side communications that rely on parallel task to work with the compound model.
Marion Guthmuller [Thu, 20 Dec 2012 22:18:16 +0000 (23:18 +0100)]
model-checker : fix MC_take_snapshot if malloc used for raw heap and several data segments for binary or libsimgrid
Marion Guthmuller [Thu, 20 Dec 2012 14:38:45 +0000 (15:38 +0100)]
model-checker : fix dpor with state equality reduction
Marion Guthmuller [Mon, 17 Dec 2012 10:47:21 +0000 (11:47 +0100)]
model-checker : if frame name is empty, stop stack unwinding
Marion Guthmuller [Mon, 17 Dec 2012 09:13:29 +0000 (10:13 +0100)]
model-checker : remove restriction of DPOR if several requests for same process
Maximiliano Geier [Thu, 20 Dec 2012 18:33:47 +0000 (19:33 +0100)]
chainsend: fix tesh
Maximiliano Geier [Thu, 20 Dec 2012 18:21:33 +0000 (19:21 +0100)]
chainsend: change peers active wait to waitall
Maximiliano Geier [Thu, 20 Dec 2012 17:32:33 +0000 (18:32 +0100)]
chainsend: broadcaster should send synchronously
Arnaud Giersch [Thu, 20 Dec 2012 17:07:16 +0000 (18:07 +0100)]
Now, you have to use "cursor" instead of "i".
Arnaud Giersch [Thu, 20 Dec 2012 17:05:42 +0000 (18:05 +0100)]
Reindent file before changes.
Arnaud Giersch [Thu, 20 Dec 2012 16:36:46 +0000 (17:36 +0100)]
Use "debug" log level here.
Arnaud Giersch [Thu, 20 Dec 2012 14:42:43 +0000 (15:42 +0100)]
Some symbols were renamed by last flexml update.
Arnaud Giersch [Thu, 20 Dec 2012 13:43:51 +0000 (14:43 +0100)]
Update with newer flexml.
Paul Bédaride [Thu, 20 Dec 2012 16:29:45 +0000 (17:29 +0100)]
make MSG_comm_waitany use dynar
Martin Quinson [Thu, 20 Dec 2012 15:17:07 +0000 (16:17 +0100)]
improve the doc to include MSG_config
Martin Quinson [Thu, 20 Dec 2012 15:08:57 +0000 (16:08 +0100)]
make MSG_config public, document it, and implement it properly, not through a crude hack
Paul Bédaride [Thu, 20 Dec 2012 13:29:48 +0000 (14:29 +0100)]
Move module tracing into corresponding modules
Arnaud Giersch [Thu, 20 Dec 2012 10:07:31 +0000 (11:07 +0100)]
Link with -ldl when using dlsym.
Martin Quinson [Thu, 20 Dec 2012 08:33:36 +0000 (09:33 +0100)]
remove the create_resource entry point in resource model APIs
That's a leftover from ancient times that is not used anymore.
Instead, these functions are registered by each model as callbacks
within the sg_platf mechanism, which is now the unique way to create
resources (we had up to 3 different ways to create resources in the
code base :)
Martin Quinson [Thu, 20 Dec 2012 08:21:02 +0000 (09:21 +0100)]
fix a typo
Martin Quinson [Thu, 20 Dec 2012 08:06:02 +0000 (09:06 +0100)]
rewrite the install doc, and integrate latest feedback on Mac builds
Martin Quinson [Thu, 20 Dec 2012 08:04:45 +0000 (09:04 +0100)]
mark as advanced some options that are useless to the users, and improve some doc
Martin Quinson [Thu, 20 Dec 2012 00:49:28 +0000 (01:49 +0100)]
remove a bit of cruft from the install doc, more remains to be cleaned
Martin Quinson [Wed, 19 Dec 2012 19:16:02 +0000 (20:16 +0100)]
cosmetics
Martin Quinson [Wed, 19 Dec 2012 18:41:07 +0000 (19:41 +0100)]
forgot the test file
Martin Quinson [Wed, 19 Dec 2012 18:31:22 +0000 (19:31 +0100)]
use system malloc for the raw heap if GNU ld is used
suter [Wed, 19 Dec 2012 11:18:52 +0000 (12:18 +0100)]
make this example be more valgrind compliant by increase host speed.
When tasks end after the "Finalize" reception, nothing is safe ...
Still has an invalid free in the end.
did some typo correction too
Martin Quinson [Tue, 18 Dec 2012 15:17:49 +0000 (16:17 +0100)]
Use xbt_malloc (and friends) instead of direct malloc()
This is good practice as it asserts that the result is not null, and
it actually help me right now when digging in the MC.
Arnaud Giersch [Tue, 18 Dec 2012 15:53:56 +0000 (16:53 +0100)]
Add -Wall to CMAKE_Fortran_FLAGS, unless enable_compile_warnings=OFF.
This triggers lots of warnings, mainly about implicit function declarations,
but I don't know how to fix them properly for now.
Arnaud Giersch [Tue, 18 Dec 2012 12:45:56 +0000 (13:45 +0100)]
Linker option is useless when '-c' is present.
suter [Tue, 18 Dec 2012 10:43:18 +0000 (11:43 +0100)]
this was fixed too
suter [Tue, 18 Dec 2012 10:10:58 +0000 (11:10 +0100)]
mention bug fix in ChangeLog
suter [Tue, 18 Dec 2012 09:54:18 +0000 (10:54 +0100)]
add test_sd_avail.tesh to the list
suter [Tue, 18 Dec 2012 09:50:50 +0000 (10:50 +0100)]
add a tesh file for the test of availability traces
Arnaud Giersch [Tue, 18 Dec 2012 09:21:45 +0000 (10:21 +0100)]
Avoid to compile files when they're not needed.