Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years ago[mc] Create a separate simgrid-mc program
Gabriel Corona [Fri, 9 Jan 2015 15:04:25 +0000 (16:04 +0100)]
[mc] Create a separate simgrid-mc program

We create a separate program for the model-checker. The goal is that
this program will:

  - prepare the environment for the child/main process (environment
    variables, maybe LD_PRELOAD a library, pass file descriptors);

  - hold all the model-checker state;

  - communicate with the child process;

  - handle some part of the snapshoting/restoration logic;

  - handle the state comparison logic.

Currently it only enables the custom heap in the child process.

5 years ago[mc] Remove remaining bits on hardcoded object list
Gabriel Corona [Fri, 9 Jan 2015 10:18:26 +0000 (11:18 +0100)]
[mc] Remove remaining bits on hardcoded object list

5 years ago[mc] Add some FIXMEs for cross-process support
Gabriel Corona [Fri, 19 Dec 2014 10:56:52 +0000 (11:56 +0100)]
[mc] Add some FIXMEs for cross-process support

5 years ago[mc] Cross-process support for MC_ignore
Gabriel Corona [Fri, 19 Dec 2014 08:51:16 +0000 (09:51 +0100)]
[mc] Cross-process support for MC_ignore

5 years ago[mc] Implements privatization support for MC_process_read
Gabriel Corona [Thu, 18 Dec 2014 15:03:03 +0000 (16:03 +0100)]
[mc] Implements privatization support for MC_process_read

This is currently needed for cross-process MC in order to read the
heap state.

5 years ago[mc] Abstract the process and a snapshot types with a address_space superclass
Gabriel Corona [Tue, 16 Dec 2014 12:06:37 +0000 (13:06 +0100)]
[mc] Abstract the process and a snapshot types with a address_space superclass

Add a `address_space`, superclass of `process` and  `snapshot`.

In order to do this, the contract of MC_process_read and
MC_snapshot_read has been uniformized:

  * the order of arguments has been harmonized;

  * a new flag MC_ADDRESS_SPACE_READ_FLAGS_LAZY is used to avoid copy
    when the data is in the current memory;

  * MC_NO_PROCESS_INDEX has been renamed into MC_PROCESS_INDEX_MISSING;

  * MC_ANY_PROCESS_INDEX has been renamed into MC_PROCESS_INDEX_ANY;

  * MC_PROCESS_INDEX_DISABLED is used to access the raw address space
    (without privatisation support);

  * `const void*` is used instead of `void*` when it possible.

Soem cleanup things are still to be done:

 * remove special NULL handling;

 * add support for SMPI privatization in the process object.

5 years ago[mc] More comments for mc_dwarf_execute_expression()
Gabriel Corona [Tue, 16 Dec 2014 11:05:14 +0000 (12:05 +0100)]
[mc] More comments for mc_dwarf_execute_expression()

Give some basic explanation about the DWARF operations.

5 years ago[mc] Add more information about mc_dwarf_register_to_libunwind()
Gabriel Corona [Tue, 16 Dec 2014 10:34:38 +0000 (11:34 +0100)]
[mc] Add more information about mc_dwarf_register_to_libunwind()

5 years ago[mc] Support for reading heap state from another process
Gabriel Corona [Thu, 11 Dec 2014 12:14:32 +0000 (13:14 +0100)]
[mc] Support for reading heap state from another process

5 years ago[mc] Fix error handling in MC_process{read,write}
Gabriel Corona [Thu, 11 Dec 2014 13:51:39 +0000 (14:51 +0100)]
[mc] Fix error handling in MC_process{read,write}

5 years ago[mc] Access memory from another process
Gabriel Corona [Tue, 9 Dec 2014 14:29:16 +0000 (15:29 +0100)]
[mc] Access memory from another process

The goal is to be able to move MC in a separate process which should
be more robust and easier to develop:

 * avoid using two heaps (which is combersome);

 * avoid weird interactions bewteen the MC and the application;

 * use optimisation for the whole MC process;

 * avoid the stack-cleaner for the whole MC process.

