Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years ago[trace] it seems there are no availability traces for latency, no need for this funct...
schnorr [Tue, 31 Jul 2012 20:07:16 +0000 (22:07 +0200)]
[trace] it seems there are no availability traces for latency, no need for this function then

7 years ago[trace] make sure variable is zeroed before writing on it
schnorr [Tue, 31 Jul 2012 20:06:02 +0000 (22:06 +0200)]
[trace] make sure variable is zeroed before writing on it

7 years agoUpdate tesh for io.
navarro [Tue, 31 Jul 2012 15:47:13 +0000 (17:47 +0200)]
Update tesh for io.

7 years agoAdd function to unlink a file.
navarro [Tue, 31 Jul 2012 15:43:23 +0000 (17:43 +0200)]
Add function to unlink a file.
Add an example for unlink.

7 years agoFix memory leak
navarro [Tue, 31 Jul 2012 15:42:16 +0000 (17:42 +0200)]
Fix memory leak

7 years agoDuring the storage open, create the file if not exist.
navarro [Tue, 31 Jul 2012 15:37:23 +0000 (17:37 +0200)]
During the storage open, create the file if not exist.

7 years agoplatform generation : add promoters and labelers support
Jean-Baptiste Hervé [Tue, 31 Jul 2012 15:02:01 +0000 (17:02 +0200)]
platform generation : add promoters and labelers support

Two fucntions register callback functions written by user to promote nodes or label links. Two other functions call the callback functions on each node or link.

7 years agoplatform generation : modify some interfaces
Jean-Baptiste Hervé [Tue, 31 Jul 2012 11:33:47 +0000 (13:33 +0200)]
platform generation : modify some interfaces

