Gabriel Corona [Fri, 20 Nov 2015 10:50:37 +0000 (11:50 +0100)]
[mc] Remove MCer_ignore_global_variable
Gabriel Corona [Fri, 20 Nov 2015 09:43:18 +0000 (10:43 +0100)]
[mc] Remove useless bits
Gabriel Corona [Mon, 23 Nov 2015 15:18:27 +0000 (16:18 +0100)]
[surf] Wrap the sigc++ API to provide the same API as boost::signals2
Gabriel Corona [Mon, 23 Nov 2015 15:17:51 +0000 (16:17 +0100)]
[surf] Fix build with sigc++
Martin Quinson [Sun, 22 Nov 2015 23:45:22 +0000 (00:45 +0100)]
Fix Java build
java CPU surf binding used to register itself to the list of models that
must be called through shareResources directly. But this was useless
because CPU models are invoked from the host models (leading to
dupplicated lines in the tesh file).
Now that it is not possible anymore to register to that list of models
(which was removed), we must fix the java CPU surf binding.
Martin Quinson [Sun, 22 Nov 2015 23:22:12 +0000 (00:22 +0100)]
[appveyor] update to what symengine is doing
This introduces a new appveyor script in charge of downloading a given
file, dealing with appveyor's transient network errors.
Martin Quinson [Sun, 22 Nov 2015 23:17:20 +0000 (00:17 +0100)]
I hate hollow doxygen comments
Martin Quinson [Sun, 22 Nov 2015 23:08:33 +0000 (00:08 +0100)]
Simplify how shareResources() is called in each models
- Host->shareResources() is in charge of calling the ones of Cpu, Net
and Storage
- VM->shareResources() must be called after the Host one
So, don't make a list `model_list_invoke` of two elements that must be
called in a very specific order. Instead, directly call these methodes
in surf_solve().
A next step could be to put the content of Host->shareResources and
maybe VM->shareResources() in surf_solve so that Host and VM can stop
being resources just to dispatch calls to the real resources.
But L07 must be dealed with before (eg by moving the content of
Host07->shareResource() into Cpu07->shareResources() and leaving
Link07->shareResources() empty).
Martin Quinson [Sun, 22 Nov 2015 21:57:06 +0000 (22:57 +0100)]
rename a global to make its purpose clear (hopefully)
Martin Quinson [Sun, 22 Nov 2015 18:28:09 +0000 (19:28 +0100)]
kill more dead code
Martin Quinson [Sat, 21 Nov 2015 15:01:24 +0000 (16:01 +0100)]
kill dead code
Gabriel Corona [Tue, 17 Nov 2015 10:02:31 +0000 (11:02 +0100)]
[mc] Move MC-related out of simix and into mc where it belongs
Martin Quinson [Mon, 16 Nov 2015 15:04:55 +0000 (16:04 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 16 Nov 2015 15:04:42 +0000 (16:04 +0100)]
deal with portability issues induced by ptrace
Gabriel Corona [Mon, 16 Nov 2015 08:26:29 +0000 (09:26 +0100)]
[mc] Better explanation for DW_OP_call_frame_cfa
Martin Quinson [Sat, 14 Nov 2015 23:36:02 +0000 (00:36 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sat, 14 Nov 2015 23:35:20 +0000 (00:35 +0100)]
move all VM+energy code into callbacks
This keeps the main files clean of any energy related code.
Martin Quinson [Sat, 14 Nov 2015 22:10:54 +0000 (23:10 +0100)]
unused variable
Martin Quinson [Sat, 14 Nov 2015 22:07:59 +0000 (23:07 +0100)]
more explicit header inclusion guard
Martin Quinson [Sat, 14 Nov 2015 21:47:32 +0000 (22:47 +0100)]
cosmetics in the VM/energy code
Martin Quinson [Sat, 14 Nov 2015 21:35:00 +0000 (22:35 +0100)]
kill some dead code
Martin Quinson [Sat, 14 Nov 2015 21:28:18 +0000 (22:28 +0100)]
Prefer the C-ish sg_host_get_name() over sg_host_name()
Both were defined, for some reason
Gabriel Corona [Thu, 12 Nov 2015 13:49:56 +0000 (14:49 +0100)]
[mc] Make mc_diff_info static
Gabriel Corona [Thu, 12 Nov 2015 13:45:37 +0000 (14:45 +0100)]
[mc] Simplification, remove profiling code
Gabriel Corona [Thu, 12 Nov 2015 12:42:10 +0000 (13:42 +0100)]
[mc] Move the MCer wait_for_requests logic outside of MC_wait_for_requests
Gabriel Corona [Thu, 12 Nov 2015 11:21:31 +0000 (12:21 +0100)]
[mc] Merge Server class into ModelChecker
The distinction was mainly there because Server class was only useful
in split-process mode. Now the other mode does not exist and the
Server class is always used.
Gabriel Corona [Thu, 12 Nov 2015 10:24:19 +0000 (11:24 +0100)]
[mc] Remove Process:status_
Gabriel Corona [Thu, 12 Nov 2015 09:04:29 +0000 (10:04 +0100)]
[mc] Replace some exit() calls by return
Gabriel Corona [Thu, 12 Nov 2015 08:43:39 +0000 (09:43 +0100)]
[mc] Move privatization flag initialization
Fix the snapshot tests.
Gabriel Corona [Tue, 10 Nov 2015 14:36:23 +0000 (15:36 +0100)]
[mc] Fix exit status naming convention
Gabriel Corona [Tue, 10 Nov 2015 14:27:35 +0000 (15:27 +0100)]
[mc] Move Server in simgrid::mc
Gabriel Corona [Tue, 10 Nov 2015 13:58:02 +0000 (14:58 +0100)]
[mc] Simplify mc_server
Gabriel Corona [Tue, 10 Nov 2015 11:03:36 +0000 (12:03 +0100)]
[mc] Fix privatisation support
It was broken (TODO) since the switch to split-process MC.
Gabriel Corona [Tue, 10 Nov 2015 09:26:22 +0000 (10:26 +0100)]
[mc] Remove MC code in sigsegvhandler
We do not have mc_stack in the model-checked process.
Gabriel Corona [Mon, 9 Nov 2015 14:45:08 +0000 (15:45 +0100)]
[mc] Generate a message showing the path on crash of the model-checked
Gabriel Corona [Mon, 9 Nov 2015 13:54:01 +0000 (14:54 +0100)]
[mc] Move model-checker message processing logic in its own method
Gabriel Corona [Fri, 6 Nov 2015 13:49:16 +0000 (14:49 +0100)]
[mc] ptrace the model-checker application
The first goal is to be able to detect crashes of the model-checked
application in the model-checker. This first patch only implement the
ptrace but does not detect the crashed properly yet.
As we are using ptrace, we do not need to using messages to
stop/resume the model-checked application. The HELLO message is
removed whose only purpose was to synchronise the execution of the two
processes (wait for the model-checked application to be ready before
trying to read its memory map).
Martin Quinson [Sun, 8 Nov 2015 20:57:27 +0000 (21:57 +0100)]
sanitizes host user_data: create a lib level
Martin Quinson [Sun, 8 Nov 2015 20:56:20 +0000 (21:56 +0100)]
Don't segfault when one level of the lib has a NULL free_f
Martin Quinson [Sat, 7 Nov 2015 20:57:12 +0000 (21:57 +0100)]
[tesh] try to properly quote the regexps for Perl 5.22
Martin Quinson [Fri, 6 Nov 2015 22:03:02 +0000 (23:03 +0100)]
[L07] Don't segfault on point-to-point communications
NetworkL07Model::communicate() tries to use host->executeParallelTask(2, ...)
(to change P2P comms into parallel tasks), but host was never
initialized. (fix #28)
We should add a test for that too, I guess.
Martin Quinson [Fri, 6 Nov 2015 20:42:29 +0000 (21:42 +0100)]
[win] protect the inclusion of a non-existing file
Martin Quinson [Fri, 6 Nov 2015 20:19:06 +0000 (21:19 +0100)]
[cmake] 'not' and 'NOT' are different, but only on windows
Martin Quinson [Fri, 6 Nov 2015 19:57:08 +0000 (20:57 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Gabriel Corona [Tue, 3 Nov 2015 13:05:14 +0000 (14:05 +0100)]
[smpi] Use virtual memory layout to find the data segment
... Instead of extrating the position of the .data and .bss sections
with objdump:
* don't spawn a separate process (objdump);
* works even with PIE;
* works even without section header table;
* works even if weird sections are used;
* works at the segment granuality instead of the section granularity.
However some heuristic is used which might break in some cases: using
the help of the program header table would be a good idea (but would
add a dependency on ELF).
Currently only implemented on Linux but the SMPI privatisation was
only available on Linux anyway.
Martin Quinson [Thu, 5 Nov 2015 00:31:33 +0000 (01:31 +0100)]
inline another getter simcall: host_get_nb_pstates
Christian Heinrich [Wed, 4 Nov 2015 10:24:51 +0000 (11:24 +0100)]
[SMPI] Renamed smpi/async_small_thres to smpi/async_small_thresh
We need a unified naming scheme, and that was particularly easy to fix.
Martin Quinson [Tue, 3 Nov 2015 23:30:26 +0000 (00:30 +0100)]
A sh.exe appeared in appeveyor path, breaking mingw
Martin Quinson [Tue, 3 Nov 2015 23:09:34 +0000 (00:09 +0100)]
Fix out-of-tree builds after
3203ed1, sorry
(fix #32)
Christian Heinrich [Sat, 31 Oct 2015 19:33:48 +0000 (20:33 +0100)]
[Gitignore] Blacklist mpich3-test binaries
Martin Quinson [Tue, 3 Nov 2015 08:44:31 +0000 (09:44 +0100)]
fix an easy fixme
Martin Quinson [Tue, 3 Nov 2015 00:11:30 +0000 (01:11 +0100)]
[cmake] all java stuff in the same place
Martin Quinson [Mon, 2 Nov 2015 23:50:46 +0000 (00:50 +0100)]
[cmake] recompile with swig if the executable is found
It used to be controled by the maintainer_mode option, but this is
stupid. That option should die (along with flexml, probably).
Martin Quinson [Mon, 2 Nov 2015 17:55:08 +0000 (18:55 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 2 Nov 2015 17:54:52 +0000 (18:54 +0100)]
inline two more simcalls: host_get_pstate and host_get_consumed_energy
Gabriel Corona [Mon, 2 Nov 2015 13:21:24 +0000 (14:21 +0100)]
[mc] Fix error in dependency checking
Introduced by:
[mc] Cross process access to simcall synchro
Gabriel Corona [Mon, 2 Nov 2015 12:58:45 +0000 (13:58 +0100)]
[mc] DRY in MC_request_depend()
Gabriel Corona [Mon, 2 Nov 2015 10:23:47 +0000 (11:23 +0100)]
[mc] Use std::vector for Process::heap_info
Gabriel Corona [Mon, 2 Nov 2015 10:11:37 +0000 (11:11 +0100)]
[mc] Use std::unique_ptr for Process::heap
Martin Quinson [Sun, 1 Nov 2015 23:39:29 +0000 (00:39 +0100)]
inline two more getter simcalls: host_get_core and host_get_state
Martin Quinson [Sun, 1 Nov 2015 11:26:07 +0000 (12:26 +0100)]
fix a test that got broken when I suppressed some simcalls
The execution order changed a very little bit as host_get_speed is not
a simcall anymore, and the process got the opportunity to start a new
task (and do the corresponding output) before being killed at the same
timestamp. But it actually dies at that timestamp, everything alright.
Martin Quinson [Sun, 1 Nov 2015 08:36:35 +0000 (09:36 +0100)]
typo (s/deamon/daemon/)
Martin Quinson [Sun, 1 Nov 2015 08:23:02 +0000 (09:23 +0100)]
add another library to the whitelist of ignored debugging symbols
Martin Quinson [Sun, 1 Nov 2015 08:18:50 +0000 (09:18 +0100)]
Kill two getter simcalls, and replace them by (almost) direct calls to surf
Martin Quinson [Sat, 31 Oct 2015 23:43:41 +0000 (00:43 +0100)]
kill two useless functions: surf_as_cluster_{get,set}_backbone
Martin Quinson [Sat, 31 Oct 2015 23:39:14 +0000 (00:39 +0100)]
kill an almost unused function: surf_model_name
Martin Quinson [Sat, 31 Oct 2015 23:32:17 +0000 (00:32 +0100)]
kill some dead (commented) code
Martin Quinson [Sat, 31 Oct 2015 23:25:48 +0000 (00:25 +0100)]
make it easier to ignore SMPI temp files, and do so in the .gitignore
Martin Quinson [Sat, 31 Oct 2015 15:49:01 +0000 (16:49 +0100)]
now that CMake dependency is bumped to 2.8.8, dont deal with older ones
Martin Quinson [Fri, 30 Oct 2015 19:22:36 +0000 (20:22 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 30 Oct 2015 19:21:23 +0000 (20:21 +0100)]
Bump the minimal version of cmake to 2.8.8
We are using CMAKE_CXX_COMPILER_VERSION that was only introduced in
this version. See https://github.com/joakimkarlsson/bandit/issues/40
Thanks Christian for noticing and debugging the problem.
Christian Heinrich [Fri, 30 Oct 2015 18:41:37 +0000 (19:41 +0100)]
[Gitignore] Ignore mpich3-test temporary files
Christian Heinrich [Fri, 30 Oct 2015 18:40:01 +0000 (19:40 +0100)]
[Gitignore] Applied sort to examples.
I hope this makes it easier to add more files...
Christian Heinrich [Thu, 29 Oct 2015 14:32:48 +0000 (15:32 +0100)]
[Doc] Fixed misplaced link
Christian Heinrich [Thu, 29 Oct 2015 14:28:48 +0000 (15:28 +0100)]
[Doc] Added description for the boost context factory
Martin Quinson [Fri, 30 Oct 2015 09:53:04 +0000 (10:53 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 30 Oct 2015 09:52:21 +0000 (10:52 +0100)]
update the preferred citation
Christian Heinrich [Thu, 29 Oct 2015 14:14:19 +0000 (15:14 +0100)]
[SIMIX] Updated error messages for contexts
The "boost" context was not mentioned in the list of
existing contexts that are output when an error occurs.
Martin Quinson [Thu, 29 Oct 2015 10:00:12 +0000 (11:00 +0100)]
kill dead code (duplicated from just above)
Martin Quinson [Thu, 29 Oct 2015 09:41:51 +0000 (10:41 +0100)]
remove old cruft dating from cdash
Martin Quinson [Wed, 28 Oct 2015 06:54:39 +0000 (07:54 +0100)]
Kill an unused simcall: host_get_name
Martin Quinson [Tue, 27 Oct 2015 18:19:39 +0000 (19:19 +0100)]
kill dead code
Martin Quinson [Tue, 27 Oct 2015 18:10:58 +0000 (19:10 +0100)]
[surf] tiny cleanups around the virtual machines
- rename the file vm_interface.[ch] into virtual_machine.[ch]
- rename the type VM into VirtualMachine
- have the VirtualMachine constructor register the VM to the host lib
- it was in Model13::CreateVM, that can now be emptied and soon killed
- other VM models won't forget to do so
Martin Quinson [Mon, 26 Oct 2015 20:22:16 +0000 (21:22 +0100)]
Kill the setset datacontainer: it's unused since a while
Martin Quinson [Sun, 25 Oct 2015 21:24:57 +0000 (22:24 +0100)]
fix build on non-linux arch
Martin Quinson [Sun, 25 Oct 2015 19:16:38 +0000 (20:16 +0100)]
Reduce the amount of implicit include directories
This is intrusive to quite a lot of files, but I think that it helps
making the source code more explicit about what's public and what's not.
Martin Quinson [Sun, 25 Oct 2015 19:10:00 +0000 (20:10 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 25 Oct 2015 15:08:10 +0000 (16:08 +0100)]
cleanups in cmake+perl interactions
degomme [Sat, 24 Oct 2015 22:27:07 +0000 (00:27 +0200)]
forgot this one
degomme [Sat, 24 Oct 2015 21:52:26 +0000 (23:52 +0200)]
try to fix some compilation erros
Martin Quinson [Sat, 24 Oct 2015 20:50:53 +0000 (22:50 +0200)]
[cmake] tiny cleanup around smpi
Martin Quinson [Sat, 24 Oct 2015 20:13:35 +0000 (22:13 +0200)]
disable lua on CI for now
Martin Quinson [Fri, 23 Oct 2015 19:51:22 +0000 (21:51 +0200)]
was too fast on merging the commits, sorry
Martin Quinson [Fri, 23 Oct 2015 19:51:09 +0000 (21:51 +0200)]
[cmake] mark two variables as advanced to hide them from ccmake
Martin Quinson [Fri, 23 Oct 2015 13:25:14 +0000 (15:25 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 23 Oct 2015 13:19:17 +0000 (15:19 +0200)]
[cmake] report the compiler version when we think it's too old
degomme [Fri, 23 Oct 2015 12:55:16 +0000 (14:55 +0200)]
try to do what distcheck says..
degomme [Fri, 23 Oct 2015 12:50:25 +0000 (14:50 +0200)]
ahem :p (is this file even necessary?)
degomme [Fri, 23 Oct 2015 12:35:59 +0000 (14:35 +0200)]
Add CMakelists file
degomme [Mon, 19 Oct 2015 14:55:52 +0000 (16:55 +0200)]
handle MPI_WIN_NULL in fortran