Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 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
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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 years agotypo
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

9 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

9 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

9 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

9 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

9 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

9 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

9 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

9 years agoalign detection of lua in autotools with what's done in cmake
mquinson [Wed, 5 May 2010 21:38:20 +0000 (21:38 +0000)]
align detection of lua in autotools with what's done in cmake

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

9 years agoNew module: mmalloc (mapped malloc)
mquinson [Wed, 5 May 2010 21:38:00 +0000 (21:38 +0000)]
New module: mmalloc (mapped malloc)

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

9 years agoNew data container: setset (set of sets of elements)
mquinson [Wed, 5 May 2010 16:12:31 +0000 (16:12 +0000)]
New data container: setset (set of sets of elements)

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

9 years agoBug fix in xbt_dynar_shrink(): use the right element size
mquinson [Wed, 5 May 2010 16:12:29 +0000 (16:12 +0000)]
Bug fix in xbt_dynar_shrink(): use the right element size

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

9 years agoNew function: xbt_fifo_get_last_item()
mquinson [Wed, 5 May 2010 16:12:26 +0000 (16:12 +0000)]
New function: xbt_fifo_get_last_item()

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

9 years agoNew function: xbt_dict_cursor_set_data()
mquinson [Wed, 5 May 2010 16:12:23 +0000 (16:12 +0000)]
New function: xbt_dict_cursor_set_data()

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

9 years agoupdate the release number in autotools
mquinson [Wed, 5 May 2010 14:42:40 +0000 (14:42 +0000)]
update the release number in autotools

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

9 years agoa script to build a zip archive of the windows port of the java bindings by cross...
mquinson [Wed, 5 May 2010 14:42:37 +0000 (14:42 +0000)]
a script to build a zip archive of the windows port of the java bindings by cross-compilation. Style somehow crude, but works for me

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

9 years agoTry to be compatible with mac command.
navarrop [Wed, 5 May 2010 14:16:28 +0000 (14:16 +0000)]
Try to be compatible with mac command.

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

9 years agoCleanup.
pini [Wed, 5 May 2010 13:25:44 +0000 (13:25 +0000)]
Cleanup.

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

9 years agoChange way to find lib ruby name.
navarrop [Wed, 5 May 2010 11:49:37 +0000 (11:49 +0000)]
Change way to find lib ruby name.

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

9 years agoDelete bug if disable lua.
navarrop [Wed, 5 May 2010 08:14:59 +0000 (08:14 +0000)]
Delete bug if disable lua.

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

9 years agocorrect a small glitch in the example
suter [Tue, 4 May 2010 14:29:50 +0000 (14:29 +0000)]
correct a small glitch in the example
the recv should display the finish time of the task in the trace, not
the start time

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

9 years agoPrepare the new version 3.4.2
navarrop [Tue, 4 May 2010 14:21:04 +0000 (14:21 +0000)]
Prepare the new version 3.4.2

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

9 years agoVersion 3.4.1
navarrop [Tue, 4 May 2010 14:13:59 +0000 (14:13 +0000)]
Version 3.4.1

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

9 years agoCosmetics for release 3.4.1
navarrop [Tue, 4 May 2010 13:54:53 +0000 (13:54 +0000)]
Cosmetics for release 3.4.1

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

9 years agoCorrect path for install ruby. New version.
navarrop [Tue, 4 May 2010 13:35:44 +0000 (13:35 +0000)]
Correct path for install ruby. New version.

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

9 years agoprepare for the release of 3.4.1
mquinson [Tue, 4 May 2010 13:21:38 +0000 (13:21 +0000)]
prepare for the release of 3.4.1

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

9 years agoFix a bug occuring when a host involved in a communication fails
mquinson [Tue, 4 May 2010 13:10:31 +0000 (13:10 +0000)]
Fix a bug occuring when a host involved in a communication fails

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

9 years agoCorrection of compilation flags
navarrop [Tue, 4 May 2010 12:35:25 +0000 (12:35 +0000)]
Correction of compilation flags

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

9 years agoRemove cp -p.
navarrop [Tue, 4 May 2010 12:16:55 +0000 (12:16 +0000)]
Remove cp -p.

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

9 years agoAdd modifications concerning cmake for simgrid v3.4.1
navarrop [Tue, 4 May 2010 11:51:17 +0000 (11:51 +0000)]
Add modifications concerning cmake for simgrid v3.4.1

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

9 years agoMAJ de la faq.
navarrop [Tue, 4 May 2010 11:44:11 +0000 (11:44 +0000)]
MAJ de la faq.

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

9 years agoObey the control-flow dependencies of DAX files
mquinson [Tue, 4 May 2010 10:25:32 +0000 (10:25 +0000)]
Obey the control-flow dependencies of DAX files

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

9 years agoAdd a warning if the DAX file contains loop dependencies in the data flow
mquinson [Tue, 4 May 2010 10:25:29 +0000 (10:25 +0000)]
Add a warning if the DAX file contains loop dependencies in the data flow

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