Publication

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs

Martin Odersky
2012
Reports

Résumé

Implementing correct and deterministic parallel programs is challenging. Even though concurrency constructs exist in popular pro- gramming languages to facilitate the task of deterministic parallel pro- gramming, they are often too low level, or do not compose well due to underlying blocking mechanisms. In this report, we present the detailed proofs of the linearizability, lock- freedom, and determinism properties of FlowPools, a deterministic concurrent dataflow abstraction presented in [1].

Source officielle

https://infoscience.epfl.ch/entities/publication/6275b8e0-8514-4454-95a9-b9f882aa2b6d

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Martin Odersky
2012
Reports

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/6275b8e0-8514-4454-95a9-b9f882aa2b6d

À propos de ce résultat

Concepts associés (10)

Indéterminisme

L'indéterminisme est la théorie épistémologique opposée au déterminisme. Elle nie donc le fait que tout événement soit prévisible en vertu d'une loi physique ou mathématique. Cette théorie semble avoir trouvé une confirmation éclatante avec le principe d'incertitude d'Heisenberg sur le cas spécifique des particules élémentaires ; reste à la démontrer pour l'ensemble du macrocosme. L'indéterminisme a trouvé en Karl Popper un ardent défenseur surtout dans l'éthique, notamment dans son ouvrage The Open Universe : An Argument for Indeterminism (1982).

Incompatibilisme

L'incompatibilisme est une thèse métaphysique selon laquelle un univers déterministe est incompatible avec l'existence du libre arbitre. Selon l'incompatibilisme, il existe une incompatibilité entre déterminisme et libre arbitre qui amène nécessairement les philosophes à choisir entre l'un et l'autre.

Libre arbitre

Le libre arbitre, parfois orthographié libre-arbitre, est la faculté qu’aurait l'être humain de se déterminer librement et par lui seul, à agir et à penser, par opposition au déterminisme ou au fatalisme, qui affirment que la volonté serait déterminée dans chacun de ses actes par des « forces » qui l’y obligent. « Se déterminer à » ou « être déterminé par » illustrent l’enjeu de l’antinomie du libre arbitre d'un côté et du destin ou de la « nécessité » de l'autre.

Afficher plus