Gabriel Corona [Wed, 24 Feb 2016 11:14:01 +0000 (12:14 +0100)]
[mc] Cleanup/reorganise the code of simgrid_mc
Gabriel Corona [Wed, 24 Feb 2016 09:40:55 +0000 (10:40 +0100)]
[mc] Documentation for Type and Member
Gabriel Corona [Wed, 24 Feb 2016 09:21:59 +0000 (10:21 +0100)]
[mc] Remove Type::is_pointer_type
Gabriel Corona [Wed, 24 Feb 2016 09:19:51 +0000 (10:19 +0100)]
[mc] Member initialization in Variable, Member, Type
Gabriel Corona [Tue, 23 Feb 2016 15:59:46 +0000 (16:59 +0100)]
[mc] Move some code into simgrid::mc namespace
Gabriel Corona [Fri, 26 Feb 2016 10:02:54 +0000 (11:02 +0100)]
[mc] Don't leave model-checked processes around
In some cases, we terminate the model-checker brutally inside of its
event loop instead of letting the event loop and the model checker
terminate cleanly. In this case, the model-checked process could still
be left alive.
Because the model-checker was still around, tesh was still waiting on
the pipe and ended-up timing out.
We now SIGKILL the model-checked process when exiting the
model-checker brutally.
Martin Quinson [Fri, 26 Feb 2016 10:08:07 +0000 (11:08 +0100)]
oups
Martin Quinson [Fri, 26 Feb 2016 09:53:24 +0000 (10:53 +0100)]
rebalance a bit between simgrid_config and internal_config
Martin Quinson [Fri, 26 Feb 2016 08:12:52 +0000 (09:12 +0100)]
further cleanups of the DLL usage madness
Martin Quinson [Fri, 26 Feb 2016 07:59:12 +0000 (08:59 +0100)]
further remove dead code
Fabien Chaix [Fri, 26 Feb 2016 06:08:19 +0000 (08:08 +0200)]
Fixed outputs of failing tests (one because I was negligent, another because absolute paths cannot be used -of course-)
Martin Quinson [Fri, 26 Feb 2016 01:56:47 +0000 (02:56 +0100)]
woops, all machines but mine need stdio.h here
Martin Quinson [Fri, 26 Feb 2016 01:30:25 +0000 (02:30 +0100)]
asprintf is never used: bprintf is so swag
Martin Quinson [Fri, 26 Feb 2016 01:06:32 +0000 (02:06 +0100)]
we never need asnprintf nor vasnprintf
Martin Quinson [Fri, 26 Feb 2016 01:02:37 +0000 (02:02 +0100)]
snprintf is C99, we require C11. kill the portability code
Martin Quinson [Fri, 26 Feb 2016 00:37:42 +0000 (01:37 +0100)]
further improve code coverage by killing old code
Martin Quinson [Fri, 26 Feb 2016 00:16:41 +0000 (01:16 +0100)]
tesh is not in C anymore, there is no need to compute string diffs
Martin Quinson [Fri, 26 Feb 2016 00:01:56 +0000 (01:01 +0100)]
kill some other defunct portability checks
Martin Quinson [Thu, 25 Feb 2016 23:50:19 +0000 (00:50 +0100)]
we don't support static build [on windows] anyway
Martin Quinson [Thu, 25 Feb 2016 23:48:23 +0000 (00:48 +0100)]
improve coverage: kill dead code
Martin Quinson [Thu, 25 Feb 2016 22:17:58 +0000 (23:17 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 25 Feb 2016 22:11:37 +0000 (23:11 +0100)]
dust a bit our portability checks
Martin Quinson [Thu, 25 Feb 2016 22:00:10 +0000 (23:00 +0100)]
remove useless header inclusions
Martin Quinson [Thu, 25 Feb 2016 21:55:03 +0000 (22:55 +0100)]
Ceterum censeo Applem delendam esse
Frederic Suter [Thu, 25 Feb 2016 12:23:30 +0000 (13:23 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Thu, 25 Feb 2016 12:23:04 +0000 (13:23 +0100)]
yet another redundant platform less
Martin Quinson [Thu, 25 Feb 2016 12:15:24 +0000 (13:15 +0100)]
Implem? I meant Impl, as in pimpl. Sorry for the noise
Frederic Suter [Thu, 25 Feb 2016 09:47:32 +0000 (10:47 +0100)]
changed some trace names
Frederic Suter [Thu, 25 Feb 2016 09:40:40 +0000 (10:40 +0100)]
factor host samples, update flatifier
Fabien Chaix [Thu, 25 Feb 2016 08:04:36 +0000 (10:04 +0200)]
Fixed tesh-surf-maxmin-xxx tests
Fabien Chaix [Thu, 25 Feb 2016 07:44:00 +0000 (09:44 +0200)]
Adding some text in the documentation related to integration tests
Modify tests to pass following modifications in SURF:
-> replay multiple has a margnial change of completion time
-> duplicated the test with maxmin-bench to get one smaller instance with all debug output
and one with the same large instance.
Modified debug messages in SURF not to include pointers.
Martin Quinson [Wed, 24 Feb 2016 22:24:41 +0000 (23:24 +0100)]
cosmetics in the coordinate-based platform files
Martin Quinson [Wed, 24 Feb 2016 21:28:14 +0000 (22:28 +0100)]
kill SD_HOST_LEVEL \o/. Its friends must follow.
Martin Quinson [Wed, 24 Feb 2016 21:23:51 +0000 (22:23 +0100)]
kill two almost empty files by inlining the contained function
Martin Quinson [Wed, 24 Feb 2016 21:14:21 +0000 (22:14 +0100)]
Let's call sg::surf::host a HostImplem
Martin Quinson [Wed, 24 Feb 2016 20:41:24 +0000 (21:41 +0100)]
convert S4U to my current coding convention
Martin Quinson [Wed, 24 Feb 2016 18:47:27 +0000 (19:47 +0100)]
Merge branch 'master' of github.com:mquinson/simgrid
Martin Quinson [Wed, 24 Feb 2016 18:10:19 +0000 (19:10 +0100)]
get ride of a stupid header file
Martin Quinson [Wed, 24 Feb 2016 17:27:43 +0000 (18:27 +0100)]
try to sort out the surf headers a bit, if possible
Martin Quinson [Wed, 24 Feb 2016 13:54:30 +0000 (14:54 +0100)]
[cmake] hide debug message
degomme [Wed, 24 Feb 2016 16:32:28 +0000 (17:32 +0100)]
seriously, me
degomme [Wed, 24 Feb 2016 16:31:38 +0000 (17:31 +0100)]
seriously c++
degomme [Wed, 24 Feb 2016 16:19:51 +0000 (17:19 +0100)]
add extern "C"
degomme [Wed, 24 Feb 2016 14:53:53 +0000 (15:53 +0100)]
One day, we will manage to check dist before pushing. One day.. :p
degomme [Wed, 24 Feb 2016 14:49:20 +0000 (15:49 +0100)]
Somehow cmake on windows+ci found this syntax wrong and did not compile ucontexts..
degomme [Wed, 24 Feb 2016 13:59:00 +0000 (14:59 +0100)]
fix windows compilation
Martin Quinson [Wed, 24 Feb 2016 13:54:30 +0000 (14:54 +0100)]
[cmake] hide debug message
Frederic Suter [Wed, 24 Feb 2016 13:30:36 +0000 (14:30 +0100)]
start to factor dummy platforms
Frederic Suter [Wed, 24 Feb 2016 12:56:00 +0000 (13:56 +0100)]
remove some redundant files
Frederic Suter [Wed, 24 Feb 2016 12:55:29 +0000 (13:55 +0100)]
Dijkstra is not so cool finally
Fabien Chaix [Wed, 24 Feb 2016 12:05:57 +0000 (14:05 +0200)]
Merge branch 'oldstyle_element_set'
Fixed corner cases with concurrency and concurrency_share>1
Fixed a bug in lmm_on_disabled_var()
Added more flexibility to maxmin_bench to stress better SURF maxmin
Frederic Suter [Wed, 24 Feb 2016 11:59:28 +0000 (12:59 +0100)]
Dijkstra would have like symmetry too
Frederic Suter [Wed, 24 Feb 2016 11:44:54 +0000 (12:44 +0100)]
four_hosts_floyd_bis doesn't bring anything
when compared to four_hosts_floyd
kill it and remove associate test
and it had 5 hosts BTW ... logical in a SimGrid way.
Frederic Suter [Wed, 24 Feb 2016 11:44:27 +0000 (12:44 +0100)]
update definePackages
Frederic Suter [Wed, 24 Feb 2016 11:43:58 +0000 (12:43 +0100)]
remove old locations
Frederic Suter [Wed, 24 Feb 2016 11:43:14 +0000 (12:43 +0100)]
rename conf to optorsim
Frederic Suter [Wed, 24 Feb 2016 11:24:37 +0000 (12:24 +0100)]
ignore mc mutex binaries
Frederic Suter [Wed, 24 Feb 2016 11:07:56 +0000 (12:07 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Frederic Suter [Wed, 24 Feb 2016 11:07:08 +0000 (12:07 +0100)]
make surf tesh test something
Martin Quinson [Wed, 24 Feb 2016 10:24:42 +0000 (11:24 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 24 Feb 2016 10:08:11 +0000 (11:08 +0100)]
In <host> and <link>, attributes availability and state are gone.
It was redundent with state and availability traces, and with peak
values.
degomme [Wed, 24 Feb 2016 09:49:39 +0000 (10:49 +0100)]
change log format to avoid printing file path
degomme [Wed, 24 Feb 2016 09:28:44 +0000 (10:28 +0100)]
Add test for the (still very experimental) automatic evaluation of collective algorithms
Just to test the last non covered file in smpi.
Martin Quinson [Wed, 24 Feb 2016 09:11:48 +0000 (10:11 +0100)]
this xml file did not even parse anymore
degomme [Wed, 24 Feb 2016 09:06:17 +0000 (10:06 +0100)]
Previous change made this size smaller, but it resulted in actually another algorithm being tested -> increase it again
To avoid issues with memory usage, reduce the number of nodes instead.
Martin Quinson [Wed, 24 Feb 2016 08:13:29 +0000 (09:13 +0100)]
simplify a bit the CPU creation API
pstate and initiallyOn are not passed anymore to the constructor. They
default respectively to 0 and true. You can change the values after
creation if you want.
Martin Quinson [Wed, 24 Feb 2016 07:44:55 +0000 (08:44 +0100)]
move more xml cruft to the xml jail
Martin Quinson [Wed, 24 Feb 2016 07:13:02 +0000 (08:13 +0100)]
kill several unused functions in xbt
Martin Quinson [Wed, 24 Feb 2016 07:10:27 +0000 (08:10 +0100)]
rephrase to improve coverage
Martin Quinson [Tue, 23 Feb 2016 21:43:18 +0000 (22:43 +0100)]
how many times can I break make distcheck in only one day?
Martin Quinson [Tue, 23 Feb 2016 21:35:47 +0000 (22:35 +0100)]
[cmake] replace tools/cmake/MakeExe by a little foreach loop
Martin Quinson [Tue, 23 Feb 2016 20:39:29 +0000 (21:39 +0100)]
this test does not exist anymore
Martin Quinson [Tue, 23 Feb 2016 19:58:26 +0000 (20:58 +0100)]
Some people want both make distcheck AND make to work. Shocking.
Martin Quinson [Tue, 23 Feb 2016 19:37:28 +0000 (20:37 +0100)]
Guess what. I broke make distcheck.
Martin Quinson [Tue, 23 Feb 2016 19:34:51 +0000 (20:34 +0100)]
Kill graphxml parsing feature. It was not used
Martin Quinson [Tue, 23 Feb 2016 18:44:39 +0000 (19:44 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 23 Feb 2016 18:44:27 +0000 (19:44 +0100)]
reduce the amount of includes to speed up recompilations
Martin Quinson [Tue, 23 Feb 2016 18:22:57 +0000 (19:22 +0100)]
that perticular binary wants to be in bin/ not ./
Frederic Suter [Tue, 23 Feb 2016 17:54:10 +0000 (18:54 +0100)]
update generation script to v4
Frederic Suter [Tue, 23 Feb 2016 17:48:10 +0000 (18:48 +0100)]
kill generated XML
+ they are not used in any tesh
+ vivaldi description is tested though
+ one can produce them again by running the script.
Gabriel Corona [Tue, 23 Feb 2016 15:46:35 +0000 (16:46 +0100)]
[mc] Remove a ugly special case in LocationListEntry
Gabriel Corona [Tue, 23 Feb 2016 15:36:39 +0000 (16:36 +0100)]
[mc] Cleanup LocationListEntry
Gabriel Corona [Tue, 23 Feb 2016 15:01:56 +0000 (16:01 +0100)]
[mc] Cleanup/documentation for simgrid::mc::Frame
Gabriel Corona [Tue, 23 Feb 2016 14:36:44 +0000 (15:36 +0100)]
[mc] Move remote_ptr in its own file
Martin Quinson [Tue, 23 Feb 2016 13:24:13 +0000 (14:24 +0100)]
woopsy, broke make distcheck. Again.
Martin Quinson [Tue, 23 Feb 2016 12:37:54 +0000 (13:37 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 23 Feb 2016 10:49:59 +0000 (11:49 +0100)]
various cleanups in the CMakeLists.txt files
- We never need to explicitly list pthread as a dependency
- Files are searched in ${CMAKE_CURRENT_SOURCE_DIR} by default
- Default value of EXECUTABLE_OUTPUT_PATH is ${CMAKE_CURRENT_BINARY_DIR}
when cmake/UnitTesting does not mess with it.
- Indentation cosmetics: these files are boring, don't make them ugly
degomme [Tue, 23 Feb 2016 11:48:00 +0000 (12:48 +0100)]
Fix build with mc
Gabriel Corona [Tue, 23 Feb 2016 10:03:32 +0000 (11:03 +0100)]
[mc] Partial cleanup of the initialisation of the different MC objects
namely Process and ModelChecker.
This fixes the testall test.
fabienchaix [Tue, 23 Feb 2016 10:01:36 +0000 (12:01 +0200)]
Merge pull request #2 from mquinson/master
Importing new commits from the main fork
Fabien Chaix [Tue, 23 Feb 2016 09:56:15 +0000 (11:56 +0200)]
Refactoring to allow for alternative definition of the SURF concurrency
degomme [Tue, 23 Feb 2016 09:00:00 +0000 (10:00 +0100)]
basename -> xbt_basename
Fabien Chaix [Tue, 23 Feb 2016 08:44:15 +0000 (10:44 +0200)]
Adding test for SURF concurrency feature
Gabriel Corona [Tue, 23 Feb 2016 08:35:54 +0000 (09:35 +0100)]
[mc] Port stack-cleaner compiler-wrapper to Python
No more ruby.
Martin Quinson [Tue, 23 Feb 2016 08:22:01 +0000 (09:22 +0100)]
Remove PSG from SimGrid git
This was not more visible or better maintained here.
It was just useless code dupplication.
See also https://github.com/mquinson/simgrid/issues/64
Martin Quinson [Tue, 23 Feb 2016 07:55:46 +0000 (08:55 +0100)]
kill another out of date script
This is a source code repository, not a museum.
Frederic Suter [Mon, 22 Feb 2016 21:56:21 +0000 (22:56 +0100)]
this lua file is a bad platform.xml
+ lat instead of latency for links
+ no symmetrical="YES" for route
Frederic Suter [Mon, 22 Feb 2016 20:26:19 +0000 (21:26 +0100)]
mv simdag platforms to the right place
+ and traces too
Frederic Suter [Mon, 22 Feb 2016 19:17:02 +0000 (20:17 +0100)]
never ending cleanup of the simdag world
+ useless includes
+ useless WIN32 safeguard in CMakeLists
+ indent
+ hostify
well, clean, clean, clean ...
Frederic Suter [Mon, 22 Feb 2016 19:15:17 +0000 (20:15 +0100)]
never ending cleanup of the simdag world
+ don't know what this test did