Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agomodel-checker : more requests of CS per process in the example
Marion Guthmuller [Wed, 7 Dec 2011 12:06:23 +0000 (13:06 +0100)]
model-checker : more requests of CS per process in the example

8 years agomodel-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_c...
Marion Guthmuller [Tue, 6 Dec 2011 14:14:45 +0000 (15:14 +0100)]
model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_compare_mdesc

8 years agomodel-checker : reached_pairs changed to dynar
Marion Guthmuller [Tue, 6 Dec 2011 10:31:13 +0000 (11:31 +0100)]
model-checker : reached_pairs changed to dynar

8 years agomodel-checker : visited_pairs and visited_pairs_hash changed to dynar
Marion Guthmuller [Mon, 5 Dec 2011 14:48:47 +0000 (15:48 +0100)]
model-checker : visited_pairs and visited_pairs_hash changed to dynar

8 years agomodel-checker : comparison between two hash of regions in snapshot fixed
Marion Guthmuller [Mon, 5 Dec 2011 13:36:14 +0000 (14:36 +0100)]
model-checker : comparison between two hash of regions in snapshot fixed

8 years agoMerge branch 'master' into MC_LTL
Marion Guthmuller [Mon, 5 Dec 2011 10:16:17 +0000 (11:16 +0100)]
Merge branch 'master' into MC_LTL

8 years agomodel-checker : hash of regions in snapshot stored instead of all the data
Marion Guthmuller [Mon, 5 Dec 2011 10:15:04 +0000 (11:15 +0100)]
model-checker : hash of regions in snapshot stored instead of all the data

8 years agoAdd a data_center platform.
Navarrop [Fri, 2 Dec 2011 16:04:37 +0000 (17:04 +0100)]
Add a data_center platform.

8 years agoAdd a cloud platform.
Navarrop [Fri, 2 Dec 2011 15:38:09 +0000 (16:38 +0100)]
Add a cloud platform.

8 years agoKill old CVS $Id$ lines.
Arnaud Giersch [Thu, 1 Dec 2011 15:52:42 +0000 (16:52 +0100)]
Kill old CVS $Id$ lines.

8 years agomodel-checker : args prgm and automaton changed in global variables
Marion Guthmuller [Thu, 1 Dec 2011 14:56:38 +0000 (15:56 +0100)]
model-checker : args prgm and automaton changed in global variables

8 years agoAlways define SIMGRID_VERSION_*.
Arnaud Giersch [Thu, 1 Dec 2011 13:56:51 +0000 (14:56 +0100)]
Always define SIMGRID_VERSION_*.

8 years agomodel-checker : free memory
Marion Guthmuller [Thu, 1 Dec 2011 13:24:16 +0000 (14:24 +0100)]
model-checker : free memory

8 years agomodel-checker : new function MC_take_snapshot_to_restore_liveness for the initial...
Marion Guthmuller [Thu, 1 Dec 2011 13:12:55 +0000 (14:12 +0100)]
model-checker : new function MC_take_snapshot_to_restore_liveness for the initial snapshot taken at the beginning of model checking

8 years agoUse homogeneous dictionaries whenever possible.
Arnaud Giersch [Mon, 28 Nov 2011 14:43:51 +0000 (15:43 +0100)]
Use homogeneous dictionaries whenever possible.

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

8 years agoUse homogeneous dicts for xbt_lib.
Arnaud Giersch [Mon, 28 Nov 2011 13:55:16 +0000 (14:55 +0100)]
Use homogeneous dicts for xbt_lib.

8 years agoAdd some tests for homogeneous dicts (global free functions).
Arnaud Giersch [Fri, 25 Nov 2011 22:05:59 +0000 (23:05 +0100)]
Add some tests for homogeneous dicts (global free functions).

8 years agoDefine xbt_dict_new_homogeneous().
Arnaud Giersch [Mon, 28 Nov 2011 13:39:44 +0000 (14:39 +0100)]
Define xbt_dict_new_homogeneous().

8 years agoMake dicts ready to accept homogeneous dictionaries.
Arnaud Giersch [Mon, 28 Nov 2011 13:22:11 +0000 (14:22 +0100)]
Make dicts ready to accept homogeneous dictionaries.

8 years agoDefine a struct s_xbt_het_dictelm for holding the free function of a dict element.
Arnaud Giersch [Mon, 28 Nov 2011 12:56:53 +0000 (13:56 +0100)]
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.

