Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years ago[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS regions
Gabriel Corona [Tue, 17 Jun 2014 13:29:24 +0000 (15:29 +0200)]
[mc] mremap does not like MAP_PRIVATE|MAP_ANONYMOUS regions

Use a MAP_PRIVATE one instead.

7 years ago[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot
Gabriel Corona [Tue, 17 Jun 2014 12:42:38 +0000 (14:42 +0200)]
[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot

7 years ago[mc] Fix bugs in mc_page_snapshot
Gabriel Corona [Tue, 17 Jun 2014 12:21:50 +0000 (14:21 +0200)]
[mc] Fix bugs in mc_page_snapshot

7 years ago[mc] Use mc_snapshot_read in mc_diff (compatibility with per-page snapshots)
Gabriel Corona [Tue, 17 Jun 2014 12:06:04 +0000 (14:06 +0200)]
[mc] Use mc_snapshot_read in mc_diff (compatibility with per-page snapshots)

7 years ago[mc] Use mc_snapshot_read in dwarf expression evaluation (compatibility with per...
Gabriel Corona [Tue, 17 Jun 2014 10:56:32 +0000 (12:56 +0200)]
[mc] Use mc_snapshot_read in dwarf expression evaluation (compatibility with per-page snapshots)

7 years ago[mc] Fix bug in mc_snapshot_read
Gabriel Corona [Tue, 17 Jun 2014 10:54:29 +0000 (12:54 +0200)]
[mc] Fix bug in mc_snapshot_read

It was broken when no snapshot was used.

7 years ago[mc] Remove useless bits
Gabriel Corona [Tue, 17 Jun 2014 10:12:57 +0000 (12:12 +0200)]
[mc] Remove useless bits

7 years ago[mc] Remove useless parameters in compare_local_variables
Gabriel Corona [Mon, 16 Jun 2014 14:10:26 +0000 (16:10 +0200)]
[mc] Remove useless parameters in compare_local_variables

7 years ago[mc] Group MC_ignore_global_variable("mc_diff_info"); its fiends
Gabriel Corona [Mon, 16 Jun 2014 13:59:34 +0000 (15:59 +0200)]
[mc] Group MC_ignore_global_variable("mc_diff_info"); its fiends

7 years ago[mc] Remove useless parts in mmalloc_compare_heap, MC_take_snapshot_stacks, snapshot_...
Gabriel Corona [Mon, 16 Jun 2014 13:29:26 +0000 (15:29 +0200)]
[mc] Remove useless parts in mmalloc_compare_heap, MC_take_snapshot_stacks, snapshot_compare

7 years ago[mc] Use process addresses in mc_compare
Gabriel Corona [Mon, 16 Jun 2014 12:50:42 +0000 (14:50 +0200)]
[mc] Use process addresses in mc_compare

This is necessary in order to work work with per-page snapshots.

7 years ago[mc] Partial integration of per-page snapshot address translation (wip)
Gabriel Corona [Fri, 13 Jun 2014 14:03:58 +0000 (16:03 +0200)]
[mc] Partial integration of per-page snapshot address translation (wip)

7 years ago[mc] Simplify s_mc_snapshot_stack
Gabriel Corona [Mon, 16 Jun 2014 11:00:15 +0000 (13:00 +0200)]
[mc] Simplify s_mc_snapshot_stack

Some fields were not used and have been removed:

  * stack_pointer (SP in the snapshot)
  * real_address  (address of the stack)

The first one does not make sense with page-fragmented snapshot.

Simplify the computation of snapshot->stack_sizes[cursor].  The old
computation did not make sense with page fragmented snapshots.

7 years ago[mc] Update doc for page_store
Gabriel Corona [Fri, 13 Jun 2014 09:17:52 +0000 (11:17 +0200)]
[mc] Update doc for page_store

7 years ago[mc] Page-level sparse snapshot: work-in-progress, working page_store
Gabriel Corona [Tue, 27 May 2014 10:27:47 +0000 (12:27 +0200)]
[mc] Page-level sparse snapshot: work-in-progress, working page_store

Implement page_store which stores immutables/shared/refcounted copies
of memory pages.

7 years ago[mc] In MC_ignore, keep the zeroed data out of the main snapshot
Gabriel Corona [Fri, 13 Jun 2014 12:07:46 +0000 (14:07 +0200)]
[mc] In MC_ignore, keep the zeroed data out of the main snapshot

The previous implementation was zeroing out the snapshot data

   * so that it will be automatically ignored by the state comparator;

   * but not for the first snapshot in order to be able to backtrack
     to the initial state;

In preparation for the per-page snapshoting code, we

  1. zero out on the main memory;
  2. keep the zero-ed bytes out of the main snapshot regions;
  3. restore the zero-ed bytes.

This way the state comparison code and the per-page snapshoting code
do not have to worry about this. Moreover by normalizing, the
"ignored" bytes, we increase the possibility of sharing memory pages
in per-page snapshots.

7 years agoRemove comment which has not been accurate for a long long time
Gabriel Corona [Thu, 5 Jun 2014 17:24:38 +0000 (19:24 +0200)]
Remove comment which has not been accurate for a long long time

7 years agomodel-checker : use new variable _sg_mc_liveness instead of _sg_mc_property_file
Marion Guthmuller [Wed, 4 Jun 2014 15:15:21 +0000 (17:15 +0200)]
model-checker : use new variable _sg_mc_liveness instead of _sg_mc_property_file

7 years agomodel-checker : remove useless debug message and add another one
Marion Guthmuller [Wed, 4 Jun 2014 15:13:23 +0000 (17:13 +0200)]
model-checker : remove useless debug message and add another one

7 years agomodel-checker : compare the pid of enabled processes before memory introspection
Marion Guthmuller [Wed, 4 Jun 2014 15:08:47 +0000 (17:08 +0200)]
model-checker : compare the pid of enabled processes before memory introspection

7 years agomodel-checker : fix backtracking with comm determinism verification
Marion Guthmuller [Wed, 4 Jun 2014 08:35:10 +0000 (10:35 +0200)]
model-checker : fix backtracking with comm determinism verification

7 years agomodel-checker : comment erroneous ignore (not completely sure ...)
Marion Guthmuller [Tue, 3 Jun 2014 17:00:53 +0000 (19:00 +0200)]
model-checker : comment erroneous ignore (not completely sure ...)

7 years agomodel-checker : use the right heap
Marion Guthmuller [Tue, 3 Jun 2014 16:14:09 +0000 (18:14 +0200)]
model-checker : use the right heap

7 years agomodel-checker : reword debug message
Marion Guthmuller [Tue, 3 Jun 2014 16:13:18 +0000 (18:13 +0200)]
model-checker : reword debug message

7 years agomodel-checker : mc_dpor.c -> mc_safety.c
Marion Guthmuller [Tue, 3 Jun 2014 16:10:33 +0000 (18:10 +0200)]
model-checker : mc_dpor.c -> mc_safety.c

7 years agomodel-checker : remove useless ignore
Marion Guthmuller [Tue, 3 Jun 2014 15:45:43 +0000 (17:45 +0200)]
model-checker : remove useless ignore

7 years agomodel-checker : new tesh examples about communications determinism verification
Marion Guthmuller [Tue, 3 Jun 2014 08:42:48 +0000 (10:42 +0200)]
model-checker : new tesh examples about communications determinism verification

7 years agomodel-checker : fix comm determinism detection mechanisms
Marion Guthmuller [Fri, 30 May 2014 21:51:41 +0000 (23:51 +0200)]
model-checker : fix comm determinism detection mechanisms

7 years agomodel-checker : forget file
Marion Guthmuller [Fri, 30 May 2014 21:30:34 +0000 (23:30 +0200)]
model-checker : forget file

7 years agomodel-checker : cleanups, refactoring and apply indent script
Marion Guthmuller [Fri, 30 May 2014 21:28:56 +0000 (23:28 +0200)]
model-checker : cleanups, refactoring and apply indent script

7 years agomodel-checker : cosmetics in log message
Marion Guthmuller [Fri, 30 May 2014 10:04:10 +0000 (12:04 +0200)]
model-checker : cosmetics in log message

7 years agomodel-checker : improve error message
Marion Guthmuller [Fri, 30 May 2014 07:37:44 +0000 (09:37 +0200)]
model-checker : improve error message

7 years ago[mc] Temporary fix for smpi_process_finalize leading to graph explosion in MC
Gabriel Corona [Mon, 26 May 2014 10:12:39 +0000 (12:12 +0200)]
[mc] Temporary fix for smpi_process_finalize leading to graph explosion in MC

7 years agoMerge branch 'master' into mc
Gabriel Corona [Mon, 26 May 2014 10:05:12 +0000 (12:05 +0200)]
Merge branch 'master' into mc

7 years agoFix a compilation error regarding logging and strings in fat trees
Stéphane Castelli [Mon, 26 May 2014 09:42:17 +0000 (11:42 +0200)]
Fix a compilation error regarding logging and strings in fat trees

7 years agoLots of bugfixes for the fat trees, it should at least not crash when using it
Stéphane Castelli [Mon, 26 May 2014 08:55:34 +0000 (10:55 +0200)]
Lots of bugfixes for the fat trees, it should at least not crash when using it

7 years agosmall cosmetics to AsClusterFatTree::generateDotFile()
Stéphane Castelli [Thu, 22 May 2014 14:53:21 +0000 (16:53 +0200)]
small cosmetics to AsClusterFatTree::generateDotFile()

7 years agoFix some bugs in fat trees
Stéphane Castelli [Thu, 22 May 2014 12:36:10 +0000 (14:36 +0200)]
Fix some bugs in fat trees

7 years agomake the xbt_os_time module public
Martin Quinson [Sat, 24 May 2014 20:38:15 +0000 (22:38 +0200)]
make the xbt_os_time module public

7 years agoupdate the comments of that file
Martin Quinson [Sat, 24 May 2014 20:13:27 +0000 (22:13 +0200)]
update the comments of that file

7 years agolisting new files
suter [Fri, 23 May 2014 18:34:01 +0000 (20:34 +0200)]
listing new files

7 years agostart testing remote I/Os
suter [Fri, 23 May 2014 18:27:50 +0000 (20:27 +0200)]
start testing remote I/Os

7 years agoleak--
suter [Fri, 23 May 2014 18:03:57 +0000 (20:03 +0200)]
leak--

7 years agoallow several hosts to open the same file simultaneously
suter [Fri, 23 May 2014 17:47:49 +0000 (19:47 +0200)]
allow several hosts to open the same file simultaneously

7 years agoThrow an exception only when it's really not implemented
suter [Fri, 23 May 2014 10:44:54 +0000 (12:44 +0200)]
Throw an exception only when it's really not implemented

7 years agoMove unachieved release goals from ChangeLog to TODO file.
Arnaud Giersch [Fri, 23 May 2014 09:46:07 +0000 (11:46 +0200)]
Move unachieved release goals from ChangeLog to TODO file.

7 years agoCosmetics: keep alphabetical order.
Arnaud Giersch [Thu, 22 May 2014 09:40:23 +0000 (11:40 +0200)]
Cosmetics: keep alphabetical order.

7 years agoUpdate doc for surf++
Paul Bédaride [Thu, 22 May 2014 15:23:43 +0000 (17:23 +0200)]
Update doc for surf++

7 years agoRevert "[mmalloc] Use mremap to expand heaps (heap collision prevention)"
Gabriel Corona [Thu, 22 May 2014 12:09:16 +0000 (14:09 +0200)]
Revert "[mmalloc] Use mremap to expand heaps (heap collision prevention)"

This is really how is should be handled. However, this does not work
if someone has split the VMA in parts: this is done when creating
stacks on the heap without MC, mprotect() is used to create a guard
page for the stack.

This reverts commit ba3185d8a4f0a56804d3b1ff24e596096f06a37c.

7 years agoDocumentation for stack size, stack guard and context factory
Gabriel Corona [Thu, 22 May 2014 11:45:55 +0000 (13:45 +0200)]
Documentation for stack size, stack guard and context factory

7 years agoAdd some words about %e fore spaces in logs.
Arnaud Giersch [Wed, 21 May 2014 13:22:16 +0000 (15:22 +0200)]
Add some words about %e fore spaces in logs.

7 years agoWhen the parameter parser is jammed, display the full parsed string
Martin Quinson [Wed, 21 May 2014 08:32:08 +0000 (10:32 +0200)]
When the parameter parser is jammed, display the full parsed string

7 years agoadd some doc about the trap I just felt into
Martin Quinson [Wed, 21 May 2014 08:30:58 +0000 (10:30 +0200)]
add some doc about the trap I just felt into

7 years agoFree previously set process data.
Arnaud Giersch [Tue, 20 May 2014 16:00:35 +0000 (18:00 +0200)]
Free previously set process data.

7 years agoFree smpi_instances.
Arnaud Giersch [Tue, 20 May 2014 15:26:27 +0000 (17:26 +0200)]
Free smpi_instances.

7 years agoFree powerPeak which is unused here.
Arnaud Giersch [Tue, 20 May 2014 15:03:22 +0000 (17:03 +0200)]
Free powerPeak which is unused here.

7 years agoSome tests have different outputs when !HAVE_TRACING. Fix them.
Arnaud Giersch [Tue, 20 May 2014 14:02:10 +0000 (16:02 +0200)]
Some tests have different outputs when !HAVE_TRACING.  Fix them.

7 years agoThis field definitely has sense only when tracing is compiled in.
Arnaud Giersch [Tue, 20 May 2014 13:14:29 +0000 (15:14 +0200)]
This field definitely has sense only when tracing is compiled in.

7 years agoFix race condition.
Arnaud Giersch [Tue, 20 May 2014 13:02:22 +0000 (15:02 +0200)]
Fix race condition.

Avoid to launch and cancel the task at the same time.  It seems to work with
HAVE_TRACING, but fails without.  In fact, the task cancelation happens before
the task starts to execute.  As a workaround, add a small delay before firing
up the cancel.

7 years agoSkip simcall when HAVE_TRACING.
Arnaud Giersch [Tue, 20 May 2014 08:07:14 +0000 (10:07 +0200)]
Skip simcall when HAVE_TRACING.

And try to keep the same visible behavior with and without tracing.

7 years agoCosmetics: reuse already defined variable.
Arnaud Giersch [Tue, 20 May 2014 08:05:14 +0000 (10:05 +0200)]
Cosmetics: reuse already defined variable.

7 years agotask->counter is initialized only when HAVE_TRACING.
Arnaud Giersch [Mon, 19 May 2014 09:29:53 +0000 (11:29 +0200)]
task->counter is initialized only when HAVE_TRACING.

Use task pointer instead to compute the key.

7 years agoDisable tracing tests when !HAVE_TRACING.
Arnaud Giersch [Mon, 19 May 2014 08:17:01 +0000 (10:17 +0200)]
Disable tracing tests when !HAVE_TRACING.

7 years agoUse boost::intrusive in CpuTi
Paul Bédaride [Mon, 19 May 2014 13:37:46 +0000 (15:37 +0200)]
Use boost::intrusive in CpuTi

7 years agoFix a a wrong use of cmake, which makes linking fail when smpi is disabled
Stéphane Castelli [Mon, 19 May 2014 08:51:59 +0000 (10:51 +0200)]
Fix a a wrong use of cmake, which makes linking fail when smpi is disabled

7 years agofurther document the parmap mess. Next step should be refactoring/simplifying
Martin Quinson [Sun, 18 May 2014 18:33:40 +0000 (20:33 +0200)]
further document the parmap mess. Next step should be refactoring/simplifying

7 years agogreatly improve the documentation of the parallel execution in simix
Martin Quinson [Sun, 18 May 2014 17:02:27 +0000 (19:02 +0200)]
greatly improve the documentation of the parallel execution in simix

7 years agoprevious version was initializing retval=0 and then testing retval!=MPI_ERR_REQUEST...
Martin Quinson [Sun, 18 May 2014 17:01:09 +0000 (19:01 +0200)]
previous version was initializing retval=0 and then testing retval!=MPI_ERR_REQUEST. This seems dubious to me

7 years agomove a declaration. Should fix compilation bug on MacOS X .
degomme [Fri, 16 May 2014 16:31:51 +0000 (18:31 +0200)]
move a declaration. Should fix compilation bug on MacOS X .

7 years agoFix compil without tracing, which was broken multiple times ...
degomme [Fri, 16 May 2014 16:20:52 +0000 (18:20 +0200)]
Fix compil without tracing, which was broken multiple times ...
Warning : some tests are broken when tracing is disabled

7 years agoMerge branch 'mc_without_ksm' into mc
Gabriel Corona [Fri, 16 May 2014 13:56:26 +0000 (15:56 +0200)]
Merge branch 'mc_without_ksm' into mc

Conflicts:
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_memory.c

7 years agoRevert "Replace xbt_heap by boost::heap::fibonacci_heap"
Paul Bédaride [Fri, 16 May 2014 13:48:07 +0000 (15:48 +0200)]
Revert "Replace xbt_heap by boost::heap::fibonacci_heap"

This reverts commit fb588fbb8c119a8f04e6d2cb15b663257786ba70.

7 years ago[mc] Avoid memsetting twice
Gabriel Corona [Fri, 16 May 2014 13:45:16 +0000 (15:45 +0200)]
[mc] Avoid memsetting twice

7 years agoReplace xbt_heap by boost::heap::fibonacci_heap
Paul Bédaride [Fri, 16 May 2014 12:20:54 +0000 (14:20 +0200)]
Replace xbt_heap by boost::heap::fibonacci_heap

7 years agoRemove unnecessary casts
Paul Bédaride [Mon, 12 May 2014 11:39:35 +0000 (13:39 +0200)]
Remove unnecessary casts

7 years agoUnify models apis
Paul Bédaride [Mon, 12 May 2014 09:00:41 +0000 (11:00 +0200)]
Unify models apis

7 years ago[mc] Use the actual heap size when testing if an address is in the heap (in mm_diff...
Gabriel Corona [Fri, 16 May 2014 09:54:38 +0000 (11:54 +0200)]
[mc] Use the actual heap size when testing if an address is in the heap (in mm_diff, linear_compare_heap)

7 years ago[mc] Move mm_diff in mc/
Gabriel Corona [Fri, 16 May 2014 08:54:08 +0000 (10:54 +0200)]
[mc] Move mm_diff in mc/

mm_diff relies heavily on MC and is not relevant in the xbt/mmalloc
layer anymore. Moreover we probably want to merge it with mc_compare.

7 years ago[mc] Use the actual heap size when testing if an address is in the heap in mm_diff
Gabriel Corona [Fri, 16 May 2014 08:19:59 +0000 (10:19 +0200)]
[mc] Use the actual heap size when testing if an address is in the heap in mm_diff

7 years ago[mc] Use the actual heap size when testing if an address is in the heap in mc_compare
Gabriel Corona [Fri, 16 May 2014 07:53:46 +0000 (09:53 +0200)]
[mc] Use the actual heap size when testing if an address is in the heap in mc_compare

7 years ago[mc] Comments/documentation of memory related code
Gabriel Corona [Fri, 16 May 2014 07:42:55 +0000 (09:42 +0200)]
[mc] Comments/documentation of memory related code

7 years agoFix a bug in SMPI that leads to a segfault when one of the request in MPI_StartAll...
Stéphane Castelli [Wed, 14 May 2014 15:49:44 +0000 (17:49 +0200)]
Fix a bug in SMPI that leads to a segfault when one of the request in MPI_StartAll is MPI_REQUEST_NULL

7 years agoFat trees may actually be used
Stéphane Castelli [Wed, 14 May 2014 14:39:42 +0000 (16:39 +0200)]
Fat trees may actually be used

7 years agoAdd a routing for fat trees
Stéphane Castelli [Tue, 13 May 2014 14:41:57 +0000 (16:41 +0200)]
Add a routing for fat trees

7 years agothird time's the charm ?
Augustin Degomme [Tue, 13 May 2014 18:56:10 +0000 (20:56 +0200)]
third time's the charm ?

7 years agomodel-checker : handle waitany simcall
Marion Guthmuller [Tue, 13 May 2014 16:18:36 +0000 (18:18 +0200)]
model-checker : handle waitany simcall

7 years ago[mc] Rename raw_heap into mc_heap
Gabriel Corona [Tue, 13 May 2014 13:23:13 +0000 (15:23 +0200)]
[mc] Rename raw_heap into mc_heap

7 years agoThe tag cluster accepts the topology fat_tree
Stéphane Castelli [Tue, 13 May 2014 12:56:59 +0000 (14:56 +0200)]
The tag cluster accepts the topology fat_tree

7 years agoAdd a function returning an instance of fat tree
Stéphane Castelli [Tue, 13 May 2014 08:53:37 +0000 (10:53 +0200)]
Add a function returning an instance of fat tree

7 years ago[mmalloc] Use mremap to expand heaps (heap collision prevention)
Gabriel Corona [Fri, 25 Apr 2014 08:05:10 +0000 (10:05 +0200)]
[mmalloc] Use mremap to expand heaps (heap collision prevention)

mremap() will fail instead of overwriting an existing memory mapping :
the first heap could silently overflow on the second one.

7 years agomerge Fred and Henri description of the same stuff
suter [Tue, 13 May 2014 07:24:58 +0000 (09:24 +0200)]
merge Fred and Henri description of the same stuff

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Henri Casanova [Mon, 12 May 2014 19:30:55 +0000 (09:30 -1000)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agoAdded documentation of the --cfg="smpi/simulation_computation" feature of mpirun
Henri Casanova [Mon, 12 May 2014 19:30:23 +0000 (09:30 -1000)]
Added documentation of the  --cfg="smpi/simulation_computation" feature of mpirun

7 years agoupdating ignore patterns-list should be complete now
Luka Stanisic [Mon, 12 May 2014 16:43:51 +0000 (18:43 +0200)]
updating ignore patterns-list should be complete now

7 years agodocument the smpi/simulation_computation option and list it in the
suter [Mon, 12 May 2014 12:44:51 +0000 (14:44 +0200)]
document the smpi/simulation_computation option and list it in the
index (with the one on privatization too)

7 years agomodel-checker : complete comm pattern only after a comm wait
Marion Guthmuller [Mon, 12 May 2014 11:53:59 +0000 (13:53 +0200)]
model-checker : complete comm pattern only after a comm wait

7 years agoSet return value.
Arnaud Giersch [Fri, 9 May 2014 13:01:42 +0000 (15:01 +0200)]
Set return value.

7 years agoDon't try to kill non-existing process (*process == NULL).
Arnaud Giersch [Fri, 9 May 2014 12:15:22 +0000 (14:15 +0200)]
Don't try to kill non-existing process (*process == NULL).

7 years agoFix dead assignments.
Arnaud Giersch [Fri, 9 May 2014 12:09:41 +0000 (14:09 +0200)]
Fix dead assignments.

That's when a value stored in a variable is never used.

7 years agoAdd check for error.
Arnaud Giersch [Fri, 9 May 2014 11:11:38 +0000 (13:11 +0200)]
Add check for error.