Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Philippe Bergheaud is active.

Publication


Featured researches published by Philippe Bergheaud.


international conference on distributed computing systems | 2007

Fault Tolerance in Multiprocessor Systems Via Application Cloning

Philippe Bergheaud; Dinesh Subhraveti; Marc Vertes

Record and replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on multiprocessor systems for fault-tolerance. Multiple instances of the application are simultaneously executed in separate virtualized environments called containers. Containers facilitate state replication between the application instances by resolving the resource conflicts and providing a uniform view of the underlying operating system across all clones. The virtualization layer that creates the container abstraction actively monitors the primary instance of the application and synchronizes its state with that of the clones by transferring the necessary information to enforce identical state among them. In particular, we address the replication of relevant operating system state, such as network state to preserve network connections across failures, and the state that results from nondeterministic interleaved accesses to shared memory in SMP systems. We have implemented RRs state replication mechanisms in the Linux operating system by making novel use of existing features on the Intel and PowerPC architectures.


Archive | 2007

Transfer of Event Logs for Replication of Executing Programs

Philippe Bergheaud; Dinesh Subhraveti; Marc Vertes


Archive | 2008

Method, system and computer program to optimize deterministic event record and replay

Dinesh Subhraveti; Philippe Bergheaud; Marc Vertes


Archive | 2006

Method for Managing Access to Shared Resources in a Multi-Processor Environment

Marc Vertes; Philippe Bergheaud


Archive | 2009

Method and system to manage memory accesses from multithread programs on multiprocessor systems

Marc Vertes; Philippe Bergheaud; Dinesh Subhraveti


Archive | 2010

Deterministic serialization of access to shared resource in a multi-processor system for code instructions accessing resources in a non-deterministic order

Philippe Bergheaud; Reinhard Buendgen; Martin Schwidefsky


Archive | 2005

Method for Optimising the Logging and Replay of Mulit-Task Applications in a Mono-Processor or Multi-Processor Computer System

Marc Vertes; Gilles Gouaillardet; Philippe Bergheaud


Archive | 2007

Method and system for providing a deterministic virtual clock

Marc Vertes; Philippe Bergheaud


Archive | 2014

Live Operating System Update Mechanisms

Frederic Barrat; Philippe Bergheaud; Luke Matthew Browning; Laurent Dufour; Khalid Filali-Adib; Christophe Lombard; John Mark McConaughy; Guy Menanteau; Stephen B. Peckham; David W. Sheffield; Donald R. Stence; Sungjin Yook


Archive | 2007

Providing a process exclusive access to a page including a memory address to which a lock is granted to the process

Philippe Bergheaud; Dinesh Subhraveti; Marc Vertes

Researchain Logo
Decentralizing Knowledge