The functions MC_process_read and MC_process_write are defined to
abstract memory access:

 * when the target process is the current processs, they call
   `memcpy`;

 * otherwise they call `read` or `write` on `/proc/$pid/mem` (on newer
   kernels, `process_vm_readv` and `process_vm_writev`) could be used.

A lot of bits are missing such as:

 * access to `std_heap` is currently not process-aware (the current
   process is used);

 * access to SIMIX layer from MC;

 * communcation/synchronisation between the processes;

 * …

Limitations:

 * for the per-page/chunked snapshot the current implementation uses
   an extra copy (and one syscall per page), we can do better than
   this.

5 years ago[mc] Enable the custom mm malloc only in MC
Gabriel Corona [Tue, 9 Dec 2014 12:15:38 +0000 (13:15 +0100)]
[mc] Enable the custom mm malloc only in MC

We can do better in the future: we can avoid using the main mm malloc
in many cases even for MC.

5 years ago[mm] Allow to disable the mm based `malloc` at runtime
Gabriel Corona [Tue, 9 Dec 2014 11:17:18 +0000 (12:17 +0100)]
[mm] Allow to disable the mm based `malloc` at runtime

The goal is to enable the mm based `malloc` only when needed and fall
back to the (more efficient) builtin/next implementation when it is
not needed:

  * run instrospection-less jobs without it;

  * whene the MC and the application are in different processes, the
    MC will be able to run with the standard `malloc` and the
    application will use mm.

As malloc is needed very early in the application initialisation, an
environment variable is used to change the behaviour.

5 years ago[mc] Optimise most of XBT
Gabriel Corona [Tue, 9 Dec 2014 08:16:22 +0000 (09:16 +0100)]
[mc] Optimise most of XBT

5 years ago[mc] Optimise all the MC compilation units
Gabriel Corona [Mon, 8 Dec 2014 13:48:47 +0000 (14:48 +0100)]
[mc] Optimise all the MC compilation units

5 years ago[mc] Multiple .so support for region snapshots
Gabriel Corona [Fri, 5 Dec 2014 15:05:50 +0000 (16:05 +0100)]
[mc] Multiple .so support for region snapshots

The region snapshoting logic can handle a variable number of .so
files:

 * add more informations to the snapshot regions,

    * the type (heap, library/executable);

    * the correspoding library/executable;

    * the type of storage (dense/flat, chunked/sparse or privatised)
      and the type-specific variables are defined in an enum
      (variant/tagged enum).

 * SMPI privatisation snapshot regions are stored as children of a
   parent snapshot region

Limitation:

 * we might want to use a more modular/extensible approach OO for the
   snapshot region storage type instead of variant-based approach;

 * SMPI can currently only handle privatisation for the local
   variables of the executable so this is only supported in the MC as
   well for this reason but otherwise the MC is ready to support the
   SMPI privatisation of libraries.

5 years ago[mc] Multiple .so support in MC_ignore_local_variable()
Gabriel Corona [Fri, 5 Dec 2014 14:50:56 +0000 (15:50 +0100)]
[mc] Multiple .so support in MC_ignore_local_variable()

5 years ago[mc] Basic support for more other libraries than libsimgrid.so
Gabriel Corona [Thu, 4 Dec 2014 15:03:20 +0000 (16:03 +0100)]
[mc] Basic support for more other libraries than libsimgrid.so

5 years ago[mc] Move process info in a new s_mc_process_t structure
Gabriel Corona [Thu, 4 Dec 2014 10:02:16 +0000 (11:02 +0100)]
[mc] Move process info in a new s_mc_process_t structure

This is a beginning of the refactoring in order to support MC-ing a
remote process.

5 years ago[mc] Fix distcheck
Gabriel Corona [Thu, 4 Dec 2014 10:41:02 +0000 (11:41 +0100)]
[mc] Fix distcheck

5 years ago[mc] Don't include libunwind.h in non MC builds
Gabriel Corona [Thu, 4 Dec 2014 10:07:40 +0000 (11:07 +0100)]
[mc] Don't include libunwind.h in non MC builds

