Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
11 years agoKill duplicated code in CMakeLists.txt.
Arnaud Giersch [Thu, 5 Jul 2012 14:56:04 +0000 (16:56 +0200)]
Kill duplicated code in CMakeLists.txt.

11 years agoCopying the file once is sufficient.
Arnaud Giersch [Thu, 5 Jul 2012 09:47:00 +0000 (11:47 +0200)]
Copying the file once is sufficient.

11 years agoCreate needed directories at configure time instead of adding dummy files.
Arnaud Giersch [Wed, 4 Jul 2012 14:28:05 +0000 (16:28 +0200)]
Create needed directories at configure time instead of adding dummy files.

Revert "Stupid commit to get shared/doxygen directory existing in the repo."

This reverts commit d0bcdf8532d5080f0a673f006ce6d4c943815513.

11 years agomemcheck_tests.cmake: update.
Arnaud Giersch [Thu, 5 Jul 2012 15:48:16 +0000 (17:48 +0200)]
memcheck_tests.cmake: update.

11 years agoBreak loop here.
Arnaud Giersch [Thu, 5 Jul 2012 20:31:51 +0000 (22:31 +0200)]
Break loop here.

Commit fcc0e93b60352e0d912f18c32706c1ca717c4896 (More cache cleaning in lmm_solve)
wrongly changed a "break" statement into a "continue".

Fixes infinite loop in tests smpi-reduce.

11 years agoCheck if cnst->cnst_usage is NULL.
Arnaud Giersch [Thu, 5 Jul 2012 20:29:31 +0000 (22:29 +0200)]
Check if cnst->cnst_usage is NULL.

Fixes a segfault in test-maxmin-usage.

11 years agobe more verbose on explaining the expected result of the model-checker
Martin Quinson [Thu, 5 Jul 2012 19:33:19 +0000 (21:33 +0200)]
be more verbose on explaining the expected result of the model-checker

11 years agoMake it clear that MC is supposed to detect a counter-example in chord.
Christophe Thiéry [Thu, 5 Jul 2012 15:14:55 +0000 (17:14 +0200)]
Make it clear that MC is supposed to detect a counter-example in chord.

11 years agoregenerate the parser files with flexml 1.9.3 (thx agier for the patch)
Martin Quinson [Thu, 5 Jul 2012 15:01:25 +0000 (17:01 +0200)]
regenerate the parser files with flexml 1.9.3 (thx agier for the patch)

11 years agofree this dynar in none_finalize (if it was used).
navarro [Thu, 5 Jul 2012 13:37:34 +0000 (15:37 +0200)]
free this dynar in none_finalize (if it was used).

11 years agoUse new tag host_link for peer. No need for router now.
navarro [Thu, 5 Jul 2012 13:21:17 +0000 (15:21 +0200)]
Use new tag host_link for peer. No need for router now.

11 years agotypo on option name
Martin Quinson [Thu, 5 Jul 2012 13:14:11 +0000 (15:14 +0200)]
typo on option name

11 years agoAdd two new tag for routing cluster (only):
navarro [Thu, 5 Jul 2012 12:00:45 +0000 (14:00 +0200)]
Add two new tag for routing cluster (only):
host_link (specify link up and down to a host)
backbone (to make a backbone into an as routing cluster)

11 years agomodel-checker : use rename() instead of system(mv ..)
Marion Guthmuller [Wed, 4 Jul 2012 09:29:20 +0000 (11:29 +0200)]
model-checker : use rename() instead of system(mv ..)

11 years agoAdd kademlia C example
Samuel Lepetit [Wed, 4 Jul 2012 16:58:43 +0000 (18:58 +0200)]
Add kademlia C example

11 years agoUse xbt_dynar_foreach in cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:18 +0000 (16:50 +0200)]
Use xbt_dynar_foreach in cloud example

11 years agoRevalidate tesh file for cloud example
Samuel Lepetit [Wed, 4 Jul 2012 14:50:05 +0000 (16:50 +0200)]
Revalidate tesh file for cloud example

11 years agoUpdate cloud example to use MSG_vm_reboot. Update the tesh file
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

11 years agoMemory leak fix
Samuel Lepetit [Wed, 4 Jul 2012 14:34:05 +0000 (16:34 +0200)]
Memory leak fix

11 years agoAdd MSG_vm_reboot
Samuel Lepetit [Wed, 4 Jul 2012 14:31:46 +0000 (16:31 +0200)]
Add MSG_vm_reboot

11 years agoReturn the new process in SIMIX_process_restart, simcall_process_restart and MSG_proc...
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

