Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
3 years agoChanged the MathJax address to get equations working again in the HTML documentation.
chaix [Mon, 23 Nov 2015 16:37:36 +0000 (18:37 +0200)]
Changed the MathJax address to get equations working again in the HTML documentation.
Corrected some typos in SURF_lmm documentation.

3 years ago[mc] Remove mcer_ignore.cpp
Gabriel Corona [Fri, 20 Nov 2015 15:29:07 +0000 (16:29 +0100)]
[mc] Remove mcer_ignore.cpp

3 years ago[mc] Move ignore_local_variable() into Process
Gabriel Corona [Fri, 20 Nov 2015 15:09:25 +0000 (16:09 +0100)]
[mc] Move ignore_local_variable() into Process

3 years ago[mc] Move heap_ignore to Process
Gabriel Corona [Fri, 20 Nov 2015 12:52:24 +0000 (13:52 +0100)]
[mc] Move heap_ignore to Process

3 years ago[mc] Move stacks_areas into Process
Gabriel Corona [Fri, 20 Nov 2015 11:31:43 +0000 (12:31 +0100)]
[mc] Move stacks_areas into Process

3 years ago[mc] Remove MCer_ignore_global_variable
Gabriel Corona [Fri, 20 Nov 2015 10:50:37 +0000 (11:50 +0100)]
[mc] Remove MCer_ignore_global_variable

3 years ago[mc] Remove useless bits
Gabriel Corona [Fri, 20 Nov 2015 09:43:18 +0000 (10:43 +0100)]
[mc] Remove useless bits

3 years ago[surf] Wrap the sigc++ API to provide the same API as boost::signals2
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

3 years ago[surf] Fix build with sigc++
Gabriel Corona [Mon, 23 Nov 2015 15:17:51 +0000 (16:17 +0100)]
[surf] Fix build with sigc++

3 years agoFix Java build
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.

3 years ago[appveyor] update to what symengine is doing
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.

3 years agoI hate hollow doxygen comments
Martin Quinson [Sun, 22 Nov 2015 23:17:20 +0000 (00:17 +0100)]
I hate hollow doxygen comments

3 years agoSimplify how shareResources() is called in each models
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).

3 years agorename a global to make its purpose clear (hopefully)
Martin Quinson [Sun, 22 Nov 2015 21:57:06 +0000 (22:57 +0100)]
rename a global to make its purpose clear (hopefully)

3 years agokill more dead code
Martin Quinson [Sun, 22 Nov 2015 18:28:09 +0000 (19:28 +0100)]
kill more dead code

3 years agokill dead code
Martin Quinson [Sat, 21 Nov 2015 15:01:24 +0000 (16:01 +0100)]
kill dead code

3 years ago[mc] Move MC-related out of simix and into mc where it belongs
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

