[mc] Log some information for the prefiltering phase of state comparator

[mc] Handle DW_TAG_class_type as DW_TAG_structure_type (C++)

Merge branch 'mc' into mc++

Merge bugfix from branch mc-refactor

Conflicts:
src/xbt/mmalloc/mm_diff.c

Merge branches 'mc'

[mc] Fix format strings

Merge bugfix

[mc] Fix buf introduces by previous commit

Comparing a size with a DIE tag.

[mc] Handle reference_type and rvalue_reference_type as pointer_type (C++)

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

[mc] Skip variables/members which are compile time constants

The current code expect location for each variable/member and it is
missing for constants.

[mc] Fix typos

A dwarg is a mix of a dwarf and a warg?

[mc] Handle DW_AT_start_scope (for constants)

[mc] Handle DW_TAG_namespace (C++)

model-checker : smpi examples for the communication pattern detection

model-checker : print comm pattern

model-checker : use separate configuration flags for comm determinism and send determinism detection

model-checker : check if action not NULL before using it

[mc] Basic namespace support (for types)

[mc] Do not use linkage_name as a name

If needed, it would be better to use a separate field.

[mc] Add MC_dwarf_tag_classify()

Add MC_dwarf_tag_classify(tag) which regroupe different similar
DW_TAG_* items classes. This is in preparation for upcoming
modifications of the DIE handling code.

[mc] Do not try to handle scopes inside a subprogram

The variables of a subprogram scopes were merged in the information
about subprogram without any information on its range of validity (for
which range of IP the variable is valid).

As this handling of scopes was broken, this commit ignore the scopes within a
subprogram.

We need to:

  * either add frame_t as child of frame_t to represent scope;

  * or attach validity information on each variables

    This one is needed anyway in order to handle DW_AT_start_scope.

  * or both.

    Use frame_t for DW_TAG_inlined_subprogram and validity range for
    real scope.

-    if(dwarf_offdie(dwarf, offset+length, &die)!=NULL) {
-      MC_dwarf_handle_die(info, &die, &die, NULL);
+    if(dwarf_offdie(dwarf, offset+length, &unit_die)!=NULL) {
+      Dwarf_Die child;
+      int res;
+      for (res=dwarf_child(&unit_die, &child); res==0; res=dwarf_siblingof(&child,&child)) {
+        MC_dwarf_handle_die(info, &child, &unit_die, NULL);
+      }
     }
     offset = next_offset;
   }

[mc] Use dynar instead of dict for storing functions

Multiple instances of the same function with the same name can be
found in a given program:

  * different local static functions;
  * same inline functions;
  * overloads (C++);
  * ...

[mc] Move MC_ignore_local_variable and MC_ignore_global_variable to initialisation code

[mc] Add missing DW_FORM_data1 (enable C++ support)

For some reason DW_FORM_data1 was only used in C++ compile units.

Merge branch 'mc-perf' into mc

Fix compilation

[mc] Avoid resolving TLS over and over again

