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

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

Document the recent https://framagit.org/simgrid/simgrid/-/merge_requests/118

typo in the tutorial

Let the latest MBI tests compile with our paranoid compil flags

teshsuite: smpi: MBI: Merge change form MBI.

We don't use doxygen to build the docs anymore

This integrates another debian patch

Integrate the patch javadoc-openjdk17 from Debian

Merge branch 'wifi_clean' into 'master'

Wi-Fi callback mechanism

See merge request simgrid/simgrid!118

syntax issues

fix make distcheck

Do not expose Activity::set_remaining publicly.

Prevents confusion with Comm::set_payload_size.

s/set_/get_/ in doc

Coding style: prefer keyword "not" to "!".

docker-stable gh action: push all tags; display the pushed version

Define macro XBT_ATTRIB_DEPRECATED_v337.

Remove deprecated features for next release (3.33).

Start the next dev cycle

Don't crash simulation if size is 0 in sendrecv_replace, as it is legal.

Release v3.32: The Wiedervereinigung release

Fix an error message

MPI_Win: set to MPI_WIN_NULL after deletion to avoid possibility of calling it multiple times

Minor polishing.

[ci-skip]

[noci] check v3.32 notes

docs/source/Release_Notes.rst

[noci] check v3.32 notes

Draft of release notes

Tentative NEWS file for the 3.32 release

docs: tiny improvement about cmake+SMPI in user code

More helpful error message when someone needs --cfg=model-check/setenv

Cosmetics in the ChangeLog

Document all commits since 3.31. The changelog may be reordered for clarity

Hint the users about how to avoid dwarf5 errors around MC

Use std::fill instead of memset.

It's a bit more C++'ish, and it seems to help to workaround what looks like an
optimization bug in IntelLLVM 2022.2.0 (xbt::dict unit tests are failing).

Useless cast.

Reduce code duplication.

Cosmetics: parameter is obviously not empty.

Update .mailmap.

Remove old fPIC placement

Ensure a fPIC in case CMDARGS has a fPIE

Lambdas should not have too many lines (sonar).

Kill obsolete FIXME.

Initialize all members (PVS V730).

Useless assignment (PVS V1048).

Also check result for last call of MPI_Alltoallv in this example.

Fix potential use of invalid data (PVS V1024).

Use existing function.

Use existing macros (and fix error code).

this was not supposed to be modified, actually

Delete unused file.

Its content is already in clusters.tesh.

[ci-skip]

fat tree routing: fix d-mod-k usage of cables when several are available

Completely remove detached comms when they are finished.

Auto for sonar.

CentOS uses dnf nowadays

Fix double-free.

Ignore ASan odr violation warnings seen with bmf unit tests.

[ci-skip]

Revert change erroneously introduced in commit 223f79c1a096e4157772f8bc3b4f5cdf5161b524

Do not mangle recorded paths when building for coverage.

... and see if it helps for coverage reports (cobertura, sonar, ...)

Use std::string_view (sonar).

Reduce scope for global variables.

Increase test timeout for coverage too.

[ci-ckip]

Try gcovr with option --gcov-ignore-parse-errors.

It seems to help locally.

Use the init-statement to declare variables inside the if statement.

Merge branch 'adegomme-master-patch-45262' into 'master'

let's see if this finds more coverage reports

See merge request simgrid/simgrid!117

let's see if this finds more coverage reports

Guard against invalid idx.

Fixes tests mbi_ParamMatching_Com_Exscan_ok, mbi_ParamMatching_Com_Scan_ok.

Type consistency.

Attribute "printf" for ModelChecker::dot_output.

Don't throw an exception from destructor.

boost::circular_buffer_space_optimized::pop_back() may throw std::bad_alloc

C++17 is required since commit d5718258083be61d600e55b70915ccca43666e0f.

Reduce depth of nested statements

Don't give write permissions to others with mkdir.

Use "std::vector" instead of C-style array (sonar).

Avoid to send/receive zero-size messages.

There seems to be something broken with them on freebsd.

Update tesh file.

(follows commit 9b1267b59e70deb98dbf69b1231f597ed292aaaf)

Misc cosmetics for sonar.

Remove temporary object (sonar).

Declare functions "const" (sonar).

Make parameters pointer/reference-to-const (sonar).

Kill redundant blank lines (codefactor.io)

[ci-skip]

[ci-skip] try to help gcovr find files (it needs to be run in the same dir as gcc)

MC: apply some sonar advices

Fix the fixme (inline templated struct).

Unused include.

remove spurious debug message and warning

update teshes

multiple attemps to tune behavior of read/write_all

fix mpi_file set/get view to set shared pointer properly and return disp

update file pointer to match shared one after shared calls when needed

seek and other calls must use number of elements and not bytes displacement

update teshes as there are now more seek calls

smpi io: restore position after calls which should not modify it (add seek calls which are not ideal but harmless)

s4u filesystem: correctly update size of files when changed

intercept getpid call in SMPI, to provide internal PID instead of same of for all processes.

implement MPI_File_get_type_extent, MPI_File_s/get_atomicity, MPI_File_get_byte_offset

filesystem, correctly update file size when seeking past it

Don't test statequality: it's ~15h w/o DPOR and hard to optimize

Correctly disable DPOR when StateEq reduction is enabled

Add the teshfiles to the archive even when MC is disabled

Add tests of state equality reduction and nodpor for DFS explo

kill a parameter that is always true