8 years agoDefine xbt_dictelm_set_data, to reduce code duplication.
Arnaud Giersch [Fri, 25 Nov 2011 21:06:19 +0000 (22:06 +0100)]
Define xbt_dictelm_set_data, to reduce code duplication.

8 years agoAdd a dict parameter to dictelm functions.
Arnaud Giersch [Fri, 25 Nov 2011 17:45:13 +0000 (18:45 +0100)]
Add a dict parameter to dictelm functions.

Unused for now.

8 years agoAdd two fields to struct dict, in prevision of homogeneous dicts.
Arnaud Giersch [Mon, 28 Nov 2011 12:50:46 +0000 (13:50 +0100)]
Add two fields to struct dict, in prevision of homogeneous dicts.

8 years agoRewrite integer dicts using regular dicts.
Arnaud Giersch [Fri, 25 Nov 2011 17:30:36 +0000 (18:30 +0100)]
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.

8 years agoA mallocator for dict structs is a bit overkill.
Arnaud Giersch [Thu, 1 Dec 2011 10:25:50 +0000 (11:25 +0100)]
A mallocator for dict structs is a bit overkill.

8 years agotwo more clobbered variables that prevent me to compile. Don't ask
Frederic Suter [Thu, 1 Dec 2011 08:13:01 +0000 (09:13 +0100)]
two more clobbered variables that prevent me to compile. Don't ask
Midjy this time.

8 years agotesh: fix the stable sort.
Arnaud Giersch [Wed, 30 Nov 2011 22:29:03 +0000 (23:29 +0100)]
tesh: fix the stable sort.

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

8 years agotesh: fix memory leaks.
Arnaud Giersch [Wed, 30 Nov 2011 22:28:52 +0000 (23:28 +0100)]
tesh: fix memory leaks.

8 years agomodel-checker : all heapstats except total size of the heap added in the comparison...
Marion Guthmuller [Wed, 30 Nov 2011 18:06:29 +0000 (19:06 +0100)]
model-checker : all heapstats except total size of the heap added in the comparison of the heap between two snapshots

8 years agomodel-checker : remove comparison of heapstats between two snapshots
Marion Guthmuller [Wed, 30 Nov 2011 17:15:44 +0000 (18:15 +0100)]
model-checker : remove comparison of heapstats between two snapshots

8 years agoCorrection of a bug. Always return 0.
Navarrop [Wed, 30 Nov 2011 16:29:06 +0000 (17:29 +0100)]
Correction of a bug. Always return 0.

8 years agoRemove memleaks
Navarrop [Wed, 30 Nov 2011 15:58:46 +0000 (16:58 +0100)]
Remove memleaks

8 years agoAdd a masterslave example with arguments
Navarrop [Wed, 30 Nov 2011 15:52:09 +0000 (16:52 +0100)]
Add a masterslave example with arguments
number_of_jobs
number_of_slaves

8 years agoAdd a platform with one cluster and a host
Navarrop [Wed, 30 Nov 2011 15:30:51 +0000 (16:30 +0100)]
Add a platform with one cluster and a host

8 years agoMerge branch 'master' into MC_LTL
Marion Guthmuller [Wed, 30 Nov 2011 08:45:40 +0000 (09:45 +0100)]
Merge branch 'master' into MC_LTL

8 years agomodel-checker : number of CS request per process reduced in the example with acceptan...
Marion Guthmuller [Wed, 30 Nov 2011 08:44:03 +0000 (09:44 +0100)]
model-checker : number of CS request per process reduced in the example with acceptance cycle

8 years agomodel-checker : heap compared block by block or fragment by fragment for the comparis...
Marion Guthmuller [Wed, 30 Nov 2011 08:43:05 +0000 (09:43 +0100)]
model-checker : heap compared block by block or fragment by fragment for the comparison between two snapshots

8 years agomodel-checker : remove stack from regions added in snapshot
Marion Guthmuller [Wed, 30 Nov 2011 08:39:22 +0000 (09:39 +0100)]
model-checker : remove stack from regions added in snapshot

8 years agoFree mutex in xbt_dynar_to_array.
Arnaud Giersch [Tue, 29 Nov 2011 13:38:54 +0000 (14:38 +0100)]
Free mutex in xbt_dynar_to_array.

8 years agoAvoid the temporary malloc in xbt_dynar_to_array.
Arnaud Giersch [Tue, 29 Nov 2011 13:38:23 +0000 (14:38 +0100)]
Avoid the temporary malloc in xbt_dynar_to_array.

