Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
18 months agointroduce s4u::Io::streamto
Fred Suter [Fri, 28 Oct 2022 11:36:22 +0000 (07:36 -0400)]
introduce s4u::Io::streamto

18 months agofixes
Fred Suter [Fri, 28 Oct 2022 11:36:11 +0000 (07:36 -0400)]
fixes

18 months agoeasier to store and use DiskImpl at kernel level
Fred Suter [Thu, 27 Oct 2022 12:59:09 +0000 (08:59 -0400)]
easier to store and use DiskImpl at kernel level

18 months agotypo spotted by Henri during a call
Fred Suter [Thu, 27 Oct 2022 12:31:05 +0000 (08:31 -0400)]
typo spotted by Henri during a call

18 months agoadd io_stream as a HostModel pure method
Fred Suter [Thu, 27 Oct 2022 12:29:45 +0000 (08:29 -0400)]
add io_stream as a HostModel pure method

18 months agofirst attempt to fluid comm/IO model
Fred Suter [Tue, 25 Oct 2022 13:16:34 +0000 (09:16 -0400)]
first attempt to fluid comm/IO model

18 months agomove update_remains_lazy to the pimpl (as for CPUs)
Fred Suter [Fri, 21 Oct 2022 18:17:48 +0000 (14:17 -0400)]
move update_remains_lazy to the pimpl (as for CPUs)

18 months agosimplify the way I/O actions are created (CPU style)
Fred Suter [Wed, 19 Oct 2022 16:20:10 +0000 (12:20 -0400)]
simplify the way I/O actions are created (CPU style)

18 months agoHave the disk model be part of the host models
Fred Suter [Tue, 18 Oct 2022 12:50:28 +0000 (08:50 -0400)]
Have the disk model be part of the host models

18 months agomention disk model in host model descriptions
Fred Suter [Tue, 18 Oct 2022 12:34:39 +0000 (08:34 -0400)]
mention disk model in host model descriptions

18 months agorename disk model init function: default is S19
Fred Suter [Tue, 18 Oct 2022 12:29:54 +0000 (08:29 -0400)]
rename disk model init function: default is S19

18 months ago [ci-skip] end of the pass
Fred Suter [Wed, 26 Oct 2022 18:54:34 +0000 (14:54 -0400)]
 [ci-skip] end of the pass

18 months agostart a pass on that part of the doc
Fred Suter [Tue, 25 Oct 2022 16:04:09 +0000 (12:04 -0400)]
start a pass on that part of the doc

18 months agoMore x -> varrho in the doc
Martin Quinson [Tue, 25 Oct 2022 13:21:23 +0000 (15:21 +0200)]
More x -> varrho in the doc

18 months agoTry to make the abort() inconditionnal in failed xbt_assert, to please the checkers
Martin Quinson [Tue, 25 Oct 2022 13:05:49 +0000 (15:05 +0200)]
Try to make the abort() inconditionnal in failed xbt_assert, to please the checkers

18 months agoAdd a ref to the disk paper
Martin Quinson [Tue, 25 Oct 2022 13:04:27 +0000 (15:04 +0200)]
Add a ref to the disk paper

18 months agoArnaud prefers ϱ to x (+depict the simulated platform)
Martin Quinson [Tue, 25 Oct 2022 12:53:55 +0000 (14:53 +0200)]
Arnaud prefers ϱ to x (+depict the simulated platform)

18 months agoMerge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Tue, 25 Oct 2022 12:03:19 +0000 (14:03 +0200)]
Merge branch 'master' of framagit.org:simgrid/simgrid

18 months agoDraft a first version of the Models chapter in the doc
Martin Quinson [Tue, 25 Oct 2022 12:01:49 +0000 (14:01 +0200)]
Draft a first version of the Models chapter in the doc

18 months agoCosmetics
Arnaud Legrand [Tue, 25 Oct 2022 06:16:39 +0000 (08:16 +0200)]
Cosmetics

