Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years ago[java] strip the windows version now that it works
Martin Quinson [Tue, 6 Oct 2015 21:07:26 +0000 (23:07 +0200)]
[java] strip the windows version now that it works

5 years ago[appveyor] typo?
Martin Quinson [Tue, 6 Oct 2015 21:06:26 +0000 (23:06 +0200)]
[appveyor] typo?

5 years agoadd the ISP/UMPIRE tests to the dist in any case
Martin Quinson [Tue, 6 Oct 2015 19:43:34 +0000 (21:43 +0200)]
add the ISP/UMPIRE tests to the dist in any case

5 years ago[windows] typo breaking the build
Martin Quinson [Tue, 6 Oct 2015 19:31:57 +0000 (21:31 +0200)]
[windows] typo breaking the build

5 years agoignore generated tesh files
Martin Quinson [Tue, 6 Oct 2015 19:17:40 +0000 (21:17 +0200)]
ignore generated tesh files

5 years agoset a SimGrid identity to maestro on windows too
Martin Quinson [Tue, 6 Oct 2015 19:16:13 +0000 (21:16 +0200)]
set a SimGrid identity to maestro on windows too

5 years ago[win] I fail to disable winpthread + I think it's harmless, so re-enable it
Martin Quinson [Mon, 5 Oct 2015 23:48:24 +0000 (01:48 +0200)]
[win] I fail to disable winpthread + I think it's harmless, so re-enable it

5 years ago[appveyor] use full path to test folder
Martin Quinson [Mon, 5 Oct 2015 23:44:23 +0000 (01:44 +0200)]
[appveyor] use full path to test folder

5 years agoproperly disable pthreads on windows (+cleanups)
Martin Quinson [Mon, 5 Oct 2015 22:49:34 +0000 (00:49 +0200)]
properly disable pthreads on windows (+cleanups)

5 years ago[win+java] we need to need CMAKE_SHARED_LIBRARY_LINK_C_FLAGS too
Martin Quinson [Mon, 5 Oct 2015 22:43:09 +0000 (00:43 +0200)]
[win+java] we need to need CMAKE_SHARED_LIBRARY_LINK_C_FLAGS too

5 years ago[windows] pass -m64 when needed
Martin Quinson [Mon, 5 Oct 2015 22:34:13 +0000 (00:34 +0200)]
[windows] pass -m64 when needed

5 years ago[appveyor] make the build more verbose to see the used flags
Martin Quinson [Mon, 5 Oct 2015 22:00:26 +0000 (00:00 +0200)]
[appveyor] make the build more verbose to see the used flags

5 years ago[win+java] sort out the linker flags that we pass
Martin Quinson [Mon, 5 Oct 2015 21:59:46 +0000 (23:59 +0200)]
[win+java] sort out the linker flags that we pass

5 years ago[MC] ensure that the main ISP/Umpire tests are activated
Martin Quinson [Sun, 4 Oct 2015 23:46:06 +0000 (01:46 +0200)]
[MC] ensure that the main ISP/Umpire tests are activated

All 74 tests of http://formalverification.cs.utah.edu/ISP_Tests/ are
activated. The many other tests of the directory that were not listed
on that page are not activated.

The tesh files are generated on the fly as we don't check the output
anyway. cmake coding is such a pleasure, I could not resist.

We should probably add a way to use tesh without tesh files but only
with command line flags. But not tonight.

      /\                                        /\
     /!!\   These tests are currently broken   /!!\
    /_!!_\                                    /_!!_\

5 years agodon't clutter cmake with tests intended for appveyor only
Martin Quinson [Sun, 4 Oct 2015 21:22:32 +0000 (23:22 +0200)]
don't clutter cmake with tests intended for appveyor only

and increase the verbosity of this test to see what happens

5 years agoTry to help the cmake of oldstable to find the java stuff we need
Martin Quinson [Sun, 4 Oct 2015 14:07:02 +0000 (16:07 +0200)]
Try to help the cmake of oldstable to find the java stuff we need

