[mc] Add location field in struct/class-members

Store location expression for fields when its location expression is
more complex than a simple offset.

Mark tests as known to fail on Mac OS X.

ChangeLog update.

Cosmetics.

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Use a smaller stack for stack-overflow test.

It is needed on FreeBSD to have a stack size < 125K to generate a SIGSEGV with
SEGV_ACCERR when using threads, and to have this test succeed.
Without that, the SIGSEGV is correctly generated, but with SEGV_MAPERR, and the
error message is not displayed.

I don't fully understand what's going on.

Check return value for posix_memalign.

Forgot to add those files.

Add test to check the stack overflow protection.

Install signal handler for SIGSEGV.

If SEGV comes from invalid permissions, hint the user at increasing stack size.

Use context/guard_size to protect context stacks against overflow.

Add a configurable number of protected pages at the top of each
stack.

Add configuration parameter for contexts/guard_size.

New function: xbt_os_thread_setguardsize (like pthread_attr_setguardsize).

Be less coarse on error recovery: try first with a multiple of pagesize.

Initialize default thread attrs in xbt_os_thread_mod_preinit.

Add proper error checking.

Parameters were in wrong order.

Cache the size of a memory page for the current system.

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Factorize valgrind stuff.

Save valgrind_stack_id on the allocated stack.

Align stack on a 16 bytes boundary in raw_makecontext.

A wrongly aligned stack may lead to segfaults.

Use surf_parse_error() rather than xbt_die() during surf parsing

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Implement a disk attachment check and add a tesh test to detect invalid platform description

Fix parameters given to MC_new_stack_area.

Also remove forward declaration for removed function.

Remove useless function: smx_ctx_sysv_create_context_sized

Use these simple smpi tests to test all context factories.

Factorize stack creation.

No need to duplicate default value.

Stack size is expressed in KiB. Keep the same unit in doc.

Free allocated string.

add mpich3 topo tests
They are not built or run for now, because features are not yet implemented

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

Check for null pointer.

Check that table[0].name is defined.

Lost bits from commit f4d034af50e34fbac8e6cf57d767f6704dfaf49c.

Fix dereference of a null pointer.

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

Fix __SD_storage_create() bug

Manage storage user data at msg level

Split another xml file (memory leaks in the parser).

Slight reindent.

Fix wrong timings in msg/process.tesh.

Check if process was suspended while it was sleeping.

Closes bug #17098.

Add some debug messages.

Add more tests in msg-suspend.

Test is failing for now as MSG_process_suspend is ignored while the process is sleeping.

Comment unused field when !HAVE_MC.

Remove function SIMIX_process_create_with_parent.

Add the parameter parent_process to SIMIX_process_create.

Maestro can't be it's own parent. Use -1 for its PPID.

MSG_storages_as_dynar() bug fix

[mc] Pass arguments everywhere in the state comparator code

A reference to the snapshot will be needed to resolve complexe
locations.

Add SD_storage_get_host() and MSG_storage_get_host()

Fix comments

MSG_host_get_attached_storage_list and SD_workstation_get_attached_storage_list bug fix

[mc] Remove useless code in MC_unwind_stack_frame

[mc] DW_OP_deref

This is used when using C++ inheritance.

Filename is not valid anymore after MSG_file_close.

Free all fields for file.

Key may be part of obj, remove it at the last.

Free file_lib on exit.

Fix doxygen warnings.

Cosmetics.

kill an unused private field

kill some unused static functions

ignore more generated files

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.

signals are signed ints (we were comparing unsigned ints and signed ones)

please ctest, tell me what's wrong with you

kill an unused variable

disable the same warnings in C++ than in C

also die on warning in C++

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

my setup of eclipse

Die immediately with an explicit message when MPI_Init was given a NULL parameter.

[mc] Remove old code (mc_location_t)

[mc] Use new expression evaluation code frame_base

Fix revert smx_process.c sleep modification

Fix cluster hostnames in documentation

Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

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

Add msg process test and fix ppid of created processes

[mc] Use new DWARF expression code for variables

Msg_file refactoring

SIMIX_process_create returns nothing.

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

Use sensible values for arities of config elements.

Closes bug #16538.

model-checker : minor fix

Merge branch 'mc' into mc++

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

[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,

Correctly destroy tasks.

Display proper execution status.

Wait for isends, and destroy comms.

Destroy tasks if sending has failed.

Variable "duration" is never used.  Remove it.

Remove unused variables.

Split xml files to avoid memory leaks in the parser.

Typos.

Reset task before each receive.