Arnaud Giersch [Mon, 10 Feb 2020 15:55:06 +0000 (16:55 +0100)]
Implement test with wait_for...
Arnaud Giersch [Mon, 10 Feb 2020 15:57:26 +0000 (16:57 +0100)]
Revert "[examples/s4u-dht-chord] Handle TimeoutException which may be thrown by Comm::test."
This reverts commit
471ed269e1475136aa0d459301b90c86960206e2.
Arnaud Giersch [Fri, 21 Feb 2020 13:47:14 +0000 (14:47 +0100)]
wip
Arnaud Giersch [Tue, 19 Jul 2022 08:03:06 +0000 (10:03 +0200)]
Attempt to inline sthread_enable() / sthread_disable().
Arnaud Giersch [Mon, 18 Jul 2022 09:05:05 +0000 (11:05 +0200)]
Convert sthread.c to C++.
Arnaud Giersch [Wed, 29 Jun 2022 08:28:04 +0000 (10:28 +0200)]
Use RAII for sthread_enable/disable.
Arnaud Giersch [Wed, 18 Nov 2020 09:53:13 +0000 (10:53 +0100)]
Define simgrid::xbt::Path::get_tmpdir().
Arnaud Giersch [Wed, 17 Apr 2019 12:28:03 +0000 (14:28 +0200)]
Define set_name() taking Rvalue reference.
NOTE: useless
Arnaud Giersch [Tue, 3 Oct 2017 20:25:25 +0000 (22:25 +0200)]
Use boost::lexical_cast instead of xbt_str_parse_* in C++ files.
NOTE: needs to be completed (git grep xbt_str_parse \*.cpp)
Arnaud Giersch [Wed, 5 Feb 2020 13:02:30 +0000 (14:02 +0100)]
Harden msg/app-bittorrent for parallel executions.
Reintroduce several streams of random numbers, which were lost when RngStream
was removed.
FIXME: rand_r may not be available on all platforms (e.g. win32)
we need a C interface for xbt::random
Arnaud Giersch [Thu, 11 Mar 2021 21:58:40 +0000 (22:58 +0100)]
Kill unused host_dvfs plugin.
Arnaud Giersch [Thu, 27 May 2021 12:14:46 +0000 (14:14 +0200)]
Check owner for MPI keyvals, and skip callbacks for dead actors.
Fix crash seen for example with Petsc,
This is still not entirely correct according to the MPI standard
which states that attributes and keys are local to the process.
The difficulty is that an unique smpi::Comm is shared by the
actors, and the attributes are cleared by the actor which lastly
destroys the comm.
Arnaud Giersch [Tue, 30 May 2023 13:25:04 +0000 (15:25 +0200)]
[TO DELETE] Mess with instr includes.
Arnaud Giersch [Wed, 23 Feb 2022 21:24:03 +0000 (22:24 +0100)]
[TEMP] valgrind suppressions.
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