5 years agoMerge branch 'master'
Gabriel Corona [Thu, 4 Dec 2014 09:45:49 +0000 (10:45 +0100)]
Merge branch 'master'

5 years ago[mc] Don't use unprototyped functions
Gabriel Corona [Thu, 4 Dec 2014 09:43:01 +0000 (10:43 +0100)]
[mc] Don't use unprototyped functions

5 years ago[mc] Remove useless header #includes
Gabriel Corona [Tue, 2 Dec 2014 13:02:26 +0000 (14:02 +0100)]
[mc] Remove useless header #includes

5 years agoforgot to add this include
Augustin Degomme [Tue, 2 Dec 2014 18:17:49 +0000 (19:17 +0100)]
forgot to add this include

5 years agolet's try to please windows
Augustin Degomme [Tue, 2 Dec 2014 17:20:13 +0000 (18:20 +0100)]
let's try to please windows

5 years agoAvoid using simcalls here, as by descheduling the process, we could misplace some...
Augustin Degomme [Tue, 2 Dec 2014 14:50:12 +0000 (15:50 +0100)]
Avoid using simcalls here, as by descheduling the process, we could misplace some messages in mailboxes, and end up deadlocking.

Calling directly SIMIX functions is not really the best, but it may fix a bad heisenbug

5 years agotypos-=2
Augustin Degomme [Tue, 2 Dec 2014 14:44:45 +0000 (15:44 +0100)]
typos-=2

5 years agoavoid problem when freeing pointer with lb!=0
Augustin Degomme [Tue, 2 Dec 2014 14:44:22 +0000 (15:44 +0100)]
avoid problem when freeing pointer with lb!=0

5 years agodo the same thing as before with IB model parameters
Augustin Degomme [Mon, 1 Dec 2014 13:53:19 +0000 (14:53 +0100)]
do the same thing as before with IB model parameters

5 years ago[mc] Modularise header files for MC
Gabriel Corona [Tue, 2 Dec 2014 09:41:38 +0000 (10:41 +0100)]
[mc] Modularise header files for MC

This is a preparation step for the upcoming refactorisation of the MC
code in order to MC an external process.

5 years ago[mc] Define a type for MC object information flags
Gabriel Corona [Tue, 2 Dec 2014 09:00:28 +0000 (10:00 +0100)]
[mc] Define a type for MC object information flags

5 years ago[mc] Remove MC_ignore_global_variable() calls
Gabriel Corona [Mon, 1 Dec 2014 14:31:29 +0000 (15:31 +0100)]
[mc] Remove MC_ignore_global_variable() calls

 - compared_pointer which does not exist;
 - smpi_current_rank does not exist;
 - maestro_stack_start and mastro_stack_end doe not need to be ignored.

5 years ago[mc] Enable MC specific behaviour in replay mode
Gabriel Corona [Mon, 1 Dec 2014 12:47:04 +0000 (13:47 +0100)]
[mc] Enable MC specific behaviour in replay mode

5 years agoRevert "[mc] Enable MC specific behaviour in replay mode"
Gabriel Corona [Mon, 1 Dec 2014 13:01:43 +0000 (14:01 +0100)]
Revert "[mc] Enable MC specific behaviour in replay mode"

This reverts commit 33eca433c4f055cdfcc55e46d125f8708e1848c7.

Build is broken.

5 years ago[mc] Enable MC specific behaviour in replay mode
Gabriel Corona [Mon, 1 Dec 2014 12:47:04 +0000 (13:47 +0100)]
[mc] Enable MC specific behaviour in replay mode

5 years ago[mc] Remove useless condition check
Gabriel Corona [Mon, 1 Dec 2014 12:17:59 +0000 (13:17 +0100)]
[mc] Remove useless condition check

5 years ago[mc] Only enable the umpire test for MC builds
Gabriel Corona [Mon, 1 Dec 2014 11:33:16 +0000 (12:33 +0100)]
[mc] Only enable the umpire test for MC builds

