Martin Quinson [Tue, 5 Jun 2012 13:08:12 +0000 (15:08 +0200)]
avoid double free issues when on host failure+process run
Martin Quinson [Tue, 5 Jun 2012 09:47:45 +0000 (11:47 +0200)]
Bug fixes around the resource failures in Simix
don't let the processes survive the host they are running onto when
they were running something. The same kind of fix is probably due when
they are communicating or sleeping.
Martin Quinson [Tue, 5 Jun 2012 09:07:25 +0000 (11:07 +0200)]
do not hide issues
Arnaud Giersch [Mon, 4 Jun 2012 14:15:16 +0000 (16:15 +0200)]
Declare as "unsigned" bit fields used as boolean.
Signed bit fields of length 1 do not make much sense.
This is a followup for commit
1377c28e7b9f315616ee6fddc6baa755e0380e75.
Arnaud Giersch [Mon, 4 Jun 2012 14:07:51 +0000 (16:07 +0200)]
Cosmetics: align comment.
Arnaud Giersch [Mon, 4 Jun 2012 13:53:04 +0000 (15:53 +0200)]
Add missing includes.
Christophe Thiéry [Mon, 4 Jun 2012 12:59:13 +0000 (14:59 +0200)]
A boolean should be unsigned if you want to compare it to 1.
Without the "unsigned" keyword, the boolean could be either 0 or -1.
This made the Lua tests crash because of a condition "copied == 1".
This bug was introduced by commit
13b40eda ("make it clear that this is a
boolean field").
Marion Guthmuller [Sun, 3 Jun 2012 07:49:32 +0000 (09:49 +0200)]
model-checker : XBT_DEBUG replaced by XBT_INFO
Marion Guthmuller [Sun, 3 Jun 2012 07:46:45 +0000 (09:46 +0200)]
model-checker : new properties in promela for centralized_liveness examples
Marion Guthmuller [Sun, 3 Jun 2012 07:45:48 +0000 (09:45 +0200)]
model-checker : new examples
Marion Guthmuller [Sun, 3 Jun 2012 07:02:29 +0000 (09:02 +0200)]
model-checker : free pointers
Marion Guthmuller [Sun, 3 Jun 2012 07:00:48 +0000 (09:00 +0200)]
model-checker : free pointers
Marion Guthmuller [Sun, 3 Jun 2012 06:59:42 +0000 (08:59 +0200)]
model-checker : initialize pointer and update indice of search in heapinfo
Marion Guthmuller [Sat, 2 Jun 2012 20:35:14 +0000 (22:35 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Sat, 2 Jun 2012 15:03:35 +0000 (17:03 +0200)]
model-checker : free pointer
Marion Guthmuller [Sat, 2 Jun 2012 15:00:53 +0000 (17:00 +0200)]
model-checker : initialize pointers (segfault with free)
Marion Guthmuller [Sat, 2 Jun 2012 14:49:42 +0000 (16:49 +0200)]
model-checker : add pair's number in struct mc_pair_reached and prepare canonicalisation in comparison of regions
Marion Guthmuller [Sat, 2 Jun 2012 14:43:01 +0000 (16:43 +0200)]
model-checker : free pointers
Arnaud Giersch [Fri, 1 Jun 2012 21:18:25 +0000 (23:18 +0200)]
Undefine this terms, or supernovae build will fail.
Arnaud Giersch [Fri, 1 Jun 2012 20:53:45 +0000 (22:53 +0200)]
memcheck_tests: regenerate.
Marion Guthmuller [Fri, 1 Jun 2012 15:49:11 +0000 (17:49 +0200)]
model-checker : oops, about 3000 blocks unchecked in heap comparison algorithm ... stop condition changed
Marion Guthmuller [Fri, 1 Jun 2012 15:47:38 +0000 (17:47 +0200)]
model-checker : first work for canonicalisation (get memory area pointed, check if in std_heap)
Arnaud Giersch [Fri, 1 Jun 2012 15:17:33 +0000 (17:17 +0200)]
Use XBT_PARMAP_DEFAULT as default SIMIX parallel mode.
navarro [Fri, 1 Jun 2012 14:28:24 +0000 (16:28 +0200)]
Use default value core, state host value if empty
navarro [Fri, 1 Jun 2012 14:27:05 +0000 (16:27 +0200)]
Missing routing callback and creation of SIMIx and MSG hosts
Arnaud Giersch [Fri, 1 Jun 2012 14:29:40 +0000 (16:29 +0200)]
Don't run tests if facility not available.
unknown [Fri, 1 Jun 2012 12:00:13 +0000 (14:00 +0200)]
Functions RngStream must be XBT_PUBLIC for dll
unknown [Fri, 1 Jun 2012 11:59:48 +0000 (13:59 +0200)]
Declare nonfatal java in the package
unknown [Fri, 1 Jun 2012 10:23:12 +0000 (12:23 +0200)]
Cosmetics
2times include
unknown [Fri, 1 Jun 2012 10:22:53 +0000 (12:22 +0200)]
Add missing files to install on WIn
unknown [Fri, 1 Jun 2012 09:52:24 +0000 (11:52 +0200)]
Fix compilation on Windows with pthread.
Arnaud Giersch [Thu, 31 May 2012 16:02:44 +0000 (18:02 +0200)]
Use the correct variable to check for working ucontexts: CONTEXT_UCONTEXT
HAVE_UCONTEXT_H only tells us whether ucontext.h exists or not.
Christophe Thiéry [Thu, 31 May 2012 15:59:38 +0000 (17:59 +0200)]
Lua: fix an indentation bug in debug logs (the stack crashed)
Arnaud Giersch [Thu, 31 May 2012 15:43:33 +0000 (17:43 +0200)]
Don't lie about VCS.
Arnaud Giersch [Thu, 31 May 2012 15:36:50 +0000 (17:36 +0200)]
Also remove reference to variable ARGS in generate_memcheck_tests.pl.
Arnaud Giersch [Thu, 31 May 2012 15:17:54 +0000 (17:17 +0200)]
Remove usage of environment variable ARGS in tesh files.
It is nowadays never used, and such a generic name can be source of
problems (it could be defined for other purposes).
Arnaud Giersch [Thu, 31 May 2012 12:53:17 +0000 (14:53 +0200)]
Revert "Don't fail when backtrace() returns 0."
This reverts commit
944109bb21e5dc635a47813a2adff0e16305d9c9.
This commit is controversial, and was intended to fix build on systems
where backtrace exists, but returns 0.
The only known systems with such behavior are Debian on ARM (armel, armhf).
Another workaround is to compile with the -funwind-tables gcc option.
See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637360 for more information.
navarro [Wed, 30 May 2012 12:58:35 +0000 (14:58 +0200)]
Sorry for this.
navarro [Wed, 30 May 2012 11:37:02 +0000 (13:37 +0200)]
Don't change doxygen typo for \dontinclude
Samuel Lepetit [Wed, 30 May 2012 10:30:41 +0000 (12:30 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Samuel Lepetit [Wed, 30 May 2012 10:30:35 +0000 (12:30 +0200)]
Move RngStream to xbt (public)
Marion Guthmuller [Wed, 30 May 2012 10:04:22 +0000 (12:04 +0200)]
model-checker : remove unused variable CS_PER_PROCESS
navarro [Wed, 30 May 2012 09:38:26 +0000 (11:38 +0200)]
Remove custom_flags and use CFLAGS LDFLAGS
Martin Quinson [Wed, 30 May 2012 09:26:50 +0000 (11:26 +0200)]
update FSF address (thanks to debian's paranoid robots ;)
navarro [Wed, 30 May 2012 09:23:41 +0000 (11:23 +0200)]
Some typos in source code
Marion Guthmuller [Wed, 30 May 2012 09:04:59 +0000 (11:04 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
navarro [Wed, 30 May 2012 08:48:57 +0000 (10:48 +0200)]
Rewrite --setenv bindir
Cosmetics
Martin Quinson [Tue, 29 May 2012 21:29:30 +0000 (23:29 +0200)]
make it clear that this is a boolean field
Martin Quinson [Tue, 29 May 2012 21:19:02 +0000 (23:19 +0200)]
Improve an error message
There is good chances that the bug is in the user code (like calling
msg_comm_test twice or something similar), and there is nothing we can
do reliably from simgrid land if the user land builds such crap.
See also
https://gforge.inria.fr/tracker/index.php?func=detail&aid=14327&group_id=12&atid=165
Martin Quinson [Tue, 29 May 2012 15:03:13 +0000 (17:03 +0200)]
recommit my initial version of cloud stuff for 3.8. Hopefully with all files
Martin Quinson [Tue, 29 May 2012 13:43:59 +0000 (15:43 +0200)]
document Pierre's last change (thx for your work, pierre)
navarro [Tue, 29 May 2012 13:39:58 +0000 (15:39 +0200)]
Must have init MSG/SD/GRAS before using mutex
navarro [Tue, 29 May 2012 13:26:13 +0000 (15:26 +0200)]
Cosmetics
Marion Guthmuller [Tue, 29 May 2012 13:19:16 +0000 (15:19 +0200)]
model-checker : replace all XBT_DEBUG by XBT_INFO
navarro [Tue, 29 May 2012 12:53:13 +0000 (14:53 +0200)]
Remove wrong copy past
navarro [Tue, 29 May 2012 12:48:38 +0000 (14:48 +0200)]
Don't abort if process does not exist.
navarro [Tue, 29 May 2012 11:57:19 +0000 (13:57 +0200)]
Remove kill_time from MSG_process_create_with_environment
navarro [Tue, 29 May 2012 09:31:49 +0000 (11:31 +0200)]
Add MSG_process_set_kill_time
Martin Quinson [Sun, 27 May 2012 07:38:48 +0000 (09:38 +0200)]
there is no publication page in the in-tarball documentation anymore (kill dead code)
pierre [Fri, 25 May 2012 14:23:43 +0000 (16:23 +0200)]
Update script for mac
Arnaud Giersch [Fri, 25 May 2012 12:52:44 +0000 (14:52 +0200)]
Don't fail when backtrace() returns 0.
Arnaud Giersch [Fri, 25 May 2012 12:49:14 +0000 (14:49 +0200)]
Update next version to 3.8 on master branch.
Having two branches with the same version is confusing.
navarro [Fri, 25 May 2012 12:16:40 +0000 (14:16 +0200)]
Remove bindings CXX from Simgrid
navarro [Fri, 25 May 2012 11:10:40 +0000 (13:10 +0200)]
Add documentation for xbt_dict_foreach
navarro [Fri, 25 May 2012 09:18:24 +0000 (11:18 +0200)]
Those line are useless since this file is now deleted during the test.
navarro [Fri, 25 May 2012 09:14:54 +0000 (11:14 +0200)]
Remove Montage_25.jed after test
Martin Quinson [Thu, 24 May 2012 16:01:40 +0000 (18:01 +0200)]
here lucas: =<G>= (you deserve it). Closes #14324
Arnaud Giersch [Thu, 24 May 2012 14:06:49 +0000 (16:06 +0200)]
ChangeLog update.
navarro [Thu, 24 May 2012 14:19:09 +0000 (16:19 +0200)]
Take care of LDFLAGS
navarro [Thu, 24 May 2012 13:40:50 +0000 (15:40 +0200)]
Take care of CFLAGS in cmake
navarro [Thu, 24 May 2012 13:06:35 +0000 (15:06 +0200)]
Projet Iceberg to make OSX pkg.
Arnaud Giersch [Thu, 24 May 2012 11:21:52 +0000 (13:21 +0200)]
Break long lines in base files.
navarro [Thu, 24 May 2012 12:01:25 +0000 (14:01 +0200)]
Add this function to compile on mac.
Laurent Bobelin [Thu, 24 May 2012 10:33:30 +0000 (12:33 +0200)]
Modified base files in order to not refer anymore to the FAQ as the main doc source.
Martin Quinson [Thu, 24 May 2012 10:09:02 +0000 (12:09 +0200)]
dont include dot graphs on every page: they are redundent to our tab navigation stuff
suter [Thu, 24 May 2012 10:07:44 +0000 (12:07 +0200)]
correct doxygen error (forgot the parameter name in its description)
Laurent Bobelin [Thu, 24 May 2012 09:04:42 +0000 (11:04 +0200)]
Corrected trace doc and sligth modification in Distrib.cmake
Arnaud Giersch [Thu, 24 May 2012 08:52:30 +0000 (10:52 +0200)]
ChangeLog: add entry for version 3.8 on branch "master".
Also move changes that were not taken in branch "v3_7_x".
Arnaud Giersch [Thu, 24 May 2012 08:26:12 +0000 (10:26 +0200)]
Remove unused variables.
Marion Guthmuller [Thu, 24 May 2012 08:39:47 +0000 (10:39 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
Marion Guthmuller [Thu, 24 May 2012 08:39:35 +0000 (10:39 +0200)]
model-checker : reindent, no change
Marion Guthmuller [Thu, 24 May 2012 08:37:08 +0000 (10:37 +0200)]
model-checker : switch between data program and data libsimgrid for comparison of regions
Marion Guthmuller [Thu, 24 May 2012 08:34:51 +0000 (10:34 +0200)]
model-checker : fclose forgotten in get_memory_map_addr
Laurent Bobelin [Thu, 24 May 2012 07:10:24 +0000 (09:10 +0200)]
Removed some unused and out-of-date XML files, corrected some others in order to be really valid for an XML parser.
schnorr [Wed, 23 May 2012 21:59:54 +0000 (23:59 +0200)]
[trace] updating tesh's that check graph configuration correctness
schnorr [Wed, 23 May 2012 21:59:35 +0000 (23:59 +0200)]
[trace] more changes to adapt graph configuration to libconfig parsing rules
schnorr [Wed, 23 May 2012 21:03:34 +0000 (23:03 +0200)]
[trace] changing graph configuration generation to follow libconfig parsing rules
- and at the same time it is still compatible with the plist file format used today by Triva
Arnaud Giersch [Wed, 23 May 2012 16:14:22 +0000 (18:14 +0200)]
Remove unused variable: task.
Arnaud Giersch [Wed, 23 May 2012 16:11:11 +0000 (18:11 +0200)]
Update memcheck_tests.cmake.
suter [Wed, 23 May 2012 15:31:03 +0000 (17:31 +0200)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid
suter [Wed, 23 May 2012 15:30:24 +0000 (17:30 +0200)]
list SimDag additions
Arnaud Giersch [Wed, 23 May 2012 15:22:00 +0000 (17:22 +0200)]
Revert "Give vriable APPLE if on mac"
This reverts commit
119fc53fcce0f13ecbfe9d3d9e43ec4733066d6f.
suter [Wed, 23 May 2012 15:20:57 +0000 (17:20 +0200)]
update and simplify the test of sequential access mode and test
SD_workstation_dump
update tesh file accordingly
Arnaud Giersch [Wed, 23 May 2012 15:20:02 +0000 (17:20 +0200)]
Cannot use a variable defined on command line here.
It won't work with user code (unless the user defines the same variable).
Use a variable known to be defined by gcc on macs.
suter [Wed, 23 May 2012 15:19:50 +0000 (17:19 +0200)]
slight change to the dump function
Arnaud Giersch [Wed, 23 May 2012 14:59:40 +0000 (16:59 +0200)]
Update ChangeLog for 3.7.1.
navarro [Wed, 23 May 2012 14:45:41 +0000 (16:45 +0200)]
Give vriable APPLE if on mac
navarro [Wed, 23 May 2012 14:42:31 +0000 (16:42 +0200)]
Fix configure warning on mac
suter [Wed, 23 May 2012 14:31:21 +0000 (16:31 +0200)]
add a SD_workstation_dump function (not tested yet)
Arnaud Giersch [Wed, 23 May 2012 14:22:00 +0000 (16:22 +0200)]
Apparently, constructor priorities are not supported on Macs.