7 years agoPlatform generation : add a function to set link parameters
Jean-Baptiste Hervé [Tue, 31 Jul 2012 09:43:54 +0000 (11:43 +0200)]
Platform generation : add a function to set link parameters

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Jean-Baptiste Hervé [Tue, 31 Jul 2012 07:43:01 +0000 (09:43 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agoPlatform generation : add promotion functions
Jean-Baptiste Hervé [Tue, 31 Jul 2012 07:37:38 +0000 (09:37 +0200)]
Platform generation : add promotion functions

7 years agomodel-checker : add debug information about pointers in libsimgrid and remove useless...
Marion Guthmuller [Mon, 30 Jul 2012 21:08:38 +0000 (23:08 +0200)]
model-checker : add debug information about pointers in libsimgrid and remove useless fprintf in get_plt_section

7 years agomodel-checker : free memory
Marion Guthmuller [Mon, 30 Jul 2012 20:47:05 +0000 (22:47 +0200)]
model-checker : free memory

7 years agomodel-checker : use bprintf instead of sprintf
Marion Guthmuller [Mon, 30 Jul 2012 20:28:16 +0000 (22:28 +0200)]
model-checker : use bprintf instead of sprintf

7 years agomodel-checker : ignore differences of pointers in .plt section in libsimgrid region...
Marion Guthmuller [Mon, 30 Jul 2012 19:36:53 +0000 (21:36 +0200)]
model-checker : ignore differences of pointers in .plt section in libsimgrid region comparison

7 years agomodel-checker : cleanup for heap comparison
Marion Guthmuller [Mon, 30 Jul 2012 14:22:10 +0000 (16:22 +0200)]
model-checker : cleanup for heap comparison

- XBT_DEBUG instead of fprintf on stderr
- variables renamed
- fix arithmetic on pointers

7 years agomodel-checker : update tests for snapshot comparison
Marion Guthmuller [Mon, 30 Jul 2012 14:17:15 +0000 (16:17 +0200)]
model-checker : update tests for snapshot comparison

7 years agomodel-checker : remove core dump for each reached pair
Marion Guthmuller [Mon, 30 Jul 2012 14:16:13 +0000 (16:16 +0200)]
model-checker : remove core dump for each reached pair

7 years agomodel-checker : cleanup on mc_checkpoint
Marion Guthmuller [Mon, 30 Jul 2012 14:11:59 +0000 (16:11 +0200)]
model-checker : cleanup on mc_checkpoint

- XBT_DEBUG instead of fprintf on stderr or XBT_INFO
- remove useless debug information
- pointer detection for comparison of data region of libsimgrid
- free the memory map

7 years agoPlatform generation : add the exponential topology
Jean-Baptiste Hervé [Mon, 30 Jul 2012 13:01:48 +0000 (15:01 +0200)]
Platform generation : add the exponential topology

7 years agoPlatform generation : add a function to compute distance between two nodes
Jean-Baptiste Hervé [Mon, 30 Jul 2012 12:18:26 +0000 (14:18 +0200)]
Platform generation : add a function to compute distance between two nodes

7 years agoPlatform generation : add the uniform topology
Jean-Baptiste Hervé [Mon, 30 Jul 2012 11:53:11 +0000 (13:53 +0200)]
Platform generation : add the uniform topology

7 years agoPlatform generation : add the clique topology
Jean-Baptiste Hervé [Fri, 27 Jul 2012 10:12:26 +0000 (12:12 +0200)]
Platform generation : add the clique topology

7 years agoPlatform generation : add the "ring" topology
Jean-Baptiste Hervé [Fri, 27 Jul 2012 10:04:39 +0000 (12:04 +0200)]
Platform generation : add the "ring" topology

7 years agoPlatform generation : Add 2 topology setup functions
Jean-Baptiste Hervé [Fri, 27 Jul 2012 09:53:34 +0000 (11:53 +0200)]
Platform generation : Add 2 topology setup functions

Add the "heavy tailed" positionning for the nodes, and the "line" connection between them

7 years agoPlatform generation : Add some debug
Jean-Baptiste Hervé [Fri, 27 Jul 2012 08:27:33 +0000 (10:27 +0200)]
Platform generation : Add some debug

Add a function to get the graph. This is only for debugging purpose, because it is a bad idea to access it directly.
Also add an ID for nodes and edges.

7 years agoPlatform generation : Add a function to interconnect nodes
Jean-Baptiste Hervé [Thu, 26 Jul 2012 14:12:57 +0000 (16:12 +0200)]
Platform generation : Add a function to interconnect nodes

More precisely, add a function to connect all nodes following the "star" algorithm. A function ahs also been added to connect two nodes together.

7 years agoPlatform generation : modify some interface
Jean-Baptiste Hervé [Thu, 26 Jul 2012 12:57:31 +0000 (14:57 +0200)]
Platform generation : modify some interface

7 years agoFirst step to implement a platform generator in Simgrid
Jean-Baptiste Hervé [Thu, 26 Jul 2012 08:14:57 +0000 (10:14 +0200)]
First step to implement a platform generator in Simgrid

This tool may replace Simulacrum when it is finished.
I don't know exactly where to implement that in Simgrid, so if you have any suggestion, feel free to comment :)

7 years agomodel-checker : cleanups for liveness property model checking (remove unused function...
Marion Guthmuller [Tue, 24 Jul 2012 14:02:57 +0000 (16:02 +0200)]
model-checker : cleanups for liveness property model checking (remove unused functions and variables, delete useless comments)

7 years agomodel-checker : new heap comparison algorithm
Marion Guthmuller [Tue, 24 Jul 2012 13:35:10 +0000 (15:35 +0200)]
model-checker : new heap comparison algorithm

7 years agoAdd an include to avoid a compilation warning
Jean-Baptiste Hervé [Tue, 24 Jul 2012 15:17:45 +0000 (17:17 +0200)]
Add an include to avoid a compilation warning

7 years agoAdd some support to bench the sequential and parallel parts of a simulation
Martin Quinson [Sun, 22 Jul 2012 10:17:20 +0000 (12:17 +0200)]
Add some support to bench the sequential and parallel parts of a simulation

This is activated by defining the TIME_BENCH_AMDAHL macro at compile
time (for example by decomenting its definition in smx_private.h).

This is useful to evaluate the maximal possible speedup of a given
simulation by applying the Amdahl Law.

This could be changed into a command line flag at some point, but we
first have to assess the performance impact of playing that much with
the timers (should be limited, but who knows?).

The initial patch was from Jean-Noel Quintin, thanks for that!

7 years agouseless tiny cleanups that should be done all over the place
Martin Quinson [Sun, 22 Jul 2012 09:38:33 +0000 (11:38 +0200)]
useless tiny cleanups that should be done all over the place

7 years agoNew function: xbt_os_timer_resume() to restart a timer w/o resetting it.
Martin Quinson [Sun, 22 Jul 2012 09:33:07 +0000 (11:33 +0200)]
New function: xbt_os_timer_resume() to restart a timer w/o resetting it.

Patch from Jean-Noel Quintin, thanks for that dude.

7 years agodocumenation. Added a link to ref guide in user guide to let people read doc stored...
lbobelin [Thu, 19 Jul 2012 10:58:18 +0000 (12:58 +0200)]
documenation. Added a link to ref guide in user guide to let people read doc stored in log.c to address one of Augustin's comment.

7 years agomaxmin/precision: reflect the real default value, as found in the code
Martin Quinson [Thu, 19 Jul 2012 10:44:13 +0000 (12:44 +0200)]
maxmin/precision: reflect the real default value, as found in the code

7 years agoregenerate the flexer files with a recent flexml, so that there is no undefined behav...
Martin Quinson [Tue, 17 Jul 2012 13:46:38 +0000 (15:46 +0200)]
regenerate the flexer files with a recent flexml, so that there is no undefined behavior concerning the char after terminating nul in strings

7 years agoFix a bug making that the simulation ran longer than expected
Martin Quinson [Tue, 17 Jul 2012 13:44:20 +0000 (15:44 +0200)]
Fix a bug making that the simulation ran longer than expected

If you asked for 3 seconds, and then had a task terminating after 2
seconds, the function simulated for 5 seconds.

Now, the time already spent in the loop in previous rounds is properly
taken into account.

Thanks to Guillaume Serrière for detecting the issue.

7 years agomodel-checker : #ifdef instead of #if (found by Cristian R., thx)
Marion Guthmuller [Mon, 16 Jul 2012 14:19:23 +0000 (16:19 +0200)]
model-checker : #ifdef instead of #if (found by Cristian R., thx)

7 years agomodel-checker : add new pair reached in raw_heap
Marion Guthmuller [Fri, 13 Jul 2012 09:57:31 +0000 (11:57 +0200)]
model-checker : add new pair reached in raw_heap

7 years agomodel-checker : add new pair reached even if compare==0
Marion Guthmuller [Thu, 12 Jul 2012 13:19:16 +0000 (15:19 +0200)]
model-checker : add new pair reached even if compare==0

7 years agothis example is simpler now
suter [Thu, 12 Jul 2012 13:36:09 +0000 (15:36 +0200)]
this example is simpler now

7 years agoDo the same as before to replay traces with SMPI, but one layer lower.
suter [Thu, 12 Jul 2012 13:35:00 +0000 (15:35 +0200)]
Do the same as before to replay traces with SMPI, but one layer lower.
Still imperfect and incomplete though

7 years agoUpdate xml_files in Cmake
navarro [Thu, 12 Jul 2012 12:37:49 +0000 (14:37 +0200)]
Update xml_files in Cmake

7 years agomodel-checker : remove unnecessary memset on free fragments, already done in mmalloc
Marion Guthmuller [Thu, 12 Jul 2012 10:03:42 +0000 (12:03 +0200)]
model-checker : remove unnecessary memset on free fragments, already done in mmalloc

7 years agomodel-checker : comment MC_compare
Marion Guthmuller [Wed, 11 Jul 2012 12:55:31 +0000 (14:55 +0200)]
model-checker : comment MC_compare

7 years agoRemove this output.
navarro [Thu, 12 Jul 2012 09:18:52 +0000 (11:18 +0200)]
Remove this output.

7 years agoUpdate tesh file for cabinet
navarro [Thu, 12 Jul 2012 09:12:18 +0000 (11:12 +0200)]
Update tesh file for cabinet

7 years agoadd a few (totally untested) actions.
suter [Wed, 11 Jul 2012 14:11:42 +0000 (16:11 +0200)]
add a few (totally untested) actions.

7 years agoAdd a tag cabinet to write new kind of cluster. See meta_cluster.xml
navarro [Wed, 11 Jul 2012 13:11:54 +0000 (15:11 +0200)]
Add a tag cabinet to write new kind of cluster. See meta_cluster.xml

7 years agomodel-checker : application alert for state equality detection
Marion Guthmuller [Wed, 11 Jul 2012 12:18:21 +0000 (14:18 +0200)]
model-checker : application alert for state equality detection

7 years agomodel-checker : new recursive function for comparison of block/fragment with pointers
Marion Guthmuller [Tue, 10 Jul 2012 16:39:52 +0000 (18:39 +0200)]
model-checker : new recursive function for comparison of block/fragment with pointers

7 years agomodel-checker : malloc_backtrace_display functions update with new header
Marion Guthmuller [Tue, 10 Jul 2012 14:11:25 +0000 (16:11 +0200)]
model-checker : malloc_backtrace_display functions update with new header

7 years agomodel-checker : heapinfo adresses refer to saved heap instead of current heap
Marion Guthmuller [Tue, 10 Jul 2012 14:08:59 +0000 (16:08 +0200)]
model-checker : heapinfo adresses refer to saved heap instead of current heap

7 years agomodel-checker : remove header of unused function
Marion Guthmuller [Tue, 10 Jul 2012 13:51:35 +0000 (15:51 +0200)]
model-checker : remove header of unused function

7 years agomodel-checker : heapinfo address in parameter of malloc_backtrace_display functions...
Marion Guthmuller [Tue, 10 Jul 2012 13:50:29 +0000 (15:50 +0200)]
model-checker : heapinfo address in parameter of malloc_backtrace_display functions instead of heap address

7 years agomodel-checker : update example bugged1_liveness (variable for each task created and...
Marion Guthmuller [Tue, 10 Jul 2012 13:48:19 +0000 (15:48 +0200)]
model-checker : update example bugged1_liveness (variable for each task created and initialization of pointers)

7 years agomodel-checker : memset 0 on free block/fragment
Marion Guthmuller [Mon, 9 Jul 2012 12:45:37 +0000 (14:45 +0200)]
model-checker : memset 0 on free block/fragment

7 years agomodel-checker : factorization of set_pair_reached and reached functions if search_cyc...
Marion Guthmuller [Mon, 9 Jul 2012 09:36:32 +0000 (11:36 +0200)]
model-checker : factorization of set_pair_reached and reached functions if search_cycle == 1

7 years agomodel-checker : remove useless code
Marion Guthmuller [Mon, 9 Jul 2012 09:19:03 +0000 (11:19 +0200)]
model-checker : remove useless code

7 years agomodel-checker : update backtrace display
Marion Guthmuller [Sat, 7 Jul 2012 20:19:44 +0000 (22:19 +0200)]
model-checker : update backtrace display

7 years agomodel-checker : remove unused function
Marion Guthmuller [Sat, 7 Jul 2012 19:38:02 +0000 (21:38 +0200)]
model-checker : remove unused function

7 years agomodel-checker : remove unnecessary take_snapshot for initial state
Marion Guthmuller [Fri, 6 Jul 2012 13:45:40 +0000 (15:45 +0200)]
model-checker : remove unnecessary take_snapshot for initial state

7 years agomodel-checker : initialize variables
Marion Guthmuller [Fri, 6 Jul 2012 09:07:29 +0000 (11:07 +0200)]
model-checker : initialize variables

7 years agomodel-checker : remove useless code
Marion Guthmuller [Thu, 5 Jul 2012 08:49:53 +0000 (10:49 +0200)]
model-checker : remove useless code

7 years agomention the SD_task_set_rate function
suter [Tue, 10 Jul 2012 08:08:12 +0000 (10:08 +0200)]
mention the SD_task_set_rate function

7 years agofinally understand how the rate works. update the example and the tesh
suter [Tue, 10 Jul 2012 07:45:20 +0000 (09:45 +0200)]
finally understand how the rate works. update the example and the tesh
file accordingly.

7 years agoFinally understand how the rate works. Explain it in the doxygen header.
suter [Tue, 10 Jul 2012 07:41:12 +0000 (09:41 +0200)]
Finally understand how the rate works. Explain it in the doxygen header.
Add an assert to be sure we do that only for point-to-point
communications.

7 years agoFix error: overflow in implicit constant conversion on 32bits arch.
Arnaud Giersch [Mon, 9 Jul 2012 20:06:05 +0000 (22:06 +0200)]
Fix error: overflow in implicit constant conversion on 32bits arch.

7 years agoFix fatal error: simix/simix.h: No such file or directory.
Arnaud Giersch [Mon, 9 Jul 2012 20:00:24 +0000 (22:00 +0200)]
Fix fatal error: simix/simix.h: No such file or directory.

Remove the unneeded include.

7 years agoIncrease required width for times in tesh file.
Arnaud Giersch [Fri, 6 Jul 2012 21:23:42 +0000 (23:23 +0200)]
Increase required width for times in tesh file.

7 years agoFix kademlia example which was broken on 32bits archs.
Arnaud Giersch [Fri, 6 Jul 2012 16:30:51 +0000 (18:30 +0200)]
Fix kademlia example which was broken on 32bits archs.

Changes include:
* reindent and whitespace cleanup
* print ids using hex encoding for mailboxes and logs to avoid buffer overflows
* use type "double" for dates
* use unique ids in kademlia.xml, and make them less than 2^32
* update tesh file

7 years agoAdd a Q&D implementation of trace replay with SMPI. Just to get the
suter [Mon, 9 Jul 2012 12:33:19 +0000 (14:33 +0200)]
Add a Q&D implementation of trace replay with SMPI. Just to get the
flavor of it, some issues have to be solved and code has to be polished
(we don't know, marion might read it ...)

7 years agoAdd what's missing to load traces from SMPI.
suter [Mon, 9 Jul 2012 12:31:25 +0000 (14:31 +0200)]
Add what's missing to load traces from SMPI.

7 years agoAs pointed out by a user, the rate should be expressed in percent, not
suter [Mon, 9 Jul 2012 12:27:17 +0000 (14:27 +0200)]
As pointed out by a user, the rate should be expressed in percent, not
in [0..1[. Thus change the .5 to 50 (divide the communication rate by
two), update the "doc" and revalidate the tesh file

7 years agono need to add "rank" to the rank (will decrease trace size for replay)
suter [Mon, 9 Jul 2012 12:17:27 +0000 (14:17 +0200)]
no need to add "rank" to the rank (will decrease trace size for replay)

7 years agodocument the upcoming change in SMPI
Martin Quinson [Mon, 9 Jul 2012 12:16:37 +0000 (14:16 +0200)]
document the upcoming change in SMPI

7 years agoFix a mistake in the Weibull inverse distribution function
Jean-Baptiste Hervé [Mon, 9 Jul 2012 08:10:30 +0000 (10:10 +0200)]
Fix a mistake in the Weibull inverse distribution function

7 years agoIncrease timeout for test bittorrent.
Arnaud Giersch [Fri, 6 Jul 2012 14:16:07 +0000 (16:16 +0200)]
Increase timeout for test bittorrent.

5s is too short on a slow machine.

7 years agoAdd missing files from examples for dist.
Arnaud Giersch [Thu, 5 Jul 2012 15:47:37 +0000 (17:47 +0200)]
Add missing files from examples for dist.

7 years agoMerge variable BINDINGS_FILES into BINDINGS_SRC.
Arnaud Giersch [Thu, 5 Jul 2012 15:42:55 +0000 (17:42 +0200)]
Merge variable BINDINGS_FILES into BINDINGS_SRC.

7 years agoReorder file lists in lexical order.
Arnaud Giersch [Thu, 5 Jul 2012 15:30:44 +0000 (17:30 +0200)]
Reorder file lists in lexical order.

7 years agoStop trying to resolve real path for cmake directories.
Arnaud Giersch [Thu, 5 Jul 2012 15:00:59 +0000 (17:00 +0200)]
Stop trying to resolve real path for cmake directories.

AFAICT, this piece of code was intended to handle symbolic links in
directories, but it makes more harm than goods, specially with
make dist.

7 years agoKill duplicated code in CMakeLists.txt.
Arnaud Giersch [Thu, 5 Jul 2012 14:56:04 +0000 (16:56 +0200)]
Kill duplicated code in CMakeLists.txt.

7 years agoCopying the file once is sufficient.
Arnaud Giersch [Thu, 5 Jul 2012 09:47:00 +0000 (11:47 +0200)]
Copying the file once is sufficient.

7 years agoCreate needed directories at configure time instead of adding dummy files.
Arnaud Giersch [Wed, 4 Jul 2012 14:28:05 +0000 (16:28 +0200)]
Create needed directories at configure time instead of adding dummy files.

Revert "Stupid commit to get shared/doxygen directory existing in the repo."

This reverts commit d0bcdf8532d5080f0a673f006ce6d4c943815513.

7 years agomemcheck_tests.cmake: update.
Arnaud Giersch [Thu, 5 Jul 2012 15:48:16 +0000 (17:48 +0200)]
memcheck_tests.cmake: update.

7 years agoBreak loop here.
Arnaud Giersch [Thu, 5 Jul 2012 20:31:51 +0000 (22:31 +0200)]
Break loop here.

Commit fcc0e93b60352e0d912f18c32706c1ca717c4896 (More cache cleaning in lmm_solve)
wrongly changed a "break" statement into a "continue".

Fixes infinite loop in tests smpi-reduce.

7 years agoCheck if cnst->cnst_usage is NULL.
Arnaud Giersch [Thu, 5 Jul 2012 20:29:31 +0000 (22:29 +0200)]
Check if cnst->cnst_usage is NULL.

Fixes a segfault in test-maxmin-usage.

7 years agobe more verbose on explaining the expected result of the model-checker
Martin Quinson [Thu, 5 Jul 2012 19:33:19 +0000 (21:33 +0200)]
be more verbose on explaining the expected result of the model-checker

7 years agoMake it clear that MC is supposed to detect a counter-example in chord.
Christophe Thiéry [Thu, 5 Jul 2012 15:14:55 +0000 (17:14 +0200)]
Make it clear that MC is supposed to detect a counter-example in chord.

7 years agoregenerate the parser files with flexml 1.9.3 (thx agier for the patch)
Martin Quinson [Thu, 5 Jul 2012 15:01:25 +0000 (17:01 +0200)]
regenerate the parser files with flexml 1.9.3 (thx agier for the patch)

7 years agofree this dynar in none_finalize (if it was used).
navarro [Thu, 5 Jul 2012 13:37:34 +0000 (15:37 +0200)]
free this dynar in none_finalize (if it was used).

7 years agoUse new tag host_link for peer. No need for router now.
navarro [Thu, 5 Jul 2012 13:21:17 +0000 (15:21 +0200)]
Use new tag host_link for peer. No need for router now.

8 years agotypo on option name
Martin Quinson [Thu, 5 Jul 2012 13:14:11 +0000 (15:14 +0200)]
typo on option name

8 years agoAdd two new tag for routing cluster (only):
navarro [Thu, 5 Jul 2012 12:00:45 +0000 (14:00 +0200)]
Add two new tag for routing cluster (only):
host_link (specify link up and down to a host)
backbone (to make a backbone into an as routing cluster)

8 years agomodel-checker : use rename() instead of system(mv ..)
Marion Guthmuller [Wed, 4 Jul 2012 09:29:20 +0000 (11:29 +0200)]
model-checker : use rename() instead of system(mv ..)

8 years agoAdd kademlia C example
Samuel Lepetit [Wed, 4 Jul 2012 16:58:43 +0000 (18:58 +0200)]
Add kademlia C example

8 years agoUse xbt_dynar_foreach in cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:18 +0000 (16:50 +0200)]
Use xbt_dynar_foreach in cloud example