Update doc for MinGW

sleep doesn't exist on windows.

Cosmetics and replace some deprecated function 'exec_program' for 'execute_process'.
Remove unused part for windows.

Make Simgrid compile with MinGW and gcc4.6
Need new flags.
For now on gcc 64bits it fails so we must use gcc 32bits on 64platforms.

Remove unused part.

Only use MinGW compilator

Make those programs succed on windows.

Fix other "missing prototype" errors.

model-checker : bugged2_liveness with promela of LTL properties checked

Fix test, and remove duplicated checks.

Fix error: passing argument 7 of ‘SIMIX_req_comm_isend’ from incompatible pointer type.

Note: casting non-compatible pointers to functions results in undefined behavior.

Fix error: passing argument 3 of ‘xbt_dict_set’ discards ‘const’ qualifier from pointer target type.

Fix compilation errors about "enumeration value not handled in switch".

Add missing declaration.

model-checker : new LTL property for bugged2_liveness example

Fix format.

Don't use printf modifier %Z.  Use %z instead.

model-checker : add comments for the example bugged2_liveness

model-checker : new examples for verification of liveness properties

give the localisation of parse errors more accurately

Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

make sure that we won't survive a parser error in the deployment file

make it compile with -Werror by forcing a type casting

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

improve doc of multicore in FAQ

Remove test masterslave-cpu_ti-no-crosstraffic because it is close to simple masterslave

Update option page: Write that crosstraffic is enable by default.

Add the faq to documentation because it is under version control

Rename old tesh with no-crosstraffic and new like old name because crosstraffic is enable by default.

cosmetics in the ChangeLog

[trace] valgrind's memcheck to wipe out memory leaks from the tracing system

and some simplifications in tracing resource utilization

Fix the order of contraints changed by previous commits:

7591b36 Reduce the number of calls to lmm_update_modified_set.
c44aefe In lmm_update_modified_set, don't visit variables twice.

In lmm_update_modified_set, don't visit variables twice.

Note: the constraints may be ordered differently in
modified_constraint_set, and the timings may vary a bit.
If it is really important, the following patch fixes that:

--- a/src/surf/maxmin.c
+++ b/src/surf/maxmin.c
@@ -790,10 +790,8 @@ static void lmm_update_modified_set_rec(lmm_system_t sys,
     lmm_variable_t var = elem->variable;
     s_lmm_element_t *cnsts = var->cnsts;
     int i;
-    if (var->visited == sys->visited_counter)
-      continue;
-    var->visited = sys->visited_counter;
-    for (i = 0; i < var->cnsts_number; i++) {
+    for (i = 0; var->visited != sys->visited_counter
+                && i < var->cnsts_number ; i++) {
       if (cnsts[i].constraint != cnst
           && !xbt_swag_belongs(cnsts[i].constraint,
                                &sys->modified_constraint_set)) {
@@ -801,6 +799,7 @@ static void lmm_update_modified_set_rec(lmm_system_t sys,
         lmm_update_modified_set_rec(sys, cnsts[i].constraint);
       }
     }
+    var->visited = sys->visited_counter;
   }
 }

Try hard to optimize lmm_update_modified_set.

* move tests for final case before calling the recursive function
* try to help the compiler inliner/optimizer by putting accesses to
  modified_constraint_set together

The variable-constraint graph is already traversed, and there is no
need to call lmm_update_modified_set for each constraint of a variable.

Note: the fix in lmm_update_variable_weight may change the order of the
elements in modified_constraint_set, and some timings may slightly vary.
If it is really important, the following patch fixes that:

--- a/src/surf/maxmin.c
+++ b/src/surf/maxmin.c
@@ -716,13 +716,13 @@ void lmm_update_variable_weight(lmm_system_t sys, lmm_variable_t var,
       xbt_swag_insert_at_head(elem, &(elem->constraint->element_set));
     else
       xbt_swag_insert_at_tail(elem, &(elem->constraint->element_set));
+
+    if (i == 0)
+      lmm_update_modified_set(sys, elem->constraint);
   }
   if (!weight)
     var->value = 0.0;

-  if (var->cnsts_number)
-    lmm_update_modified_set(sys, var->cnsts[0].constraint);
-
   XBT_OUT();
 }

