Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
12 months agoDisks do not need this
Frederic Suter [Tue, 10 Sep 2019 10:42:57 +0000 (12:42 +0200)]
Disks do not need this

12 months agoneed to delay signal after properties are set
Frederic Suter [Tue, 10 Sep 2019 09:12:16 +0000 (11:12 +0200)]
need to delay signal after properties are set

12 months agoextend platorm with disks
Frederic Suter [Mon, 9 Sep 2019 12:09:50 +0000 (14:09 +0200)]
extend platorm with disks
* have two disks on bob
* share same disk name between bob and alice
* revalidate tesh files after modifications

12 months agosimplify disk management
Frederic Suter [Mon, 9 Sep 2019 11:53:37 +0000 (13:53 +0200)]
simplify disk management
* disks are related to a given host, there is no need to maintain a
global map.
* No more map means no by_name methods
* This allows for same name for disks on different hosts

12 months agoMerge branch 'master' into disk
Frederic Suter [Fri, 6 Sep 2019 15:22:14 +0000 (17:22 +0200)]
Merge branch 'master' into disk

12 months agoWifi: Clean obsolete code
Loic Guegan [Fri, 6 Sep 2019 10:45:37 +0000 (12:45 +0200)]
Wifi: Clean obsolete code

12 months agoWifi: Add crosstraffic on WIFI cells
Loic Guegan [Fri, 6 Sep 2019 09:44:30 +0000 (11:44 +0200)]
Wifi: Add crosstraffic on WIFI cells

12 months agoWifi: Add wifi tesh sources
Loic Guegan [Fri, 6 Sep 2019 09:36:12 +0000 (11:36 +0200)]
Wifi: Add wifi tesh sources

