D
Damien Imbs
Researcher at University of Bremen
Publications - 64
Citations - 645
Damien Imbs is an academic researcher from University of Bremen. The author has contributed to research in topics: Asynchronous communication & Shared memory. The author has an hindex of 14, co-authored 63 publications receiving 586 citations. Previous affiliations of Damien Imbs include University of the South, Toulon-Var & University of Rennes.
Papers
More filters
Journal ArticleDOI
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
Damien Imbs,Michel Raynal +1 more
TL;DR: An STM protocol is presented that ensures virtual world consistency (while guaranteeing the invisibility of the read operations) and also shows how the protocol can easily be weakened while still providing an STM system that satisfies causal consistency, a condition strictly weaker thanvirtual world consistency.
Proceedings ArticleDOI
Brief announcement: virtual world consistency: a new condition for STM systems
TL;DR: This BA presents a general consistency condition for software transactionnal memories that is similar to that presented in the previous BA on memory consistency in the context of explicit memories.
Book ChapterDOI
Help when needed, but no more: efficient read/write partial snapshot
Damien Imbs,Michel Raynal +1 more
TL;DR: An update and a partial snapshot algorithms that are wait-free, linearizable and satisfy the previous efficiency properties are presented and an interesting tradeoff relating the synchronization power of the base operations and the number of base atomic registers when using the "write first, and help later" strategy is shown.
Book ChapterDOI
A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness
Damien Imbs,Michel Raynal +1 more
TL;DR: This paper presents a lock-based STM system designed from simple basic principles that satisfies the opacity safety property, never aborts a write only transaction, employs only bounded control variables, has no centralized contention point, and is formally proved correct.
Journal ArticleDOI
Help when needed, but no more: Efficient read/write partial snapshot
Damien Imbs,Michel Raynal +1 more
TL;DR: An improvement of the previous algorithms is presented and an interesting tradeoff relating the synchronization power of the base operations and the number of base atomic registers when using the ''write first, and help later'' strategy is shown.