Little mistake in MSG_task_set_name javadoc

A priori, no need to propagate modifications when the variable has no impact on the constraint.

Revisit lazy_remaining_update that was completely broken.
Unfortunately, this requires to save the previous variable value
since we know when an action requires a remaining_update only
after having thrashed the variable value with lmm_solve. Hence,
function call order is completely changed but now, we only
update needed variables whereas before almost all variables got
updated everytime.

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

Bugfix in masterslave_arg

Revalidate output after my recent modifications in simix

The execution order of process at a given timestep may have changed but
if your code really depends on this, this means it was already producing
bogus results.

Make the suspend/resume work while a process is in a syscall.

Use this variable so that gcc does not warn anymore.

add SIMIX_host_get/set_data declaration in simix.h and include simix.h in msg_host.c (compilation warnings)

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

model-checker : new comparison of region (program data and libsimgrid data)

[trace] always set initial value for variables, if not, we get an invalid trace file

This file does not exist.

Stop using SMX host->data to store MSG host

- that's useless since we have the lib to retrieve the MSG_host data
  directly
- it would break java bindings since it stores java object in there

Pretty fucking bug, I've lost my day on this one.

I forgot to update my tree before commiting (once again), and got conflicts as punishment

removing the channels would really make the structures simpler

Remove the public field msg_host_t->name. Use MSG_host_get_name()

simplify msg_host_t by inlining the simdata field

save one pointer per MSG host

Merge all public simix headers, and distribute them in simgrid directory

Actually, I think I never understood why we have a separate
datatypes.h header: what's the harm of declaring the functions too?

I kinda prefer one directory with all files instead of 12 directories
with 2 files each.

Enhance the communication filtering mechanism

* Add an extra argument to the filter: a smx_action_t describing the
  other side's communication. That's useful to write filters on other
  side's identity
* Ensure that if no comm matches the filters, the filter function gets
  saved in the comm object that gets created and stored in rdv point.
  Later on, when someone else tries to make a match, use that stored
  function to ensure that the stored filter accepts to match the new
  commer.

Thanks to Sorina Camarasu for exploring all this.

model-checker : remove meta-data of heap in comparison algorithm

Workaround problem with excess precision on i387 FPU.

See http://gcc.gnu.org/PR323.

Use existing xbt_swag_reset().

Ajout de tests pour kill et start time

Update tesh for kill start time.

Rewrite the kill_time mecanism.

Revert "got a "might be clobbered by ‘longjmp’ or ‘vfork’" error when compiled"

This reverts commit 34b3794d5a8de6a9258a6144f67de4fc38c960f1.

AFAICT, this is not needed after commit 1128245fc5ccac68ce1f696aab780e15ff9f735a.

Useless free, and other cosmetics.

Dynar is already free'd by xbt_dynar_merge.
The FIXME looks obsolete.

Pass 'res->link_list' and 'lat' directly to routing_get_route_and_latency().

Put links in right order in tesh file.

Make floyd_get_route_and_latency cleaner, and hopefully right.

Stack the links before processing them, and avoid costly dynar_unshift/
dynar_insert_at.

Cosmetics: a switch..case is clearer here.

Rework xbt_dynar_three_way_partition.

* use existing _xbt_dynar_elm() to retrieve elements;
* swap elements only when needed.

Cosmetics: misleading indentation.

Reinitialize waiting_action at proper place.

Empty argument is allowed for XBT_IN().

Use XBT_OUT/XBT_HERE with user defined format.

Allow user defined format for XBT_IN() and XBT_HERE() too.

memcheck_tests: regenerate.

got a "might be clobbered by ‘longjmp’ or ‘vfork’" error when compiled
with supernovae
add a volatile as midjy taught me.

global_routing doesn't exist anymore. If I'm correct, it's
routing_platf now

remove unused variable that raises warning (when treated as error ...)

Add a specific test for arguments start_time and kill_time of process tag.

Tesh update.

The previous commit has added a few more simcals and the process now
gets killed before getting a chance to execute a task. Both behavior are
valid so let's take this one.

Process that suspend themselves now create the corresponding surf action

A process that suspends himself did not create any surf action. When
processing the simcall, the maestro only set the process as suspended
and did not answer the simcall. Likewise a resume would simply wake up
the process.  A problem with this is that if the corresponding host ever
went down, the suspended process would never have realized.

For the moment, just die whenever a process is suspended and it is not
waiting on an action that can be be suspended. The consequence is that
there is no reason to wake up a process that did not have any waiting
action.  Again, DIE if this ever happens for the moment.

Let's not assume that an unsigned long int always behave as a char *...

When it comes to such pointer arithmetic, char * is the way to go.
Plus plug a dumb memleak.

Sorry about the previous commit that did not work with full compilation flags.

This function has no reason to go public.

Sorry about the previous buggy commit that did not worked with full warning flags.

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

Fix liblua location on some linux distributions, like Archlinux.

Fixed some compilation issues (warnings) in last commits

Hide pretty nasty issue.

In this example, a process is killed right at the same time as it starts
executing somthing. It creates the surf action but is killed before it
gets the opportunity to wait on it. Consequently, the kill does not clean
up the surf action (so technically, the corresponding resources are still
wasted).

