Arnaud Giersch [Mon, 27 Nov 2023 08:42:04 +0000 (09:42 +0100)]
Add new entry in Release_Notes.
Arnaud Giersch [Mon, 27 Nov 2023 08:41:25 +0000 (09:41 +0100)]
Define macro XBT_ATTRIB_DEPRECATED_v340.
(to use during the dev of v3.36)
Arnaud Giersch [Mon, 27 Nov 2023 08:41:25 +0000 (09:41 +0100)]
Remove deprecated features for next release (3.36).
Martin Quinson [Sun, 26 Nov 2023 23:01:16 +0000 (00:01 +0100)]
Kill an external dependency that was for stateful MC
Martin Quinson [Sun, 26 Nov 2023 22:59:09 +0000 (23:59 +0100)]
Post-release cleanups
Martin Quinson [Thu, 23 Nov 2023 23:00:35 +0000 (00:00 +0100)]
Release v3.35
Martin Quinson [Thu, 23 Nov 2023 22:51:02 +0000 (23:51 +0100)]
More doc for SMPI
Martin Quinson [Thu, 23 Nov 2023 12:08:47 +0000 (13:08 +0100)]
Properly register the waiter in wait_any_for(), so that it gets handled on suspend, failure or anything
We all love fixing obscure bugs on release days. That's how we fail
our release processes.
Augustin Degomme [Wed, 22 Nov 2023 19:39:04 +0000 (20:39 +0100)]
changelog update
Arnaud Giersch [Tue, 21 Nov 2023 13:27:03 +0000 (14:27 +0100)]
Update MANIFEST.in.
Arnaud Giersch [Tue, 21 Nov 2023 13:17:27 +0000 (14:17 +0100)]
Update python/clusters-multicpu to the new API.
Arnaud Giersch [Tue, 21 Nov 2023 10:40:41 +0000 (11:40 +0100)]
Update XBT_ATTRIB_DEPRECATED_v??? in comments.
[ci-skip]
Martin Quinson [Tue, 21 Nov 2023 13:53:32 +0000 (14:53 +0100)]
Merge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Tue, 21 Nov 2023 13:53:20 +0000 (14:53 +0100)]
Various sonar cleanups
Martin Quinson [Tue, 21 Nov 2023 12:08:53 +0000 (13:08 +0100)]
further improvement to the doxygen doc
Fred Suter [Tue, 21 Nov 2023 00:23:34 +0000 (19:23 -0500)]
strenghten the behavior of Message queues after some Wrench breaking
Martin Quinson [Mon, 20 Nov 2023 20:22:48 +0000 (21:22 +0100)]
f
Martin Quinson [Mon, 20 Nov 2023 20:15:44 +0000 (21:15 +0100)]
Don't use export_values() in pybind11 enums, as it should
Martin Quinson [Mon, 20 Nov 2023 20:15:02 +0000 (21:15 +0100)]
tiny improvement to find-missing: document missing enumvalues
Martin Quinson [Mon, 20 Nov 2023 13:45:13 +0000 (13:45 +0000)]
Merge branch 'task-docs' into 'master'
fix missing doc for Tasks
See merge request simgrid/simgrid!180
Martin Quinson [Mon, 20 Nov 2023 13:43:08 +0000 (14:43 +0100)]
Fix a bug in concurrent modif of a collection that was revealed by GLIBCXX_DEBUG
Thanks agiersch for the diagnostic and patch. I tested it effective.
Martin Quinson [Mon, 20 Nov 2023 13:42:00 +0000 (14:42 +0100)]
Enable GLIBCXX_DEBUG in maintainer mode
Martin Quinson [Mon, 20 Nov 2023 13:40:41 +0000 (14:40 +0100)]
Regenerate those files with mpi_isendrecv and mpi_isendrecv_replace
Adrien Gougeon [Mon, 20 Nov 2023 13:33:14 +0000 (14:33 +0100)]
fix missing doc for Tasks
Martin Quinson [Mon, 20 Nov 2023 07:49:27 +0000 (08:49 +0100)]
Fix a dead store reported by infer
Martin Quinson [Sun, 19 Nov 2023 20:52:59 +0000 (21:52 +0100)]
Plug a memleak
Martin Quinson [Sun, 19 Nov 2023 20:28:08 +0000 (21:28 +0100)]
Add what's missing to obey the deprecation warning on add_route with 4 parameters in python
Martin Quinson [Sat, 18 Nov 2023 15:32:43 +0000 (16:32 +0100)]
Fix some more doc errors. There is so many of them :(
Martin Quinson [Sat, 18 Nov 2023 15:01:38 +0000 (16:01 +0100)]
Kill unstandard, untested and dubious ways to use ConditionVariables
Fred Suter [Sun, 19 Nov 2023 18:18:41 +0000 (13:18 -0500)]
add specifying handling of timeout for MessImpl (none for now). Fix a bug on incomplete message transfer
Augustin Degomme [Fri, 17 Nov 2023 22:29:25 +0000 (23:29 +0100)]
add 2 tests for comm
Augustin Degomme [Fri, 17 Nov 2023 22:12:39 +0000 (23:12 +0100)]
one more test for attr
Augustin Degomme [Fri, 17 Nov 2023 21:44:47 +0000 (22:44 +0100)]
add one more test
Augustin Degomme [Fri, 17 Nov 2023 21:33:36 +0000 (22:33 +0100)]
add tests for isendrecv and isendrecv_replace
Augustin Degomme [Fri, 17 Nov 2023 21:32:47 +0000 (22:32 +0100)]
add new coll tests
Augustin Degomme [Fri, 17 Nov 2023 21:31:48 +0000 (22:31 +0100)]
implement mpi_isendrecv and mpi_isendrecv_replace
Augustin Degomme [Fri, 17 Nov 2023 18:15:09 +0000 (19:15 +0100)]
add gatherv test
Augustin Degomme [Fri, 17 Nov 2023 00:31:54 +0000 (01:31 +0100)]
fix warning in mpich new test
Augustin Degomme [Thu, 16 Nov 2023 23:32:52 +0000 (00:32 +0100)]
smpi: fix issue with message IDs. In case of persistent request reused multiple times in a row, message id would be lost, as same request is used. So use a vector to store potential multiple IDs for a request
Augustin Degomme [Thu, 16 Nov 2023 23:21:30 +0000 (00:21 +0100)]
add some new pt2pt tests from mpich
Martin Quinson [Thu, 16 Nov 2023 23:21:58 +0000 (00:21 +0100)]
Fix some more doc bugs
Martin Quinson [Thu, 16 Nov 2023 22:53:45 +0000 (23:53 +0100)]
Document ActivitySet
Martin Quinson [Thu, 16 Nov 2023 21:41:43 +0000 (22:41 +0100)]
Fix some doxygen errors
Martin Quinson [Thu, 16 Nov 2023 21:39:03 +0000 (22:39 +0100)]
Deprecate the bindings of a deprecated function
Martin Quinson [Thu, 16 Nov 2023 18:18:49 +0000 (19:18 +0100)]
Ease the usage of cmake for SMPI programs
Martin Quinson [Thu, 16 Nov 2023 13:16:03 +0000 (14:16 +0100)]
Another attempt at fixing the Flag2 job of jenkins
Martin Quinson [Thu, 16 Nov 2023 08:49:36 +0000 (09:49 +0100)]
Jenkins::Flag2: use ninja if avail; verbose builds
Martin Quinson [Wed, 15 Nov 2023 23:17:48 +0000 (00:17 +0100)]
Give a way to add binaries to the list that shouldn't be messed with by sthread
Martin Quinson [Wed, 15 Nov 2023 22:08:33 +0000 (23:08 +0100)]
stop being a stupidly rushing boar (hopefuly)
Martin Quinson [Wed, 15 Nov 2023 21:46:21 +0000 (22:46 +0100)]
Properly pass the LD_PRELOAD as a setenv command in tesh file + show the ignored output in comments
Martin Quinson [Wed, 15 Nov 2023 21:45:20 +0000 (22:45 +0100)]
tesh: allow variable substitutions in setenv cmds, and more robust to invalid numerical values
Martin Quinson [Wed, 15 Nov 2023 21:13:25 +0000 (22:13 +0100)]
Rework the doc of model-check/replay, and add an example with sthread
Martin Quinson [Wed, 15 Nov 2023 21:12:41 +0000 (22:12 +0100)]
cut the backtrace displayed from sthread to the sthread_create to hide useless cruft
Martin Quinson [Wed, 15 Nov 2023 15:57:53 +0000 (16:57 +0100)]
Various doc improvements
Martin Quinson [Wed, 15 Nov 2023 15:33:20 +0000 (16:33 +0100)]
Fix Host::execute to use *this as a host location, not the this_actor->get_host()
Martin Quinson [Wed, 15 Nov 2023 15:31:19 +0000 (16:31 +0100)]
typo
Martin Quinson [Wed, 15 Nov 2023 15:54:05 +0000 (15:54 +0000)]
Merge branch 'battery-get-name' into 'master'
add get_name for batteries. update dag_from_json to support wfformat 1.4
See merge request simgrid/simgrid!179
Adrien Gougeon [Wed, 15 Nov 2023 15:12:19 +0000 (16:12 +0100)]
add get_name for batteries. update dag_from_json to support wfformat 1.4
Martin Quinson [Wed, 15 Nov 2023 00:25:16 +0000 (01:25 +0100)]
Draft a release
Martin Quinson [Tue, 14 Nov 2023 19:48:40 +0000 (20:48 +0100)]
Fix an ODR reported by ASan
Martin Quinson [Tue, 14 Nov 2023 19:39:23 +0000 (20:39 +0100)]
Have create_jbod() return a JbodPtr instead of Jbod* to avoid memleaks
Martin Quinson [Tue, 14 Nov 2023 16:16:22 +0000 (17:16 +0100)]
Give a way to C users to not leak activities in activityset
Martin Quinson [Tue, 14 Nov 2023 15:47:36 +0000 (16:47 +0100)]
Try to fix a compiler error seen on Flag2 job of jenkins
Martin Quinson [Mon, 13 Nov 2023 22:54:15 +0000 (23:54 +0100)]
MC: move the reversible_race logic to the Transition class
Fred Suter [Mon, 13 Nov 2023 22:38:15 +0000 (15:38 -0700)]
simplify the way Jbods are defined
Martin Quinson [Mon, 13 Nov 2023 21:08:30 +0000 (22:08 +0100)]
another try at cleanly unlocking the mutexes before destroying them in SMPI::RMA
Martin Quinson [Mon, 13 Nov 2023 20:44:26 +0000 (21:44 +0100)]
Try to fix a failure about mutex freed too early in RMA
Martin Quinson [Mon, 13 Nov 2023 20:27:04 +0000 (21:27 +0100)]
Fix clang builds
Martin Quinson [Mon, 13 Nov 2023 15:05:21 +0000 (16:05 +0100)]
New method: MutexImpl::is_granted()
Martin Quinson [Mon, 13 Nov 2023 15:04:24 +0000 (16:04 +0100)]
More forward declarations
Martin Quinson [Mon, 13 Nov 2023 00:10:41 +0000 (01:10 +0100)]
Sanity check that mutex are empty when destroyed
Martin Quinson [Sun, 12 Nov 2023 23:55:37 +0000 (00:55 +0100)]
Check in the right location that a mutex is provided to cond_wait
Martin Quinson [Sun, 12 Nov 2023 23:23:14 +0000 (00:23 +0100)]
Rename the CondVar observer as it should
Martin Quinson [Sun, 12 Nov 2023 22:46:31 +0000 (23:46 +0100)]
Move the conditionVariable observer to the right file
Martin Quinson [Sun, 12 Nov 2023 22:32:55 +0000 (23:32 +0100)]
Sanity checks about the lock protecting a pthread_cond
Martin Quinson [Sun, 12 Nov 2023 22:30:43 +0000 (23:30 +0100)]
New function s4u::Mutex::get_owner()
Martin Quinson [Sun, 12 Nov 2023 20:49:02 +0000 (21:49 +0100)]
Template implem of cond_timedwait in sthread
Martin Quinson [Sun, 12 Nov 2023 20:38:09 +0000 (21:38 +0100)]
Another easy test from McMini
Augustin Degomme [Mon, 13 Nov 2023 13:38:33 +0000 (13:38 +0000)]
hopefully bigdft CI (work around an issue we identified, pending a fix)
Martin Quinson [Sun, 12 Nov 2023 20:30:36 +0000 (21:30 +0100)]
Implement pthread_cond in sthread -- too bad it's TODO in MC
I now have to implement the condition variables in the MC world
(adding the transitions and the dependence theorems), but I first have
to implement the asynchronous version of CV::wait(), as the model
checker can only deal with persistent transitions. That's not a small
assignment, and it will have to wait for tomorrow.
Until then, the pthread_cond support in sthread is somewhat useless.
Martin Quinson [Sun, 12 Nov 2023 19:54:43 +0000 (20:54 +0100)]
Document all changes so far
Martin Quinson [Sun, 12 Nov 2023 19:33:45 +0000 (20:33 +0100)]
Implement pthread_barrier calls in sthread, and test them in McMini
Martin Quinson [Sun, 12 Nov 2023 18:04:44 +0000 (19:04 +0100)]
Refactorize the sthread interception of functions
Martin Quinson [Sun, 12 Nov 2023 17:38:33 +0000 (18:38 +0100)]
Add more Mc Mini tests
Martin Quinson [Sun, 12 Nov 2023 17:18:07 +0000 (18:18 +0100)]
Revalidate the tesh files that got invalidated by a borken printf
Semaphore ID and capacity was inverted
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