Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
8 years agomodel-checker : DPOR (independant transitions) algorithm for liveness properties
Marion Guthmuller [Tue, 5 Jul 2011 09:16:08 +0000 (11:16 +0200)]
model-checker : DPOR (independant transitions) algorithm for liveness properties

8 years agomodel-checker : separate dfs and dpor algorithms with restore snapshot/replay or...
Marion Guthmuller [Fri, 1 Jul 2011 15:02:03 +0000 (17:02 +0200)]
model-checker : separate dfs and dpor algorithms with restore snapshot/replay or visited states

8 years agomodel-checker : example changed
Marion Guthmuller [Fri, 24 Jun 2011 15:20:26 +0000 (17:20 +0200)]
model-checker : example changed

8 years agomodel-checker : 128bits->160bits for hash of visited pair
Marion Guthmuller [Fri, 24 Jun 2011 13:44:19 +0000 (15:44 +0200)]
model-checker : 128bits->160bits for hash of visited pair

8 years agomodel-checker : restore interleaved process when restore snapshot
Marion Guthmuller [Fri, 24 Jun 2011 12:30:42 +0000 (14:30 +0200)]
model-checker : restore interleaved process when restore snapshot

8 years agomodel-checker : dfs with good restore snapshot
Marion Guthmuller [Fri, 24 Jun 2011 12:24:47 +0000 (14:24 +0200)]
model-checker : dfs with good restore snapshot

8 years agomodel-checker : correction of dfs algorithm for liveness properties
Marion Guthmuller [Fri, 24 Jun 2011 09:51:08 +0000 (11:51 +0200)]
model-checker : correction of dfs algorithm for liveness properties

8 years agomodel-checker : test dpor without replay from initial state but with
Marion Guthmuller [Mon, 20 Jun 2011 14:00:37 +0000 (16:00 +0200)]
model-checker : test dpor without replay from initial state but with
restore snapshot -> ok for safety properties, need more specifications
for liveness

8 years agomodel-checker : rename file mc_dfs -> mc_liveness
Marion Guthmuller [Fri, 17 Jun 2011 07:13:40 +0000 (09:13 +0200)]
model-checker : rename file mc_dfs -> mc_liveness

8 years agoMC LTL : last version dfs algorithm before reduction
Marion Guthmuller [Fri, 20 May 2011 16:14:01 +0000 (18:14 +0200)]
MC LTL : last version dfs algorithm before reduction

8 years agoMC LTL : add statistics
Marion Guthmuller [Fri, 20 May 2011 08:41:01 +0000 (10:41 +0200)]
MC LTL : add statistics

8 years agomodel checker : dfs algorithm corrected
Marion Guthmuller [Thu, 19 May 2011 15:41:45 +0000 (17:41 +0200)]
model checker : dfs algorithm corrected

8 years agomodel-check : show stack when property not valid
Marion Guthmuller [Wed, 4 May 2011 14:26:47 +0000 (16:26 +0200)]
model-check : show stack when property not valid

8 years agomodel-check : dump stack for acceptance cycle
Marion Guthmuller [Wed, 4 May 2011 14:18:02 +0000 (16:18 +0200)]
model-check : dump stack for acceptance cycle

8 years agomodel-check : show stack for acceptance cycle
Marion Guthmuller [Wed, 4 May 2011 14:07:05 +0000 (16:07 +0200)]
model-check : show stack for acceptance cycle

8 years agomodel check : acceptance cycle detection with automaton (depth first search without...
Marion Guthmuller [Wed, 4 May 2011 11:45:41 +0000 (13:45 +0200)]
model check : acceptance cycle detection with automaton (depth first search without dpor)

8 years agodétection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle
Marion Guthmuller [Fri, 29 Apr 2011 08:31:48 +0000 (10:31 +0200)]
détection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle

8 years agocorrection compile warnings
Marion Guthmuller [Thu, 21 Apr 2011 09:32:22 +0000 (11:32 +0200)]
correction compile warnings

8 years agostart new example with parsing lex/yacc of automaton in promela
Marion Guthmuller [Thu, 21 Apr 2011 08:44:17 +0000 (10:44 +0200)]
start new example with parsing lex/yacc of automaton in promela

8 years agoinclude new files struct automaton for cmake
Marion Guthmuller [Thu, 21 Apr 2011 08:35:11 +0000 (10:35 +0200)]
include new files struct automaton for cmake

8 years agonew dfs algorithm with automaton of LTL formula
Marion Guthmuller [Thu, 21 Apr 2011 08:25:50 +0000 (10:25 +0200)]
new dfs algorithm with automaton of LTL formula

8 years agonew struct automaton
Marion Guthmuller [Thu, 21 Apr 2011 08:10:51 +0000 (10:10 +0200)]
new struct automaton

8 years agoYou can now specify if you want sleep to see memory usage.
Navarrop [Fri, 21 Oct 2011 11:07:27 +0000 (13:07 +0200)]
You can now specify if you want sleep to see memory usage.

8 years agoOptimize bprintf during cluster loop.
Navarrop [Fri, 21 Oct 2011 10:32:56 +0000 (12:32 +0200)]
Optimize bprintf during cluster loop.

8 years agoAdd optimization flag with gcc46.
Navarrop [Fri, 21 Oct 2011 10:32:35 +0000 (12:32 +0200)]
Add optimization flag with gcc46.

8 years agouse more consistently the resource create of models, killing some useless/borken...
Martin Quinson [Thu, 20 Oct 2011 14:17:35 +0000 (16:17 +0200)]
use more consistently the resource create of models, killing some useless/borken forwarder methods

8 years agosave some useless strdups
Martin Quinson [Thu, 20 Oct 2011 14:15:56 +0000 (16:15 +0200)]
save some useless strdups

8 years agoreduce the amount of damn paranoid checks in simdag. Valgrind is here to report the...
Martin Quinson [Thu, 20 Oct 2011 13:20:32 +0000 (15:20 +0200)]
reduce the amount of damn paranoid checks in simdag. Valgrind is here to report the errors, nowadays

8 years agoFix memoryleak.
Navarrop [Thu, 20 Oct 2011 12:42:56 +0000 (14:42 +0200)]
Fix memoryleak.

8 years agoNeed to set state_file and availability file into the loop.
Navarrop [Thu, 20 Oct 2011 12:42:33 +0000 (14:42 +0200)]
Need to set state_file and availability file into the loop.

8 years agoThere is no contexts in SimDag
Christophe Thiéry [Thu, 20 Oct 2011 12:02:25 +0000 (14:02 +0200)]
There is no contexts in SimDag

8 years agoRewrite perl script for optorsim
Navarrop [Thu, 20 Oct 2011 11:22:19 +0000 (13:22 +0200)]
Rewrite perl script for optorsim

8 years agoUpdate include tag.
Navarrop [Thu, 20 Oct 2011 11:21:56 +0000 (13:21 +0200)]
Update include tag.

8 years agoMove arguments outside of the loop of hosts.
Navarrop [Thu, 20 Oct 2011 11:21:18 +0000 (13:21 +0200)]
Move arguments outside of the loop of hosts.

8 years agoRemove unused and old function.
Navarrop [Thu, 20 Oct 2011 09:14:17 +0000 (11:14 +0200)]
Remove unused and old function.

8 years agoRemove supernovae mode for SimGrid v3.7
Navarrop [Thu, 20 Oct 2011 09:11:25 +0000 (11:11 +0200)]
Remove supernovae mode for SimGrid v3.7

8 years agoTest the help command.
Navarrop [Thu, 20 Oct 2011 09:10:23 +0000 (11:10 +0200)]
Test the help command.

8 years agoUpdate tag include
Navarrop [Mon, 17 Oct 2011 15:35:37 +0000 (17:35 +0200)]
Update tag include

8 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 20 Oct 2011 11:26:50 +0000 (13:26 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

8 years agosetup a mallocator for the simdag tasks. The gain is quite disapointing, but not...
Martin Quinson [Thu, 20 Oct 2011 11:26:28 +0000 (13:26 +0200)]
setup a mallocator for the simdag tasks. The gain is quite disapointing, but not null

8 years agomemory cleanups
Martin Quinson [Thu, 20 Oct 2011 11:24:15 +0000 (13:24 +0200)]
memory cleanups

8 years agos/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match file name.
Arnaud Giersch [Tue, 18 Oct 2011 07:41:02 +0000 (09:41 +0200)]
s/GRAS_STUB_GENERATOR/SIMGRID_LUA/ to actually match file name.

8 years agoGuard against multiple inclusion.
Arnaud Giersch [Tue, 18 Oct 2011 07:40:24 +0000 (09:40 +0200)]
Guard against multiple inclusion.

8 years agoFix race condition with gras-mmrpc test.
Arnaud Giersch [Fri, 14 Oct 2011 11:38:25 +0000 (13:38 +0200)]
Fix race condition with gras-mmrpc test.

Register messages before opening the sockets, to avoid to receive
unknown messages.

8 years agoFiglet for 3.7 was incomplete.
Arnaud Giersch [Tue, 11 Oct 2011 11:17:40 +0000 (13:17 +0200)]
Figlet for 3.7 was incomplete.

Also do some whitespace cleanup (and save up to 247 bytes!).

8 years agotesh: add tests with empty output.
Arnaud Giersch [Thu, 20 Oct 2011 09:21:18 +0000 (11:21 +0200)]
tesh: add tests with empty output.

8 years agotesh: do not fail on empty output, when sorting is enabled.
Arnaud Giersch [Thu, 20 Oct 2011 09:20:58 +0000 (11:20 +0200)]
tesh: do not fail on empty output, when sorting is enabled.

8 years agoMerge stuff again. Damn, I should pull before changing stuff
Martin Quinson [Thu, 20 Oct 2011 08:27:04 +0000 (10:27 +0200)]
Merge stuff again. Damn, I should pull before changing stuff

8 years agomerge branches
Martin Quinson [Thu, 20 Oct 2011 08:25:30 +0000 (10:25 +0200)]
merge branches

8 years agouse a user level mallocator on the task content
Martin Quinson [Thu, 20 Oct 2011 08:19:18 +0000 (10:19 +0200)]
use a user level mallocator on the task content

8 years agoenlarge my cluster once again
Martin Quinson [Thu, 20 Oct 2011 08:17:59 +0000 (10:17 +0200)]
enlarge my cluster once again

8 years agoPerformance boost by using a swag internally in SD_simulate
Martin Quinson [Thu, 20 Oct 2011 08:11:44 +0000 (10:11 +0200)]
Performance boost by using a swag internally in SD_simulate

8 years agoUse the partial invalidation optimization by default for the network too
Martin Quinson [Thu, 20 Oct 2011 07:47:59 +0000 (09:47 +0200)]
Use the partial invalidation optimization by default for the network too

8 years agoThis memory leak fix did not work with complex simulations.
Christophe Thiéry [Thu, 20 Oct 2011 06:39:27 +0000 (08:39 +0200)]
This memory leak fix did not work with complex simulations.

8 years agoSIMIX_CANCELED is a more adapted state in SIMIX_comm_cancel()
Christophe Thiéry [Thu, 20 Oct 2011 06:39:03 +0000 (08:39 +0200)]
SIMIX_CANCELED is a more adapted state in SIMIX_comm_cancel()

8 years agorestore some stuff that got killed from the gitignore during some sort of cleanup
Martin Quinson [Wed, 19 Oct 2011 19:48:16 +0000 (21:48 +0200)]
restore some stuff that got killed from the gitignore during some sort of cleanup

8 years agoenlarge my cluster
Martin Quinson [Wed, 19 Oct 2011 19:47:44 +0000 (21:47 +0200)]
enlarge my cluster

8 years agofirst prealpha not working prototype (please public keep away) version of what could...
Martin Quinson [Wed, 19 Oct 2011 19:47:23 +0000 (21:47 +0200)]
first prealpha not working prototype (please public keep away) version of what could be a GOAL loader using simdag

8 years agotypo--
Martin Quinson [Wed, 19 Oct 2011 19:43:59 +0000 (21:43 +0200)]
typo--

8 years agoAdd example to kill a process.
Navarrop [Mon, 17 Oct 2011 13:59:15 +0000 (15:59 +0200)]
Add example to kill a process.

8 years agoTimings have changed: comms cannot continue when a process is dead
Christophe Thiéry [Fri, 14 Oct 2011 15:57:31 +0000 (17:57 +0200)]
Timings have changed: comms cannot continue when a process is dead

8 years agoNow that processes are terminated cleanly, this recv can fail
Christophe Thiéry [Fri, 14 Oct 2011 15:54:51 +0000 (17:54 +0200)]
Now that processes are terminated cleanly, this recv can fail

8 years agoIn case of failures, a process may become runnable without time step
Christophe Thiéry [Fri, 14 Oct 2011 15:46:45 +0000 (17:46 +0200)]
In case of failures, a process may become runnable without time step

Since commit e5922b4 (clean unfinished comms when terminating a process),
the test msg-actions was failing on a deadlock instead of waking up
the last process (who can terminate normally after a failed recv).

8 years agoImprove debug messages
Christophe Thiéry [Fri, 14 Oct 2011 15:46:08 +0000 (17:46 +0200)]
Improve debug messages

8 years agoRevalidate Chord tesh output (the end of the simulation is clean now)
Christophe Thiéry [Fri, 14 Oct 2011 15:09:29 +0000 (17:09 +0200)]
Revalidate Chord tesh output (the end of the simulation is clean now)

8 years agoMake cancelling a non-running task a no-op
Christophe Thiéry [Fri, 14 Oct 2011 15:09:00 +0000 (17:09 +0200)]
Make cancelling a non-running task a no-op

8 years agoFix remaining memory leaks in MSG
Christophe Thiéry [Fri, 14 Oct 2011 15:04:28 +0000 (17:04 +0200)]
Fix remaining memory leaks in MSG

8 years agoSimix: clean unfinished comms when terminating a process
Christophe Thiéry [Fri, 14 Oct 2011 13:38:20 +0000 (15:38 +0200)]
Simix: clean unfinished comms when terminating a process

8 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Christophe Thiéry [Thu, 13 Oct 2011 15:44:57 +0000 (17:44 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

8 years agoFighting more memory leaks in Chord
Christophe Thiéry [Thu, 13 Oct 2011 14:45:05 +0000 (16:45 +0200)]
Fighting more memory leaks in Chord

8 years ago[trace] fix tesh'es to follow recent changes in the paje header
Lucas Schnorr [Thu, 13 Oct 2011 13:21:59 +0000 (15:21 +0200)]
[trace] fix tesh'es to follow recent changes in the paje header

8 years agoReorganize platforms for optorsim.
Navarrop [Thu, 13 Oct 2011 13:14:29 +0000 (15:14 +0200)]
Reorganize platforms for optorsim.
Add scripts into the right directory.

8 years agoFix a memory leak in chord
Christophe Thiéry [Thu, 13 Oct 2011 13:05:35 +0000 (15:05 +0200)]
Fix a memory leak in chord

8 years agoUpdate index.doc to have the right references to url.
Navarrop [Thu, 13 Oct 2011 13:00:08 +0000 (15:00 +0200)]
Update index.doc to have the right references to url.

8 years agoAdd host core to "1.0" for tag peer.
Navarrop [Thu, 13 Oct 2011 12:59:21 +0000 (14:59 +0200)]
Add host core to "1.0" for tag peer.

8 years agoRevert msg-actions to an older and more stable version
Christophe Thiéry [Thu, 13 Oct 2011 12:01:15 +0000 (14:01 +0200)]
Revert msg-actions to an older and more stable version

8 years agoMerge branch 'lua'
Christophe Thiéry [Thu, 13 Oct 2011 11:47:21 +0000 (13:47 +0200)]
Merge branch 'lua'

Conflicts:
buildtools/Cmake/AddTests.cmake

8 years agoLua: more debugging info
Christophe Thiéry [Thu, 13 Oct 2011 11:44:21 +0000 (13:44 +0200)]
Lua: more debugging info

8 years agoUpdate version of SimGrid to 3.7.
Navarrop [Mon, 10 Oct 2011 15:08:03 +0000 (17:08 +0200)]
Update version of SimGrid to 3.7.

8 years agoCosmetics. Rename simgrid_BINARY_DIR for PROJECT_BINARY_DIR.
Navarrop [Mon, 10 Oct 2011 14:46:14 +0000 (16:46 +0200)]
Cosmetics. Rename simgrid_BINARY_DIR for PROJECT_BINARY_DIR.

8 years ago[trace] strictly following the header of the paje file format
Lucas Schnorr [Mon, 10 Oct 2011 14:31:34 +0000 (16:31 +0200)]
[trace] strictly following the header of the paje file format

8 years agoLua: add support of closures to the state cloner
Christophe Thiéry [Thu, 6 Oct 2011 14:26:52 +0000 (16:26 +0200)]
Lua: add support of closures to the state cloner

8 years agocosmetics in ChangeLog and NEWS: releasing 3.6.2 (yuhu) v3_6_2
Martin Quinson [Wed, 5 Oct 2011 14:02:41 +0000 (16:02 +0200)]
cosmetics in ChangeLog and NEWS: releasing 3.6.2 (yuhu)

8 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Wed, 5 Oct 2011 13:46:12 +0000 (15:46 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

8 years agoFind ${CMAKE_HOME_DIRECTORY}/.git/ and not only .git.
Navarrop [Wed, 5 Oct 2011 13:45:41 +0000 (15:45 +0200)]
Find ${CMAKE_HOME_DIRECTORY}/.git/ and not only .git.
Take the right remote name.

8 years agothese files are not kept by the build system, so we really don't want to include...
Martin Quinson [Wed, 5 Oct 2011 13:45:28 +0000 (15:45 +0200)]
these files are not kept by the build system, so we really don't want to include them in the archive (the corresponding .c are ways enough)

8 years agoTest git version only on a git repository.
Navarrop [Wed, 5 Oct 2011 13:36:26 +0000 (15:36 +0200)]
Test git version only on a git repository.

8 years agoAdd ignored files for documentation.
Navarrop [Wed, 5 Oct 2011 13:18:38 +0000 (15:18 +0200)]
Add ignored files for documentation.

8 years agoNeed install cmake.
Navarrop [Wed, 5 Oct 2011 13:18:15 +0000 (15:18 +0200)]
Need install cmake.
Be sure cmake is installed.

8 years agoRename the installer for windows with win32 or win64
unknown [Wed, 5 Oct 2011 08:38:05 +0000 (10:38 +0200)]
Rename the installer for windows with win32 or win64

8 years agoRemove old instruction for ns3 on the documentation.
Navarrop [Wed, 5 Oct 2011 09:36:37 +0000 (11:36 +0200)]
Remove old instruction for ns3 on the documentation.
Now ns3-red is into simgrid.

8 years agotesh: try to fix output sanitation.
Arnaud Giersch [Tue, 4 Oct 2011 21:10:02 +0000 (23:10 +0200)]
tesh: try to fix output sanitation.

8 years agoMake xbt_strbuff_chomp() really do its work.
Arnaud Giersch [Tue, 4 Oct 2011 20:54:35 +0000 (22:54 +0200)]
Make xbt_strbuff_chomp() really do its work.

8 years agoAn empty strbuff should really be empty.
Arnaud Giersch [Tue, 4 Oct 2011 20:53:00 +0000 (22:53 +0200)]
An empty strbuff should really be empty.

8 years agoForce stdout to be line buffered.
Arnaud Giersch [Wed, 5 Oct 2011 08:43:31 +0000 (10:43 +0200)]
Force stdout to be line buffered.

Thus to avoid to have profiling messages in the middle of a line.

8 years agoAdd --enable-coverage to tesh self-tests.
Arnaud Giersch [Wed, 5 Oct 2011 08:33:41 +0000 (10:33 +0200)]
Add --enable-coverage to tesh self-tests.

8 years agoAdd tests for tesh sorting and filtering of ouptut.
Arnaud Giersch [Wed, 5 Oct 2011 07:03:51 +0000 (09:03 +0200)]
Add tests for tesh sorting and filtering of ouptut.

8 years ago.gitignore: website does not exist anymore.
Arnaud Giersch [Tue, 4 Oct 2011 09:10:41 +0000 (11:10 +0200)]
.gitignore: website does not exist anymore.

8 years ago.gitignore: delete .gitignore files in subdirectories.
Arnaud Giersch [Wed, 28 Sep 2011 14:40:51 +0000 (16:40 +0200)]
.gitignore: delete .gitignore files in subdirectories.

Most ignored entries already are in the main .gitgnore file.
The other are assumed to be old junk.

8 years ago.gitignore: do not use wildcards to exclude generated *.l files.
Arnaud Giersch [Tue, 27 Sep 2011 15:28:51 +0000 (17:28 +0200)]
.gitignore: do not use wildcards to exclude generated *.l files.