Network


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

Hotspot


Dive into the research topics where Marc Vertes is active.

Publication


Featured researches published by Marc Vertes.


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 | 2003

Migration method for software application in a multi-computing architecture, method for carrying out functional continuity implementing said migration method and multi-computing system provided therewith

Marc Vertes; Laurent Dufour


Archive | 2003

Functional continuity by replicating a software application in a multi-computer architecture

Marc Vertes; Laurent Dufour; Francois Richard; Gregory Kurz


Archive | 2007

Transfer of Event Logs for Replication of Executing Programs

Philippe Bergheaud; Dinesh Subhraveti; Marc Vertes


Archive | 2006

METHOD FOR COUNTING INSTRUCTIONS FOR LOGGING AND REPLAY OF A DETERMINISTIC SEQUENCE OF EVENTS

Marc Vertes


Archive | 2002

Method and system for managing shared-library executables

Marc Vertes


Archive | 2006

Predictive method for managing logging or replaying non-deterministic operations within the execution of an application process

Marc Vertes


Archive | 2007

Method for System Call Interception in User Space

Marc Vertes


Archive | 2006

Method for executing an application in a virtual container forming a virtualized environment session

Laurent Dufour; Cedric Le Goater; Marc Vertes


Archive | 2006

Non-intrusive method for logging of internal events within an application process, and system implementing this method

Marc Vertes

Researchain Logo
Decentralizing Knowledge