]>
AND Public Git Repository - simgrid.git/log
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
Gabriel Corona [Mon, 23 Feb 2015 15:08:17 +0000 (16:08 +0100)]
[mc] Cross-process access to smx_process and simcall
Process and host names are not handled yet.
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
Gabriel Corona [Mon, 23 Feb 2015 09:58:30 +0000 (10:58 +0100)]
[mc] Use MC_process_is_enabled instead of MC_request_is_enabled
This is consistent with other similar loops.
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.