3 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 16 Nov 2015 15:04:55 +0000 (16:04 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

3 years agodeal with portability issues induced by ptrace
Martin Quinson [Mon, 16 Nov 2015 15:04:42 +0000 (16:04 +0100)]
deal with portability issues induced by ptrace

3 years ago[mc] Better explanation for DW_OP_call_frame_cfa
Gabriel Corona [Mon, 16 Nov 2015 08:26:29 +0000 (09:26 +0100)]
[mc] Better explanation for DW_OP_call_frame_cfa

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sat, 14 Nov 2015 23:36:02 +0000 (00:36 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agomove all VM+energy code into callbacks
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.

4 years agounused variable
Martin Quinson [Sat, 14 Nov 2015 22:10:54 +0000 (23:10 +0100)]
unused variable

4 years agomore explicit header inclusion guard
Martin Quinson [Sat, 14 Nov 2015 22:07:59 +0000 (23:07 +0100)]
more explicit header inclusion guard

4 years agocosmetics in the VM/energy code
Martin Quinson [Sat, 14 Nov 2015 21:47:32 +0000 (22:47 +0100)]
cosmetics in the VM/energy code

4 years agokill some dead code
Martin Quinson [Sat, 14 Nov 2015 21:35:00 +0000 (22:35 +0100)]
kill some dead code

4 years agoPrefer the C-ish sg_host_get_name() over sg_host_name()
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

4 years ago[mc] Make mc_diff_info static
Gabriel Corona [Thu, 12 Nov 2015 13:49:56 +0000 (14:49 +0100)]
[mc] Make mc_diff_info static

4 years ago[mc] Simplification, remove profiling code
Gabriel Corona [Thu, 12 Nov 2015 13:45:37 +0000 (14:45 +0100)]
[mc] Simplification, remove profiling code

4 years ago[mc] Move the MCer wait_for_requests logic outside of MC_wait_for_requests
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

4 years ago[mc] Merge Server class into ModelChecker
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.

4 years ago[mc] Remove Process:status_
Gabriel Corona [Thu, 12 Nov 2015 10:24:19 +0000 (11:24 +0100)]
[mc] Remove Process:status_

4 years ago[mc] Replace some exit() calls by return
Gabriel Corona [Thu, 12 Nov 2015 09:04:29 +0000 (10:04 +0100)]
[mc] Replace some exit() calls by return

4 years ago[mc] Move privatization flag initialization
Gabriel Corona [Thu, 12 Nov 2015 08:43:39 +0000 (09:43 +0100)]
[mc] Move privatization flag initialization

Fix the snapshot tests.

4 years ago[mc] Fix exit status naming convention
Gabriel Corona [Tue, 10 Nov 2015 14:36:23 +0000 (15:36 +0100)]
[mc] Fix exit status naming convention

4 years ago[mc] Move Server in simgrid::mc
Gabriel Corona [Tue, 10 Nov 2015 14:27:35 +0000 (15:27 +0100)]
[mc] Move Server in simgrid::mc

4 years ago[mc] Simplify mc_server
Gabriel Corona [Tue, 10 Nov 2015 13:58:02 +0000 (14:58 +0100)]
[mc] Simplify mc_server

4 years ago[mc] Fix privatisation support
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.

4 years ago[mc] Remove MC code in sigsegvhandler
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.

4 years ago[mc] Generate a message showing the path on crash of the model-checked
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

4 years ago[mc] Move model-checker message processing logic in its own method
Gabriel Corona [Mon, 9 Nov 2015 13:54:01 +0000 (14:54 +0100)]
[mc] Move model-checker message processing logic in its own method

4 years ago[mc] ptrace the model-checker application
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).

4 years agosanitizes host user_data: create a lib level
Martin Quinson [Sun, 8 Nov 2015 20:57:27 +0000 (21:57 +0100)]
sanitizes host user_data: create a lib level

4 years agoDon't segfault when one level of the lib has a NULL free_f
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

4 years ago[tesh] try to properly quote the regexps for Perl 5.22
Martin Quinson [Sat, 7 Nov 2015 20:57:12 +0000 (21:57 +0100)]
[tesh] try to properly quote the regexps for Perl 5.22

4 years ago[L07] Don't segfault on point-to-point communications
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.

4 years ago[win] protect the inclusion of a non-existing file
Martin Quinson [Fri, 6 Nov 2015 20:42:29 +0000 (21:42 +0100)]
[win]¬†protect the inclusion of a non-existing file

4 years ago[cmake] 'not' and 'NOT' are different, but only on windows
Martin Quinson [Fri, 6 Nov 2015 20:19:06 +0000 (21:19 +0100)]
[cmake] 'not' and 'NOT' are different, but only on windows

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 6 Nov 2015 19:57:08 +0000 (20:57 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years ago[smpi] Use virtual memory layout to find the data segment
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.

4 years agoinline another getter simcall: host_get_nb_pstates
Martin Quinson [Thu, 5 Nov 2015 00:31:33 +0000 (01:31 +0100)]
inline another getter simcall: host_get_nb_pstates

4 years ago[SMPI] Renamed smpi/async_small_thres to smpi/async_small_thresh
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.

4 years agoA sh.exe appeared in appeveyor path, breaking mingw
Martin Quinson [Tue, 3 Nov 2015 23:30:26 +0000 (00:30 +0100)]
A sh.exe appeared in appeveyor path, breaking mingw

4 years agoFix out-of-tree builds after 3203ed1, sorry
Martin Quinson [Tue, 3 Nov 2015 23:09:34 +0000 (00:09 +0100)]
Fix out-of-tree builds after 3203ed1, sorry

(fix #32)

4 years ago[Gitignore] Blacklist mpich3-test binaries
Christian Heinrich [Sat, 31 Oct 2015 19:33:48 +0000 (20:33 +0100)]
[Gitignore] Blacklist mpich3-test binaries

4 years agofix an easy fixme
Martin Quinson [Tue, 3 Nov 2015 08:44:31 +0000 (09:44 +0100)]
fix an easy fixme

4 years ago[cmake] all java stuff in the same place
Martin Quinson [Tue, 3 Nov 2015 00:11:30 +0000 (01:11 +0100)]
[cmake] all java stuff in the same place

4 years ago[cmake] recompile with swig if the executable is found
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).

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 2 Nov 2015 17:55:08 +0000 (18:55 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agoinline two more simcalls: host_get_pstate and host_get_consumed_energy
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

4 years ago[mc] Fix error in dependency checking
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

4 years ago[mc] DRY in MC_request_depend()
Gabriel Corona [Mon, 2 Nov 2015 12:58:45 +0000 (13:58 +0100)]
[mc] DRY in MC_request_depend()

4 years ago[mc] Use std::vector for Process::heap_info
Gabriel Corona [Mon, 2 Nov 2015 10:23:47 +0000 (11:23 +0100)]
[mc] Use std::vector for Process::heap_info

4 years ago[mc] Use std::unique_ptr for Process::heap
Gabriel Corona [Mon, 2 Nov 2015 10:11:37 +0000 (11:11 +0100)]
[mc] Use std::unique_ptr for Process::heap

4 years agoinline two more getter simcalls: host_get_core and host_get_state
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

4 years agofix a test that got broken when I suppressed some simcalls
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.

4 years agotypo (s/deamon/daemon/)
Martin Quinson [Sun, 1 Nov 2015 08:36:35 +0000 (09:36 +0100)]
typo (s/deamon/daemon/)

4 years agoadd another library to the whitelist of ignored debugging symbols
Martin Quinson [Sun, 1 Nov 2015 08:23:02 +0000 (09:23 +0100)]
add another library to the whitelist of ignored debugging symbols

4 years agoKill two getter simcalls, and replace them by (almost) direct calls to surf
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

4 years agokill two useless functions: surf_as_cluster_{get,set}_backbone
Martin Quinson [Sat, 31 Oct 2015 23:43:41 +0000 (00:43 +0100)]
kill two useless functions: surf_as_cluster_{get,set}_backbone

4 years agokill an almost unused function: surf_model_name
Martin Quinson [Sat, 31 Oct 2015 23:39:14 +0000 (00:39 +0100)]
kill an almost unused function: surf_model_name

4 years agokill some dead (commented) code
Martin Quinson [Sat, 31 Oct 2015 23:32:17 +0000 (00:32 +0100)]
kill some dead (commented) code

4 years agomake it easier to ignore SMPI temp files, and do so in the .gitignore
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

4 years agonow that CMake dependency is bumped to 2.8.8, dont deal with older ones
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

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 30 Oct 2015 19:22:36 +0000 (20:22 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agoBump the minimal version of cmake to 2.8.8
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.

4 years ago[Gitignore] Ignore mpich3-test temporary files
Christian Heinrich [Fri, 30 Oct 2015 18:41:37 +0000 (19:41 +0100)]
[Gitignore] Ignore mpich3-test temporary files

4 years ago[Gitignore] Applied sort to examples.
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...

4 years ago[Doc] Fixed misplaced link
Christian Heinrich [Thu, 29 Oct 2015 14:32:48 +0000 (15:32 +0100)]
[Doc] Fixed misplaced link

4 years ago[Doc] Added description for the boost context factory
Christian Heinrich [Thu, 29 Oct 2015 14:28:48 +0000 (15:28 +0100)]
[Doc] Added description for the boost context factory

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 30 Oct 2015 09:53:04 +0000 (10:53 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agoupdate the preferred citation
Martin Quinson [Fri, 30 Oct 2015 09:52:21 +0000 (10:52 +0100)]
update the preferred citation

4 years ago[SIMIX] Updated error messages for contexts
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.

4 years agokill dead code (duplicated from just above)
Martin Quinson [Thu, 29 Oct 2015 10:00:12 +0000 (11:00 +0100)]
kill dead code (duplicated from just above)

4 years agoremove old cruft dating from cdash
Martin Quinson [Thu, 29 Oct 2015 09:41:51 +0000 (10:41 +0100)]
remove old cruft dating from cdash

4 years agoKill an unused simcall: host_get_name
Martin Quinson [Wed, 28 Oct 2015 06:54:39 +0000 (07:54 +0100)]
Kill an unused simcall: host_get_name

4 years agokill dead code
Martin Quinson [Tue, 27 Oct 2015 18:19:39 +0000 (19:19 +0100)]
kill dead code

4 years ago[surf] tiny cleanups around the virtual machines
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

4 years agoKill the setset datacontainer: it's unused since a while
Martin Quinson [Mon, 26 Oct 2015 20:22:16 +0000 (21:22 +0100)]
Kill the setset datacontainer: it's unused since a while

4 years agofix build on non-linux arch
Martin Quinson [Sun, 25 Oct 2015 21:24:57 +0000 (22:24 +0100)]
fix build on non-linux arch

4 years agoReduce the amount of implicit include directories
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.

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 25 Oct 2015 19:10:00 +0000 (20:10 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

4 years agocleanups in cmake+perl interactions
Martin Quinson [Sun, 25 Oct 2015 15:08:10 +0000 (16:08 +0100)]
cleanups in cmake+perl interactions

4 years agoforgot this one
degomme [Sat, 24 Oct 2015 22:27:07 +0000 (00:27 +0200)]
forgot this one

4 years agotry to fix some compilation erros
degomme [Sat, 24 Oct 2015 21:52:26 +0000 (23:52 +0200)]
try to fix some compilation erros

4 years ago[cmake] tiny cleanup around smpi
Martin Quinson [Sat, 24 Oct 2015 20:50:53 +0000 (22:50 +0200)]
[cmake] tiny cleanup around smpi

4 years agodisable lua on CI for now
Martin Quinson [Sat, 24 Oct 2015 20:13:35 +0000 (22:13 +0200)]
disable lua on CI for now

4 years agowas too fast on merging the commits, sorry
Martin Quinson [Fri, 23 Oct 2015 19:51:22 +0000 (21:51 +0200)]
was too fast on merging the commits, sorry

4 years ago[cmake] mark two variables as advanced to hide them from ccmake
Martin Quinson [Fri, 23 Oct 2015 19:51:09 +0000 (21:51 +0200)]
[cmake] mark two variables as advanced to hide them from ccmake

4 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 23 Oct 2015 13:25:14 +0000 (15:25 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid