cristianrosa [Wed, 26 May 2010 13:18:13 +0000 (13:18 +0000)]
Add MC support for processes with multiple enabled transitions per state
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7798
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 26 May 2010 13:18:07 +0000 (13:18 +0000)]
Bugfix: setset cursors were incorrectly implemented. Now they work fine.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7797
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 15:35:15 +0000 (15:35 +0000)]
MAJ FAQ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7796
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 14:29:28 +0000 (14:29 +0000)]
Generate tests for memcheck.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7795
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:57:28 +0000 (12:57 +0000)]
Disable make test if memcheck, now make memcheck tests.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7794
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:13:24 +0000 (12:13 +0000)]
Change perl script for valgrind path.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7793
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 25 May 2010 12:13:23 +0000 (12:13 +0000)]
Test if valgrind is found for enable memcheck.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7792
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
coldpeace [Fri, 21 May 2010 14:24:38 +0000 (14:24 +0000)]
tricky way to bypass XML parser and setup the environment from lua code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7791
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:39:17 +0000 (13:39 +0000)]
Add a path to smpicc for find libsimgrid.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7790
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:39:15 +0000 (13:39 +0000)]
Make to file in project_directory for the moment.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7789
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 13:01:34 +0000 (13:01 +0000)]
Cosmetics and generate lib links for bindings correctely.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7788
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:07 +0000 (09:15 +0000)]
And path to testing progams too.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7787
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:06 +0000 (09:15 +0000)]
Changes path to find cmake files.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7786
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 21 May 2010 09:15:01 +0000 (09:15 +0000)]
Reorganize cmake directory.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7785
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 21 May 2010 08:16:39 +0000 (08:16 +0000)]
Improve support for WaitAny transitions, not usable yet but closer.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7784
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 20 May 2010 14:29:43 +0000 (14:29 +0000)]
Rework MC transition interception/creation. Now it is more modular.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7783
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Thu, 20 May 2010 14:29:35 +0000 (14:29 +0000)]
Compile fix, size_t != int in 64 bits
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7782
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 20 May 2010 14:05:16 +0000 (14:05 +0000)]
Add stdarg.h for va_list.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7781
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Thu, 20 May 2010 13:53:34 +0000 (13:53 +0000)]
Cosmetics and again windows compilation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7780
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Thu, 20 May 2010 11:15:05 +0000 (11:15 +0000)]
bug fixes: correct use of xbt dictionaries and arrays
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7779
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
schnorr [Thu, 20 May 2010 11:15:04 +0000 (11:15 +0000)]
correct duplication of a variable
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7778
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 19 May 2010 18:38:12 +0000 (18:38 +0000)]
fix a bunch of issues found by make distcheck
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7777
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 16:19:48 +0000 (16:19 +0000)]
Delete error in windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7776
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 16:08:45 +0000 (16:08 +0000)]
Again for windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7775
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 15:25:13 +0000 (15:25 +0000)]
Prepare to windows.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7774
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 10:16:09 +0000 (10:16 +0000)]
Kill old README, now in the FAQ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7773
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Wed, 19 May 2010 10:12:20 +0000 (10:12 +0000)]
Be compatible with all plateforms.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7772
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 12:41:43 +0000 (12:41 +0000)]
Rename some variales and cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7771
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 12:05:41 +0000 (12:05 +0000)]
Generate files correctely with gras_stub_generator.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7770
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 18 May 2010 09:34:16 +0000 (09:34 +0000)]
Fix problem on merge from svn
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7769
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 18 May 2010 09:34:15 +0000 (09:34 +0000)]
Import portability macro in mmalloc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7768
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 09:28:00 +0000 (09:28 +0000)]
Import portability macros in mmalloc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7767
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 09:27:58 +0000 (09:27 +0000)]
Ongoing work to port GRAS to smx_network. Not working yet
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7766
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 09:15:00 +0000 (09:15 +0000)]
Add option enable_modele-checking.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7765
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 08:55:01 +0000 (08:55 +0000)]
Clean old command install-simgrid.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7764
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 07:44:04 +0000 (07:44 +0000)]
Print install doc IGNORED if it is necessary.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7763
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Tue, 18 May 2010 07:44:01 +0000 (07:44 +0000)]
This commit
590f9c7e65ce6a64705272d79443599877d5cb72 add a segfault to compilation.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7762
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 01:13:32 +0000 (01:13 +0000)]
Damn, once again, I forgot do document my changes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7761
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:57:12 +0000 (00:57 +0000)]
A working 'make install' target
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7760
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:56:51 +0000 (00:56 +0000)]
further cleanups to the cmake files. We now have a manual but properly working 'make dist' target.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7759
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Tue, 18 May 2010 00:56:30 +0000 (00:56 +0000)]
Document last changes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7758
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:15:02 +0000 (16:15 +0000)]
Little cleanups to the install target. Still a long way to go, unfortunately
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7757
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:15:00 +0000 (16:15 +0000)]
install MSG_colorize.pl under the name simgrid-colorizer
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7756
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:14:49 +0000 (16:14 +0000)]
Install the libraries carefully so that we have a link from .so to .so.version
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7755
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 17 May 2010 16:14:47 +0000 (16:14 +0000)]
Rebuild the jar file only on need. The examples are still always rebuilt on make all, but they are smaller and the jar was rebuilt even on make simgrid
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7754
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 14:29:54 +0000 (14:29 +0000)]
Initial FAQ section for using the model-checking mode.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7753
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 14:29:52 +0000 (14:29 +0000)]
Add dead-lock detection to MC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7752
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 12:25:51 +0000 (12:25 +0000)]
Improve comments on examples
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7751
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 12:25:48 +0000 (12:25 +0000)]
Add new example: "Shared buffer between asynchronous receives".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7750
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 09:05:26 +0000 (09:05 +0000)]
Improve independence detection of transitions (more reduction of state space)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7749
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 17 May 2010 09:05:21 +0000 (09:05 +0000)]
Bugfix: Do not copy the communication data in the model-checker's main loop, it is already done by the communication API.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7748
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 17 May 2010 08:25:56 +0000 (08:25 +0000)]
No error if there is no file into doc/html.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7747
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Mon, 17 May 2010 08:12:12 +0000 (08:12 +0000)]
Add verification before install doc. Cosmetics.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7746
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 14 May 2010 12:41:57 +0000 (12:41 +0000)]
Free MC memory on exit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7745
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Fri, 14 May 2010 12:41:54 +0000 (12:41 +0000)]
Bugfix: destroy all the sets when destroying a setset data structure.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7744
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 17:44:20 +0000 (17:44 +0000)]
Bugfix: delete the set of created transitions, otherwise we leak a lot of memory
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7743
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 17:44:16 +0000 (17:44 +0000)]
Bugfix: do not assume that the object still exists when removing an element, it might be already deleted by the user.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7742
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 17:44:12 +0000 (17:44 +0000)]
Bugfix: delete the tasks after using them
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7741
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Wed, 12 May 2010 09:11:08 +0000 (09:11 +0000)]
Bugfix: fix memory leak related to transition creation/destruction. Instead of using a reference count, associate the transitions to the state that creates them, and delete them only when deleting that state.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7739
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 11 May 2010 15:46:57 +0000 (15:46 +0000)]
Bugfix:delete unused variables in order to compile
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7738
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 11 May 2010 15:42:38 +0000 (15:42 +0000)]
Add new example to test MC_random function
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7737
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Tue, 11 May 2010 15:42:33 +0000 (15:42 +0000)]
Add int MC_random(int min, int max) function that will make the model-checker to explore all possible return values of the functions. The possible return values are integers in the range between min and max
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7736
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Mon, 10 May 2010 20:13:27 +0000 (20:13 +0000)]
Add a small example for SD_workstation_get_current_task
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7735
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Mon, 10 May 2010 20:11:02 +0000 (20:11 +0000)]
Add a SD_workstation_get_current_task function
returns the currently executed task in the SD_SEQUENTIAL_ACCESSED_MODE
Then it's easy to get the kind of this task with SD_task_get_kind
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7734
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
suter [Mon, 10 May 2010 20:08:58 +0000 (20:08 +0000)]
In SD_SEQUENTIAL_ACCESS_MODE, when we check if all the involved
workstation are busy or not, it is better to not use only the last value
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7733
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 10 May 2010 14:53:27 +0000 (14:53 +0000)]
MSG_task_isend/irecv and MSG_comm_test/wait added in a rush (not quite tested, not documented at all yet)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7732
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 10 May 2010 14:53:25 +0000 (14:53 +0000)]
Improve error message since this can also be caused by the fact that there is no such registered agent (actions are not often used yet)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7731
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 10 May 2010 14:14:47 +0000 (14:14 +0000)]
Improve the transition's dependence detection in MC
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7730
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 10 May 2010 14:14:45 +0000 (14:14 +0000)]
Do not use the src_buff and dst_buff to flag that the communication's data was copied, they are usefull for MC. Use a new flag "copied".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7729
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 10 May 2010 12:14:21 +0000 (12:14 +0000)]
Delay the copy of the data of the communication actions until one of the peers calls SIMIX_network_test, SIMIX_network_wait or SIMIX_network_waitany.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7728
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Mon, 10 May 2010 09:53:19 +0000 (09:53 +0000)]
Bugfix: make mmalloc build in x64
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7727
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Mon, 10 May 2010 09:34:26 +0000 (09:34 +0000)]
factorize error testing in waitany with the one done in wait (actually performed by wait_for_completion)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7726
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Sat, 8 May 2010 14:32:49 +0000 (14:32 +0000)]
The mallocators of dict and fifo are created in pre-init, ie before we know whether to use MC. So, tell these guys to recreate their mallocators when switching to MC so that they really use a desactivated mallocator in that case
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7725
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
cristianrosa [Sat, 8 May 2010 14:29:22 +0000 (14:29 +0000)]
Bugfix: initialize the model checker memory subsystem after parsing the configuration
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7724
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
pini [Fri, 7 May 2010 15:55:38 +0000 (15:55 +0000)]
The eager limit size itself is part of the RDV protocol.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7723
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 7 May 2010 12:56:29 +0000 (12:56 +0000)]
Enable mac compilation with MMAP.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7722
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 09:37:29 +0000 (09:37 +0000)]
well, yes, we need to distribute mmalloc.h (even if I typed its path wrong the first time)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7721
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 09:37:18 +0000 (09:37 +0000)]
new option to any SimGrid-based simulator: --cfg=model-check:1 (for now, that's a perfect way to get a segfault)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7720
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 7 May 2010 09:30:01 +0000 (09:30 +0000)]
Add mc bins to ignored files.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7719
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 7 May 2010 09:30:00 +0000 (09:30 +0000)]
Add tests for msg/mc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7718
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
navarrop [Fri, 7 May 2010 08:58:59 +0000 (08:58 +0000)]
Add all needs to include mc with cmake.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7717
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 08:56:03 +0000 (08:56 +0000)]
now that mmalloc doesn't break tesh anymore nor nothing visible, enable the legacy function redefinition by default
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7716
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 08:55:53 +0000 (08:55 +0000)]
Damnit malek. In C, arguments are passed by value, not by address. That's an undergrad error...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7715
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 08:55:51 +0000 (08:55 +0000)]
cosmetics (kill unused var, and kill/improve debug outputs)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7714
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 08:55:40 +0000 (08:55 +0000)]
let malloc(0) work (and kill debug outputs)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7713
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Fri, 7 May 2010 08:55:39 +0000 (08:55 +0000)]
Do not share anonymous pages accross forks, damnit. You now it will break tesh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7712
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Thu, 6 May 2010 23:43:13 +0000 (23:43 +0000)]
Fight for better integration of mmalloc, mc and xbt
I wanted to move the legacy interception (ie, redefinition of
malloc/free/realloc) from mc to mmalloc, where it should be.
But it broke libgras, with memory curruption symptoms in tesh. I
thought that it was a race condition because mmalloc is not reentrent.
So, I protected the main functions with a xbt_os_mutex (and creating
it in the default heap was challenging since the mutex itself must be
in the heap, which is not ready yet).
But it didn't help: I still had the memory corruption symptoms in
tesh, inchanged. Maybe some system function get fucked up by the
mmalloc stuff?
So I decided to comment out the legacy interception from mmalloc for a
while (breaking mc, but who cares at this point?).
But the xbt_os_mutexes are not in libsimgrid since pthreads and
ucontextes didn't intermix well a few years ago. So, I changed the
corresponding stubs from "die loudly" to "do nothing". That's
dangerous (one could think he's protected by mutex when not), but I
need the EPR refactoring to sort it out correctly.
All this for... nothing. The legacy interception will still be in mc.
And I guess that mc must be in another library, not the simulation
one, if it does not intermix well with syscalls.
Well mmalloc is now a bit more thread-friendly, let's be positive.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7711
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Thu, 6 May 2010 23:42:51 +0000 (23:42 +0000)]
Improve the integration of mmalloc and mc_memory into the mess.
By default (ie, when passed a NULL mmalloc descriptor), mmalloc and
friends use a mmap based implementation (instead of the old, slow sbrk
one).
mc_memory makes sure that we pass something else than NULL as mmalloc
descriptor to mmalloc function only if the model-checker is used.
(the model-checker is not activable yet -- the integration is maybe
next commit)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7710
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Thu, 6 May 2010 23:42:30 +0000 (23:42 +0000)]
Stupid me, xbt_init is called by each GRAS process
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7709
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Thu, 6 May 2010 23:42:09 +0000 (23:42 +0000)]
Let xbt_exit() issue a warning stating that this is now a no-op
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7708
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Thu, 6 May 2010 23:41:44 +0000 (23:41 +0000)]
Use library init/fini functions for xbt initialization
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7707
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:17:06 +0000 (23:17 +0000)]
Some MSG examples mainly useful to test the model-checker
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7706
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:16:45 +0000 (23:16 +0000)]
ignore binaries in examples of tracing
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7705
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:16:25 +0000 (23:16 +0000)]
We are preparing v3.5
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7704
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:16:05 +0000 (23:16 +0000)]
Let's still pass the tests with mmalloc and MC in the library
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7703
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:15:44 +0000 (23:15 +0000)]
typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7702
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 23:15:21 +0000 (23:15 +0000)]
Add the model-checker to the build tree. It's not used yet
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7701
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 21:40:24 +0000 (21:40 +0000)]
Unify the copyright headers of mmalloc with the rest of the library
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7700
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 21:40:03 +0000 (21:40 +0000)]
change mmalloc.h into a public header
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7699
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
mquinson [Wed, 5 May 2010 21:39:42 +0000 (21:39 +0000)]
We don't intend to support pre-ansi platforms, so cleanup mmalloc code
by killing ansidecl.h and all the macro cruft of the source
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7698
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
