Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
5 years agoDisable parallel executions with non-thread contexts under Tsan.
Arnaud Giersch [Mon, 24 Sep 2018 09:03:37 +0000 (11:03 +0200)]
Disable parallel executions with non-thread contexts under Tsan.

Raw/boot/sysv contexts lead to incomprehensible errors (segmentation fault, timeout).

5 years agoRestore CMDARGS before LINKARGS (commit 11c619824e2acd338705a14680d99aaad4b80506).
Arnaud Giersch [Mon, 24 Sep 2018 07:51:35 +0000 (09:51 +0200)]
Restore CMDARGS before LINKARGS (commit 11c619824e2acd338705a14680d99aaad4b80506).

It was breaking smpi_ampi and smpi_replay under TSAN.
Remove redundant -std=gnu++11 from LINKARGS, so that it can be overridden on command line.

5 years agoAllow dlopen privatization with Tsan too.
Arnaud Giersch [Fri, 21 Sep 2018 13:36:57 +0000 (15:36 +0200)]
Allow dlopen privatization with Tsan too.

5 years agoRTLD_DEEPBIND is not supported by sanitizers.
Arnaud Giersch [Fri, 21 Sep 2018 13:35:41 +0000 (15:35 +0200)]
RTLD_DEEPBIND is not supported by sanitizers.

5 years agoDefine HAVE_SANITIZER_THREAD.
Arnaud Giersch [Mon, 24 Sep 2018 07:04:37 +0000 (09:04 +0200)]
Define HAVE_SANITIZER_THREAD.

5 years agoCosmetic rename.
Arnaud Giersch [Mon, 24 Sep 2018 07:02:52 +0000 (09:02 +0200)]
Cosmetic rename.

