Futex based locks for C11's generic atomics (extended abstract)

Verrous basés sur futex pour les opérations atomiques génériques de C11 (résumé étendue)

Jens Gustedt (1)

1 CAMUS - Compilation pour les Architectures MUlti-coeurS

We present a new algorithm and implementation of a lock primitive that is based on Linux' native lock interface, the futex system call. It allows us to assemble compiler support for atomic data structures that can not be handled through specific hardware instructions. Such a tool is needed for C11's atomics interface because here an _Atomic qualification can be attached to almost any data type. Our lock data structure for that purpose meets very specific criteria concerning its field of operation and its performance. By that we are able to outperform gcc's libatomic library by around 60%.

Mots clés: lock primitives; atomics; C11; futex; Linux

Domaines: Algorithme et structure de données [cs.DS]; Calcul parallèle, distribué et partagé [cs.DC]

Jens Gustedt. Futex based locks for C11's generic atomics (extended abstract). The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩. ⟨hal-01304108⟩