Arnaud Giersch [Mon, 10 Mar 2014 10:52:51 +0000 (11:52 +0100)]
Maestro can't be it's own parent. Use -1 for its PPID.
Pierre Veyre [Mon, 10 Mar 2014 13:55:06 +0000 (14:55 +0100)]
MSG_storages_as_dynar() bug fix
Gabriel Corona [Mon, 10 Mar 2014 12:53:28 +0000 (13:53 +0100)]
[mc] Pass arguments everywhere in the state comparator code
A reference to the snapshot will be needed to resolve complexe
locations.
Pierre Veyre [Mon, 10 Mar 2014 11:42:56 +0000 (12:42 +0100)]
Add SD_storage_get_host() and MSG_storage_get_host()
Pierre Veyre [Mon, 10 Mar 2014 10:53:54 +0000 (11:53 +0100)]
Fix comments
Pierre Veyre [Mon, 10 Mar 2014 10:46:33 +0000 (11:46 +0100)]
MSG_host_get_attached_storage_list and SD_workstation_get_attached_storage_list bug fix
Gabriel Corona [Mon, 10 Mar 2014 09:47:15 +0000 (10:47 +0100)]
[mc] Remove useless code in MC_unwind_stack_frame
Gabriel Corona [Mon, 10 Mar 2014 09:24:26 +0000 (10:24 +0100)]
[mc] DW_OP_deref
This is used when using C++ inheritance.
Arnaud Giersch [Sat, 8 Mar 2014 22:09:41 +0000 (23:09 +0100)]
Filename is not valid anymore after MSG_file_close.
Arnaud Giersch [Sat, 8 Mar 2014 22:08:29 +0000 (23:08 +0100)]
Free all fields for file.
Arnaud Giersch [Sat, 8 Mar 2014 22:04:29 +0000 (23:04 +0100)]
Key may be part of obj, remove it at the last.
Arnaud Giersch [Sat, 8 Mar 2014 21:43:14 +0000 (22:43 +0100)]
Free file_lib on exit.
Arnaud Giersch [Sat, 8 Mar 2014 17:41:06 +0000 (18:41 +0100)]
Fix doxygen warnings.
Arnaud Giersch [Sat, 8 Mar 2014 17:28:21 +0000 (18:28 +0100)]
Cosmetics.
Martin Quinson [Sat, 8 Mar 2014 20:18:35 +0000 (21:18 +0100)]
kill an unused private field
Martin Quinson [Sat, 8 Mar 2014 18:12:39 +0000 (19:12 +0100)]
kill some unused static functions
Martin Quinson [Sat, 8 Mar 2014 17:55:14 +0000 (18:55 +0100)]
ignore more generated files
Martin Quinson [Sat, 8 Mar 2014 17:47:30 +0000 (18:47 +0100)]
Cosmetics: add some break statement at the end of switches' branches
This is to please eclipse source analyser, and yeah this can reduce
future bug introduction if another case is added afterward... Well,
could be.
Martin Quinson [Sat, 8 Mar 2014 17:35:15 +0000 (18:35 +0100)]
signals are signed ints (we were comparing unsigned ints and signed ones)
Martin Quinson [Sat, 8 Mar 2014 17:19:59 +0000 (18:19 +0100)]
please ctest, tell me what's wrong with you
Martin Quinson [Sat, 8 Mar 2014 17:18:25 +0000 (18:18 +0100)]
kill an unused variable
Martin Quinson [Sat, 8 Mar 2014 17:04:12 +0000 (18:04 +0100)]
disable the same warnings in C++ than in C
Martin Quinson [Sat, 8 Mar 2014 16:14:02 +0000 (17:14 +0100)]
also die on warning in C++
Martin Quinson [Sat, 8 Mar 2014 16:07:43 +0000 (17:07 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sat, 8 Mar 2014 16:07:07 +0000 (17:07 +0100)]
my setup of eclipse
Arnaud Giersch [Fri, 7 Mar 2014 15:07:32 +0000 (16:07 +0100)]
Die immediately with an explicit message when MPI_Init was given a NULL parameter.
Gabriel Corona [Fri, 7 Mar 2014 13:48:01 +0000 (14:48 +0100)]
[mc] Remove old code (mc_location_t)
Gabriel Corona [Fri, 7 Mar 2014 13:07:36 +0000 (14:07 +0100)]
[mc] Use new expression evaluation code frame_base
Paul Bédaride [Fri, 7 Mar 2014 12:31:37 +0000 (13:31 +0100)]
Fix revert smx_process.c sleep modification
Paul Bédaride [Fri, 7 Mar 2014 10:44:38 +0000 (11:44 +0100)]
Fix cluster hostnames in documentation
Pierre Veyre [Fri, 7 Mar 2014 11:57:42 +0000 (12:57 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Fri, 7 Mar 2014 11:57:14 +0000 (12:57 +0100)]
Add "attach" attribute to storage tag in platform description
Rename MSG_host_get_storage_list to MSG_host_get_mounted_storage_list
Rename SD_workstation_get_storage_list to SD_workstation_get_mounted_storage_list
Add SD_workstation_get_attached_storage_list
Add MSG_host_get_attached_storage_list
Update tesh tests and examples
Gabriel Corona [Fri, 7 Mar 2014 11:49:47 +0000 (12:49 +0100)]
[mc] Implement DW_OP_call_frame_cfa using libunwind
This is used by DWARF4 for DW_AT_frame_base.
We need to implement this in order to use the new DWARf expression
code for DW_AT_frame_base resolution (used in DWARF4
libpthread_nonshared.a).
Paul Bédaride [Fri, 7 Mar 2014 09:30:17 +0000 (10:30 +0100)]
Add msg process test and fix ppid of created processes
Gabriel Corona [Fri, 7 Mar 2014 10:29:07 +0000 (11:29 +0100)]
[mc] Use new DWARF expression code for variables
Pierre Veyre [Thu, 6 Mar 2014 15:01:51 +0000 (16:01 +0100)]
Msg_file refactoring
Arnaud Giersch [Thu, 6 Mar 2014 14:22:35 +0000 (15:22 +0100)]
SIMIX_process_create returns nothing.
Gabriel Corona [Thu, 6 Mar 2014 14:06:56 +0000 (15:06 +0100)]
[mc] Partial implementation of DWARF expression evaluator
In order to resolve complexe location expressions of (C++ object)
inheritance relationships, it is necessary to implement a real DWARF
expression stack machine.
Arnaud Giersch [Thu, 6 Mar 2014 14:00:24 +0000 (15:00 +0100)]
Use sensible values for arities of config elements.
Closes bug #16538.
Marion Guthmuller [Tue, 18 Feb 2014 14:33:43 +0000 (15:33 +0100)]
model-checker : minor fix
Gabriel Corona [Thu, 6 Mar 2014 12:29:59 +0000 (13:29 +0100)]
Merge branch 'mc' into mc++
Gabriel Corona [Thu, 6 Mar 2014 12:25:38 +0000 (13:25 +0100)]
[mc] Fix bug when trying to handle DW_OP_regN in MC_dwarf_resolve_location
MC_dwarf_resolve_location is supposed to return the *address* of a
given variable. However, the DW_OP_regN returned the value of the
register and not an address address of a variable with its content.
It should be possible to get such an addresse (the registers are saved
on the stack) but the feature does not seem to be implemented in
libunwind.
Gabriel Corona [Thu, 6 Mar 2014 12:07:19 +0000 (13:07 +0100)]
[mc] Support DWARF4 DW_FORM_sec_offset (found in libpthread_nonshared.a)
Add support to DWARF4 DW_FORM_sec_offset in order to handle DWARF4
libpthread_nonshared.a.
We do not yet handle DWARF3 and 4 but only DWARF2. It is not a big
problem as it is possible to ask GCC to generate DWARF2 with:
-gdwarf-2.
However, even with this option, some static/non-shared libraries might
be included such as libpthread_nonshared.a which might be compiled
with DWARF4 information. This happen in Debian testing (2014-03-06).
Dwarf_Attribute attr;
dwarf_attr_integrate(child, DW_AT_data_member_location, &attr);
- int form = dwarf_whatform(&attr);
+ int form = dwarf_whatform(&attr);
int klass = MC_dwarf_form_get_class(form);
switch (klass) {
case MC_DW_CLASS_EXPRLOC:
@@ -850,7 +850,8 @@ static dw_variable_t MC_die_to_variable(mc_object_info_t info, Dwarf_Die* die, D
variable->name = xbt_strdup(MC_dwarf_attr_string(die, DW_AT_name));
variable->type_origin = MC_dwarf_at_type(die);
- int klass = MC_dwarf_form_get_class(dwarf_whatform(&attr_location));
+ int form = dwarf_whatform(&attr_location);
+ int klass = form == DW_FORM_sec_offset ? MC_DW_CLASS_CONSTANT : MC_dwarf_form_get_class(form);
switch (klass) {
case MC_DW_CLASS_EXPRLOC:
case MC_DW_CLASS_BLOCK:
@@ -882,8 +883,8 @@ static dw_variable_t MC_die_to_variable(mc_object_info_t info, Dwarf_Die* die, D
variable->location = MC_dwarf_get_location_list(info, die, &attr_location);
break;
default:
- xbt_die("Unexpected calss 0x%x (%i) list for location in <%p>%s",
- klass, klass, (void*) variable->dwarf_offset, variable->name);
+ xbt_die("Unexpected form 0x%x (%i), class 0x%x (%i) list for location in <%p>%s",
+ form, form, klass, klass, (void*) variable->dwarf_offset, variable->name);
}
// The current code needs a variable name,
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Correctly destroy tasks.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Display proper execution status.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Wait for isends, and destroy comms.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Destroy tasks if sending has failed.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Variable "duration" is never used. Remove it.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Remove unused variables.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Split xml files to avoid memory leaks in the parser.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Typos.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Reset task before each receive.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Fix file names: they were exchanged.
Arnaud Giersch [Thu, 6 Mar 2014 11:56:54 +0000 (12:56 +0100)]
Fix build with -Denable_jedule=ON.
Closes bug #16653.
Paul Bédaride [Wed, 5 Mar 2014 16:33:15 +0000 (17:33 +0100)]
Add msg task destroy cancel test
Paul Bédaride [Tue, 4 Mar 2014 16:17:21 +0000 (17:17 +0100)]
Add msg host on/off test
Arnaud Giersch [Wed, 5 Mar 2014 14:02:25 +0000 (15:02 +0100)]
Comment unused parameter.
Arnaud Giersch [Wed, 5 Mar 2014 13:59:14 +0000 (14:59 +0100)]
Fix another null dereference.
Also remove useless variables.
Arnaud Giersch [Wed, 5 Mar 2014 10:51:50 +0000 (11:51 +0100)]
Fix test bogus-missing-gateway.
Arnaud Giersch [Wed, 5 Mar 2014 10:51:17 +0000 (11:51 +0100)]
Avoid to dereference null pointers.
Arnaud Giersch [Wed, 5 Mar 2014 10:49:26 +0000 (11:49 +0100)]
Check if p_routingTable is null in AsFull::~AsFull.
Arnaud Giersch [Wed, 5 Mar 2014 10:41:46 +0000 (11:41 +0100)]
Add test for missing dst gateway too.
Arnaud Giersch [Wed, 5 Mar 2014 09:30:51 +0000 (10:30 +0100)]
Don't dereference null pointer.
Thanks to Stéphane Castelli.
Gabriel Corona [Mon, 3 Mar 2014 14:59:15 +0000 (15:59 +0100)]
[mc] Add support for DW_TAG_unspecified_type (nullptr_t in C++11)
Gabriel Corona [Mon, 3 Mar 2014 12:30:45 +0000 (13:30 +0100)]
[mc] Bring back old code for MPI_Finalize (disabled)
Some test (probenull) do not terminate with the new code of
MPI_Finalize.
Martin Quinson [Fri, 28 Feb 2014 12:42:50 +0000 (13:42 +0100)]
fix the dist target
Martin Quinson [Fri, 28 Feb 2014 11:03:50 +0000 (12:03 +0100)]
add a test reproducing the issue experienced by Luke Bertot
Martin Quinson [Fri, 28 Feb 2014 10:41:14 +0000 (11:41 +0100)]
Rename a test to clearly show that it should properly detect bogus input files
Martin Quinson [Fri, 28 Feb 2014 10:34:26 +0000 (11:34 +0100)]
hide some new advanced variables in CMake
Martin Quinson [Fri, 28 Feb 2014 10:33:58 +0000 (11:33 +0100)]
ignore some more example binaries
Martin Quinson [Fri, 28 Feb 2014 09:04:36 +0000 (10:04 +0100)]
obvious typo
Gabriel Corona [Fri, 28 Feb 2014 08:33:45 +0000 (09:33 +0100)]
Merge branch 'mc++' into mc-merge
Gabriel Corona [Mon, 24 Feb 2014 09:10:56 +0000 (10:10 +0100)]
[mc] Fix broken tests with surf++ (because simcall number have changed)
* do not print the simcall numbers as they are not stable;
* remove them from test expected output of tests.
Gabriel Corona [Tue, 25 Feb 2014 14:42:10 +0000 (15:42 +0100)]
[mc] Log some information for the prefiltering phase of state comparator
Martin Quinson [Fri, 28 Feb 2014 07:46:11 +0000 (08:46 +0100)]
get the doc in sync with what happens in code (thanks to Luke Berthot for the report)
Augustin Degomme [Thu, 27 Feb 2014 16:59:25 +0000 (17:59 +0100)]
Don't change the address of the buffer of the MPI_Request for a send, as it may be reused.
Augustin Degomme [Thu, 27 Feb 2014 15:42:58 +0000 (16:42 +0100)]
Change the way persistent MPI_Request are handled after their use.
Augustin Degomme [Thu, 27 Feb 2014 09:29:01 +0000 (10:29 +0100)]
generalize behavior of commit
3391e81 to other test/wait functions
Arnaud Giersch [Thu, 27 Feb 2014 13:48:21 +0000 (14:48 +0100)]
Some cleanup in FindNS3.cmake.
Paul Bédaride [Wed, 26 Feb 2014 09:52:32 +0000 (10:52 +0100)]
Clean surf code
Augustin Degomme [Tue, 25 Feb 2014 13:58:50 +0000 (14:58 +0100)]
Persistent comms may be reused after a wait, do not put their handle to MPI_REQUEST_NULL
Gabriel Corona [Tue, 25 Feb 2014 12:21:12 +0000 (13:21 +0100)]
[mc] Handle DW_TAG_class_type as DW_TAG_structure_type (C++)
Gabriel Corona [Tue, 25 Feb 2014 12:09:35 +0000 (13:09 +0100)]
Merge branch 'mc' into mc++
Gabriel Corona [Tue, 25 Feb 2014 11:49:58 +0000 (12:49 +0100)]
Merge bugfix from branch mc-refactor
Conflicts:
src/xbt/mmalloc/mm_diff.c
Gabriel Corona [Tue, 25 Feb 2014 11:47:47 +0000 (12:47 +0100)]
Merge branches 'mc'
Gabriel Corona [Tue, 25 Feb 2014 11:47:17 +0000 (12:47 +0100)]
[mc] Fix format strings
Gabriel Corona [Tue, 25 Feb 2014 11:38:24 +0000 (12:38 +0100)]
Merge bugfix
Gabriel Corona [Tue, 25 Feb 2014 11:36:26 +0000 (12:36 +0100)]
[mc] Fix buf introduces by previous commit
Comparing a size with a DIE tag.
Gabriel Corona [Tue, 25 Feb 2014 11:32:34 +0000 (12:32 +0100)]
[mc] Handle reference_type and rvalue_reference_type as pointer_type (C++)
Gabriel Corona [Tue, 25 Feb 2014 10:03:38 +0000 (11:03 +0100)]
[mc] Skip declaration of data_members (C++)
Skip declaration in in header:
struct foo {
[...]
static int bar
}
We are interested in (.cpp):
int foo:bar = 42;
Gabriel Corona [Tue, 25 Feb 2014 09:51:50 +0000 (10:51 +0100)]
[mc] Skip variables/members which are compile time constants
The current code expect location for each variable/member and it is
missing for constants.
Gabriel Corona [Tue, 25 Feb 2014 09:36:35 +0000 (10:36 +0100)]
[mc] Fix typos
A dwarg is a mix of a dwarf and a warg?
Gabriel Corona [Tue, 25 Feb 2014 09:16:28 +0000 (10:16 +0100)]
[mc] Handle DW_AT_start_scope (for constants)
Gabriel Corona [Tue, 25 Feb 2014 08:55:45 +0000 (09:55 +0100)]
[mc] Handle DW_TAG_namespace (C++)
Marion Guthmuller [Mon, 24 Feb 2014 17:44:02 +0000 (18:44 +0100)]
model-checker : smpi examples for the communication pattern detection
Marion Guthmuller [Mon, 24 Feb 2014 17:40:20 +0000 (18:40 +0100)]
model-checker : print comm pattern
Marion Guthmuller [Mon, 24 Feb 2014 17:39:18 +0000 (18:39 +0100)]
model-checker : use separate configuration flags for comm determinism and send determinism detection
Marion Guthmuller [Mon, 24 Feb 2014 16:03:37 +0000 (17:03 +0100)]
model-checker : check if action not NULL before using it
Gabriel Corona [Mon, 24 Feb 2014 14:11:40 +0000 (15:11 +0100)]
[mc] Basic namespace support (for types)
Augustin Degomme [Mon, 24 Feb 2014 15:17:25 +0000 (16:17 +0100)]
lots and lots of changes