Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agowe need the simgrid library too. True story.
Martin Quinson [Mon, 8 Oct 2012 19:46:49 +0000 (21:46 +0200)]
we need the simgrid library too. True story.

7 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 8 Oct 2012 19:44:15 +0000 (21:44 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

7 years agomake it compile in a recent tree
Martin Quinson [Mon, 8 Oct 2012 19:43:13 +0000 (21:43 +0200)]
make it compile in a recent tree

7 years agoadd executable chord_before_dsend in CMakeLists
Marion Guthmuller [Mon, 8 Oct 2012 19:42:25 +0000 (21:42 +0200)]
add executable chord_before_dsend in CMakeLists

7 years agoversion of chord before use MSG_task_dsend
Marion Guthmuller [Mon, 8 Oct 2012 19:25:21 +0000 (21:25 +0200)]
version of chord before use MSG_task_dsend

7 years agomodel-checker : restore struct smx_ctx_sysv in smx_context_sysv.c
Marion Guthmuller [Mon, 8 Oct 2012 12:35:58 +0000 (14:35 +0200)]
model-checker : restore struct smx_ctx_sysv in smx_context_sysv.c

7 years agoDon't turn warnings about variables possibly clobbered by longjmp into errors.
Arnaud Giersch [Mon, 8 Oct 2012 07:10:24 +0000 (09:10 +0200)]
Don't turn warnings about variables possibly clobbered by longjmp into errors.

Gcc is currently not smart enough and sometimes spits spurious warnings.

7 years agoDeclare the function as static, and make the compiler happy.
Arnaud Giersch [Mon, 8 Oct 2012 07:10:24 +0000 (09:10 +0200)]
Declare the function as static, and make the compiler happy.

Also revert "add a declaration to remove a warning"
There's no need to make this function public.

This reverts commit ce0d4e3a7a5045051980d849700960a78ec78cfb.

7 years agoUse binary dir for bindir, and cd to home dir.
Arnaud Giersch [Mon, 8 Oct 2012 07:10:24 +0000 (09:10 +0200)]
Use binary dir for bindir, and cd to home dir.

7 years agoadd a free method for datatypes
degomme [Mon, 8 Oct 2012 08:23:04 +0000 (10:23 +0200)]
add a free method for datatypes

7 years agomodel-checker : forget include ucontext.h for struct smx_ctx_sysv
Marion Guthmuller [Sun, 7 Oct 2012 15:21:22 +0000 (17:21 +0200)]
model-checker : forget include ucontext.h for struct smx_ctx_sysv

7 years agomodel-checker : test if variable is initialized (warning with optimizations)
Marion Guthmuller [Sun, 7 Oct 2012 12:47:46 +0000 (14:47 +0200)]
model-checker : test if variable is initialized (warning with optimizations)

7 years agomodel-checker : ignore differences in data segment of binary due to .plt section
Marion Guthmuller [Sat, 6 Oct 2012 18:14:09 +0000 (20:14 +0200)]
model-checker : ignore differences in data segment of binary due to .plt section

7 years agomodel-checker : remove maestro stack from stack comparison
Marion Guthmuller [Sat, 6 Oct 2012 17:01:04 +0000 (19:01 +0200)]
model-checker : remove maestro stack from stack comparison

7 years agomodel-checker : cleanup in mc examples
Marion Guthmuller [Sat, 6 Oct 2012 09:26:11 +0000 (11:26 +0200)]
model-checker : cleanup in mc examples

7 years agomodel-checker : forget to remove unused variables
Marion Guthmuller [Fri, 5 Oct 2012 17:26:25 +0000 (19:26 +0200)]
model-checker : forget to remove unused variables

7 years agoGet local variables in binary and libsimgrid.so and their values for each system...
Marion Guthmuller [Fri, 5 Oct 2012 17:12:11 +0000 (19:12 +0200)]
Get local variables in binary and libsimgrid.so and their values for each system state and compare them for state equality detection (to complete if optimizations are enabled)

7 years agomodel-checker : remove unused variable with debug mode disabled
Marion Guthmuller [Fri, 5 Oct 2012 11:27:35 +0000 (13:27 +0200)]
model-checker : remove unused variable with debug mode disabled

7 years agomodel-checker : extend MC_ignore mechanism for global variables in libsimgrid
Marion Guthmuller [Fri, 5 Oct 2012 11:20:34 +0000 (13:20 +0200)]
model-checker : extend MC_ignore mechanism for global variables in libsimgrid

7 years agomodel-checker : display information about variables for comparison of local variables
Marion Guthmuller [Fri, 5 Oct 2012 09:59:33 +0000 (11:59 +0200)]
model-checker : display information about variables for comparison of local variables

7 years agocosmetics
Marion Guthmuller [Mon, 1 Oct 2012 15:23:03 +0000 (17:23 +0200)]
cosmetics

7 years agomodel-checker : check if a difference detected in stack comparison is a pointer on...
Marion Guthmuller [Mon, 1 Oct 2012 15:08:01 +0000 (17:08 +0200)]
model-checker : check if a difference detected in stack comparison is a pointer on block or fragment previously free

7 years agomodel-checker : functions only used in mc_global declared as static and remove unnece...
Marion Guthmuller [Sun, 30 Sep 2012 11:53:59 +0000 (13:53 +0200)]
model-checker : functions only used in mc_global declared as static and remove unnecessary strdup

7 years agomodel-checker : store local variables in raw heap
Marion Guthmuller [Sun, 30 Sep 2012 11:50:38 +0000 (13:50 +0200)]
model-checker : store local variables in raw heap

7 years agomodel-checker : memory free
Marion Guthmuller [Sun, 30 Sep 2012 01:14:49 +0000 (03:14 +0200)]
model-checker : memory free

7 years agomodel-checker : double free memory fixed
Marion Guthmuller [Sat, 29 Sep 2012 21:39:50 +0000 (23:39 +0200)]
model-checker : double free memory fixed

7 years agomodel-checker : cosmetics reindent
Marion Guthmuller [Sat, 29 Sep 2012 20:32:21 +0000 (22:32 +0200)]
model-checker : cosmetics reindent

7 years agomodel-checker : move functions about snapshot comparison in a separate file mc_compare.c
Marion Guthmuller [Sat, 29 Sep 2012 20:31:04 +0000 (22:31 +0200)]
model-checker : move functions about snapshot comparison in a separate file mc_compare.c

7 years agomodel-checker : take snapshot of stacks (local variables values and stack pointer)
Marion Guthmuller [Sat, 29 Sep 2012 20:23:53 +0000 (22:23 +0200)]
model-checker : take snapshot of stacks (local variables values and stack pointer)

7 years agomodel-checker : store equality detected in heap comparison if fragment or block numbe...
Marion Guthmuller [Sat, 29 Sep 2012 20:20:47 +0000 (22:20 +0200)]
model-checker : store equality detected in heap comparison if fragment or block numbers are different

7 years agomodel-checker : move struct s_smx_ctx_sysv in smx_private.h, needed for stacks comparison
Marion Guthmuller [Sat, 29 Sep 2012 19:58:20 +0000 (21:58 +0200)]
model-checker : move struct s_smx_ctx_sysv in smx_private.h, needed for stacks comparison

7 years agomodel-checker : detect if binary program has been compiled with -g and with optimizations
Marion Guthmuller [Thu, 27 Sep 2012 16:33:31 +0000 (18:33 +0200)]
model-checker : detect if binary program has been compiled with -g and with optimizations

7 years agomodel-checker : ignore stack areas in heap comparison algorithm for the comparison...
Marion Guthmuller [Thu, 27 Sep 2012 16:28:14 +0000 (18:28 +0200)]
model-checker : ignore stack areas in heap comparison algorithm for the comparison of local variables with dwarf

7 years agomodel-checker : add libunwind in simgrid dependencies
Marion Guthmuller [Thu, 27 Sep 2012 16:08:28 +0000 (18:08 +0200)]
model-checker : add libunwind in simgrid dependencies

7 years agomodel-checker : previous algorithm for heap comparison, used to compare the results...
Marion Guthmuller [Thu, 20 Sep 2012 08:53:54 +0000 (10:53 +0200)]
model-checker : previous algorithm for heap comparison, used to compare the results with the last one

7 years agomodel-checker : print local variables only with debug mode enabled
Marion Guthmuller [Thu, 20 Sep 2012 08:50:22 +0000 (10:50 +0200)]
model-checker : print local variables only with debug mode enabled

7 years agomodel-checker : memset forgotten in mmalloc
Marion Guthmuller [Thu, 20 Sep 2012 08:43:58 +0000 (10:43 +0200)]
model-checker : memset forgotten in mmalloc

7 years agohandle sends of several structs in the same message
degomme [Fri, 5 Oct 2012 15:51:53 +0000 (17:51 +0200)]
handle sends of several structs in the same message

7 years agobug with MPI_Type_contiguous
degomme [Fri, 5 Oct 2012 10:05:14 +0000 (12:05 +0200)]
bug with MPI_Type_contiguous

7 years agoadd a declaration to remove a warning
degomme [Fri, 5 Oct 2012 09:31:39 +0000 (11:31 +0200)]
add a declaration to remove a warning

7 years agoadd more checking to inputs of SMPI functions
degomme [Fri, 5 Oct 2012 09:14:21 +0000 (11:14 +0200)]
add more checking to inputs of SMPI functions
warns about too complex datatypes
avoid creating a complex datatype if it is actually contiguous

7 years agoProtect from SMPI
navarro [Fri, 5 Oct 2012 13:58:49 +0000 (15:58 +0200)]
Protect from SMPI

7 years agojust bragging :)
suter [Fri, 5 Oct 2012 07:12:58 +0000 (09:12 +0200)]
just bragging :)

