Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years agomore gitignore
Martin Quinson [Sun, 6 Sep 2015 19:20:46 +0000 (21:20 +0200)]
more gitignore

5 years ago[travis] don't fail so miserably on mac
Martin Quinson [Sat, 5 Sep 2015 20:55:36 +0000 (22:55 +0200)]
[travis] don't fail so miserably on mac

5 years ago[travis] don't try to use apt-get on mac
Martin Quinson [Sat, 5 Sep 2015 20:51:52 +0000 (22:51 +0200)]
[travis] don't try to use apt-get on mac

5 years ago[mc] Remove the --cfg=model-check:1 flag
Gabriel Corona [Tue, 1 Sep 2015 11:44:07 +0000 (13:44 +0200)]
[mc] Remove the --cfg=model-check:1 flag

It is not useless: model-checking is enabled when we use the simgrid-mc wrapper.

5 years ago[mc] Remove remaining parts of the single-process mode
Gabriel Corona [Tue, 1 Sep 2015 11:11:10 +0000 (13:11 +0200)]
[mc] Remove remaining parts of the single-process mode

5 years ago[Cmake] small cleanup
Martin Quinson [Mon, 31 Aug 2015 23:58:50 +0000 (01:58 +0200)]
[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!!

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 31 Aug 2015 10:10:15 +0000 (12:10 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agodon't tell 165 times that we need CMAKE v2.6
Martin Quinson [Sun, 30 Aug 2015 10:07:56 +0000 (12:07 +0200)]
don't tell 165 times that we need CMAKE v2.6

5 years agoDisable lazy relocation in the model-ched process.
Gabriel Corona [Fri, 28 Aug 2015 11:40:04 +0000 (13:40 +0200)]
Disable lazy relocation in the model-ched process.

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

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 28 Aug 2015 09:15:11 +0000 (11:15 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years ago[mc] Make SIMCALL_MUTEX_TRYLOCK visible and forbid usage of MUTEX operations with...
Gabriel Corona [Fri, 28 Aug 2015 09:01:45 +0000 (11:01 +0200)]
[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.

5 years agocmake: move some bits to a better location
Martin Quinson [Fri, 28 Aug 2015 06:38:34 +0000 (08:38 +0200)]
cmake: move some bits to a better location

5 years agoenough. I cant remember what good this broken chunk is supposed to bring. Kill it.
Martin Quinson [Thu, 27 Aug 2015 21:21:43 +0000 (23:21 +0200)]
enough. I cant remember what good this broken chunk is supposed to bring. Kill it.

5 years agoanother try to fix the compilation on travis
Martin Quinson [Thu, 27 Aug 2015 21:03:25 +0000 (23:03 +0200)]
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.

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 27 Aug 2015 17:46:10 +0000 (19:46 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years ago[smpi] Fix compilation
Gabriel Corona [Thu, 27 Aug 2015 12:53:09 +0000 (14:53 +0200)]
[smpi] Fix compilation

5 years ago[smpi] Avoid locking the mutex when it's not needed
Gabriel Corona [Thu, 27 Aug 2015 11:31:57 +0000 (13:31 +0200)]
[smpi] Avoid locking the mutex when it's not needed

This is more MC-friendly.

5 years agosome traces have TAB instead of space after %
Lucas Schnorr [Tue, 25 Aug 2015 17:09:19 +0000 (14:09 -0300)]
some traces have TAB instead of space after %

5 years ago[mc] Add tests to show that DPOR is guilty of mutex mis-handling
Gabriel Corona [Tue, 25 Aug 2015 14:19:20 +0000 (16:19 +0200)]
[mc] Add tests to show that DPOR is guilty of mutex mis-handling

In fact SIMCALL_MUTEX_LOCK is handled but not in DPOR.

5 years ago[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK
Gabriel Corona [Tue, 25 Aug 2015 13:48:00 +0000 (15:48 +0200)]
[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK

5 years agoUpdate .gitignore
Gabriel Corona [Tue, 25 Aug 2015 11:40:23 +0000 (13:40 +0200)]
Update .gitignore

5 years ago[mc] Add a test to examplify that we should handle mutex operations in MC
Gabriel Corona [Tue, 25 Aug 2015 11:10:16 +0000 (13:10 +0200)]
[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.

5 years agosmpirun: Option to run the child in foreground
Gabriel Corona [Tue, 25 Aug 2015 07:44:18 +0000 (09:44 +0200)]
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.

5 years agosmpirun: Raise the same signal we received
Gabriel Corona [Tue, 25 Aug 2015 07:35:48 +0000 (09:35 +0200)]
smpirun: Raise the same signal we received

5 years agosmpirun: cleanup files and children before dying
Gabriel Corona [Mon, 24 Aug 2015 11:57:53 +0000 (13:57 +0200)]
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).

5 years ago[travis] make VERBOSE=1
Martin Quinson [Mon, 24 Aug 2015 09:02:46 +0000 (11:02 +0200)]
[travis] make VERBOSE=1

5 years agoTry to move the change of linker after the fortran madness
Martin Quinson [Mon, 24 Aug 2015 08:51:47 +0000 (10:51 +0200)]
Try to move the change of linker after the fortran madness

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

5 years agotesh: Let a grace period of 1s for the child process to die properly
Gabriel Corona [Mon, 24 Aug 2015 08:46:44 +0000 (10:46 +0200)]
tesh: Let a grace period of 1s for the child process to die properly

5 years agokill an unused macro
Martin Quinson [Sun, 23 Aug 2015 21:09:01 +0000 (23:09 +0200)]
kill an unused macro

5 years agomove another gcc version check in the right location
Martin Quinson [Thu, 20 Aug 2015 20:47:27 +0000 (22:47 +0200)]
move another gcc version check in the right location

5 years agosort a bit the cmake file
Martin Quinson [Wed, 19 Aug 2015 20:53:52 +0000 (22:53 +0200)]
sort a bit the cmake file

5 years agouniformize simcall_comm_send() and simcall_comm_recv()
Martin Quinson [Sun, 16 Aug 2015 16:31:54 +0000 (18:31 +0200)]
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.

5 years agospellcheck
Martin Quinson [Sun, 16 Aug 2015 15:56:04 +0000 (17:56 +0200)]
spellcheck

5 years agokill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend() directly
Martin Quinson [Sun, 16 Aug 2015 15:32:51 +0000 (17:32 +0200)]
kill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend() directly

5 years agomove the cmake files in tools/cmake
Martin Quinson [Wed, 12 Aug 2015 19:11:44 +0000 (21:11 +0200)]
move the cmake files in tools/cmake

5 years ago[jenkins] disable MPICH3 test on coverage to avoid timeout
Martin Quinson [Tue, 11 Aug 2015 18:53:03 +0000 (20:53 +0200)]
[jenkins] disable MPICH3 test on coverage to avoid timeout

5 years agoremove unused jenkins scripts, and document some others
Martin Quinson [Tue, 11 Aug 2015 17:39:45 +0000 (19:39 +0200)]
remove unused jenkins scripts, and document some others

5 years agoFail loudly when someone tries to unlock a mutex owned by someone else
Martin Quinson [Tue, 11 Aug 2015 17:10:04 +0000 (19:10 +0200)]
Fail loudly when someone tries to unlock a mutex owned by someone else

This fixes #19500 on gforge.

5 years agorename simcall process_change_host -> process_set_host
Martin Quinson [Sun, 9 Aug 2015 17:48:43 +0000 (19:48 +0200)]
rename simcall process_change_host -> process_set_host

5 years agospell check the comments
Martin Quinson [Sun, 9 Aug 2015 10:19:38 +0000 (12:19 +0200)]
spell check the comments

5 years agoremove dupplicated dependency that is also given out of the if branches
Martin Quinson [Sat, 8 Aug 2015 19:18:23 +0000 (21:18 +0200)]
remove dupplicated dependency that is also given out of the if branches

5 years agoadd some more words to ignore
Martin Quinson [Sat, 8 Aug 2015 17:14:45 +0000 (19:14 +0200)]
add some more words to ignore

5 years agoimprove the usage message, and count the total amount of errors
Martin Quinson [Sat, 8 Aug 2015 17:14:35 +0000 (19:14 +0200)]
improve the usage message, and count the total amount of errors

5 years agothis comment was seriously outdated
Martin Quinson [Sat, 8 Aug 2015 16:54:40 +0000 (18:54 +0200)]
this comment was seriously outdated

5 years agotranslate a comment
Martin Quinson [Sat, 8 Aug 2015 16:52:17 +0000 (18:52 +0200)]
translate a comment

5 years agofix make dist
Martin Quinson [Fri, 7 Aug 2015 13:51:58 +0000 (15:51 +0200)]
fix make dist

5 years agoCleanups in the Constant model
Martin Quinson [Wed, 5 Aug 2015 23:38:46 +0000 (01:38 +0200)]
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)

5 years agoadd a platform with routing=None
Martin Quinson [Wed, 5 Aug 2015 23:35:46 +0000 (01:35 +0200)]
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...

5 years agoinitialize some fields
Martin Quinson [Wed, 5 Aug 2015 22:55:24 +0000 (00:55 +0200)]
initialize some fields

5 years agodon't redeclare globals, use headers
Martin Quinson [Wed, 5 Aug 2015 22:54:44 +0000 (00:54 +0200)]
don't redeclare globals, use headers

5 years agoReduce the amount of (protected) multiple includes
Martin Quinson [Wed, 5 Aug 2015 22:52:49 +0000 (00:52 +0200)]
Reduce the amount of (protected) multiple includes

Move the #include within the multiple-inclusion protection.

5 years agoUpdate copyright notices
Martin Quinson [Wed, 5 Aug 2015 21:48:42 +0000 (23:48 +0200)]
Update copyright notices

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

5 years agodon't artificially add the current year to the copyright notices
Martin Quinson [Wed, 5 Aug 2015 21:37:43 +0000 (23:37 +0200)]
don't artificially add the current year to the copyright notices

5 years agoonly proceed files with an existing SimGrid copyright header
Martin Quinson [Wed, 5 Aug 2015 11:01:36 +0000 (13:01 +0200)]
only proceed files with an existing SimGrid copyright header

5 years agothe routing 'None' must be uppercased in the XML
Martin Quinson [Wed, 5 Aug 2015 08:43:13 +0000 (10:43 +0200)]
the routing 'None' must be uppercased in the XML

5 years agoRemove GTNetS. It was not working anyway
Martin Quinson [Sat, 1 Aug 2015 17:47:52 +0000 (19:47 +0200)]
Remove GTNetS. It was not working anyway

5 years agoFix another typo
Gabriel Corona [Thu, 30 Jul 2015 19:42:28 +0000 (21:42 +0200)]
Fix another typo

5 years agofix a typo
Martin Quinson [Thu, 30 Jul 2015 17:13:19 +0000 (19:13 +0200)]
fix a typo

5 years ago[mc] Ignore stdout/stderr of the umpire tests
Gabriel Corona [Thu, 30 Jul 2015 10:08:13 +0000 (12:08 +0200)]
[mc] Ignore stdout/stderr of the umpire tests

The no-errors test are still broken.

5 years ago[psg] add tutorial source
kbaati [Thu, 30 Jul 2015 09:46:24 +0000 (11:46 +0200)]
[psg] add tutorial source

5 years agoactivates the ISP test for model-checking
Martin Quinson [Wed, 29 Jul 2015 22:06:57 +0000 (00:06 +0200)]
activates the ISP test for model-checking

5 years ago[appveyor] request the image that is intended for MinGW
Martin Quinson [Wed, 29 Jul 2015 10:52:17 +0000 (12:52 +0200)]
[appveyor] request the image that is intended for MinGW

5 years ago[appveyor] give it a try when java is not blocking the path
Martin Quinson [Wed, 29 Jul 2015 10:15:21 +0000 (12:15 +0200)]
[appveyor] give it a try when java is not blocking the path

5 years agothese are already defined in public simix.h or surf.h files
degomme [Wed, 29 Jul 2015 09:28:22 +0000 (11:28 +0200)]
these are already defined in public simix.h or surf.h files

5 years agoforgotten XBT_PUBLIC
degomme [Wed, 29 Jul 2015 09:27:48 +0000 (11:27 +0200)]
forgotten XBT_PUBLIC

5 years agodisable lto for gcc 4.8 too
Martin Quinson [Wed, 29 Jul 2015 08:46:57 +0000 (10:46 +0200)]
disable lto for gcc 4.8 too

5 years ago[appveyor] show compile command lines (plus: kill dead code)
Martin Quinson [Tue, 28 Jul 2015 22:53:16 +0000 (00:53 +0200)]
[appveyor] show compile command lines (plus: kill dead code)

5 years agopthread is not necessarily defined on windows
Martin Quinson [Tue, 28 Jul 2015 22:23:38 +0000 (00:23 +0200)]
pthread is not necessarily defined on windows

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 28 Jul 2015 22:18:37 +0000 (00:18 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoActually, pthreads are not mandatory (win32_ucontext is working)
Martin Quinson [Tue, 28 Jul 2015 22:17:43 +0000 (00:17 +0200)]
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)

5 years ago[appveyor] more verbose on problems
Martin Quinson [Tue, 28 Jul 2015 14:38:19 +0000 (16:38 +0200)]
[appveyor] more verbose on problems

5 years ago[appveyor] copy everything from the pthread libs, not only dll
Martin Quinson [Tue, 28 Jul 2015 14:35:06 +0000 (16:35 +0200)]
[appveyor] copy everything from the pthread libs, not only dll

5 years agopthread is mandatory
Martin Quinson [Tue, 28 Jul 2015 14:31:31 +0000 (16:31 +0200)]
pthread is mandatory

5 years ago[windows] fix a typo in 32bits detection
Martin Quinson [Tue, 28 Jul 2015 12:53:17 +0000 (14:53 +0200)]
[windows] fix a typo in 32bits detection

5 years ago[mc] Fail if we can't unprotect the stack guard
Gabriel Corona [Tue, 28 Jul 2015 12:24:07 +0000 (14:24 +0200)]
[mc] Fail if we can't unprotect the stack guard

5 years ago[mc] Do not attempt to make the heap writeable
Gabriel Corona [Tue, 28 Jul 2015 12:15:03 +0000 (14:15 +0200)]
[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.

5 years ago[appveyor] dump gcc's builtins symbols
Martin Quinson [Tue, 28 Jul 2015 12:44:45 +0000 (14:44 +0200)]
[appveyor] dump gcc's builtins symbols

5 years ago[appveyor] be more verbose about what's going on
Martin Quinson [Tue, 28 Jul 2015 12:05:13 +0000 (14:05 +0200)]
[appveyor] be more verbose about what's going on

+fix stupid typo on win error reporting

5 years ago[mc] Use the real override
Gabriel Corona [Tue, 28 Jul 2015 11:37:12 +0000 (13:37 +0200)]
[mc] Use the real override

5 years agostrdup is not part of ansi standards, and msys compiler honor the strict paranoid...
Martin Quinson [Tue, 28 Jul 2015 11:28:28 +0000 (13:28 +0200)]
strdup is not part of ansi standards, and msys compiler honor the strict paranoid flags, so ask for gnu extensions

5 years agook, it wont work with MSVC
Martin Quinson [Tue, 28 Jul 2015 11:11:47 +0000 (13:11 +0200)]
ok, it wont work with MSVC

5 years agowondering whether MinGW C headers are C++ protected :)
Martin Quinson [Tue, 28 Jul 2015 11:01:56 +0000 (13:01 +0200)]
wondering whether MinGW C headers are C++ protected :)

5 years ago[appveyor] install pthread directly in mingw, not in msys
Martin Quinson [Tue, 28 Jul 2015 10:32:32 +0000 (12:32 +0200)]
[appveyor] install pthread directly in mingw, not in msys

5 years ago[appveyor] Get it working with MSYS (or almost)
Martin Quinson [Tue, 28 Jul 2015 07:54:26 +0000 (09:54 +0200)]
[appveyor] Get it working with MSYS (or almost)

5 years agoFix distcheck
Martin Quinson [Mon, 27 Jul 2015 23:42:40 +0000 (01:42 +0200)]
Fix distcheck

5 years ago[appveyor] configuration file
Martin Quinson [Mon, 27 Jul 2015 23:21:08 +0000 (01:21 +0200)]
[appveyor] configuration file

5 years agolet's be brutal for now
Martin Quinson [Mon, 27 Jul 2015 23:00:56 +0000 (01:00 +0200)]
let's be brutal for now

5 years agoDon't forbid the use of MSVC, to test AppVeyor
Martin Quinson [Mon, 27 Jul 2015 22:42:00 +0000 (00:42 +0200)]
Don't forbid the use of MSVC, to test AppVeyor

5 years ago[jenkins] try to build in-source when on windows
Martin Quinson [Mon, 27 Jul 2015 21:09:42 +0000 (23:09 +0200)]
[jenkins] try to build in-source when on windows

5 years ago[jenkins] ask for verbose compilations, to see what's going on on windows
Martin Quinson [Mon, 27 Jul 2015 20:18:06 +0000 (22:18 +0200)]
[jenkins] ask for verbose compilations, to see what's going on on windows

5 years agoMerge branches 'master' and 'master' of github.com:mquinson/simgrid
Martin Quinson [Mon, 27 Jul 2015 19:31:08 +0000 (21:31 +0200)]
Merge branches 'master' and 'master' of github.com:mquinson/simgrid

5 years agoadd the files bug-17132 to the tarball even if smpi is disabled
Martin Quinson [Mon, 27 Jul 2015 19:07:24 +0000 (21:07 +0200)]
add the files bug-17132 to the tarball even if smpi is disabled

5 years agotry to fix the yaml file for travis
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis

5 years ago[jenkins] Fix optimization variable name
Gabriel Corona [Mon, 27 Jul 2015 16:33:27 +0000 (18:33 +0200)]
[jenkins] Fix optimization variable name

5 years ago[jenkins] Remove debugging
Gabriel Corona [Mon, 27 Jul 2015 15:42:48 +0000 (17:42 +0200)]
[jenkins] Remove debugging

5 years ago* update tutorial
kbaati [Mon, 27 Jul 2015 15:18:24 +0000 (17:18 +0200)]
* update tutorial
* fix bug: add a control on the controlStepMap size

5 years agotry to fix the yaml file for travis
Martin Quinson [Mon, 27 Jul 2015 15:15:04 +0000 (17:15 +0200)]
try to fix the yaml file for travis

5 years agoJenkins: sh syntax error when speaking to windows
Martin Quinson [Mon, 27 Jul 2015 15:02:08 +0000 (17:02 +0200)]
Jenkins: sh syntax error when speaking to windows

5 years agojenkins fun
Martin Quinson [Mon, 27 Jul 2015 15:00:00 +0000 (17:00 +0200)]
jenkins fun

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

5 years ago[jenkins] Workaround for Windows
Gabriel Corona [Mon, 27 Jul 2015 14:50:45 +0000 (16:50 +0200)]
[jenkins] Workaround for Windows