Arnaud Giersch [Tue, 29 Jan 2013 14:29:26 +0000 (15:29 +0100)]
Typos + whitespace cleanup.
Arnaud Giersch [Mon, 28 Jan 2013 15:28:47 +0000 (16:28 +0100)]
Avoid "maybe uninitialized" warning.
Augustin Degomme [Mon, 28 Jan 2013 09:10:35 +0000 (10:10 +0100)]
do not force the O2 parameter inside SMPI scripts
Augustin Degomme [Mon, 28 Jan 2013 08:59:38 +0000 (09:59 +0100)]
create backbone if either one of the bandwidth or latency is set to a value != 0, fixes #14873
Marion Guthmuller [Mon, 28 Jan 2013 10:11:59 +0000 (11:11 +0100)]
unnecessary loop for the reset of the simcall args
Marion Guthmuller [Mon, 28 Jan 2013 09:35:40 +0000 (10:35 +0100)]
model-checker : don't need to reset the result of simcal actually, remove unnecessary memset
Marion Guthmuller [Mon, 28 Jan 2013 09:19:52 +0000 (10:19 +0100)]
model-checker : reset args and result of simcalls in simcall_BODY macro
Arnaud Giersch [Fri, 25 Jan 2013 13:07:18 +0000 (14:07 +0100)]
Use %zu for type size_t.
Marion Guthmuller [Fri, 25 Jan 2013 12:05:25 +0000 (13:05 +0100)]
model-checker : need to switch between raw heap and std heap to remove ignore region
Marion Guthmuller [Fri, 25 Jan 2013 10:32:44 +0000 (11:32 +0100)]
model-checker : move function from mc_global in mm_module (compilation error without MC)
Marion Guthmuller [Fri, 25 Jan 2013 10:15:02 +0000 (11:15 +0100)]
model-checker : compare directly local variables found with DWARF and libunwind
Marion Guthmuller [Fri, 25 Jan 2013 10:02:43 +0000 (11:02 +0100)]
model-checker : start canonicalizatipn in heap comparison from global variables
Marion Guthmuller [Thu, 24 Jan 2013 10:36:01 +0000 (11:36 +0100)]
model-checker : cleanups for heap comparison from global and local variables
Marion Guthmuller [Tue, 22 Jan 2013 16:48:59 +0000 (17:48 +0100)]
model-checker : stop heap comparison when the first block/fragment without equality is found
Martin Quinson [Thu, 24 Jan 2013 13:31:11 +0000 (14:31 +0100)]
iirk, that item is particularly outdated and now ridiculous
Arnaud Legrand [Thu, 24 Jan 2013 09:39:23 +0000 (10:39 +0100)]
Stupid git test (sorry for the noise)
Paul Bédaride [Wed, 23 Jan 2013 17:22:01 +0000 (18:22 +0100)]
ChangeLog update
Paul Bédaride [Wed, 23 Jan 2013 17:12:38 +0000 (18:12 +0100)]
Remove MSG_load_platform_script and SD_load_environment_script functions
Paul Bédaride [Wed, 23 Jan 2013 16:14:35 +0000 (17:14 +0100)]
Remove simdag-test-lua
Paul Bédaride [Wed, 23 Jan 2013 14:19:30 +0000 (15:19 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Paul Bédaride [Wed, 23 Jan 2013 14:18:51 +0000 (15:18 +0100)]
Add the msg tutorial of Arnauld Legrand to doxygen
suter [Tue, 22 Jan 2013 13:10:04 +0000 (14:10 +0100)]
mem leak --
suter [Tue, 22 Jan 2013 11:13:42 +0000 (12:13 +0100)]
when scheduling the same application more than once, better to free
remaining stuff before allocating them again
suter [Tue, 22 Jan 2013 11:12:04 +0000 (12:12 +0100)]
tiny reindent
Arnaud Giersch [Mon, 21 Jan 2013 21:45:54 +0000 (22:45 +0100)]
Fix build error with clang.
error: redefinition of typedef s_xbt_dictelm_t is invalid in C [-Wtypedef-redefinition].
Arnaud Giersch [Mon, 21 Jan 2013 21:25:35 +0000 (22:25 +0100)]
suter [Mon, 21 Jan 2013 20:22:00 +0000 (21:22 +0100)]
Improve behavior of SD_application_reinit. Now, you can schedule tasks
again ... which was the initial point
suter [Mon, 21 Jan 2013 20:18:01 +0000 (21:18 +0100)]
revalidate tesh files with correct output
suter [Mon, 21 Jan 2013 19:52:07 +0000 (20:52 +0100)]
don't use binary mask
suter [Mon, 21 Jan 2013 15:24:38 +0000 (16:24 +0100)]
why let the user give a name to a dependency if s/he cannot get it
after?
Paul Bédaride [Mon, 21 Jan 2013 13:08:04 +0000 (14:08 +0100)]
All hosts types fusion to xbt_dictelm_t
suter [Sun, 20 Jan 2013 15:29:47 +0000 (16:29 +0100)]
can be interesting to get the value of the alpha parameter for parallel
typed tasks
Martin Quinson [Fri, 18 Jan 2013 08:44:27 +0000 (09:44 +0100)]
increase the timeout of this test
suter [Thu, 17 Jan 2013 16:01:22 +0000 (17:01 +0100)]
document addition of new simdag dot loader
suter [Thu, 17 Jan 2013 15:56:28 +0000 (16:56 +0100)]
add a test of the creation of a parallel task graph from a dot file
suter [Thu, 17 Jan 2013 15:54:48 +0000 (16:54 +0100)]
add a new loader that creates a parallel task graph (i.e., a DAG whose
nodes are parallel tasks) from a dot file. Creates a dynar of typed
parallel tasks (SD_TASK_COMP_PAR_AMDAHL and SD_TASK_COMM_MXN_1D_BLOCK)
suter [Thu, 17 Jan 2013 15:48:23 +0000 (16:48 +0100)]
change verbose messages
suter [Wed, 16 Jan 2013 17:10:36 +0000 (18:10 +0100)]
better support of parallel typed tasks in dump and dotty functions
Arnaud Giersch [Thu, 17 Jan 2013 14:13:24 +0000 (15:13 +0100)]
_surf_cfg_set was renamed (untested)
Arnaud Giersch [Thu, 17 Jan 2013 13:19:44 +0000 (14:19 +0100)]
Merge branch 'master' into vmtrace
Arnaud Giersch [Thu, 17 Jan 2013 13:16:33 +0000 (14:16 +0100)]
Merge branch 'vmtrace' again (don't try to undersatand why)
Arnaud Giersch [Thu, 17 Jan 2013 13:03:10 +0000 (14:03 +0100)]
Merge branch 'master' into vmtrace
Conflicts:
buildtools/Cmake/DefinePackages.cmake
include/surf/simgrid_dtd.h
include/xbt/graphxml.h
src/instr/instr_config.c
src/instr/instr_private.h
src/simdag/dax_dtd.c
src/simdag/dax_dtd.h
src/surf/simgrid_dtd.c
src/xbt/graphxml.c
Arnaud Giersch [Thu, 17 Jan 2013 12:41:11 +0000 (13:41 +0100)]
Missing declaration.
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 23:19:37 +0000 (00:19 +0100)]
Merge branch 'vmtrace'
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 23:19:29 +0000 (00:19 +0100)]
Trying to fix modification with new master branch
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 23:13:33 +0000 (00:13 +0100)]
Trying to fix modification with new master branch
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 23:05:59 +0000 (00:05 +0100)]
Trying to fix modification with new master branch
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 22:37:26 +0000 (23:37 +0100)]
Trying to fix modification with new master branch
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 22:29:26 +0000 (23:29 +0100)]
Trying to fix modification with new master branch
Jonathan Rouzaud-Cornabas [Wed, 16 Jan 2013 17:40:54 +0000 (18:40 +0100)]
Fix failed merge
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