Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
12 years agoGenerate tests for memcheck.
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

12 years agoDisable make test if memcheck, now make memcheck tests.
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

12 years agoChange perl script for valgrind path.
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

12 years agoTest if valgrind is found for enable memcheck.
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

12 years agotricky way to bypass XML parser and setup the environment from lua code
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

12 years agoAdd a path to smpicc for find libsimgrid.
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

12 years agoMake to file in project_directory for the moment.
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

12 years agoCosmetics and generate lib links for bindings correctely.
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

12 years agoAnd path to testing progams too.
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

12 years agoChanges path to find cmake files.
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

12 years agoReorganize cmake directory.
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

12 years agoImprove support for WaitAny transitions, not usable yet but closer.
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

12 years agoRework MC transition interception/creation. Now it is more modular.
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

12 years agoCompile fix, size_t != int in 64 bits
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

12 years agoAdd stdarg.h for va_list.
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

12 years agoCosmetics and again windows compilation.
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

12 years agobug fixes: correct use of xbt dictionaries and arrays
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

12 years agocorrect duplication of a variable
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

12 years agofix a bunch of issues found by make distcheck
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

12 years agoDelete error in windows.
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

12 years agoAgain for windows.
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

12 years agoPrepare to windows.
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

12 years agoKill old README, now in the FAQ.
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

12 years agoBe compatible with all plateforms.
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

12 years agoRename some variales and cosmetics.
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

12 years agoGenerate files correctely with gras_stub_generator.
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

12 years agoFix problem on merge from svn
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

12 years agoImport portability macro in mmalloc
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

12 years agoImport portability macros in mmalloc
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

12 years agoOngoing work to port GRAS to smx_network. Not working yet
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

12 years agoAdd option enable_modele-checking.
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

12 years agoClean old command install-simgrid.
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

12 years agoPrint install doc IGNORED if it is necessary.
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

12 years agoThis commit 590f9c7e65ce6a64705272d79443599877d5cb72 add a segfault to compilation.
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

12 years agoDamn, once again, I forgot do document my changes
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

12 years agoA working 'make install' target
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

12 years agofurther cleanups to the cmake files. We now have a manual but properly working 'make...
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

12 years agoDocument last changes
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

12 years agoLittle cleanups to the install target. Still a long way to go, unfortunately
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

12 years agoinstall MSG_colorize.pl under the name simgrid-colorizer
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

12 years agoInstall the libraries carefully so that we have a link from .so to .so.version
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

12 years agoRebuild the jar file only on need. The examples are still always rebuilt on make...
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

12 years agoInitial FAQ section for using the model-checking mode.
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

12 years agoAdd dead-lock detection to MC
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

12 years agoImprove comments on examples
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

12 years agoAdd new example: "Shared buffer between asynchronous receives".
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

12 years agoImprove independence detection of transitions (more reduction of state space)
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

12 years agoBugfix: Do not copy the communication data in the model-checker's main loop, it is...
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

12 years agoNo error if there is no file into doc/html.
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

12 years agoAdd verification before install doc. Cosmetics.
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

12 years agoFree MC memory on exit SVN
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

12 years agoBugfix: destroy all the sets when destroying a setset data structure.
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

12 years agoBugfix: delete the set of created transitions, otherwise we leak a lot of memory
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

12 years agoBugfix: do not assume that the object still exists when removing an element, it might...
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

12 years agoBugfix: delete the tasks after using them
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

12 years agoBugfix: fix memory leak related to transition creation/destruction. Instead of using...
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

12 years agoBugfix:delete unused variables in order to compile
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

12 years agoAdd new example to test MC_random function
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

12 years agoAdd int MC_random(int min, int max) function that will make the model-checker to...
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

12 years agoAdd a small example for SD_workstation_get_current_task
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

12 years agoAdd a SD_workstation_get_current_task function
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

12 years agoIn SD_SEQUENTIAL_ACCESS_MODE, when we check if all the involved
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

12 years agoMSG_task_isend/irecv and MSG_comm_test/wait added in a rush (not quite tested, not...
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

12 years agoImprove error message since this can also be caused by the fact that there is no...
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

12 years agoImprove the transition's dependence detection in MC
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

12 years agoDo not use the src_buff and dst_buff to flag that the communication's data was copied...
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

12 years agoDelay the copy of the data of the communication actions until one of the peers calls...
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

12 years agoBugfix: make mmalloc build in x64
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

12 years agofactorize error testing in waitany with the one done in wait (actually performed...
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

12 years agoThe mallocators of dict and fifo are created in pre-init, ie before we know whether...
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

12 years agoBugfix: initialize the model checker memory subsystem after parsing the configuration
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

12 years agoThe eager limit size itself is part of the RDV protocol.
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

12 years agoEnable mac compilation with MMAP.
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

12 years agowell, yes, we need to distribute mmalloc.h (even if I typed its path wrong the first...
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

12 years agonew option to any SimGrid-based simulator: --cfg=model-check:1 (for now, that's a...
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

12 years agoAdd mc bins to ignored files.
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

12 years agoAdd tests for msg/mc.
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

12 years agoAdd all needs to include mc with cmake.
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

12 years agonow that mmalloc doesn't break tesh anymore nor nothing visible, enable the legacy...
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

12 years agoDamnit malek. In C, arguments are passed by value, not by address. That's an undergra...
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

12 years agocosmetics (kill unused var, and kill/improve debug outputs)
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

12 years agolet malloc(0) work (and kill debug outputs)
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

12 years agoDo not share anonymous pages accross forks, damnit. You now it will break tesh
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

12 years agoFight for better integration of mmalloc, mc and xbt
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

12 years agoImprove the integration of mmalloc and mc_memory into the mess.
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

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

12 years agoStupid me, xbt_init is called by each GRAS process
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

12 years agoLet xbt_exit() issue a warning stating that this is now a no-op
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

12 years agoUse library init/fini functions for xbt initialization
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

12 years agoSome MSG examples mainly useful to test the model-checker
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

12 years agoignore binaries in examples of tracing
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

12 years agoWe are preparing v3.5
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

12 years agoLet's still pass the tests with mmalloc and MC in the library
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

12 years agotypo
mquinson [Wed, 5 May 2010 23:15:44 +0000 (23:15 +0000)]

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7702 48e7efb5-ca39-0410-a469-dd3cf9ba447f

12 years agoAdd the model-checker to the build tree. It's not used yet
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

12 years agoUnify the copyright headers of mmalloc with the rest of the library
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

12 years agochange mmalloc.h into a public header
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

12 years agoWe don't intend to support pre-ansi platforms, so cleanup mmalloc code
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

12 years agoAdd mmalloc to cmake
mquinson [Wed, 5 May 2010 21:39:21 +0000 (21:39 +0000)]
Add mmalloc to cmake

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7697 48e7efb5-ca39-0410-a469-dd3cf9ba447f

12 years agoAdd setset to cmake build chain
mquinson [Wed, 5 May 2010 21:39:01 +0000 (21:39 +0000)]
Add setset to cmake build chain

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7696 48e7efb5-ca39-0410-a469-dd3cf9ba447f

12 years agoUpdate mmalloc to compile with paranoid flags used in simgrid
mquinson [Wed, 5 May 2010 21:38:41 +0000 (21:38 +0000)]
Update mmalloc to compile with paranoid flags used in simgrid

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7695 48e7efb5-ca39-0410-a469-dd3cf9ba447f