]>
AND Public Git Repository - simgrid.git/log
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
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, 3 Apr 2015 11:25:01 +0000 (13:25 +0200)]
[mc] Add %rip and %rsp in MC_dump_stacks() for x86_64
We'd something better to debug ucontexts.
Gabriel Corona [Thu, 2 Apr 2015 12:25:18 +0000 (14:25 +0200)]
[mc] Fix cross process access to xtd_heap in mc_diff.c
Gabriel Corona [Thu, 2 Apr 2015 11:39:56 +0000 (13:39 +0200)]
[mc] Fix broken mc_snapshot_get_heap_end()
Gabriel Corona [Thu, 2 Apr 2015 11:28:35 +0000 (13:28 +0200)]
[mc] Bring back snapshot comparison in safety
Gabriel Corona [Fri, 27 Mar 2015 13:11:20 +0000 (14:11 +0100)]
[mc] Fix cross-process access in MC_request_is_enabled() for SIMCALL_MUTEX_LOCK
Gabriel Corona [Fri, 27 Mar 2015 11:11:33 +0000 (12:11 +0100)]
[mc] Fix cross-process support in visited_state_new()
Gabriel Corona [Fri, 27 Mar 2015 10:44:50 +0000 (11:44 +0100)]
[mc] Read context from remote process in MC_take_snapshot_stacks()
Gabriel Corona [Mon, 23 Feb 2015 12:40:14 +0000 (13:40 +0100)]
[mc] Cross-process MC/safety implementation
Gabriel Corona [Thu, 26 Mar 2015 12:30:20 +0000 (13:30 +0100)]
[mc] Fix buffer size in MC_process_refresh_malloc_info()
malloc_info[heaplimit] is a valid value
Gabriel Corona [Thu, 26 Mar 2015 10:30:22 +0000 (11:30 +0100)]
[mc] Fix MC_process_read_dynar_element
* Add a length parameter and check it against dynar->elmsize;
* Check out of bound access;
* Fix the callers.
Gabriel Corona [Tue, 24 Mar 2015 12:11:20 +0000 (13:11 +0100)]
[mc] Fix: MC_random always starts from 0
Gabriel Corona [Mon, 23 Mar 2015 12:47:08 +0000 (13:47 +0100)]
[mc] Fix Remote remote access to simix_process_maxpid
Gabriel Corona [Mon, 23 Mar 2015 10:48:33 +0000 (11:48 +0100)]
[mc] Resolve process in MC_request_is_enabled()
Gabriel Corona [Mon, 23 Mar 2015 09:49:17 +0000 (10:49 +0100)]
[mc] Remote xbt_dynar_foreach() in MC_request_testany_fail()
Gabriel Corona [Fri, 20 Mar 2015 12:01:30 +0000 (13:01 +0100)]
[mc] Read from MCed
Gabriel Corona [Fri, 20 Mar 2015 10:56:17 +0000 (11:56 +0100)]
[mc] Use MC_process_read_string() in MC_smx_process_get_name() (DRY)
Gabriel Corona [Fri, 20 Mar 2015 10:40:50 +0000 (11:40 +0100)]
[mc] Remove FIXMEs
Gabriel Corona [Fri, 20 Mar 2015 10:09:00 +0000 (11:09 +0100)]
[mc] Do not take NULL to mean 'the current address space' in dwarf expressions
Gabriel Corona [Thu, 19 Mar 2015 13:04:47 +0000 (14:04 +0100)]
[mc] Read rdv->name from MCed in mc_comm_determinism.c
Gabriel Corona [Thu, 19 Mar 2015 12:51:36 +0000 (13:51 +0100)]
[mc] Read MPI_Request from MCed in mc_comm_determinism.c
Gabriel Corona [Thu, 19 Mar 2015 12:35:39 +0000 (13:35 +0100)]
[mc] Read *pattern->comm from MCed in mc_comm_dterminism.c
Gabriel Corona [Thu, 19 Mar 2015 11:43:07 +0000 (12:43 +0100)]
[mc] Read *comm->comm.src_buff from MCed
Gabriel Corona [Tue, 17 Mar 2015 14:31:08 +0000 (15:31 +0100)]
[mc] Read smpi_loaded_page from MCed in MC_process_init()
Gabriel Corona [Tue, 17 Mar 2015 14:12:13 +0000 (15:12 +0100)]
[mc] Check variable size in MC_process_read_variable()
Gabriel Corona [Tue, 17 Mar 2015 14:07:43 +0000 (15:07 +0100)]
[mc] Read smpi_privatisation_regions from MCed in MC_region_new_privatized()
Gabriel Corona [Tue, 17 Mar 2015 13:39:09 +0000 (14:39 +0100)]
[mc] mc_checkpoint.c, remove some TODOs
Gabriel Corona [Tue, 17 Mar 2015 13:06:13 +0000 (14:06 +0100)]
[smpi] Move start_data_exe and size_data_exe in the smpi_ namespace
Gabriel Corona [Mon, 16 Mar 2015 13:45:56 +0000 (14:45 +0100)]
[mc] Read smpi_process_count() from remote process
Gabriel Corona [Mon, 16 Mar 2015 12:45:20 +0000 (13:45 +0100)]
[mc] Read from remote process in MC_wait_for_requests()
Gabriel Corona [Mon, 16 Mar 2015 11:30:34 +0000 (12:30 +0100)]
[mc] Read from remote process in MC_request_get_dot_output()
Gabriel Corona [Mon, 16 Mar 2015 10:57:52 +0000 (11:57 +0100)]
[mc] Read from remote process in MC_request_is_enabled_by_idx()
Gabriel Corona [Fri, 13 Mar 2015 15:01:44 +0000 (16:01 +0100)]
[mc] Read from remote process in MC_request_to_string()
Gabriel Corona [Fri, 13 Mar 2015 13:34:42 +0000 (14:34 +0100)]
[mc] Avoid useless malloc
Gabriel Corona [Fri, 13 Mar 2015 13:04:44 +0000 (14:04 +0100)]
[mc] Cross process access to simcall synchro
Gabriel Corona [Fri, 13 Mar 2015 11:51:50 +0000 (12:51 +0100)]
[mc] Fix namespace for transition pattern code
and move to the relevant source file.
Gabriel Corona [Fri, 13 Mar 2015 11:13:55 +0000 (12:13 +0100)]
[mc] mc_comm_pattern.c containing all communication pattern functions
Gabriel Corona [Thu, 12 Mar 2015 15:02:18 +0000 (16:02 +0100)]
[mc] MCed memory access in MC_state_get_request()
Gabriel Corona [Thu, 12 Mar 2015 13:42:21 +0000 (14:42 +0100)]
[mc] Remote support for filling state->internal_comm
Gabriel Corona [Thu, 12 Mar 2015 12:37:55 +0000 (13:37 +0100)]
[mc] Fetch simix_process_maxpid from MCed
Gabriel Corona [Thu, 12 Mar 2015 10:07:26 +0000 (11:07 +0100)]
[mc] Simplify nesting of MC_state_get_request
Gabriel Corona [Tue, 10 Mar 2015 11:13:14 +0000 (12:13 +0100)]
Merge branch 'master' into mc-process
Conflicts:
examples/smpi/mc/non_deterministic.tesh
examples/smpi/mc/only_send_deterministic.tesh
src/include/mc/mc.h
src/mc/mc_base.c
src/mc/mc_comm_determinism.c
src/mc/mc_config.c
src/mc/mc_global.c
src/mc/mc_page_snapshot.cpp
src/mc/mc_request.c
Gabriel Corona [Tue, 10 Mar 2015 10:10:52 +0000 (11:10 +0100)]
[mc] Add more smx_process_t MCer/MCed translations
Gabriel Corona [Mon, 2 Mar 2015 09:58:22 +0000 (10:58 +0100)]
[mc] Remote access to process name
Gabriel Corona [Fri, 27 Feb 2015 10:58:55 +0000 (11:58 +0100)]
[mc] Read host name from remote process