Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
10 years agoCheck for errors from MSG_task_receive.
Arnaud Giersch [Wed, 10 Oct 2012 16:01:16 +0000 (18:01 +0200)]
Check for errors from MSG_task_receive.

10 years agoAvoid to fail when we cannot read the output of addr2line.
Arnaud Giersch [Wed, 10 Oct 2012 15:16:11 +0000 (17:16 +0200)]
Avoid to fail when we cannot read the output of addr2line.

10 years agoTypo.
Arnaud Giersch [Wed, 10 Oct 2012 14:20:23 +0000 (16:20 +0200)]
Typo.

10 years agoadd tesh man
paul bedaride [Wed, 10 Oct 2012 15:38:08 +0000 (17:38 +0200)]
add tesh man

10 years agoadd pmm.tesh
paul bedaride [Wed, 10 Oct 2012 14:44:51 +0000 (16:44 +0200)]
add pmm.tesh

10 years agofunction check_fraghead to detect mmalloc metadata corruption
Marion Guthmuller [Wed, 10 Oct 2012 13:05:56 +0000 (15:05 +0200)]
function check_fraghead to detect mmalloc metadata corruption

10 years agocommit my deployment for testing the model-checking of Chord
Martin Quinson [Wed, 10 Oct 2012 12:34:34 +0000 (14:34 +0200)]
commit my deployment for testing the model-checking of Chord

10 years ago[examples,smpi,MM] remove a useless function
jean-noel quintin [Wed, 10 Oct 2012 10:32:17 +0000 (11:32 +0100)]
[examples,smpi,MM] remove a useless function

10 years ago[examples,smpi,MM] get some positive value for the time
jean-noel quintin [Wed, 10 Oct 2012 10:27:57 +0000 (11:27 +0100)]
[examples,smpi,MM] get some positive value for the time

10 years agoMerge remote-tracking branch 'origin/master'
jean-noel quintin [Wed, 10 Oct 2012 10:21:33 +0000 (11:21 +0100)]
Merge remote-tracking branch 'origin/master'

Remove:
examples/smpi/MM/timer.c
examples/smpi/MM/timer.h

10 years ago[example,smpi,MM] remove the timer interface which is useless here
jean-noel quintin [Wed, 10 Oct 2012 10:19:59 +0000 (11:19 +0100)]
[example,smpi,MM] remove the timer interface which is useless here

10 years agoAn empty body for this if statement looks wrong.
Arnaud Giersch [Wed, 10 Oct 2012 09:51:23 +0000 (11:51 +0200)]
An empty body for this if statement looks wrong.

10 years agoRegenerated.
Arnaud Giersch [Wed, 10 Oct 2012 09:27:55 +0000 (11:27 +0200)]
Regenerated.

10 years agoAbort if getline failed.
Arnaud Giersch [Wed, 10 Oct 2012 09:13:10 +0000 (11:13 +0200)]
Abort if getline failed.

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

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

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

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

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

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

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

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

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

10 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

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

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

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

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

10 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

10 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

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

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

10 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

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

10 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

10 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

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

10 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

10 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

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

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

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

10 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

10 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

10 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

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

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

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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

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

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

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

10 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

10 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

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

10 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

10 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

10 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

10 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

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

10 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

10 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

10 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

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

10 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

10 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

10 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

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

10 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

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

10 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

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

10 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

10 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

10 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

10 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

10 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

10 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

10 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

10 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

10 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

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

10 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

10 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

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

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

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

10 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

10 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

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

10 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

10 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

10 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