Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agoMake paranoid compiler happy.
Arnaud Giersch [Thu, 15 Nov 2012 12:36:15 +0000 (13:36 +0100)]
Make paranoid compiler happy.

8 years agoflatifier: added --downgrade option to output version 2 platform files, options can...
Maximiliano Geier [Thu, 15 Nov 2012 12:06:37 +0000 (13:06 +0100)]
flatifier: added --downgrade option to output version 2 platform files, options can also appear in any order

8 years agodisplay on configuration output whether the mallocators are activated or not
Martin Quinson [Thu, 15 Nov 2012 09:57:41 +0000 (10:57 +0100)]
display on configuration output whether the mallocators are activated or not

8 years agoturn off the mallocators during the memory check
Martin Quinson [Thu, 15 Nov 2012 09:44:11 +0000 (10:44 +0100)]
turn off the mallocators during the memory check

8 years agogit reset hard works even for Java. True story.
Martin Quinson [Thu, 15 Nov 2012 08:21:55 +0000 (09:21 +0100)]
git reset hard works even for Java. True story.

8 years agoGit-reset should do the job here, plus minor corrections.
Arnaud Giersch [Wed, 14 Nov 2012 22:02:08 +0000 (23:02 +0100)]
Git-reset should do the job here, plus minor corrections.

8 years agoahem, document the right name for the new function
Martin Quinson [Wed, 14 Nov 2012 21:45:25 +0000 (22:45 +0100)]
ahem, document the right name for the new function

8 years agorewrite the 'howto release' guide, in paranoid mode
Martin Quinson [Wed, 14 Nov 2012 21:21:29 +0000 (22:21 +0100)]
rewrite the 'howto release' guide, in paranoid mode

8 years agotypo in comments
Martin Quinson [Wed, 14 Nov 2012 21:20:40 +0000 (22:20 +0100)]
typo in comments

8 years agocosmetics
Martin Quinson [Wed, 14 Nov 2012 21:19:55 +0000 (22:19 +0100)]
cosmetics

8 years agoNew function: MSG_get_process_number()
Martin Quinson [Wed, 14 Nov 2012 21:19:30 +0000 (22:19 +0100)]
New function: MSG_get_process_number()

8 years agoenhance the flatifier so that it can be used for platform parsing performance measurement
Martin Quinson [Thu, 8 Nov 2012 19:36:58 +0000 (20:36 +0100)]
enhance the flatifier so that it can be used for platform parsing performance measurement

8 years agoBitTorrent: changed the way the PIECE message is handled so that it uses MSG_task_ise...
Maximiliano Geier [Wed, 14 Nov 2012 10:35:40 +0000 (11:35 +0100)]
BitTorrent: changed the way the PIECE message is handled so that it uses MSG_task_isend insted of MSG_task_dsend, and queues pending comms accordingly

8 years agoBitTorrent: added reference to the report by A. Legout on the size of messages
Maximiliano Geier [Wed, 14 Nov 2012 10:27:13 +0000 (11:27 +0100)]
BitTorrent: added reference to the report by A. Legout on the size of messages

8 years agosmpicc: also reset CMAKE_LINKARGS when no linking is required (-c).
Arnaud Giersch [Wed, 14 Nov 2012 09:00:39 +0000 (10:00 +0100)]
smpicc: also reset CMAKE_LINKARGS when no linking is required (-c).

8 years agoSize can be negative. Use ssize_t instead of size_t.
Arnaud Giersch [Wed, 14 Nov 2012 08:41:59 +0000 (09:41 +0100)]
Size can be negative.  Use ssize_t instead of size_t.

