Cette présentation, donné au Snowcamp 2018, montre comment utiliser un lock distribué avec Vert.x en mode cluster. Ensuite, elle montre comment, en interne. le cluster manager de Vert.x utilise Infinispan. Infinispan 9.2 introduit une nouvelle API des locks distribués. Pour finir, en live-coding, on montre comment, en utilisant des API publiques d'Infinispan, on a pu peut créer ce genre de structure. Cela montre bien que le pouvoir des caches distribués ne s'arrête pas au caching.

1. Quand un lock a besoin
d'être distribué
Snowcamp 2018 - Katia Aresti

2. @karesti

3. 3

4. 4
Distribué en mémoire
clé/valeur
Utilise communication peer-to-peer entre
les noeuds
Pas de master/slave
Pas de bottleneck ou SPOF
Recherche, Streams, Intégration avec
Spark, Kafka, Hadoop, Vert.x…
Mode Embarqué et Client/Serveur

5. 5
Clustering avec Infinispan
As cMa

6. 6
Exemple Applications en mode Cluster Vert.x
Ran Id P od Reb o s
Mon in
Eve B s
2. Con f o d s ID
4. Con f o d s RE
3. Sen d es RE1. Sen d es ID

7. Clustered Lock
Non reentrant Non blocking
Auto-release on Failure,
Split-brain
Node level Owner (!thread)

8. Clustered Lock Manager - Infinispan 9.2

9. Clustered Lock - Infinispan 9.2

10. Node NNode 1 Node 2 Node 3 ...
Lock
SnowCamp

11. Node NNode 1 Node 2 Node 3 ...
ClusteredLockManager
ClusteredLock
Lock
SnowCamp
Address
(pas un thread)
RPC pour changer
l’état du lock

12. Clustered Lock - Infinispan 9.2

13. Usage

14. Usage

15. Coder tryLock(), unlock() et tryLock(time, unit) !

16. Conclusions et roadmap
Le pouvoir des caches distribués ne s'arrête pas au caching
Programmation concurrente n’est pas facile !
Faire des locks reentrant
Rajouter différents niveaux de locking (concurrence dans chaque noeud aussi)
Locks pour le mode client / serveur
D’autres structures disponibles : Multimap, Compteurs…
A venir : Sorted Sets

17. Feedback bienvenu !
Clustered Lock
https://github.com/infinispan/infinispan/tree/master/lock
Vert.x Cluster Manager
https://github.com/vert-x3/vertx-infinispan