5 years agoUse pthread mutex instead of semaphore in mm
Gabriel Corona [Thu, 27 Nov 2014 10:25:22 +0000 (11:25 +0100)]
Use pthread mutex instead of semaphore in mm

5 years agoFix dist
Gabriel Corona [Mon, 1 Dec 2014 11:16:45 +0000 (12:16 +0100)]
Fix dist

5 years agos/formated/formatted/
Gabriel Corona [Fri, 28 Nov 2014 13:38:31 +0000 (14:38 +0100)]
s/formated/formatted/

5 years ago[mc] Initial support MC record/replay
Gabriel Corona [Thu, 30 Oct 2014 13:39:17 +0000 (14:39 +0100)]
[mc] Initial support MC record/replay

The idea is to record an execution path in MC mode inorder to be able
to replay it outside of the MC (event with a non-MC build). Some very
basic (an unobtrusive) MC code is compiled even when MC is disabled.

5 years agoand now, fix the java teshsuite, re-sorry
Martin Quinson [Sat, 29 Nov 2014 13:29:31 +0000 (14:29 +0100)]
and now, fix the java teshsuite, re-sorry

I shouldnt try to hack on simgrid at week-ends :-(

5 years agofix the build of java bundles, sorry
Martin Quinson [Sat, 29 Nov 2014 13:03:13 +0000 (14:03 +0100)]
fix the build of java bundles, sorry

5 years agoDont produce that pdf output that we dont use
Martin Quinson [Sat, 29 Nov 2014 12:31:19 +0000 (13:31 +0100)]
Dont produce that pdf output that we dont use

5 years agoreindent and improve displayed message
Martin Quinson [Sat, 29 Nov 2014 10:56:42 +0000 (11:56 +0100)]
reindent and improve displayed message

5 years agoput together the java-based tests
Martin Quinson [Sat, 29 Nov 2014 10:53:58 +0000 (11:53 +0100)]
put together the java-based tests

5 years agomove smpi bandwidth and latency factors out of the ifdef HAVE_SMPI. SMPI and IB netwo...
Augustin Degomme [Fri, 28 Nov 2014 17:04:29 +0000 (18:04 +0100)]
move smpi bandwidth and latency factors out of the ifdef HAVE_SMPI. SMPI and IB network models can be used without using SMPI

5 years agoRemove warnings in vm
Augustin Degomme [Fri, 28 Nov 2014 09:29:01 +0000 (10:29 +0100)]
Remove warnings in vm

5 years agoFix dist
Augustin Degomme [Fri, 28 Nov 2014 09:20:33 +0000 (10:20 +0100)]
Fix dist

5 years agoremove potential bug / clang warning
Augustin Degomme [Tue, 25 Nov 2014 12:16:19 +0000 (13:16 +0100)]
remove potential bug / clang warning
size_t being undefined, the comparison < 0 was never true

5 years agosupport timeout of migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:24:07 +0000 (20:24 +0900)]
support timeout of migration

Fixme: The default timeout value is hard-coded. Modify it and compile
the code if necessary.

5 years agofix indent in migration code
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:14:17 +0000 (20:14 +0900)]
fix indent in migration code

5 years agoremove unnecessary comment out
Takahiro Hirofuchi [Thu, 27 Nov 2014 11:10:55 +0000 (20:10 +0900)]
remove unnecessary comment out

5 years agoremove the unnecessary vm object in migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 10:27:48 +0000 (19:27 +0900)]
remove the unnecessary vm object in migration

5 years agoremove unused code in migration
Takahiro Hirofuchi [Thu, 27 Nov 2014 08:55:02 +0000 (17:55 +0900)]
remove unused code in migration

5 years agoremove trailing space in the migration code
Takahiro Hirofuchi [Thu, 27 Nov 2014 06:49:41 +0000 (15:49 +0900)]
remove trailing space in the migration code

5 years agoremove unused migration code for CPU overheads
Takahiro Hirofuchi [Thu, 27 Nov 2014 06:28:34 +0000 (15:28 +0900)]
remove unused migration code for CPU overheads