18 months agodoc: link to some more existing examples
Martin Quinson [Mon, 24 Oct 2022 07:01:22 +0000 (09:01 +0200)]
doc: link to some more existing examples

18 months agoMinor rewording
Arnaud Legrand [Mon, 24 Oct 2022 11:19:15 +0000 (13:19 +0200)]
Minor rewording

18 months agoFix non-smpi builds
Martin Quinson [Mon, 24 Oct 2022 06:35:44 +0000 (08:35 +0200)]
Fix non-smpi builds

18 months agoMake the factor callbacks private in NetworkModelFactors
Martin Quinson [Sun, 23 Oct 2022 22:53:48 +0000 (00:53 +0200)]
Make the factor callbacks private in NetworkModelFactors

18 months agoMove get_{bandwidth,latency}_factor to the NetworkModelFactors trait
Martin Quinson [Sun, 23 Oct 2022 22:23:27 +0000 (00:23 +0200)]
Move get_{bandwidth,latency}_factor to the NetworkModelFactors trait

18 months agoCleanups. Kill useless code
Martin Quinson [Sun, 23 Oct 2022 22:12:01 +0000 (00:12 +0200)]
Cleanups. Kill useless code

- Kill check_lat_factor_cb() and check_bw_factor_cb(): Now cleanly in NetworkModelFactors
- Kill the NetworkSmpiModel type: useless and empty
- Kill files network_smpi.[ch]pp: empty

18 months agoRename NetworkModelIntf into NetworkModelFactors
Martin Quinson [Sun, 23 Oct 2022 21:55:51 +0000 (23:55 +0200)]
Rename NetworkModelIntf into NetworkModelFactors

18 months agoMove set_lat_factor_cb and friends to NetworkModelFactors
Martin Quinson [Sun, 23 Oct 2022 20:40:57 +0000 (22:40 +0200)]
Move set_lat_factor_cb and friends to NetworkModelFactors

18 months agoChange public NetworkModelIntf.hpp into private NetworkModelFactors.hpp
Martin Quinson [Sun, 23 Oct 2022 20:08:48 +0000 (22:08 +0200)]
Change public NetworkModelIntf.hpp into private NetworkModelFactors.hpp

- This will soon become a Trait dedicated to the handling of factors

18 months agoAllow to set the network factors callback from userland w/o relying on NetworkModelIntf
Martin Quinson [Sun, 23 Oct 2022 19:57:59 +0000 (21:57 +0200)]
Allow to set the network factors callback from userland w/o relying on NetworkModelIntf

- this file is soon private, as the other kernel headers
- this was missing a simcall anyway

18 months agoMove FactorSet from smpi::utils to kernel::resource
Martin Quinson [Sun, 23 Oct 2022 14:46:56 +0000 (16:46 +0200)]
Move FactorSet from smpi::utils to kernel::resource

This fixes non-SMPI builds.

Also fix clang builds on the way (initializer_list must be given explicitly)

18 months agoRewrite the doc of the bw and latency factors
Martin Quinson [Sun, 23 Oct 2022 14:02:09 +0000 (16:02 +0200)]
Rewrite the doc of the bw and latency factors

18 months agoMerge network/bandwidth-factor and smpi/bw-factor (and same for latency)
Martin Quinson [Sun, 23 Oct 2022 09:28:33 +0000 (11:28 +0200)]
Merge network/bandwidth-factor and smpi/bw-factor (and same for latency)

18 months agoHide cfg_latency_factor and bw, and change them into smpi::utils::FactorSet
Martin Quinson [Sat, 22 Oct 2022 21:36:36 +0000 (23:36 +0200)]
Hide cfg_latency_factor and bw, and change them into smpi::utils::FactorSet

