Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
11 years agoadd an "smpi/async_small_thres" configure option to smpi, to allow to toy with the...
Augustin Degomme [Tue, 7 Aug 2012 15:56:58 +0000 (17:56 +0200)]
add an "smpi/async_small_thres" configure option to smpi, to allow to toy with the threshold used to determine whether a message has to be sent eagerly (without waiting for the receiver) or not. The default value is 0, to deactivate this behavior for now. (note: this is independent from the "detached" state that is for now used for messages < 64*1024 bytes, which should become a new config option also)

11 years agoadd an immediate asynchronous send possibility for messages. This can be set by addin...
Augustin Degomme [Tue, 7 Aug 2012 15:53:48 +0000 (17:53 +0200)]
add an immediate asynchronous send possibility for messages. This can be set by adding a permanent receiver to a mailbox. This will be used by default in smpi (commit to come), and proposed for msg

Conflicts:
src/simix/smx_network.c

11 years agofix a bug causing surf to sometimes loop forever
Augustin Degomme [Tue, 7 Aug 2012 12:08:21 +0000 (14:08 +0200)]
fix a bug causing surf to sometimes loop forever

11 years agoCompletely remove surfxml_callback.
navarro [Tue, 7 Aug 2012 14:32:00 +0000 (16:32 +0200)]
Completely remove surfxml_callback.
Clean the way to create arg for the process.

11 years agoPlatform generation : REALLY check if the graph is connected
Jean-Baptiste Hervé [Tue, 7 Aug 2012 09:44:39 +0000 (11:44 +0200)]
Platform generation : REALLY check if the graph is connected

11 years agoMore cleaning for surfxml callback (property and trace*)
navarro [Mon, 6 Aug 2012 16:28:01 +0000 (18:28 +0200)]
More cleaning for surfxml callback (property and trace*)

11 years agoCleanUp unused xbt_dynar_t from callback
navarro [Mon, 6 Aug 2012 14:35:49 +0000 (16:35 +0200)]
CleanUp unused xbt_dynar_t from callback

11 years agoMore condensed debug...
Jean-Baptiste Hervé [Mon, 6 Aug 2012 16:00:39 +0000 (18:00 +0200)]
More condensed debug...

11 years agoEvent generator: Correct a mistake and add tiny debug
Jean-Baptiste Hervé [Mon, 6 Aug 2012 15:32:08 +0000 (17:32 +0200)]
Event generator: Correct a mistake and add tiny debug

11 years agoAdd function sg_platf_new_* for *route and bypass*route.
navarro [Mon, 6 Aug 2012 09:38:35 +0000 (11:38 +0200)]
Add function sg_platf_new_* for *route and bypass*route.

11 years agoPlatform generation : Add a function to remove links in the graph
Jean-Baptiste Hervé [Mon, 6 Aug 2012 09:23:00 +0000 (11:23 +0200)]
Platform generation : Add a function to remove links in the graph

11 years agoPlatform generation : add a function to check if the graph is connected
Jean-Baptiste Hervé [Mon, 6 Aug 2012 07:33:08 +0000 (09:33 +0200)]
Platform generation : add a function to check if the graph is connected

11 years agoand now, get the execution sampling macros work also when the user gives a maximal...
Martin Quinson [Sat, 4 Aug 2012 15:41:13 +0000 (17:41 +0200)]
and now, get the execution sampling macros work also when the user gives a maximal stderr AND a minimal execution count (hopefully)

11 years agodafuk? don't mix seconds and flops!
Martin Quinson [Sat, 4 Aug 2012 15:15:42 +0000 (17:15 +0200)]
dafuk? don't mix seconds and flops!

SMPI_SAMPLE_DELAY parameter were an amount of flops. Consider it as a
  delay instead.
Introduce SMPI_SAMPLE_FLOPS to report an amount of flops into the
  simulo (and use it in the replay part of SMPI)

11 years agorewrite the MPI execution sampling facility (previous implem was deeply bugged)
Martin Quinson [Sat, 4 Aug 2012 15:00:46 +0000 (17:00 +0200)]
rewrite the MPI execution sampling facility (previous implem was deeply bugged)

11 years agorewrite this example to betterly demo SMPI_SAMPLE_LOCAL and SMPI_SAMPLE_GLOBAL
Martin Quinson [Sat, 4 Aug 2012 14:58:27 +0000 (16:58 +0200)]
rewrite this example to betterly demo SMPI_SAMPLE_LOCAL and SMPI_SAMPLE_GLOBAL

