Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Platform generation: generate routes

Platform generation: record the router id given while generation

Various hacks to unbench the logging to disk when run in SMPI

- First use of weak symbols aliases in our source tree :-/
  I hope it won't induce portability issues
- Only very partially tested, sorry.
  Read: it compiles, that's all I know

add getter/setter functions in simix to access more cleanly the process associated to the mailbox for permanent receive mode

Platform generation: Make link labeling work

Also check if the link is labeled when the callbacks have been called.

add missing includes

Platform generation: add some documentation

Trace generation: add some documentation

Factorize route ASroute bypassRoute and bypassASroute from sg_platf.
Replace char* gw_src/dst for edge.

First example for bypass platform wit sg_platf_new* functions.

Add a MSG_mailbox_set_async function to allow to set a mailbox to eagerly receive messages (the message is sent without waiting for the receive)

Remove link_list from surf_routing.c and add it into the structure of *route and *bypassRoute

model-checker : MC_ignore_init in MSG for ucontext

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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)

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

Remove unused structure and function

fix a bug causing surf to sometimes loop forever

Completely remove surfxml_callback.
Clean the way to create arg for the process.

Platform generation : REALLY check if the graph is connected

More cleaning for surfxml callback (property and trace*)

CleanUp unused xbt_dynar_t from callback

More condensed debug...

Event generator: Correct a mistake and add tiny debug

Add function sg_platf_new_* for *route and bypass*route.

Platform generation : Add a function to remove links in the graph

Platform generation : add a function to check if the graph is connected

and now, get the execution sampling macros work also when the user gives a maximal stderr AND a minimal execution count (hopefully)

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)

rewrite the MPI execution sampling facility (previous implem was deeply bugged)

rewrite this example to betterly demo SMPI_SAMPLE_LOCAL and SMPI_SAMPLE_GLOBAL

stop being protective against things we cannot deal with. Let the segfault happen

variable renaming to try to understand this code

make an error message marginally more understandable to the users

Use the function sg_platf_new_linkctn when parsing platform

Platform generation: Cluster generation should work

Check if string is NULL before a strcmp

First platform step for tag random

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.

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.

more verbose error messages

cleanups

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

useless cosmetic in this code that is full of surprises

typo--

expend an example to explain what the prefix, suffix and radical arguments are in cluster tag

Platform generation: add the function to put into Surf the generated platform

It is partially implemented, for the moment...

Check if "coord" is not null before do strcmp

Oups, mistake in router cluster name.

model-checker : add block and fragment number in mc_ignore_region

model-checker : count ignore done in heap comparison algorithm

model-checker : sort ignore list and dichotomic search

model-checker : ignore stack_top of maestro context for heap comparison

model-checker : init list of irrelevant differences in simix instead of msg

model-checker : forget case of comparison in heap comparison algorithm

model-checker : ignore irrelevant differences for heap comparison algorithm

model-checker : remove unused function

Platform generation : add the edge length in its data

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

Platform generation : Add the Waxman topology algorithm

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

Platform generation : make public structures for node and edge data

Platform generation : add the Zegura algorithm topology

Platform generation : add the Barabasi-Albert algorithm to build the graph

[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

[trace] factorize more

[trace] factorize code, use TRACE_msg_process_destroy when appropriate

[trace] add function to destroy process container

cosmetics

[trace] only update power and bandwidth if trace subsystem is configured to trace them

[trace] it seems there are no availability traces for latency, no need for this function then

[trace] make sure variable is zeroed before writing on it

Update tesh for io.

Add function to unlink a file.
Add an example for unlink.

Fix memory leak

During the storage open, create the file if not exist.

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.

platform generation : modify some interfaces

Platform generation : add a function to set link parameters

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Platform generation : add promotion functions

model-checker : add debug information about pointers in libsimgrid and remove useless fprintf in get_plt_section

model-checker : free memory

model-checker : use bprintf instead of sprintf

model-checker : ignore differences of pointers in .plt section in libsimgrid region comparison

model-checker : cleanup for heap comparison

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

model-checker : update tests for snapshot comparison

model-checker : remove core dump for each reached pair

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

Platform generation : add the exponential topology

Platform generation : add a function to compute distance between two nodes

Platform generation : add the uniform topology

Platform generation : add the clique topology

Platform generation : add the "ring" topology

Platform generation : Add 2 topology setup functions

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

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.

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.

Platform generation : modify some interface

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

model-checker : cleanups for liveness property model checking (remove unused functions and variables, delete useless comments)

model-checker : new heap comparison algorithm

Add an include to avoid a compilation warning