This commit should not affect anything.

5 years ago[mc] Test if the stack-cleaner has any effect
Gabriel Corona [Mon, 24 Nov 2014 15:03:10 +0000 (16:03 +0100)]
[mc] Test if the stack-cleaner has any effect

In order to test this:

 * we compile the same test program with and without the stack cleaner
   (`-fstack-cleaner`, `-fno-stack-cleaner`);

 * in this program, we move random bytes in the stack;

 * we expect the stack-cleaner to zero them out.

This test in only used if the configure stack-cleaner is detected to
support the `-fstack-cleaner` CLI option (it is the stack-cleaner
compiler wrapper).

5 years ago[mc] Disable/enable the stack-cleaner from a CLI argument (-f[no-]stack-cleaner)
Gabriel Corona [Mon, 24 Nov 2014 14:33:47 +0000 (15:33 +0100)]
[mc] Disable/enable the stack-cleaner from a CLI argument (-f[no-]stack-cleaner)

5 years ago[mc] Fix the stack cleaner
Gabriel Corona [Mon, 24 Nov 2014 12:19:14 +0000 (13:19 +0100)]
[mc] Fix the stack cleaner

The condition was broken and the %rsp limit was too high.

5 years ago[mc] Fix umpire tests
Gabriel Corona [Mon, 24 Nov 2014 09:19:56 +0000 (10:19 +0100)]
[mc] Fix umpire tests

5 years agoMerge branch 'xp'
Gabriel Corona [Fri, 21 Nov 2014 07:56:14 +0000 (08:56 +0100)]
Merge branch 'xp'

5 years agoRevert "Temporarily disable an option"
Gabriel Corona [Fri, 21 Nov 2014 07:55:38 +0000 (08:55 +0100)]
Revert "Temporarily disable an option"

Back to normal.

5 years agoTemporarily disable an option
gabriel corona [Thu, 20 Nov 2014 15:06:21 +0000 (16:06 +0100)]
Temporarily disable an option

The option somehow changes the results in the MC from previous
experiments. It is disabled temporarily in this commit in order to be
able to reproduce those results with the new commits.

5 years agoInfrastructure for statically defined tracepoints
Gabriel Corona [Fri, 7 Nov 2014 15:17:18 +0000 (16:17 +0100)]
Infrastructure for statically defined tracepoints

3 modes are supported on compilation:

 * normal (no SDT);

 * SDT (systemtap statically defined tracepoint);

 * UST (lttng userspace static tracepoint, compatible with systemtap
   if LTTNG_UST_HAVE_SDT_INTEGRATION).

5 years ago[mc] Remove reference to DW_TAG_mutable_type:
Gabriel Corona [Tue, 18 Nov 2014 09:46:19 +0000 (10:46 +0100)]
[mc] Remove reference to DW_TAG_mutable_type:

Is was in a DWARFv3 draft but was removed from the final version: it
was removed from libdw which breaks compilation.

5 years agotypo -= 2
Martin Quinson [Tue, 18 Nov 2014 08:44:34 +0000 (09:44 +0100)]
typo -= 2

5 years agoprotect these calls to smpi_datatype_size as they are not always relevant
degomme [Tue, 18 Nov 2014 07:00:13 +0000 (08:00 +0100)]
protect these calls to smpi_datatype_size as they are not always relevant

5 years agoFix problem with unknown datatypes in replay/tracing.
degomme [Mon, 17 Nov 2014 22:42:46 +0000 (23:42 +0100)]
Fix problem with unknown datatypes in replay/tracing.
When datatype was unknown to replay, it was replayed as MPI_BYTE.

This modification adds a parameter to encode_datatype, to tell tracing that the datatype size has to be taken into account in the count parameter
This results in the fact that a message of count*datatype_size being replayed as a message of (count*datatype_size)*sizeof(MPI_BYTE), which is the same.