11 years agofix tracing documentation
schnorr [Wed, 4 Jul 2012 14:29:47 +0000 (16:29 +0200)]
fix tracing documentation

11 years agoStupid commit to get shared/doxygen directory existing in the repo.
lbobelin [Wed, 4 Jul 2012 14:19:06 +0000 (16:19 +0200)]
Stupid commit to get shared/doxygen directory existing in the repo.

11 years agoChanged URLs to the correct one.
lbobelin [Wed, 4 Jul 2012 13:46:54 +0000 (15:46 +0200)]
Changed URLs to the correct one.

11 years agoCall xbt_init() to parse the command line, specially "--log=...".
Arnaud Giersch [Wed, 4 Jul 2012 13:29:54 +0000 (15:29 +0200)]
Call xbt_init() to parse the command line, specially "--log=...".

11 years agoFix SIMIX_process_kill(SIMIX_process_self()); issue: The killed processes mustn't...
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.

11 years agoRemove XBT_INLINE from bittorrent example.
Samuel Lepetit [Wed, 4 Jul 2012 12:47:13 +0000 (14:47 +0200)]
Remove XBT_INLINE from bittorrent example.

11 years agoMake example compile with enable_warnings=ON.
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.

11 years agoReindent.
Arnaud Giersch [Wed, 4 Jul 2012 12:26:23 +0000 (14:26 +0200)]
Reindent.

11 years agoDon't override CMAKE_C_FLAGS!
Arnaud Giersch [Wed, 4 Jul 2012 12:13:57 +0000 (14:13 +0200)]
Don't override CMAKE_C_FLAGS!

11 years agoMake directory when building out of the source tree.
Arnaud Giersch [Wed, 4 Jul 2012 11:05:46 +0000 (13:05 +0200)]
Make directory when building out of the source tree.

11 years agoInclude simgrid_config.h before stdio.h to define _GNU_SOURCE if needed.
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.

11 years agoRemove useless defines.
Arnaud Giersch [Wed, 4 Jul 2012 09:40:33 +0000 (11:40 +0200)]
Remove useless defines.

11 years agoDon't define variables in header files (part 2).
Arnaud Giersch [Wed, 4 Jul 2012 09:53:40 +0000 (11:53 +0200)]
Don't define variables in header files (part 2).

11 years agoAdd -fno-common to compile flags.
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.

11 years agoMore cache cleaning in lmm_solve
navarro [Wed, 4 Jul 2012 11:07:58 +0000 (13:07 +0200)]
More cache cleaning in lmm_solve

11 years agocopying an image needed by the tracing documentation
schnorr [Wed, 4 Jul 2012 10:41:10 +0000 (12:41 +0200)]
copying an image needed by the tracing documentation

11 years ago[trace] fix paje header in tesh files
schnorr [Wed, 4 Jul 2012 10:23:49 +0000 (12:23 +0200)]
[trace] fix paje header in tesh files

11 years ago[trace] correctly declaring simgrid tracing mark values as event values
schnorr [Wed, 4 Jul 2012 10:20:36 +0000 (12:20 +0200)]
[trace] correctly declaring simgrid tracing mark values as event values

11 years ago[trace] don't specify color when declaring an event type
schnorr [Wed, 4 Jul 2012 09:14:37 +0000 (11:14 +0200)]
[trace] don't specify color when declaring an event type

11 years ago[trace] follow the paje file format specification
schnorr [Wed, 4 Jul 2012 09:00:17 +0000 (11:00 +0200)]
[trace] follow the paje file format specification

11 years agoDon't define variables in header file.
Arnaud Giersch [Wed, 4 Jul 2012 09:04:09 +0000 (11:04 +0200)]
Don't define variables in header file.

11 years agoUpdate.
Arnaud Giersch [Tue, 3 Jul 2012 08:54:48 +0000 (10:54 +0200)]
Update.

11 years agoFix indentation (again).
Arnaud Giersch [Tue, 3 Jul 2012 21:46:58 +0000 (23:46 +0200)]
Fix indentation (again).

11 years agoFix memory leak.
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.

11 years ago[trace] free dicts on TRACE_end.
Arnaud Giersch [Tue, 3 Jul 2012 11:44:44 +0000 (13:44 +0200)]
[trace] free dicts on TRACE_end.

11 years agoFix free function for dynar, and simplify the code at the end of the function.
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.

11 years agoAvoid to free object twice.
Arnaud Giersch [Tue, 3 Jul 2012 10:12:58 +0000 (12:12 +0200)]
Avoid to free object twice.

11 years agoFree dot before exit.
Arnaud Giersch [Tue, 3 Jul 2012 10:11:18 +0000 (12:11 +0200)]
Free dot before exit.

