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

document what I've done, and note that a written item is not finished yet

Lua chord: simplify the code by reusing tasks since it now works

Add a test for Chord in Lua

MSG_task_dsend: don't apply a default function if cleanup is NULL

NULL now means that no cleanup function will be called by SIMIX.
This is useful if the task is garbage collected (as in Lua).

Lua: close the Lua world of a process being destroyed

Also make sure MSG_clean is called only once (by maestro).

Fix a compilation error

Lua: forgot the timeout argument of simgrid.comm.send

Change the prototype of copy data callbacks to add the source buffer

MSG_comm_destroy should not assume that the task still exists

task->isused is reset when a comm finishes.
It's just MSG_comm_waitany who forgot to do it.

Merge branch 'MC_LTL'

model-checker : new function MC_diff to display all informations about a system state

model-checker : break forgotten in switch

Merge branch 'MC_LTL'

Package of simgrid.dll

Declare functions XBT_PUBLIC to export them.

Add more debug messages and add flag _I_X86 on windows platform

The function is not implemented so put a THROW_UNIMPLEMENTED

Add a dll for simgrid and protect DLL_EXPORT and DLL_IMPORT from multiple definition

Lua: only keep tracks of tables coming from maestro

Fix a variable name

Split simgrid_lua.c in one source file per module

model-checker : add informations when log debug enabled

Add binaries and various files to .gitignore

Add comments to the Lua task copy callback

MSG: register a SIMIX copy data callback only if necessary

model-checker : prototypes of static functions moved

model-checker : prototypes of unused functions removed

model-checker : %zu instead of %Zu in printf

merge conflicts resolved

model-checker : more informations if log enabled for mc_liveness

model-checker : add example centralized_liveness in CMakeLists.txt

model-checker : new example for liveness properties

Lua: copy the Lua task right after the C task using an MSG callback

Copying the task when the receiver wakes up was too late since the
sender process might already be freed.

MSG: add a function to register a task copy callback

Remove declaration of unexisting functions

The timings of these tests have changed since crosstraffic is enabled

Download doc with wget on windows and add a target for nsis.

Add missing headers to simgrid install for windows

New logo for installer.

return 0 instead of die.

On windows pthread_atfork is not implemented

Make Hello World example works with mingw

Update nsis script.
Update version of pcre lib.

Don't compile those examples on Win

Update README from HelloWorld.
Replace gmake by mingw32-make

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