8 years agoRevert "The latency is constant with the constant network model."
Christophe Thiéry [Tue, 29 Nov 2011 13:39:17 +0000 (14:39 +0100)]
Revert "The latency is constant with the constant network model."

Because actually, it's not.

This reverts commit 123eb94b4e6a8db258c498d38ac1b21656f0f840.

8 years agoThe latency is constant with the constant network model.
Christophe Thiéry [Tue, 29 Nov 2011 12:57:42 +0000 (13:57 +0100)]
The latency is constant with the constant network model.

8 years agoFix uninitialized variable.
Arnaud Giersch [Mon, 28 Nov 2011 22:27:20 +0000 (23:27 +0100)]
Fix uninitialized variable.

8 years agoInclude surf_resource.h, for surf_resource_name().
Arnaud Giersch [Mon, 28 Nov 2011 17:08:05 +0000 (18:08 +0100)]
Include surf_resource.h, for surf_resource_name().

8 years agos/add/free/ in doc.
Arnaud Giersch [Mon, 28 Nov 2011 17:16:14 +0000 (18:16 +0100)]
s/add/free/ in doc.

8 years agoDon't lie about xbt_xfg_t.
Arnaud Giersch [Mon, 28 Nov 2011 14:38:21 +0000 (15:38 +0100)]
Don't lie about xbt_xfg_t.

8 years agoCorreclty handle the case p1 < p2 in cmpstringp.
Arnaud Giersch [Tue, 29 Nov 2011 10:36:47 +0000 (11:36 +0100)]
Correclty handle the case p1 < p2 in cmpstringp.

8 years agomodel-checker : comparison of heap between two snapshots made on the copy and not...
Marion Guthmuller [Mon, 28 Nov 2011 15:28:41 +0000 (16:28 +0100)]
model-checker : comparison of heap between two snapshots made on the copy and not on the current heap

8 years agomodel-checker : remove test useless before free(line)
Marion Guthmuller [Mon, 28 Nov 2011 15:26:56 +0000 (16:26 +0100)]
model-checker : remove test useless before free(line)

8 years agoFunction does not exist.
Arnaud Giersch [Fri, 25 Nov 2011 13:58:37 +0000 (14:58 +0100)]
Function does not exist.

8 years agoRename dict structs to follow README.coding.
Arnaud Giersch [Fri, 25 Nov 2011 17:17:15 +0000 (18:17 +0100)]
Rename dict structs to follow README.coding.

8 years agoRemove useless internal functions.
Arnaud Giersch [Mon, 28 Nov 2011 12:21:41 +0000 (13:21 +0100)]
Remove useless internal functions.

8 years agoAllow NULL for the reset function of mallocators.
Arnaud Giersch [Mon, 28 Nov 2011 12:19:18 +0000 (13:19 +0100)]
Allow NULL for the reset function of mallocators.

8 years agoRemove unused empty function.
Arnaud Giersch [Mon, 28 Nov 2011 12:07:46 +0000 (13:07 +0100)]
Remove unused empty function.

8 years agoReorganize structs to save a few bytes.
Arnaud Giersch [Thu, 24 Nov 2011 10:57:22 +0000 (11:57 +0100)]
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.

8 years agoRemove an useless (but optimized!) memcpy.
Arnaud Giersch [Wed, 23 Nov 2011 15:25:13 +0000 (16:25 +0100)]
Remove an useless (but optimized!) memcpy.

8 years agoAvoid to clear mem for the last element.
Arnaud Giersch [Wed, 23 Nov 2011 14:54:14 +0000 (15:54 +0100)]
Avoid to clear mem for the last element.

And save a few calls to memset.

8 years ago_xbt_clear_mem is used only once. Use memset directly.
Arnaud Giersch [Wed, 23 Nov 2011 12:55:19 +0000 (13:55 +0100)]
_xbt_clear_mem is used only once.  Use memset directly.

8 years agoFactorize code for xbt_dynar_shrink/_xbt_dynar_expand.
Arnaud Giersch [Wed, 23 Nov 2011 12:53:16 +0000 (13:53 +0100)]
Factorize code for xbt_dynar_shrink/_xbt_dynar_expand.

8 years agoThere's no point in clearing mem in _xbt_dynar_expand.
Arnaud Giersch [Wed, 23 Nov 2011 12:51:27 +0000 (13:51 +0100)]
There's no point in clearing mem in _xbt_dynar_expand.

It's already done in _xbt_dynar_set_at_ptr.

8 years agoKill dead (commented) code.
Arnaud Giersch [Wed, 23 Nov 2011 12:39:43 +0000 (13:39 +0100)]
Kill dead (commented) code.