7 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Thu, 4 Oct 2012 15:09:16 +0000 (16:09 +0100)]
Merge remote-tracking branch 'origin/master'

7 years ago[smpi] reduce the amount of memory used with the detached communication and non-conti...
jean-noel quintin [Thu, 4 Oct 2012 15:08:14 +0000 (16:08 +0100)]
[smpi] reduce the amount of memory used with the detached communication and non-contiguous memory

7 years ago[smpi] remove a memory leak linked to the detached communication
jean-noel quintin [Thu, 4 Oct 2012 15:07:23 +0000 (16:07 +0100)]
[smpi] remove a memory leak linked to the detached communication

7 years agogeneralize non contiguous send method to other MPI types (hvector, indexed, hindexed...
degomme [Thu, 4 Oct 2012 11:35:32 +0000 (13:35 +0200)]
generalize non contiguous send method to other MPI types (hvector, indexed, hindexed, and structs, and add tests for those)

7 years agoslight changes in the paje trace
suter [Thu, 4 Oct 2012 09:57:31 +0000 (11:57 +0200)]
slight changes in the paje trace

7 years agosmall improvements to make ctest happy
suter [Thu, 4 Oct 2012 09:15:55 +0000 (11:15 +0200)]
small improvements to make ctest happy

7 years agotell tesh that this test returns -1 and not 0
suter [Thu, 4 Oct 2012 08:52:47 +0000 (10:52 +0200)]
tell tesh that this test returns -1 and not 0

7 years agoadd a new simdag/dax test to the memcheck too
suter [Thu, 4 Oct 2012 08:43:44 +0000 (10:43 +0200)]
add a new simdag/dax test to the memcheck too

7 years agoadd a new simdag/dax test
suter [Thu, 4 Oct 2012 08:42:21 +0000 (10:42 +0200)]
add a new simdag/dax test

7 years agoadd a tesh file for the example of dax loading that works fine
suter [Thu, 4 Oct 2012 08:31:29 +0000 (10:31 +0200)]
add a tesh file for the example of dax loading that works fine

7 years agomodify the test to not die poorly anymore. Just gently exit with an
suter [Thu, 4 Oct 2012 08:29:34 +0000 (10:29 +0200)]
modify the test to not die poorly anymore. Just gently exit with an
error message.

7 years agoadd a little dax to make a real test with dax_test
suter [Thu, 4 Oct 2012 08:04:44 +0000 (10:04 +0200)]
add a little dax to make a real test with dax_test

7 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 4 Oct 2012 07:55:05 +0000 (09:55 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

7 years agoThank the Jean Noel dream team in the Changelog
Martin Quinson [Thu, 4 Oct 2012 06:03:22 +0000 (08:03 +0200)]
Thank the Jean Noel dream team in the Changelog

7 years agoFix errors about uninitialized variables.
Arnaud Giersch [Wed, 3 Oct 2012 21:18:31 +0000 (23:18 +0200)]
Fix errors about uninitialized variables.

Not sure if it is correct but it cannot be worse and, at least,
it compiles..

7 years agoUse xbt_abort instead of abort.
Arnaud Giersch [Wed, 3 Oct 2012 14:02:26 +0000 (16:02 +0200)]
Use xbt_abort instead of abort.

Maybe this will improve the code coverage analysis.

7 years agoavoid breaking the shiny new and working functionality from jean-noel
Augustin Degomme [Wed, 3 Oct 2012 17:16:32 +0000 (19:16 +0200)]
avoid breaking the shiny new and working functionality from jean-noel

7 years agoremove some warnings
Augustin Degomme [Wed, 3 Oct 2012 16:52:01 +0000 (18:52 +0200)]
remove some warnings

7 years agomerge with jean noel's commit
Augustin Degomme [Wed, 3 Oct 2012 16:24:16 +0000 (18:24 +0200)]
merge with jean noel's commit

7 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Wed, 3 Oct 2012 15:28:45 +0000 (16:28 +0100)]
Merge remote-tracking branch 'origin/master'

Conflicts:
src/smpi/smpi_base.c

7 years ago[smpi] add a gestion of non-contignous data
jean-noel quintin [Wed, 3 Oct 2012 15:24:39 +0000 (16:24 +0100)]
[smpi] add a gestion of non-contignous data

7 years agoadd support of MPI_PROC_NULL, correct behavior of waitall and waitsome for some speci...
Augustin Degomme [Tue, 2 Oct 2012 16:06:29 +0000 (18:06 +0200)]
add support of MPI_PROC_NULL, correct behavior of waitall and waitsome for some special cases (when some requests are NULL), in order to conform a little more to the MPI standard

7 years agoprovide Test and Wait functions with a better MPI_STATUS_IGNORE and MPI_REQUEST_NULL...
Augustin Degomme [Tue, 2 Oct 2012 11:06:54 +0000 (13:06 +0200)]
provide Test and Wait functions with a better MPI_STATUS_IGNORE and MPI_REQUEST_NULL handling, as well as returning correct empty statuses when needed
Also add MPI_Testsome support

7 years agoCall __gcov_flush() on abort so that gcda files are correctly written.
Arnaud Giersch [Tue, 2 Oct 2012 12:37:30 +0000 (14:37 +0200)]
Call __gcov_flush() on abort so that gcda files are correctly written.

This is obviously only activated with enable_coverage=ON.

7 years agoMark as volatile variables that "might be clobbered by ‘longjmp’ or ‘vfork’".
Arnaud Giersch [Tue, 2 Oct 2012 09:30:46 +0000 (11:30 +0200)]
Mark as volatile variables that "might be clobbered by ‘longjmp’ or ‘vfork’".

7 years agoUse atexit to call xbt_postexit.
Arnaud Giersch [Tue, 2 Oct 2012 08:45:18 +0000 (10:45 +0200)]
Use atexit to call xbt_postexit.

7 years agoDo not kill all processes when MSG shuts down: simix will cleanup anyway
Martin Quinson [Tue, 2 Oct 2012 09:51:38 +0000 (11:51 +0200)]
Do not kill all processes when MSG shuts down: simix will cleanup anyway

Plus, it broke Java since this function is now called using atexit(),
and it seems that in Java, the thread running these functions is not
maestro. So our mechanism was trying to fire a simcall from this
thread, which is a Java system thread that is unknown from SimGrid.

As a result, the JVM was segfaulting when exiting.

7 years agoDeprecate MSG_clean
Martin Quinson [Tue, 2 Oct 2012 08:37:15 +0000 (10:37 +0200)]
Deprecate MSG_clean

7 years agoEnsures that SIMIX_clean is called automatically
Martin Quinson [Tue, 2 Oct 2012 07:32:36 +0000 (09:32 +0200)]
Ensures that SIMIX_clean is called automatically

7 years agoFix paths for test smpi-replay in out-of-source builds.
Arnaud Giersch [Thu, 27 Sep 2012 14:17:51 +0000 (16:17 +0200)]
Fix paths for test smpi-replay in out-of-source builds.

7 years agoFix paths for test simdag-test-fail in out-of-source builds.
Arnaud Giersch [Thu, 27 Sep 2012 14:17:27 +0000 (16:17 +0200)]
Fix paths for test simdag-test-fail in out-of-source builds.

7 years agofix bug in smpi tracing for wait
Augustin Degomme [Mon, 1 Oct 2012 10:51:56 +0000 (12:51 +0200)]
fix bug in smpi tracing for wait

7 years agoupdate the smpi replay tesh file again, as the problems with bandwidth and latency...
Augustin Degomme [Fri, 28 Sep 2012 09:17:51 +0000 (11:17 +0200)]
update the smpi replay tesh file again, as the problems with bandwidth and latency factors are now fixed

7 years agochanges the way smpi tracing handles process ranks, to be able to use subgroups
Augustin Degomme [Fri, 28 Sep 2012 08:05:21 +0000 (10:05 +0200)]
changes the way smpi tracing handles process ranks, to be able to use subgroups

7 years agovarious fixes for probing/testing
Augustin Degomme [Fri, 28 Sep 2012 08:04:38 +0000 (10:04 +0200)]
various fixes for probing/testing

7 years agoadd support of a function (necessary to conceptual)
Augustin Degomme [Fri, 28 Sep 2012 08:01:36 +0000 (10:01 +0200)]
add support of a function (necessary to conceptual)

7 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 27 Sep 2012 11:45:46 +0000 (13:45 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

7 years agoupdate this code so that it matches my thesis document
Martin Quinson [Thu, 27 Sep 2012 11:43:03 +0000 (13:43 +0200)]
update this code so that it matches my thesis document

7 years agodo not do useless and potentially harmful debug messages in datadesc_postexit
Martin Quinson [Thu, 27 Sep 2012 11:41:01 +0000 (13:41 +0200)]
do not do useless and potentially harmful debug messages in datadesc_postexit

It may happen that xbt_log already exited at this point, leading to
erratic segfaults. At least we saw such behavior with the coroutine
factory of the Java world, where MSG_process_get_pid was segfaulting
when called from here.

Better safe than sorry.

7 years agoimprove a tiny bit the doc
Martin Quinson [Thu, 27 Sep 2012 11:39:59 +0000 (13:39 +0200)]
improve a tiny bit the doc

7 years ago[beginning smpi non contignous]
jean-noel quintin [Thu, 27 Sep 2012 11:17:05 +0000 (12:17 +0100)]
[beginning smpi non contignous]

7 years agoyet another correction for those factors, hope this is the last one ..
Augustin Degomme [Thu, 27 Sep 2012 10:47:07 +0000 (12:47 +0200)]
yet another correction for those factors, hope this is the last one ..

7 years agoyet another correction for those factors, hope this is the last one ..
Augustin Degomme [Thu, 27 Sep 2012 10:21:42 +0000 (12:21 +0200)]
yet another correction for those factors, hope this is the last one ..

7 years agothe smpi factor parsing was still returning wrong values
Augustin Degomme [Thu, 27 Sep 2012 08:53:39 +0000 (10:53 +0200)]
the smpi factor parsing was still returning wrong values

7 years agomention last commits
suter [Wed, 26 Sep 2012 15:21:43 +0000 (17:21 +0200)]
mention last commits

7 years agorevalidate tesh file after Augustin's commit
suter [Wed, 26 Sep 2012 13:13:15 +0000 (15:13 +0200)]
revalidate tesh file after Augustin's commit

7 years agomoved to examples/smpi/replay/replay.c
suter [Wed, 26 Sep 2012 12:59:46 +0000 (14:59 +0200)]
moved to examples/smpi/replay/replay.c

7 years agoadd smpi-replay to the SMPI+Tracing part of the test suite
suter [Wed, 26 Sep 2012 12:59:05 +0000 (14:59 +0200)]
add smpi-replay to the SMPI+Tracing part of the test suite

7 years agoadd a tesh file for trace replay with SMPI
suter [Wed, 26 Sep 2012 12:46:40 +0000 (14:46 +0200)]
add a tesh file for trace replay with SMPI
Three tests are performed
* single trace
* single trace with tracing
* multiple traces (one per process)

7 years agoinstrument broadcast and reduce actions too
suter [Wed, 26 Sep 2012 12:38:58 +0000 (14:38 +0200)]
instrument broadcast and reduce actions too

7 years agoslight modifications to make things work
suter [Wed, 26 Sep 2012 12:33:22 +0000 (14:33 +0200)]
slight modifications to make things work

7 years agoWhat? give the same name to the directory and the executable file isn't
suter [Wed, 26 Sep 2012 09:25:44 +0000 (11:25 +0200)]
What? give the same name to the directory and the executable file isn't
a good idea ? Come on ...

7 years agoupdate the CMake file
suter [Wed, 26 Sep 2012 09:20:41 +0000 (11:20 +0200)]
update the CMake file

7 years agoadd files to test trace replay with smpi
suter [Wed, 26 Sep 2012 09:20:19 +0000 (11:20 +0200)]
add files to test trace replay with smpi

7 years agoput the replay stuff in its own directory
suter [Wed, 26 Sep 2012 09:17:46 +0000 (11:17 +0200)]
put the replay stuff in its own directory

7 years agosort latency and bandwidth value submitted in config files for smpi, before using...
Augustin Degomme [Wed, 26 Sep 2012 12:54:42 +0000 (14:54 +0200)]
sort latency and bandwidth value submitted in config files for smpi, before using them (If the user did provide them sorted from bigger to smaller sizes, only the first and biggest value was being used)

7 years agoadd MPI_BOTTOM definition (needed by AMG benchmark)
Augustin Degomme [Tue, 25 Sep 2012 16:23:39 +0000 (18:23 +0200)]
add MPI_BOTTOM definition (needed by AMG benchmark)