5 years ago[win+java] maybe libwinpthread is causing the segfaults on JNI startup that we see
Martin Quinson [Sun, 4 Oct 2015 13:07:13 +0000 (15:07 +0200)]
[win+java] maybe libwinpthread is causing the segfaults on JNI startup that we see

So disable completely the use of pthread on windows, just to see if it
helps. If so, this will still have to be cleaned up properly.

5 years agokill the most outdated parts of our TODO file
Martin Quinson [Sun, 4 Oct 2015 08:21:39 +0000 (10:21 +0200)]
kill the most outdated parts of our TODO file

5 years ago[windows] We don't use winsock2 since the death of GRAS, a few years ago
Martin Quinson [Sat, 3 Oct 2015 20:58:31 +0000 (22:58 +0200)]
[windows] We don't use winsock2 since the death of GRAS, a few years ago

5 years ago[windows] don't mess with -m32 or -m64 gcc flags
Martin Quinson [Sat, 3 Oct 2015 20:32:24 +0000 (22:32 +0200)]
[windows] don't mess with -m32 or -m64 gcc flags

5 years ago[windows] pexport is a dead project anyway
Martin Quinson [Sat, 3 Oct 2015 20:23:51 +0000 (22:23 +0200)]
[windows] pexport is a dead project anyway

We should use gendef, the mingw-w64 equivalent, if we want to produce
DLL that can be used in external projects. But we don't want that.

5 years ago[java] don't strip libs on windows, to track down the issue
Martin Quinson [Sat, 3 Oct 2015 20:20:00 +0000 (22:20 +0200)]
[java] don't strip libs on windows, to track down the issue

5 years ago[cmake] kill some more unused tests
Martin Quinson [Sat, 3 Oct 2015 19:52:52 +0000 (21:52 +0200)]
[cmake] kill some more unused tests

5 years agoI meant that Java v1.7 is REQUIRED
Martin Quinson [Sat, 3 Oct 2015 15:27:04 +0000 (17:27 +0200)]
I meant that Java v1.7 is REQUIRED

5 years agoadd the NEWS file to the jarfile
Martin Quinson [Sat, 3 Oct 2015 15:06:13 +0000 (17:06 +0200)]
add the NEWS file to the jarfile

5 years ago[Java] bump dependency to Java 7
Martin Quinson [Sat, 3 Oct 2015 15:05:05 +0000 (17:05 +0200)]
[Java] bump dependency to Java 7

5 years agoignore the lib stripping errors that seem to occure on Mac OSX
Martin Quinson [Fri, 2 Oct 2015 21:45:21 +0000 (23:45 +0200)]
ignore the lib stripping errors that seem to occure on Mac OSX

5 years agoStrip the libs in the jarfile
Martin Quinson [Fri, 2 Oct 2015 21:24:30 +0000 (23:24 +0200)]
Strip the libs in the jarfile

5 years ago[appveyor] don't fail on broken tests (artefact not uploaded on error)
Martin Quinson [Fri, 2 Oct 2015 21:14:45 +0000 (23:14 +0200)]
[appveyor] don't fail on broken tests (artefact not uploaded on error)

5 years agoDon't load DLLs when org.simgrid.NativeLib is loaded: it's called by cmake before...
Martin Quinson [Fri, 2 Oct 2015 21:13:42 +0000 (23:13 +0200)]
Don't load DLLs when org.simgrid.NativeLib is loaded: it's called by cmake before the jarfile is ready

5 years agonormalize a bit the java test names
Martin Quinson [Fri, 2 Oct 2015 21:00:36 +0000 (23:00 +0200)]
normalize a bit the java test names

5 years ago[java] unpack dll/so to a tempDir instead of messing with their name
Martin Quinson [Fri, 2 Oct 2015 20:57:56 +0000 (22:57 +0200)]
[java] unpack dll/so to a tempDir instead of messing with their name

5 years ago[windows] typo in java bare test
Martin Quinson [Fri, 2 Oct 2015 14:47:37 +0000 (16:47 +0200)]
[windows] typo in java bare test

5 years agoMerge branch 'master' of github.com:mquinson/simgrid
Martin Quinson [Fri, 2 Oct 2015 14:25:13 +0000 (16:25 +0200)]
Merge branch 'master' of github.com:mquinson/simgrid