18 months agoParameters 'network/latency-factor' and bandwidth-factor are now strings parsed manually
Martin Quinson [Sat, 22 Oct 2022 20:31:08 +0000 (22:31 +0200)]
Parameters 'network/latency-factor' and bandwidth-factor are now strings parsed manually

This will allow to merge them with their smpi counterparts.

18 months agoAlso cleanup the network/weight-S parameter
Martin Quinson [Sat, 22 Oct 2022 20:05:48 +0000 (22:05 +0200)]
Also cleanup the network/weight-S parameter

18 months agoCleanups around network/latency-factor. Default latency of Cste model is 1 again
Martin Quinson [Sat, 22 Oct 2022 19:56:37 +0000 (21:56 +0200)]
Cleanups around network/latency-factor. Default latency of Cste model is 1 again

Default latency was accidentally the latency factor of LV_08

18 months agoInline the parse_factor function now that FactorSet is in place
Martin Quinson [Sat, 22 Oct 2022 19:15:43 +0000 (21:15 +0200)]
Inline the parse_factor function now that FactorSet is in place

18 months agoReduce the exposition of s_smpi_factor_t
Martin Quinson [Sat, 22 Oct 2022 19:10:50 +0000 (21:10 +0200)]
Reduce the exposition of s_smpi_factor_t

18 months agofurther refacto smpi_factors to reduce dupplication
Martin Quinson [Sat, 22 Oct 2022 18:00:12 +0000 (20:00 +0200)]
further refacto smpi_factors to reduce dupplication

18 months agoIntroduce class simgrid::smpi::utils::FactorSet to reduce code dupplication
Martin Quinson [Sat, 22 Oct 2022 16:59:39 +0000 (18:59 +0200)]
Introduce class simgrid::smpi::utils::FactorSet to reduce code dupplication

18 months agoReduce dupplication around smpi factors
Martin Quinson [Sat, 22 Oct 2022 09:34:32 +0000 (11:34 +0200)]
Reduce dupplication around smpi factors

18 months agoKill an unused declaration
Martin Quinson [Fri, 21 Oct 2022 19:10:15 +0000 (21:10 +0200)]
Kill an unused declaration

18 months agofix the parameter of a strncpy call
Martin Quinson [Fri, 21 Oct 2022 12:51:59 +0000 (14:51 +0200)]
fix the parameter of a strncpy call

18 months agoDoc: link another python example (+ typo)
Martin Quinson [Fri, 21 Oct 2022 12:51:02 +0000 (14:51 +0200)]
Doc: link another python example  (+ typo)

18 months agoin MC mode, failed xbt_assert() are reported as MC_assert()s
Martin Quinson [Mon, 17 Oct 2022 23:36:14 +0000 (01:36 +0200)]
in MC mode, failed xbt_assert() are reported as MC_assert()s

18 months agoRemove temporary file [ci-skip]
Arnaud Giersch [Sun, 16 Oct 2022 16:19:13 +0000 (18:19 +0200)]
Remove temporary file [ci-skip]

18 months agoFix non-MC builds that don't have libevent-dev installed
Martin Quinson [Mon, 17 Oct 2022 20:50:48 +0000 (22:50 +0200)]
Fix non-MC builds that don't have libevent-dev installed

Appveyor and Mac OSx are such systems

18 months agoKill redundent sanity checks
Martin Quinson [Sun, 16 Oct 2022 22:27:01 +0000 (00:27 +0200)]
Kill redundent sanity checks

18 months agoDon't include simgrid/config.h from simgrid/modelchecker.h so that the later is cheap...
Martin Quinson [Sun, 16 Oct 2022 21:59:01 +0000 (23:59 +0200)]
Don't include simgrid/config.h from simgrid/modelchecker.h so that the later is cheap to load

The functions are now generated in any case, and only do something
when SIMGRID_HAVE_MC is compiled in.

Also:
 - kill MC_automaton_new_propositional_symbol() that was never implemented
 - kill MC_visited_reduction() that was not used (anymore?)
 - Convert _sg_do_model_check to simgrid::mc::cfg_do_model_check