5 years agoCosmetics: use cmakedefine01.
Arnaud Giersch [Fri, 21 Sep 2018 13:16:04 +0000 (15:16 +0200)]
Cosmetics: use cmakedefine01.

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Sun, 23 Sep 2018 23:38:59 +0000 (01:38 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoconvert options to sphinx
Martin Quinson [Sun, 23 Sep 2018 23:34:11 +0000 (01:34 +0200)]
convert options to sphinx

Gosh that was a painful week-end.

5 years agolet's not use useless casts
Augustin Degomme [Sun, 23 Sep 2018 16:24:00 +0000 (18:24 +0200)]
let's not use useless casts

5 years agoreturn the correct value in MPI_get_attr and friends in fortran instead of a random...
Augustin Degomme [Sat, 22 Sep 2018 22:25:38 +0000 (00:25 +0200)]
return the correct value in MPI_get_attr and friends in fortran instead of a random pointer value

5 years agopass linkargs before cmdargs to avoid overriding a potential -std argument
Augustin Degomme [Fri, 21 Sep 2018 15:05:20 +0000 (17:05 +0200)]
pass linkargs before cmdargs to avoid overriding a potential -std argument

5 years agothat's already converted to sphinx
Martin Quinson [Thu, 20 Sep 2018 22:45:17 +0000 (00:45 +0200)]
that's already converted to sphinx

5 years agoignore another binary
Martin Quinson [Thu, 20 Sep 2018 22:37:47 +0000 (00:37 +0200)]
ignore another binary

5 years agoconvert the SMPI doc to sphinx
Martin Quinson [Thu, 20 Sep 2018 22:34:49 +0000 (00:34 +0200)]
convert the SMPI doc to sphinx

5 years agofix make distcheck
Martin Quinson [Thu, 20 Sep 2018 21:07:24 +0000 (23:07 +0200)]
fix make distcheck

5 years agoimprove doc to avoid mixture between Comm::set_src_data_size() and Activity::set_rema...
Martin Quinson [Thu, 20 Sep 2018 20:59:44 +0000 (22:59 +0200)]
improve doc to avoid mixture between Comm::set_src_data_size() and Activity::set_remaining()

5 years agoimprove the error messages so that you can understand them without reading the source...
Martin Quinson [Thu, 20 Sep 2018 20:40:09 +0000 (22:40 +0200)]
improve the error messages so that you can understand them without reading the source code

5 years agoconvert the old SMPI tuto to sphinx (was only a placeholder)
Martin Quinson [Thu, 20 Sep 2018 19:40:35 +0000 (21:40 +0200)]
convert the old SMPI tuto to sphinx (was only a placeholder)

5 years agoconvert the remain bits of S4U doc into sphinx
Martin Quinson [Thu, 20 Sep 2018 19:35:26 +0000 (21:35 +0200)]
convert the remain bits of S4U doc into sphinx

5 years agomissing file
Martin Quinson [Thu, 20 Sep 2018 19:23:28 +0000 (21:23 +0200)]
missing file

5 years agoconvert S4U examples to sphinx
Martin Quinson [Thu, 20 Sep 2018 19:23:16 +0000 (21:23 +0200)]
convert S4U examples to sphinx

5 years agoimprove documentation of DTD content
Martin Quinson [Thu, 20 Sep 2018 08:54:22 +0000 (10:54 +0200)]
improve documentation of DTD content

5 years agoimprove the doc of Actor::on_destruction()
Martin Quinson [Thu, 20 Sep 2018 07:35:53 +0000 (09:35 +0200)]
improve the doc of Actor::on_destruction()

Explain the difference with this_actor::on_exit()
This fixes https://github.com/simgrid/simgrid/issues/289

5 years agonice err msg for bummers
Martin Quinson [Wed, 19 Sep 2018 08:44:32 +0000 (10:44 +0200)]
nice err msg for bummers

5 years agoavoid a warning about unit-less bandwidth
Martin Quinson [Wed, 19 Sep 2018 08:39:20 +0000 (10:39 +0200)]
avoid a warning about unit-less bandwidth

5 years agotuto smpi: lab on visualization with class S, not A
Martin Quinson [Wed, 19 Sep 2018 05:47:59 +0000 (07:47 +0200)]
tuto smpi: lab on visualization with class S, not A

5 years agoRevert "Dlopen privatization should be okay now for TSan."
Arnaud Giersch [Wed, 19 Sep 2018 21:46:58 +0000 (23:46 +0200)]
Revert "Dlopen privatization should be okay now for TSan."

This reverts commit 67e587e01b533cbe388602107fdd5ea6e8970513.

5 years agoRevert "Remove usage of RTLD_DEEPBIND."
Arnaud Giersch [Wed, 19 Sep 2018 20:13:27 +0000 (22:13 +0200)]
Revert "Remove usage of RTLD_DEEPBIND."

It's in fact needed for starpu and some of the smpi proxy apps.

This reverts commit f257ec7c9ab6e14b11ea63378065db42105882b5.

5 years agoTarget_libs may be multiple.
Arnaud Giersch [Wed, 19 Sep 2018 12:15:50 +0000 (14:15 +0200)]
Target_libs may be multiple.

5 years agotuto smpi: start lab 3 (Execution Sampling)
Martin Quinson [Tue, 18 Sep 2018 20:14:45 +0000 (22:14 +0200)]
tuto smpi: start lab 3 (Execution Sampling)

But I'm stuck because that version of the NAS benchmarks is in
Fortran, and I fear that our macro don't work in this case...

5 years agosmpi tuto: Lab2 (Tracing and Replay)
Martin Quinson [Tue, 18 Sep 2018 20:04:08 +0000 (22:04 +0200)]
smpi tuto: Lab2 (Tracing and Replay)

5 years agosmpi tuto: Lab 1 on vizu
Martin Quinson [Tue, 18 Sep 2018 19:23:15 +0000 (21:23 +0200)]
smpi tuto: Lab 1 on vizu

5 years agosmpi tuto: finish the Lab0
Martin Quinson [Tue, 18 Sep 2018 17:55:49 +0000 (19:55 +0200)]
smpi tuto: finish the Lab0

5 years agofix ns3, again
Martin Quinson [Tue, 18 Sep 2018 17:42:38 +0000 (19:42 +0200)]
fix ns3, again

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Tue, 18 Sep 2018 16:18:33 +0000 (18:18 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoUnify the host names in cluster description files
Martin Quinson [Tue, 18 Sep 2018 16:17:45 +0000 (18:17 +0200)]
Unify the host names in cluster description files

This will allow to have only one hostfile for all of them.
Particularly useful for the tuto.

5 years agoDlopen privatization should be okay now for TSan.
Arnaud Giersch [Tue, 18 Sep 2018 13:23:21 +0000 (15:23 +0200)]
Dlopen privatization should be okay now for TSan.

5 years agoRemove usage of RTLD_DEEPBIND.
Arnaud Giersch [Tue, 18 Sep 2018 13:16:37 +0000 (15:16 +0200)]
Remove usage of RTLD_DEEPBIND.

It does not seem to be mandatory, and sanitizers are complaining.

Let's see if it passes on CI servers.

5 years agoMove check for null pointer before dereference.
Arnaud Giersch [Tue, 18 Sep 2018 13:38:25 +0000 (15:38 +0200)]
Move check for null pointer before dereference.

5 years agotuto smpi: Lab0 (hello world) drafted
Martin Quinson [Tue, 18 Sep 2018 14:29:14 +0000 (16:29 +0200)]
tuto smpi: Lab0 (hello world) drafted

5 years agosmpirun: make sure that <cluster is on its own line when computing the hostfile autom...
Martin Quinson [Tue, 18 Sep 2018 13:16:09 +0000 (15:16 +0200)]
smpirun: make sure that <cluster is on its own line when computing the hostfile automatically

5 years agodockerfiles: install our files under /source/ and refresh images
Martin Quinson [Tue, 18 Sep 2018 12:40:21 +0000 (14:40 +0200)]
dockerfiles: install our files under /source/ and refresh images

5 years agotuto smpi: finish (for now) the platform section; draft the install section
Martin Quinson [Tue, 18 Sep 2018 10:58:27 +0000 (12:58 +0200)]
tuto smpi: finish (for now) the platform section; draft the install section

5 years agocosmetics
Martin Quinson [Tue, 18 Sep 2018 07:50:32 +0000 (09:50 +0200)]
cosmetics

5 years agocosmetics in graphical representations of cluster descriptions
Martin Quinson [Tue, 18 Sep 2018 07:41:57 +0000 (09:41 +0200)]
cosmetics in graphical representations of cluster descriptions

5 years agohopefully fix the NS3 test
Martin Quinson [Tue, 18 Sep 2018 06:39:59 +0000 (08:39 +0200)]
hopefully fix the NS3 test

5 years agofix make distcheck, as usual :(
Martin Quinson [Tue, 18 Sep 2018 05:39:18 +0000 (07:39 +0200)]
fix make distcheck, as usual :(

5 years agoignore a directory generated by sphinx
Martin Quinson [Tue, 18 Sep 2018 00:03:38 +0000 (02:03 +0200)]
ignore a directory generated by sphinx

5 years agodocs: sphinx 1.8.0 was released, so use it
Martin Quinson [Tue, 18 Sep 2018 00:02:56 +0000 (02:02 +0200)]
docs: sphinx 1.8.0 was released, so use it

5 years agoMerge branch 'master' of github.com:simgrid/simgrid
Martin Quinson [Mon, 17 Sep 2018 23:58:32 +0000 (01:58 +0200)]
Merge branch 'master' of github.com:simgrid/simgrid

5 years agoRename cluster.xml to cluster_backbone.xml
Martin Quinson [Mon, 17 Sep 2018 22:47:16 +0000 (00:47 +0200)]
Rename cluster.xml to cluster_backbone.xml

also, fix the make dist and some cosmetics.

5 years agocleanups in the cluster platform files
Martin Quinson [Mon, 17 Sep 2018 22:30:18 +0000 (00:30 +0200)]
cleanups in the cluster platform files

5 years agodocs: prefer svg to png, and inclusion to copy/paste
Martin Quinson [Mon, 17 Sep 2018 22:16:46 +0000 (00:16 +0200)]
docs: prefer svg to png, and inclusion to copy/paste

5 years agocosmetics on the graphical TOC
Martin Quinson [Mon, 17 Sep 2018 21:46:10 +0000 (23:46 +0200)]
cosmetics on the graphical TOC

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 17 Sep 2018 07:54:46 +0000 (09:54 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agofix sectionning and one typo
Martin Quinson [Fri, 14 Sep 2018 20:54:04 +0000 (22:54 +0200)]
fix sectionning and one typo

5 years agoGraphical representation of example platforms
Arnaud Legrand [Fri, 14 Sep 2018 09:17:09 +0000 (11:17 +0200)]
Graphical representation of example platforms

5 years agoMerge pull request #292 from kovin/master
Martin Quinson [Thu, 13 Sep 2018 22:31:12 +0000 (00:31 +0200)]
Merge pull request #292 from kovin/master

Cover with a test Mailbox::ready() method introduced in commit 1ed0e64dc40

5 years agoMerge branch 'master' into master
Martin Quinson [Thu, 13 Sep 2018 20:00:17 +0000 (22:00 +0200)]
Merge branch 'master' into master

5 years agoSMPI tuto: Start stealing content from SMPI courseware
Martin Quinson [Tue, 11 Sep 2018 23:53:17 +0000 (01:53 +0200)]
SMPI tuto: Start stealing content from SMPI courseware

5 years agotuto smpi: add a picture explaining how it works
Martin Quinson [Tue, 11 Sep 2018 23:17:36 +0000 (01:17 +0200)]
tuto smpi: add a picture explaining how it works

5 years agoallow to have hidden/shown code blocks in the doc
Martin Quinson [Tue, 11 Sep 2018 23:16:33 +0000 (01:16 +0200)]
allow to have hidden/shown code blocks in the doc

5 years agoAdd an assert/fixme around Actor::set_auto_restart.
Arnaud Giersch [Tue, 11 Sep 2018 20:35:20 +0000 (22:35 +0200)]
Add an assert/fixme around Actor::set_auto_restart.

5 years agoUse a std::vector for actors_at_boot_.
Arnaud Giersch [Tue, 11 Sep 2018 20:27:20 +0000 (22:27 +0200)]
Use a std::vector for actors_at_boot_.

Several actors may use the same name (e.g. app-masterworker-multicore).
Also fixes a memory leak.

5 years agostart the SMPI tuto
Martin Quinson [Tue, 11 Sep 2018 16:37:58 +0000 (18:37 +0200)]
start the SMPI tuto

5 years agoTypo.
Arnaud Giersch [Fri, 31 Aug 2018 11:19:34 +0000 (13:19 +0200)]
Typo.

5 years agotuto: don't speak of s4u processes (but actors)
Martin Quinson [Mon, 10 Sep 2018 21:30:38 +0000 (23:30 +0200)]
tuto: don't speak of s4u processes (but actors)

5 years agodocs: simplify and document that file
Martin Quinson [Mon, 10 Sep 2018 21:17:30 +0000 (23:17 +0200)]
docs: simplify and document that file

5 years agokilling trailing whitespaces on png files is not cleaver
Martin Quinson [Mon, 10 Sep 2018 21:01:01 +0000 (23:01 +0200)]
killing trailing whitespaces on png files is not cleaver

5 years agoDTD: remove the last occurence of <gpu>
Martin Quinson [Mon, 10 Sep 2018 20:33:39 +0000 (22:33 +0200)]
DTD: remove the last occurence of <gpu>

5 years agotesh: informative message for another error condition
Martin Quinson [Mon, 10 Sep 2018 20:30:49 +0000 (22:30 +0200)]
tesh: informative message for another error condition

5 years agoFix the DTD to not allow to mix internal node content with leaf content in a given...
Martin Quinson [Mon, 10 Sep 2018 19:58:04 +0000 (21:58 +0200)]
Fix the DTD to not allow to mix internal node content with leaf content in a given zone

Fix https://github.com/simgrid/simgrid/issues/296

5 years agofix the SMPI tests that mandate smpi/wtime == 0
Martin Quinson [Mon, 10 Sep 2018 14:19:17 +0000 (16:19 +0200)]
fix the SMPI tests that mandate smpi/wtime == 0

5 years agoalign doc and code on a more sensible value
Martin Quinson [Mon, 10 Sep 2018 13:03:49 +0000 (15:03 +0200)]
align doc and code on a more sensible value

5 years agoMerge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Mon, 10 Sep 2018 12:42:52 +0000 (14:42 +0200)]
Merge branch 'master' of framagit.org:simgrid/simgrid

5 years agoMerge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
Martin Quinson [Mon, 10 Sep 2018 12:39:55 +0000 (14:39 +0200)]
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

5 years agoImprove option smpi/wtime
Martin Quinson [Mon, 10 Sep 2018 12:35:57 +0000 (14:35 +0200)]
Improve option smpi/wtime

- Set default value to 1ms instead of 0. This default settings may
  lead to slower simulation, but it works in more situations.
- Also apply this delay in gettimeofday() and clock_gettime()
- Improve the documentation.

5 years agoAllow insertion of time inside gettimeofday and clock_gettime
Augustin Degomme [Mon, 10 Sep 2018 11:39:29 +0000 (13:39 +0200)]
Allow insertion of time inside gettimeofday and clock_gettime
Done with --cfg=smpi/wtime, which was previously only for MPI_Wtime.
This should avoid some infinite loops. Keep 0 as default for now.

5 years agomove smpi_mpi_wtime near to the other time-related functions
Martin Quinson [Mon, 10 Sep 2018 11:02:22 +0000 (13:02 +0200)]
move smpi_mpi_wtime near to the other time-related functions

5 years agodont use send/receive on mailboxes, but put/get
Martin Quinson [Thu, 6 Sep 2018 19:39:26 +0000 (21:39 +0200)]
dont use send/receive on mailboxes, but put/get

5 years agoUpdate app_s4u.rst
FREDERIC SUTER [Wed, 5 Sep 2018 10:56:09 +0000 (12:56 +0200)]
Update app_s4u.rst

5 years agoUpdate application.rst
FREDERIC SUTER [Wed, 5 Sep 2018 10:17:03 +0000 (12:17 +0200)]
Update application.rst

5 years agotry to fix windows builds
Martin Quinson [Mon, 3 Sep 2018 19:41:38 +0000 (21:41 +0200)]
try to fix windows builds

ContextJava uses ContextThread as a superclass now, but they are not
in the same lib, so ContextThread must be exported as public.

5 years agoUpdate intro_yours.rst
FREDERIC SUTER [Mon, 3 Sep 2018 12:37:59 +0000 (14:37 +0200)]
Update intro_yours.rst

5 years agoMultiply memset size by size of element in umpire.
Augustin Degomme [Wed, 29 Aug 2018 12:31:17 +0000 (14:31 +0200)]
Multiply memset size by size of element in umpire.

5 years agoUpdate intro_install.rst
FREDERIC SUTER [Mon, 3 Sep 2018 12:00:55 +0000 (14:00 +0200)]
Update intro_install.rst

5 years agoUpdate intro_concepts.rst
FREDERIC SUTER [Mon, 3 Sep 2018 11:17:08 +0000 (13:17 +0200)]
Update intro_concepts.rst

5 years agofix make distcheck
Martin Quinson [Mon, 3 Sep 2018 07:34:38 +0000 (09:34 +0200)]
fix make distcheck

5 years agoSomehow fix the killing of actors in Java
Martin Quinson [Mon, 3 Sep 2018 07:20:56 +0000 (09:20 +0200)]
Somehow fix the killing of actors in Java

Things are somehow fixed, as all tests seem to pass, but the situation
is still very messy after this commit. Contents:

- Reimplement ContextJava as subclass of ContextThread to reduce duplication.
- Don't send the StopRequest exception on host failure if we are in
  Java because *some* of the actors don't catch it well, resulting in
  simulation failure.
- Forcefully kill the process ("exit(0)" in C) after MSG_run() because
  dead actors are sometimes not completely killed, preventing the
  simulation from ending.

See the comment in ActorImpl for a better understanding of this mess
and how to fix it in the future.

5 years agocosmetics while debuging backtraces
Martin Quinson [Sun, 2 Sep 2018 19:35:09 +0000 (21:35 +0200)]
cosmetics while debuging backtraces

5 years agojava: obey our coding standard
Martin Quinson [Sun, 2 Sep 2018 00:17:06 +0000 (02:17 +0200)]
java: obey our coding standard

5 years agodon't catch an exception that is never thrown
Martin Quinson [Sun, 2 Sep 2018 00:09:27 +0000 (02:09 +0200)]
don't catch an exception that is never thrown

xbt_os_thread_create() asserts that it succeeds, it does not throw
anything. So put the documentation in the doc instead of displaying it
when that non-existent exception is received.

5 years agojava: cosmetics
Martin Quinson [Sun, 2 Sep 2018 00:02:21 +0000 (02:02 +0200)]
java: cosmetics

5 years agothat was converted to sphinx
Martin Quinson [Sat, 1 Sep 2018 23:11:54 +0000 (01:11 +0200)]
that was converted to sphinx

5 years agoRemove the deprecated 'state' attribute from the doc
Martin Quinson [Sat, 1 Sep 2018 20:56:32 +0000 (22:56 +0200)]
Remove the deprecated 'state' attribute from the doc

This fixes https://github.com/simgrid/simgrid/issues/295

5 years agodocs: write the overall section of 'Applications'
Martin Quinson [Sat, 1 Sep 2018 20:53:51 +0000 (22:53 +0200)]
docs: write the overall section of 'Applications'

5 years agosphinx: one warning less
Martin Quinson [Fri, 31 Aug 2018 15:58:58 +0000 (17:58 +0200)]
sphinx: one warning less

5 years agoBummer. Really fix out of tree builds (I hope)
Martin Quinson [Thu, 30 Aug 2018 09:37:40 +0000 (11:37 +0200)]
Bummer. Really fix out of tree builds (I hope)

5 years agofix out of tree builds
Martin Quinson [Thu, 30 Aug 2018 07:38:36 +0000 (09:38 +0200)]
fix out of tree builds