]>
AND Public Git Repository - simgrid.git/log
Martin Quinson [Fri, 10 Feb 2017 20:59:42 +0000 (21:59 +0100)]
obey our naming conventions
Martin Quinson [Fri, 10 Feb 2017 14:33:02 +0000 (15:33 +0100)]
cosmetics
degomme [Fri, 10 Feb 2017 11:03:10 +0000 (12:03 +0100)]
ignore new lib for freebsd (used by libevent)
degomme [Fri, 10 Feb 2017 10:03:12 +0000 (11:03 +0100)]
some captured params for llambda were unused, triggering new warning in clang 5
Martin Quinson [Fri, 10 Feb 2017 01:07:01 +0000 (02:07 +0100)]
explicitly capture some other callback's scopes
Martin Quinson [Fri, 10 Feb 2017 00:09:18 +0000 (01:09 +0100)]
gosh, sonar still chokes on this single function. Better now?
Martin Quinson [Thu, 9 Feb 2017 23:40:32 +0000 (00:40 +0100)]
sonar complains that these cases are redundant. Fair enough
Martin Quinson [Thu, 9 Feb 2017 22:31:51 +0000 (23:31 +0100)]
explicitly capture the variables to please sonar
Martin Quinson [Thu, 9 Feb 2017 20:49:05 +0000 (21:49 +0100)]
some cosmetics to please sonar
Martin Quinson [Wed, 8 Feb 2017 22:26:04 +0000 (23:26 +0100)]
cosmetics
Martin Quinson [Tue, 7 Feb 2017 15:56:43 +0000 (16:56 +0100)]
more info to the user.
Martin Quinson [Tue, 7 Feb 2017 15:18:43 +0000 (16:18 +0100)]
be even more informative to the user
degomme [Tue, 7 Feb 2017 16:40:59 +0000 (17:40 +0100)]
sort output of test
degomme [Tue, 7 Feb 2017 16:39:50 +0000 (17:39 +0100)]
try to fix build for gcc 7
Martin Quinson [Tue, 7 Feb 2017 13:39:24 +0000 (14:39 +0100)]
and now fix NS3 builds, bummer
Martin Quinson [Tue, 7 Feb 2017 13:16:17 +0000 (14:16 +0100)]
cosmetics
Martin Quinson [Tue, 7 Feb 2017 10:24:09 +0000 (11:24 +0100)]
smpirun: gracefuly handle the case where the user forgets to give a program to execute
Martin Quinson [Tue, 7 Feb 2017 09:54:50 +0000 (10:54 +0100)]
fix lua builds
Martin Quinson [Tue, 7 Feb 2017 09:54:40 +0000 (10:54 +0100)]
cosmetics
Martin Quinson [Tue, 7 Feb 2017 01:03:01 +0000 (02:03 +0100)]
Add a s4u::Link class, at least
Martin Quinson [Mon, 6 Feb 2017 23:16:24 +0000 (00:16 +0100)]
rename surf::Link into surf::LinkImpl to make room for s4u
Martin Quinson [Mon, 6 Feb 2017 21:02:57 +0000 (22:02 +0100)]
rename an option and improve its doc: maxmin/concurrency-limit
Martin Quinson [Mon, 6 Feb 2017 20:47:51 +0000 (21:47 +0100)]
test that joining a terminated process still works
This patch was provided by Samuel Thibault and (fix #135).
As noted by Samuel, this feature used to fail for SimGrid 3.12 and
3.13 but seems to work since 3.14. This new test intends to make sure
that it remains this way.
Many thanks for that Sam!
Martin Quinson [Mon, 6 Feb 2017 07:37:42 +0000 (08:37 +0100)]
This test requires concurrency_limit to 100 (but works with MC)
Martin Quinson [Sun, 5 Feb 2017 21:21:11 +0000 (22:21 +0100)]
change the default value of maxmin/concurrency_limit to -1 (+cosmetics)
Martin Quinson [Sun, 5 Feb 2017 21:03:31 +0000 (22:03 +0100)]
make this file usable with smpi
Martin Quinson [Sat, 4 Feb 2017 20:21:06 +0000 (21:21 +0100)]
use NAS/ep as an example of SMPI_SHARED_MALLOC and SMPI_SAMPLE_GLOBAL
Martin Quinson [Fri, 3 Feb 2017 20:14:49 +0000 (21:14 +0100)]
cosmetics
Martin Quinson [Thu, 2 Feb 2017 14:26:42 +0000 (15:26 +0100)]
plug a huge memleak that I created while optimizing for speed
Martin Quinson [Thu, 2 Feb 2017 02:31:31 +0000 (03:31 +0100)]
Don't specify RuntimeExceptions in throws clauses
Martin Quinson [Thu, 2 Feb 2017 01:46:20 +0000 (02:46 +0100)]
please sonar by marking C functions as such
Martin Quinson [Thu, 2 Feb 2017 01:39:06 +0000 (02:39 +0100)]
please sonar by writing lighter C++ code
Martin Quinson [Thu, 2 Feb 2017 00:32:06 +0000 (01:32 +0100)]
improve the doc of the context factories
Martin Quinson [Wed, 1 Feb 2017 23:58:06 +0000 (00:58 +0100)]
Fix MC builds, bummer
Martin Quinson [Wed, 1 Feb 2017 21:39:56 +0000 (22:39 +0100)]
try to speed up some some traversals
Martin Quinson [Wed, 1 Feb 2017 19:16:37 +0000 (20:16 +0100)]
New callbacks: simgrid::s4u::onSimulationEnd (right after the main simulation loop)
Martin Quinson [Wed, 1 Feb 2017 19:02:02 +0000 (20:02 +0100)]
New callback: simgrid::s4u::onPlatformCreated (right before the simulation start)
Martin Quinson [Wed, 1 Feb 2017 18:59:43 +0000 (19:59 +0100)]
yeah, eclipse. Whatever
degomme [Wed, 1 Feb 2017 17:05:54 +0000 (18:05 +0100)]
Add some missing types for MPI operators.
Ugly, just ugly.
Martin Quinson [Wed, 1 Feb 2017 09:49:46 +0000 (10:49 +0100)]
optimize this vector traversal
Martin Quinson [Wed, 1 Feb 2017 08:17:36 +0000 (09:17 +0100)]
try to gather more info on this error situation
Martin Quinson [Wed, 1 Feb 2017 07:57:57 +0000 (08:57 +0100)]
Comment a particularly ... inventive code path
Martin Quinson [Wed, 1 Feb 2017 07:48:43 +0000 (08:48 +0100)]
fix NS3 builds
Martin Quinson [Wed, 1 Feb 2017 01:33:29 +0000 (02:33 +0100)]
cosmetics
Martin Quinson [Wed, 1 Feb 2017 01:10:12 +0000 (02:10 +0100)]
don't malloc tons of dynars in mpi_waitany
Martin Quinson [Tue, 31 Jan 2017 23:25:04 +0000 (00:25 +0100)]
let the users know about config changes concerning the contextes
Martin Quinson [Tue, 31 Jan 2017 08:33:30 +0000 (09:33 +0100)]
finish the transition netcards->netpoints in the code
Martin Quinson [Mon, 30 Jan 2017 21:32:27 +0000 (22:32 +0100)]
netcards were renamed to netpoints recently
Martin Quinson [Sat, 28 Jan 2017 15:19:33 +0000 (16:19 +0100)]
adapt simcall.py to recent code reorg in MC
Martin Quinson [Sat, 28 Jan 2017 23:07:45 +0000 (00:07 +0100)]
our semaphore cannot be unlimited since GRAS is gone...
Martin Quinson [Sat, 28 Jan 2017 13:57:47 +0000 (14:57 +0100)]
tuto improvements, and add a link to the SMPI CourseWare
Martin Quinson [Fri, 27 Jan 2017 21:34:50 +0000 (22:34 +0100)]
further cleanup the files provided with the tuto
And update the tuto accordingly
Martin Quinson [Fri, 27 Jan 2017 17:44:29 +0000 (18:44 +0100)]
java: kill obscure NativeException
Martin Quinson [Fri, 27 Jan 2017 16:41:24 +0000 (17:41 +0100)]
document the new MSG example I recently added
Martin Quinson [Fri, 27 Jan 2017 07:04:37 +0000 (08:04 +0100)]
improve a FAQ entry
Martin Quinson [Thu, 26 Jan 2017 23:40:09 +0000 (00:40 +0100)]
sonar: these checks are just wrong in our context
Martin Quinson [Thu, 26 Jan 2017 22:29:42 +0000 (23:29 +0100)]
Make MSG_process_yield visible from java, and test it
Martin Quinson [Thu, 26 Jan 2017 21:42:45 +0000 (22:42 +0100)]
fix make distcheck
Martin Quinson [Thu, 26 Jan 2017 21:41:36 +0000 (22:41 +0100)]
New example for MSG_process_yield()
Martin Quinson [Thu, 26 Jan 2017 21:23:31 +0000 (22:23 +0100)]
new function MSG_process_yield()
Martin Quinson [Thu, 26 Jan 2017 21:22:36 +0000 (22:22 +0100)]
Document last change
Martin Quinson [Thu, 26 Jan 2017 21:21:00 +0000 (22:21 +0100)]
tell eclipse where to find the arch-dependent java files (on my machine)
Martin Quinson [Thu, 26 Jan 2017 21:19:44 +0000 (22:19 +0100)]
Make these example files compile
Martin Quinson [Thu, 26 Jan 2017 17:23:25 +0000 (18:23 +0100)]
allow java actors to kill themselves
Martin Quinson [Thu, 26 Jan 2017 15:14:54 +0000 (16:14 +0100)]
check that suiciding a process actually works in C
Martin Quinson [Thu, 26 Jan 2017 15:05:03 +0000 (16:05 +0100)]
I'm using openjdk-8 nowadays
This should reduce the amount of errors I get in eclipse on the JNI
files.
Martin Quinson [Thu, 26 Jan 2017 11:14:51 +0000 (12:14 +0100)]
fix a memleak in Java VM when the used did not manually destroy VM
The C world was cleaned on a vm.destroy() and not when the GC
finalizes the Java world.
- Pb1: any java call to a destroy()ed vm could segfault
- Pb2: C world memleaked when forgetting destroy()
So now, the VM is not really destroyed when calling destroy(), but
only when all references to the object are gone. It tastes much more
Java to me that the previous version where our users had to to do the
memory management manually.
Arguably, this differs a bit more from libvirt, but I think I can live
with it.
Martin Quinson [Thu, 26 Jan 2017 10:51:31 +0000 (11:51 +0100)]
MC: cosmetics
Martin Quinson [Wed, 25 Jan 2017 14:14:06 +0000 (15:14 +0100)]
MC: comment, rename stuff, don't change anything profund
Martin Quinson [Wed, 25 Jan 2017 13:56:22 +0000 (14:56 +0100)]
reduce the amount of mallocs and use space on the stack
degomme [Wed, 25 Jan 2017 13:29:44 +0000 (14:29 +0100)]
one algo was missing from the doc
Martin Quinson [Mon, 23 Jan 2017 21:52:33 +0000 (22:52 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 23 Jan 2017 21:51:47 +0000 (22:51 +0100)]
Rename NetCards to NetPoints
Matthieu Volat [Mon, 23 Jan 2017 18:30:30 +0000 (19:30 +0100)]
darwin: (preliminary) memory mappings + smpi variable privatization
Matthieu Volat [Mon, 23 Jan 2017 18:28:55 +0000 (19:28 +0100)]
Fix a typo in smpirun.
Augustin Degomme [Mon, 23 Jan 2017 19:57:09 +0000 (20:57 +0100)]
remove weird blank characters
Martin Quinson [Sun, 22 Jan 2017 21:27:33 +0000 (22:27 +0100)]
cosmetics
Martin Quinson [Sat, 21 Jan 2017 08:52:16 +0000 (09:52 +0100)]
try to make SafetyChecker a bit easier to read
Mostly adding comments and renaming symbols, but not changing to the
logic (yet)
Martin Quinson [Fri, 20 Jan 2017 10:53:21 +0000 (11:53 +0100)]
plug a memleak
This one is vicious and I should cleanup the VM and Host interactions.
one day.
Martin Quinson [Fri, 20 Jan 2017 09:34:45 +0000 (10:34 +0100)]
install the tools from the packages when possible; forget about Paje
Martin Quinson [Fri, 20 Jan 2017 00:03:18 +0000 (01:03 +0100)]
revalidate a tesh file after a fix due to please sonar
+ remove yet another annoying sonar warning (on the exact line that I
fixed in the previous run: the second task was never run in Java)
Martin Quinson [Thu, 19 Jan 2017 23:30:04 +0000 (00:30 +0100)]
please sonar, even if it is really pesky sometimes
Martin Quinson [Thu, 19 Jan 2017 15:06:51 +0000 (16:06 +0100)]
make sure that the HostStateChange event is fired when needed
Martin Quinson [Thu, 19 Jan 2017 14:15:51 +0000 (15:15 +0100)]
implement the DVFS functions in Java
Martin Quinson [Thu, 19 Jan 2017 13:44:59 +0000 (14:44 +0100)]
If you don't start the processes, the VM are actually empty, bummer
Martin Quinson [Thu, 19 Jan 2017 07:54:50 +0000 (08:54 +0100)]
fix the build with older g++
Let's not use this Java-like syntax here
Martin Quinson [Thu, 19 Jan 2017 01:43:58 +0000 (02:43 +0100)]
Make SIMIX_process_from_PID much faster
It was a linear search in a swag, that's now using a std::map that are
usually implemented with Red/Black trees.
This patch is more complex that it should because currently, the
model-checker needs to read the list of processes from the remote
process. We cannot do that from a std::map because it would require to
understand the private implementation of the std::map, which is
system/compiler dependent.
Instead, in MC mode, we copy the whole list of processes from the map
into a dynar that is easier to read remotely. This hack should
obviously not remain as is.
Instead, we should make sure that the MCer does not need to have the
whole list of processes (even if it could read one or two given
processes on need). It seems that this list is mainly used for the
computation of the list of enabled transitions. A promising idea is to
move that computation to the MCed that has all needed information. The
precomputed data could be made available to the MCer that would only
have to read the result, which constitutes much less info to read
remotely.
Martin Quinson [Mon, 16 Jan 2017 21:33:55 +0000 (22:33 +0100)]
clang-format broke my commit
Martin Quinson [Mon, 16 Jan 2017 16:16:37 +0000 (17:16 +0100)]
continue to split the source code of MC. Split remoting
Martin Quinson [Mon, 16 Jan 2017 15:35:51 +0000 (16:35 +0100)]
cosmetics
Martin Quinson [Mon, 16 Jan 2017 10:08:08 +0000 (11:08 +0100)]
inline some functions to make livenessChecker more streamlined
Martin Quinson [Sun, 15 Jan 2017 20:51:20 +0000 (21:51 +0100)]
cosmetics
Martin Quinson [Sat, 14 Jan 2017 00:52:32 +0000 (01:52 +0100)]
further cleanups to the SafetyChecker
Martin Quinson [Sat, 14 Jan 2017 00:30:23 +0000 (01:30 +0100)]
MC: use exceptions to report errors, not integer return types
That's C++, after all
Martin Quinson [Fri, 13 Jan 2017 21:47:08 +0000 (22:47 +0100)]
move the checker algorithms to their own directory
Martin Quinson [Fri, 13 Jan 2017 21:29:54 +0000 (22:29 +0100)]
cosmetics to make the SafetyChecker even easier to read
Martin Quinson [Fri, 13 Jan 2017 11:57:15 +0000 (12:57 +0100)]
remove a now unused parameter
Martin Quinson [Thu, 12 Jan 2017 16:53:02 +0000 (17:53 +0100)]
add the properties as argument to NetZoneImpl->createHost
This allows to incorporate the onHostCreation to that function instead
of having each host creator specifying that they just created an host
This was mandatory because the plugin energy needs the properties to
be setup when the signal is called.
Martin Quinson [Thu, 12 Jan 2017 16:45:44 +0000 (17:45 +0100)]
properly set the bindir for these tests too
Martin Quinson [Thu, 12 Jan 2017 12:25:04 +0000 (13:25 +0100)]
make the propaganda useful (and thus desirable) to the users