Christian Heinrich [Wed, 14 Oct 2015 10:19:38 +0000 (12:19 +0200)]
[Lua] Disabled chord.lua test - it is too broken.
The code of this test is quite wrong and needs to
be rewritten (fixing it seems useless, I tried
that for too long).
Christian Heinrich [Fri, 24 Jul 2015 10:54:35 +0000 (12:54 +0200)]
[Lua] Fixed a README.lua detail
Christian Heinrich [Fri, 24 Jul 2015 09:31:43 +0000 (11:31 +0200)]
[Lua] Added README.lua for Lua installation process details.
- Also added a patch file for patching Lua to generate a .so file
Christian Heinrich [Fri, 24 Jul 2015 09:16:14 +0000 (11:16 +0200)]
[Lua] Patched lua_platf.c for Lua 5.3.1
Christian Heinrich [Fri, 24 Jul 2015 08:42:00 +0000 (10:42 +0200)]
[Lua] Added Lua Cmake support files.
- Changed required version to 5.3.x
- If not found, a FATAL_ERROR will be issued.
Christian Heinrich [Thu, 23 Jul 2015 17:53:42 +0000 (19:53 +0200)]
[Lua] Chord.lua indentation
Christian Heinrich [Thu, 23 Jul 2015 17:03:17 +0000 (19:03 +0200)]
[Lua] Ported state_cloner code to Lua 5.3
Christian Heinrich [Thu, 23 Jul 2015 17:02:37 +0000 (19:02 +0200)]
[Lua] Fixed attribute in splay_sim platform
Christian Heinrich [Thu, 23 Jul 2015 17:02:09 +0000 (19:02 +0200)]
[Lua] Ported console code to Lua 5.3
Christian Heinrich [Thu, 23 Jul 2015 17:01:11 +0000 (19:01 +0200)]
[Lua] Ported multi_matrix code to Lua 5.3
Christian Heinrich [Thu, 23 Jul 2015 17:00:14 +0000 (19:00 +0200)]
[Lua] Ported masterslave code to Lua 5.3
Christian Heinrich [Thu, 23 Jul 2015 16:59:04 +0000 (18:59 +0200)]
[Lua] Fixed kademlia.lua test
- Index 0 was out of bounds
- Updated tesh file
Christian Heinrich [Thu, 23 Jul 2015 16:27:46 +0000 (18:27 +0200)]
[Lua] Updated the bittorent.lua test
- Changed several simgrid.info to simgrid.debug calls
- Removed junk code; this is not needed any more
- Updated the test results; these changed because we fixed a
bug with random numbers (the seed was only initialized for
the tracker, not for peers).
Christian Heinrich [Thu, 23 Jul 2015 13:19:16 +0000 (15:19 +0200)]
[Lua] Fixed garbage collection segfault
Christian Heinrich [Thu, 23 Jul 2015 13:17:30 +0000 (15:17 +0200)]
[Lua] Fixed integer/double conversion problem
- This bug would change integers to doubles when lua was used
to actually run the simulation
Christian Heinrich [Wed, 10 Jun 2015 14:05:56 +0000 (16:05 +0200)]
[Lua5.3] Changed lua_tonumber to lua_tointeger where necessary
Christian Heinrich [Mon, 8 Jun 2015 23:12:52 +0000 (01:12 +0200)]
[Lua5.3] Added logging functions error and critical
Christian Heinrich [Mon, 8 Jun 2015 22:47:03 +0000 (00:47 +0200)]
[Lua5.3] Updated bittorent/peer.lua to Lua5.3
Christian Heinrich [Mon, 8 Jun 2015 21:26:27 +0000 (23:26 +0200)]
[Lua5.3] Updated lua_task.c to Lua5.3
Christian Heinrich [Mon, 8 Jun 2015 21:21:41 +0000 (23:21 +0200)]
[Lua5.3] Updated lua_state_cloner.c for Lua5.3
- In Lua5.3, there is no setfenv() any more; it's considered unclean
Christian Heinrich [Mon, 8 Jun 2015 21:17:29 +0000 (23:17 +0200)]
[Lua5.3] Added and modified comments in lua_task.c
Christian Heinrich [Mon, 8 Jun 2015 21:11:18 +0000 (23:11 +0200)]
[Lua5.3] Added checks for sane values in lua_platf.c
Christian Heinrich [Mon, 8 Jun 2015 21:07:48 +0000 (23:07 +0200)]
[Bugfix] Fixed wrong property in SimSplay test: latency<->lat
Christian Heinrich [Mon, 8 Jun 2015 16:05:04 +0000 (18:05 +0200)]
[Lua5.3] Updated lua/bittorent test to reflect changes
Christian Heinrich [Mon, 13 Apr 2015 12:22:17 +0000 (14:22 +0200)]
Lua: Changed latency attribute to lat and others.
- For instance, state_trace is now called state_file, latency_trace = latency_file etc.
Christian Heinrich [Mon, 13 Apr 2015 11:53:33 +0000 (13:53 +0200)]
Lua: Changed names for attribute 'policy' to 'sharing_policy'
Christian Heinrich [Wed, 25 Mar 2015 16:08:26 +0000 (17:08 +0100)]
Added new case to lua_state_cloner.c: LUA_TNONE
- This should be called if the top value does not exist.
Christian Heinrich [Wed, 11 Mar 2015 14:35:18 +0000 (15:35 +0100)]
Second series of changes to lua-bindings in order to be capable of running Lua 5.3
* Updated lua_*.c files to support again the simgrid.*.* syntax, like
simgrid.host.at(i) -- this was broken before.
Christian Heinrich [Mon, 9 Mar 2015 16:05:04 +0000 (17:05 +0100)]
Fixed lua_host file for Lua 5.3
Christian Heinrich [Fri, 6 Mar 2015 13:37:42 +0000 (14:37 +0100)]
First series of changes to lua-bindings in order to
be capable of running Lua 5.3
Christian Heinrich [Fri, 6 Mar 2015 13:32:27 +0000 (14:32 +0100)]
Added dependency to 'libdl' to Lua.
This is not always necessary, but when building the Lua sources
from scratch, I had to use this flag.
Christian Heinrich [Fri, 6 Mar 2015 13:30:54 +0000 (14:30 +0100)]
Christian Heinrich [Tue, 24 Feb 2015 08:53:22 +0000 (09:53 +0100)]
LUA: Added new (converted) platform file and started teshsuite
- Not sure whether we will move these tests to the msg testsuite,
as those tests are (at the moment) only MSG tests with a .lua file.
It would be nice to have testfactory for this, i.e., means and ways
to generate the tests for both lua and xml and still make all the
lua tests being run by 'ctest -R lua'.
Christian Heinrich [Tue, 24 Feb 2015 08:45:34 +0000 (09:45 +0100)]
LUA: Added support for backbone, host_link and ASroute
- This code almost duplicates code in the surf_parsexml files. In the
future, it might be nice to move this to different layer.
- This changeset also makes the notion of 'power=1Gf' available to
hosts (and links for the bandwidth attrib).
Christian Heinrich [Mon, 9 Feb 2015 15:02:26 +0000 (16:02 +0100)]
Fixed examples/lua/console/platform.lua
We may consider removing this file in favor of
examples/platforms/small_platform.lua
Christian Heinrich [Mon, 9 Feb 2015 13:45:10 +0000 (14:45 +0100)]
Prevent warning message 'config elem ... registered twice'
Currently, Lua platform files require the MSG module to be
initialised. Hence, when SMPI and Lua platform files are
used at the same time, MSG and SMPI will be
completely initialised, resulting in multiple calls
to TRACE_global_init which sets up the config params.
This commit simply adds a flag to that function so that
the config elems are registered only once.
Christian Heinrich [Fri, 6 Feb 2015 09:52:54 +0000 (10:52 +0100)]
Added two C-Lua-Platform tests
These tests are very simple, as they will execute
examples/msg/masterslave/masterslave_arg with
examples/platforms/small_platform.xml and examples/platforms/small_platform.lua
as platform files, respectively.
These tests will only compare the output, which should
be the same.
Christian Heinrich [Wed, 4 Feb 2015 17:27:49 +0000 (18:27 +0100)]
Added support for using lua platform files from C
- It is now possible to use .lua files instead of .xml files.
(Even if the simulation uses C code)
- Added/moved example file to examples/platforms/platform.lua
This is equivalent to the small_platform.xml platform.
Christian Heinrich [Thu, 15 Oct 2015 15:34:36 +0000 (17:34 +0200)]
[SMPI] Indentation..
Christian Heinrich [Fri, 9 Oct 2015 10:24:26 +0000 (12:24 +0200)]
[SMPI] Fixed wrong output
Gabriel Corona [Thu, 15 Oct 2015 13:35:39 +0000 (15:35 +0200)]
[mc] Add std:: namespace for some types
Gabriel Corona [Thu, 15 Oct 2015 13:35:18 +0000 (15:35 +0200)]
[mc] Use std::unordered* instead of boost:: ones
Gabriel Corona [Wed, 14 Oct 2015 21:50:07 +0000 (23:50 +0200)]
[mc] Fix ModelChecker::is_important_snapshot(), do not use global
Gabriel Corona [Wed, 14 Oct 2015 20:54:43 +0000 (22:54 +0200)]
[mc] Use std::pair and std::unordered_set in mc_compare
Gabriel Corona [Wed, 14 Oct 2015 08:45:35 +0000 (10:45 +0200)]
[mc] Remove BOOST_FOREACH usage
Gabriel Corona [Wed, 14 Oct 2015 08:43:49 +0000 (10:43 +0200)]
[mc] Rename PerPageCopy to ChunkedData (and move in its own files)
Gabriel Corona [Wed, 14 Oct 2015 08:06:13 +0000 (10:06 +0200)]
[mc] Documentation
Gabriel Corona [Mon, 12 Oct 2015 22:42:25 +0000 (00:42 +0200)]
[mc] Remove useless *_free_voidp functions
Gabriel Corona [Mon, 12 Oct 2015 22:32:47 +0000 (00:32 +0200)]
[mc] Cleanup in DwarfExpression
Gabriel Corona [Mon, 12 Oct 2015 22:29:35 +0000 (00:29 +0200)]
[mc] Move mc_dwarf_location_list_init() into namespace
Gabriel Corona [Mon, 12 Oct 2015 22:16:03 +0000 (00:16 +0200)]
[mc] OOify mc_find_frame_base()
Gabriel Corona [Mon, 12 Oct 2015 21:59:10 +0000 (23:59 +0200)]
[mc] OOify LocationLists, Location
Gabriel Corona [Mon, 12 Oct 2015 21:02:52 +0000 (23:02 +0200)]
[mc] Fix Snapshot::read_bytes
Was calling itself instead of delegating to the process.
Gabriel Corona [Mon, 12 Oct 2015 13:56:36 +0000 (15:56 +0200)]
[mc] OOify DWARF stack/evaluation expression
Gabriel Corona [Mon, 12 Oct 2015 08:11:27 +0000 (10:11 +0200)]
[mc] Simplify MC_find_object_info
Gabriel Corona [Mon, 12 Oct 2015 07:54:42 +0000 (09:54 +0200)]
[mc] Remove useless declarations
Gabriel Corona [Mon, 12 Oct 2015 07:52:19 +0000 (09:52 +0200)]
[mc] Move some code into simgrid::dwarf namespace
Gabriel Corona [Mon, 12 Oct 2015 06:42:50 +0000 (08:42 +0200)]
[mc] Remove useless declarations
Gabriel Corona [Mon, 12 Oct 2015 06:28:39 +0000 (08:28 +0200)]
[mc] Move some code into simgrid::dwarf namespace
Gabriel Corona [Mon, 12 Oct 2015 06:24:58 +0000 (08:24 +0200)]
[mc] Move some code into simgrid::dwarf namespace
Gabriel Corona [Mon, 12 Oct 2015 06:07:59 +0000 (08:07 +0200)]
[mc] Move some code into simgrid::dwarf namespace
Martin Quinson [Thu, 15 Oct 2015 07:56:09 +0000 (09:56 +0200)]
ignore the tarfiles
Martin Quinson [Wed, 14 Oct 2015 23:47:15 +0000 (01:47 +0200)]
ignore more cruft
Martin Quinson [Wed, 14 Oct 2015 23:37:58 +0000 (01:37 +0200)]
update the AUTHORS file
Martin Quinson [Wed, 14 Oct 2015 23:32:35 +0000 (01:32 +0200)]
[cmake] move some add_subdirectory out of the silly file MakeExe.cmake
Martin Quinson [Wed, 14 Oct 2015 23:16:32 +0000 (01:16 +0200)]
Fix out of sources builds
Martin Quinson [Wed, 14 Oct 2015 21:00:07 +0000 (23:00 +0200)]
fix make distcheck
Martin Quinson [Wed, 14 Oct 2015 20:51:56 +0000 (22:51 +0200)]
you cannot use the ISP testsuite without model-checking
Martin Quinson [Wed, 14 Oct 2015 20:51:35 +0000 (22:51 +0200)]
rename the basic s4u example
Martin Quinson [Wed, 14 Oct 2015 17:32:58 +0000 (19:32 +0200)]
translate a comment
Martin Quinson [Tue, 13 Oct 2015 22:11:45 +0000 (00:11 +0200)]
This is v3.13-devel already
Martin Quinson [Tue, 13 Oct 2015 22:08:21 +0000 (00:08 +0200)]
Start the development of 3.13
Martin Quinson [Tue, 13 Oct 2015 22:06:18 +0000 (00:06 +0200)]
Merge branch 'S4U'
Martin Quinson [Mon, 12 Oct 2015 04:21:50 +0000 (06:21 +0200)]
Fix the internal version number
Martin Quinson [Mon, 12 Oct 2015 04:03:19 +0000 (06:03 +0200)]
Release 3.12
Martin Quinson [Mon, 12 Oct 2015 03:50:57 +0000 (05:50 +0200)]
[java] properly port to armv7l, sorry for the noise
Martin Quinson [Mon, 12 Oct 2015 03:07:17 +0000 (05:07 +0200)]
[java] port to armv7l
Martin Quinson [Mon, 12 Oct 2015 02:38:22 +0000 (04:38 +0200)]
[Java] Port to kFreeBSD
Martin Quinson [Mon, 12 Oct 2015 01:12:12 +0000 (03:12 +0200)]
Document recent changes
Martin Quinson [Sun, 11 Oct 2015 09:58:08 +0000 (11:58 +0200)]
fix make distcheck, as usual
Martin Quinson [Sat, 10 Oct 2015 19:14:07 +0000 (21:14 +0200)]
[cmake] cleanup: mv AddTests Tests
Martin Quinson [Fri, 9 Oct 2015 19:51:58 +0000 (21:51 +0200)]
[tesh] fix a borken test -- sorry for the noise
Martin Quinson [Fri, 9 Oct 2015 19:25:30 +0000 (21:25 +0200)]
Merge branch 'master' of github.com:mquinson/simgrid
Martin Quinson [Fri, 9 Oct 2015 19:25:23 +0000 (21:25 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Fri, 9 Oct 2015 19:22:32 +0000 (21:22 +0200)]
Merge pull request #30 from fernandodeperto/bugfix-ptp_messages
Fix duplicate PTP messages when tracing/smpi/internals is enabled
Fernando Mendonca [Fri, 9 Oct 2015 14:06:14 +0000 (16:06 +0200)]
Fix duplicate PTP messages when tracing/smpi/internals is enabled
When the tracing/smpi/internals option is not enabled, some PTP messages
are showed for send and receive operations, both on tracing and
replaying. When the option is enabled, additional messages are
generated, so duplicate messages for send and receive operations are
duplicated.
Initially I thought that the idea was to only show PTP messages when the
tracing/smpi/internals option is enabled. After talking to Arnaud it
seems that is not the case. So I changed the code so both funcionalities
are present: PTP messages for send and receive operations when the
option is disabled and all PTP messages when the option is enabled, as
expected.
Nicolas Bonichon [Fri, 9 Oct 2015 13:44:01 +0000 (15:44 +0200)]
Update limitations of PSG
Gabriel Corona [Fri, 9 Oct 2015 11:35:12 +0000 (13:35 +0200)]
Fix ISP test classification
Gabriel Corona [Fri, 9 Oct 2015 09:32:58 +0000 (11:32 +0200)]
[mc] Move MC_important_snapshot() as a method of ModelChecker
Gabriel Corona [Thu, 8 Oct 2015 13:27:10 +0000 (15:27 +0200)]
[mc] Move some code out of is_visited_state()
Gabriel Corona [Thu, 8 Oct 2015 12:39:43 +0000 (14:39 +0200)]
[mc] Reduce the scope of some variables in mc_visited.cpp
Gabriel Corona [Thu, 8 Oct 2015 12:35:05 +0000 (14:35 +0200)]
[mc] Factorisation in mc_visited.cpp
Gabriel Corona [Tue, 6 Oct 2015 11:54:43 +0000 (13:54 +0200)]
[mc] Create a Member for for structure/class/union member
instead of using Type (which is now only used for types).
Gabriel Corona [Tue, 6 Oct 2015 10:21:13 +0000 (12:21 +0200)]
[mc] Add AddressSpace::process() method
Gabriel Corona [Tue, 6 Oct 2015 09:54:47 +0000 (11:54 +0200)]
[mc] Make Process and Snapshot classes final
Gabriel Corona [Tue, 6 Oct 2015 09:51:26 +0000 (11:51 +0200)]
[mc] Remove Process.is_self()
This was needed for single-process mode.
Gabriel Corona [Tue, 6 Oct 2015 09:39:25 +0000 (11:39 +0200)]
[mc] Move typedef in correct header
Gabriel Corona [Tue, 6 Oct 2015 09:33:21 +0000 (11:33 +0200)]
[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
Gabriel Corona [Tue, 6 Oct 2015 08:37:22 +0000 (10:37 +0200)]
[mc] Cleanup mc_hash.cpp
* Remove commened-out code;
* OO-ify the hasing method;
* Make it a noop: it was broken since the process separation. I'll add
some basic hashing later on.
Gabriel Corona [Tue, 6 Oct 2015 08:36:06 +0000 (10:36 +0200)]
[mc] Remove commented-out code in mc_diff.cpp