5 years ago[appveyor] run the test that I've cooked for windows
Martin Quinson [Fri, 2 Oct 2015 14:21:55 +0000 (16:21 +0200)]
[appveyor] run the test that I've cooked for windows

5 years ago[mc] Really remove mc_libdw for now
Gabriel Corona [Fri, 2 Oct 2015 14:08:10 +0000 (16:08 +0200)]
[mc] Really remove mc_libdw for now

Some bits were not removed properly.

5 years ago[windows] try to do a very basic test of java, without tesh
Martin Quinson [Fri, 2 Oct 2015 13:51:42 +0000 (15:51 +0200)]
[windows] try to do a very basic test of java, without tesh

5 years ago[win+java] fix the name of libwinpthread-1.dll
Martin Quinson [Fri, 2 Oct 2015 13:38:09 +0000 (15:38 +0200)]
[win+java] fix the name of libwinpthread-1.dll

5 years agoand now, fix the distcheck target
Martin Quinson [Fri, 2 Oct 2015 13:25:10 +0000 (15:25 +0200)]
and now, fix the distcheck target

5 years agooops, fix jenkins after moving its conf files
Martin Quinson [Fri, 2 Oct 2015 13:22:29 +0000 (15:22 +0200)]
oops, fix jenkins after moving its conf files

