Martin Quinson [Tue, 16 Oct 2012 00:12:07 +0000 (02:12 +0200)]
sg_cmdline is a public dynar containing all command-line arguments we got
Martin Quinson [Mon, 15 Oct 2012 23:23:50 +0000 (01:23 +0200)]
cosmetics
Martin Quinson [Mon, 15 Oct 2012 22:52:43 +0000 (00:52 +0200)]
ensures that runall is never called on empty set
Not sure of when it can happen, but it does, forcing the context
factories to be defensive. This was causing issues in java coroutines
as this factory was not defensive enough. So avoiding future issues
seems interesting to me.
Martin Quinson [Mon, 15 Oct 2012 21:57:55 +0000 (23:57 +0200)]
search libunwind with cmake and die at config time if not found
Martin Quinson [Sun, 14 Oct 2012 19:57:17 +0000 (21:57 +0200)]
ouch, I've lost an eye on that
Martin Quinson [Thu, 11 Oct 2012 07:18:24 +0000 (09:18 +0200)]
try to get /some/ info from the cdash by not intentionaly breaking the tesh files
Martin Quinson [Thu, 11 Oct 2012 00:45:57 +0000 (02:45 +0200)]
more cruft to ignore
Lucas Nussbaum [Sun, 14 Oct 2012 10:56:09 +0000 (12:56 +0200)]
chord: avoid duplicate call of MSG_comm_test()
Commit
caffead (exactly one year ago!) introduced a duplicate call to
MSG_comm_test(): MSG_comm_test() could return true on line 336, and
then be called again there. That caused a crash since the communication
was already finalized in the first MSG_comm_test() call.
suter [Fri, 12 Oct 2012 23:01:17 +0000 (01:01 +0200)]
list bug fixed in SD_simulate
suter [Fri, 12 Oct 2012 22:57:03 +0000 (00:57 +0200)]
fix an issue that occurs when SD_simulate is called with a positive
value (simulate for X seconds). The simulation does not always stop
after the expected duration.
Cause: The "less than" test is sometimes tricky with doubles.
Fix: Replace by "difference smaller than 0.00001 (the maxmin precision).
+ indent
+ one more verbose message
navarro [Fri, 12 Oct 2012 12:52:49 +0000 (14:52 +0200)]
Compilation with warning flags
navarro [Fri, 12 Oct 2012 12:42:40 +0000 (14:42 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Fri, 12 Oct 2012 12:42:32 +0000 (14:42 +0200)]
Finish the tutorial for new model and api
Marion Guthmuller [Fri, 12 Oct 2012 11:41:03 +0000 (13:41 +0200)]
model-checker : display malloc backtrace according to address
navarro [Fri, 12 Oct 2012 10:06:01 +0000 (12:06 +0200)]
Oups rename function
navarro [Fri, 12 Oct 2012 09:48:51 +0000 (11:48 +0200)]
Add first steps to explain How to add a new model in Simgrid
navarro [Fri, 12 Oct 2012 09:09:02 +0000 (11:09 +0200)]
First steps for making a tutorial on How to create a new API in Simgrid
Augustin Degomme [Thu, 11 Oct 2012 14:58:41 +0000 (16:58 +0200)]
add better support for MPI datatypes extent values (to correct behavior of gather/scatter of these structs)
paul bedaride [Thu, 11 Oct 2012 15:43:41 +0000 (17:43 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Arnaud Giersch [Thu, 11 Oct 2012 15:30:37 +0000 (17:30 +0200)]
Fix compilation warning.
src/mc/mc_checkpoint.c:480: warning: cast from pointer to integer of different size
Arnaud Giersch [Thu, 11 Oct 2012 14:10:14 +0000 (16:10 +0200)]
Increase timeout in pmm.tesh.
Arnaud Giersch [Thu, 11 Oct 2012 14:10:14 +0000 (16:10 +0200)]
Return immediately if p==NULL.
Prevents valgrind from beeing hung at exit on a free(0).
Arnaud Giersch [Thu, 11 Oct 2012 14:10:14 +0000 (16:10 +0200)]
New cmake option "enable_mallocators", useful to disable mallocators.
Arnaud Giersch [Thu, 11 Oct 2012 14:10:14 +0000 (16:10 +0200)]
Include standard header files after local includes.
It should fix the build on Debian Lenny (oldstable).
Arnaud Giersch [Thu, 11 Oct 2012 14:10:14 +0000 (16:10 +0200)]
Define _GNU_SOURCE in xbt/misc.h, so that it's defined across full build.
Marion Guthmuller [Thu, 11 Oct 2012 14:55:34 +0000 (16:55 +0200)]
model-checker : forget regions corresponding to libsimgrid for each snapshot
Augustin Degomme [Thu, 11 Oct 2012 09:39:05 +0000 (11:39 +0200)]
add libunwind-devel package for fedora
jean-noel quintin [Thu, 11 Oct 2012 07:57:21 +0000 (08:57 +0100)]
[example,smpi,MM] remove the specification of parameter per a file
- improve the upkeep of the code
paul bedaride [Thu, 11 Oct 2012 07:30:53 +0000 (09:30 +0200)]
add tesh man to cmake
Arnaud Giersch [Wed, 10 Oct 2012 20:08:48 +0000 (22:08 +0200)]
Fix memory leaks in msg_pmm.
Arnaud Giersch [Wed, 10 Oct 2012 19:41:11 +0000 (21:41 +0200)]
Use 1/0 instead of false/true (*flag is an int).
Arnaud Giersch [Wed, 10 Oct 2012 19:40:53 +0000 (21:40 +0200)]
Include is missing when building with tracing=OFF.
Arnaud Giersch [Wed, 10 Oct 2012 16:21:34 +0000 (18:21 +0200)]
Add msg-pmm to the list of tests to run, and fill up pmm.tesh.
Arnaud Giersch [Wed, 10 Oct 2012 16:02:24 +0000 (18:02 +0200)]
Cannot use a dsend here, or it will be aborted when the process is terminated just after.
Arnaud Giersch [Wed, 10 Oct 2012 16:01:16 +0000 (18:01 +0200)]
Check for errors from MSG_task_receive.
Arnaud Giersch [Wed, 10 Oct 2012 15:16:11 +0000 (17:16 +0200)]
Avoid to fail when we cannot read the output of addr2line.
Arnaud Giersch [Wed, 10 Oct 2012 14:20:23 +0000 (16:20 +0200)]
Typo.
paul bedaride [Wed, 10 Oct 2012 15:38:08 +0000 (17:38 +0200)]
add tesh man
paul bedaride [Wed, 10 Oct 2012 14:44:51 +0000 (16:44 +0200)]
add pmm.tesh
Marion Guthmuller [Wed, 10 Oct 2012 13:05:56 +0000 (15:05 +0200)]
function check_fraghead to detect mmalloc metadata corruption
Martin Quinson [Wed, 10 Oct 2012 12:34:34 +0000 (14:34 +0200)]
commit my deployment for testing the model-checking of Chord
jean-noel quintin [Wed, 10 Oct 2012 10:32:17 +0000 (11:32 +0100)]
[examples,smpi,MM] remove a useless function
jean-noel quintin [Wed, 10 Oct 2012 10:27:57 +0000 (11:27 +0100)]
[examples,smpi,MM] get some positive value for the time
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
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
Arnaud Giersch [Wed, 10 Oct 2012 09:51:23 +0000 (11:51 +0200)]
An empty body for this if statement looks wrong.
Arnaud Giersch [Wed, 10 Oct 2012 09:27:55 +0000 (11:27 +0200)]
Regenerated.
Arnaud Giersch [Wed, 10 Oct 2012 09:13:10 +0000 (11:13 +0200)]
Abort if getline failed.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove unused function.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Declare static functions in c file.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove needless declaration of static function.
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.
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.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
An inline declaration without definition does not make sense.
Arnaud Giersch [Wed, 10 Oct 2012 09:08:40 +0000 (11:08 +0200)]
Remove generated file after test.
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.
Martin Quinson [Wed, 10 Oct 2012 07:49:18 +0000 (09:49 +0200)]
install libunwind for model-checking
Martin Quinson [Wed, 10 Oct 2012 07:38:34 +0000 (09:38 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Arnaud Giersch [Wed, 10 Oct 2012 06:10:38 +0000 (08:10 +0200)]
Always initialize variable.
Arnaud Giersch [Wed, 10 Oct 2012 06:07:03 +0000 (08:07 +0200)]
Use %z modifier for type size_t.
Martin Quinson [Wed, 10 Oct 2012 04:54:46 +0000 (06:54 +0200)]
these files were added recently
Augustin Degomme [Tue, 9 Oct 2012 17:57:52 +0000 (19:57 +0200)]
shunt a warning, quite dirtily
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
Augustin Degomme [Tue, 9 Oct 2012 16:44:14 +0000 (18:44 +0200)]
add a few tests for smpi
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)
Martin Quinson [Tue, 9 Oct 2012 15:27:59 +0000 (17:27 +0200)]
improve a comment
navarro [Tue, 9 Oct 2012 09:50:10 +0000 (11:50 +0200)]
Add a tesh file for smpi vector
jean-noel quintin [Tue, 9 Oct 2012 08:12:51 +0000 (09:12 +0100)]
Merge remote-tracking branch 'origin/master'
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
Marion Guthmuller [Tue, 9 Oct 2012 01:54:29 +0000 (03:54 +0200)]
set size to -1 for free fragments in new fragmented block
Marion Guthmuller [Tue, 9 Oct 2012 00:39:02 +0000 (02:39 +0200)]
set value -1 in unsigned short cannot work fine ...
Marion Guthmuller [Mon, 8 Oct 2012 23:53:15 +0000 (01:53 +0200)]
set size_used negative for free fragment/block
Martin Quinson [Mon, 8 Oct 2012 23:24:21 +0000 (01:24 +0200)]
try harder to break mmalloc wrt double-free
jean-noel quintin [Mon, 8 Oct 2012 23:23:04 +0000 (00:23 +0100)]
Merge remote-tracking branch 'origin/master'
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.
Marion Guthmuller [Mon, 8 Oct 2012 23:15:23 +0000 (01:15 +0200)]
UNLOCK forgotten before THROWF
Martin Quinson [Mon, 8 Oct 2012 23:01:16 +0000 (01:01 +0200)]
checks that double free are correctly detected
Marion Guthmuller [Mon, 8 Oct 2012 23:00:44 +0000 (01:00 +0200)]
check if free on fragment already free
Martin Quinson [Mon, 8 Oct 2012 22:42:20 +0000 (00:42 +0200)]
add the new mmalloc test to the testsuite
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)
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.
Martin Quinson [Mon, 8 Oct 2012 22:02:35 +0000 (00:02 +0200)]
we all love debug informations
Martin Quinson [Mon, 8 Oct 2012 21:14:02 +0000 (23:14 +0200)]
add a basic tesh test about mmalloc
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
Martin Quinson [Mon, 8 Oct 2012 19:46:49 +0000 (21:46 +0200)]
we need the simgrid library too. True story.
Martin Quinson [Mon, 8 Oct 2012 19:44:15 +0000 (21:44 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 8 Oct 2012 19:43:13 +0000 (21:43 +0200)]
make it compile in a recent tree
Marion Guthmuller [Mon, 8 Oct 2012 19:42:25 +0000 (21:42 +0200)]
add executable chord_before_dsend in CMakeLists
Marion Guthmuller [Mon, 8 Oct 2012 19:25:21 +0000 (21:25 +0200)]
version of chord before use MSG_task_dsend
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
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.
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.
Arnaud Giersch [Mon, 8 Oct 2012 07:10:24 +0000 (09:10 +0200)]
Use binary dir for bindir, and cd to home dir.
degomme [Mon, 8 Oct 2012 08:23:04 +0000 (10:23 +0200)]
add a free method for datatypes
Marion Guthmuller [Sun, 7 Oct 2012 15:21:22 +0000 (17:21 +0200)]
model-checker : forget include ucontext.h for struct smx_ctx_sysv
Marion Guthmuller [Sun, 7 Oct 2012 12:47:46 +0000 (14:47 +0200)]
model-checker : test if variable is initialized (warning with optimizations)
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
Marion Guthmuller [Sat, 6 Oct 2012 17:01:04 +0000 (19:01 +0200)]
model-checker : remove maestro stack from stack comparison
Marion Guthmuller [Sat, 6 Oct 2012 09:26:11 +0000 (11:26 +0200)]
model-checker : cleanup in mc examples
Marion Guthmuller [Fri, 5 Oct 2012 17:26:25 +0000 (19:26 +0200)]
model-checker : forget to remove unused variables