Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
4 months agoImplement test with wait_for... experimental
Arnaud Giersch [Mon, 10 Feb 2020 15:55:06 +0000 (16:55 +0100)]
Implement test with wait_for...

4 months agoRevert "[examples/s4u-dht-chord] Handle TimeoutException which may be thrown by Comm...
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.

4 months agowip
Arnaud Giersch [Fri, 21 Feb 2020 13:47:14 +0000 (14:47 +0100)]
wip

4 months agoAttempt to inline sthread_enable() / sthread_disable().
Arnaud Giersch [Tue, 19 Jul 2022 08:03:06 +0000 (10:03 +0200)]
Attempt to inline sthread_enable() / sthread_disable().

4 months agoConvert sthread.c to C++.
Arnaud Giersch [Mon, 18 Jul 2022 09:05:05 +0000 (11:05 +0200)]
Convert sthread.c to C++.

4 months agoUse RAII for sthread_enable/disable. dev
Arnaud Giersch [Wed, 29 Jun 2022 08:28:04 +0000 (10:28 +0200)]
Use RAII for sthread_enable/disable.

4 months agoDefine simgrid::xbt::Path::get_tmpdir().
Arnaud Giersch [Wed, 18 Nov 2020 09:53:13 +0000 (10:53 +0100)]
Define simgrid::xbt::Path::get_tmpdir().

4 months agoDefine set_name() taking Rvalue reference.
Arnaud Giersch [Wed, 17 Apr 2019 12:28:03 +0000 (14:28 +0200)]
Define set_name() taking Rvalue reference.

NOTE: useless

4 months agoUse boost::lexical_cast instead of xbt_str_parse_* in C++ files.
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)

4 months agoHarden msg/app-bittorrent for parallel executions.
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

4 months agoKill unused host_dvfs plugin.
Arnaud Giersch [Thu, 11 Mar 2021 21:58:40 +0000 (22:58 +0100)]
Kill unused host_dvfs plugin.

4 months agoCheck owner for MPI keyvals, and skip callbacks for dead actors.
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.

4 months ago[TO DELETE] Mess with instr includes. private
Arnaud Giersch [Tue, 30 May 2023 13:25:04 +0000 (15:25 +0200)]
[TO DELETE] Mess with instr includes.

4 months ago[TEMP] valgrind suppressions.
Arnaud Giersch [Wed, 23 Feb 2022 21:24:03 +0000 (22:24 +0100)]
[TEMP] valgrind suppressions.

4 months agoAdd new entry in Release_Notes. master next
Arnaud Giersch [Mon, 27 Nov 2023 08:42:04 +0000 (09:42 +0100)]
Add new entry in Release_Notes.

4 months agoDefine macro XBT_ATTRIB_DEPRECATED_v340.
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)

4 months agoRemove deprecated features for next release (3.36).
Arnaud Giersch [Mon, 27 Nov 2023 08:41:25 +0000 (09:41 +0100)]
Remove deprecated features for next release (3.36).

4 months agoKill an external dependency that was for stateful MC
Martin Quinson [Sun, 26 Nov 2023 23:01:16 +0000 (00:01 +0100)]
Kill an external dependency that was for stateful MC

4 months agoPost-release cleanups
Martin Quinson [Sun, 26 Nov 2023 22:59:09 +0000 (23:59 +0100)]
Post-release cleanups

4 months agoRelease v3.35 stable v3.35
Martin Quinson [Thu, 23 Nov 2023 23:00:35 +0000 (00:00 +0100)]
Release v3.35

4 months agoMore doc for SMPI
Martin Quinson [Thu, 23 Nov 2023 22:51:02 +0000 (23:51 +0100)]
More doc for SMPI

4 months agoProperly register the waiter in wait_any_for(), so that it gets handled on suspend...
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.

4 months agochangelog update
Augustin Degomme [Wed, 22 Nov 2023 19:39:04 +0000 (20:39 +0100)]
changelog update

4 months agoUpdate MANIFEST.in.
Arnaud Giersch [Tue, 21 Nov 2023 13:27:03 +0000 (14:27 +0100)]
Update MANIFEST.in.

