Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years ago[mc] Do not use offsetof() in mc_snapshot_get_heap_end
Gabriel Corona [Tue, 17 Jun 2014 14:44:42 +0000 (16:44 +0200)]
[mc] Do not use offsetof() in mc_snapshot_get_heap_end

We don't need this. It's much clearer like this.

7 years ago[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots
Gabriel Corona [Tue, 17 Jun 2014 14:40:25 +0000 (16:40 +0200)]
[mc] Fix mc_snapshot_get_heap_end() for per-page snapshots

7 years ago[mc] Fix mc_translate_address_region() for per-page snapshots
Gabriel Corona [Tue, 17 Jun 2014 14:19:28 +0000 (16:19 +0200)]
[mc] Fix mc_translate_address_region() for per-page snapshots

It was completely broken :/

7 years ago[mc] Remove mc_untranslate_address() and mc_member_snapshot_resolve()
Gabriel Corona [Tue, 17 Jun 2014 13:52:32 +0000 (15:52 +0200)]
[mc] Remove mc_untranslate_address() and mc_member_snapshot_resolve()

Those were working in the snapshot address space so we do not use them
anymore (it is not very useful to work in the snapshot space when the
snapshot space is broken in pages).

We work in the process address space instead (mc_member_resolve).

7 years ago[mc] Use mc_snapshot_read in snapshot_compare (compatibility with per-page snapshots)
Gabriel Corona [Tue, 17 Jun 2014 13:45:39 +0000 (15:45 +0200)]
[mc] Use mc_snapshot_read in snapshot_compare (compatibility with per-page snapshots)

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

8 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

8 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

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

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

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

8 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

8 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

8 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.

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

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

8 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.

8 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

8 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.

8 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

8 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

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

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

8 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.

8 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.

8 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.

8 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.

8 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.

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

8 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.

8 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.

8 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

8 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

8 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

8 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

8 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

8 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 .

8 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

8 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

8 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.

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

8 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

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

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

8 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)

8 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.

8 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

8 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

8 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

8 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

8 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

8 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

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

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

8 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

8 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

8 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

8 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.

8 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

8 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

8 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

8 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

8 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)