model-checker : new example for liveness properties

model-checker : bugged2_liveness with promela of LTL properties checked

model-checker : new LTL property for bugged2_liveness example

model-checker : add comments for the example bugged2_liveness

model-checker : new examples for verification of liveness properties

model-checker : warnings fixed

Merge branch 'master' into MC_LTL

model-checker : clean code

Parmap test did not compile

Alternative implementation or parmap with busy waits instead of futexes

When the user contexts are run in parallel, you can choose the
synchronization mode of their parmap with:
--cfg=contexts/parallel_mode:{posix|futex|busy_wait}.
The default is futex. Posix synchronization is not implemented yet.

Parmap: process the whole dynar, don't force workers to fetch work

This variable has no reason to be global

Kill duplicated macro.

Use xbt_swag_reset wherever possible.

Define xbt_swag_reset().

Remove redundant assignment in lmm_solve.

Those are constraints, and not elements.

(no functional change)

Update comment (name was changed 7 years ago).

Remove unused log categories.

Parmap: make maestro also do some work.

The gain looks much bigger than I expected (Chord 10k, constant
network: 55s -> 20s and 160,000 syscalls -> 88,000 syscalls).
Not sure to understand why.

The worker id is now useless in the parmap code

Add comments

Remove xbt_parmap_get_worker_id to simplify the parmap interface

Remove a useless private header and rename variables

Merge branch 'master' into MC_LTL

Conflicts:
buildtools/Cmake/DefinePackages.cmake

model-checker : hash of regions in snapshot for reached pairs and double dfs algorithm restructured

model-checker : more requests of CS per process in the example

model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_compare_mdesc

Added 2 version of a script to generate hierarchical clusters

Rewrite the token ring example

model-checker : reached_pairs changed to dynar

Parmaps: remove the event structure to simplify the code, add comments

Make those functions static

Remove a redundant include and reindent a bit

Remove parmap_private.h since parmap.c is the only file using it

In sequential mode, don't use thread-specific data

model-checker : visited_pairs and visited_pairs_hash changed to dynar

Make the compilation succed for windows.
THIS is forbidden on win so rename it for THIS_AS

Use the good link for latency.

model-checker : comparison between two hash of regions in snapshot fixed

Merge branch 'master' into MC_LTL

model-checker : hash of regions in snapshot stored instead of all the data

Add a data_center platform.

Add a cloud platform.

Kill old CVS $Id$ lines.

model-checker : args prgm and automaton changed in global variables

Always define SIMGRID_VERSION_*.

model-checker : free memory

model-checker : new function MC_take_snapshot_to_restore_liveness for the initial snapshot taken at the beginning of model checking

Use homogeneous dictionaries whenever possible.

The only remaining users of heterogeneous dicts are sets and multidicts.

Use homogeneous dicts for xbt_lib.

Add some tests for homogeneous dicts (global free functions).

Define xbt_dict_new_homogeneous().

Make dicts ready to accept homogeneous dictionaries.

Define a struct s_xbt_het_dictelm for holding the free function of a dict element.

Create a mallocator for these structs, and use them.

Define xbt_dictelm_set_data, to reduce code duplication.

Add a dict parameter to dictelm functions.

Unused for now.

Add two fields to struct dict, in prevision of homogeneous dicts.

Rewrite integer dicts using regular dicts.

The goal here is to reduce the code complexity for further changes.

It's certainly not optimized anymore, but who cares?
Nobody seems to use them anymore.  Integer dicts could be marked as deprecated.

The main difference is that memory is malloc'ed to store a copy of
the key.

A mallocator for dict structs is a bit overkill.

two more clobbered variables that prevent me to compile. Don't ask
Midjy this time.

tesh: fix the stable sort.

Use a double indirection to be sure that the addresses of the
string pointers do not move.

tesh: fix memory leaks.

model-checker : all heapstats except total size of the heap added in the comparison of the heap between two snapshots

model-checker : remove comparison of heapstats between two snapshots

Correction of a bug. Always return 0.

Remove memleaks

Add a masterslave example with arguments
number_of_jobs
number_of_slaves

Add a platform with one cluster and a host

Merge branch 'master' into MC_LTL

model-checker : number of CS request per process reduced in the example with acceptance cycle

model-checker : heap compared block by block or fragment by fragment for the comparison between two snapshots

model-checker : remove stack from regions added in snapshot

Free mutex in xbt_dynar_to_array.

Avoid the temporary malloc in xbt_dynar_to_array.

Revert "The latency is constant with the constant network model."

Because actually, it's not.

This reverts commit 123eb94b4e6a8db258c498d38ac1b21656f0f840.

The latency is constant with the constant network model.

Fix uninitialized variable.

Include surf_resource.h, for surf_resource_name().

s/add/free/ in doc.

Don't lie about xbt_xfg_t.

Correclty handle the case p1 < p2 in cmpstringp.

model-checker : comparison of heap between two snapshots made on the copy and not on the current heap

model-checker : remove test useless before free(line)

Function does not exist.

Rename dict structs to follow README.coding.

Remove useless internal functions.

Allow NULL for the reset function of mallocators.

Remove unused empty function.

Reorganize structs to save a few bytes.

The general idea is to move the fields, in order to group pointers
apart from integers.  Thus, the padding between fields is reduced,
and the size of the struct is reduced too.

It can save up to 32 bytes per node (host and/or process) on 64bits
architectures.

Remove an useless (but optimized!) memcpy.

Avoid to clear mem for the last element.

And save a few calls to memset.

_xbt_clear_mem is used only once.  Use memset directly.

Factorize code for xbt_dynar_shrink/_xbt_dynar_expand.

There's no point in clearing mem in _xbt_dynar_expand.

It's already done in _xbt_dynar_set_at_ptr.

Kill dead (commented) code.

Factorize code for xbt_dynar_set/xbt_dynar_set_at_ptr.

Unlock dynar at proper place.

Don't call _xbt_dynar_expand when it's not needed.

Don't clear mem before free.

Use a tool like valgrind to check for memory errors.