Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years ago[mc] Make snapshots compatible with SMPI privatization of global variables
Gabriel Corona [Thu, 3 Apr 2014 16:18:46 +0000 (18:18 +0200)]
[mc] Make snapshots compatible with SMPI privatization of global variables

Not handled yet:
* State comparaison is not handled in this commit;
* Address process/snapshot translation support.

Still to do: make a clean API for the privatization.

5 years agoHave an informative final message.
Arnaud Legrand [Thu, 3 Apr 2014 23:48:41 +0000 (01:48 +0200)]
Have an informative final message.

5 years agoDistinguish between time precision and sharing precision.
Arnaud Legrand [Thu, 3 Apr 2014 23:48:11 +0000 (01:48 +0200)]
Distinguish between time precision and sharing precision.
- Set up two distinct configuration variables and use them in the right places
- Set them to legacy values especially in smpirun
- Revalidate tesh files accordingly (only the "Configuration change" message)

5 years agoUse more explicit variable names and add a bit of debug.
Arnaud Legrand [Thu, 3 Apr 2014 15:47:11 +0000 (17:47 +0200)]
Use more explicit variable names and add a bit of debug.

There is still something "wrong" with this code, which is that it aborts whenever an action gets a share of 0 (in which case I am not able to assign it a completion date and insert it into the calendar). This could happen but is more likely to be a bug in lmm or in surf, which is why I leave it as such for the moment.

5 years agoFix bug #17132 (surf.c:366: The Impossible Did Happen (yet again)).
Arnaud Legrand [Thu, 3 Apr 2014 15:44:46 +0000 (17:44 +0200)]
Fix bug #17132 (surf.c:366: The Impossible Did Happen (yet again)).

This occured only when a fatpipe had two (or more) flows with different bandwidth bounds. Only one would get bandwidth and because of early termination in this loop, the constraint was never considered ever again, hence the other flow would stay with a share of 0.

5 years agoAdd more debug
Arnaud Legrand [Thu, 3 Apr 2014 15:42:17 +0000 (17:42 +0200)]
Add more debug

5 years agoStart documenting how lmm works
Arnaud Legrand [Thu, 3 Apr 2014 12:18:19 +0000 (14:18 +0200)]
Start documenting how lmm works

5 years ago[mc] Initialize expression->ops before calling mc_dwarf_expression_init.
Arnaud Giersch [Tue, 1 Apr 2014 14:51:38 +0000 (16:51 +0200)]
[mc] Initialize expression->ops before calling mc_dwarf_expression_init.

5 years agoFix MSG_file_rcopy() and MSG_file_rmove()
Pierre Veyre [Tue, 1 Apr 2014 12:52:35 +0000 (14:52 +0200)]
Fix MSG_file_rcopy() and MSG_file_rmove()

5 years agoCheck if MAP_ANONYMOUS is defined after including sys/mman.h.
Arnaud Giersch [Tue, 1 Apr 2014 09:41:10 +0000 (11:41 +0200)]
Check if MAP_ANONYMOUS is defined after including sys/mman.h.

Some systems define MAP_ANON instead of MAP_ANOYMOUS.

5 years agoUpdate copyright headers.
Arnaud Giersch [Tue, 1 Apr 2014 09:37:56 +0000 (11:37 +0200)]
Update copyright headers.

5 years agoCosmetics: move SimGrid copyright on top.
Arnaud Giersch [Tue, 1 Apr 2014 09:15:57 +0000 (11:15 +0200)]
Cosmetics: move SimGrid copyright on top.

5 years agoRename msg_storage_priv->host by msg_storage_priv->hostname
Pierre Veyre [Tue, 1 Apr 2014 09:27:52 +0000 (11:27 +0200)]
Rename msg_storage_priv->host by msg_storage_priv->hostname
Improve MSG_file_read() and MSG_file_write()

