model-checker : fix compilation error

merge conflict resolved

model-checker : new function (rdv_points_compare) to compare rdv_points between two execution states

model-checker : more debug information

model-checker : add address of std_heap into debug informations for comparison of heap

model-checker : get rdv_points in simix for comparison between two execution states

model-checker : more debug informations in function mmalloc_compare_mdesc

document last changes

auto-set the amount of threads when the requested amount is negative

really kill that file

Revert "Put PROCESSOR_COUNT in gras_config.h"

We need the runtime amount of cores, not the compile-time one.

This reverts commit 4ca11874986e1a694eb4183f8656ccac844cf3ce.

Revert "Add a script to detect the number of core."

There is no use of detecting the amount of cores at compile time. We
need the amount of cores at runtime.

This reverts commit 39b99d7659c7f2ecd789c141a8fced9bf9684cff.

add a function xbt_os_get_numcores()

document lastest changes

enable SMPI by default (and rewrite the cmake doc)

add a link to aespinosa's work on vagrant to get ruby working on Windows

Regenerate timings of Lua tesh files

SIMIX refactoring: replace 'request' by a more precise term: 'simcall'

All functions that make a system call (or simcall) are now simcall_*
(instead of SIMIX_req_*). They all interrupt the execution flow until
the kernel answers the simcall.
Let's hope that SIMIX will be easier to understand ;)

Rename SIMIX files

Keep an int parameter to SIMIX_context_get_nthreads

Parmap: implement the POSIX synchronization mode (not working yet)

Die if the context/synchro option is wrong

Surf: create the parmap with the correct number of worker threads

Allow xbt_parmap_destroy to be called with a NULL parameter

Revert "Use xbt_config mechanism instead of hard coding value."

This reverts commit c9c23fbcad8829230381279f08b72d22c82c7d20.

Add configuration auto for contexts/nthreads and use the PROCESSOR_COUNT.
Default number is 1.

Compile tracing examples only if tracing is enabled.

Put PROCESSOR_COUNT in gras_config.h

Add a script to detect the number of core.

Document the new option --cfg=surf/nthreads

[trace] new example inspired by storage systems to trace user variables

[trace] add new test, check tracing of g5k platform files

[trace] types are local, remove global dictionary

[trace] more testing in process migration tracing example

[trace] update tesh, remove timestamping check, add new test with (un)categorized tracing

[trace] remove repeated parameter, plus add new test for tracing by MSG process

[trace] replace get_type by get_type_or_null when we are defining types

[trace] remove recursive get type support, search operations are local in the type hierarchy

[trace] new example that will be used to test platform tracing

[trace] renaming source file to reflect its speciality

[trace] sanity checks

Place MSG init before testing args for --help argument.

Change cluster sharing policy for FULLDUPLEX by default.
Update tesh files.

Remove unused variables and add missing prototypes.

Use of busy wait and not posix for te moment.
On windows we don't have futex so we must use busy wait.

Update factor for model LegrandVelho.
Update times from tesh.

[trace] adding combinations of tracing parameters to smpirun

[trace] be more strict about errors

[trace] fixing some memory leaks in smpi instrumentation code

[trace] re-writing some tracing functions

[trace] very simple program that creates, executes and destroy a task

[trace] function now longer exist

[trace] some checks in tracing functions

[trace] remove the container from its parent

[trace] in SMPI, follow the same start/end interface used in MSG

[trace] moving traced smpi example to example/smpi/tracing/, plus new simple program

[trace] update test output

[trace] very small memory leak fix in this example

[trace] removing the tracing per task (where each task was a container)

the --cfg=tracing/msg/task:1 parameter is no longer supported

reason:
- not used

[trace] when destroying a container, remove its references from allContainers

[trace] remove info messages from process migration test, update its tesh

[trace] removing memory leaks from the process migration tracing example

[trace] when a process migrates, we need to clean-up its container properly (including from its parent)

[trace] when a process ends, remove its container from the parent as well

[trace] debug messages for recursive destruction of containers and types

[trace] avoid return or break within a xbt_dict_foreach (it causes a memory leak)

[trace] separate initialization function from setting the root container

[trace] function to remove a child from its parent container

[trace] avoid comparing the tracing logs and the generated trace files

details:
- the issues raised by these tests were not related to the tracing system

[trace] cleaner code for tracing examples

we knew we won't explain how to install emacs here (shorten the URL)

Surf: also parallelize update_actions_state() of models

Add an option --cfg=surf/nthreads:N to update Surf models in parallel

Surf: allow to call share_resources in parallel (never enabled yet)

Parmap: add a value XBT_PARMAP_DEFAULT that decides the synchro mode for you

Remove old MSG_set_channel_number from examples.

Fix SIMIX_post_io. For now SIMIX_req_file_read makes a Surf sleep action.

Starting simix mecanism for io.

A for was a bit too much here. It should be readable now.

Use %zu to format a sizeof value.

Don't turn warnings about clobbered variables into errors on older gcc.

Rationale: given warnings seem bogus.

Enable warnings iff enable_compile_warnings=ON.

Inline test_all() in masterslave_mailbox.

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

Conflicts:
examples/msg/chord/chord_stateful.c

Add mm.c to fragile sources

unused example chord_stateful removed

Completely remove channel mecanism with tesh tested examples.

Put XBT_WARN when try to use channel and not alias system.
Give the right function with alias.

Also display some information when procname is NULL

Revert "Fix segfault when using XBT_... and when process have no name."
Use of commit 1eac1757ad2fe043df17ac10262648504c226907 Don't crash with NULL procname.

This reverts commit 9c0bd4e1db324336f4bbbfbe6e5d909a27e54d68.

Don't crash with NULL procname.

AFAICS, there is no problem with e.msg.

Cosmetics: fix indentation.

Fix segfault when using XBT_... and when process have no name.

Implement SIMIX_process_from_PID

Factorize functions for smpi factor.

Fix some memory leak.

Update changelog for smpi factor.

Add a platform with tag config and explain how to change smpi factor.

Offer the possibility to change smpi bandwidth and latency factor into tag config or by command line.
Use --cfg=smpi/bw_factor="thresholh:return_value;threshold:return_value;..."
or --cfg=smpi/lat_factor="thresholh:return_value;threshold:return_value;...