Error caught by Clang:
In file included from /home/giersch/lsrc/simgrid/simgrid-git/src/xbt/mmalloc/mm.c:21:
src/xbt/mmalloc/mmorecore.c:74:19: error: comparison of unsigned expression < 0 is always false [-Werror,-Wtautological-compare]
  } else if (size < 0) {

8 years agoRemove unsupported flags when Clang is used.
Arnaud Giersch [Wed, 14 Nov 2012 08:36:08 +0000 (09:36 +0100)]
Remove unsupported flags when Clang is used.

8 years agoAlso print CMAKE_xxx_COMPILER_ID.
Arnaud Giersch [Wed, 14 Nov 2012 08:32:17 +0000 (09:32 +0100)]
Also print CMAKE_xxx_COMPILER_ID.

8 years agomodel-checker : new cfg command line flag (model-check/max_depth) for max depth of...
Marion Guthmuller [Tue, 13 Nov 2012 14:12:35 +0000 (15:12 +0100)]
model-checker : new cfg command line flag (model-check/max_depth) for max depth of exploration (default value is 1000)

8 years agoCorrect a bug in kademlia
paul bedaride [Tue, 13 Nov 2012 10:58:03 +0000 (11:58 +0100)]
Correct a bug in kademlia

8 years agoWrite the add_test(...) so that they are compatible with cmake 2.6.
Arnaud Giersch [Mon, 12 Nov 2012 20:28:59 +0000 (21:28 +0100)]
Write the add_test(...) so that they are compatible with cmake 2.6.

8 years agoUse configure_file(... COPYONLY) instead of file(COPY ...).
Arnaud Giersch [Mon, 12 Nov 2012 20:19:11 +0000 (21:19 +0100)]
Use configure_file(... COPYONLY) instead of file(COPY ...).

file(COPY ...) does not exist in cmake before 2.8.

8 years agoDefine macro if it's missing.
Arnaud Giersch [Mon, 12 Nov 2012 17:05:26 +0000 (18:05 +0100)]
Define macro if it's missing.

CMAKE_FORCE_Fortran_COMPILER does not exist with cmake before 2.8.1.
See http://www.cmake.org/Bug/view.php?id=10032

8 years agoProtect string with quotes.
Arnaud Giersch [Mon, 12 Nov 2012 16:56:22 +0000 (17:56 +0100)]
Protect string with quotes.

8 years agoUse options compatible with older versions of git.
Arnaud Giersch [Mon, 12 Nov 2012 16:40:18 +0000 (17:40 +0100)]
Use options compatible with older versions of git.

8 years agoIf several remotes are set, arbitrarily use the first one.
Arnaud Giersch [Mon, 12 Nov 2012 16:39:11 +0000 (17:39 +0100)]
If several remotes are set, arbitrarily use the first one.

8 years agomodel-checker : cosmetics on log message
Marion Guthmuller [Mon, 12 Nov 2012 16:33:09 +0000 (17:33 +0100)]
model-checker : cosmetics on log message

8 years agomodel-checker : Add statistics about comparison times for each pair reached:
Marion Guthmuller [Mon, 12 Nov 2012 16:20:41 +0000 (17:20 +0100)]
model-checker : Add statistics about comparison times for each pair reached:

- if debug log enabled for mc_compare:
  - number of comparisons done with this pair
  - for each comparison step : number of different states, comparison times (average, max, min)
- otherwise
  - number of comparisons done with this pair
  - snapshot comparison times (stopped when the first difference is detected)

8 years agocosmetics and fix ugly bug in windows code
Augustin Degomme [Mon, 12 Nov 2012 16:27:35 +0000 (17:27 +0100)]
cosmetics and fix ugly bug in windows code

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Mon, 12 Nov 2012 15:02:21 +0000 (16:02 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years ago[trace] bye bye triva, welcome viva
Lucas Schnorr [Mon, 12 Nov 2012 14:43:20 +0000 (15:43 +0100)]
[trace] bye bye triva, welcome viva

todo:
- update documentation

8 years agoupdate doc for asynchronous send
Augustin Degomme [Mon, 12 Nov 2012 14:37:54 +0000 (15:37 +0100)]
update doc for asynchronous send

8 years ago[trace] do not extract topology graph if user ask to do so (by disabling --cfg=tracin...
Lucas Schnorr [Mon, 12 Nov 2012 14:10:27 +0000 (15:10 +0100)]
[trace] do not extract topology graph if user ask to do so (by disabling --cfg=tracing/platform/topology)

8 years ago[trace] new tracing option to disable the topology tracing as a graph
Lucas Schnorr [Mon, 12 Nov 2012 14:09:41 +0000 (15:09 +0100)]
[trace] new tracing option to disable the topology tracing as a graph

do:
--cfg=tracing/platform/topology:0 to disable it

8 years ago[trace] cosmetics, platform is registered as a hierarchy, not as a graph
Lucas Schnorr [Mon, 12 Nov 2012 14:05:13 +0000 (15:05 +0100)]
[trace] cosmetics, platform is registered as a hierarchy, not as a graph

8 years agoupdate doc to reflect change of the stack_size parameter
Augustin Degomme [Mon, 12 Nov 2012 13:40:21 +0000 (14:40 +0100)]
update doc to reflect change of the stack_size parameter

8 years agoavoid setting the value of the stack size for thread factory if the parameter is...
Augustin Degomme [Mon, 12 Nov 2012 13:33:50 +0000 (14:33 +0100)]
avoid setting the value of the stack size for thread factory if the parameter is not explicitely set by the user (this is a bit annoying, as it adds a global to check the initialization, but it handles the case were the explicitely wanted value is also the default one)

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Mon, 12 Nov 2012 12:02:30 +0000 (13:02 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agomodel-checker : remove chunks used comparison at the beginning of mmalloc_compare...
Marion Guthmuller [Sun, 11 Nov 2012 19:37:50 +0000 (20:37 +0100)]
model-checker : remove chunks used comparison at the beginning of mmalloc_compare(), done at the beginning of snasphot_compare()

8 years agomodel-checker : unset raw heap after display of statistics if complete exploration...
Marion Guthmuller [Sun, 11 Nov 2012 18:12:26 +0000 (19:12 +0100)]
model-checker : unset raw heap after display of statistics if complete exploration without acceptance cycle found

8 years agomodel-checker : get times elapsed for snasphot comparison
Marion Guthmuller [Sun, 11 Nov 2012 18:04:00 +0000 (19:04 +0100)]
model-checker : get times elapsed for snasphot comparison

8 years agomodel-checker : add ignore mechanism for global variables (data + bss segments) in...
Marion Guthmuller [Sun, 11 Nov 2012 17:47:30 +0000 (18:47 +0100)]
model-checker : add ignore mechanism for global variables (data + bss segments) in libsimgrid

8 years agomodel-checker : get start of libsimgrid bss segment for MC_ignore mechanism
Marion Guthmuller [Sun, 11 Nov 2012 16:34:55 +0000 (17:34 +0100)]
model-checker : get start of libsimgrid bss segment for MC_ignore mechanism

8 years agomodel-checker : typo
Marion Guthmuller [Sun, 11 Nov 2012 13:56:43 +0000 (14:56 +0100)]
model-checker : typo

8 years agoShake up snapshot comparison : apply a new order of comparison
Marion Guthmuller [Fri, 9 Nov 2012 17:57:47 +0000 (18:57 +0100)]
Shake up snapshot comparison : apply a new order of comparison
- number of chunks used in heaps
- size used in stacks
- binary/libsimgrid data segments
- heap comparison algorithm
- local variables with DWARF and libunwind

If debug log is enabled on mc_compare, comparison is done entirely otherwise comparison stops when a first difference is detected.

8 years agomodel-checker : remove unnecessary comment
Marion Guthmuller [Fri, 9 Nov 2012 17:45:00 +0000 (18:45 +0100)]
model-checker : remove unnecessary comment

8 years agomodel-checker : move creation of initial_state_liveness in MC_init_liveness
Marion Guthmuller [Fri, 9 Nov 2012 17:44:02 +0000 (18:44 +0100)]
model-checker : move creation of initial_state_liveness in MC_init_liveness

8 years agomodel-checker : add size of stack in parameter of the function MC_new_stack_area
Marion Guthmuller [Fri, 9 Nov 2012 17:37:21 +0000 (18:37 +0100)]
model-checker : add size of stack in parameter of the function MC_new_stack_area

8 years agomodel-checker : getter function for chunks used in heap
Marion Guthmuller [Fri, 9 Nov 2012 17:33:19 +0000 (18:33 +0100)]
model-checker : getter function for chunks used in heap

8 years agomodel-checker : use statistics already included in heap struct for the comparison...
Marion Guthmuller [Fri, 9 Nov 2012 13:06:36 +0000 (14:06 +0100)]
model-checker : use statistics already included in heap struct for the comparison of fragment/block used

8 years agomodel-checker : initialize global variables
Marion Guthmuller [Fri, 9 Nov 2012 13:04:35 +0000 (14:04 +0100)]
model-checker : initialize global variables

8 years agoadd a function in xbt to allow setting the stack size of a pthread, according to...
Augustin Degomme [Fri, 9 Nov 2012 12:58:14 +0000 (13:58 +0100)]
add a function in xbt to allow setting the stack size of a pthread, according to the value of the contexts/stack_size parameter (which was only raw/ucontext before)

8 years agomodel-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1
Marion Guthmuller [Thu, 8 Nov 2012 16:19:53 +0000 (17:19 +0100)]
model-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1

8 years agomodel-checker : new command line flag (model-check/timeout) to enable/disable timeout...
Marion Guthmuller [Thu, 8 Nov 2012 16:00:53 +0000 (17:00 +0100)]
model-checker : new command line flag (model-check/timeout) to enable/disable timeout for wait requests with model-checking

8 years agomodel-checker : initialize variables (compilation error with optimizations)
Marion Guthmuller [Wed, 7 Nov 2012 15:59:02 +0000 (16:59 +0100)]
model-checker : initialize variables (compilation error with optimizations)

8 years agomodel-checker : add debug information on processes enabled for each state
Marion Guthmuller [Wed, 7 Nov 2012 15:16:20 +0000 (16:16 +0100)]
model-checker : add debug information on processes enabled for each state

8 years agomodel-checker: add chord example for liveness property model checking
Marion Guthmuller [Wed, 7 Nov 2012 14:49:56 +0000 (15:49 +0100)]
model-checker: add chord example for liveness property model checking

8 years agomodel-checker : initialize global variable ignore_done and set its value to 0 at...
Marion Guthmuller [Wed, 7 Nov 2012 14:47:43 +0000 (15:47 +0100)]
model-checker : initialize global variable ignore_done and set its value to 0 at the end of heap comparison

8 years agomodel-checker : remove backtracking if no more request to execute in system state...
Marion Guthmuller [Wed, 7 Nov 2012 14:45:00 +0000 (15:45 +0100)]
model-checker : remove backtracking if no more request to execute in system state, search evolution in Büchi automaton

8 years agomodel-checker : comment trigger for state equality detection
Marion Guthmuller [Wed, 7 Nov 2012 14:43:28 +0000 (15:43 +0100)]
model-checker : comment trigger for state equality detection

8 years agomodel-checker : improve debug information for stacks comparison
Marion Guthmuller [Wed, 7 Nov 2012 14:39:06 +0000 (15:39 +0100)]
model-checker : improve debug information for stacks comparison

8 years agomodel-checker : add local variables from xbt/ex.h in ignore mechanism for stacks...
Marion Guthmuller [Wed, 7 Nov 2012 14:38:07 +0000 (15:38 +0100)]
model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks comparison

8 years agomodel-checker : ignore some local variables from xbt/ex.c for stack comparison
Marion Guthmuller [Wed, 31 Oct 2012 20:37:46 +0000 (21:37 +0100)]
model-checker : ignore some local variables from xbt/ex.c for stack comparison

8 years agomodel-checker : update examples for test snapshot comparison
Marion Guthmuller [Wed, 31 Oct 2012 17:50:00 +0000 (18:50 +0100)]
model-checker : update examples for test snapshot comparison

8 years agomodel-checker : memory free
Marion Guthmuller [Wed, 31 Oct 2012 17:48:51 +0000 (18:48 +0100)]
model-checker : memory free

8 years agomodel-checker : verification of current_heap
Marion Guthmuller [Wed, 31 Oct 2012 17:47:48 +0000 (18:47 +0100)]
model-checker : verification of current_heap

8 years agomodel-checker : add ignore mechanism for comparison of local variables
Marion Guthmuller [Wed, 31 Oct 2012 17:45:34 +0000 (18:45 +0100)]
model-checker : add ignore mechanism for comparison of local variables

8 years agomodel-checker : remove declaration of unused function
Marion Guthmuller [Wed, 31 Oct 2012 09:46:10 +0000 (10:46 +0100)]
model-checker : remove declaration of unused function

8 years agomodel-checker : fix dynar index in algorithm to get local variable location
Marion Guthmuller [Sat, 27 Oct 2012 20:53:54 +0000 (22:53 +0200)]
model-checker : fix dynar index in algorithm to get local variable location

8 years agoadd timeout to compute tesh, as i386 debian is painfully slow with it and fails
Augustin Degomme [Wed, 7 Nov 2012 10:44:26 +0000 (11:44 +0100)]
add timeout to compute tesh, as i386 debian is painfully slow with it and fails

8 years agoas MPI_Iprobe always use a 0-sized request, do not check if this size is different...
Augustin Degomme [Mon, 5 Nov 2012 10:18:29 +0000 (11:18 +0100)]
as MPI_Iprobe always use a 0-sized request, do not check if this size is different from the sent one, and do not answer MPI_ERR_TRUNCATE

8 years agoadd a tesh file and test for two already existing tests, to improve coverage of smpi_...
degomme [Sun, 4 Nov 2012 16:58:38 +0000 (17:58 +0100)]
add a tesh file and test for two already existing tests, to improve coverage of smpi_bench.c from 15% to 68%

8 years agohandle MPI_UB and MPI_LB for real, activate tests in the test suite for this (and...
degomme [Sun, 4 Nov 2012 14:25:19 +0000 (15:25 +0100)]
handle MPI_UB and MPI_LB for real, activate tests in the test suite for this (and deactivates sendrecv4 which was working by accident, as MPI_BOTTOM is not handled)

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Wed, 31 Oct 2012 16:05:01 +0000 (17:05 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoAdd an example of generated pdf from simgrid scalability
navarro [Wed, 31 Oct 2012 16:01:29 +0000 (17:01 +0100)]
Add an example of generated pdf from simgrid scalability

8 years agoreplace explicit smpi_sleep calls I introduced in some examples by sleep ones
Augustin Degomme [Wed, 31 Oct 2012 15:51:35 +0000 (16:51 +0100)]
replace explicit smpi_sleep calls I introduced in some examples by sleep ones

8 years agoquick fix that hopefully won't break too much compilation ... the second parameter...
Augustin Degomme [Wed, 31 Oct 2012 15:29:16 +0000 (16:29 +0100)]
quick fix that hopefully won't break too much compilation ... the second parameter of gettimeofday should never be used, and its type changes on some systems (void* or struct timezone*). As we don't need it, I just removed it from smpi_gettimeofday, which now takes only one parameter

8 years agodo not fail when building smpi without f2c, as it is now possible
Augustin Degomme [Wed, 31 Oct 2012 14:50:39 +0000 (15:50 +0100)]
do not fail when building smpi without f2c, as it is now possible

8 years agomove defines frmpo smpi.h to mpi.h, to avoid using them when compiling smpi (the...
Augustin Degomme [Wed, 31 Oct 2012 14:18:19 +0000 (15:18 +0100)]
move defines frmpo smpi.h to mpi.h, to avoid using them when compiling smpi (the sleep one did weird things on macos platforms). They should be used for client codes only

8 years agoremove todo, once done
Augustin Degomme [Tue, 30 Oct 2012 15:07:45 +0000 (16:07 +0100)]
remove todo, once done

8 years agoChange parse for exec to be complient with simgrid-scalab
navarro [Wed, 31 Oct 2012 12:22:58 +0000 (13:22 +0100)]
Change parse for exec to be complient with simgrid-scalab

8 years agoOups
navarro [Wed, 31 Oct 2012 12:21:06 +0000 (13:21 +0100)]
Oups

8 years agoReused mem check in pipol
navarro [Wed, 31 Oct 2012 10:05:11 +0000 (11:05 +0100)]
Reused mem check in pipol

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
navarro [Wed, 31 Oct 2012 10:00:38 +0000 (11:00 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

8 years agoRemove all navarro into source of pipol
navarro [Wed, 31 Oct 2012 10:00:22 +0000 (11:00 +0100)]
Remove all navarro into source of pipol

8 years agoVariable is unused, remove it.
Arnaud Giersch [Tue, 30 Oct 2012 20:08:10 +0000 (21:08 +0100)]
Variable is unused, remove it.

8 years agouse MSG_host_set_property_value everywhere
suter [Tue, 30 Oct 2012 19:50:41 +0000 (20:50 +0100)]
use MSG_host_set_property_value everywhere

8 years agobetter to use a function that exists than dealing with the underlying
suter [Tue, 30 Oct 2012 19:40:05 +0000 (20:40 +0100)]
better to use a function that exists than dealing with the underlying
data structure directly
test two other uncovered functions while at it (update tesh accordingly)

8 years agoCorrect way to use CTestCustom.cmake
navarro [Tue, 30 Oct 2012 15:50:52 +0000 (16:50 +0100)]
Correct way to use CTestCustom.cmake

8 years agosmall change for future fortran tests in context folder
Augustin Degomme [Tue, 30 Oct 2012 14:41:46 +0000 (15:41 +0100)]
small change for future fortran tests in context folder

8 years agoadd changes to previous commit on ctest
Augustin Degomme [Tue, 30 Oct 2012 14:07:29 +0000 (15:07 +0100)]
add changes to previous commit on ctest

8 years agocorrect behavior of smpi_group_excl and smpi_group_intersection functions, and activ...
Augustin Degomme [Tue, 30 Oct 2012 14:02:32 +0000 (15:02 +0100)]
correct behavior of smpi_group_excl and  smpi_group_intersection functions, and activate the group_test test frop the mpich-suite

8 years agomodifiy alltoall test to cover all 3 algorithms currently implemented in smpi
Augustin Degomme [Tue, 30 Oct 2012 11:14:53 +0000 (12:14 +0100)]
modifiy alltoall test to cover all 3 algorithms currently implemented in smpi

8 years agoadd a CMakeCustom.cmake file, which is automatically used by ctest to handle custom...
Augustin Degomme [Tue, 30 Oct 2012 10:20:22 +0000 (11:20 +0100)]
add a CMakeCustom.cmake file, which is automatically used by ctest to handle custom commands. these were inside CtestPipol.cmake, and were ignored (see kitware.com/blog/home/post/27 for details about why they force this file). The coverage has dropped in the cdash, due to the fact that we now calculate the coverage based on simgrid files only, not on test files ..

8 years agoAdd docs
navarro [Tue, 30 Oct 2012 14:05:30 +0000 (15:05 +0100)]
Add docs

8 years agoCosmetics
navarro [Tue, 30 Oct 2012 14:05:23 +0000 (15:05 +0100)]
Cosmetics

8 years agoUpdate target sync-pipol
navarro [Tue, 30 Oct 2012 13:43:45 +0000 (14:43 +0100)]
Update target sync-pipol

8 years agoAdd a new target for update pipol scripts
navarro [Tue, 30 Oct 2012 13:36:24 +0000 (14:36 +0100)]
Add a new target for update pipol scripts

8 years agoComsetics. Replace exec_program by execute_process
navarro [Tue, 30 Oct 2012 13:22:45 +0000 (14:22 +0100)]
Comsetics. Replace exec_program by execute_process

8 years agoFix compilation error.
Arnaud Giersch [Mon, 29 Oct 2012 18:07:17 +0000 (19:07 +0100)]
Fix compilation error.

src/smpi/smpi_mpi_dt.c:156:10: error: no previous prototype for ‘smpi_datatype_get_extent’ [-Werror=missing-prototypes]