11 years agostop being protective against things we cannot deal with. Let the segfault happen
Martin Quinson [Sat, 4 Aug 2012 13:04:45 +0000 (15:04 +0200)]
stop being protective against things we cannot deal with. Let the segfault happen

11 years agovariable renaming to try to understand this code
Martin Quinson [Sat, 4 Aug 2012 08:22:09 +0000 (10:22 +0200)]
variable renaming to try to understand this code

11 years agomake an error message marginally more understandable to the users
Martin Quinson [Sat, 4 Aug 2012 08:12:23 +0000 (10:12 +0200)]
make an error message marginally more understandable to the users

11 years agoUse the function sg_platf_new_linkctn when parsing platform
navarro [Fri, 3 Aug 2012 14:44:09 +0000 (16:44 +0200)]
Use the function sg_platf_new_linkctn when parsing platform

11 years agoPlatform generation: Cluster generation should work
Jean-Baptiste Hervé [Fri, 3 Aug 2012 14:28:14 +0000 (16:28 +0200)]
Platform generation: Cluster generation should work

11 years agoCheck if string is NULL before a strcmp
Jean-Baptiste Hervé [Fri, 3 Aug 2012 14:25:40 +0000 (16:25 +0200)]
Check if string is NULL before a strcmp

11 years agoFirst platform step for tag random
navarro [Fri, 3 Aug 2012 13:58:15 +0000 (15:58 +0200)]
First platform step for tag random

11 years agoPlatform generation can now be used with MSG
Jean-Baptiste Hervé [Fri, 3 Aug 2012 12:00:49 +0000 (14:00 +0200)]
Platform generation can now be used with MSG

Some stuff had to be done by SIMIX and MSG right after the XML platform parsing. It is now done by callbacks, registered in SURF at initialization. So that stuff is also done when you create a random platform with the generator.
Add some ugly code to avoid the deletion of these registered callbacks before the parsing.

11 years agoRevert "[trace] something might have failed during process creation, reflect that...
Martin Quinson [Thu, 2 Aug 2012 23:03:17 +0000 (01:03 +0200)]
Revert "[trace] something might have failed during process creation, reflect that in traces"

This reverts commit 75d4e75aa8b07c422a88923449e5aa635912a8a5.

Rational: I see the motivation to add this call here, but it breaks 6
tests here. I hope that LucasS will fix it properly when possible.

11 years agomore verbose error messages
Martin Quinson [Thu, 2 Aug 2012 23:00:45 +0000 (01:00 +0200)]
more verbose error messages

11 years agocleanups
Martin Quinson [Thu, 2 Aug 2012 22:59:40 +0000 (00:59 +0200)]
cleanups

- Add some newly create test files
- somehow sort the content of the file alphabetically within sections

11 years agouseless cosmetic in this code that is full of surprises
Martin Quinson [Thu, 2 Aug 2012 22:01:43 +0000 (00:01 +0200)]
useless cosmetic in this code that is full of surprises

11 years agotypo--
Martin Quinson [Thu, 2 Aug 2012 21:59:27 +0000 (23:59 +0200)]
typo--

11 years agoexpend an example to explain what the prefix, suffix and radical arguments are in...
Martin Quinson [Thu, 2 Aug 2012 18:14:24 +0000 (20:14 +0200)]
expend an example to explain what the prefix, suffix and radical arguments are in cluster tag

11 years agoPlatform generation: add the function to put into Surf the generated platform
Jean-Baptiste Hervé [Thu, 2 Aug 2012 16:00:51 +0000 (18:00 +0200)]
Platform generation: add the function to put into Surf the generated platform

It is partially implemented, for the moment...

11 years agoCheck if "coord" is not null before do strcmp
Jean-Baptiste Hervé [Thu, 2 Aug 2012 15:59:24 +0000 (17:59 +0200)]
Check if "coord" is not null before do strcmp

11 years agoOups, mistake in router cluster name.
lbobelin [Thu, 2 Aug 2012 13:32:46 +0000 (15:32 +0200)]
Oups, mistake in router cluster name.

11 years agomodel-checker : add block and fragment number in mc_ignore_region
Marion Guthmuller [Thu, 2 Aug 2012 09:29:55 +0000 (11:29 +0200)]
model-checker : add block and fragment number in mc_ignore_region

