Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory

La thèse porte sur les réseaux de Kahn, un modèle de concurrence simple et expressif proposé par Gilles Kahn dans les années 70, et leur implémentation sur des architectures multi-coeurs modernes, à mémoire partagée. Dans un réseau de Kahn, le programmeur décrit un programme parallèle comme un ensem...

Full description

Bibliographic Details
Main Author: Lê, Nhat Minh
Other Authors: Paris Sciences et Lettres
Language:en
Published: 2016
Subjects:
004
Online Access:http://www.theses.fr/2016PSLEE051/document