Publications associées à Concurrency control

Task Scheduling for Highly Concurrent Analytical and Transactional Main-Memory Workloads

Task scheduling typically employs a worker thread per hardware context to process a dynamically changing set of tasks. It is an appealing solution to exploit modern multi-core processors, as it eases parallelization and avoids unnecessary context switches ...

2013

Integration of BIP into Connectivity Factory: Implementation

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Coordinating component behaviour and, in particular, concurrent access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machine ...

2013

For Coordination, State Component Transitions

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

2013

Hyperpolarization without persistent radicals for in vivo real-time metabolic imaging

Mor-Miri Mishkovsky, Christophe Roussel, Andrea Capozzi, Jean-Noël Hyacinthe, Tian Cheng, Arnaud Comment, Najat Salameh, Yuhei Takado, Tim Rolf Eichhorn

Hyperpolarized substrates prepared via dissolution dynamic nuclear polarization have been proposed as magnetic resonance imaging (MRI) agents for cancer or cardiac failure diagnosis and therapy monitoring through the detection of metabolic impairments in v ...

National Academy of Sciences2013

Decentralized list scheduling

Nicolas Gabriel Gast, Denis Trystram

Classical list scheduling is a very popular and efficient technique for scheduling jobs for parallel and distributed platforms. It is inherently centralized. However, with the increasing number of processors, the cost for managing a single centralized list ...

2013

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

How to Allocate Tasks Asynchronously

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Asynchronous task allocation is a fundamental problem in distributed computing, in which p asyn- chronous processes must execute a set of m tasks. Also known as write-all or do-all, this problem been studied extensively, both independently and as a key bui ...

2012

Scalability of write-ahead logging on multicore and multisocket hardware

Anastasia Ailamaki, Frederick Ryan Johnson, Manoussos Gavriil Athanassoulis, Ippokratis Pandis, Radu Ioan Stoica

The shift to multi-core and multi-socket hardware brings new challenges to database systems, as the software parallelism determines performance. Even though database systems traditionally accommodate simultaneous requests, a multitude of synchronization ba ...

2012

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.

Concurrency control

Task Scheduling for Highly Concurrent Analytical and Transactional Main-Memory Workloads

Execution Synthesis: A Technique for Automating the Debugging of Software

Integration of BIP into Connectivity Factory: Implementation

For Coordination, State Component Transitions

Hyperpolarization without persistent radicals for in vivo real-time metabolic imaging

Decentralized list scheduling

Speculative Linearizability

Obstruction degree: measuring concurrency in shared memory systems

How to Allocate Tasks Asynchronously

Scalability of write-ahead logging on multicore and multisocket hardware

Graph Chatbot

Chattez avec Graph Search

Execution Synthesis: A Technique for Automating the Debugging of Software

Speculative Linearizability

Hyperpolarization without persistent radicals for in vivo real-time metabolic imaging

Task Scheduling for Highly Concurrent Analytical and Transactional Main-Memory Workloads

Obstruction degree: measuring concurrency in shared memory systems

How to Allocate Tasks Asynchronously

Decentralized list scheduling

Scalability of write-ahead logging on multicore and multisocket hardware

Integration of BIP into Connectivity Factory: Implementation

For Coordination, State Component Transitions