navarrop [Tue, 18 Jan 2011 14:08:54 +0000 (14:08 +0000)]
Update documentation since v3.5
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9428
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 Jan 2011 10:27:17 +0000 (10:27 +0000)]
don't use lock file to protect against parallel invocation anymore
Makefiles were changed a while ago to avoid parallel invocation at the
source, and this protections are useless and dangerous on some broken
NFS, for example.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9427
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 Jan 2011 10:27:13 +0000 (10:27 +0000)]
cosmetics
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9426
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Tue, 18 Jan 2011 10:07:54 +0000 (10:07 +0000)]
commiting some more automatic source patching stuff, and renamed some of the
macros for purely arbitrary aesthetic reasons. Eventually this all needs to
cleanly rolled into smpicc, but for now we're just testing and don't want to
break anyting...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9425
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Mon, 17 Jan 2011 15:54:07 +0000 (15:54 +0000)]
Access to SIMIX data without resorting to a request (and thus do not rely specifically on thread context in SMPI).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9424
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Mon, 17 Jan 2011 14:31:31 +0000 (14:31 +0000)]
Chord: give some options at runtime
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9423
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 14:10:51 +0000 (14:10 +0000)]
put var name back in macro calls...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9422
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 13:49:56 +0000 (13:49 +0000)]
hey, figured out how to change vars to pointers without cocci complaining...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9421
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Mon, 17 Jan 2011 13:30:30 +0000 (13:30 +0000)]
Added include file with macro definitions for coccinelle-generated code.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9420
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 13:23:07 +0000 (13:23 +0000)]
oh, hey, got everything but the array initializers now...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9419
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 13:19:32 +0000 (13:19 +0000)]
okay, this version should work now.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9418
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Mon, 17 Jan 2011 11:27:39 +0000 (11:27 +0000)]
Change the type of globals to pointer-of-the-type.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9417
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Mon, 17 Jan 2011 10:44:24 +0000 (10:44 +0000)]
Chord: add a large deployment file and a script to generate it
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9416
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 08:07:54 +0000 (08:07 +0000)]
okay, semantic patches mostly doing what is probably the right thing, the next
order of business is to work on the #defines...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9415
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
markls [Mon, 17 Jan 2011 07:57:19 +0000 (07:57 +0000)]
added replace globals cocci patch to repository
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9414
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Fri, 14 Jan 2011 12:35:01 +0000 (12:35 +0000)]
Chord: add a deployment file with 90 nodes and fix some bugs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9413
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Fri, 14 Jan 2011 12:34:59 +0000 (12:34 +0000)]
Don't store user pointers
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9412
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Fri, 14 Jan 2011 07:34:14 +0000 (07:34 +0000)]
The output of this test has changed after r9407
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9411
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 13 Jan 2011 15:25:37 +0000 (15:25 +0000)]
This test was not out of source.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9410
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 13 Jan 2011 15:15:10 +0000 (15:15 +0000)]
Add test for cluster tag with state_file and availability_file.
Can now add state file and availability file with regex.
For example :
state_file="${prefix}${radical}_state_file.trace"
availability_file="${prefix}${radical}_availability_file.trace"
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9409
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 13 Jan 2011 15:15:09 +0000 (15:15 +0000)]
Set gtnets sources as fragile sources for simgrid cause they are *.cc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9408
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 13 Jan 2011 14:14:06 +0000 (14:14 +0000)]
Now tag config is available.
See teshsuite/simdag/platfroms/properties.xml for use it.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9407
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 13 Jan 2011 14:14:04 +0000 (14:14 +0000)]
Remove supernovae files with make clean.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9406
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:47:57 +0000 (17:47 +0000)]
Revert "Fix memory leak in xbt_str_split_quoted."
or "On the risk of waiting too long before commiting pending patches."
This reverts commit
a122c7adb6b296162c5f5297531902525a675861 (9403).
This was already fixed in the middle of commit 9233.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9405
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:19 +0000 (17:08 +0000)]
Remove redundant call to git svn info.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9404
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:16 +0000 (17:08 +0000)]
Fix memory leak in xbt_str_split_quoted.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9403
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:13 +0000 (17:08 +0000)]
Fix debugging message.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9402
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:09 +0000 (17:08 +0000)]
Fix parameter passing through makecontext (again).
Use an union to avoid risky binary operations such as shift or cast with
signed ints.
For example on x86_64 arch, address 0x00007f89d445e010 was recomputed as
0xffffffffd445e010, because (uintptr_t)(int)0xd445e010 is 0xffffffffd445e010,
thanks to sign extension.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9401
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:06 +0000 (17:08 +0000)]
MSG_mailbox_create does not exist anymore.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9400
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
agiersch [Wed, 12 Jan 2011 17:08:03 +0000 (17:08 +0000)]
Fix installation of smpif.h.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9399
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Wed, 12 Jan 2011 14:20:20 +0000 (14:20 +0000)]
Don't try forever to join the Chord ring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9398
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Wed, 12 Jan 2011 14:20:19 +0000 (14:20 +0000)]
Check a parameter
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9397
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 12 Jan 2011 07:58:23 +0000 (07:58 +0000)]
current version (maybe 30 or 40% done) of our spatching file
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9396
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 11 Jan 2011 13:30:36 +0000 (13:30 +0000)]
Bugfix: no longer post a request in the clean up function.
Assume the process being killed is "self".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9395
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 11 Jan 2011 13:30:33 +0000 (13:30 +0000)]
Improve debug information
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9394
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 11 Jan 2011 11:27:29 +0000 (11:27 +0000)]
Use full path for prefix.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9393
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 11 Jan 2011 11:27:29 +0000 (11:27 +0000)]
Update perl script for generate memcheck test with new tesh.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9392
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 11 Jan 2011 11:27:28 +0000 (11:27 +0000)]
Cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9391
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Mon, 10 Jan 2011 14:09:28 +0000 (14:09 +0000)]
Define smx_current_context only once to make the linker happy
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9390
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 10 Jan 2011 12:00:15 +0000 (12:00 +0000)]
Out of sources build for those examples.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9389
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 10 Jan 2011 11:41:29 +0000 (11:41 +0000)]
Don't remove files from svn sources.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9388
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 10 Jan 2011 10:32:35 +0000 (10:32 +0000)]
Add new tests.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9387
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 10 Jan 2011 10:32:34 +0000 (10:32 +0000)]
Cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9386
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 10 Jan 2011 10:32:33 +0000 (10:32 +0000)]
Update pipol scripts
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9385
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Fri, 7 Jan 2011 16:54:28 +0000 (16:54 +0000)]
Force use of thread contexts when running fortran code.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9384
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Fri, 7 Jan 2011 16:54:18 +0000 (16:54 +0000)]
Locally store the process rank.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9383
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Fri, 7 Jan 2011 16:54:16 +0000 (16:54 +0000)]
Check if the pointer is writable.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9382
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 7 Jan 2011 08:23:58 +0000 (08:23 +0000)]
Small bugfixes to stabilize the MC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9381
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 7 Jan 2011 08:23:56 +0000 (08:23 +0000)]
Bugfix: the result of waitany calls should be determined by SIMIX_comm_finish
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9380
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 14:30:52 +0000 (14:30 +0000)]
Need to remove option and not free cause it is also
free by "xbt_dict_free((xbt_dict_t *) cfg)" in config.c
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9379
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 13:09:00 +0000 (13:09 +0000)]
Remove unused variables.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9378
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 12:44:48 +0000 (12:44 +0000)]
Test if the config name is "simix/context" is better.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9377
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 12:36:48 +0000 (12:36 +0000)]
Need to passe this line in debug due to cfg = raw, thread or ucontext in tests.
One tesh file for 3 configurations.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9376
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 12:36:47 +0000 (12:36 +0000)]
Add an option to tesh : --cfg
examples:
ADD_TEST(msg-icomms-raw tesh --cfg simix/context:raw
--setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/msg/icomms
--cd ${CMAKE_BINARY_DIR}/examples/msg/icomms
${CMAKE_HOME_DIRECTORY}/examples/msg/icomms/peer.tesh)
ADD_TEST(msg-icomms-thread tesh --cfg simix/context:thread
--setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/msg/icomms
--cd ${CMAKE_BINARY_DIR}/examples/msg/icomms
${CMAKE_HOME_DIRECTORY}/examples/msg/icomms/peer.tesh)
ADD_TEST(msg-icomms-ucontext tesh --cfg simix/context:ucontext
--setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/msg/icomms
--cd ${CMAKE_BINARY_DIR}/examples/msg/icomms
${CMAKE_HOME_DIRECTORY}/examples/msg/icomms/peer.tesh)
We can give many cfg to tesh.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9375
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 10:23:32 +0000 (10:23 +0000)]
generate sources into CMAKE_CURRENT_BINARY_DIR.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9374
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 10:23:31 +0000 (10:23 +0000)]
Need this lines because when using gtnets, the libgtnets make a libc malloc
so we can't do a mfree after.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9373
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 10:23:30 +0000 (10:23 +0000)]
Update tesh for mc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9372
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 6 Jan 2011 10:23:29 +0000 (10:23 +0000)]
Suppress warning of cmake in mac.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9371
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Thu, 6 Jan 2011 10:13:36 +0000 (10:13 +0000)]
We have to somehow rely on F2C if we want it.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9370
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Wed, 5 Jan 2011 18:11:39 +0000 (18:11 +0000)]
Added support for sampling up to a given number of iterations or until a threshold on relative standard error is reached (whichever occurs first). Use negative values to disable.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9369
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 5 Jan 2011 18:09:01 +0000 (18:09 +0000)]
[trace] updating process migration tracing tesh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9368
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 5 Jan 2011 18:09:00 +0000 (18:09 +0000)]
[trace] process category is deprecated (for now, at least)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9367
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 5 Jan 2011 18:08:58 +0000 (18:08 +0000)]
[trace] using process name and PID as identification for user when tracing/msg/process:1
details:
- process categorization is deprecated (simpler
instrumentation to try to make model-checking possible)
- simpler instrumentation == all process being traced
when tracing/msg/process:1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9366
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 5 Jan 2011 18:08:52 +0000 (18:08 +0000)]
[trace] unique id's for types and containers have to be handled by respective "new" functions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9365
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 5 Jan 2011 16:32:19 +0000 (16:32 +0000)]
Cosmetics
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9364
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 5 Jan 2011 15:46:13 +0000 (15:46 +0000)]
Can compile out of source now.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9363
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 5 Jan 2011 15:22:42 +0000 (15:22 +0000)]
Destroy mutex and condition.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9362
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 5 Jan 2011 13:57:46 +0000 (13:57 +0000)]
Remove old comments.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9361
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 5 Jan 2011 13:56:25 +0000 (13:56 +0000)]
Test if having futex.h.
If it's not present use xbt_os_thread.h
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9360
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 5 Jan 2011 09:08:13 +0000 (09:08 +0000)]
[trace] clean-up tracing ctests
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9359
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 5 Jan 2011 09:02:47 +0000 (09:02 +0000)]
Add suport for TestAny and WaitAny requests to the model-checker.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9358
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 5 Jan 2011 09:02:45 +0000 (09:02 +0000)]
Bugfix: killall should execute all processes after killing them in order to let them clean up.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9357
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 5 Jan 2011 09:02:34 +0000 (09:02 +0000)]
Rework state's implementation to better support waitany and testany type of transitions
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9356
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 5 Jan 2011 09:02:32 +0000 (09:02 +0000)]
Replace the setsets in the MC's states by malloced arrays.
In the case that a process has multiple transitions enabled
(like when executing a waitany request) the process should be
several times in the interleave set, so we need multisets, and
the setsets are useless.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9355
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Tue, 4 Jan 2011 14:36:24 +0000 (14:36 +0000)]
Fix SMPI scripts against the target directory
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9352
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Tue, 4 Jan 2011 14:13:57 +0000 (14:13 +0000)]
Still working on Chord
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9351
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
thiery [Tue, 4 Jan 2011 14:13:55 +0000 (14:13 +0000)]
Add a debug message
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9350
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 14:49:19 +0000 (14:49 +0000)]
[trace] updating tracing tesh'es to check correct container destruction order
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9349
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 14:49:18 +0000 (14:49 +0000)]
[trace] improved example of traced migration
details:
- more migrations
- set task category to see states and links of task send/receive/execute
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9348
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 14:49:17 +0000 (14:49 +0000)]
[trace] tracing/msg/process:1 has states/links for task execute/send/receive
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9347
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 14:49:15 +0000 (14:49 +0000)]
[trace] dump *before* destroy container, correct trace file
details:
- unconditional dump when any container is destroyed
- this is needed in order to create a consistent trace
for process migration and task gantt-chart
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9346
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 14:49:13 +0000 (14:49 +0000)]
[trace] setting the process state to "executing" after migration
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9345
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 12:30:34 +0000 (12:30 +0000)]
[trace] faster method to insert into buffer
details:
- insert directly at the end if last event has
the same timestamp as the event to be inserted
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9344
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 12:30:32 +0000 (12:30 +0000)]
[trace] updating tesh'es to unconditional buffer dump after platform parsing
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9343
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 12:30:31 +0000 (12:30 +0000)]
[trace] faster method to dump when unconditional dump to trace file is possible
details:
- if force == 1, no checks: dump and free all events
- specially useful for big platform files (such as g5k)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9342
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 11:43:16 +0000 (11:43 +0000)]
[trace] fix on tesh again, missing log lines
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9341
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Mon, 3 Jan 2011 10:30:15 +0000 (10:30 +0000)]
[trace] fixing the tesh to contain the proper log format
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9340
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 13:53:57 +0000 (13:53 +0000)]
[trace] simpler verifications to see what is enabled before tracing
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9339
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 13:53:56 +0000 (13:53 +0000)]
[trace] kill dictionary that is no longer necessary
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9338
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 12:44:08 +0000 (12:44 +0000)]
[trace] updating tracing tesh files to compare trace files also (and debug messages for ms.tesh)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9337
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 12:44:07 +0000 (12:44 +0000)]
[trace] debug messages for tracing data structures (creation and destruction)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9336
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 12:44:06 +0000 (12:44 +0000)]
[trace] debug messages for event buffering and tracing
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9335
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 12:44:05 +0000 (12:44 +0000)]
[trace] removing unused code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9334
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:04 +0000 (11:38 +0000)]
[trace] dump previous events because container is about to be destroyed
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9333
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:04 +0000 (11:38 +0000)]
[trace] cosmetics
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9332
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:03 +0000 (11:38 +0000)]
[trace] only CPU models control the last timestamp to be dumped to trace file
details:
- for CPU model Cas01_fullupdate, it is safe to set TRACE_last_timestamp_to_dump to now-delta
- for CPU model Cas01, the last timestamp to be dumped must be equal
to the smaller cpu->last_update among all cpu resources
- for now, network models depend on cpu models to dump their events
=> if a simulator is configured to have only a network model, without
an instrumented cpu model (or without a cpu model at all), the
dump will occur only in the end of simulation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9331
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:02 +0000 (11:38 +0000)]
[trace] dump the sorted buffer at the end of every simulation round
details:
- remember that this dump might do nothing if
the TRACE_last_timestamp_to_dump was not updated previously
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9330
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:01 +0000 (11:38 +0000)]
[trace] at the end of tracing, dump everything up to last simulated time
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9329
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Wed, 29 Dec 2010 11:38:00 +0000 (11:38 +0000)]
[trace] limiting the dumping of buffered events to a given timestamp
details:
- the given timestamp is the one of variable TRACE_last_timestamp_to_dump
- this allows a better control of the dumping, so the tracing system
can dump at the same time it assures a perfectly time-ordered trace file
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9328
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Tue, 28 Dec 2010 23:19:50 +0000 (23:19 +0000)]
[trace] have to dump the buffer, trace events might use the container that is about to be freed
details:
- this only affects simulators with process migration
- this might break the timestamps order in the trace file,
a better solution consists in cleaning out from the buffer
only the affected events
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9327
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