8 years agoFactorize code for xbt_dynar_set/xbt_dynar_set_at_ptr.
Arnaud Giersch [Wed, 23 Nov 2011 12:37:32 +0000 (13:37 +0100)]
Factorize code for xbt_dynar_set/xbt_dynar_set_at_ptr.

8 years agoUnlock dynar at proper place.
Arnaud Giersch [Wed, 23 Nov 2011 12:31:36 +0000 (13:31 +0100)]
Unlock dynar at proper place.

8 years agoDon't call _xbt_dynar_expand when it's not needed.
Arnaud Giersch [Wed, 23 Nov 2011 12:22:46 +0000 (13:22 +0100)]
Don't call _xbt_dynar_expand when it's not needed.

8 years agoDon't clear mem before free.
Arnaud Giersch [Tue, 22 Nov 2011 12:39:39 +0000 (13:39 +0100)]
Don't clear mem before free.

Use a tool like valgrind to check for memory errors.

8 years agoPush last_route in global_routing.
Arnaud Giersch [Tue, 22 Nov 2011 14:48:47 +0000 (15:48 +0100)]
Push last_route in global_routing.

Now we are able to free it at exit.

8 years agoNeed to have my own link list.
Arnaud Giersch [Mon, 21 Nov 2011 11:23:26 +0000 (12:23 +0100)]
Need to have my own link list.

Else, it is freed while I'm still using it.

8 years agoFree cost table on finalize.
Arnaud Giersch [Mon, 21 Nov 2011 11:20:06 +0000 (12:20 +0100)]
Free cost table on finalize.

8 years agoStrings are already dup'ed by caller.
Arnaud Giersch [Mon, 21 Nov 2011 11:18:59 +0000 (12:18 +0100)]
Strings are already dup'ed by caller.

8 years agomemcheck_tests.cmake: regenerate
Arnaud Giersch [Mon, 21 Nov 2011 11:17:02 +0000 (12:17 +0100)]
memcheck_tests.cmake: regenerate

8 years agoSet path for binary in token ring tesh file.
Arnaud Giersch [Mon, 21 Nov 2011 11:15:05 +0000 (12:15 +0100)]
Set path for binary in token ring tesh file.

8 years agoxbt_dict_new_ext() doesn't exist anymore.
Arnaud Giersch [Wed, 23 Nov 2011 08:10:08 +0000 (09:10 +0100)]
xbt_dict_new_ext() doesn't exist anymore.

8 years agoFix warning about clobbered variable.
Arnaud Giersch [Wed, 23 Nov 2011 13:13:30 +0000 (14:13 +0100)]
Fix warning about clobbered variable.

8 years agoFixup for commit 08ac8cf2900.
Arnaud Giersch [Wed, 23 Nov 2011 15:40:10 +0000 (16:40 +0100)]
Fixup for commit 08ac8cf2900.

Looks like I forgot this changed line.

8 years agomodel-checker : close file /proc/self/maps at the end of get_memory_map
Marion Guthmuller [Tue, 22 Nov 2011 19:46:15 +0000 (20:46 +0100)]
model-checker : close file /proc/self/maps at the end of get_memory_map

8 years agomerge conflicts
Marion Guthmuller [Tue, 22 Nov 2011 17:05:23 +0000 (18:05 +0100)]
merge conflicts

8 years agomodel-checker : add snapshot of stack memory region for comparison of pairs reached...
Marion Guthmuller [Tue, 22 Nov 2011 16:35:17 +0000 (17:35 +0100)]
model-checker : add snapshot of stack memory region for comparison of pairs reached or simply visited

8 years agomake the string large enough to avoid buffer overflows
Martin Quinson [Fri, 18 Nov 2011 16:03:57 +0000 (17:03 +0100)]
make the string large enough to avoid buffer overflows

8 years agoget workstation model to pick the right network model, the one given as default one...
Martin Quinson [Fri, 18 Nov 2011 16:02:39 +0000 (17:02 +0100)]
get workstation model to pick the right network model, the one given as default one (done the crude way, and LV08 actually breaks some stuff)

8 years agothere is no route in vivaldi
Martin Quinson [Fri, 18 Nov 2011 15:35:15 +0000 (16:35 +0100)]
there is no route in vivaldi

8 years agoAdd a test for model RuleBased.
Navarrop [Thu, 17 Nov 2011 11:14:28 +0000 (12:14 +0100)]
Add a test for model RuleBased.
Cause now in cluster it is model "cluster".