5 years agoempty the buildtool directory
Martin Quinson [Fri, 2 Oct 2015 12:59:25 +0000 (14:59 +0200)]
empty the buildtool directory

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 2 Oct 2015 12:40:54 +0000 (14:40 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years ago[jenkins] better location for the jenkins configuration files
Martin Quinson [Fri, 2 Oct 2015 12:40:45 +0000 (14:40 +0200)]
[jenkins] better location for the jenkins configuration files

5 years ago[jenkins] remove the java-created files on startup
Martin Quinson [Fri, 2 Oct 2015 12:34:45 +0000 (14:34 +0200)]
[jenkins] remove the java-created files on startup

5 years ago[cmake] remove some unused tests
Martin Quinson [Fri, 2 Oct 2015 09:09:34 +0000 (11:09 +0200)]
[cmake] remove some unused tests

and various little cleanups

5 years agoRevert "[mc] Move libdw binding code in its own file"
Gabriel Corona [Fri, 2 Oct 2015 10:12:26 +0000 (12:12 +0200)]
Revert "[mc] Move libdw binding code in its own file"

This reverts commit b81d0b9c9c365d2b195c8a189e2315adbdaa6af6.

Conflicts:
src/mc/mc_dwarf.cpp
src/mc/mc_dwarf.hpp
src/mc/mc_libdw.cpp
src/mc/mc_location.h

5 years agoRevert "[mc] Fix initialisation of dwarf expression"
Gabriel Corona [Fri, 2 Oct 2015 10:04:10 +0000 (12:04 +0200)]
Revert "[mc] Fix initialisation of dwarf expression"

This reverts commit 4a00aeabd069cdbd1927a3e8a433bb10f49362be.

5 years agoRevert "[mc] Remove remaining bits of libdw outside of mc_libdw.{h,c}pp"
Gabriel Corona [Fri, 2 Oct 2015 10:04:02 +0000 (12:04 +0200)]
Revert "[mc] Remove remaining bits of libdw outside of mc_libdw.{h,c}pp"

This reverts commit 97cc0fc3eb2ed9773ecd1d612da40bee60727b32.

5 years ago[mc] Bring back soft-dirty tracking from the dead ๐Ÿ’€
Gabriel Corona [Mon, 28 Sep 2015 14:19:26 +0000 (16:19 +0200)]
[mc] Bring back soft-dirty tracking from the dead ๐Ÿ’€

We want to compare the different snapshoting options on the new
cross-process architecture.

5 years ago[mc] Quick hack to display system memory information (optional)
Gabriel Corona [Tue, 29 Sep 2015 11:26:53 +0000 (13:26 +0200)]
[mc] Quick hack to display system memory information (optional)

5 years ago[mc] Bring back KSM (MADV_MERGEABLE) support
Gabriel Corona [Mon, 28 Sep 2015 10:20:51 +0000 (12:20 +0200)]
[mc] Bring back KSM (MADV_MERGEABLE) support

For KSM support, we allocate the memory for the snapshot regions
directly with mmap() instead of using malloc(). This way we can safely
mark them as MERGEABLE without impacting the heap at all.

Another solution would be to use posix_memalign() (now that we are
using a full-featured malloc) to allocate page-aligned buffers and
remove MADV_UNMERGEABLE when deallocating.

5 years ago[mc] Support for mmap-able snapthots
Gabriel Corona [Thu, 1 Oct 2015 08:45:19 +0000 (10:45 +0200)]
[mc] Support for mmap-able snapthots

This will be used for KSM-friendly snapshots.

5 years agoRevert "don't cleanup java directory for now (debugging time)"
Martin Quinson [Fri, 2 Oct 2015 09:10:24 +0000 (11:10 +0200)]
Revert "don't cleanup java directory for now (debugging time)"

Debugging time is over, and it fills partitions up to failures.

This reverts commit f1e5f8f653f822da96a873fc0a0062fcd4faf3c8.

5 years ago[cmake] correctly quote the c:\ that windows requests
Martin Quinson [Fri, 2 Oct 2015 08:06:19 +0000 (10:06 +0200)]
[cmake] correctly quote the c:\ that windows requests

5 years agoOnly try to load winpthread on windows
Martin Quinson [Fri, 2 Oct 2015 07:27:51 +0000 (09:27 +0200)]
Only try to load winpthread on windows

Previously, it was loaded in any case, and errors were ignored (in an
ineffective way leading to failures on non-windows).

5 years agoRevert "[windows] also take the static version of libpthread.dll"
Martin Quinson [Fri, 2 Oct 2015 06:21:34 +0000 (08:21 +0200)]
Revert "[windows] also take the static version of libpthread.dll"

It does not help anyway.

This reverts commit ae2703f5cf2c00470b492092bb6188c38466b5b5.

5 years agoalso include winpthread.dll in the jarfile
Martin Quinson [Fri, 2 Oct 2015 06:21:24 +0000 (08:21 +0200)]
also include winpthread.dll in the jarfile

5 years ago[cmake] remove tests for which we don't use the result
Martin Quinson [Fri, 2 Oct 2015 05:28:14 +0000 (07:28 +0200)]
[cmake] remove tests for which we don't use the result

5 years ago[cmake] cleanup: mv MakeJava.cmake Java.cmake
Martin Quinson [Fri, 2 Oct 2015 05:23:57 +0000 (07:23 +0200)]
[cmake] cleanup: mv MakeJava.cmake Java.cmake

5 years ago[windows] also take the static version of libpthread.dll
Martin Quinson [Thu, 1 Oct 2015 20:18:49 +0000 (22:18 +0200)]
[windows] also take the static version of libpthread.dll

GOSH, this is ugly.

5 years agodon't cleanup java directory for now (debugging time)
Martin Quinson [Thu, 1 Oct 2015 19:44:29 +0000 (21:44 +0200)]
don't cleanup java directory for now (debugging time)

5 years ago[windows] request mingw-gcc to put the content of libgcc_s_seh-1.dll statically in...
Martin Quinson [Thu, 1 Oct 2015 19:41:32 +0000 (21:41 +0200)]
[windows] request mingw-gcc to put the content of libgcc_s_seh-1.dll statically in our libs

5 years agoISP tests need more time to run. Increase timeout
Martin Quinson [Thu, 1 Oct 2015 16:04:46 +0000 (18:04 +0200)]
ISP tests need more time to run. Increase timeout

5 years ago[appveyor] try to get the artifact name right
Martin Quinson [Thu, 1 Oct 2015 15:47:22 +0000 (17:47 +0200)]
[appveyor] try to get the artifact name right

Previously I got:

  Packaging artifacts...Pattern contains invalid characters.

5 years ago[appveyor] add the artefact that we want to distribute to the users
Martin Quinson [Thu, 1 Oct 2015 15:23:28 +0000 (17:23 +0200)]
[appveyor] add the artefact that we want to distribute to the users

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 1 Oct 2015 15:04:10 +0000 (17:04 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agofix a typo breaking windows
Martin Quinson [Thu, 1 Oct 2015 15:03:18 +0000 (17:03 +0200)]
fix a typo breaking windows

5 years ago[appveyor] disable absolutely all tests
Martin Quinson [Thu, 1 Oct 2015 14:41:38 +0000 (16:41 +0200)]
[appveyor] disable absolutely all tests

5 years agoRevert "[windows] try to brutally comment any tests but the java ones"
Martin Quinson [Thu, 1 Oct 2015 14:40:42 +0000 (16:40 +0200)]
Revert "[windows] try to brutally comment any tests but the java ones"

It's not helping on appveyor. Tesh does not seem to be usable at all /o\

This reverts commit 4de16ce0c6eb15ff3040a857022539fbb81c95ca.

5 years agoFix unintialized variables
Gabriel Corona [Thu, 1 Oct 2015 13:50:40 +0000 (15:50 +0200)]
Fix unintialized variables

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 1 Oct 2015 13:06:29 +0000 (15:06 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoincrease the timeout to that test
Martin Quinson [Thu, 1 Oct 2015 12:59:32 +0000 (14:59 +0200)]
increase the timeout to that test

5 years ago[windows] try to brutally comment any tests but the java ones
Martin Quinson [Thu, 1 Oct 2015 12:51:27 +0000 (14:51 +0200)]
[windows] try to brutally comment any tests but the java ones

5 years agoHide more symbols
Gabriel Corona [Thu, 1 Oct 2015 12:43:08 +0000 (14:43 +0200)]
Hide more symbols

5 years agoHide more mc symbols
Gabriel Corona [Thu, 1 Oct 2015 12:40:18 +0000 (14:40 +0200)]
Hide more mc symbols

Some can't be hidden right new because they are used in the tests.

5 years agoDetect/fix conflicting visibility and fix visibility wrt lua/java bindings
Gabriel Corona [Thu, 1 Oct 2015 07:27:57 +0000 (09:27 +0200)]
Detect/fix conflicting visibility and fix visibility wrt lua/java bindings

5 years agoMark some internal symbols as hidden on ELF in instr
Gabriel Corona [Tue, 29 Sep 2015 14:09:19 +0000 (16:09 +0200)]
Mark some internal symbols as hidden on ELF in instr

5 years ago[mc] Mark some internal symbols as hidden on ELF in mc
Gabriel Corona [Tue, 29 Sep 2015 14:03:56 +0000 (16:03 +0200)]
[mc] Mark some internal symbols as hidden on ELF in mc

A lot of things are still not hidden because of the dreaded error:

    error: โ€˜Fooโ€™ declared with greater visibility than the type of its field โ€˜Foo::barโ€™ [-Werror=attributes]

5 years agoMark some internal symbols as hidden on ELF in msg
Gabriel Corona [Tue, 29 Sep 2015 13:10:02 +0000 (15:10 +0200)]
Mark some internal symbols as hidden on ELF in msg

5 years agoMark some internal symbols as hidden on ELF in simdag
Gabriel Corona [Tue, 29 Sep 2015 13:05:22 +0000 (15:05 +0200)]
Mark some internal symbols as hidden on ELF in simdag

5 years agoMark some internal symbols as hidden on ELF in base
Gabriel Corona [Tue, 29 Sep 2015 12:59:13 +0000 (14:59 +0200)]
Mark some internal symbols as hidden on ELF in base

5 years agoMark some internal symbols as hidden on ELF in simix
Gabriel Corona [Tue, 29 Sep 2015 12:55:07 +0000 (14:55 +0200)]
Mark some internal symbols as hidden on ELF in simix

5 years agoMark some internal symbols as hidden on ELF in smpi
Gabriel Corona [Tue, 29 Sep 2015 12:41:57 +0000 (14:41 +0200)]
Mark some internal symbols as hidden on ELF in smpi

5 years agoMark some internal symbols as hidden on ELF in surf
Gabriel Corona [Tue, 29 Sep 2015 12:21:33 +0000 (14:21 +0200)]
Mark some internal symbols as hidden on ELF in surf

5 years agoMark some internal symbols as hidden on ELF in xbt
Gabriel Corona [Tue, 29 Sep 2015 11:57:13 +0000 (13:57 +0200)]
Mark some internal symbols as hidden on ELF in xbt

They are not exported and can avoid the GOT and PLT indirections.

5 years agoGiving up: don't test tesh on windows
Martin Quinson [Thu, 1 Oct 2015 02:09:13 +0000 (04:09 +0200)]
Giving up: don't test tesh on windows

5 years ago[tesh] centralize and rework the documentation
Martin Quinson [Thu, 1 Oct 2015 02:07:07 +0000 (04:07 +0200)]
[tesh] centralize and rework the documentation

5 years ago[tesh] cleanups now that it works with IPC::Run
Martin Quinson [Thu, 1 Oct 2015 00:51:41 +0000 (02:51 +0200)]
[tesh] cleanups now that it works with IPC::Run

5 years ago[windows] use 'cmake -E echo' instead of 'echo'
Martin Quinson [Thu, 1 Oct 2015 00:36:54 +0000 (02:36 +0200)]
[windows] use 'cmake -E echo' instead of 'echo'

5 years agoFix 'make distcheck'. Again.
Martin Quinson [Wed, 30 Sep 2015 20:14:26 +0000 (22:14 +0200)]
Fix 'make distcheck'. Again.

5 years ago[windows] use 'cmake -E remove_directory' instead of 'rm -rf'
Martin Quinson [Wed, 30 Sep 2015 20:06:28 +0000 (22:06 +0200)]
[windows] use 'cmake -E remove_directory' instead of 'rm -rf'

It fails with the following error message on appveyor:

 "C:/Program Files (x86)/Git/bin/rm.EXE": cannot unlink `temp_testdir_background/tmp_fich': Permission denied

5 years ago[windows] don't call tesh as a script as cmake fails to preserve the exec permission...
Martin Quinson [Wed, 30 Sep 2015 20:02:21 +0000 (22:02 +0200)]
[windows] don't call tesh as a script as cmake fails to preserve the exec permission on this file

5 years ago[tesh] greatly normalize the self-tests
Martin Quinson [Wed, 30 Sep 2015 19:21:12 +0000 (21:21 +0200)]
[tesh] greatly normalize the self-tests

Things should remain unsurprizing when there is no need for a surprise

5 years agofix a typo breaking a self tesh test
Martin Quinson [Wed, 30 Sep 2015 17:45:13 +0000 (19:45 +0200)]
fix a typo breaking a self tesh test

5 years agokill set-signal.tesh, catch-signal.tesh already test the same
Martin Quinson [Wed, 30 Sep 2015 16:55:01 +0000 (18:55 +0200)]
kill set-signal.tesh, catch-signal.tesh already test the same

5 years ago[tesh] Write self-tests in perl (we may not have cc at hand)
Martin Quinson [Wed, 30 Sep 2015 16:26:44 +0000 (18:26 +0200)]
[tesh] Write self-tests in perl (we may not have cc at hand)

Also, revive the setenv test and make it work (the forked environment
was not modified but only the command line rewriting mechanism)

5 years agoAdd the Win32 bits of IPC::Run
Martin Quinson [Wed, 30 Sep 2015 14:10:36 +0000 (16:10 +0200)]
Add the Win32 bits of IPC::Run

5 years agofix make distcheck
Martin Quinson [Wed, 30 Sep 2015 14:08:07 +0000 (16:08 +0200)]
fix make distcheck

5 years agoReimplement tesh with IPC::Run
Martin Quinson [Wed, 30 Sep 2015 13:10:17 +0000 (15:10 +0200)]
Reimplement tesh with IPC::Run

5 years ago[tesh] move functions around to try to get them in the logical order
Martin Quinson [Tue, 29 Sep 2015 22:44:16 +0000 (00:44 +0200)]
[tesh] move functions around to try to get them in the logical order