Christian Heinrich [Tue, 19 May 2015 11:21:36 +0000 (13:21 +0200)]
Added dependency on FLEX 2.5.39 to MaintainerMode
With a minor version such as 2.5.35 (available in wheezy),
MaintainerMode will break: The generated files will contain
signatures that are incompatible with SimGrid. (Apparently
generated functions changed their signature during these versions,
from "int" to "yy_size_t")
Gabriel Corona [Tue, 19 May 2015 10:53:22 +0000 (12:53 +0200)]
Fix cloud integration tesh files
Arnaud Legrand [Tue, 28 Apr 2015 12:33:08 +0000 (14:33 +0200)]
Fix broken link
Arnaud Legrand [Tue, 28 Apr 2015 12:31:23 +0000 (14:31 +0200)]
Fix broken link
Gabriel Corona [Thu, 7 May 2015 10:33:52 +0000 (12:33 +0200)]
[mc] Mark many MC symbols as hidden
Some of them cannot be hidden because they are used in the unit tests.
Gabriel Corona [Thu, 7 May 2015 08:53:28 +0000 (10:53 +0200)]
[mc] Fix MC_free_object
xbt_free() does not take a pointer to the pointer but the pointer.
This behaviour is different from xbt_dict_free, xbt_dynar_free...
Gabriel Corona [Thu, 7 May 2015 08:30:53 +0000 (10:30 +0200)]
[mc] Fix parameter order in unit test of mc_snapshot
Gabriel Corona [Thu, 7 May 2015 08:11:12 +0000 (10:11 +0200)]
[mc] Only use prctl(PR_SET_PDEATHSIG) on Linux
Gabriel Corona [Tue, 5 May 2015 13:56:38 +0000 (15:56 +0200)]
[mc] Fix typo
Gabriel Corona [Tue, 5 May 2015 13:47:57 +0000 (15:47 +0200)]
[mc] Knowledge about the size of pointer types in DWARF
Some compilers do not emit DW_AT_byte_size for DW_TAG_pointer_type, so
we fill this. We currently assume that the model-checked process is in
the same architecture.
This fixes the model-checker in clang.
Gabriel Corona [Tue, 5 May 2015 13:38:33 +0000 (15:38 +0200)]
[mc] Remove useless variable
Gabriel Corona [Tue, 5 May 2015 13:34:48 +0000 (15:34 +0200)]
Fix xbt_fifo_foreach
Does not compile on some versions of clang
Gabriel Corona [Tue, 5 May 2015 12:46:40 +0000 (14:46 +0200)]
[mc] Cleanup horrible for loop
Gabriel Corona [Tue, 5 May 2015 12:03:09 +0000 (14:03 +0200)]
[mc] Cleanup horrible for loop
Gabriel Corona [Tue, 5 May 2015 11:03:58 +0000 (13:03 +0200)]
[mc] Fix XBT_ERROR message
Gabriel Corona [Tue, 5 May 2015 11:00:55 +0000 (13:00 +0200)]
[mc] Remove designated initializers
Gabriel Corona [Tue, 5 May 2015 10:34:06 +0000 (12:34 +0200)]
[mc] Remove designated initializers
Gabriel Corona [Tue, 5 May 2015 10:14:11 +0000 (12:14 +0200)]
[mc] Fix formatting specification
Gabriel Corona [Tue, 5 May 2015 10:05:10 +0000 (12:05 +0200)]
[mc] Remove designated initializers
Gabriel Corona [Tue, 5 May 2015 09:09:03 +0000 (11:09 +0200)]
[mc] Fix type of zero_buffer_size in mc_process.c
Fix sign-compare warning.
Gabriel Corona [Tue, 5 May 2015 07:55:09 +0000 (09:55 +0200)]
[mc] Fix unitialized variable
Gabriel Corona [Mon, 4 May 2015 14:29:40 +0000 (16:29 +0200)]
[mc] Add missing inttypes.h include
Gabriel Corona [Mon, 4 May 2015 14:20:54 +0000 (16:20 +0200)]
[mc] Fix mm_fake_malloc() implementation
Gabriel Corona [Mon, 4 May 2015 13:47:05 +0000 (15:47 +0200)]
[mc] Fix mmalloc with fortran
Use a .bss segment for data storage when initializing the library.
This was removed from a previous commit but it is needed after all.
However, in this implementation we should avoid using it as much as
possible: it should only be used for the dlsym() calls.
Gabriel Corona [Mon, 4 May 2015 10:46:01 +0000 (12:46 +0200)]
[mc] Fixed the compilation on non-MC build
I just broke it.
Gabriel Corona [Mon, 4 May 2015 09:07:07 +0000 (11:07 +0200)]
[mc] Fix the umpire tesh files
Gabriel Corona [Mon, 4 May 2015 08:43:39 +0000 (10:43 +0200)]
[mc] Fix segfault in MC_request_is_enabled() executed on MCed-side
Gabriel Corona [Mon, 4 May 2015 08:07:24 +0000 (10:07 +0200)]
[mc] Fix umpire tests invocations (call simgrid-mc)
The tesh files are still broken however.
Christian Heinrich [Thu, 30 Apr 2015 15:18:10 +0000 (17:18 +0200)]
Added include_path and dependencies for FreeBSD < 10.0
- Commit
eea4e2cc87b80c35b33f46377187181e57692440 has enabled C++11
for SimGrid. However, FreeBSD 9.1 does not have a compiler that
supports this. Here's a nasty workaround, making the bold assumption
that libc++ is installed (by default, it's not) and where we can
find it.
- With this hack, FreeBSD CI should work again :)
Christian Heinrich [Thu, 30 Apr 2015 15:15:04 +0000 (17:15 +0200)]
Added reference link to comment in MakeLib.cmake
Christian Heinrich [Tue, 28 Apr 2015 20:03:47 +0000 (22:03 +0200)]
Fixed exception tests
- New configuration option "exception/cutpath" introduced. This makes
it possible to remove the path to files in backtraces as used for exceptions.
- .tesh files adjusted to reflect this change.
Christian Heinrich [Tue, 28 Apr 2015 16:13:55 +0000 (18:13 +0200)]
Fixed typo in sg_config.c
Gabriel Corona [Tue, 28 Apr 2015 12:39:33 +0000 (14:39 +0200)]
[xbt] Add unit test got xbt_dict with arbitrary (not a NULL temrinated string) key
Gabriel Corona [Tue, 28 Apr 2015 10:54:46 +0000 (12:54 +0200)]
Disable a test which only works on one computer
Gabriel Corona [Tue, 28 Apr 2015 09:42:09 +0000 (11:42 +0200)]
[smpi] Better implementation of predefined attributes
Fixes test-smpi-mpich3-attr-raw.
Gabriel Corona [Tue, 28 Apr 2015 08:19:49 +0000 (10:19 +0200)]
Sync the Fortran value of MPI_ERR_LASTCODE with the C value
Christian Heinrich [Tue, 28 Apr 2015 08:02:05 +0000 (10:02 +0200)]
-Wclobbered will now only be added for GCC.
- This flag will in fact break compilation with clang.
Christian Heinrich [Tue, 28 Apr 2015 08:01:08 +0000 (10:01 +0200)]
Replaced check for GNU compiler with CMAKE variable. -- INSERT -- 9:59:23
- The CMAKE_COMPILER_IS_GNUCC variable can be used for that.
See the docs: http://www.cmake.org/Wiki/CMake_Useful_Variables#Compilers_and_Tools
Christian Heinrich [Tue, 28 Apr 2015 07:48:42 +0000 (09:48 +0200)]
Removed if-statement from CMakeLists.txt
- We need to activate CXX anyways, so this is not necessary any more.
Gabriel Corona [Mon, 27 Apr 2015 14:00:33 +0000 (16:00 +0200)]
[mc] Remove the dual heap mc_heap/std_heap
Gabriel Corona [Mon, 27 Apr 2015 12:44:13 +0000 (14:44 +0200)]
[mc] Cleanup MC init code (split MCer and MCed init)
Gabriel Corona [Mon, 27 Apr 2015 10:58:15 +0000 (12:58 +0200)]
[mc] Move stacks_areas code in mcer_ignore
Gabriel Corona [Mon, 27 Apr 2015 10:48:19 +0000 (12:48 +0200)]
[mc] Cleanup mc_ignore/mcer_ignore
Gabriel Corona [Mon, 27 Apr 2015 10:38:07 +0000 (12:38 +0200)]
[mc] Move MCer code from mc_ignore.cpp to mcer_ignore.cpp
Gabriel Corona [Fri, 17 Apr 2015 13:55:28 +0000 (15:55 +0200)]
[mc] Multiple heap removal (partial)
Christian Heinrich [Mon, 27 Apr 2015 13:28:53 +0000 (15:28 +0200)]
Removed keyword 'register' from files.
This keyword is deprecated and will break compilation with CLANG.
Gabriel Corona [Mon, 27 Apr 2015 09:29:09 +0000 (11:29 +0200)]
[mc] Fix XBT_CONNECT, mc_main is not in libsimgrid.so
Gabriel Corona [Mon, 27 Apr 2015 09:01:00 +0000 (11:01 +0200)]
[mc] Add missing XBT_CONNECT, move some out of HAVE_MC
Gabriel Corona [Mon, 27 Apr 2015 08:49:24 +0000 (10:49 +0200)]
Fix EXTRA_DIST
Gabriel Corona [Mon, 27 Apr 2015 08:33:01 +0000 (10:33 +0200)]
Merge branch 'master' into mc
Conflicts:
buildtools/Cmake/DefinePackages.cmake
src/mc/mc_request.cpp
Martin Quinson [Sun, 26 Apr 2015 21:51:42 +0000 (23:51 +0200)]
this example needs to forcefully destroy the VMs
Martin Quinson [Sun, 26 Apr 2015 21:40:20 +0000 (23:40 +0200)]
revamp the start_kill test to greatly improve the coverage
Martin Quinson [Sun, 26 Apr 2015 21:39:35 +0000 (23:39 +0200)]
Remove the kill_time timer when a process stops (fix #18888)
Martin Quinson [Sun, 26 Apr 2015 21:36:07 +0000 (23:36 +0200)]
new function: remove a given element of the xbt_heap
Martin Quinson [Sun, 26 Apr 2015 12:43:48 +0000 (14:43 +0200)]
more consistant identifier names around Java objects' finalization
Martin Quinson [Sat, 25 Apr 2015 23:39:37 +0000 (01:39 +0200)]
Actually allows the GC to reclaim tasks (fix #18874)
Marion Guthmuller [Thu, 23 Apr 2015 12:39:04 +0000 (14:39 +0200)]
model-checker : declare variable at the right place
Marion Guthmuller [Thu, 23 Apr 2015 12:31:42 +0000 (14:31 +0200)]
model-checker : unused variable
Marion Guthmuller [Thu, 23 Apr 2015 12:28:40 +0000 (14:28 +0200)]
model-checker : uninitialized variables
Marion Guthmuller [Thu, 23 Apr 2015 12:23:24 +0000 (14:23 +0200)]
model-checker : missing header
Marion Guthmuller [Thu, 23 Apr 2015 11:44:17 +0000 (13:44 +0200)]
model-checker : really fix mc dependancies with MC ON or OFF
Marion Guthmuller [Thu, 23 Apr 2015 11:07:41 +0000 (13:07 +0200)]
model-checker : fix dependancies without MC
Gabriel Corona [Fri, 17 Apr 2015 13:51:05 +0000 (15:51 +0200)]
[mc] Do not execute MCer code in MCed mode in MC_remove_ignore_heap()
Gabriel Corona [Fri, 17 Apr 2015 12:41:36 +0000 (14:41 +0200)]
[mc] Add missing copyright notices (and update)
Gabriel Corona [Fri, 17 Apr 2015 12:32:43 +0000 (14:32 +0200)]
[mc] C++ class PageStore
Gabriel Corona [Fri, 17 Apr 2015 12:02:45 +0000 (14:02 +0200)]
[mc] C++ class ModelChecker
Gabriel Corona [Fri, 17 Apr 2015 10:58:42 +0000 (12:58 +0200)]
[mc] Remove mc_interface.h
Gabriel Corona [Fri, 17 Apr 2015 10:36:30 +0000 (12:36 +0200)]
[mc] Remove soft dirty page tracking
It generates a lot of page faults and is slow.
Gabriel Corona [Fri, 17 Apr 2015 10:32:33 +0000 (12:32 +0200)]
[mc] Remove standalone mode and remove MC_do_the_modelcheck_for_real()
Gabriel Corona [Thu, 16 Apr 2015 13:02:35 +0000 (15:02 +0200)]
[mc] Remove mc_set.cpp
It was used on disabled mc_hash code and we can now use C++ STL directly.
Gabriel Corona [Tue, 14 Apr 2015 13:48:06 +0000 (15:48 +0200)]
[mc] Switch to C++
The code in just renamed in .cpp files and some adaptation are made
(this is still C style code).
Gabriel Corona [Tue, 14 Apr 2015 12:35:08 +0000 (14:35 +0200)]
Merge branch 'master' into mc-process
Gabriel Corona [Tue, 14 Apr 2015 12:02:51 +0000 (14:02 +0200)]
Merge branch 'master' into mc-process
Conflicts:
teshsuite/mc/replay/random_bug.c
Gabriel Corona [Mon, 13 Apr 2015 09:48:49 +0000 (11:48 +0200)]
[mc] Fix comm_determinism to work in split MCer/MCed
Christian Heinrich [Thu, 26 Mar 2015 12:51:33 +0000 (13:51 +0100)]
Elaborated on error messages in src/msg/msg_process.c
- 'Invalid parameter' error message now also shows the reason
why it's invalid: Because it must not be NULL.
Gabriel Corona [Fri, 10 Apr 2015 14:00:55 +0000 (16:00 +0200)]
[mc] Fix MCed event/message loop
Gabriel Corona [Fri, 10 Apr 2015 10:15:27 +0000 (12:15 +0200)]
[mc] Kill the MCed process if/when the MCer dies
Gabriel Corona [Thu, 9 Apr 2015 12:01:37 +0000 (14:01 +0200)]
[mc] DRY MC_do_the_modelcheck_for_real()
Martin Quinson [Thu, 9 Apr 2015 19:19:19 +0000 (21:19 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Thu, 9 Apr 2015 19:19:12 +0000 (21:19 +0200)]
tiny doc improvement
Martin Quinson [Thu, 9 Apr 2015 19:18:49 +0000 (21:18 +0200)]
provide placeholder headers to not disturb the users
Gabriel Corona [Thu, 9 Apr 2015 11:50:46 +0000 (13:50 +0200)]
[mc] Move comm determinism code in mc_comm_determinism.c
Gabriel Corona [Tue, 7 Apr 2015 10:59:10 +0000 (12:59 +0200)]
[mc] Move liveness in MCer process
Christian Heinrich [Wed, 8 Apr 2015 18:15:58 +0000 (20:15 +0200)]
SMPI: Fixed wrong value for MPI_ERR_LASTCODE.
This patch was submitted by Samuel Thibault. Thanks!
Christian Heinrich [Wed, 8 Apr 2015 17:47:59 +0000 (19:47 +0200)]
SMPI: More errorclasses: Added all errorclasses from MPI-3.0
- All classes as shown in
http://www.mpi-forum.org/docs/mpi-3.0/mpi30-report.pdf on page 662/663
are now available.
Arnaud Legrand [Wed, 8 Apr 2015 16:11:33 +0000 (18:11 +0200)]
This tesh file was actually wrong. This is fixed by the modifications induced by exception/exception
Arnaud Legrand [Wed, 8 Apr 2015 16:06:58 +0000 (18:06 +0200)]
document this test as broken
Arnaud Legrand [Wed, 8 Apr 2015 15:57:59 +0000 (17:57 +0200)]
Cosmetics
Arnaud Legrand [Wed, 8 Apr 2015 14:19:08 +0000 (16:19 +0200)]
Integrate this exception example to the standard set of tests.
Arnaud Legrand [Wed, 8 Apr 2015 13:06:44 +0000 (15:06 +0200)]
Making the exception/exception test work:
Always putting the process in the process_to_run list is bad.
Indeed, when canceling tasks (e.g., with SIMIX_host_execution_cancel),
the action will be cancelled and the corresponding process will be
run again when the action is popped from the list. This leads to very
surprising behavior since the action is only popped way after, generally
after calling surf_solve.... This is why the fix has two parts:
1) Do not put in the process_to_run list when canceling the action
2) Once all process have been run, pop the surf actions in case some have been modified
Arnaud Legrand [Wed, 8 Apr 2015 13:01:07 +0000 (15:01 +0200)]
Adding debug messages
Arnaud Legrand [Wed, 8 Apr 2015 12:58:32 +0000 (14:58 +0200)]
Make a more complex example that tests more combinations of calls/exceptions
Adrien Lebre [Wed, 8 Apr 2015 11:27:25 +0000 (13:27 +0200)]
Merge before commiting VM changes - Adrien
Adrien Lebre [Wed, 8 Apr 2015 09:24:38 +0000 (11:24 +0200)]
Add hosts test before migrating a VM - adrien
Gabriel Corona [Tue, 7 Apr 2015 09:12:51 +0000 (11:12 +0200)]
[mc] Cleanup safety initialisation code
Gabriel Corona [Tue, 7 Apr 2015 08:56:13 +0000 (10:56 +0200)]
[mc] Cross-process xbt_swag_size(simix_global->process_list)
Gabriel Corona [Tue, 7 Apr 2015 08:48:23 +0000 (10:48 +0200)]
[mc] Fix safety initialisation code
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