18 months agoDeal with PTHREAD_STATIC_INITIALIZER if it behave as in glibc
Martin Quinson [Sun, 16 Oct 2022 14:53:27 +0000 (16:53 +0200)]
Deal with PTHREAD_STATIC_INITIALIZER if it behave as in glibc

18 months agoAdd a sthread+MC example that deadlocks
Martin Quinson [Sun, 16 Oct 2022 10:57:20 +0000 (12:57 +0200)]
Add a sthread+MC example that deadlocks

+ fix make distcheck

18 months agoRename the transitions so that asynchronous ones clearly appear so
Martin Quinson [Sun, 16 Oct 2022 10:42:24 +0000 (12:42 +0200)]
Rename the transitions so that asynchronous ones clearly appear so

18 months agoAdd a sthread example that works (no deadlock)
Martin Quinson [Sun, 16 Oct 2022 10:11:47 +0000 (12:11 +0200)]
Add a sthread example that works (no deadlock)

18 months agoImplement pthread_join in MC mode for sthread
Martin Quinson [Sun, 16 Oct 2022 09:54:03 +0000 (11:54 +0200)]
Implement pthread_join in MC mode for sthread

18 months agoRestore the previous observable behavior.
Arnaud Giersch [Fri, 14 Oct 2022 12:05:09 +0000 (14:05 +0200)]
Restore the previous observable behavior.

The value -1 was in fact never returned.

18 months agoFix crash with debug logs.
Arnaud Giersch [Fri, 14 Oct 2022 09:35:21 +0000 (11:35 +0200)]
Fix crash with debug logs.

18 months agoCosmetics.
Arnaud Giersch [Thu, 13 Oct 2022 13:01:15 +0000 (15:01 +0200)]
Cosmetics.

18 months agoRemove redundant guard.
Arnaud Giersch [Wed, 12 Oct 2022 16:40:25 +0000 (18:40 +0200)]
Remove redundant guard.

AppSide::ignore_heap() already returns early when not MC_is_active().

18 months agoFix distcheck.
Arnaud Giersch [Tue, 11 Oct 2022 13:10:58 +0000 (15:10 +0200)]
Fix distcheck.

18 months agoEnable simple sthread example.
Arnaud Giersch [Tue, 11 Oct 2022 13:06:29 +0000 (15:06 +0200)]
Enable simple sthread example.

18 months agoActor::create already does init->start.
Arnaud Giersch [Tue, 11 Oct 2022 12:50:14 +0000 (14:50 +0200)]
Actor::create already does init->start.

18 months agoFix dead store (fbinfer).
Arnaud Giersch [Fri, 7 Oct 2022 12:54:10 +0000 (14:54 +0200)]
Fix dead store (fbinfer).

18 months agoMBI: don't even run the concurrency tests. Save white bears as we know these tests...
Martin Quinson [Mon, 10 Oct 2022 21:25:57 +0000 (23:25 +0200)]
MBI: don't even run the concurrency tests. Save white bears as we know these tests fail

18 months agoMBI: use file globbing to make sure that we don't forget any generator
Martin Quinson [Mon, 10 Oct 2022 21:07:57 +0000 (23:07 +0200)]
MBI: use file globbing to make sure that we don't forget any generator

18 months agoMBI: Properly integrate the Epoch lifecycle tests into our infra
Martin Quinson [Mon, 10 Oct 2022 20:59:09 +0000 (22:59 +0200)]
MBI: Properly integrate the Epoch lifecycle tests into our infra

18 months agoOnly add a barrier to 8 collectives. The other ones don't seem to need it
Martin Quinson [Mon, 10 Oct 2022 20:49:19 +0000 (22:49 +0200)]
Only add a barrier to 8 collectives. The other ones don't seem to need it

