A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make the sendsend tests at least fail fast to not hinder my workflow
[simgrid.git]
/
ChangeLog
diff --git
a/ChangeLog
b/ChangeLog
index
a60dfcf
..
41bc62f
100644
(file)
--- a/
ChangeLog
+++ b/
ChangeLog
@@
-26,6
+26,7
@@
Kernel:
MPI:
- New option smpi/barrier-collectives to add a barrier to some collectives
to detect dangerous code that /may/ work on some MPI implems.
MPI:
- New option smpi/barrier-collectives to add a barrier to some collectives
to detect dangerous code that /may/ work on some MPI implems.
+ - New function SMPI_app_instance_start() to easily start a MPI instance in your S4U simulation.
Models:
- Write the section of the manual about models, at least.
Models:
- Write the section of the manual about models, at least.
@@
-48,6
+49,8
@@
Models:
sthread:
- Implement pthread_join in MC mode.
- Implement semaphore functions in sthread.
sthread:
- Implement pthread_join in MC mode.
- Implement semaphore functions in sthread.
+ - Add an intricated way to verify the access to non-reentrant data structures
+ It requires code annotation, as shown in examples/sthread/stdobject/stdobject.cpp
Model checking:
- Synchronize the MBI tests with upstream.
Model checking:
- Synchronize the MBI tests with upstream.