Arnaud Giersch [Mon, 3 Oct 2022 12:25:18 +0000 (14:25 +0200)]
Minor polishing.
[ci-skip]
Fred Suter [Mon, 3 Oct 2022 12:17:22 +0000 (08:17 -0400)]
[noci] check v3.32 notes
Fred Suter [Tue, 19 Jul 2022 13:50:21 +0000 (09:50 -0400)]
docs/source/Release_Notes.rst
[noci] check v3.32 notes
Martin Quinson [Sun, 2 Oct 2022 23:45:24 +0000 (01:45 +0200)]
Draft of release notes
Martin Quinson [Sun, 2 Oct 2022 21:53:37 +0000 (23:53 +0200)]
Tentative NEWS file for the 3.32 release
Martin Quinson [Sun, 2 Oct 2022 21:39:59 +0000 (23:39 +0200)]
docs: tiny improvement about cmake+SMPI in user code
Martin Quinson [Sun, 2 Oct 2022 21:28:25 +0000 (23:28 +0200)]
More helpful error message when someone needs --cfg=model-check/setenv
Martin Quinson [Sun, 2 Oct 2022 19:35:32 +0000 (21:35 +0200)]
Cosmetics in the ChangeLog
Martin Quinson [Sun, 2 Oct 2022 15:05:37 +0000 (17:05 +0200)]
Document all commits since 3.31. The changelog may be reordered for clarity
Martin Quinson [Sun, 2 Oct 2022 14:37:20 +0000 (16:37 +0200)]
Hint the users about how to avoid dwarf5 errors around MC
Arnaud Giersch [Thu, 29 Sep 2022 15:29:41 +0000 (17:29 +0200)]
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).
Arnaud Giersch [Thu, 29 Sep 2022 14:03:20 +0000 (16:03 +0200)]
Useless cast.
Arnaud Giersch [Thu, 29 Sep 2022 08:42:43 +0000 (10:42 +0200)]
Reduce code duplication.
Arnaud Giersch [Thu, 29 Sep 2022 08:41:43 +0000 (10:41 +0200)]
Cosmetics: parameter is obviously not empty.
Arnaud Giersch [Wed, 28 Sep 2022 20:34:48 +0000 (22:34 +0200)]
Update .mailmap.
Lucas Nesi [Wed, 28 Sep 2022 15:47:51 +0000 (17:47 +0200)]
Remove old fPIC placement
Lucas Nesi [Wed, 28 Sep 2022 14:26:26 +0000 (16:26 +0200)]
Ensure a fPIC in case CMDARGS has a fPIE
Arnaud Giersch [Wed, 21 Sep 2022 14:02:21 +0000 (16:02 +0200)]
Lambdas should not have too many lines (sonar).
Arnaud Giersch [Wed, 21 Sep 2022 12:45:27 +0000 (14:45 +0200)]
Kill obsolete FIXME.
Arnaud Giersch [Fri, 16 Sep 2022 15:04:39 +0000 (17:04 +0200)]
Initialize all members (PVS V730).
Arnaud Giersch [Fri, 16 Sep 2022 14:55:45 +0000 (16:55 +0200)]
Useless assignment (PVS V1048).
Arnaud Giersch [Fri, 16 Sep 2022 14:48:30 +0000 (16:48 +0200)]
Also check result for last call of MPI_Alltoallv in this example.
Arnaud Giersch [Fri, 16 Sep 2022 13:53:10 +0000 (15:53 +0200)]
Fix potential use of invalid data (PVS V1024).
Arnaud Giersch [Fri, 16 Sep 2022 12:46:44 +0000 (14:46 +0200)]
Use existing function.
Arnaud Giersch [Fri, 16 Sep 2022 12:19:10 +0000 (14:19 +0200)]
Use existing macros (and fix error code).
Augustin Degomme [Fri, 16 Sep 2022 12:44:45 +0000 (14:44 +0200)]
this was not supposed to be modified, actually
Arnaud Giersch [Thu, 15 Sep 2022 08:57:48 +0000 (10:57 +0200)]
Delete unused file.
Its content is already in clusters.tesh.
[ci-skip]
adegomme [Thu, 15 Sep 2022 16:04:14 +0000 (16:04 +0000)]
fat tree routing: fix d-mod-k usage of cables when several are available
Arnaud Giersch [Fri, 9 Sep 2022 11:09:39 +0000 (13:09 +0200)]
Completely remove detached comms when they are finished.
Arnaud Giersch [Wed, 7 Sep 2022 13:01:05 +0000 (15:01 +0200)]
Auto for sonar.
Martin Quinson [Thu, 8 Sep 2022 13:52:18 +0000 (15:52 +0200)]
CentOS uses dnf nowadays
Arnaud Giersch [Tue, 6 Sep 2022 16:00:27 +0000 (18:00 +0200)]
Fix double-free.
Arnaud Giersch [Sat, 3 Sep 2022 10:02:20 +0000 (12:02 +0200)]
Ignore ASan odr violation warnings seen with bmf unit tests.
[ci-skip]
Arnaud Giersch [Fri, 2 Sep 2022 12:34:02 +0000 (14:34 +0200)]
Revert change erroneously introduced in commit
223f79c1a096e4157772f8bc3b4f5cdf5161b524
Arnaud Giersch [Fri, 2 Sep 2022 12:26:18 +0000 (14:26 +0200)]
Do not mangle recorded paths when building for coverage.
... and see if it helps for coverage reports (cobertura, sonar, ...)
Arnaud Giersch [Wed, 31 Aug 2022 13:15:57 +0000 (15:15 +0200)]
Use std::string_view (sonar).
Arnaud Giersch [Wed, 31 Aug 2022 13:12:42 +0000 (15:12 +0200)]
Reduce scope for global variables.
Arnaud Giersch [Mon, 29 Aug 2022 16:14:45 +0000 (18:14 +0200)]
Increase test timeout for coverage too.
[ci-ckip]
Arnaud Giersch [Mon, 29 Aug 2022 14:06:22 +0000 (16:06 +0200)]
Try gcovr with option --gcov-ignore-parse-errors.
It seems to help locally.
Arnaud Giersch [Sat, 27 Aug 2022 16:41:07 +0000 (18:41 +0200)]
Use the init-statement to declare variables inside the if statement.
Augustin Degomme [Mon, 29 Aug 2022 08:20:28 +0000 (08:20 +0000)]
Merge branch 'adegomme-master-patch-45262' into 'master'
let's see if this finds more coverage reports
See merge request simgrid/simgrid!117
Augustin Degomme [Mon, 29 Aug 2022 08:04:18 +0000 (08:04 +0000)]
let's see if this finds more coverage reports
Arnaud Giersch [Sat, 27 Aug 2022 13:07:38 +0000 (15:07 +0200)]
Guard against invalid idx.
Fixes tests mbi_ParamMatching_Com_Exscan_ok, mbi_ParamMatching_Com_Scan_ok.
Arnaud Giersch [Fri, 26 Aug 2022 13:52:46 +0000 (15:52 +0200)]
Type consistency.
Arnaud Giersch [Fri, 26 Aug 2022 13:36:05 +0000 (15:36 +0200)]
Attribute "printf" for ModelChecker::dot_output.
Arnaud Giersch [Fri, 26 Aug 2022 13:23:21 +0000 (15:23 +0200)]
Don't throw an exception from destructor.
boost::circular_buffer_space_optimized::pop_back() may throw std::bad_alloc
Arnaud Giersch [Fri, 26 Aug 2022 13:13:01 +0000 (15:13 +0200)]
Arnaud Giersch [Fri, 26 Aug 2022 12:51:20 +0000 (14:51 +0200)]
Reduce depth of nested statements
Arnaud Giersch [Fri, 26 Aug 2022 12:48:09 +0000 (14:48 +0200)]
Don't give write permissions to others with mkdir.
Arnaud Giersch [Fri, 26 Aug 2022 09:16:07 +0000 (11:16 +0200)]
Use "std::vector" instead of C-style array (sonar).
Arnaud Giersch [Fri, 26 Aug 2022 09:09:30 +0000 (11:09 +0200)]
Avoid to send/receive zero-size messages.
There seems to be something broken with them on freebsd.
Arnaud Giersch [Thu, 25 Aug 2022 12:20:58 +0000 (14:20 +0200)]
Arnaud Giersch [Thu, 25 Aug 2022 10:01:06 +0000 (12:01 +0200)]
Misc cosmetics for sonar.
Arnaud Giersch [Thu, 25 Aug 2022 09:59:17 +0000 (11:59 +0200)]
Remove temporary object (sonar).
Arnaud Giersch [Thu, 25 Aug 2022 09:51:15 +0000 (11:51 +0200)]
Declare functions "const" (sonar).
Arnaud Giersch [Thu, 25 Aug 2022 09:29:58 +0000 (11:29 +0200)]
Make parameters pointer/reference-to-const (sonar).
Arnaud Giersch [Wed, 10 Aug 2022 15:05:41 +0000 (17:05 +0200)]
Kill redundant blank lines (codefactor.io)
[ci-skip]
Augustin Degomme [Wed, 10 Aug 2022 20:56:52 +0000 (20:56 +0000)]
[ci-skip] try to help gcovr find files (it needs to be run in the same dir as gcc)
Martin Quinson [Tue, 9 Aug 2022 21:05:46 +0000 (23:05 +0200)]
MC: apply some sonar advices
Arnaud Giersch [Tue, 9 Aug 2022 20:39:20 +0000 (22:39 +0200)]
Fix the fixme (inline templated struct).
Arnaud Giersch [Tue, 9 Aug 2022 20:30:44 +0000 (22:30 +0200)]
Unused include.
Augustin Degomme [Tue, 9 Aug 2022 15:14:56 +0000 (17:14 +0200)]
remove spurious debug message and warning
Augustin Degomme [Tue, 9 Aug 2022 14:29:31 +0000 (16:29 +0200)]
update teshes
Augustin Degomme [Tue, 9 Aug 2022 14:23:54 +0000 (16:23 +0200)]
multiple attemps to tune behavior of read/write_all
Augustin Degomme [Tue, 9 Aug 2022 14:23:11 +0000 (16:23 +0200)]
fix mpi_file set/get view to set shared pointer properly and return disp
Augustin Degomme [Tue, 9 Aug 2022 14:21:24 +0000 (16:21 +0200)]
update file pointer to match shared one after shared calls when needed
Augustin Degomme [Tue, 9 Aug 2022 14:13:53 +0000 (16:13 +0200)]
seek and other calls must use number of elements and not bytes displacement
Augustin Degomme [Tue, 9 Aug 2022 14:12:18 +0000 (16:12 +0200)]
update teshes as there are now more seek calls
Augustin Degomme [Tue, 9 Aug 2022 14:10:42 +0000 (16:10 +0200)]
smpi io: restore position after calls which should not modify it (add seek calls which are not ideal but harmless)
Augustin Degomme [Tue, 9 Aug 2022 14:03:17 +0000 (16:03 +0200)]
s4u filesystem: correctly update size of files when changed
Augustin Degomme [Tue, 9 Aug 2022 14:00:13 +0000 (16:00 +0200)]
intercept getpid call in SMPI, to provide internal PID instead of same of for all processes.
Augustin Degomme [Tue, 9 Aug 2022 13:56:32 +0000 (15:56 +0200)]
implement MPI_File_get_type_extent, MPI_File_s/get_atomicity, MPI_File_get_byte_offset
Augustin Degomme [Sat, 6 Aug 2022 10:51:12 +0000 (12:51 +0200)]
filesystem, correctly update file size when seeking past it
Martin Quinson [Mon, 8 Aug 2022 23:17:39 +0000 (01:17 +0200)]
Don't test statequality: it's ~15h w/o DPOR and hard to optimize
Martin Quinson [Mon, 8 Aug 2022 22:55:45 +0000 (00:55 +0200)]
Correctly disable DPOR when StateEq reduction is enabled
Martin Quinson [Mon, 8 Aug 2022 21:15:13 +0000 (23:15 +0200)]
Add the teshfiles to the archive even when MC is disabled
Martin Quinson [Sun, 7 Aug 2022 23:39:35 +0000 (01:39 +0200)]
Add tests of state equality reduction and nodpor for DFS explo
Martin Quinson [Sun, 7 Aug 2022 23:17:54 +0000 (01:17 +0200)]
kill a parameter that is always true
Martin Quinson [Sun, 7 Aug 2022 23:08:48 +0000 (01:08 +0200)]
mc:DFSExplo: cosmetics in the backtracking
Martin Quinson [Sun, 7 Aug 2022 22:29:08 +0000 (00:29 +0200)]
Merge mc_safety.hpp into DFSExplorer class
Martin Quinson [Sun, 7 Aug 2022 21:52:11 +0000 (23:52 +0200)]
Useless cosmetics while trying to understand that code
Martin Quinson [Sun, 7 Aug 2022 17:30:19 +0000 (19:30 +0200)]
Integrate the (WIP) hashing logic in the Snapshot object
Martin Quinson [Sun, 7 Aug 2022 16:51:55 +0000 (18:51 +0200)]
Small cleanups in mc::Snapshot
Martin Quinson [Sat, 6 Aug 2022 23:33:18 +0000 (01:33 +0200)]
Finish the removal of mc::api by moving the last bits to the side
I would prefer to directly kill the templated structure, but I fail to
write a correct comparison lambda because it's used over a
std::vector<std::unique_ptr<simgrid::mc::VisitedState>>
All my attempts lead to either "no conversion to std::unique_ptr<VisitedState>",
or an error saying that I try to copy a unique_ptr when my lambda
takes unique_ptr as a parameter.
Please someone better at C++ than I am, please kill it.
Martin Quinson [Sat, 6 Aug 2022 23:05:56 +0000 (01:05 +0200)]
Move mc:api::get_remote_heap_bytes() to RemoteProcess
Martin Quinson [Sat, 6 Aug 2022 22:33:02 +0000 (00:33 +0200)]
Convert simgrid::mc::snapshot_equal() into Snapshot::operator==()
Also inline 2 more functions from mc::api
Martin Quinson [Sat, 6 Aug 2022 22:13:53 +0000 (00:13 +0200)]
Move the dot_output global into ModelChecker
Martin Quinson [Sat, 6 Aug 2022 21:12:52 +0000 (23:12 +0200)]
Make the RemoteApp a field of the Exploration, and sanitize initialization
Martin Quinson [Thu, 4 Aug 2022 21:55:29 +0000 (23:55 +0200)]
Simplify the MC initialization code
Martin Quinson [Thu, 4 Aug 2022 21:43:57 +0000 (23:43 +0200)]
only 3 more functions to go in mc::api
Martin Quinson [Thu, 4 Aug 2022 19:18:33 +0000 (21:18 +0200)]
Kill another mc::api function
Martin Quinson [Thu, 4 Aug 2022 19:10:48 +0000 (21:10 +0200)]
Pass the remote app as a parameter to all exploration signals
When we'll have reforks in the future, the remote app may change
during the exploration, so we don't want to seal the current remote
app in the callback closure. We want to use the fresh one instead.
Martin Quinson [Thu, 4 Aug 2022 14:28:55 +0000 (16:28 +0200)]
Kill 2 more functions from mc::api
Martin Quinson [Wed, 3 Aug 2022 23:47:04 +0000 (01:47 +0200)]
Move the automaton from mc::api to Liveness. An ugly trick is needed :(
See the comment in Liveness.hpp for the full details on that trick.
Martin Quinson [Tue, 2 Aug 2022 20:56:47 +0000 (22:56 +0200)]
log_state has nothing to do in RemoteApp, it belongs to the exploration
Martin Quinson [Tue, 2 Aug 2022 14:58:56 +0000 (16:58 +0200)]
Sanitize MC finalization process and inline a function
Martin Quinson [Tue, 2 Aug 2022 12:25:03 +0000 (14:25 +0200)]
Kill mc::api::get_remote_app()
Martin Quinson [Tue, 2 Aug 2022 12:06:47 +0000 (14:06 +0200)]
Kill another function of mc::api
Martin Quinson [Tue, 2 Aug 2022 11:45:37 +0000 (13:45 +0200)]
Kill an unimplemented declaration
Martin Quinson [Tue, 2 Aug 2022 11:08:10 +0000 (13:08 +0200)]
Convert Api::get_maxpid() into RemoteApp::get_maxpid()
The patch is a bit complex because RemoteApp is not a singleton, and
because I converted some pointers to references on the way.