18 months agoFix windows build by not declaring XBT_PUBLIC an inline function
Martin Quinson [Mon, 10 Oct 2022 20:13:57 +0000 (22:13 +0200)]
Fix windows build by not declaring XBT_PUBLIC an inline function

18 months agoMBI.py: More informative error message on failure
Martin Quinson [Mon, 10 Oct 2022 19:23:25 +0000 (21:23 +0200)]
MBI.py: More informative error message on failure

18 months agoNew option to detect dangerous code mixing collectives and P2P in a deadlocking way
Martin Quinson [Mon, 10 Oct 2022 19:19:04 +0000 (21:19 +0200)]
New option to detect dangerous code mixing collectives and P2P in a deadlocking way

18 months agoAllow to pass aliases to declare_flag
Martin Quinson [Mon, 10 Oct 2022 18:54:59 +0000 (20:54 +0200)]
Allow to pass aliases to declare_flag

18 months agoMBI: re-mark as WILL_FAIL some tests that require to intercept memory accesses
Martin Quinson [Fri, 7 Oct 2022 09:08:24 +0000 (11:08 +0200)]
MBI: re-mark as WILL_FAIL some tests that require to intercept memory accesses

19 months agoMerge branch 'wifi_clean' into 'master'
Arnaud Giersch [Fri, 7 Oct 2022 12:47:17 +0000 (12:47 +0000)]
Merge branch 'wifi_clean' into 'master'

removed unused variable

See merge request simgrid/simgrid!120

19 months agoremoved unused variable
Clément Courageux-Sudan [Fri, 7 Oct 2022 10:13:25 +0000 (12:13 +0200)]
removed unused variable

19 months agoMisc sonar and codefactor.io issues.
Arnaud Giersch [Fri, 7 Oct 2022 07:38:25 +0000 (09:38 +0200)]
Misc sonar and codefactor.io issues.

19 months agoList last merged MR.
Arnaud Giersch [Fri, 7 Oct 2022 07:36:49 +0000 (09:36 +0200)]
List last merged MR.

19 months agoMerge branch 'adegomme-master-patch-91657' into 'master'
Augustin Degomme [Thu, 6 Oct 2022 22:27:27 +0000 (22:27 +0000)]
Merge branch 'adegomme-master-patch-91657' into 'master'

SMPI: add option to inject a barrier before every collective call, to allow...

See merge request simgrid/simgrid!119

19 months agoSMPI: add option to inject a barrier before every collective call, to allow better...
Augustin Degomme [Thu, 6 Oct 2022 22:18:04 +0000 (22:18 +0000)]
SMPI: add option to inject a barrier before every collective call, to allow better detection of dangerous patterns in MPI codes, triggering deadlocks more consistently. Activate it in -analyze mode, or with --cfg=smpi/colls-inject-barrier:true

19 months agoDocument the recent https://framagit.org/simgrid/simgrid/-/merge_requests/118
Martin Quinson [Thu, 6 Oct 2022 21:58:39 +0000 (23:58 +0200)]
Document the recent https://framagit.org/simgrid/simgrid/-/merge_requests/118

19 months agotypo in the tutorial
Martin Quinson [Thu, 6 Oct 2022 12:50:37 +0000 (14:50 +0200)]
typo in the tutorial

19 months agoLet the latest MBI tests compile with our paranoid compil flags
Martin Quinson [Tue, 4 Oct 2022 22:35:41 +0000 (00:35 +0200)]
Let the latest MBI tests compile with our paranoid compil flags

19 months agoteshsuite: smpi: MBI: Merge change form MBI.
Pierre-Antoine Rouby [Mon, 11 Jul 2022 13:11:58 +0000 (15:11 +0200)]
teshsuite: smpi: MBI: Merge change form MBI.

19 months agoWe don't use doxygen to build the docs anymore
Martin Quinson [Tue, 4 Oct 2022 20:44:07 +0000 (22:44 +0200)]
We don't use doxygen to build the docs anymore

