Definition of a new class to represent the routing in fat trees

model-checker : add commande line in comment to run the example

model-checker : worst case considered for bugged1_liveness example (bug on the last process)

Remove useless declaration.

Add missing XBT_PUBLIC*.

Fix doc.

No need to have this variable global.

Update tesh.pl.

* avoid to launch a shell for subcommands
* improve substitutions for variables

All tests pass on Linux, let's see what's happening on windows.

Rewrite command line without using find, which is not the same on windows.

Remove warnings about unused parameters.

Add example of java cpu model

Merge remote-tracking branch 'origin/mc'

Conflicts:
src/mc/mc_checkpoint.c

add defines to windows build, to avoid breaking ucontexts examples

oops

also document torus networks

document loopback tags for clusters

Missed by previous commit.

Hope that this time win32_ucontext.h will be found.

Print output when prog_AC_CHECK_MCSC.c fails to compile.

stack-overflow tests are expected to fail on win32 too.

Try to fix MCSC check.

startsWith doesn't expect a regexp.

Since SG-java is now reintegrated into the main tree, this kind of test is not needed anymore.

Update version strings.

Force windows jar to bundle into x86, as we only build/support 32 bits version

fix surf-java library win compilation

Add one more failing test.

An assertion is failing in lmm_print when running with --log=surf.thres:debug:

** SimGrid: UNCAUGHT EXCEPTION received on ./bug-17132(0): category: unknown error; value: 0
** Incorrect value (10000000000.000002 is not smaller than 10000000000.000000): 1.90735e-06
** Thrown by () in this process
[0.000013] [...]/src/xbt/ex.c:144: [xbt_ex/CRITICAL] Incorrect value (10000000000.000002 is not smaller than 10000000000.000000): 1.90735e-06

**   In _Z9lmm_printP10lmm_system() at [...]/src/surf/maxmin.cpp:568
**   In lmm_solve() at [...]/src/surf/maxmin.cpp:799
**   In _ZN5Model18shareResourcesLazyEd() at [...]/src/surf/surf_interface.cpp:531
**   In _ZN5Model14shareResourcesEd() at [...]/src/surf/surf_interface.cpp:512
**   In _ZN21WorkstationCLM03Model14shareResourcesEd() at [...]/src/surf/workstation_clm03.cpp:82
**   In surf_solve() at [...]/src/surf/surf_c_bindings.cpp:80
**   In SIMIX_run() at [...]/src/simix/smx_global.c:377
**   In smpi_main() at [...]/src/simgrid/sg_config.c:1001
**   In main() at [...]/src/smpi/smpi_global.c:472
Aborted

It looks like a rounding error, but I'm not sure if the problem in lmm_print
itself, or before.

Complete tesh documentation.

add a flatifying test with a multicore cluster -- it's broken for now

requests the flatifier to display the amount of core if not equal to 1

Bad news: this commit does not break the tests, meaning that we have
no flatifying test that involves multi-cores...

ignore more generated files

give SimDag the ability to retrieve the amount of cores per host

model-checker : privatization_regions in snapshot may be NULL

add missing include dir

add XBT_PUBLIC_CLASS macro, and a bunch of XBT_PUBLIC declarations
This should make surf-java swig bindings compile on Win32

[mc] Fix issues with register translation code

[mc] Fix bAd text

Merge branch 'mc'

[mc] Implement translation of register number

Libunwind and DWARF do not associated the same regsiter number (at
least in i386) so me need to translate from DWARf register numbers
into libunwind register numbers.

Fix broken expression evaluation on i386.

oops, forgot to perform the actual change of path in 3854ce9a5 .

line not needed without the handler, and SIGSTKSZ is not defined on win32

file win32_ucontext.h was moved by 6e893f95c
oops, this changes the endlines ... let's say it's wanted.

fix compil of smpi_bench.c on win32

get page size info on win32

disable segv handler and guards on windows platforms

Remove unused default constructors.

Factorize initializations for Action constructors.

Also initialize m_hat to NOTSET.

[mc] Fix MC_free_snapshot (NP reading NULL snapshot->privatization_regions)

Fix memory leak on file_unlink.

Older gcc warns that variable may be uninitialized. Initialize it.

[mc] Make snapshots compatible with SMPI privatization of global variables

Not handled yet:
* State comparaison is not handled in this commit;
* Address process/snapshot translation support.

Still to do: make a clean API for the privatization.

Have an informative final message.

Distinguish between time precision and sharing precision.
- Set up two distinct configuration variables and use them in the right places
- Set them to legacy values especially in smpirun
- Revalidate tesh files accordingly (only the "Configuration change" message)

Use more explicit variable names and add a bit of debug.

