Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agoRemove unused function.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove unused function.

8 years agoDeclare static functions in c file.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Declare static functions in c file.

8 years agoRemove needless declaration of static function.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove needless declaration of static function.

8 years agoRemove declaration of static functions from header file.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove declaration of static functions from header file.

Also exchange the order of the functions in c file, and avoid a forward declaration.

8 years agoExpression is in fact of type ptrdiff_t, and modifier is %t.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Expression is in fact of type ptrdiff_t, and modifier is %t.

8 years agoAn inline declaration without definition does not make sense.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
An inline declaration without definition does not make sense.

8 years agoRemove generated file after test.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove generated file after test.

8 years agoReorder includes.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Reorder includes.

Only include math.h after having changed _*_SOURCE.  Otherwise, strange
errors may appear, depending on what's included from smx_private.h for
example.

8 years agoinstall libunwind for model-checking
Martin Quinson [Wed, 10 Oct 2012 07:49:18 +0000 (09:49 +0200)]
install libunwind for model-checking

8 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 10 Oct 2012 07:38:34 +0000 (09:38 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

8 years agoAlways initialize variable.
Arnaud Giersch [Wed, 10 Oct 2012 06:10:38 +0000 (08:10 +0200)]
Always initialize variable.

8 years agoUse %z modifier for type size_t.
Arnaud Giersch [Wed, 10 Oct 2012 06:07:03 +0000 (08:07 +0200)]
Use %z modifier for type size_t.

8 years agothese files were added recently
Martin Quinson [Wed, 10 Oct 2012 04:54:46 +0000 (06:54 +0200)]
these files were added recently

8 years agoshunt a warning, quite dirtily
Augustin Degomme [Tue, 9 Oct 2012 17:57:52 +0000 (19:57 +0200)]
shunt a warning, quite dirtily

8 years agoforgot to handle MPI_ANY_SOURCE as a valid source, they were caught as invalid
Augustin Degomme [Tue, 9 Oct 2012 16:51:14 +0000 (18:51 +0200)]
forgot to handle MPI_ANY_SOURCE as a valid source, they were caught as invalid

8 years agoadd a few tests for smpi
Augustin Degomme [Tue, 9 Oct 2012 16:44:14 +0000 (18:44 +0200)]
add a few tests for smpi

8 years ago[examples,smpi] remove warnings and resolve a bug (I hope I amn't sure)
jean-noel quintin [Tue, 9 Oct 2012 17:40:32 +0000 (18:40 +0100)]
[examples,smpi] remove warnings and resolve a bug (I hope I amn't sure)

8 years agoimprove a comment
Martin Quinson [Tue, 9 Oct 2012 15:27:59 +0000 (17:27 +0200)]
improve a comment

8 years agoAdd a tesh file for smpi vector
navarro [Tue, 9 Oct 2012 09:50:10 +0000 (11:50 +0200)]
Add a tesh file for smpi vector

8 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Tue, 9 Oct 2012 08:12:51 +0000 (09:12 +0100)]
Merge remote-tracking branch 'origin/master'

8 years ago[smpi,example] an example of matrix multiplication with non contignous memory
jean-noel quintin [Tue, 9 Oct 2012 08:12:28 +0000 (09:12 +0100)]
[smpi,example] an example of matrix multiplication with non contignous memory
I hope this example is relevant and could increase the coverage

8 years agoset size to -1 for free fragments in new fragmented block
Marion Guthmuller [Tue, 9 Oct 2012 01:54:29 +0000 (03:54 +0200)]
set size to -1 for free fragments in new fragmented block

8 years agoset value -1 in unsigned short cannot work fine ...
Marion Guthmuller [Tue, 9 Oct 2012 00:39:02 +0000 (02:39 +0200)]
set value -1 in unsigned short cannot work fine ...

8 years agoset size_used negative for free fragment/block
Marion Guthmuller [Mon, 8 Oct 2012 23:53:15 +0000 (01:53 +0200)]
set size_used negative for free fragment/block

8 years agotry harder to break mmalloc wrt double-free
Martin Quinson [Mon, 8 Oct 2012 23:24:21 +0000 (01:24 +0200)]
try harder to break mmalloc wrt double-free

8 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Mon, 8 Oct 2012 23:23:04 +0000 (00:23 +0100)]
Merge remote-tracking branch 'origin/master'

8 years ago[smpi] correction bug for detached comm
jean-noel quintin [Mon, 8 Oct 2012 23:22:39 +0000 (00:22 +0100)]
[smpi] correction bug for detached comm

      -all the test passed bug on real exemple it doesn't work
      I have to found why and where to free these requests
      Sorry for the introduction of this bug.

8 years agoUNLOCK forgotten before THROWF
Marion Guthmuller [Mon, 8 Oct 2012 23:15:23 +0000 (01:15 +0200)]
UNLOCK forgotten before THROWF

8 years agochecks that double free are correctly detected
Martin Quinson [Mon, 8 Oct 2012 23:01:16 +0000 (01:01 +0200)]
checks that double free are correctly detected

8 years agocheck if free on fragment already free
Marion Guthmuller [Mon, 8 Oct 2012 23:00:44 +0000 (01:00 +0200)]
check if free on fragment already free

8 years agoadd the new mmalloc test to the testsuite
Martin Quinson [Mon, 8 Oct 2012 22:42:20 +0000 (00:42 +0200)]
add the new mmalloc test to the testsuite

8 years agobetter integration of this test in our framework (like, use XBT for the logs and...
Martin Quinson [Mon, 8 Oct 2012 22:37:46 +0000 (00:37 +0200)]
better integration of this test in our framework (like, use XBT for the logs and such)

8 years agoBug fix in mrealloc where the previous content could get lost
Martin Quinson [Mon, 8 Oct 2012 22:28:30 +0000 (00:28 +0200)]
Bug fix in mrealloc where the previous content could get lost

When reallocating a large block, mrealloc tries to be cleaver and
first frees the area before requesting it again to avoid a copy if
there is some free adjacent memory.

This trick obviously don't mix well with the mmalloc memseting the
allocated memory to 0 before returning it.

So, split the mmalloc in two, and use the non-memsetting one from
mrealloc.

8 years agowe all love debug informations
Martin Quinson [Mon, 8 Oct 2012 22:02:35 +0000 (00:02 +0200)]
we all love debug informations

8 years agoadd a basic tesh test about mmalloc
Martin Quinson [Mon, 8 Oct 2012 21:14:02 +0000 (23:14 +0200)]
add a basic tesh test about mmalloc

8 years agokill a very old TODO file. We don't care of running mmalloc between several (system...
Martin Quinson [Mon, 8 Oct 2012 20:56:30 +0000 (22:56 +0200)]
kill a very old TODO file. We don't care of running mmalloc between several (system) processes

8 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.

8 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

8 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

8 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

8 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

8 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

8 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.

8 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.

8 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.

8 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

8 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

8 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)

8 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

8 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

8 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

8 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

8 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)

8 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

8 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

8 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

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

8 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

8 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

8 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

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

8 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

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

8 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

8 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)

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

8 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

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

8 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

8 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

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

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

8 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'

8 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

8 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

8 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)

8 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

8 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

8 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

8 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

8 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

8 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

8 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.

8 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

8 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

8 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

8 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..

8 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.

8 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

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

8 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

8 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

8 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