11 years agomodel-checker : use abort() instead of a hack for core dump
Marion Guthmuller [Tue, 3 Jul 2012 21:02:04 +0000 (23:02 +0200)]
model-checker : use abort() instead of a hack for core dump

11 years agomodel-checker : typo
Marion Guthmuller [Tue, 3 Jul 2012 20:38:16 +0000 (22:38 +0200)]
model-checker : typo

11 years agomodel-checker : create core dump without termination for each acceptance pair
Marion Guthmuller [Tue, 3 Jul 2012 13:42:08 +0000 (15:42 +0200)]
model-checker : create core dump without termination for each acceptance pair

11 years agomodel-checker : pointer detection fixed
Marion Guthmuller [Tue, 3 Jul 2012 13:39:26 +0000 (15:39 +0200)]
model-checker : pointer detection fixed

11 years agomodel-checker : copyright header for safety properties model checking examples
Marion Guthmuller [Mon, 2 Jul 2012 14:40:25 +0000 (16:40 +0200)]
model-checker : copyright header for safety properties model checking examples

11 years agoAdd bittorrent example
Samuel Lepetit [Tue, 3 Jul 2012 16:25:38 +0000 (18:25 +0200)]
Add bittorrent example

11 years agoLittle change in xbt_dynar_to_array doc
Samuel Lepetit [Tue, 3 Jul 2012 16:12:25 +0000 (18:12 +0200)]
Little change in xbt_dynar_to_array doc

11 years agoRevalidate chord.tesh/chord_crosstraffic.tesh
Samuel Lepetit [Tue, 3 Jul 2012 16:09:25 +0000 (18:09 +0200)]
Revalidate chord.tesh/chord_crosstraffic.tesh

11 years agoAdd leave in chord
Samuel Lepetit [Tue, 3 Jul 2012 16:01:42 +0000 (18:01 +0200)]
Add leave in chord

11 years agoFix some warnings in doc
navarro [Tue, 3 Jul 2012 13:21:45 +0000 (15:21 +0200)]
Fix some warnings in doc

11 years agoRemove this files to git
navarro [Tue, 3 Jul 2012 12:40:20 +0000 (14:40 +0200)]
Remove this files to git

11 years agolmm_solve cache cleaning
navarro [Tue, 3 Jul 2012 11:21:19 +0000 (13:21 +0200)]
lmm_solve cache cleaning

11 years agoMinor corrections.
lbobelin [Tue, 3 Jul 2012 09:23:16 +0000 (11:23 +0200)]
Minor corrections.

11 years agoAdd missing test properties for new lua tests.
Arnaud Giersch [Mon, 2 Jul 2012 19:32:18 +0000 (21:32 +0200)]
Add missing test properties for new lua tests.

11 years agoFix indentation.
Arnaud Giersch [Mon, 2 Jul 2012 19:21:46 +0000 (21:21 +0200)]
Fix indentation.

11 years agoDefine macros to make compatibility layer of libagraph vs. libcgraph more legible.
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.

11 years agoAdd lua-bittorrent tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:21:17 +0000 (18:21 +0200)]
Add lua-bittorrent tesh file

11 years agoAdd lua-kademlia tesh file
Samuel Lepetit [Mon, 2 Jul 2012 16:17:56 +0000 (18:17 +0200)]
Add lua-kademlia tesh file

11 years agoAdd kademlia lua example
Samuel Lepetit [Mon, 2 Jul 2012 16:13:42 +0000 (18:13 +0200)]
Add kademlia lua example

11 years agoTiny corrections in doc.
Arnaud Giersch [Mon, 2 Jul 2012 14:39:55 +0000 (16:39 +0200)]
Tiny corrections in doc.

11 years agomodel-checker: sed 's/m_task_t/msg_task_t/g' on MC examples
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

11 years agomodel-checker : extend pointer detection in heap comparison algorithm
Marion Guthmuller [Mon, 2 Jul 2012 13:35:53 +0000 (15:35 +0200)]
model-checker : extend pointer detection in heap comparison algorithm

11 years agomodel-checker : remove unnecessary test
Marion Guthmuller [Sat, 30 Jun 2012 19:37:44 +0000 (21:37 +0200)]
model-checker : remove unnecessary test

11 years agoJust cleaned some stuff to only show undocumented functions refered
lbobelin [Mon, 2 Jul 2012 12:03:41 +0000 (14:03 +0200)]
Just cleaned some stuff to only show undocumented functions refered

11 years agoAdd missing compatibility typedefs.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:51 +0000 (11:45 +0200)]
Add missing compatibility typedefs.