There is still something "wrong" with this code, which is that it aborts whenever an action gets a share of 0 (in which case I am not able to assign it a completion date and insert it into the calendar). This could happen but is more likely to be a bug in lmm or in surf, which is why I leave it as such for the moment.

Fix bug #17132 (surf.c:366: The Impossible Did Happen (yet again)).

This occured only when a fatpipe had two (or more) flows with different bandwidth bounds. Only one would get bandwidth and because of early termination in this loop, the constraint was never considered ever again, hence the other flow would stay with a share of 0.

Add more debug

Start documenting how lmm works

[mc] Initialize expression->ops before calling mc_dwarf_expression_init.

Fix MSG_file_rcopy() and MSG_file_rmove()

Check if MAP_ANONYMOUS is defined after including sys/mman.h.

Some systems define MAP_ANON instead of MAP_ANOYMOUS.

Update copyright headers.

Cosmetics: move SimGrid copyright on top.

Rename msg_storage_priv->host by msg_storage_priv->hostname
Improve MSG_file_read() and MSG_file_write()

Change MSG_file_unlink() return type

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

remove  MSG_file_ls()

Remove binary file.

Remove XBT_INFO call

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

Add bug-17132 tesh suite

Revert "Remove XBT_INFO call"

This commit changes much much more than wanted. In particular, it
reverts several changes done in the tree recently. I assume that the
merge that occured just before this commit went awfully wrong,
actually.

That's ok, shit happens, don't worry.

Nevertheless, I revert this commit when it's still possible, before
the first unrelated commit on top of it. Pierre, please, pick your
changes back from the diff, and resubmit them.

This reverts commit f9e6853d2c5b7b867211700bc12f0ee57f640b30.

Remove XBT_INFO call

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

Improve MSG_file_read() and MSG_file_write()

Improve error message.

Fix bug with Java bindings on 32-bit systems.

On 32-bit systems, sizeof(NetworkLink*) < sizeof(jlong), and the elements must
be copied one by one.

[mc] Reduce stack_size for tests mc-bugged*.

Default stack size was recently increased from 128KiB to 8MiB,
which is a bit too much on small machines (e.g. on CI).

Reduce it to 256KiB (2 times the old size) for tests mc-bugged*.

[mc] Better fix for compatibility with old/broken version of dwarf.h.

Avoids to use a hardcoded value.

Remove benchmarking calls in MPI functions that don't actually perform comms and are not traced,
We don't need to halt processes and trigger context switches for them (and privatization switches).
This should improve SMPI performance a little.

forgotten useless line (should not do anything with our sets of flags for mmapped pages)

[mc] Fix type conversion in unit test

[mc] Fix type conversion (once again)

[mc] Fix type conversion

[mc] Fix type conversions

privatization : perform the initialization at process launch, not at MPI_Init time
Also switch at destroy time, to avoid deallocation problems in user code

replace warnings by debug messages

[mc] Change type for type->id

model-checker : smpi mutual exclusion example

[mc] Fix type of expression resolution methods (uintpt_t and not Dwarf_Off)

[mc] Fix compatibility with old/broken version of dwarf.h

[mc] Kernel Samepage Merging support (Linux)

Add MADV_MERGEABLE advice (madvise) for KSM in the heaps and
read/write segments: mark these regions of memory as candidate for
KSM. As the stacks are stored on the heap, they are candidate for KSM
as well.

In order to work, KSM must be enabled on the system (by root):

    # Enable:
    echo 1 > /sys/kernel/mm/ksm/run
    # Do some real work:
    echo 10000 > /sys/kernel/mm/ksm/pages_to_scan

See Documentation/vm/ksm.txt:

  https://www.kernel.org/doc/Documentation/vm/ksm.txt

We would like to only mark the .data+.bss and not the other sections
of the segment.

[mc] Comment unhandled rangelistptr class in DW_AT_start_scope

[mc] Correctly handle the end of the stack unwinding

unw_step returns 0 when reaching the bottom of the stack: this return
code was not handled correctly leading to infinite loops in some
cases.

[mc] Really fix DW_AT_high_pc for DWARF4

In DWARF4, DW_AT_high_pc can be an offset from DW_AT_low_pc instead of
a relocatable address.

MC works with DWARF4!

Fix parameter names.

Fix directories for bug-17312.

Also add --cfg=smpi/cpu_threshold:-1 and --log=smpi_kernel.thres:warning
to the command line.

fix 'make dist', stupid me

integrate the testcase of #17132 into our testsuite

Finalize reservation surf plugin

Add networkCommunicateCallback, NetworkLink::updateLatency and NetworkLink::updateBandwidth methods