This is not a perfect or elegant solution, but :
- it works.
- it handles manually created datatypes
- it doesn't break previously generated replay files
- it avoids testing each time 50 different datatypes (see encode_datatype function)
- the new parameter avoids doing strcmp with "-1" at each time, performance should not be too bad

5 years agoThere should not be msg datatypes here
degomme [Mon, 17 Nov 2014 22:24:32 +0000 (23:24 +0100)]
There should not be msg datatypes here

5 years ago[mm] Disable HAVE_GNU_LD code in order to get rid of the junkarea
Gabriel Corona [Mon, 17 Nov 2014 14:34:34 +0000 (15:34 +0100)]
[mm] Disable HAVE_GNU_LD code in order to get rid of the junkarea

The HAVE_GNU_LD mode of mmalloc delegates in some cases to standard
malloc()/free() which are resolved with dlsym(). This cause some
bootstrap problems which are only resolved with the junkarea: the
junkarea is regularly broken when adding dependencies because the
junkarea is then too small.

By disabling the HAVE_GNU_LD path, we get rid of the junkarea hack.

5 years agoclean after augustin, as usual
Martin Quinson [Thu, 13 Nov 2014 21:01:35 +0000 (22:01 +0100)]
clean after augustin, as usual

5 years agoRemove the unmodified NAS examples as they are really useless nowadays
Martin Quinson [Thu, 13 Nov 2014 20:59:09 +0000 (21:59 +0100)]
Remove the unmodified NAS examples as they are really useless nowadays

I'm still unsure of what to do with the modified ones. I vote for
removing them if we have enough examples already.

5 years agoRemove warning about uninitialized variable
Gabriel Corona [Thu, 13 Nov 2014 15:09:57 +0000 (16:09 +0100)]
Remove warning about uninitialized variable

5 years agoDon't use xbt_os_time() when not needed
Gabriel Corona [Thu, 13 Nov 2014 12:10:59 +0000 (13:10 +0100)]
Don't use xbt_os_time() when not needed

5 years agoFix small leak in NetworkIBModel::NetworkIBMode()
Gabriel Corona [Thu, 13 Nov 2014 11:03:11 +0000 (12:03 +0100)]
Fix small leak in NetworkIBModel::NetworkIBMode()

5 years ago[mc] Disable timer in MC
Gabriel Corona [Thu, 13 Nov 2014 09:47:20 +0000 (10:47 +0100)]
[mc] Disable timer in MC

Timers break state comparison.

5 years ago[mc] Fix distcheck
Gabriel Corona [Fri, 7 Nov 2014 13:29:06 +0000 (14:29 +0100)]
[mc] Fix distcheck

5 years ago[mc] Add useless parends to remove WTF warning-which-is-an-error
Gabriel Corona [Fri, 7 Nov 2014 12:46:51 +0000 (13:46 +0100)]
[mc] Add useless parends to remove WTF warning-which-is-an-error

5 years agoSimplify use of dict for smpi attr handling.
Augustin Degomme [Fri, 7 Nov 2014 10:46:13 +0000 (11:46 +0100)]
Simplify use of dict for smpi attr handling.
Switch from char keys to direct int keys, as in MPI, because we can, actually (with dict_ext functions)

5 years agoreplay_multiple should really work with out of build tests, now
Augustin Degomme [Fri, 7 Nov 2014 09:11:51 +0000 (10:11 +0100)]
replay_multiple should really work with out of build tests, now

5 years ago[mc] Don't fork another process in the hop spot, MC_get_current()
Gabriel Corona [Fri, 7 Nov 2014 10:30:50 +0000 (11:30 +0100)]
[mc] Don't fork another process in the hop spot, MC_get_current()

5 years agouse the manually privatized version of this algorithm only when needed.
Augustin Degomme [Thu, 6 Nov 2014 16:24:50 +0000 (17:24 +0100)]
use the manually privatized version of this algorithm only when needed.

5 years agoadd mpi_info_* support to fortran, and activate relevant tests
Augustin Degomme [Thu, 6 Nov 2014 15:08:28 +0000 (16:08 +0100)]
add mpi_info_* support to fortran, and activate relevant tests