[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers

Avoid doing the binary search twice.

[mc] Avoid (slow) type lookups by name or ID (xbt_dict_get_or_null)

[mc] Move mc_find_frame_base in mc_dwarf.c where it belongs

[mc] Use resolved addresses in entry.low_pc and entry.high_pc

[mc] Use resolved addresses in frame->low_pc and frame->high_pc

[mc] Do not waste time calling libunwind get_proc_name in the hot spots

In typical executions, nearly 50% of the time was spent in libunwind
get_proc_name.

The algorithm to find the function for a given IP (instruction
pointer) was:

  (proc_name, offset) = get_proc_name(ip) // Slow!
  dwarf_ip = ip - offset
  function = functions_by_name[proc_name]

We added a structure mapping IP ranges to functions and the algorithm
is now:

  function = functions_by_ip[ip]

Instead of relying on libunwind, we use the DWARF information to find
the corresponding DWARF TAG_subprogram DIEs directly.

The secution time on some MPICH tests is nearly halved.

Notes:

 * It was necessary to disable the support for inlined_subprograms
   which was broken anyway: the inlined_subprogram entries should be
   stored as children of their parent subprogram (as a block). We need
   to add support for scope blocks inside a suprogram to handle this
   correctly.

 * Currently the translation between process virtual addresses and
   DWARF virtual addresses is handled in many different places. We
   should change this to process it only when parsing the DWARF DIEs
   and be done with it.

model-checker : conflit

model-checker : minor fix

model-checker : new configuration flag for the detection of determinism in communications schemes

model-checker : remove or comment some printf

model-checker : fix comm destroy for send detached and MC enabled

model-checker : try to fix the model-checker in case of send detached

model-checker : wait with timeout is always dependant with another transition

fix debug log

model-checker : use MC_assert instead of assert for the verification of mpich3 integrated tests

[mc] Avoid parsing /proc/self/maps if possible (continued)

[mc] Fix get_object_info

Some part of the RW segment was not included (the .bss).

[mc] Avoid parsing /proc/self/maps if possible

[mc] Doxygen mc_dpor.c (and some mc_liveness.c)

[mc] Disable MC_DEBUG (enabled by mistake)

[mc] Make usage of state hash a runtime parameter (instead of compile-time)

"off" by default.

[mc] Code for evaluation of the impact of the hash

Generate log for evaluating the result of the test:
* true positive;
* true negative;
* false negative (there must not be any of them);
* false positive (should be minimised).

[mc] Cache stack unwindinwg

Too much time is spent in libunwind.

[mc] Fix broken type lookup code

Merge branch 'mc' into mc-perf

[mc] Remove useless code (get SP register)

[mc] Use optimized local implementation of libuwind (UNW_LOCAL_ONLY)

[mc] Restore old behaviour when comparing pointers leading to different segments

Do not terminate the program but assume the state is different.

[mc] Fix sefault where a variable has no name

This happen when optimisation is enabled.

As the current code needs a name for the variable, we generate a fake
one. We might want to remove this assumption.

Merge branch mc into mc-perf

[mc] Split address/location in dw_variable_t (which were in a union)

[mc] Fix segfaults when type->name==NULL

[mc] Disable communication pattern code (segfault)

[mc] Remove dead code for ignoring variables

[mc] Remove old hash code

[mc] Avoid useless zero-initialisations in the hot spot

[mc] Avoid type lookups and calls to get_type_description()

Faster and cache-friendlier.

[mc] Pass mc_object_info_t arguiments in many places intead of info->types

Preparation to remove get_type_description() calls which are very
inneficient.

[mc] Preprocess type lookup

Avoid looking up the types in the dictionnaries.

[mc] Compute a single hash (64 bits) of the current state

This is an attempt to speedup state comparison by using
a very fast first pass.

Compared to previous attempt:

* use a simple 64 bits djb2 hash instead of SHA-1;
* add has much info as possible into the hash;
* do not add anything suspicious;
* it could be used for efficient state comparison
  * index for hashtable,
  * cache-friendly data-structure.

[mc] Remove code for finding an array byte size

This was useless as it was already handled by libdw dwarf_aggregate_size.

[mc] Fix broken type in compare_heap_area_with_type

[mc] Enforce some assumption about the relationship of the compared areas in compare_areas_with_type

Compare_areas_with_type expects that either :

 * both area are in the heap;
 * both area are in the current segment R/W segment.

Otherwise, it falls back to comparing pointers.

Changes to code to fail if both areas are not in the same segment

[mc] Add comments to compare_areas_with_type

[mc] Do not ignore DW_TAG_const_type

[mc] In compare_global_variables only compare values in the R/W segment

The algorithme is only relevant if the variable is in the R/W segment
otherwise the resulting pointer will be broken and might result in a
SIGSEV.

This happen if we try to compare a pointer on the .rodata (such as
__FUNCTION__).

Values are supposed to be constant and we do not expect to find
pointers to something which is not reachable by the global variables.

[mc] DRY in snapshot_compare

[mc] Have a more complete/accurate view of an given object mapping in memory

* Change the terminology (exec/rw instead of text/data)
  as we do not have information about the sections but only
  about the segments.

 * Add information about the read only segment.

[mc] Fix element count computation for a givena array dimension

element_count = upper_bound - lower_bound + 1

and not

element_count = upper_bound - lower_bound

[mc] Fix handling of location

The handling of member offsets was broken (DW_AT_data_member_location)
and was always 0.

Add support for the class of a given attribute value.

[mc] Comment logging in order to fix the unit tests

Merge remote-tracking branch 'origin/libdw2'

[mc] Add DW_TAG_formal_parameter as variables in the frames

[mc] Use literal values in DWARF constant to name mappings

[mc] Cleanup mc_dwarf.c

[mc] Remove useless argument in MC_dwarf_at_location

[mc] Add comments/doxygen

[mc] Free memory for object_info

[mc] Remove objdump code

[mc] Remove code for location of .plt and .got.plt

This code was not used anyway. If necessary a new solution which do
not depend on objdump should be used.

[mc] Use libdw for location list

[mc] Use libdw for functions and local variables

[mc] Use libdw for global variables

[mc] Deduplicate address location resolution in MC_dwarf_resolve_location()

[mc] Remove MC_dwarf_tag_type()

[mc] Add dwarf_global field to dw_variable_t

It is a better (but not perfect) identifier for a entry.

[mc] libdwarf integration for types

[mc] Use DWARF constants for type tags

[mc] Link against libdw

[mc] Fix warnings

model-checker : first steps for the study of MPI communications patterns

[mc] Split byte_size and element_count in mc_object_info_t