This could be "solved" by doing the kill before the simcall that created
the surf action. But more generally, it raises the issue of all the
data that have been allocated during the MSG_task_execute. There is
something really annoying with the kill. The current MSG implementation
is clearly not protected against kills. In case of kill, when doing a
simcall, we should throw an exception and TRY CATCH everywhere. We're far
from this for now so I leave it for another time.

Cosmetics.

Minor tracing/debug output improvement.

Do not try to resume a dying process. The corresponding surf structure
would already have been freed, and this would result in a mess. That's
also why we make sure that resume simcalls occurs before kill simcalls
in SIMIX_run.

Ensure that the same process never appears twice in the list of process_to_run.

Otherwise, it would be awaken twice. The first time, it would execute then
wait on the completion of a new simcall. The second time it would appear
to return from the new simcall but the simcall would not have been
executed.

Since resume and kill are particular functions/simcalls that change
the behavior of other process, it is ok if the process was already in the
process_to_run list (although it must not appear twice). For other simcalls,
I think it is invalid if two simcalls lead the scheduling of the same
process.

Make sure that kill simcalls are processed (with SIMIX_simcall_pre) at the end, right after resume simcalls, which are also done after any other type of simcall.

Add a convenient dynar function to sort the dynar using the Dutch national flag technique.

Fix a very old typo...

Lame attempt to make cleanup and kill coexist

On a timeout we do not wait anymore on a task.

-> Avoid keeping a pointer to an invalid object.

This should indeed be useless so let's remove it.

This commit partially reverts commit 4e0c8570051df3f7114e0097bf888a99946b6138.

Such a lazy resume seem to clash with the use of synchronization
structures. The problem is well illustrated with simgrid-boinc.
Surprisingly, simgrid/valgrind go completely crazy and segfaults in
stuff like pthread_getspecific.

[trace] let user code declare/set/push/pop states for hosts

details:
- useful for gantt-based views

Add tesh for storag.

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

add a link to the scientific tutorial in the 101 section of the documentatino

Fix printf format strings.

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

rewrite the documentation of MSG_task_get_from_host to reflect the fact that it is not implemented anymore

add a word on the logo licensing: CC-BY-SA-3.0

Add full references for the articles.

model-checker : get pointer address for bytes detected as different in heap comparison algorithm

model-checker : change XBT_DEBUG for fprintf

model-checker : reindent, no change

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

model-checker : separate bugged1_liveness (deleted)  example in two cases : finite CS requests (bugged1_for_liveness) and infinite CS requests (bugged1_while_liveness)

Avoid double free()s.

Consolidate loops.  Also remove useless initializations.

Break recursion a bit earlier.

Compute the expected LCS length, and use it to stop as soon as the LCS
is complete.

Add a --verbose option for testall.

Fix parsing of options for testall.

Options such as --helpless or --dumpfoobar were wrongly treated as synonyms
for --help or --dump.

Use pointer arithmetic for accessing to dynar elements.

It is more efficient than the xbt_dynar_get_* functions.
Assumes that dynar's contents is contiguous.

Use a smarter algorithm for xbt_str_diff.

The previous one had a time and space complexity of O(n.m), with n and m
being the length of the inputs, and reached the memory limits pretty fast.

Implement the algorithm described in "An O(NP) Sequence Comparison Algorithm",
by Sun Wu, Udi Manber, Gene Myers, and Webb Miller (Information Processing
Letters 35(6):317-323, 1990), with the linear-space divide-and-conquer
strategy described in "An O(ND) Difference Algorithm and Its Variations",
by Eugene W. Myers (Algorithmica 1:251-266, 1986).

Respect the coding style

Remove tabs

Fix documentation navbar and page for tour dynar.

Fix ns3 and gtnets compilation

Need those files to make dist

Remove old files and add new files.

Fix jedule compilation

Fix compilation error with gcc4.4
error: redefinition of typedef 'surf_stat_t'

[routing] rename routing_global_t -> routing_platf_t (and friends)

One day maybe, this could be usefull to enable the declaration (and
simulation) of several platform within one simgrid run. But for now, I
mainly want to make the sg/platf interface less context sensitive and
more usual by expressing directly the AS to which elements are added.

[routing] kill supurious checks, and reformulate error messages

[routing] clarify why we rely on such a dirty hack

[route parsing] make surf_network_resource_by_name public under name sg_routing_edge_by_name_or_null

* This function existed already, but were almost never used, its
  content being inlined in ways too much location.
* Use that function were relevant. That's much cleaner this way.
* Making it public is one step further to the C interface for routing
  creation interface (drop in to XML)

[route parsing] rename network_element_t into sg_routing_edge_t

Also, make this type visible from simgrid/platf.h since we need to
manipulate it to create routes efficiently

ignorable reindent

[route parsing] kill global_routing->size_of_link

- Actually, all links we use are pointers to structure (how
  surprising). This strange thing survived until now because the
  constant model declared to have a size of links being the size of a
  double. But actually, since there is no link in constant routing, we
  could use 0 as size of links in that case.
- Also introduce a sg_routing_link_t that is simply an alias to void*
  for now. It is intended to represent what is stored into link_lib at
  the surf level (that is the core-most link concept)

[route parsing] greatly streamline the generic_new_extended_route function