4 months agoUpdate python/clusters-multicpu to the new API.
Arnaud Giersch [Tue, 21 Nov 2023 13:17:27 +0000 (14:17 +0100)]
Update python/clusters-multicpu to the new API.

4 months agoUpdate XBT_ATTRIB_DEPRECATED_v??? in comments.
Arnaud Giersch [Tue, 21 Nov 2023 10:40:41 +0000 (11:40 +0100)]
Update XBT_ATTRIB_DEPRECATED_v??? in comments.

[ci-skip]

4 months agoMerge branch 'master' of framagit.org:simgrid/simgrid
Martin Quinson [Tue, 21 Nov 2023 13:53:32 +0000 (14:53 +0100)]
Merge branch 'master' of framagit.org:simgrid/simgrid

4 months agoVarious sonar cleanups
Martin Quinson [Tue, 21 Nov 2023 13:53:20 +0000 (14:53 +0100)]
Various sonar cleanups

4 months agofurther improvement to the doxygen doc
Martin Quinson [Tue, 21 Nov 2023 12:08:53 +0000 (13:08 +0100)]
further improvement to the doxygen doc

4 months agostrenghten the behavior of Message queues after some Wrench breaking
Fred Suter [Tue, 21 Nov 2023 00:23:34 +0000 (19:23 -0500)]
strenghten the behavior of Message queues after some Wrench breaking

4 months agof
Martin Quinson [Mon, 20 Nov 2023 20:22:48 +0000 (21:22 +0100)]
f

4 months agoDon't use export_values() in pybind11 enums, as it should
Martin Quinson [Mon, 20 Nov 2023 20:15:44 +0000 (21:15 +0100)]
Don't use export_values() in pybind11 enums, as it should

4 months agotiny improvement to find-missing: document missing enumvalues
Martin Quinson [Mon, 20 Nov 2023 20:15:02 +0000 (21:15 +0100)]
tiny improvement to find-missing: document missing enumvalues

4 months agoMerge branch 'task-docs' into 'master'
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

4 months agoFix a bug in concurrent modif of a collection that was revealed by GLIBCXX_DEBUG
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.

4 months agoEnable GLIBCXX_DEBUG in maintainer mode
Martin Quinson [Mon, 20 Nov 2023 13:42:00 +0000 (14:42 +0100)]
Enable GLIBCXX_DEBUG in maintainer mode

4 months agoRegenerate those files with mpi_isendrecv and mpi_isendrecv_replace
Martin Quinson [Mon, 20 Nov 2023 13:40:41 +0000 (14:40 +0100)]
Regenerate those files with mpi_isendrecv and mpi_isendrecv_replace

4 months agofix missing doc for Tasks
Adrien Gougeon [Mon, 20 Nov 2023 13:33:14 +0000 (14:33 +0100)]
fix missing doc for Tasks

4 months agoFix a dead store reported by infer
Martin Quinson [Mon, 20 Nov 2023 07:49:27 +0000 (08:49 +0100)]
Fix a dead store reported by infer

5 months agoPlug a memleak
Martin Quinson [Sun, 19 Nov 2023 20:52:59 +0000 (21:52 +0100)]
Plug a memleak

5 months agoAdd what's missing to obey the deprecation warning on add_route with 4 parameters...
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

