Augustin Degomme [Wed, 12 Mar 2014 09:35:58 +0000 (10:35 +0100)]
add mpich3 topo tests
They are not built or run for now, because features are not yet implemented
Augustin Degomme [Tue, 11 Mar 2014 14:30:35 +0000 (15:30 +0100)]
Change default stack size in simgrid to 8MiB.
This should not really allocate the 8 MiB in RAM, thus occupating the same amount of real memory than before
This behavior is at least true on Linux and BSD systems
Arnaud Giersch [Tue, 11 Mar 2014 16:07:22 +0000 (17:07 +0100)]
Check for null pointer.
Arnaud Giersch [Tue, 11 Mar 2014 15:44:53 +0000 (16:44 +0100)]
Check that table[0].name is defined.
Lost bits from commit
f4d034af50e34fbac8e6cf57d767f6704dfaf49c.
Arnaud Giersch [Tue, 11 Mar 2014 15:39:54 +0000 (16:39 +0100)]
Fix dereference of a null pointer.
Pierre Veyre [Tue, 11 Mar 2014 12:35:19 +0000 (13:35 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Pierre Veyre [Tue, 11 Mar 2014 10:06:45 +0000 (11:06 +0100)]
Fix __SD_storage_create() bug
Pierre Veyre [Tue, 11 Mar 2014 10:05:18 +0000 (11:05 +0100)]
Manage storage user data at msg level
Arnaud Giersch [Tue, 11 Mar 2014 09:24:54 +0000 (10:24 +0100)]
Split another xml file (memory leaks in the parser).
Arnaud Giersch [Tue, 11 Mar 2014 08:58:29 +0000 (09:58 +0100)]
Slight reindent.
Arnaud Giersch [Tue, 11 Mar 2014 08:57:52 +0000 (09:57 +0100)]
Fix wrong timings in msg/process.tesh.
Arnaud Giersch [Tue, 11 Mar 2014 08:40:54 +0000 (09:40 +0100)]
Check if process was suspended while it was sleeping.
Closes bug #17098.
Arnaud Giersch [Tue, 11 Mar 2014 08:40:26 +0000 (09:40 +0100)]
Add some debug messages.
Arnaud Giersch [Thu, 6 Mar 2014 17:46:43 +0000 (18:46 +0100)]
Add more tests in msg-suspend.
Test is failing for now as MSG_process_suspend is ignored while the process is sleeping.
Arnaud Giersch [Mon, 10 Mar 2014 14:06:51 +0000 (15:06 +0100)]
Comment unused field when !HAVE_MC.
Arnaud Giersch [Mon, 10 Mar 2014 12:07:44 +0000 (13:07 +0100)]
Remove function SIMIX_process_create_with_parent.
Add the parameter parent_process to SIMIX_process_create.
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