12 months agoMerge branch 'master' of https://framagit.org/simgrid/simgrid
Frederic Suter [Thu, 5 Sep 2019 11:23:43 +0000 (13:23 +0200)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid

12 months agono more need to pass issuer to suspend
Frederic Suter [Thu, 5 Sep 2019 11:23:13 +0000 (13:23 +0200)]
no more need to pass issuer to suspend

12 months agoWifi: Ajust model on internal AP communication
Loic Guegan [Thu, 5 Sep 2019 09:09:42 +0000 (11:09 +0200)]
Wifi: Ajust model on internal AP communication

12 months agoWifi: Allow crosstraffic simulations
Loic Guegan [Thu, 5 Sep 2019 08:51:34 +0000 (10:51 +0200)]
Wifi: Allow crosstraffic simulations

12 months agoMerge branch 'master' into disk
Frederic Suter [Wed, 4 Sep 2019 14:19:55 +0000 (16:19 +0200)]
Merge branch 'master' into disk

12 months agomodify this example to use disks
Frederic Suter [Wed, 4 Sep 2019 13:39:40 +0000 (15:39 +0200)]
modify this example to use disks

12 months agoplug leak
Frederic Suter [Wed, 4 Sep 2019 06:56:46 +0000 (08:56 +0200)]
plug leak

12 months agoclang-tidy the ns3 model
Martin Quinson [Tue, 3 Sep 2019 21:42:54 +0000 (23:42 +0200)]
clang-tidy the ns3 model

12 months agoworking implementation of storage on disks
Frederic Suter [Tue, 3 Sep 2019 12:15:53 +0000 (14:15 +0200)]
working implementation of storage on disks
+ add a s4u::Disk
+ modify a lot of things to make it working
+ add a small example to test read/write

12 months agoconnect disks to their host
Frederic Suter [Tue, 3 Sep 2019 07:55:04 +0000 (09:55 +0200)]
connect disks to their host

12 months agoload disk model
Frederic Suter [Tue, 3 Sep 2019 07:12:15 +0000 (09:12 +0200)]
load disk model

12 months agodisk not mount
Frederic Suter [Tue, 3 Sep 2019 07:10:31 +0000 (09:10 +0200)]
disk not mount

12 months agofix distcheck
Frederic Suter [Mon, 2 Sep 2019 15:26:31 +0000 (17:26 +0200)]
fix distcheck

12 months agofix typo
Frederic Suter [Mon, 2 Sep 2019 15:20:12 +0000 (17:20 +0200)]
fix typo

12 months agoimplement sg_platf_new_disk
Frederic Suter [Mon, 2 Sep 2019 14:49:41 +0000 (16:49 +0200)]
implement sg_platf_new_disk

12 months agoadd a platform file using the new disk tag
Frederic Suter [Mon, 2 Sep 2019 14:37:08 +0000 (16:37 +0200)]
add a platform file using the new disk tag

12 months agostart implementing what is behind the new <disk> tag
Frederic Suter [Mon, 2 Sep 2019 14:12:40 +0000 (16:12 +0200)]
start implementing what is behind the new <disk> tag
* Not tested at all
* Mostly duplicates the current Storage stuff minus what we want to
get rid off
* Several FIXME where the link with S4U should be done

12 months agoExit with a special exit code on failure in the last stage.
Arnaud Giersch [Mon, 2 Sep 2019 10:08:58 +0000 (12:08 +0200)]
Exit with a special exit code on failure in the last stage.

This can be used in jenkins to mark the build "unstable" instead of "failed".

12 months agodoc: specify that you need to build the tests before ctest
Martin Quinson [Sun, 1 Sep 2019 00:54:50 +0000 (02:54 +0200)]
doc: specify that you need to build the tests before ctest

12 months agocmake: accept enable-model-checking as an alias to enable_model-checking
Martin Quinson [Sun, 1 Sep 2019 00:50:52 +0000 (02:50 +0200)]
cmake: accept enable-model-checking as an alias to enable_model-checking

This should be generalized to the many potential typos in the option
name, but I don't feel like scripting in cmake tonight.

12 months agoanother batch of small improvements advised by clang-tidy
Martin Quinson [Sun, 1 Sep 2019 00:33:24 +0000 (02:33 +0200)]
another batch of small improvements advised by clang-tidy

12 months agodoc: specify that ltl2ba is not part of SimGrid
Martin Quinson [Sun, 1 Sep 2019 00:12:09 +0000 (02:12 +0200)]
doc: specify that ltl2ba is not part of SimGrid

12 months agofurther very small steps to modernize our code. thanks clang-tidy
Martin Quinson [Thu, 29 Aug 2019 00:01:45 +0000 (02:01 +0200)]
further very small steps to modernize our code. thanks clang-tidy

12 months agomodernize our C++
Martin Quinson [Tue, 27 Aug 2019 07:28:06 +0000 (09:28 +0200)]
modernize our C++

- Use auto when using new to not repeat the type
- Pass parameter by value + std::move instead of pass by reference

This was advized by clang advanced warnings

12 months agoDon't name the unused parameter of this callback
Martin Quinson [Tue, 27 Aug 2019 07:22:19 +0000 (09:22 +0200)]
Don't name the unused parameter of this callback

12 months agofix a bug in a deprecated function
Martin Quinson [Tue, 27 Aug 2019 07:21:22 +0000 (09:21 +0200)]
fix a bug in a deprecated function

Found by a static analyzer because the function parameter was unused

12 months agoSpelling fixes & a few cases of polishing the English (#329)
Gene Cooperman [Sat, 31 Aug 2019 23:56:03 +0000 (19:56 -0400)]
Spelling fixes & a few cases of polishing the English (#329)

Some of the more specialized fixes were:
 - 'DEAD-LOCK' -> 'DEADLOCK'  (appears when MC fnids a deadlock.
 - 'allows to' -> 'allows one to' (and so on for allow/allows/permit/permits)
   'model-checker' -> 'model checker'
     ('the model-checker software', but 'the model checker')

12 months agoFactor common definition, and avoid empty component in LD_LIBRARY_PATH.
Arnaud Giersch [Wed, 28 Aug 2019 13:30:22 +0000 (15:30 +0200)]
Factor common definition, and avoid empty component in LD_LIBRARY_PATH.

12 months agoDrop spurious colon.
Arnaud Giersch [Wed, 28 Aug 2019 12:52:21 +0000 (14:52 +0200)]
Drop spurious colon.

12 months agodon't forget to set include path in this case.
Augustin Degomme [Wed, 28 Aug 2019 13:00:13 +0000 (15:00 +0200)]
don't forget to set include path in this case.

12 months agodon't throw away existing LD_LIBRARY_PATH in our tests.
Augustin Degomme [Wed, 28 Aug 2019 10:16:40 +0000 (12:16 +0200)]
don't throw away existing LD_LIBRARY_PATH in our tests.

12 months agoactually failsafe has to be applied in all cases.
Augustin Degomme [Wed, 28 Aug 2019 09:57:30 +0000 (11:57 +0200)]
actually failsafe has to be applied in all cases.
Windows on travis has a 1.58 boost, so it was failing the first attempt, but a recent cmake so it was avoiding the second.

13 months agofix mc build with gcc10
Augustin Degomme [Tue, 27 Aug 2019 23:09:24 +0000 (01:09 +0200)]
fix mc build with gcc10

13 months agolet's be gentle with old cmakes which can't handle missing optional boost libs
Augustin Degomme [Tue, 27 Aug 2019 23:09:12 +0000 (01:09 +0200)]
let's be gentle with old cmakes which can't handle missing optional boost libs

13 months agoAttempt to ease detection of boost libraries.
Augustin Degomme [Tue, 27 Aug 2019 21:27:45 +0000 (23:27 +0200)]
Attempt to ease detection of boost libraries.
Will probably break things everywhere.

13 months agoAdd some includes to please GCC 10
Augustin Degomme [Tue, 27 Aug 2019 10:29:49 +0000 (12:29 +0200)]
Add some includes to please GCC 10

13 months agoWorkaround build error seen with clang 10 on freebsd.
Arnaud Giersch [Tue, 27 Aug 2019 12:12:59 +0000 (14:12 +0200)]
Workaround build error seen with clang 10 on freebsd.

In file included from [...]/src/bindings/python/simgrid_python.cpp:11:
In file included from /usr/local/include/pybind11/functional.h:12:
/usr/local/include/pybind11/pybind11.h:1078:9: error: expression result unused [-Werror,-Wunused-value]
        PYBIND11_EXPAND_SIDE_EFFECTS(add_base<options>(record));
[...]

13 months agoUse C++-style cast.
Arnaud Giersch [Tue, 27 Aug 2019 09:57:16 +0000 (11:57 +0200)]
Use C++-style cast.

13 months agoFix build with MC.
Arnaud Giersch [Tue, 27 Aug 2019 09:38:03 +0000 (11:38 +0200)]
Fix build with MC.

13 months agoFiles were regenerated.
Arnaud Giersch [Tue, 27 Aug 2019 08:51:40 +0000 (10:51 +0200)]
Files were regenerated.

13 months agoFix: undefined reference to `typeinfo for simgrid::mc::SimcallInspector'
Arnaud Giersch [Tue, 27 Aug 2019 08:46:28 +0000 (10:46 +0200)]
Fix: undefined reference to `typeinfo for simgrid::mc::SimcallInspector'

13 months agoDisable test stack-overflow with tsan too (false positive).
Arnaud Giersch [Sun, 28 Jul 2019 14:30:38 +0000 (16:30 +0200)]
Disable test stack-overflow with tsan too (false positive).

13 months ago[cppcheck] Reduce scope for variable.
Arnaud Giersch [Wed, 24 Jul 2019 16:04:51 +0000 (18:04 +0200)]
[cppcheck] Reduce scope for variable.

13 months agoWIFI: Now implemented
Loic Guegan [Tue, 27 Aug 2019 08:08:47 +0000 (10:08 +0200)]
WIFI: Now implemented

13 months agofix pip packaging
Martin Quinson [Sun, 25 Aug 2019 20:44:39 +0000 (22:44 +0200)]
fix pip packaging

13 months agotesh kill timeouted processes with KILL also
Martin Quinson [Sun, 25 Aug 2019 19:41:40 +0000 (21:41 +0200)]
tesh kill timeouted processes with KILL also

It seems that the sanitizers processes are surviving their timeouts on
the server, so this may help fixing the build robots.

On the way, I switched to save the PID of the forked process instead
of its PGID. This helps when I try to see if the process is still
alive, later on: I can always do PID->PGID later (as I do now) while
it seems impossible to do PGID->PID to see whether the process is
still alive.

Fun fact: I think that PID=PGID on POSIX systems, but let's play safe :)

13 months agoDPOR: improve debug messages
Martin Quinson [Mon, 19 Aug 2019 14:50:52 +0000 (16:50 +0200)]
DPOR: improve debug messages

13 months agoadd test proposed in #39
Augustin Degomme [Thu, 22 Aug 2019 23:44:10 +0000 (01:44 +0200)]
add test proposed in #39
For now in teshsuite, might be moved to examples if someone asks

13 months agoshould work better with the hostfile in the dist.
Augustin Degomme [Thu, 22 Aug 2019 13:40:40 +0000 (15:40 +0200)]
should work better with the hostfile in the dist.

13 months agoOne rma test actually needs exactly 2 processes per node.
Augustin Degomme [Thu, 22 Aug 2019 12:49:48 +0000 (14:49 +0200)]
One rma test actually needs exactly 2 processes per node.
Let's indulge it and add a hostfile for mpich tests, with various ppn setups.

13 months agotypos
Augustin Degomme [Thu, 22 Aug 2019 08:46:20 +0000 (10:46 +0200)]
typos

13 months agoattach errhandlers to some forgotten calls
Augustin Degomme [Mon, 19 Aug 2019 09:49:56 +0000 (11:49 +0200)]
attach errhandlers to some forgotten calls

13 months agoErrors occurring during calls to routines that create MPI windows (e.g., MPI_WIN_CREA...
Augustin Degomme [Mon, 19 Aug 2019 09:49:40 +0000 (11:49 +0200)]
Errors occurring during calls to routines that create MPI windows (e.g., MPI_WIN_CREATE (...,comm,...)) cause the error handler currently associated with comm to be invoked.

13 months agoMerge branch 'trace_smpi_execute_flops' into 'master'
Augustin Degomme [Tue, 20 Aug 2019 19:26:20 +0000 (21:26 +0200)]
Merge branch 'trace_smpi_execute_flops' into 'master'

execute_flops now logs compute

See merge request simgrid/simgrid!15

13 months agofix bad private function location
Faure Adrien [Tue, 20 Aug 2019 19:21:32 +0000 (21:21 +0200)]
fix bad private function location
and fix bad reference to spmi_execute_benched

13 months agoexecute_flops now logs compute
Faure Adrien [Tue, 20 Aug 2019 18:08:28 +0000 (20:08 +0200)]
execute_flops now logs compute
I created a internal function that execute flops without tracing for
specific needs

13 months agoAllgatherv : don't output MPI_ERR_BUFFER if recvbuf is null if we don't receive any...
Augustin Degomme [Mon, 19 Aug 2019 09:33:25 +0000 (11:33 +0200)]
Allgatherv : don't output MPI_ERR_BUFFER if recvbuf is null if we don't receive any data.
FIXME : other collectives can have the same constraint relaxed

13 months agoFor File, we can change the default error handler by specifying MPI_FILE_NULL as...
Augustin Degomme [Mon, 19 Aug 2019 08:50:38 +0000 (10:50 +0200)]
For File, we can change the default error handler by specifying MPI_FILE_NULL as the fh argument

13 months agoUnlike errors on communicators and windows, the default behavior for files is to...
Augustin Degomme [Mon, 19 Aug 2019 08:09:22 +0000 (10:09 +0200)]
Unlike errors on communicators and windows, the default behavior for files is to have MPI_ERRORS_RETURN. ( End of advice to users.)
https://www.mpi-forum.org/docs/mpi-3.1/mpi31-report/node223.htm#Node223
because why not.

13 months agoThese tests really need zero buffering
Martin Quinson [Sun, 18 Aug 2019 21:42:30 +0000 (23:42 +0200)]
These tests really need zero buffering

13 months agoswitch to infty buffering for now as some tests are broken in zero-buffering mode
Martin Quinson [Sun, 18 Aug 2019 21:29:10 +0000 (23:29 +0200)]
switch to infty buffering for now as some tests are broken in zero-buffering mode

13 months agoupdate changelog
Augustin Degomme [Sun, 18 Aug 2019 21:37:52 +0000 (23:37 +0200)]
update changelog

13 months agoThis particular RMA test is filled with stupid calls... We send errors for most of...
Augustin Degomme [Sun, 18 Aug 2019 21:36:50 +0000 (23:36 +0200)]
This particular RMA test is filled with stupid calls... We send errors for most of them.
So let's put that to rest by setting MPI_ERRORS_RETURN for this one.

13 months agofix request and coll failing tests
Augustin Degomme [Sun, 18 Aug 2019 21:35:24 +0000 (23:35 +0200)]
fix request and coll failing tests

13 months agotopo was a bit too eager to return errors.
Augustin Degomme [Sun, 18 Aug 2019 21:34:56 +0000 (23:34 +0200)]
topo was a bit too eager to return errors.

13 months agoDon't return an error when a key is not found in an MPI_Info.
Augustin Degomme [Sun, 18 Aug 2019 21:33:50 +0000 (23:33 +0200)]
Don't return an error when a key is not found in an MPI_Info.

13 months agoour coll-* tests include bad calls for coverage, they need MPI_ERRORS_RETURN
Augustin Degomme [Sun, 18 Aug 2019 21:32:48 +0000 (23:32 +0200)]
our coll-* tests include bad calls for coverage, they need MPI_ERRORS_RETURN

13 months agoset default error handler to MPI_ERRORS_ARE_FATAL, as in a proper MPI implementation
Augustin Degomme [Sun, 18 Aug 2019 21:31:58 +0000 (23:31 +0200)]
set default error handler to MPI_ERRORS_ARE_FATAL, as in a proper MPI implementation

13 months agodisalign tags for collectives from their nonblocking counterparts, to correctly deadl...
Augustin Degomme [Sun, 18 Aug 2019 19:02:50 +0000 (21:02 +0200)]
disalign tags for collectives from their nonblocking counterparts, to correctly deadlock when both are entangled
as some blocking ones used internally are actually implement with nonblocking+wait, use the right blocking tag in this case.

13 months agoadd tests for errhandlers
Augustin Degomme [Sun, 18 Aug 2019 18:40:32 +0000 (20:40 +0200)]
add tests for errhandlers
Most of them actually need mpi_add_error features, which are not really implemented yet

13 months agoAdd support for MPI Errhandlers in Comm, File, Win.
Augustin Degomme [Sun, 18 Aug 2019 18:39:15 +0000 (20:39 +0200)]
Add support for MPI Errhandlers in Comm, File, Win.
Default remains MPI_ERRORS_RETURN for now, pending test fixes

13 months agoApply the default settings of 'smpi/buffering' too
Martin Quinson [Sun, 18 Aug 2019 15:01:40 +0000 (17:01 +0200)]
Apply the default settings of 'smpi/buffering' too

Previously, we did obey to that option when given, but the default
value was ignored. This is because the handling was done in the value
verification callback, that is not used for the default value.

13 months agomore informative error message when checking params of MPI_Iallgather
Martin Quinson [Sun, 18 Aug 2019 14:21:56 +0000 (16:21 +0200)]
more informative error message when checking params of MPI_Iallgather

13 months agoappveyor: don't build python as it was not tested anyway, and don't build anymore
Martin Quinson [Sun, 18 Aug 2019 14:21:41 +0000 (16:21 +0200)]
appveyor: don't build python as it was not tested anyway, and don't build anymore

13 months agoMPI_Scatterv: sendcounts and displs params can be NULL on non-root ranks
Martin Quinson [Sun, 18 Aug 2019 10:34:26 +0000 (12:34 +0200)]
MPI_Scatterv: sendcounts and displs params can be NULL on non-root ranks

13 months agomore informative error messages on parameter checks of MPI_Iscatterv
Martin Quinson [Sun, 18 Aug 2019 10:21:35 +0000 (12:21 +0200)]
more informative error messages on parameter checks of MPI_Iscatterv

This should be done for each and every collective, but not today...

13 months agoFix tesh for the new mc-sendsend test
Martin Quinson [Sun, 18 Aug 2019 08:12:39 +0000 (10:12 +0200)]
Fix tesh for the new mc-sendsend test

- Test for all factories but thread (that is borken with MC)
- Don't run this test when Java, no matter what. Not sure how I came
  to such a stupid idea :)

13 months agofix make dist and python dist
Martin Quinson [Sun, 18 Aug 2019 00:34:08 +0000 (02:34 +0200)]
fix make dist and python dist

13 months agoadd a test of MC detecting blocking send/send patterns
Martin Quinson [Sat, 4 Nov 2017 17:51:02 +0000 (18:51 +0100)]
add a test of MC detecting blocking send/send patterns

13 months agoNew MC option: smpi/buffering, to control MPI buffering
Martin Quinson [Sat, 17 Aug 2019 23:33:14 +0000 (01:33 +0200)]
New MC option: smpi/buffering, to control MPI buffering

13 months agosmpirun: add a -quiet argument, allowing failing tests in tesh
Martin Quinson [Sat, 17 Aug 2019 23:19:27 +0000 (01:19 +0200)]
smpirun: add a -quiet argument, allowing failing tests in tesh

13 months agomore informative message when setting inexistant config items
Martin Quinson [Sat, 17 Aug 2019 22:42:48 +0000 (00:42 +0200)]
more informative message when setting inexistant config items

13 months agodocs: fix borken links
Martin Quinson [Sat, 17 Aug 2019 22:10:43 +0000 (00:10 +0200)]
docs: fix borken links

13 months agoPMPI_Cart_create: check that each dim is positive
Martin Quinson [Sat, 17 Aug 2019 21:07:21 +0000 (23:07 +0200)]
PMPI_Cart_create: check that each dim is positive

13 months agoHave SMPI fail on MPI_ERR_* in MC mode
Martin Quinson [Sat, 17 Aug 2019 20:24:44 +0000 (22:24 +0200)]
Have SMPI fail on MPI_ERR_* in MC mode

The standard says that upon error, implementations should call the
current MPI error handler, which is MPI_ERRORS_ARE_FATAL by default
but could be changed to MPI_ERRORS_RETURN on need.

Since we don't implement MPI_Comm_set_errhandler() to switch between
modes, the simulation mode of SMPI is only issuing a warning on
errors (which is similar to MPI_ERRORS_RETURN).

This commit adds a MC_assert() stating that every MPI call succeed.
This will lead to a property failure (visible only in MC mode) when a
MPI_ERR_* is issued by the implementation (which is somehow similar to
MPI_ERRORS_ARE_FATAL).

13 months agofix non-MC builds
Martin Quinson [Sat, 17 Aug 2019 15:53:57 +0000 (17:53 +0200)]
fix non-MC builds

13 months agouse assignment to non-trivial class rather than artificial trivialization and memset
Martin Quinson [Sat, 17 Aug 2019 14:57:04 +0000 (16:57 +0200)]
use assignment to non-trivial class rather than artificial trivialization and memset

plus some other small cleanups

13 months agoRestore triviality of s_smx_simcall to please GCC
Martin Quinson [Thu, 15 Aug 2019 16:28:24 +0000 (18:28 +0200)]
Restore triviality of s_smx_simcall to please GCC

Field initialization make this struct non-trivial, making GCC to panic
when we memset it. Even if we initialize some fields to nullptr and
memset it to 0.

13 months agofix java build
Martin Quinson [Thu, 15 Aug 2019 14:02:22 +0000 (16:02 +0200)]
fix java build

13 months agosmall comments improvements around a complex code
Martin Quinson [Thu, 15 Aug 2019 13:37:24 +0000 (15:37 +0200)]
small comments improvements around a complex code

13 months agonow, kernel::actor::simcall_blocking can return a value
Martin Quinson [Wed, 14 Aug 2019 00:03:56 +0000 (02:03 +0200)]
now, kernel::actor::simcall_blocking can return a value

13 months agoLet simcall.py produce valid code after recent renamings
Martin Quinson [Tue, 13 Aug 2019 23:50:00 +0000 (01:50 +0200)]
Let simcall.py produce valid code after recent renamings