5 years agoChange MSG_file_unlink() return type
Pierre Veyre [Tue, 1 Apr 2014 09:08:39 +0000 (11:08 +0200)]
Change MSG_file_unlink() return type

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 1 Apr 2014 08:52:52 +0000 (10:52 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoremove MSG_file_ls()
Pierre Veyre [Tue, 1 Apr 2014 08:52:04 +0000 (10:52 +0200)]
remove  MSG_file_ls()

5 years agoRemove binary file.
Arnaud Giersch [Tue, 1 Apr 2014 08:31:12 +0000 (10:31 +0200)]
Remove binary file.

5 years agoRemove XBT_INFO call
Pierre Veyre [Tue, 1 Apr 2014 06:52:39 +0000 (08:52 +0200)]
Remove XBT_INFO call

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 1 Apr 2014 06:26:21 +0000 (08:26 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoAdd bug-17132 tesh suite
Pierre Veyre [Tue, 1 Apr 2014 06:25:59 +0000 (08:25 +0200)]
Add bug-17132 tesh suite

5 years agoRevert "Remove XBT_INFO call"
Martin Quinson [Mon, 31 Mar 2014 19:43:02 +0000 (21:43 +0200)]
Revert "Remove XBT_INFO call"

This commit changes much much more than wanted. In particular, it
reverts several changes done in the tree recently. I assume that the
merge that occured just before this commit went awfully wrong,
actually.

That's ok, shit happens, don't worry.

Nevertheless, I revert this commit when it's still possible, before
the first unrelated commit on top of it. Pierre, please, pick your
changes back from the diff, and resubmit them.

This reverts commit f9e6853d2c5b7b867211700bc12f0ee57f640b30.

5 years agoRemove XBT_INFO call
Pierre Veyre [Mon, 31 Mar 2014 15:19:31 +0000 (17:19 +0200)]
Remove XBT_INFO call

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Mon, 31 Mar 2014 14:59:29 +0000 (16:59 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoImprove MSG_file_read() and MSG_file_write()
Pierre Veyre [Mon, 31 Mar 2014 14:56:45 +0000 (16:56 +0200)]
Improve MSG_file_read() and MSG_file_write()

5 years agoImprove error message.
Arnaud Giersch [Mon, 31 Mar 2014 14:34:21 +0000 (16:34 +0200)]
Improve error message.

5 years agoFix bug with Java bindings on 32-bit systems.
Arnaud Giersch [Mon, 31 Mar 2014 14:22:45 +0000 (16:22 +0200)]
Fix bug with Java bindings on 32-bit systems.

On 32-bit systems, sizeof(NetworkLink*) < sizeof(jlong), and the elements must
be copied one by one.

5 years ago[mc] Reduce stack_size for tests mc-bugged*.
Arnaud Giersch [Mon, 31 Mar 2014 11:49:36 +0000 (13:49 +0200)]
[mc] Reduce stack_size for tests mc-bugged*.

Default stack size was recently increased from 128KiB to 8MiB,
which is a bit too much on small machines (e.g. on CI).

Reduce it to 256KiB (2 times the old size) for tests mc-bugged*.

5 years ago[mc] Better fix for compatibility with old/broken version of dwarf.h.
Arnaud Giersch [Fri, 28 Mar 2014 17:15:55 +0000 (18:15 +0100)]
[mc] Better fix for compatibility with old/broken version of dwarf.h.

Avoids to use a hardcoded value.

5 years agoRemove benchmarking calls in MPI functions that don't actually perform comms and...
Augustin Degomme [Mon, 31 Mar 2014 12:05:50 +0000 (14:05 +0200)]
Remove benchmarking calls in MPI functions that don't actually perform comms and are not traced,
We don't need to halt processes and trigger context switches for them (and privatization switches).
This should improve SMPI performance a little.

5 years agoforgotten useless line (should not do anything with our sets of flags for mmapped...
Augustin Degomme [Mon, 31 Mar 2014 09:14:44 +0000 (11:14 +0200)]
forgotten useless line (should not do anything with our sets of flags for mmapped pages)

5 years ago[mc] Fix type conversion in unit test
Gabriel Corona [Fri, 28 Mar 2014 14:50:58 +0000 (15:50 +0100)]
[mc] Fix type conversion in unit test

5 years ago[mc] Fix type conversion (once again)
Gabriel Corona [Fri, 28 Mar 2014 14:28:25 +0000 (15:28 +0100)]
[mc] Fix type conversion (once again)

5 years ago[mc] Fix type conversion
Gabriel Corona [Fri, 28 Mar 2014 14:05:55 +0000 (15:05 +0100)]
[mc] Fix type conversion

5 years ago[mc] Fix type conversions
Gabriel Corona [Fri, 28 Mar 2014 13:25:15 +0000 (14:25 +0100)]
[mc] Fix type conversions

5 years agoprivatization : perform the initialization at process launch, not at MPI_Init time
Augustin Degomme [Fri, 28 Mar 2014 12:22:15 +0000 (13:22 +0100)]
privatization : perform the initialization at process launch, not at MPI_Init time
Also switch at destroy time, to avoid deallocation problems in user code

5 years agoreplace warnings by debug messages
Augustin Degomme [Wed, 26 Mar 2014 16:00:42 +0000 (17:00 +0100)]
replace warnings by debug messages

5 years ago[mc] Change type for type->id
Gabriel Corona [Fri, 28 Mar 2014 10:29:13 +0000 (11:29 +0100)]
[mc] Change type for type->id

5 years agomodel-checker : smpi mutual exclusion example
Marion Guthmuller [Fri, 28 Mar 2014 10:27:34 +0000 (11:27 +0100)]
model-checker : smpi mutual exclusion example

5 years ago[mc] Fix type of expression resolution methods (uintpt_t and not Dwarf_Off)
Gabriel Corona [Fri, 28 Mar 2014 09:54:52 +0000 (10:54 +0100)]
[mc] Fix type of expression resolution methods (uintpt_t and not Dwarf_Off)

5 years ago[mc] Fix compatibility with old/broken version of dwarf.h
Gabriel Corona [Fri, 28 Mar 2014 09:50:29 +0000 (10:50 +0100)]
[mc] Fix compatibility with old/broken version of dwarf.h

5 years ago[mc] Kernel Samepage Merging support (Linux)
Gabriel Corona [Thu, 27 Mar 2014 15:53:27 +0000 (16:53 +0100)]
[mc] Kernel Samepage Merging support (Linux)

Add MADV_MERGEABLE advice (madvise) for KSM in the heaps and
read/write segments: mark these regions of memory as candidate for
KSM. As the stacks are stored on the heap, they are candidate for KSM
as well.

In order to work, KSM must be enabled on the system (by root):

    # Enable:
    echo 1 > /sys/kernel/mm/ksm/run
    # Do some real work:
    echo 10000 > /sys/kernel/mm/ksm/pages_to_scan

See Documentation/vm/ksm.txt:

  https://www.kernel.org/doc/Documentation/vm/ksm.txt

We would like to only mark the .data+.bss and not the other sections
of the segment.

5 years ago[mc] Comment unhandled rangelistptr class in DW_AT_start_scope
Gabriel Corona [Thu, 27 Mar 2014 11:25:04 +0000 (12:25 +0100)]
[mc] Comment unhandled rangelistptr class in DW_AT_start_scope

5 years ago[mc] Correctly handle the end of the stack unwinding
Gabriel Corona [Thu, 27 Mar 2014 10:00:11 +0000 (11:00 +0100)]
[mc] Correctly handle the end of the stack unwinding

unw_step returns 0 when reaching the bottom of the stack: this return
code was not handled correctly leading to infinite loops in some
cases.

5 years ago[mc] Really fix DW_AT_high_pc for DWARF4
Gabriel Corona [Thu, 27 Mar 2014 09:58:54 +0000 (10:58 +0100)]
[mc] Really fix DW_AT_high_pc for DWARF4

In DWARF4, DW_AT_high_pc can be an offset from DW_AT_low_pc instead of
a relocatable address.

MC works with DWARF4!

5 years agoFix parameter names.
Arnaud Giersch [Wed, 26 Mar 2014 19:05:48 +0000 (20:05 +0100)]
Fix parameter names.

5 years agoFix directories for bug-17312.
Arnaud Giersch [Wed, 26 Mar 2014 19:01:30 +0000 (20:01 +0100)]
Fix directories for bug-17312.

Also add --cfg=smpi/cpu_threshold:-1 and --log=smpi_kernel.thres:warning
to the command line.

5 years agofix 'make dist', stupid me
Martin Quinson [Wed, 26 Mar 2014 17:03:47 +0000 (18:03 +0100)]
fix 'make dist', stupid me

5 years agointegrate the testcase of #17132 into our testsuite
Martin Quinson [Wed, 26 Mar 2014 16:57:28 +0000 (17:57 +0100)]
integrate the testcase of #17132 into our testsuite

5 years agoFinalize reservation surf plugin
Paul Bédaride [Wed, 26 Mar 2014 16:03:08 +0000 (17:03 +0100)]
Finalize reservation surf plugin

5 years agoAdd networkCommunicateCallback, NetworkLink::updateLatency and NetworkLink::updateBan...
Paul Bédaride [Wed, 26 Mar 2014 16:02:09 +0000 (17:02 +0100)]
Add networkCommunicateCallback, NetworkLink::updateLatency and NetworkLink::updateBandwidth methods

5 years agoChange StateChanged callback signatures
Paul Bédaride [Tue, 25 Mar 2014 09:42:44 +0000 (10:42 +0100)]
Change StateChanged callback signatures

5 years agoFix Workstation::fileRcopy
Pierre Veyre [Wed, 26 Mar 2014 11:37:33 +0000 (12:37 +0100)]
Fix Workstation::fileRcopy

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 25 Mar 2014 14:22:11 +0000 (15:22 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoFinalises MSG_file_rcopy() and MSG_file_rmove()
Pierre Veyre [Tue, 25 Mar 2014 14:21:46 +0000 (15:21 +0100)]
Finalises MSG_file_rcopy() and MSG_file_rmove()

5 years agoMerge branch 'mc++'
Gabriel Corona [Tue, 25 Mar 2014 13:19:58 +0000 (14:19 +0100)]
Merge branch 'mc++'

5 years ago[mc] Fix warning on pointer/integer/address conversion
Gabriel Corona [Tue, 25 Mar 2014 12:57:42 +0000 (13:57 +0100)]
[mc] Fix warning on pointer/integer/address conversion

5 years ago[mc] Handle DW_AT_high_pc as offset for DWARF4
Gabriel Corona [Tue, 25 Mar 2014 11:11:15 +0000 (12:11 +0100)]
[mc] Handle DW_AT_high_pc as offset for DWARF4

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 25 Mar 2014 10:39:44 +0000 (11:39 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoprepare MSG_file_rcopy()
Pierre Veyre [Tue, 25 Mar 2014 10:39:35 +0000 (11:39 +0100)]
prepare MSG_file_rcopy()

5 years agoprepare Workstation::fileRcopy()
Pierre Veyre [Tue, 25 Mar 2014 10:37:21 +0000 (11:37 +0100)]
prepare Workstation::fileRcopy()

5 years ago[mc] Fix DW_OP_addr to translate address into virtual address space
Gabriel Corona [Tue, 25 Mar 2014 10:12:39 +0000 (11:12 +0100)]
[mc] Fix DW_OP_addr to translate address into virtual address space

For shared objects, the address is in fact an offset from the base
address of the mapped shared object:

    real_address = shared_object_address + address

5 years agompich tests : Use the manually privatized version of mtest.c file if mmap is not...
Augustin Degomme [Tue, 25 Mar 2014 10:09:46 +0000 (11:09 +0100)]
mpich tests : Use the manually privatized version of mtest.c file if mmap is not available

5 years ago[mc] Fix DW_OP_call_frame_cfa
Gabriel Corona [Tue, 25 Mar 2014 09:10:43 +0000 (10:10 +0100)]
[mc] Fix DW_OP_call_frame_cfa

UNW_X86_64_CFA does not work as expected

5 years ago[mc] Fix broken DW_OP_call_frame_cfa
Gabriel Corona [Tue, 25 Mar 2014 08:10:30 +0000 (09:10 +0100)]
[mc] Fix broken DW_OP_call_frame_cfa

For some reason, it seems the value of CFA is still wrong but it might
come from somewhere else.

5 years agoAdd java surf plugin to reserve bandwidth
Paul Bédaride [Mon, 24 Mar 2014 16:21:27 +0000 (17:21 +0100)]
Add java surf plugin to reserve bandwidth

5 years agoAvoid to fill up the disks of build daemons with core files.
Arnaud Giersch [Mon, 24 Mar 2014 14:39:24 +0000 (15:39 +0100)]
Avoid to fill up the disks of build daemons with core files.

5 years agoFix doxygen comment: parameter does not exist.
Arnaud Giersch [Mon, 24 Mar 2014 14:37:09 +0000 (15:37 +0100)]
Fix doxygen comment: parameter does not exist.

5 years ago[mc] Fix handling of inlined subroutines in MC_ignore_local_variable
Gabriel Corona [Mon, 24 Mar 2014 12:27:33 +0000 (13:27 +0100)]
[mc] Fix handling of inlined subroutines in MC_ignore_local_variable

The matching of function name was incorrecy in
MC_ignore_local_variable(): when the variable is in an inlined
subroutine, the function name was compared against the name of its
containing non-inlined subprogram (DW_TAG_subprogram) instead of the
name of the inlined subroutine (DW_TAG_inlined_subroutine).

5 years ago[mc] Attach correct namespaced name in inlined subroutine (DW_TAG_inlined_subroutine)
Gabriel Corona [Mon, 24 Mar 2014 12:08:04 +0000 (13:08 +0100)]
[mc] Attach correct namespaced name in inlined subroutine (DW_TAG_inlined_subroutine)

5 years ago[mc] Replace frame->frame (frame *name*) by frame->subprogram (dw_type_t)
Gabriel Corona [Mon, 24 Mar 2014 11:37:33 +0000 (12:37 +0100)]
[mc] Replace frame->frame (frame *name*) by frame->subprogram (dw_type_t)

5 years ago[mc] Process nested-scopes
Gabriel Corona [Mon, 24 Mar 2014 11:28:05 +0000 (12:28 +0100)]
[mc] Process nested-scopes

5 years ago[mc] Remove MC_dwarf_get_variable_by_name (unused)
Gabriel Corona [Mon, 24 Mar 2014 10:59:07 +0000 (11:59 +0100)]
[mc] Remove MC_dwarf_get_variable_by_name (unused)

5 years ago[mc] Fix handling of DW_AT_high_pc
Gabriel Corona [Mon, 24 Mar 2014 10:43:08 +0000 (11:43 +0100)]
[mc] Fix handling of DW_AT_high_pc

DW_AT_high_pc is the first address which is not in the range and not
the last address in the range.

5 years ago[mc] Rename frame->start into frame->id
Gabriel Corona [Mon, 24 Mar 2014 10:38:43 +0000 (11:38 +0100)]
[mc] Rename frame->start into frame->id

5 years ago[mc] Remove frame->end field which was not used anymore
Gabriel Corona [Mon, 24 Mar 2014 10:36:55 +0000 (11:36 +0100)]
[mc] Remove frame->end field which was not used anymore

5 years agoRemoves MSG_storage_file_rename()
Pierre Veyre [Mon, 24 Mar 2014 10:41:45 +0000 (11:41 +0100)]
Removes MSG_storage_file_rename()
Implements MSG_file_move()

5 years ago[mc] Process nested scopes DWARF informations
Gabriel Corona [Mon, 24 Mar 2014 10:23:28 +0000 (11:23 +0100)]
[mc] Process nested scopes DWARF informations

Subprograms contains scopes (with variables) and scope contains other
scopes as well. They are represented by the same data structure
dw_frame_t. Scopes might be :

  * DW_TAG_lexical_scope;
  * DW_try_block;
  * DW_catch_block;
  * DW_with_stmt (partial support);
  * DW_inlined_subroutine.

The scopes informations are stored but they are not used yet.

5 years ago[mc] Fix memory leaks
Gabriel Corona [Mon, 24 Mar 2014 09:25:52 +0000 (10:25 +0100)]
[mc] Fix memory leaks

5 years ago[mc] Documentation
Gabriel Corona [Mon, 24 Mar 2014 09:21:32 +0000 (10:21 +0100)]
[mc] Documentation

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Mon, 24 Mar 2014 07:46:39 +0000 (08:46 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agofix the dist target after my last header move
Martin Quinson [Sun, 23 Mar 2014 18:17:00 +0000 (19:17 +0100)]
fix the dist target after my last header move

5 years agomove back the protected interface of platforms to the non-public area
Martin Quinson [Sun, 23 Mar 2014 15:23:07 +0000 (16:23 +0100)]
move back the protected interface of platforms to the non-public area

And have the public surf_routing.h use the public interface of
platforms instead of the protected one.

5 years agoHave smpi_bench.c see HAVE_MMAP flag
degomme [Sun, 23 Mar 2014 00:27:59 +0000 (01:27 +0100)]
Have smpi_bench.c see HAVE_MMAP flag
The way internal_config.h is not included in lots of files may cause bugs..
Shouldn't we pass flags through CFLAGS instead ?

5 years agoMissing dependency (fix parallel builds).
Arnaud Giersch [Sat, 22 Mar 2014 22:47:27 +0000 (23:47 +0100)]
Missing dependency (fix parallel builds).

5 years agoAdd missing files for javadoc.
Arnaud Giersch [Sat, 22 Mar 2014 22:34:28 +0000 (23:34 +0100)]
Add missing files for javadoc.

5 years agoFix doxygen comments.
Arnaud Giersch [Sat, 22 Mar 2014 22:25:13 +0000 (23:25 +0100)]
Fix doxygen comments.

5 years agoMissing XBT_LOG_CONNECTs.
Arnaud Giersch [Sat, 22 Mar 2014 22:21:55 +0000 (23:21 +0100)]
Missing XBT_LOG_CONNECTs.

5 years agoMove win32_ucontext.h to private area.
Arnaud Giersch [Sat, 22 Mar 2014 22:20:21 +0000 (23:20 +0100)]
Move win32_ucontext.h to private area.

5 years agoHeader platf_interface.h needs to be public (included from surf_routing.h).
Arnaud Giersch [Sat, 22 Mar 2014 22:06:44 +0000 (23:06 +0100)]
Header platf_interface.h needs to be public (included from surf_routing.h).

5 years agoDon't include private header from public ones.
Arnaud Giersch [Sat, 22 Mar 2014 22:00:32 +0000 (23:00 +0100)]
Don't include private header from public ones.

5 years agoDisable mmalloc when !HAVE_MC.
Arnaud Giersch [Sat, 22 Mar 2014 21:30:51 +0000 (22:30 +0100)]
Disable mmalloc when !HAVE_MC.

Avoid useless dependencies on libdw.
Mmalloc is not needed without MC.

5 years agomove unused variable
degomme [Sat, 22 Mar 2014 10:48:43 +0000 (11:48 +0100)]
move unused variable

5 years agoprotect against not mmap-enabled systems
degomme [Sat, 22 Mar 2014 10:44:29 +0000 (11:44 +0100)]
protect against not mmap-enabled systems

5 years agoFix dist.
Arnaud Giersch [Fri, 21 Mar 2014 19:58:43 +0000 (20:58 +0100)]
Fix dist.

5 years agoHave some mpich3 tests use the automatic privatization instead of manual one.
Augustin Degomme [Fri, 21 Mar 2014 15:40:24 +0000 (16:40 +0100)]
Have some mpich3 tests use the automatic privatization instead of manual one.
Add some fortran tests which were buggy and needed privatization as well.

5 years agoAdd a first draft for automatic privatization of global variables for smpi.
Augustin Degomme [Fri, 21 Mar 2014 15:38:45 +0000 (16:38 +0100)]
Add a first draft for automatic privatization of global variables for smpi.
Activated with --cfg="smpi/privatize_global_variables":yes
This will read executable (using objdump for now), find addresses of .data and .bss segments and for each process (even 0 for now) copy all this data inside an mmaped zone
Each time the simulated process executes some code, or each time we copy data from these zones, the data segment is mmaped from the one of the corresponding process.

5 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Fri, 21 Mar 2014 15:24:51 +0000 (16:24 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

5 years agoFix leaks and invalid read
Pierre Veyre [Fri, 21 Mar 2014 15:23:49 +0000 (16:23 +0100)]
Fix leaks and invalid read

5 years ago[mc] Avoid heap collisions by using a bigger gap bewteen the two heaps
Gabriel Corona [Fri, 21 Mar 2014 14:42:53 +0000 (15:42 +0100)]
[mc] Avoid heap collisions by using a bigger gap bewteen the two heaps

5 years ago[mc] Flag state hashing (model-check/hash) as experimental
Gabriel Corona [Fri, 21 Mar 2014 11:50:58 +0000 (12:50 +0100)]
[mc] Flag state hashing (model-check/hash) as experimental