5 months agoFix some more doc errors. There is so many of them :(
Martin Quinson [Sat, 18 Nov 2023 15:32:43 +0000 (16:32 +0100)]
Fix some more doc errors. There is so many of them :(

5 months agoKill unstandard, untested and dubious ways to use ConditionVariables
Martin Quinson [Sat, 18 Nov 2023 15:01:38 +0000 (16:01 +0100)]
Kill unstandard, untested and dubious ways to use ConditionVariables

5 months agoadd specifying handling of timeout for MessImpl (none for now). Fix a bug on incomple...
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

5 months agoadd 2 tests for comm
Augustin Degomme [Fri, 17 Nov 2023 22:29:25 +0000 (23:29 +0100)]
add 2 tests for comm

5 months agoone more test for attr
Augustin Degomme [Fri, 17 Nov 2023 22:12:39 +0000 (23:12 +0100)]
one more test for attr

5 months agoadd one more test
Augustin Degomme [Fri, 17 Nov 2023 21:44:47 +0000 (22:44 +0100)]
add one more test

5 months agoadd tests for isendrecv and isendrecv_replace
Augustin Degomme [Fri, 17 Nov 2023 21:33:36 +0000 (22:33 +0100)]
add tests for isendrecv and isendrecv_replace

5 months agoadd new coll tests
Augustin Degomme [Fri, 17 Nov 2023 21:32:47 +0000 (22:32 +0100)]
add new coll tests

5 months agoimplement mpi_isendrecv and mpi_isendrecv_replace
Augustin Degomme [Fri, 17 Nov 2023 21:31:48 +0000 (22:31 +0100)]
implement mpi_isendrecv and mpi_isendrecv_replace

5 months agoadd gatherv test
Augustin Degomme [Fri, 17 Nov 2023 18:15:09 +0000 (19:15 +0100)]
add gatherv test

5 months agofix warning in mpich new test
Augustin Degomme [Fri, 17 Nov 2023 00:31:54 +0000 (01:31 +0100)]
fix warning in mpich new test

5 months agosmpi: fix issue with message IDs. In case of persistent request reused multiple times...
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

5 months agoadd some new pt2pt tests from mpich
Augustin Degomme [Thu, 16 Nov 2023 23:21:30 +0000 (00:21 +0100)]
add some new pt2pt tests from mpich

5 months agoFix some more doc bugs
Martin Quinson [Thu, 16 Nov 2023 23:21:58 +0000 (00:21 +0100)]
Fix some more doc bugs

5 months agoDocument ActivitySet
Martin Quinson [Thu, 16 Nov 2023 22:53:45 +0000 (23:53 +0100)]
Document ActivitySet

5 months agoFix some doxygen errors
Martin Quinson [Thu, 16 Nov 2023 21:41:43 +0000 (22:41 +0100)]
Fix some doxygen errors

5 months agoDeprecate the bindings of a deprecated function
Martin Quinson [Thu, 16 Nov 2023 21:39:03 +0000 (22:39 +0100)]
Deprecate the bindings of a deprecated function

5 months agoEase the usage of cmake for SMPI programs
Martin Quinson [Thu, 16 Nov 2023 18:18:49 +0000 (19:18 +0100)]
Ease the usage of cmake for SMPI programs

5 months agoAnother attempt at fixing the Flag2 job of jenkins
Martin Quinson [Thu, 16 Nov 2023 13:16:03 +0000 (14:16 +0100)]
Another attempt at fixing the Flag2 job of jenkins

5 months agoJenkins::Flag2: use ninja if avail; verbose builds
Martin Quinson [Thu, 16 Nov 2023 08:49:36 +0000 (09:49 +0100)]
Jenkins::Flag2: use ninja if avail; verbose builds

5 months agoGive a way to add binaries to the list that shouldn't be messed with by sthread
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

5 months agostop being a stupidly rushing boar (hopefuly)
Martin Quinson [Wed, 15 Nov 2023 22:08:33 +0000 (23:08 +0100)]
stop being a stupidly rushing boar (hopefuly)

5 months agoProperly pass the LD_PRELOAD as a setenv command in tesh file + show the ignored...
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

5 months agotesh: allow variable substitutions in setenv cmds, and more robust to invalid numeric...
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

5 months agoRework the doc of model-check/replay, and add an example with sthread
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

5 months agocut the backtrace displayed from sthread to the sthread_create to hide useless cruft
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

5 months agoVarious doc improvements
Martin Quinson [Wed, 15 Nov 2023 15:57:53 +0000 (16:57 +0100)]
Various doc improvements

5 months agoFix Host::execute to use *this as a host location, not the this_actor->get_host()
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()

5 months agotypo
Martin Quinson [Wed, 15 Nov 2023 15:31:19 +0000 (16:31 +0100)]
typo

5 months agoMerge branch 'battery-get-name' into 'master'
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

5 months agoadd get_name for batteries. update dag_from_json to support wfformat 1.4
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

5 months agoDraft a release
Martin Quinson [Wed, 15 Nov 2023 00:25:16 +0000 (01:25 +0100)]
Draft a release

5 months agoFix an ODR reported by ASan
Martin Quinson [Tue, 14 Nov 2023 19:48:40 +0000 (20:48 +0100)]
Fix an ODR reported by ASan

5 months agoHave create_jbod() return a JbodPtr instead of Jbod* to avoid memleaks
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

5 months agoGive a way to C users to not leak activities in activityset
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

5 months agoTry to fix a compiler error seen on Flag2 job of jenkins
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

5 months agoMC: move the reversible_race logic to the Transition class
Martin Quinson [Mon, 13 Nov 2023 22:54:15 +0000 (23:54 +0100)]
MC: move the reversible_race logic to the Transition class

5 months agosimplify the way Jbods are defined
Fred Suter [Mon, 13 Nov 2023 22:38:15 +0000 (15:38 -0700)]
simplify the way Jbods are defined

5 months agoanother try at cleanly unlocking the mutexes before destroying them in SMPI::RMA
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

5 months agoTry to fix a failure about mutex freed too early in 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

5 months agoFix clang builds
Martin Quinson [Mon, 13 Nov 2023 20:27:04 +0000 (21:27 +0100)]
Fix clang builds

5 months agoNew method: MutexImpl::is_granted()
Martin Quinson [Mon, 13 Nov 2023 15:05:21 +0000 (16:05 +0100)]
New method: MutexImpl::is_granted()

5 months agoMore forward declarations
Martin Quinson [Mon, 13 Nov 2023 15:04:24 +0000 (16:04 +0100)]
More forward declarations

5 months agoSanity check that mutex are empty when destroyed
Martin Quinson [Mon, 13 Nov 2023 00:10:41 +0000 (01:10 +0100)]
Sanity check that mutex are empty when destroyed

5 months agoCheck in the right location that a mutex is provided to cond_wait
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

5 months agoRename the CondVar observer as it should
Martin Quinson [Sun, 12 Nov 2023 23:23:14 +0000 (00:23 +0100)]
Rename the CondVar observer as it should

5 months agoMove the conditionVariable observer to the right file
Martin Quinson [Sun, 12 Nov 2023 22:46:31 +0000 (23:46 +0100)]
Move the conditionVariable observer to the right file

5 months agoSanity checks about the lock protecting a pthread_cond
Martin Quinson [Sun, 12 Nov 2023 22:32:55 +0000 (23:32 +0100)]
Sanity checks about the lock protecting a pthread_cond

5 months agoNew function s4u::Mutex::get_owner()
Martin Quinson [Sun, 12 Nov 2023 22:30:43 +0000 (23:30 +0100)]
New function s4u::Mutex::get_owner()

5 months agoTemplate implem of cond_timedwait in sthread
Martin Quinson [Sun, 12 Nov 2023 20:49:02 +0000 (21:49 +0100)]
Template implem of cond_timedwait in sthread

5 months agoAnother easy test from McMini
Martin Quinson [Sun, 12 Nov 2023 20:38:09 +0000 (21:38 +0100)]
Another easy test from McMini

5 months agohopefully bigdft CI (work around an issue we identified, pending a fix)
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)

5 months agoImplement pthread_cond in sthread -- too bad it's TODO in MC
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.

5 months agoDocument all changes so far
Martin Quinson [Sun, 12 Nov 2023 19:54:43 +0000 (20:54 +0100)]
Document all changes so far

5 months agoImplement pthread_barrier calls in sthread, and test them in McMini
Martin Quinson [Sun, 12 Nov 2023 19:33:45 +0000 (20:33 +0100)]
Implement pthread_barrier calls in sthread, and test them in McMini

5 months agoRefactorize the sthread interception of functions
Martin Quinson [Sun, 12 Nov 2023 18:04:44 +0000 (19:04 +0100)]
Refactorize the sthread interception of functions

5 months agoAdd more Mc Mini tests
Martin Quinson [Sun, 12 Nov 2023 17:38:33 +0000 (18:38 +0100)]
Add more Mc Mini tests

5 months agoRevalidate the tesh files that got invalidated by a borken printf
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

5 months agoSmall typos in comments
Martin Quinson [Sun, 12 Nov 2023 14:03:26 +0000 (15:03 +0100)]
Small typos in comments