26 lines
912 B
Markdown
26 lines
912 B
Markdown
# 26. Async et concurrence
|
|
|
|
## 26.1 Statut — V1 REQUIS — À FINALISER
|
|
|
|
Le modèle async/concurrency n'est pas encore spécifié.
|
|
|
|
Il faut décider au minimum :
|
|
|
|
```text
|
|
async/await ou autre modèle
|
|
Future/Promise Core ou SDK
|
|
threads natifs
|
|
structured concurrency éventuelle
|
|
cancellation
|
|
synchronisation
|
|
interaction avec Result/throws/faults
|
|
interaction avec destruction déterministe
|
|
runtime minimal
|
|
```
|
|
|
|
Aucune dépendance obligatoire à un executor monolithique ne doit être supposée sans justification.
|
|
|
|
Les collections concurrentes spécialisées relèvent du SDK et non d'une symétrie artificielle du Core. Une future `ConcurrentMap<K,V>` doit exprimer des garanties de concurrence/atomicité orthogonales aux capacités structurelles `Map` / `SettableMap` / `ResizableMap`. Des types tels que `ConcurrentHashMap<K,V>` ne seront introduits que lorsqu'un contrat concurrent concret le justifie.
|
|
|
|
---
|