5 years ago[mc] Fix the stack-cleaner
Gabriel Corona [Thu, 6 Nov 2014 13:14:31 +0000 (14:14 +0100)]
[mc] Fix the stack-cleaner

 * '1 => tempfile' does not work on some versions of Ruby;

 * make sure the system() arg is not passed to the shell.

5 years ago[mc] Add MC_dump_stacks
Gabriel Corona [Thu, 6 Nov 2014 11:49:45 +0000 (12:49 +0100)]
[mc] Add MC_dump_stacks

5 years agoforgot copyright info at some point ... shame
Augustin Degomme [Thu, 6 Nov 2014 10:15:25 +0000 (11:15 +0100)]
forgot copyright info at some point ... shame

5 years agouncomment some calls to free
Augustin Degomme [Thu, 6 Nov 2014 10:07:42 +0000 (11:07 +0100)]
uncomment some calls to free

5 years agoAdd mpi_info support for rma calls
Augustin Degomme [Thu, 6 Nov 2014 10:07:01 +0000 (11:07 +0100)]
Add mpi_info support for rma calls

5 years agothis test should now work with out-of-source builds
Augustin Degomme [Wed, 5 Nov 2014 12:02:46 +0000 (13:02 +0100)]
this test should now work with out-of-source builds

5 years agoreplace xbt_dynar_member by xbt_dynar_search_or_negative in this test.
Augustin Degomme [Tue, 4 Nov 2014 14:07:12 +0000 (15:07 +0100)]
replace xbt_dynar_member by xbt_dynar_search_or_negative in this test.

There is a weird bug with xbt_dynar_member on some systems.
When an exception is raised, backtracking mechanism of libc6 can cause segfaults (and valgrind complains quite a lot, even on systems where it does not crash)
Is this related to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735090 ?

example obtained stack
 Invalid read of size 4
    at 0x476E383: backtrace (backtrace.c:141)
    by 0x43DC03B: xbt_backtrace_current (backtrace_linux.c:84)
    by 0x43DB200: xbt_dynar_search (dynar.c:474)
    by 0x43DB31F: xbt_dynar_member (dynar.c:511)
    by 0x80494A3: test_launcher (host_on_off_processes.c:35)
    by 0x43C889E: smx_ctx_sysv_wrapper (smx_context_sysv.c:187)
    by 0x46B2BDA: makecontext (makecontext.S:87)

As functionality is the same, using the exception-less version of xbt_dynar_member should avoid the problem, until we find out more about it

5 years ago[mc] Fix FD checkpoint/restore
Gabriel Corona [Tue, 4 Nov 2014 11:09:07 +0000 (12:09 +0100)]
[mc] Fix FD checkpoint/restore

5 years agomodel-checker : comment debug printf
Marion Guthmuller [Tue, 4 Nov 2014 10:49:32 +0000 (11:49 +0100)]
model-checker : comment debug printf

5 years agomodel-checker : save and restore file descriptors
Marion Guthmuller [Tue, 4 Nov 2014 10:39:56 +0000 (11:39 +0100)]
model-checker : save and restore file descriptors

5 years agodeactivate test that actually needs MPI_Type_get_envelope
Augustin Degomme [Tue, 4 Nov 2014 09:20:04 +0000 (10:20 +0100)]
deactivate test that actually needs MPI_Type_get_envelope

5 years agocleanup after martin's cleanup
Augustin Degomme [Tue, 4 Nov 2014 08:51:04 +0000 (09:51 +0100)]
cleanup after martin's cleanup

5 years agoclean after augustin ;)
Martin Quinson [Mon, 3 Nov 2014 19:57:26 +0000 (20:57 +0100)]
clean after augustin ;)

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 3 Nov 2014 19:56:26 +0000 (20:56 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agofix the tesh of one last command
Martin Quinson [Mon, 3 Nov 2014 19:54:19 +0000 (20:54 +0100)]
fix the tesh of one last command

Thanks adsein for all your great work on these points.