Lundi 1 Octobre


Retour à la vue des calendrier
Lundi 1 Octobre
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters
Description: Sami Evangelista This talk presetns the use of one-sided communications in the context of state space exploration. This operation is often the core component of model checking tools that explores a system state
space to look for behaviours deviating from its specification. It basically consists in the exploration of a (usually huge) directed graph whose nodes and edges represent respectively system states and system changes. We revisit the state of the art distributed algorithm and adapt it to RDMA clusters with an implementation over the OpenSHMEM library and report on preliminary experiments conducted on the Grid'5000 cluster. This asynchronous approach thus reduces the significant communication costs induced by process synchronisation in two-sided communications.