8 years agomodel-checker : examples changed
Marion Guthmuller [Thu, 17 Nov 2011 09:06:29 +0000 (10:06 +0100)]
model-checker : examples changed

8 years agomodel-checker : detection of pair already visited with the same criteria as for the...
Marion Guthmuller [Thu, 17 Nov 2011 09:04:20 +0000 (10:04 +0100)]
model-checker : detection of pair already visited with the same criteria as for the detection of acceptance pair already reached

8 years agomodel-checker : stop exploration if there isn't evolution in Büchi automaton
Marion Guthmuller [Thu, 17 Nov 2011 08:59:08 +0000 (09:59 +0100)]
model-checker : stop exploration if there isn't evolution in Büchi automaton

8 years agoLua: change the return values of simgrid.task.send.
Christophe Thiéry [Wed, 16 Nov 2011 14:48:06 +0000 (15:48 +0100)]
Lua: change the return values of simgrid.task.send.

Also fix a bug in checking the comm type.

8 years agoMSG_comm_test and MSG_comm_testany did not update isused
Christophe Thiéry [Wed, 16 Nov 2011 14:47:07 +0000 (15:47 +0100)]
MSG_comm_test and MSG_comm_testany did not update isused

8 years agoLua: debug chord again
Christophe Thiéry [Wed, 16 Nov 2011 14:41:57 +0000 (15:41 +0100)]
Lua: debug chord again

8 years agoRegenerated memcheck tests.
Arnaud Giersch [Wed, 16 Nov 2011 06:35:16 +0000 (07:35 +0100)]
Regenerated memcheck tests.

8 years agoLua: fixing the chord example
Christophe Thiéry [Tue, 15 Nov 2011 22:54:29 +0000 (23:54 +0100)]
Lua: fixing the chord example

8 years agoLua: simplify the return values of simgrid.comm.test()
Christophe Thiéry [Tue, 15 Nov 2011 22:53:40 +0000 (23:53 +0100)]
Lua: simplify the return values of simgrid.comm.test()

8 years agoLua: implement isend, dsend and irecv
Christophe Thiéry [Tue, 15 Nov 2011 22:01:03 +0000 (23:01 +0100)]
Lua: implement isend, dsend and irecv

8 years agoLua: fix Chord example
Christophe Thiéry [Tue, 15 Nov 2011 22:00:44 +0000 (23:00 +0100)]
Lua: fix Chord example

8 years agoNobody uses MSG_get_errno and wants useless calls to SIMIX_process_self
Christophe Thiéry [Tue, 15 Nov 2011 17:57:13 +0000 (18:57 +0100)]
Nobody uses MSG_get_errno and wants useless calls to SIMIX_process_self

8 years agoSIMIX: add a redundant parameter to avoid repeated SIMIX_process_self()
Christophe Thiéry [Tue, 15 Nov 2011 17:22:05 +0000 (18:22 +0100)]
SIMIX: add a redundant parameter to avoid repeated SIMIX_process_self()

8 years agoRemove a useless function. The default one does the same thing.
Christophe Thiéry [Tue, 15 Nov 2011 15:54:33 +0000 (16:54 +0100)]
Remove a useless function. The default one does the same thing.

8 years agoplug some more memleaks. We have no leak on the GOAL example anymore, yuhu
Martin Quinson [Tue, 15 Nov 2011 16:15:03 +0000 (17:15 +0100)]
plug some more memleaks. We have no leak on the GOAL example anymore, yuhu

8 years agomodel-checker : free memory at the end of stateless double-dfs algorithm
Marion Guthmuller [Tue, 15 Nov 2011 16:15:05 +0000 (17:15 +0100)]
model-checker : free memory at the end of stateless double-dfs algorithm

8 years agomodel-checker : detection of acceptance cycle when the first acceptance pair reached
Marion Guthmuller [Tue, 15 Nov 2011 15:51:03 +0000 (16:51 +0100)]
model-checker : detection of acceptance cycle when the first acceptance pair reached

8 years agoAdd a platform with a bypass route. Add the test to cmake.
Navarrop [Tue, 15 Nov 2011 15:18:37 +0000 (16:18 +0100)]
Add a platform with a bypass route. Add the test to cmake.
Update flatifier and basic_parsing_test to not put "\t" but spaces.

8 years agoforgot to recreate the option when reviving supernovae
Martin QUINSON [Tue, 15 Nov 2011 14:54:08 +0000 (15:54 +0100)]
forgot to recreate the option when reviving supernovae