[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 'master' into mc

Conflicts:
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_private.h

small cosmetics in the Changelog+NEWS files

Merge branch 'mc-perf' into mc

Fix compilation

Use the full jar here.

Add an option to control whether native libraries are bundled into jar file.

May be usefull for e.g. Debian packages.

Isolate generation of the NATIVE path for the jar file.

Now it can be obtained by running:
    java -classpath simgrid.jar org.simgrid.msg.NativeLib

Use it also when finalizing the jar file.

distcheck again.

Cosmetics.

Disk usage computation bug fix

[mc] Avoid resolving TLS over and over again

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

MSG_file_write() bug fix + tesh files improvements

Update changelog and news

Clean surf

Add script to generate multi-platform jar

Make check_dist_archive accept the newly created .gitversion.

Changelog update

this was not needed anymore

Add .gitversion to dist

[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers

Avoid doing the binary search twice.

Fix warnings with make simgrid_documentation.

FIX: forget to update filename in DefinePackage.cmake

Add SG version and Git version in MANIFEST.MF

Fix MSG_storage_get_proporties() bug

[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

Missing commit for introduce model specific properties for storage_type

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

Introduce model specific properties for storage_type

Cleanup.

Update changelog

Fix normalize-pointers script

Inform user when model-checking has been disabled because of HAVE_MMALLOC.

Also use HAVE_MC instead on enable_model-checking in cmake's final report.

Fix some overflows in msg_vm on 32bits archs.

Reindent function.

[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

Remove obsolete comment.

Remove useless length modifier 'l' in %l[efg] for printf.

It's indeed wrong in C90, and useless in C99.

Fill java-cloud-migration tesh file

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

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

fix debug log

Fix java cloud migration test - Adrien

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

Fix java cloud

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

Fix msg-cloud-simple-vm tesh

Fix java example (still something weird related to the net BW between peers for migration tests) - adsein

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

Fix doxygen

host data comeback as property 'data'

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

Add doc for new models and simcall

Clean surf cpu cas01

protect smpi against problems with replay+collectives.
Previous protection was ignoring NULL as a buffer.
But some collective algorithms use chunks of data from the buffer, instead, trying to use NULL+offset as an address.

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

[mc] Disable MC_DEBUG (enabled by mistake)

Typo: it's --log with two dashes.

Sort output on 1st char to distinguish kernel output from application output.

Application output comes from stdout and sometimes does not interleave well
with xbt log output which come from stderr.

Print messages on stderr so that they're correctly interleaved with xbt log outputs.

Example was removed.

Cast enum to int.

Not sure if it's correct, but it's certainly not worse as before commit
48f8aa92514a5d0245b115263082b368f072c43e (Remove vm set state simcall)
which broke builds with clang.

Remove old files.

Use host's RngStream, instead of creating another one.

It was already done in commit 2b9e15c1a85e32f98027ba1f1ce99bed29490f49
(Fix the parallel execution for the bittorrent example.), but lost by commit
d55f9548c659a1e31267748bde0f8bc9846cd1d4 (-Cleaning a bit the code).

Fix random lookup in chord example.

Use the same trick as in commit 2b9e15c1a85e32f98027ba1f1ce99bed29490f49
(Fix the parallel execution for the bittorrent example.)

Fix parallel tests for chord.

Verify that we got the expected answer, by checking ans_data->type.

The expected task may have been destroyed at line 413, and then
recycled at line 594, giving the same pointer.

The problem sometimes happened with parallel tests.

enforce the use of the routing attribute of an AS, as stated in the doc (avoid defaulting to None, which is juste here to crash)

Allow receives to be posted before send in smpi tracing.

Fix Remove host data

Fix simcalls without BODY

Remove comm destroy simcall

Remove unused include

Remove vm set state simcall

Remove host data and had JAVA_HOST_LEVEL

Remove masterslave virtual machine old example

Use XBT_INFO only after MSG_init, so that log parameters given on the command line are taken into account.

Fix: missing ifdef

Fix NS3 and latency bound tracking

Unify surf action_cost type

Clean bound in surf

Remove lmm_elem_set_value (Not used)

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

Don't completely short-circuit these loops!

We really need some validated tesh files for cloud/vm examples to detect
such stupid mistakes.