Ensure that all constraints are put in modified_constraint_set on lmm_expand.

Without this change, if cnst was previously marked as modified, the constraints
involving var were not considered.

Remove constraint from modified_constraint_set, when made inactive.

Rewrite script for update tesh file.

Keep iwannadie set instead of lying to the context factory

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

SIMIX: when a process is killed, remove its blocking comm from the list

MSG: don't keep pointers to a structure freed

Add some tests for crosstraffic = 1.
Set crosstraffic = 1 with default workstation model.
Update tesh.

Merge branch 'smpi'

clean_fun is the function that frees the userdata of a detached send

SMPI: don't finish immediately a dsend comm.

Otherwise, the receiver would make invalid memory reads while matching
the comm. I'm not sure when the request can be freed, so for now,
dsends make a memory leaks. But smpi-reduce now works.

SMPI: before terminating a process, wait for its asynchronous comms

When a process leaves, no one should ever finish a communication with it

Its unstarted comms must never get matched in the future and its
started comms must be canceled, no matter if they are detached.

Export SIMIX_rdv_remove and fix debug messages

-0.000000 is lower than 0.0. True story.

model-checker : warnings fixed

Sorry, for this stupid error

Use xbt_config mechanism instead of hard coding value.

Use of busy wait instead of futex if there is not futex.h

Add a ifdef HAVE_FUTEX_H to compile on Mac

Add a Chord test with the constant network model

this configuration option does not exist anymore (and it was useless: the AS routing mode always superseeds it)

Fix supernovae compilation

cleanup the debug messages

more verbose debug messages

When the process exits, don't cancel the communications it is involved into if it's the sender of detached sends

use sensible process names (their rank) in SMPI, and get simix ignore that

Further investigate the dsend issue, in vain so far

- Ensure that it still compiles after the messed up merge (sorry)
- Add a simple dsend example
- Stop using the src_data to store the cleanup function since that
  field may be clear in MSG, but we store the MPI_status in there. So,
  add a cleanup_fun field down in the stacks so that both the cleanup
  function and the MPI_status can be stored
- Make that shit much more verbose (some messages should be removed
  once the bug is found, sorry for sharing my half backed changes)

merge back the master trunk into the smpi branch

[doc] basic tracing options (and a link to the full doc) added

[doc] colors are defined through the tracing API and registered in the traces

[doc] update the graph visualization screenshot to reflect current state of Triva

[trace] tracing needs a Full network/optim, otherwise it won't work for network

Todo:
- find a way to trace the lazy network update method

bug fix, tracing mechanism relies on a correct set_category function

typo

[doc] updating the graph configuration documentation

[doc] fix on tracing parameter documentation

[doc] triva is using git

[doc] tracing documentation was duplicated, fix it

[trace] better source code comments for configuration options

[doc] documentation for three tracing options

[doc] users can also declare variable with colors for the trace

[doc] explain how to use TRACE_declare_mark and TRACE_mark

send test program

more verbose debug around detached sends

dupplicate the sender buffer in eager mode, when isends are changed into dsends (and free it once copied in position)

fix some glitches in documentation generation

placeholder for the configuration items related to the tracing subsystem

document SMPI configuration items

cosmetics in documentation

document the configuration items related to packet level simulators

document simix-related config options

kill the deprecated now unused config variable 'routing'

fix a test broken by homogeneisation of dicts

fix the tests that my cleanups in the config variable broke

revalidate two gras tests which timings changed

Timings are not assessed in GRAS tests because these tests are too
complex to understand discrepencies, and the timings are already well
tested elsewere.

kill deprecated file for windows's tesh

document generic configuration variables (and fix MC one)

Rename the coordinates configuration option to network/coordinates, and document it

document all network-related config options

Rename the TCP_gamma configuration option to network/TCP_gamma, and document it

kill the deprecated CLM03 workstation model

also display the existing optimizations on --help-models

rewrite the doc on configuring simgrid

properly kill deprecated option that were recently added