11 years agomodel-checker : count ignore done in heap comparison algorithm
Marion Guthmuller [Wed, 1 Aug 2012 20:53:40 +0000 (22:53 +0200)]
model-checker : count ignore done in heap comparison algorithm

11 years agomodel-checker : sort ignore list and dichotomic search
Marion Guthmuller [Wed, 1 Aug 2012 20:42:47 +0000 (22:42 +0200)]
model-checker : sort ignore list and dichotomic search

11 years agomodel-checker : ignore stack_top of maestro context for heap comparison
Marion Guthmuller [Wed, 1 Aug 2012 13:49:04 +0000 (15:49 +0200)]
model-checker : ignore stack_top of maestro context for heap comparison

11 years agomodel-checker : init list of irrelevant differences in simix instead of msg
Marion Guthmuller [Wed, 1 Aug 2012 13:48:04 +0000 (15:48 +0200)]
model-checker : init list of irrelevant differences in simix instead of msg

11 years agomodel-checker : forget case of comparison in heap comparison algorithm
Marion Guthmuller [Wed, 1 Aug 2012 08:49:46 +0000 (10:49 +0200)]
model-checker : forget case of comparison in heap comparison algorithm

11 years agomodel-checker : ignore irrelevant differences for heap comparison algorithm
Marion Guthmuller [Wed, 1 Aug 2012 08:48:53 +0000 (10:48 +0200)]
model-checker : ignore irrelevant differences for heap comparison algorithm

11 years agomodel-checker : remove unused function
Marion Guthmuller [Tue, 31 Jul 2012 12:49:13 +0000 (14:49 +0200)]
model-checker : remove unused function

11 years agoPlatform generation : add the edge length in its data
Jean-Baptiste Hervé [Wed, 1 Aug 2012 12:24:06 +0000 (14:24 +0200)]
Platform generation : add the edge length in its data

It could be useful for labelling, for example...

11 years agoPlatform generation : Add the Waxman topology algorithm
Jean-Baptiste Hervé [Wed, 1 Aug 2012 12:16:06 +0000 (14:16 +0200)]
Platform generation : Add the Waxman topology algorithm

With this commit, all the topology algorithm found in Simulacrum are implemented.

11 years agoPlatform generation : make public structures for node and edge data
Jean-Baptiste Hervé [Wed, 1 Aug 2012 09:28:39 +0000 (11:28 +0200)]
Platform generation : make public structures for node and edge data

11 years agoPlatform generation : add the Zegura algorithm topology
Jean-Baptiste Hervé [Wed, 1 Aug 2012 09:17:08 +0000 (11:17 +0200)]
Platform generation : add the Zegura algorithm topology

11 years agoPlatform generation : add the Barabasi-Albert algorithm to build the graph
Jean-Baptiste Hervé [Wed, 1 Aug 2012 09:02:20 +0000 (11:02 +0200)]
Platform generation : add the Barabasi-Albert algorithm to build the graph

11 years ago[trace] something might have failed during process creation, reflect that in traces
schnorr [Tue, 31 Jul 2012 21:39:04 +0000 (23:39 +0200)]
[trace] something might have failed during process creation, reflect that in traces

details:
- this is especially useful when using availability traces and processes
are launched on failed hosts

11 years ago[trace] factorize more
schnorr [Tue, 31 Jul 2012 21:38:11 +0000 (23:38 +0200)]
[trace] factorize more

11 years ago[trace] factorize code, use TRACE_msg_process_destroy when appropriate
schnorr [Tue, 31 Jul 2012 21:37:56 +0000 (23:37 +0200)]
[trace] factorize code, use TRACE_msg_process_destroy when appropriate

11 years ago[trace] add function to destroy process container
schnorr [Tue, 31 Jul 2012 21:36:52 +0000 (23:36 +0200)]
[trace] add function to destroy process container

11 years agocosmetics
schnorr [Tue, 31 Jul 2012 21:15:45 +0000 (23:15 +0200)]
cosmetics

11 years ago[trace] only update power and bandwidth if trace subsystem is configured to trace...
schnorr [Tue, 31 Jul 2012 21:08:09 +0000 (23:08 +0200)]
[trace] only update power and bandwidth if trace subsystem is configured to trace them

11 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

11 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

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

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

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

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

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

11 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

11 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

11 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

11 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

11 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

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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

11 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

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

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

11 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

11 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 :)

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

11 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

11 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

11 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!

11 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

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

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

11 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

11 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

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

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

11 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

11 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

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

11 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

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

11 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

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

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