11 years agoMove compatibility typedefs in section MSG_USE_DEPRECATED.
Arnaud Giersch [Mon, 2 Jul 2012 09:45:35 +0000 (11:45 +0200)]
Move compatibility typedefs in section MSG_USE_DEPRECATED.

11 years agoAdd a new test to see how failures are handled by SimDag.
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.

11 years agoAdded some stuff about deployment to please Fred. Corrected some stuff.
lbobelin [Fri, 29 Jun 2012 20:00:53 +0000 (22:00 +0200)]
Added some stuff about deployment to please Fred. Corrected some stuff.

11 years agoJust added links to tutorials.
lbobelin [Fri, 29 Jun 2012 19:11:31 +0000 (21:11 +0200)]
Just added links to tutorials.

11 years agoMainly cosmetics. I stop for now working on doc.
lbobelin [Fri, 29 Jun 2012 16:28:10 +0000 (18:28 +0200)]
Mainly cosmetics. I stop for now working on doc.

11 years agoOk, I forgot most of the examples in one of my previous commit. Repaired.
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.

11 years agoCosmetics
lbobelin [Fri, 29 Jun 2012 14:57:22 +0000 (16:57 +0200)]
Cosmetics

11 years agoCleaned doc, re-included examples, should be better now.
lbobelin [Fri, 29 Jun 2012 14:36:27 +0000 (16:36 +0200)]
Cleaned doc, re-included examples, should be better now.

11 years agoFix typo in msg reference guide
Samuel Lepetit [Fri, 29 Jun 2012 13:44:03 +0000 (15:44 +0200)]
Fix typo in msg reference guide

11 years agomodel-checker : tests for snapshot comparison
Marion Guthmuller [Fri, 29 Jun 2012 13:17:47 +0000 (15:17 +0200)]
model-checker : tests for snapshot comparison

11 years agomodel-checker : test unit removed
Marion Guthmuller [Fri, 29 Jun 2012 08:19:04 +0000 (10:19 +0200)]
model-checker : test unit removed

11 years agomodel-checker : move functions about snapshot comparison from mc_liveness to mc_check...
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

11 years agomodel-checker : get fragment number like in realloc function
Marion Guthmuller [Thu, 28 Jun 2012 13:52:42 +0000 (15:52 +0200)]
model-checker : get fragment number like in realloc function

11 years agoReindent.
Arnaud Giersch [Wed, 27 Jun 2012 09:16:50 +0000 (11:16 +0200)]
Reindent.

11 years agoUpdate changelog
Samuel Lepetit [Fri, 29 Jun 2012 12:23:46 +0000 (14:23 +0200)]
Update changelog

11 years agoMove a simcall doc from MSG to SIMIX
Samuel Lepetit [Fri, 29 Jun 2012 12:17:49 +0000 (14:17 +0200)]
Move a simcall doc from MSG to SIMIX

11 years agoAdd some doc for SIMIX reference guide
Samuel Lepetit [Fri, 29 Jun 2012 12:13:29 +0000 (14:13 +0200)]
Add some doc for SIMIX reference guide

11 years agoFix issues in documentation
Samuel Lepetit [Fri, 29 Jun 2012 11:42:45 +0000 (13:42 +0200)]
Fix issues in documentation

11 years agoUse msg_error_t instead of MSG_error_t
Samuel Lepetit [Fri, 29 Jun 2012 10:01:07 +0000 (12:01 +0200)]
Use msg_error_t instead of MSG_error_t

11 years agoUse msg_gpu_task_t instead of m_gpu_task_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

11 years agoUse msg_task_t instead of m_task_t
Samuel Lepetit [Fri, 29 Jun 2012 09:39:13 +0000 (11:39 +0200)]
Use msg_task_t instead of m_task_t

11 years agoUse msg_host_t instead of m_host_t.
Samuel Lepetit [Fri, 29 Jun 2012 09:26:47 +0000 (11:26 +0200)]
Use msg_host_t instead of m_host_t.

11 years agoUse msg_process_t instead of m_process_t
Samuel Lepetit [Fri, 29 Jun 2012 09:14:43 +0000 (11:14 +0200)]
Use msg_process_t instead of m_process_t

11 years agoUpdate tesh files with process autorestart.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Update tesh files with process autorestart.

11 years agoAdd "output sort" in tesh files.
Arnaud Giersch [Fri, 29 Jun 2012 07:03:48 +0000 (09:03 +0200)]
Add "output sort" in tesh files.

11 years agoClean CMakeLists.txt in examples/smpi.
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.