This integrates another debian patch

19 months agoIntegrate the patch javadoc-openjdk17 from Debian
Martin Quinson [Tue, 4 Oct 2022 20:35:59 +0000 (22:35 +0200)]
Integrate the patch javadoc-openjdk17 from Debian

19 months agoMerge branch 'wifi_clean' into 'master'
Arnaud Giersch [Thu, 6 Oct 2022 19:07:17 +0000 (19:07 +0000)]
Merge branch 'wifi_clean' into 'master'

Wi-Fi callback mechanism

See merge request simgrid/simgrid!118

19 months agosyntax issues
Clément Courageux-Sudan [Thu, 6 Oct 2022 15:10:00 +0000 (17:10 +0200)]
syntax issues

19 months agofix make distcheck
Clément Courageux-Sudan [Thu, 6 Oct 2022 15:09:15 +0000 (17:09 +0200)]
fix make distcheck

19 months agoDo not expose Activity::set_remaining publicly.
Arnaud Giersch [Thu, 6 Oct 2022 12:16:55 +0000 (14:16 +0200)]
Do not expose Activity::set_remaining publicly.

Prevents confusion with Comm::set_payload_size.

19 months agos/set_/get_/ in doc
Arnaud Giersch [Thu, 6 Oct 2022 12:16:37 +0000 (14:16 +0200)]
s/set_/get_/ in doc

19 months agoCoding style: prefer keyword "not" to "!".
Arnaud Giersch [Tue, 4 Oct 2022 13:27:24 +0000 (15:27 +0200)]
Coding style: prefer keyword "not" to "!".

19 months agodocker-stable gh action: push all tags; display the pushed version
Martin Quinson [Tue, 4 Oct 2022 12:54:57 +0000 (14:54 +0200)]
docker-stable gh action: push all tags; display the pushed version

19 months agoDefine macro XBT_ATTRIB_DEPRECATED_v337.
Arnaud Giersch [Tue, 4 Oct 2022 06:54:20 +0000 (08:54 +0200)]
Define macro XBT_ATTRIB_DEPRECATED_v337.

19 months agoRemove deprecated features for next release (3.33).
Arnaud Giersch [Tue, 4 Oct 2022 06:54:20 +0000 (08:54 +0200)]
Remove deprecated features for next release (3.33).

19 months agoStart the next dev cycle
Martin Quinson [Mon, 3 Oct 2022 23:21:16 +0000 (01:21 +0200)]
Start the next dev cycle

19 months agoDon't crash simulation if size is 0 in sendrecv_replace, as it is legal.
Augustin Degomme [Mon, 3 Oct 2022 21:38:20 +0000 (21:38 +0000)]
Don't crash simulation if size is 0 in sendrecv_replace, as it is legal.

19 months agoRelease v3.32: The Wiedervereinigung release v3.32
Martin Quinson [Mon, 3 Oct 2022 18:38:53 +0000 (20:38 +0200)]
Release v3.32: The Wiedervereinigung release

19 months agoFix an error message
Martin Quinson [Mon, 3 Oct 2022 17:14:56 +0000 (19:14 +0200)]
Fix an error message

19 months agoMPI_Win: set to MPI_WIN_NULL after deletion to avoid possibility of calling it multip...
Augustin Degomme [Mon, 3 Oct 2022 16:43:51 +0000 (16:43 +0000)]
MPI_Win: set to MPI_WIN_NULL after deletion to avoid possibility of calling it multiple times

19 months agoMinor polishing.
Arnaud Giersch [Mon, 3 Oct 2022 12:25:18 +0000 (14:25 +0200)]
Minor polishing.

[ci-skip]

19 months ago[noci] check v3.32 notes
Fred Suter [Mon, 3 Oct 2022 12:17:22 +0000 (08:17 -0400)]
[noci] check v3.32 notes