Martin Quinson [Sun, 5 Apr 2015 17:35:55 +0000 (19:35 +0200)]
improve Java interface
- Rewrite some javadoc comments
- Reduce the visibility of fields that are not public
Martin Quinson [Sun, 5 Apr 2015 16:58:56 +0000 (18:58 +0200)]
kill unused code: Task.get/setId()
Martin Quinson [Sun, 5 Apr 2015 16:53:03 +0000 (18:53 +0200)]
reindent the java sources
Martin Quinson [Sun, 5 Apr 2015 13:53:18 +0000 (15:53 +0200)]
Rename Task.setDataSize() to Task.setBytesAmount()
Martin Quinson [Sun, 5 Apr 2015 13:32:33 +0000 (15:32 +0200)]
Interface cleanup
Merge Task.getRemainingDuration() and Task.getComputeDuration() into
Task.getFlopsAmount() in both C and Java (lua not done yet)
Martin Quinson [Sun, 5 Apr 2015 13:31:46 +0000 (15:31 +0200)]
add the path to jni.h to eclipse config
Martin Quinson [Sun, 5 Apr 2015 10:17:44 +0000 (12:17 +0200)]
rename parameters to make them unanbigous
Martin Quinson [Sat, 4 Apr 2015 20:24:23 +0000 (22:24 +0200)]
mv msg/msg.h simgrid/msg.h
Martin Quinson [Sat, 4 Apr 2015 18:14:04 +0000 (20:14 +0200)]
mv simdag/simdag.h simgrid/simdag.h
Martin Quinson [Sat, 4 Apr 2015 16:41:08 +0000 (18:41 +0200)]
cleanups and simplifications to our build system
- It is now impossible to turn TRACING off at compile time
- Some headers were moved around
Martin Quinson [Sat, 4 Apr 2015 15:15:31 +0000 (17:15 +0200)]
rename parameters all around to make their meaning unambiguous
Martin Quinson [Sat, 4 Apr 2015 14:28:11 +0000 (16:28 +0200)]
revalidate teshes
Martin Quinson [Sat, 4 Apr 2015 14:24:13 +0000 (16:24 +0200)]
Rename Process.currentProcess() to Process.getCurrentProcess()
Martin Quinson [Sat, 4 Apr 2015 12:57:28 +0000 (14:57 +0200)]
cosmetics about excluded tests to ease the writing of reporting scripts
Martin Quinson [Sat, 4 Apr 2015 12:56:56 +0000 (14:56 +0200)]
no need for that include
Martin Quinson [Sat, 4 Apr 2015 12:56:03 +0000 (14:56 +0200)]
dont segfault when exiting before everything is allocated (as on parse errors)
Martin Quinson [Sat, 4 Apr 2015 12:55:19 +0000 (14:55 +0200)]
dont mangle error messages when surf_exit segfaults
Gabriel Corona [Fri, 27 Feb 2015 14:52:29 +0000 (15:52 +0100)]
Add missing copyright notice
Marion Guthmuller [Thu, 26 Feb 2015 09:22:04 +0000 (10:22 +0100)]
model-checker : MUTEX_UNLOCK is invisible for MC
Marion Guthmuller [Thu, 26 Feb 2015 09:15:19 +0000 (10:15 +0100)]
model-checker : mutex owner may be NULL after UNLOCK
Marion Guthmuller [Wed, 25 Feb 2015 18:18:10 +0000 (19:18 +0100)]
model-checker : initialize variable
Marion Guthmuller [Wed, 25 Feb 2015 18:00:14 +0000 (19:00 +0100)]
model-checker : clang compliant
Marion Guthmuller [Wed, 25 Feb 2015 17:42:30 +0000 (18:42 +0100)]
model-checker : removed tesh forgotten in DefinePackages.cmake
Marion Guthmuller [Wed, 25 Feb 2015 17:37:11 +0000 (18:37 +0100)]
model-checker : include MUTEX_LOCK and UNLOCK in dot output
Marion Guthmuller [Wed, 25 Feb 2015 17:03:15 +0000 (18:03 +0100)]
model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC
Marion Guthmuller [Wed, 25 Feb 2015 15:13:33 +0000 (16:13 +0100)]
model-checker : fix SIMCALL_MUTEX_LOCK with MC
Marion Guthmuller [Tue, 24 Feb 2015 16:25:36 +0000 (17:25 +0100)]
model-checker : extend comm determinism verification
Marion Guthmuller [Tue, 24 Feb 2015 16:18:16 +0000 (17:18 +0100)]
model-checker : new files forgotten
Marion Guthmuller [Tue, 24 Feb 2015 13:05:54 +0000 (14:05 +0100)]
model-checker : non-progressive cycle detection (enabled with --cfg=model-check/termination:1)
Martin Quinson [Mon, 23 Feb 2015 10:30:46 +0000 (11:30 +0100)]
fix the formating of the energy plugin's documentation -- sorry for the noise
Martin Quinson [Mon, 23 Feb 2015 09:23:44 +0000 (10:23 +0100)]
some more documentation to the energy plugin
Martin Quinson [Mon, 23 Feb 2015 09:22:02 +0000 (10:22 +0100)]
rename one of the energy examples
Martin Quinson [Sun, 22 Feb 2015 15:37:47 +0000 (16:37 +0100)]
cosmetics
Martin Quinson [Sun, 22 Feb 2015 15:01:56 +0000 (16:01 +0100)]
typo--
Martin Quinson [Sun, 22 Feb 2015 15:01:01 +0000 (16:01 +0100)]
Ignore the display of the used collective algorithm
This is because the same tesh file is used to test all collective
variants: we do want them to give the exact same output (functional
testing).
Martin Quinson [Sun, 22 Feb 2015 14:29:24 +0000 (15:29 +0100)]
SMPI: info message when the collective algorithm is changed
Martin Quinson [Sun, 22 Feb 2015 14:25:13 +0000 (15:25 +0100)]
display the information earlier
Arnaud Legrand [Wed, 18 Feb 2015 09:05:16 +0000 (10:05 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Arnaud Legrand [Wed, 18 Feb 2015 09:04:45 +0000 (10:04 +0100)]
Improve error message
Arnaud Giersch [Tue, 17 Feb 2015 10:51:30 +0000 (11:51 +0100)]
Update SIMGRID_VERSION_DATE.
Arnaud Giersch [Tue, 17 Feb 2015 10:51:30 +0000 (11:51 +0100)]
Typos.
Arnaud Giersch [Tue, 17 Feb 2015 10:51:30 +0000 (11:51 +0100)]
Replace remaining smx_action by smx_synchro.
Arnaud Giersch [Tue, 17 Feb 2015 10:51:30 +0000 (11:51 +0100)]
Fix comments.
Not sure that the example is really instructive, though.
Martin Quinson [Mon, 16 Feb 2015 18:03:08 +0000 (19:03 +0100)]
Have smpirun, smpicc and friends display the simgrid git hash version on --git-version
Martin Quinson [Mon, 16 Feb 2015 14:31:17 +0000 (15:31 +0100)]
make smpirun guess the hostfile for cluster tags too
Martin Quinson [Sun, 15 Feb 2015 20:24:33 +0000 (21:24 +0100)]
misleading typo in the comments
Marion Guthmuller [Fri, 13 Feb 2015 14:00:33 +0000 (15:00 +0100)]
model-checker : include tag in comm determinism verification
Marion Guthmuller [Tue, 10 Feb 2015 15:02:06 +0000 (16:02 +0100)]
model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0
Marion Guthmuller [Tue, 10 Feb 2015 14:04:34 +0000 (15:04 +0100)]
model-checker : memory leak
Marion Guthmuller [Mon, 9 Feb 2015 18:39:18 +0000 (19:39 +0100)]
model-checker : revalidate tesh
Marion Guthmuller [Mon, 9 Feb 2015 18:38:55 +0000 (19:38 +0100)]
model-checker : cosmetics
Marion Guthmuller [Mon, 9 Feb 2015 18:38:39 +0000 (19:38 +0100)]
model-checker : non-recursive liveness algorithm
Marion Guthmuller [Mon, 9 Feb 2015 18:37:14 +0000 (19:37 +0100)]
model-checker : intermediate backtracking with model-check/checkpoint cfg flag
Marion Guthmuller [Mon, 9 Feb 2015 18:31:41 +0000 (19:31 +0100)]
model-checker : communications determinism with visited state equality reduction
Martin Quinson [Tue, 3 Feb 2015 22:07:52 +0000 (23:07 +0100)]
New property: watt_off to denote the disipation when the host is off
Martin Quinson [Tue, 3 Feb 2015 08:50:56 +0000 (09:50 +0100)]
cosmetics in example and revalidate all energy examples
Martin Quinson [Tue, 3 Feb 2015 00:58:49 +0000 (01:58 +0100)]
partially fix the energy public API (massive renames ongoing)
Martin Quinson [Tue, 3 Feb 2015 00:17:09 +0000 (01:17 +0100)]
Fix energy plugin wrt idle time
- Count the last idle period when the host is destroyed
- More informative debug messages in the plugin
- More informative messages in the example (to make computations
manually enforcable)
Martin Quinson [Tue, 27 Jan 2015 07:03:45 +0000 (08:03 +0100)]
fix a test by hardcoding the used machines
I changed the platform recently to test properties with clusters
Martin Quinson [Mon, 26 Jan 2015 20:57:09 +0000 (21:57 +0100)]
rename the property used by the energy plugin for clarity
Martin Quinson [Mon, 26 Jan 2015 20:56:21 +0000 (21:56 +0100)]
reduce the amount of cruft loaded in the jarfile (don't include doxygen sources)
Martin Quinson [Mon, 26 Jan 2015 17:07:04 +0000 (18:07 +0100)]
oops, remove verbose debug output
Martin Quinson [Mon, 26 Jan 2015 09:03:53 +0000 (10:03 +0100)]
even more informative error message
Martin Quinson [Sun, 25 Jan 2015 23:26:52 +0000 (00:26 +0100)]
more informative (?) error message
Martin Quinson [Sun, 25 Jan 2015 22:57:06 +0000 (23:57 +0100)]
test that the hosts get the cluster's properties
Martin Quinson [Sun, 25 Jan 2015 22:54:30 +0000 (23:54 +0100)]
properly pass the cluster's properties to the created hosts
Martin Quinson [Sun, 25 Jan 2015 21:56:36 +0000 (22:56 +0100)]
more informative error message in some obscure error settings
Martin Quinson [Wed, 14 Jan 2015 21:24:50 +0000 (22:24 +0100)]
cosmetics in comments
Christian Heinrich [Thu, 22 Jan 2015 11:34:25 +0000 (12:34 +0100)]
Modified error messages when creating CPUs for more verbosity.
As 0 may be assumed as the default powerPeak value (if no value specified),
the error message should point out that the power attribute may have been
forgotten. This was added in this commit.
suter [Tue, 20 Jan 2015 20:26:01 +0000 (21:26 +0100)]
more verbose output following a weird crash on my laptop
Christian Heinrich [Mon, 19 Jan 2015 15:42:26 +0000 (16:42 +0100)]
Updated lua README file to reflect current state of SG
- File small_platform.xml was moved to a different location
- Added full example for execution; without it, it doesn't work.
Martin Quinson [Tue, 6 Jan 2015 19:58:37 +0000 (20:58 +0100)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Christian Heinrich [Tue, 6 Jan 2015 18:10:28 +0000 (19:10 +0100)]
Fixed cmake/doxygen errors on old systems.
cmake 2.8.7 on Ubuntu 12.04 LTS does not support the
DOXYGEN_VERSION variable, hence documentation can never be
built as this variable is required.
The added code checks whether the DOXYGEN_EXECUTABLE
is set and executes doxygen --version itself; hence
making this variable available.
Tested on Ubuntu 12.04 LTS.
Augustin Degomme [Tue, 6 Jan 2015 14:14:01 +0000 (15:14 +0100)]
Change order of initialization.
If the cpumodel is constructed before msg init is called, a log message is sent without proper init
This meant undefined behavior, and in one particular case the wrong locale being selected, the message used a comma as a separator instead of a dot.
There was a big hint in the comment just before : "do not do anything before the msg.init call !"
Augustin Degomme [Mon, 5 Jan 2015 17:03:53 +0000 (18:03 +0100)]
Change include order for smpi tests/examples to avoid conflicts
This include folder is the one where our mpi.h file lives.
This file is provided by various other libraries.
When another simgrid include folder contains another mpi.h file from another library, build is broken
This trouble was seen on a freebsd system with graphviz installed, which added an include path in /usr/local/include, where there was a mpi.h file from mpich
This commit forces the one from smpi to be the first and only mpi.h file examples/tests do use
Augustin Degomme [Mon, 5 Jan 2015 15:14:12 +0000 (16:14 +0100)]
avoid breaking with recent freebsd that implement this flag (as the comment said)
This should help other bsds as well
Martin Quinson [Mon, 22 Dec 2014 22:04:09 +0000 (23:04 +0100)]
kepler->luna
Martin Quinson [Mon, 22 Dec 2014 22:03:23 +0000 (23:03 +0100)]
Ensure that MSG_host_self() works from maestro context
Augustin Degomme [Mon, 15 Dec 2014 21:00:27 +0000 (22:00 +0100)]
avoid word being recognized as special by doxygen
Augustin Degomme [Mon, 15 Dec 2014 20:52:40 +0000 (21:52 +0100)]
typos
Augustin Degomme [Mon, 15 Dec 2014 20:48:56 +0000 (21:48 +0100)]
update doc about privatization .. \nThis was not updated yet. The option was documented in options.doc, so this my be a duplication of information
Augustin Degomme [Fri, 12 Dec 2014 16:59:19 +0000 (17:59 +0100)]
fix tesh
Augustin Degomme [Fri, 12 Dec 2014 16:57:10 +0000 (17:57 +0100)]
requalify teshes for vm migration
Augustin Degomme [Fri, 12 Dec 2014 16:29:08 +0000 (17:29 +0100)]
update changelog
Augustin Degomme [Fri, 12 Dec 2014 16:27:42 +0000 (17:27 +0100)]
doc update for new appenders
Augustin Degomme [Fri, 12 Dec 2014 15:46:01 +0000 (16:46 +0100)]
Patch by F.Chaix : add two "new" log appender methods : split and roll
split will create new files when a specified size is reached
roll will overwrite the file when this size is reached
example syntax is : --log=root.appender:splitfile:10000:myfilename_%.txt
The % is a wildcard that will be replaced by the number of the file. If no % is present, it will be at the end
Martin Quinson [Fri, 12 Dec 2014 12:57:29 +0000 (13:57 +0100)]
more documentation about the simcall mechanism
Augustin Degomme [Wed, 10 Dec 2014 13:25:01 +0000 (14:25 +0100)]
(try to) avoid looping forever, temporarily.
This value was 10 before, and was set to 3 recently, but weirdly this caused vm migration simulations to loop forever.
It works with an infinite timeout, but the message is lost with a few values (1,2 ,3, 6, 9 were tested and failed, other ones up to 13 at least do succeed), while succeeding with other ones (after a few hundred timeouts, so this seems to be working)
So if an MSG expert sees this and can find the problem here ..
Test should still fail with this patch, but just because teshes were not requalified yet
Augustin Degomme [Wed, 10 Dec 2014 09:30:42 +0000 (10:30 +0100)]
Fix windows build (this is now used from the java library)
Marion Guthmuller [Wed, 10 Dec 2014 12:39:16 +0000 (13:39 +0100)]
fix dot output with file descriptor checkpoint/restore
Augustin Degomme [Tue, 9 Dec 2014 15:37:00 +0000 (16:37 +0100)]
Put a 300 seconds timeout on each test with ctest
This should really be enough (the default was 1500...)
Augustin Degomme [Tue, 9 Dec 2014 09:46:18 +0000 (10:46 +0100)]
Fix build
Some vm tests are still broken and some are looping, they need to be fixed
Gabriel Corona [Tue, 9 Dec 2014 10:21:49 +0000 (11:21 +0100)]
[mc] Remove redundant typedefs
Clang complains about typedef redefinitions in pre-C11 mode.
degomme [Mon, 8 Dec 2014 22:37:07 +0000 (23:37 +0100)]
bashism -- (fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=772329 )
Adrien Lebre [Mon, 8 Dec 2014 17:14:47 +0000 (18:14 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Christian Heinrich [Mon, 8 Dec 2014 12:38:34 +0000 (13:38 +0100)]
Fixed return values for several MPI_WIN functions
(statements had to be wrapped in else-clauses)
Adrien Lebre [Mon, 8 Dec 2014 09:20:23 +0000 (10:20 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Adrien Lebre [Mon, 8 Dec 2014 09:20:12 +0000 (10:20 +0100)]
Few temporary debug messages - adrien
Augustin Degomme [Sat, 6 Dec 2014 15:05:38 +0000 (16:05 +0100)]
Add a mutex to lock access to the SMPI mailboxes when a message is posted
Should avoid race condition, while keeping isolation from SIMIX
Augustin Degomme [Sat, 6 Dec 2014 02:00:14 +0000 (03:00 +0100)]
Revert "Avoid using simcalls here, as by descheduling the process, we could misplace some messages in mailboxes, and end up deadlocking."
This reverts commit
63ba498484d4fcfc706be1e514d7fedbc6c9f4be.