Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
6 years ago[mc] Make an option for file descriptor snapshot (off by default)
Gabriel Corona [Thu, 12 Feb 2015 10:21:37 +0000 (11:21 +0100)]
[mc] Make an option for file descriptor snapshot (off by default)

This option is currently not supported in client/server mode.

6 years ago[mc] Mark some issues as fixed
Gabriel Corona [Tue, 10 Feb 2015 14:52:09 +0000 (15:52 +0100)]
[mc] Mark some issues as fixed

6 years ago[mc] Server side symbol evaluation
Gabriel Corona [Tue, 10 Feb 2015 13:37:10 +0000 (14:37 +0100)]
[mc] Server side symbol evaluation

This is currently only handled for symbols represented as variables
(opposed to symbols represented as callbacks): in order to evaluate
the callback we will have to ask the MCed to evaluate the callback for
us and send us the result back.

6 years ago[mc] Register symbols as pointers in the examples
Gabriel Corona [Tue, 10 Feb 2015 11:32:34 +0000 (12:32 +0100)]
[mc] Register symbols as pointers in the examples

6 years ago[mc] Extend xbt_propositional_symbols
Gabriel Corona [Tue, 10 Feb 2015 11:19:20 +0000 (12:19 +0100)]
[mc] Extend xbt_propositional_symbols

Add support for:

 * general callbacks with a `void*` argument (the `data` field);

 * as an optimisation, a simple pointer to a variable can be passed in
   the `data` field (this can be used in order to enable the MCer to
   fetch the data directly from the MCed memory without trigerring a
   MCed-side callback);

 * a callback function used to free the `data` field.

6 years ago[mc] Cleanup heap switching code
Gabriel Corona [Tue, 10 Feb 2015 08:41:53 +0000 (09:41 +0100)]
[mc] Cleanup heap switching code

6 years ago[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and MC_MESSAGE_UNIGNORE_HEAP
Gabriel Corona [Fri, 6 Feb 2015 14:55:48 +0000 (15:55 +0100)]
[mc] Add MCer handling for MC_MESSAGE_IGNORE_HEAP and MC_MESSAGE_UNIGNORE_HEAP

6 years ago(wip) Move the MCed public API in the same file
Gabriel Corona [Fri, 6 Feb 2015 13:58:15 +0000 (14:58 +0100)]
(wip) Move the MCed public API in the same file

6 years ago[mc] New message for stack_area
Gabriel Corona [Fri, 6 Feb 2015 13:26:20 +0000 (14:26 +0100)]
[mc] New message for stack_area

6 years ago[mc] Flag global variables in mc_ignore as belonging to the MCer
Gabriel Corona [Fri, 6 Feb 2015 12:55:18 +0000 (13:55 +0100)]
[mc] Flag global variables in mc_ignore as belonging to the MCer

6 years ago[mc] Communicate MC_remove_ignore_heap to the remote model-checker
Gabriel Corona [Fri, 6 Feb 2015 11:58:46 +0000 (12:58 +0100)]
[mc] Communicate MC_remove_ignore_heap to the remote model-checker

6 years ago[mc] Do not call malloc_no_memset in mc_snapshot
Gabriel Corona [Fri, 6 Feb 2015 11:08:12 +0000 (12:08 +0100)]
[mc] Do not call malloc_no_memset in mc_snapshot

The main code should not called mmalloc/mmfree/mmrealloc directly
because it will fail in client/server mode: the server does not have
separate heap and will choke on this.

Replace mmalloc_no_memset with malloc_no_memset which does the right
thing:

  * either call mmalloc_no_memset;

  * or call malloc.

6 years ago[mc] Implement remote support for MC_ignore
Gabriel Corona [Fri, 6 Feb 2015 10:29:56 +0000 (11:29 +0100)]
[mc] Implement remote support for MC_ignore

6 years ago[mc] Move mc_model_checker in its own .c file
Gabriel Corona [Fri, 6 Feb 2015 09:52:48 +0000 (10:52 +0100)]
[mc] Move mc_model_checker in its own .c file

6 years ago[mc] Communication of heap_area_to_ignore to the remote MCer
Gabriel Corona [Thu, 5 Feb 2015 14:03:51 +0000 (15:03 +0100)]
[mc] Communication of heap_area_to_ignore to the remote MCer

6 years ago[mc] Define one struct per MC message type
Gabriel Corona [Thu, 5 Feb 2015 14:03:36 +0000 (15:03 +0100)]
[mc] Define one struct per MC message type

6 years ago[mc] Move MC_init_pid outside of mc_server
Gabriel Corona [Tue, 3 Feb 2015 14:44:28 +0000 (15:44 +0100)]
[mc] Move MC_init_pid outside of mc_server

6 years ago[mc] Remove some functions in mc_server
Gabriel Corona [Tue, 3 Feb 2015 14:36:02 +0000 (15:36 +0100)]
[mc] Remove some functions in mc_server

6 years ago[mc] Basic infrastructure for a real model-checker process
Gabriel Corona [Tue, 3 Feb 2015 10:26:44 +0000 (11:26 +0100)]
[mc] Basic infrastructure for a real model-checker process

The model checker process communicates with the model-checked
application using socket (and wait). Currently it waits for the MCed
process initialisation and fetch its system state, DWARF information,
etc but does not do anything else.

The previous (standalone) mode is currently used by default. The new
behaviour is triggered with the SIMGRID_MC_MODE=server
environment. The idea is to keep the standalone version at least as
long as the new version is not stable/working.

6 years agoEnable C++11
Gabriel Corona [Mon, 2 Feb 2015 13:37:28 +0000 (14:37 +0100)]
Enable C++11

6 years ago[mc] Remove useless code in ~DWARF test
Gabriel Corona [Fri, 30 Jan 2015 12:51:07 +0000 (13:51 +0100)]
[mc] Remove useless code in ~DWARF test

6 years ago[mc] Remote unwinding support
Gabriel Corona [Mon, 19 Jan 2015 14:54:13 +0000 (15:54 +0100)]
[mc] Remote unwinding support

The contexts are still read directly from the current process memory
however.

6 years ago[mc] Make a copy of the libunwind context when snapshoting the stacks
Gabriel Corona [Fri, 23 Jan 2015 09:11:15 +0000 (10:11 +0100)]
[mc] Make a copy of the libunwind context when snapshoting the stacks

The libunwind cursors used in `mc_snapshot_stack_t` were referencing
the real/live libunwind contexts: this is wrong because those contexts
change with the simulated application. Instead, we need to take a copy
of the context.

6 years ago[mc] Add some comments
Gabriel Corona [Fri, 16 Jan 2015 13:10:13 +0000 (14:10 +0100)]
[mc] Add some comments

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

6 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

6 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

6 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

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

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

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

6 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()

6 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

6 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}

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

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

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

6 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

6 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

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

6 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()

6 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

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

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

6 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

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

6 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

6 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

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

6 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

6 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

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

6 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

6 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

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

6 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

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

6 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

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

6 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

6 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

6 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

6 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

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

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

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

6 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 :-(

6 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

6 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

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

7 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

7 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

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

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

7 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

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

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

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

7 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

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

7 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

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

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

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

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

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

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

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

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

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

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

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

7 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

7 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

7 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

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

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

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

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

7 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