[mc] Remove remaining parts of the single-process mode

[Cmake] small cleanup

Why is the directive loading Java cruft hidden in the file building the lib?
And while is that file dupplicated and only partially adapted to windows??
Aaah, my eyes! it burns!!

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

don't tell 165 times that we need CMAKE v2.6

Disable lazy relocation in the model-ched process.

We don't want the model-checked process to modify its .got.plt during
snapshot.

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

[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid usage of MUTEX operations with DPOR

- DPOR currently does not handle SIMCALL_MUTEX operations;

- MUTEX_TRYLOCK should be visible: depending on the interleavigns it
  might succeed or fail.

cmake: move some bits to a better location

enough. I cant remember what good this broken chunk is supposed to bring. Kill it.

another try to fix the compilation on travis

-if (CMAKE_COMPILER_IS_GNUCC)
+if(${CMAKE_C_COMPILER_ID} STREQUAL "GNU")

The worse is that this is not a stupid attempt. According to
http://www.cmake.org/pipermail/cmake/2013-October/056081.html , CMake
2.8.2 learned about "Clang", so only versions older than that would
think the compiler is "GNU"...

Cmake is really depressive.

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

[smpi] Fix compilation

[smpi] Avoid locking the mutex when it's not needed

This is more MC-friendly.

some traces have TAB instead of space after %

[mc] Add tests to show that DPOR is guilty of mutex mis-handling

In fact SIMCALL_MUTEX_LOCK is handled but not in DPOR.

[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK

Update .gitignore

[mc] Add a test to examplify that we should handle mutex operations in MC

In this test, we have two senders sending one message to a common
receiver.  The receiver should be able to see any ordering between the
two messages.  If we model-check the application with assertions on a
specific order of the messages (see the assertions in the receiver
code), it should fail because both ordering are possible.

If the senders sends the message directly, the current version of the
MC finds that the ordering may differ and the MC find a
counter-example.

However, if the senders send the message in a mutex, the MC always let
the first process take the mutex because it thinks that the effect of
a mutex is purely local: the ordering of the messages is always the
same and the MC does not find the counter-example.

smpirun: Option to run the child in foreground

This is disables the cleanup of the child process but gives it access
to the TTY (GDB!). I guess we cannot have both in sh.

smpirun: Raise the same signal we received

smpirun: cleanup files and children before dying

This avoid letting a lot of temp files and/or running processes after
one's death.

This used to happen a lot when the the smpirun process was killed by
tesh on timeout (filling the CI server with a lot of garbage).

[travis] make VERBOSE=1

Try to move the change of linker after the fortran madness

Let's see if it solves the regression on Travis introduced by
3fa08f69b66a84472bc1805a9e1ac86741b00780

tesh: Let a grace period of 1s for the child process to die properly

kill an unused macro

move another gcc version check in the right location

sort a bit the cmake file

uniformize simcall_comm_send() and simcall_comm_recv()

Recv now takes the receiver as first argument, and it should be able
to receive on a remote process.

I tried to remove the sender argument out of send(), but it's used in
SMPI when using RMA and I don't want to dig into it today.

spellcheck

kill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend() directly

move the cmake files in tools/cmake

[jenkins] disable MPICH3 test on coverage to avoid timeout

remove unused jenkins scripts, and document some others

Fail loudly when someone tries to unlock a mutex owned by someone else

This fixes #19500 on gforge.

rename simcall process_change_host -> process_set_host

spell check the comments

remove dupplicated dependency that is also given out of the if branches

add some more words to ignore

improve the usage message, and count the total amount of errors

this comment was seriously outdated

translate a comment

fix make dist

Cleanups in the Constant model

- Don't derive from NetworkCM02 but directly from Network
- Kill dead code: there is no link in that model
- Die if someone tries to create a link (+hint on how to fix the platform)

add a platform with routing=None

and use it in the tests based on network/model=Constant.

For some reason, I had to revalidate the tesh outputs. It shouldn't be
but I fail to see where it comes from and it *seems* harmless. Hopefuly
it is...

initialize some fields

don't redeclare globals, use headers

Reduce the amount of (protected) multiple includes

Move the #include within the multiple-inclusion protection.

Update copyright notices

Only files with an existing SimGrid copyright header and that were
already changed in 2015 were modified.

don't artificially add the current year to the copyright notices

only proceed files with an existing SimGrid copyright header

the routing 'None' must be uppercased in the XML

Remove GTNetS. It was not working anyway

Fix another typo

fix a typo

[mc] Ignore stdout/stderr of the umpire tests

The no-errors test are still broken.

[psg] add tutorial source

activates the ISP test for model-checking

[appveyor] request the image that is intended for MinGW

[appveyor] give it a try when java is not blocking the path

these are already defined in public simix.h or surf.h files

forgotten XBT_PUBLIC

disable lto for gcc 4.8 too

[appveyor] show compile command lines (plus: kill dead code)

pthread is not necessarily defined on windows

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

Actually, pthreads are not mandatory (win32_ucontext is working)

Also, Actually test on the cmake variable that we set (fix my previous
half baken cleanup/cosmetic)

[appveyor] more verbose on problems

[appveyor] copy everything from the pthread libs, not only dll

pthread is mandatory

[windows] fix a typo in 32bits detection

[mc] Fail if we can't unprotect the stack guard

[mc] Do not attempt to make the heap writeable

We add a mprotect()-based gap after the stacks (which are created on
the heap) in order to detect stack overflows but when the stack is
destroyed, the protection is removed by making the pages (part of the
heap) RW and executable. This is not a good idea :)

Apparently, it fails on Ubuntu because of PaX restrictions on
mprotect(): the mprotect calls fails, the pages are still unreadable
and unwritable and the application segfaults when a new allocation
attemps to use it.

[appveyor] dump gcc's builtins symbols

[appveyor] be more verbose about what's going on

+fix stupid typo on win error reporting

[mc] Use the real override

strdup is not part of ansi standards, and msys compiler honor the strict paranoid flags, so ask for gnu extensions

ok, it wont work with MSVC

wondering whether MinGW C headers are C++ protected :)

[appveyor] install pthread directly in mingw, not in msys

[appveyor] Get it working with MSYS (or almost)

Fix distcheck

[appveyor] configuration file

let's be brutal for now

Don't forbid the use of MSVC, to test AppVeyor

[jenkins] try to build in-source when on windows

[jenkins] ask for verbose compilations, to see what's going on on windows

Merge branches 'master' and 'master' of github.com:mquinson/simgrid

add the files bug-17132 to the tarball even if smpi is disabled

try to fix the yaml file for travis

[jenkins] Fix optimization variable name

[jenkins] Remove debugging

* update tutorial
* fix bug: add a control on the controlStepMap size

try to fix the yaml file for travis

Jenkins: sh syntax error when speaking to windows

jenkins fun

- Don't display the build mode before it's set
- On Windows, the command die does not exist

[jenkins] Workaround for Windows

[jenkins] Temporary test

[jenkins] Check build mode before making the archive

[jenkins] Display arguments passed to the script

[jenkins] Fix jenkins