Samuel Lepetit [Wed, 4 Jul 2012 14:50:18 +0000 (16:50 +0200)]
Use xbt_dynar_foreach in cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:05 +0000 (16:50 +0200)]
Revalidate tesh file for cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:35:16 +0000 (16:35 +0200)]
Update cloud example to use MSG_vm_reboot. Update the tesh file
Samuel Lepetit [Wed, 4 Jul 2012 14:34:05 +0000 (16:34 +0200)]
Memory leak fix
Samuel Lepetit [Wed, 4 Jul 2012 14:31:46 +0000 (16:31 +0200)]
Add MSG_vm_reboot
Samuel Lepetit [Wed, 4 Jul 2012 13:47:19 +0000 (15:47 +0200)]
Return the new process in SIMIX_process_restart, simcall_process_restart and MSG_process_restart
schnorr [Wed, 4 Jul 2012 14:29:47 +0000 (16:29 +0200)]
fix tracing documentation
lbobelin [Wed, 4 Jul 2012 14:19:06 +0000 (16:19 +0200)]
Stupid commit to get shared/doxygen directory existing in the repo.
lbobelin [Wed, 4 Jul 2012 13:46:54 +0000 (15:46 +0200)]
Changed URLs to the correct one.
Arnaud Giersch [Wed, 4 Jul 2012 13:29:54 +0000 (15:29 +0200)]
Call xbt_init() to parse the command line, specially "--log=...".
Samuel Lepetit [Wed, 4 Jul 2012 13:25:59 +0000 (15:25 +0200)]
Fix SIMIX_process_kill(SIMIX_process_self()); issue: The killed processes mustn't be added
to the process to run by SIMIX_process_kill if he is the issuer of the function, else he
will be added twice to the process_to_run dynar.
Add simcall_process_restart, SIMIX_process_restart and MSG_process_restart, which restarts
a process.
Samuel Lepetit [Wed, 4 Jul 2012 12:47:13 +0000 (14:47 +0200)]
Remove XBT_INLINE from bittorrent example.
Arnaud Giersch [Wed, 4 Jul 2012 12:34:27 +0000 (14:34 +0200)]
Make example compile with enable_warnings=ON.
Main changes are:
* remove unused variables.
* use unsigned int for the index in xbt_dynar_foreach.
Arnaud Giersch [Wed, 4 Jul 2012 12:26:23 +0000 (14:26 +0200)]
Reindent.
Arnaud Giersch [Wed, 4 Jul 2012 12:13:57 +0000 (14:13 +0200)]
Don't override CMAKE_C_FLAGS!
Arnaud Giersch [Wed, 4 Jul 2012 11:05:46 +0000 (13:05 +0200)]
Make directory when building out of the source tree.
Arnaud Giersch [Wed, 4 Jul 2012 11:09:28 +0000 (13:09 +0200)]
Include simgrid_config.h before stdio.h to define _GNU_SOURCE if needed.
Arnaud Giersch [Wed, 4 Jul 2012 09:40:33 +0000 (11:40 +0200)]
Remove useless defines.
Arnaud Giersch [Wed, 4 Jul 2012 09:53:40 +0000 (11:53 +0200)]
Don't define variables in header files (part 2).
Arnaud Giersch [Wed, 4 Jul 2012 09:40:33 +0000 (11:40 +0200)]
Add -fno-common to compile flags.
For now, add it only when enable_compile_warnings=ON, in order to
catch multiple defined variables, like those defined in header
files.
navarro [Wed, 4 Jul 2012 11:07:58 +0000 (13:07 +0200)]
More cache cleaning in lmm_solve
schnorr [Wed, 4 Jul 2012 10:41:10 +0000 (12:41 +0200)]
copying an image needed by the tracing documentation
schnorr [Wed, 4 Jul 2012 10:23:49 +0000 (12:23 +0200)]
[trace] fix paje header in tesh files
schnorr [Wed, 4 Jul 2012 10:20:36 +0000 (12:20 +0200)]
[trace] correctly declaring simgrid tracing mark values as event values
schnorr [Wed, 4 Jul 2012 09:14:37 +0000 (11:14 +0200)]
[trace] don't specify color when declaring an event type
schnorr [Wed, 4 Jul 2012 09:00:17 +0000 (11:00 +0200)]
[trace] follow the paje file format specification
Arnaud Giersch [Wed, 4 Jul 2012 09:04:09 +0000 (11:04 +0200)]
Don't define variables in header file.
Arnaud Giersch [Tue, 3 Jul 2012 08:54:48 +0000 (10:54 +0200)]
Update.
Arnaud Giersch [Tue, 3 Jul 2012 21:46:58 +0000 (23:46 +0200)]
Fix indentation (again).
Arnaud Giersch [Tue, 3 Jul 2012 13:08:31 +0000 (15:08 +0200)]
Fix memory leak.
SIMIX_host_execution_destroy() was modified along to SIMIX_host_execution_cancel()
by commit
c4d5e0512df1e2b3e83d57fbb17e225e286ef4ca (avoid double free issues
when on host failure+process run).
These changes lead to memory leaks (action are not destroyed anymore).
Since SIMIX_host_execution_cancel was later modified, revert the changes
from commit
c4d5e05.
Arnaud Giersch [Tue, 3 Jul 2012 11:44:44 +0000 (13:44 +0200)]
[trace] free dicts on TRACE_end.
Arnaud Giersch [Tue, 3 Jul 2012 10:15:34 +0000 (12:15 +0200)]
Fix free function for dynar, and simplify the code at the end of the function.
Arnaud Giersch [Tue, 3 Jul 2012 10:12:58 +0000 (12:12 +0200)]
Avoid to free object twice.
Arnaud Giersch [Tue, 3 Jul 2012 10:11:18 +0000 (12:11 +0200)]
Free dot before exit.
Marion Guthmuller [Tue, 3 Jul 2012 21:02:04 +0000 (23:02 +0200)]
model-checker : use abort() instead of a hack for core dump
Marion Guthmuller [Tue, 3 Jul 2012 20:38:16 +0000 (22:38 +0200)]
model-checker : typo
Marion Guthmuller [Tue, 3 Jul 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : create core dump without termination for each acceptance pair
Marion Guthmuller [Tue, 3 Jul 2012 13:39:26 +0000 (15:39 +0200)]
model-checker : pointer detection fixed
Marion Guthmuller [Mon, 2 Jul 2012 14:40:25 +0000 (16:40 +0200)]
model-checker : copyright header for safety properties model checking examples
Samuel Lepetit [Tue, 3 Jul 2012 16:25:38 +0000 (18:25 +0200)]
Add bittorrent example
Samuel Lepetit [Tue, 3 Jul 2012 16:12:25 +0000 (18:12 +0200)]
Little change in xbt_dynar_to_array doc
Samuel Lepetit [Tue, 3 Jul 2012 16:09:25 +0000 (18:09 +0200)]
Revalidate chord.tesh/chord_crosstraffic.tesh
Samuel Lepetit [Tue, 3 Jul 2012 16:01:42 +0000 (18:01 +0200)]
Add leave in chord
navarro [Tue, 3 Jul 2012 13:21:45 +0000 (15:21 +0200)]
Fix some warnings in doc
navarro [Tue, 3 Jul 2012 12:40:20 +0000 (14:40 +0200)]
Remove this files to git
navarro [Tue, 3 Jul 2012 11:21:19 +0000 (13:21 +0200)]
lmm_solve cache cleaning
lbobelin [Tue, 3 Jul 2012 09:23:16 +0000 (11:23 +0200)]
Minor corrections.
Arnaud Giersch [Mon, 2 Jul 2012 19:32:18 +0000 (21:32 +0200)]
Add missing test properties for new lua tests.
Arnaud Giersch [Mon, 2 Jul 2012 19:21:46 +0000 (21:21 +0200)]
Fix indentation.
Arnaud Giersch [Fri, 29 Jun 2012 12:33:20 +0000 (14:33 +0200)]
Define macros to make compatibility layer of libagraph vs. libcgraph more legible.
Samuel Lepetit [Mon, 2 Jul 2012 16:21:17 +0000 (18:21 +0200)]
Add lua-bittorrent tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:17:56 +0000 (18:17 +0200)]
Add lua-kademlia tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:13:42 +0000 (18:13 +0200)]
Add kademlia lua example
Arnaud Giersch [Mon, 2 Jul 2012 14:39:55 +0000 (16:39 +0200)]
Tiny corrections in doc.
Marion Guthmuller [Mon, 2 Jul 2012 14:30:53 +0000 (16:30 +0200)]
model-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
Marion Guthmuller [Mon, 2 Jul 2012 13:35:53 +0000 (15:35 +0200)]
model-checker : extend pointer detection in heap comparison algorithm
Marion Guthmuller [Sat, 30 Jun 2012 19:37:44 +0000 (21:37 +0200)]
model-checker : remove unnecessary test
lbobelin [Mon, 2 Jul 2012 12:03:41 +0000 (14:03 +0200)]
Just cleaned some stuff to only show undocumented functions refered
Arnaud Giersch [Mon, 2 Jul 2012 09:45:51 +0000 (11:45 +0200)]
Add missing compatibility typedefs.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:35 +0000 (11:45 +0200)]
Move compatibility typedefs in section MSG_USE_DEPRECATED.
suter [Thu, 28 Jun 2012 13:23:55 +0000 (15:23 +0200)]
Add a new test to see how failures are handled by SimDag.
Seem to raise a bug because unscheduling and rescheduling a FAILED
tasks makes it run in no time.
lbobelin [Fri, 29 Jun 2012 20:00:53 +0000 (22:00 +0200)]
Added some stuff about deployment to please Fred. Corrected some stuff.
lbobelin [Fri, 29 Jun 2012 19:11:31 +0000 (21:11 +0200)]
Just added links to tutorials.
lbobelin [Fri, 29 Jun 2012 16:28:10 +0000 (18:28 +0200)]
Mainly cosmetics. I stop for now working on doc.
lbobelin [Fri, 29 Jun 2012 16:07:33 +0000 (18:07 +0200)]
Ok, I forgot most of the examples in one of my previous commit. Repaired.
lbobelin [Fri, 29 Jun 2012 14:57:22 +0000 (16:57 +0200)]
Cosmetics
lbobelin [Fri, 29 Jun 2012 14:36:27 +0000 (16:36 +0200)]
Cleaned doc, re-included examples, should be better now.
Samuel Lepetit [Fri, 29 Jun 2012 13:44:03 +0000 (15:44 +0200)]
Fix typo in msg reference guide
Marion Guthmuller [Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)]
model-checker : tests for snapshot comparison
Marion Guthmuller [Fri, 29 Jun 2012 08:19:04 +0000 (10:19 +0200)]
model-checker : test unit removed
Marion Guthmuller [Fri, 29 Jun 2012 08:17:29 +0000 (10:17 +0200)]
model-checker : move functions about snapshot comparison from mc_liveness to mc_checkpoint and declare them static
Marion Guthmuller [Thu, 28 Jun 2012 13:52:42 +0000 (15:52 +0200)]
model-checker : get fragment number like in realloc function
Arnaud Giersch [Wed, 27 Jun 2012 09:16:50 +0000 (11:16 +0200)]
Reindent.
Samuel Lepetit [Fri, 29 Jun 2012 12:23:46 +0000 (14:23 +0200)]
Update changelog
Samuel Lepetit [Fri, 29 Jun 2012 12:17:49 +0000 (14:17 +0200)]
Move a simcall doc from MSG to SIMIX
Samuel Lepetit [Fri, 29 Jun 2012 12:13:29 +0000 (14:13 +0200)]
Add some doc for SIMIX reference guide
Samuel Lepetit [Fri, 29 Jun 2012 11:42:45 +0000 (13:42 +0200)]
Fix issues in documentation
Samuel Lepetit [Fri, 29 Jun 2012 10:01:07 +0000 (12:01 +0200)]
Use msg_error_t instead of MSG_error_t
Samuel Lepetit [Fri, 29 Jun 2012 09:45:17 +0000 (11:45 +0200)]
Use msg_gpu_task_t instead of m_gpu_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:39:13 +0000 (11:39 +0200)]
Use msg_task_t instead of m_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:26:47 +0000 (11:26 +0200)]
Use msg_host_t instead of m_host_t.
Samuel Lepetit [Fri, 29 Jun 2012 09:14:43 +0000 (11:14 +0200)]
Use msg_process_t instead of m_process_t
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Update tesh files with process autorestart.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Add "output sort" in tesh files.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Clean CMakeLists.txt in examples/smpi.
Remove "flags" which is already set in smpicc, and use include_directories for its purpose.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Don't mix install and build directories in smpicc.
Build directories are already given on command line by cmake.
Ensure that install directories come last in the list so that the correct
directories are used at build time for includes and libraries.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Missing include when !HAVE_TRACING.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:47 +0000 (09:03 +0200)]
Use memcpy() instead of possibly broken aliasing through an union.
According to C standard:
J.1 Unspecified behavior
The following are unspecified:
[...]
-- The value of a union member other than the last one stored into (6.2.6.1).
Samuel Lepetit [Thu, 28 Jun 2012 13:48:06 +0000 (15:48 +0200)]
Fix in SIMIX_host_add_auto_restart_process
Samuel Lepetit [Thu, 28 Jun 2012 13:16:28 +0000 (15:16 +0200)]
Fix an issue in process autorestart
navarro [Thu, 28 Jun 2012 12:44:25 +0000 (14:44 +0200)]
Hide cmake variable
navarro [Thu, 28 Jun 2012 12:41:04 +0000 (14:41 +0200)]
Remove duplicated declartion of functions. They are in simix.h and not private,
they are called by MSG
navarro [Thu, 28 Jun 2012 12:28:40 +0000 (14:28 +0200)]
Add the function autorestart in simix_global
Samuel Lepetit [Thu, 28 Jun 2012 11:59:15 +0000 (13:59 +0200)]
Add SIMIX_host_restart_processes
navarro [Thu, 28 Jun 2012 11:05:37 +0000 (13:05 +0200)]
Create a dict with all hosts with state SURF_RESOURCE_OFF during a SIMIX_process_stop.
navarro [Mon, 25 Jun 2012 13:08:07 +0000 (15:08 +0200)]
TODO comments
Arnaud Giersch [Thu, 28 Jun 2012 09:28:19 +0000 (11:28 +0200)]
Test for failed host is wrong for parallel tasks.
Arnaud Giersch [Thu, 28 Jun 2012 09:10:06 +0000 (11:10 +0200)]
Add dots, and break long lines.
Samuel Lepetit [Thu, 28 Jun 2012 08:44:33 +0000 (10:44 +0200)]
Changelog update
Arnaud Giersch [Thu, 28 Jun 2012 08:26:40 +0000 (10:26 +0200)]
memcheck_tests.cmake: update.