Martin Quinson [Sun, 12 Nov 2023 14:03:26 +0000 (15:03 +0100)]
Small typos in comments
Martin Quinson [Sun, 12 Nov 2023 14:01:06 +0000 (15:01 +0100)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Sun, 12 Nov 2023 14:00:51 +0000 (15:00 +0100)]
Fix tesh autotests after recent change to display the command ASAP
Arnaud Giersch [Fri, 10 Nov 2023 14:54:31 +0000 (15:54 +0100)]
Update .mailmap.
[ci-skip]
mlaurent [Fri, 10 Nov 2023 18:01:45 +0000 (19:01 +0100)]
Add debug info for reversible race construction
mlaurent [Thu, 9 Nov 2023 11:22:05 +0000 (12:22 +0100)]
Fix tesh with new dependencies on Mutex
mlaurent [Thu, 9 Nov 2023 11:18:06 +0000 (12:18 +0100)]
Raffine reversible race calculation for MutexWait
mlaurent [Thu, 9 Nov 2023 11:17:28 +0000 (12:17 +0100)]
Add a missing independence theorem about Mutex
Martin Quinson [Thu, 9 Nov 2023 10:53:21 +0000 (11:53 +0100)]
Cleanup work to make is_race_reversible() a method of Transition
That's someone less efficient as we need to retrieve the other's
transition in all cases where most Transition kind can compute the
answer without the other transition, but that should be more readable.
mlaurent [Thu, 9 Nov 2023 10:28:36 +0000 (11:28 +0100)]
Fix some tesh after changing dependence relation about Semaphore
mlaurent [Thu, 9 Nov 2023 10:20:10 +0000 (11:20 +0100)]
Suppressed a bit too much of codes
mlaurent [Thu, 9 Nov 2023 09:40:50 +0000 (10:40 +0100)]
Clang format over some mc files
mlaurent [Thu, 9 Nov 2023 09:34:39 +0000 (10:34 +0100)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid
mlaurent [Thu, 9 Nov 2023 09:26:22 +0000 (10:26 +0100)]
Discard the wakeup tree when ODPOR reaches a disabled transition
Martin Quinson [Wed, 8 Nov 2023 23:08:16 +0000 (00:08 +0100)]
tesh: display the run command ASAP, not after its timeout
Martin Quinson [Wed, 8 Nov 2023 23:02:23 +0000 (00:02 +0100)]
Fix the tesh files now that the ODPOR algo was changed a bit
Martin Quinson [Wed, 8 Nov 2023 23:01:46 +0000 (00:01 +0100)]
Spit a message when ODPOR is not optimal
mlaurent [Wed, 8 Nov 2023 18:05:17 +0000 (19:05 +0100)]
Redondant line in insertion
mlaurent [Wed, 8 Nov 2023 17:56:03 +0000 (18:56 +0100)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid
Martin Quinson [Wed, 8 Nov 2023 15:44:10 +0000 (16:44 +0100)]
Fix ODPOR: overapproximate ReversibleRace (to not miss branches) and survive overapprox
Optimal DPOR just became sub-optimal :)
mlaurent [Wed, 8 Nov 2023 10:26:51 +0000 (11:26 +0100)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid
mlaurent [Wed, 8 Nov 2023 10:25:32 +0000 (11:25 +0100)]
Add debug log for ODPOR + required explaining comments
Martin Quinson [Wed, 8 Nov 2023 09:24:14 +0000 (10:24 +0100)]
Fix SemWai::ReversibleRace()
Martin Quinson [Tue, 7 Nov 2023 22:58:43 +0000 (23:58 +0100)]
Simply rewrap comments and reindent, no real change
Martin Quinson [Tue, 7 Nov 2023 22:25:46 +0000 (23:25 +0100)]
Add an assert that the checker don't try to exec disabled transitions
It's too bad this assert actually fails sometimes with ODPOR :)
Martin Quinson [Tue, 7 Nov 2023 22:16:42 +0000 (23:16 +0100)]
Improve the debug messages
Martin Quinson [Tue, 7 Nov 2023 22:00:42 +0000 (23:00 +0100)]
Tell the MC transition about the semaphore capacity and use it
This info is mandatory to compute the reversible race of SemWait in ODPOR
Martin Quinson [Tue, 7 Nov 2023 21:59:18 +0000 (22:59 +0100)]
Make sure that the ID of a semaphore does not change over time
Martin Quinson [Tue, 7 Nov 2023 15:58:04 +0000 (16:58 +0100)]
cosmetics: this is an ID, not a ptr
Arnaud Giersch [Tue, 7 Nov 2023 15:03:32 +0000 (16:03 +0100)]
Try to help gcovr with option --gcov-ignore-errors.
[ci-skip]
mlaurent [Tue, 7 Nov 2023 12:20:10 +0000 (13:20 +0100)]
Merge branch 'master' of https://framagit.org/simgrid/simgrid
mlaurent [Tue, 7 Nov 2023 12:15:50 +0000 (13:15 +0100)]
Add some debug info
Arnaud Giersch [Tue, 7 Nov 2023 09:23:31 +0000 (10:23 +0100)]
Use standard __func__ instead of __FUNCTION__.
Martin Quinson [Mon, 6 Nov 2023 18:43:40 +0000 (19:43 +0100)]
also remove xbt/automaton which was only useful to stateful MC
Martin Quinson [Mon, 6 Nov 2023 18:34:52 +0000 (19:34 +0100)]
Change most mcmini tests to odpor reduction; the unchanged one fails to find the deadlock with odpor...
Martin Quinson [Mon, 6 Nov 2023 16:59:26 +0000 (17:59 +0100)]
Actions executed by the same actor are always dependent, damnit
Martin Quinson [Mon, 6 Nov 2023 16:59:12 +0000 (17:59 +0100)]
ODPOR: more verbose message on assertion failure
Martin Quinson [Mon, 6 Nov 2023 12:45:03 +0000 (13:45 +0100)]
This option is used in MC, so it won't go anytime soon
Martin Quinson [Mon, 6 Nov 2023 09:59:36 +0000 (10:59 +0100)]
Troubleshooting Homebrew binaries on macOS (Thanks Paul Adam)
Martin Quinson [Sun, 5 Nov 2023 21:58:37 +0000 (22:58 +0100)]
Another attempt to fix the printf issue on mac: don't use uint64 :)
Martin Quinson [Sun, 5 Nov 2023 16:32:11 +0000 (17:32 +0100)]
There is too much boost include to protect, disable -Wundef on FreeBSD alltogether
Martin Quinson [Sun, 5 Nov 2023 16:21:28 +0000 (17:21 +0100)]
Avoid casting errors in printf on MacOSX
Martin Quinson [Sun, 5 Nov 2023 16:11:07 +0000 (17:11 +0100)]
was for stateful MC, remove this
Martin Quinson [Sun, 5 Nov 2023 16:10:42 +0000 (17:10 +0100)]
Fix gcc builds
Martin Quinson [Sun, 5 Nov 2023 15:56:46 +0000 (16:56 +0100)]
Try to survive to undefined preprocessor symbols
Martin Quinson [Sun, 5 Nov 2023 15:31:46 +0000 (16:31 +0100)]
Try to activate -Wundef on all builds
Martin Quinson [Sun, 5 Nov 2023 15:30:34 +0000 (16:30 +0100)]
Model-checking is robust now that it's stateless MC only -- remove precautionous compiler flags
Martin Quinson [Sun, 5 Nov 2023 12:28:20 +0000 (13:28 +0100)]
Restaure INCLUDE(CheckCCompilerFlag) in cmake
It was actually used, my bad.
Martin Quinson [Sun, 5 Nov 2023 08:49:29 +0000 (09:49 +0100)]
unify struct and class declarations
Martin Quinson [Sun, 5 Nov 2023 02:27:48 +0000 (03:27 +0100)]
Remove some restrictions on enable_model-checking now that it's only for the stateless MC
Martin Quinson [Sun, 5 Nov 2023 02:04:45 +0000 (03:04 +0100)]
Remove the stateful model-checking from the archive. It's not working anymore
It's a real pity to remove all this great code, as it was doing very
audacious things, but I need to do so to move forward. This code is
very fragile and badly tested, making it very difficult to build upon.
The next time this is implemented (if any), I guess that a
compiler-approach (e.g. a clang plugin providing a full introspection
over the compiled program) would be more robust than a fully runtime
approach tricking with the debug information to get the info. That's
too difficult and fragile.
Again, I'm deeply sorry I had to remove this code, as it requires me
to admit that I failed to maintain this great code over the years.
But facts are stubborn.
Martin Quinson [Sun, 5 Nov 2023 00:14:58 +0000 (01:14 +0100)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Sun, 5 Nov 2023 00:10:37 +0000 (01:10 +0100)]
Add a cmake option to disable McMini tests, and rename some existing ones
Old configurations should be updated seamlessly.
Martin Quinson [Sat, 4 Nov 2023 23:34:52 +0000 (00:34 +0100)]
Document all commits of this release cycle so far
Martin Quinson [Sat, 4 Nov 2023 22:40:45 +0000 (23:40 +0100)]
Ignore McMini tests from sonar analysis
Augustin Degomme [Sat, 4 Nov 2023 09:02:46 +0000 (10:02 +0100)]
add some new MPI4 unsupported partitioned communication functions. May not be hard to implement at some point
Martin Quinson [Fri, 3 Nov 2023 16:55:49 +0000 (17:55 +0100)]
Merge branch 'master' into simgrid-fork-changelog-plugins
Martin Quinson [Fri, 3 Nov 2023 12:57:31 +0000 (13:57 +0100)]
Fix an ODR reported by ASan
Martin Quinson [Fri, 3 Nov 2023 16:48:46 +0000 (16:48 +0000)]
Merge branch 'memleak-battery' into 'master'
Fix memleak in battery examples and task-storm
See merge request simgrid/simgrid!178
Adrien Gougeon [Fri, 3 Nov 2023 13:30:56 +0000 (14:30 +0100)]
fix memleak in battery examples and task-storm
Martin Quinson [Thu, 2 Nov 2023 21:40:14 +0000 (22:40 +0100)]
tesh: helpful message on syntax error
Martin Quinson [Thu, 2 Nov 2023 21:39:19 +0000 (22:39 +0100)]
Add more tests from McMini
Adrien Gougeon [Thu, 2 Nov 2023 17:37:50 +0000 (18:37 +0100)]
missing static keyword
Adrien Gougeon [Thu, 2 Nov 2023 17:08:40 +0000 (18:08 +0100)]
improve chiller example. remove on_power_change signal. add get_time_to_goal_temp
Adrien Gougeon [Thu, 2 Nov 2023 16:54:51 +0000 (17:54 +0100)]
better comments on examples
Adrien Gougeon [Thu, 2 Nov 2023 16:52:13 +0000 (17:52 +0100)]
add comment about chiller/battery plugins. Fix chiller doc not showing
Martin Quinson [Thu, 2 Nov 2023 10:32:59 +0000 (11:32 +0100)]
Remove ignored lines from tesh files, uberbumer
Martin Quinson [Thu, 2 Nov 2023 10:15:09 +0000 (11:15 +0100)]
Fix MC builds
No idea why it wasn't catched by regular builds, but didn't dig either.
Martin Quinson [Thu, 2 Nov 2023 09:39:46 +0000 (10:39 +0100)]
Fix various build errors
- clang complains about unused private fields
- stateful MC declares link option to the wrong binary name
- sthread displays a full path that needs to be hidden in tesh
Martin Quinson [Thu, 2 Nov 2023 01:58:19 +0000 (02:58 +0100)]
Missing files
Martin Quinson [Thu, 2 Nov 2023 01:53:03 +0000 (02:53 +0100)]
Do not use MC_process_clock_add() for now, as it makes the exploration infinitely looping
Martin Quinson [Thu, 2 Nov 2023 00:37:35 +0000 (01:37 +0100)]
Add an example from the McMini project to test sthread -- currently broken
I need the feedback of Mathieu on this one, sorry for the inconvenience
Martin Quinson [Thu, 2 Nov 2023 00:34:14 +0000 (01:34 +0100)]
MC: more debug messages
Martin Quinson [Thu, 2 Nov 2023 00:22:37 +0000 (01:22 +0100)]
Actions executed by the same actor are always dependent
Martin Quinson [Thu, 2 Nov 2023 00:06:57 +0000 (01:06 +0100)]
MC: add an observer to sleep simcalls
Martin Quinson [Wed, 1 Nov 2023 23:55:34 +0000 (00:55 +0100)]
MC: display the 100 first transitions when we reach the depth-limit
Augustin Degomme [Wed, 1 Nov 2023 20:26:52 +0000 (20:26 +0000)]
Revert "attempt at turning docker build into performance regression test"
This reverts commit
94882480efd667ebe7ee197a9c1f16ff4df5824b
Augustin Degomme [Wed, 1 Nov 2023 20:22:55 +0000 (21:22 +0100)]
attempt at turning docker build into performance regression test
Martin Quinson [Wed, 1 Nov 2023 17:09:36 +0000 (18:09 +0100)]
Do not remove smpi run dependencies from docker images
Fred Suter [Mon, 30 Oct 2023 14:48:39 +0000 (10:48 -0400)]
Document Message Queues (and the change of data structure in Mailboxes
Fred Suter [Mon, 30 Oct 2023 14:22:13 +0000 (10:22 -0400)]
more ignorance
Fred Suter [Mon, 30 Oct 2023 14:17:21 +0000 (10:17 -0400)]
no need to cast with ActivitySet
Fred Suter [Mon, 30 Oct 2023 14:14:15 +0000 (10:14 -0400)]
no need to cast with ActivitySet
Fred Suter [Mon, 30 Oct 2023 14:04:20 +0000 (10:04 -0400)]
add MessageQueue to all ActivitySet examples
Martin Quinson [Mon, 30 Oct 2023 04:01:36 +0000 (05:01 +0100)]
Fix make distcheck for Fred :)
Martin Quinson [Mon, 30 Oct 2023 02:59:21 +0000 (02:59 +0000)]
Merge branch 'mq' into 'master'
Message queues
See merge request simgrid/simgrid!176
Martin Quinson [Mon, 30 Oct 2023 02:36:31 +0000 (02:36 +0000)]
Merge branch 'example-battery-chiller-solar' into 'master'
add battery-chiller-solar example.
See merge request simgrid/simgrid!174
Augustin Degomme [Sun, 29 Oct 2023 22:26:53 +0000 (23:26 +0100)]
second part of bigdft fix
Augustin Degomme [Sun, 29 Oct 2023 21:22:20 +0000 (22:22 +0100)]
bigdft - work around issue with ntpoly 3.0.0
Augustin Degomme [Sun, 29 Oct 2023 20:16:04 +0000 (21:16 +0100)]
starpu: oops, uncomment lines [ci-skip]
Augustin Degomme [Sun, 29 Oct 2023 20:04:42 +0000 (21:04 +0100)]
starpu: fix url for 1.3 [ci-skip]
Augustin Degomme [Sun, 29 Oct 2023 19:09:20 +0000 (20:09 +0100)]
starpu: change URL of tarballs... Nothing new was tested since 1year and a half ?
Martin Quinson [Sun, 29 Oct 2023 16:21:23 +0000 (17:21 +0100)]
Ninja verbose build is not like the Makefile ones
Martin Quinson [Sun, 29 Oct 2023 16:15:45 +0000 (17:15 +0100)]
jenkins: use ninja when available as it's a few percent faster
Martin Quinson [Sun, 29 Oct 2023 16:04:06 +0000 (17:04 +0100)]
Change the way we're inserting elements in this map
This is an attempt to work around this segfaut on FreeBSD:
==72834== Invalid read of size 1
==72834== at 0x4A09B22: __is_long (include/c++/v1/string:1445)
==72834== by 0x4A09B22: __get_pointer (include/c++/v1/string:1544)
==72834== by 0x4A09B22: data (include/c++/v1/string:1251)
==72834== by 0x4A09B22: operator basic_string_view (include/c++/v1/string:879)
==72834== by 0x4A09B22: compare (include/c++/v1/string:3845)
==72834== by 0x4A09B22: operator<<char, std::__1::char_traits<char>, std::__1::allocator<char> > (include/c++/v1/string:4072)
==72834== by 0x4A09B22: operator()<const std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > &, const std::__1::basic_string<char, std::__1::char_traits< char>, std::__1::allocator<char> > &> (include/c++/v1/__functional/operations.h:499)
==72834== by 0x4A09B22: operator() (include/c++/v1/map:577)
==72834== by 0x4A09B22: std::__1::__tree_node_base<void*>*& std::__1::__tree<std::__1::__value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> >, std::__1::__map_value_compare<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, std::__1::__ value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> >, std::__1::less<void>, true>, st d::__1::allocator<std::__1::__value_type<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl> > > >::__find_equal<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >(std::__1::__tree_end_node<std::__1::__tree_node_base<void*>*>*&, std::__1::basic_strin g<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) (include/c++/v1/__tree:1977)
==72834== by 0x4A091E0: __emplace_unique_key_args<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, const std::__1::piecewise_construct_t &, std::__1: :tuple<const std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > &>, std::__1::tuple<> > (include/c++/v1/__tree:2093)
==72834== by 0x4A091E0: std::__1::map<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >, boost::intrusive_ptr<simgrid::kernel::resource::DiskImpl>, std ::__1::less<void>, std::__1::allocator<std::__1::pair<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const, boost::intrusive_ptr<simgrid::kernel::resou rce::DiskImpl> > > >::operator[](std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&) (include/c++/v1/map:1588)
==72834== by 0x498CD41: UnknownInlinedFun (HostImpl.cpp:240)
==72834== by 0x498CD41: operator() (s4u_Host.cpp:356)
==72834== by 0x498CD41: simcall_answered<(lambda at /builds/workspace/SimGrid/build_mode/Debug/node/freebsd/build/simgrid-3.34.1/src/s4u/s4u_Host.cpp:354:42)> (simix.hpp:49)
==72834== by 0x498CD41: simgrid::s4u::Host::create_disk(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, double, double) (s4u_Host.cpp:354)
==72834== by 0x4AE9A23: simgrid::plugin::Jbod::create_jbod(simgrid::s4u::NetZone*, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&, double, un signed int, simgrid::plugin::Jbod::RAID, double, double) (jbod.cpp:30)
==72834== by 0x401C2A: main (examples/cpp/plugin-jbod/s4u-plugin-jbod.cpp:43)
==72834== Address 0xffffffff00000023 is not stack'd, malloc'd or (recently) free'd
Martin Quinson [Sun, 29 Oct 2023 15:38:58 +0000 (16:38 +0100)]
tesh: disable the auto-valgrind option in the test running tesh from tesh
Martin Quinson [Sun, 29 Oct 2023 14:05:54 +0000 (15:05 +0100)]
tesh: rerun the command in valgrind if it segfaults
This is particuly useful when experiencing segfaults in our test suite
on some exotic OS that has valgrind (say hello to FreeBSD here)
Martin Quinson [Sun, 29 Oct 2023 13:41:10 +0000 (14:41 +0100)]
tesh: report when the command got signaled in addition to output mismatch
Martin Quinson [Sun, 29 Oct 2023 12:51:14 +0000 (13:51 +0100)]
Fix build with ns3 v3.36+
Martin Quinson [Sat, 28 Oct 2023 21:00:20 +0000 (23:00 +0200)]
project_description: fix the RE catching the ns-3 version number