Safe Usage of Registers in BSPlib

Autor: Frédéric Dabrowski, Wadoud Bousdira, Arvid Jakobsson

Publikováno v: to appear
SAC 2019
SAC 2019, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297421⟩
SAC

Bulk Synchronous Parallel (BSP) is a simple but powerful high-level model for parallel computation. Using BSPlib, programmers can write BSP programs in the general purpose language C. Direct Remote Memory Access (DRMA) communication in BSPlib is enab

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f451dad5c2a4b3e93ed1254e416b98e3
https://hal.archives-ouvertes.fr/hal-02018651

A Denotational Semantics of Textually Aligned SPMD Programs

Autor: Frédéric Dabrowski

Publikováno v: International Conference on High Performance Computing & Simulation
International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. ⟨10.1109/HPCS.2018.00119⟩
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, ⟨10.1016/j.jlamp.2019.02.010⟩
HPCS

We discuss the benefit of enforcing textual alignment in programming languages proposing unstructured SPMD-like collective operations. Our study is based on a simple language which provides support for global synchronization barriers. A formal defini

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed27d656aa6f1d87625e0e4cded477e7
https://hal.archives-ouvertes.fr/hal-01785110

Nested atomic sections with thread escape

Autor: Frédéric Dabrowski, Thomas Pinsard, Frédéric Loulergue

Publikováno v: SAC

For the sake of modularity, programming languages with atomic sections should offer nesting and inner parallelism in such sections. The possible escape of a thread created inside a section makes these languages also more expressive. In this paper we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e9f29ca8c4cf455e4008916178c71ada
https://doi.org/10.1145/2695664.2695870

A Certified Data Race Analysis for a Java-like Language

Autor: David Pichardie, Frédéric Dabrowski

Publikováno v: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
TPHOL'09
TPHOL'09, 2009, Germany. pp.212--227
Lecture Notes in Computer Science ISBN: 9783642033582
TPHOLs
HAL

A fundamental issue in multithreaded programming is detecting data races . A program is said to be well synchronised if it does not contain data races w.r.t. an interleaving semantics. Formally ensuring this property is central, because the java Memo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20c4a5b21099b5c3041eff2147c2168c
https://hal.archives-ouvertes.fr/hal-00465547

Bulk Synchronous Parallel ML with Exceptions

Autor: Louis Gesbert, Frédéric Dabrowski, Frédéric Gava, Frédéric Loulergue

Publikováno v: Distributed and Parallel Systems (DAPSYS 2006)
Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩
Future Generation Computer Systems
Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩
Distributed and Parallel Systems ISBN: 9780387698571

International audience; Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76293e4399f363489577169c45b477d5
https://inria.hal.science/inria-00452559