Concept
Read-copy-update
Publications associées (59)
Synchronizing Code Execution on Ultra-Low-Power Embedded Multi-Channel Signal Analysis Platforms
David Atienza Alonso, Andreas Peter Burg, Giovanni Ansaloni, Ruben Braojos Lopez, Jeremy Hugues-Felix Constantin, Ahmed Yasir Dogan
Embedded biosignal analysis involves a considerable amount of parallel computations, which can be exploited by employing low-voltage and ultra-low-power (ULP) parallel computing architectures. By allowing data and instruction broadcasting, single instructi ...
2013A Pragmatic Approach for Predicting the Scalability of Parallel Applications
Rachid Guerraoui, Aleksandar Dragojevic
Predicting the scalability of parallel applications is becoming crucial now that the number of cores in modern CPUs doubles roughly every two years. Traditional ways to get some understanding of the scalability of a parallel application rely on extensive e ...
EPFL2012Addressing the ZooKeeper Synchronization Inefficiency
André Schiper, Babak Kalantari
In this paper we discuss the problem of synchronization in ZooKeeper, a fault-tolerant distributed coordination framework. One of the key features of ZooKeeper is to move away from blocking API such as locks, in order to avoid problems with slow or faulty ...
2012Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated
Rachid Guerraoui, Hagit Albo Attiya
Building correct and efficient concurrent algorithms is known to be a difficult problem of fundamental importance. To achieve ef- ficiency, designers try to remove unnecessary and costly synchro- nization. However, not only is this manual trial-and-error proc ...
2011Laws of order
Rachid Guerraoui, Hagit Albo Attiya
Building correct and efficient concurrent algorithms is known to be a difficult problem of fundamental importance. To achieve efficiency, designers try to remove unnecessary and costly synchronization. However, not only is this manual trial-and-error proce ...
2011Transaction Polymorphism
Rachid Guerraoui, Vincent Gramoli
Concurrent implementations of abstract types usually rely on lock-free primitives or locks and are highly tuned to support a finite set of efficient operations. However, it is very hard to extend such types for specific needs by adding new operations. The ...
2011A Data-oriented Transaction Execution Engine and Supporting Tools
Anastasia Ailamaki, Miguel Sérgio De Oliveira Branco, Frederick Ryan Johnson, Pinar Tözün, Ippokratis Pandis, Danica Porobic, Dimitrios Karampinas
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work assignment policy leads to unpredictable accesses. The unpredictability forces e ...
2011Communix: A Framework for Collaborative Deadlock Immunity
George Candea, Pinar Tözün, Horatiu Jula
We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. Dimmunix [1], our deadlock immunity system, detects deadlocks and saves their si ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011Deadlock Immunity
Deadlock immunity is a property by which programs, once afflicted by a deadlock, develop resistance against future occurrences of that deadlock. We enable real applications to automatically achieve immunity against deadlock bugs involving mutex locks, sema ...
EPFL2011Why STM can be more than a Research Toy
Rachid Guerraoui, Vincent Gramoli, Aleksandar Dragojevic, Pascal Felber
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which it enables to leverage multicores and outperform sequential code. A recent CACM ...
2011