Recherche

Afficher tous les résultats pour

Accueil

Personne

Willy Zwaenepoel

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (57)

Towards Proving Optimistic Multicore Schedulers

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers

Operating systems have been shown to waste machine resources by leaving cores idle while work is ready to be scheduled. This results in suboptimal performance for user applications, and wasted power. Recent progress in formal verification methods have led ...

2017

Don't cry over spilled records: Memory elasticity of data-parallel applications and its application to cluster scheduling

Willy Zwaenepoel, Florin Dinu, Calin Iorgulescu, Wajih Ul Hassan, Syed Mohammad Aunn Raza

Understanding the performance of data-parallel workloads when resource-constrained has significant practical importance but unfortunately has received only limited attention. This paper identifies, quantifies and demonstrates memory elasticity, an intrinsi ...

The USENIX Association2017

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Willy Zwaenepoel, Kristina Spirovska, Diego Didona

In this paper we present a new approach to implementing causal consistency in geo-replicated data stores, which we call Optimistic Causal Consistency (OCC). The optimism in our approach lies in that updates from a remote data center are immediately made vi ...

Ieee Computer Soc2017

TRIAD: creating synergies between memory, disk and log in log structured key-value stores

Rachid Guerraoui, Willy Zwaenepoel, Oana Maria Balmau, Diego Didona

We present TRIAD, a new persistent key-value (KV) store based on Log-Structured Merge (LSM) trees. TRIAD improves LSM KV throughput by reducing the write amplification arising in the maintenance of the LSM tree structure. Although occurring in the backgrou ...

2017

Job-aware Scheduling in Eagle: Divide and Stick to Your Probes

Willy Zwaenepoel, Florin Dinu, Pamela Isabel Delgado Borda, Diego Didona

We present Eagle, a new hybrid data center scheduler for data-parallel programs. Eagle dynamically divides the nodes of the data center in partitions for the execution of long and short jobs, thereby avoiding head-of-line blocking. Furthermore, it provides ...

ACM2016

Hawk: Hybrid Datacenter Scheduling

Willy Zwaenepoel, Florin Dinu, Anne-Marie Kermarrec, Pamela Isabel Delgado Borda

This paper addresses the problem of efficient scheduling of large clusters under high load and heterogeneous workloads. A heterogeneous workload typically consists of many short jobs and a small number of large jobs that consume the bulk of the cluster's r ...

USENIX Association2015

Closing The Performance Gap between Causal Consistency and Eventual Consistency

Willy Zwaenepoel, Jiaqing Du, Calin Iorgulescu, Amitabha Roy

2014

Clock-RSM: Low-Latency Inter-Datacenter State Machine Replication Using Loosely Synchronized Physical Clocks

Fernando Pedone, Willy Zwaenepoel, Sameh Mohamed Elnikety, Jiaqing Du

2014

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks

Willy Zwaenepoel, Jiaqing Du, Calin Iorgulescu, Amitabha Roy

GentleRain is a new causally consistent geo-replicated data store that provides throughput comparable to eventual consistency and superior to current implementations of causal consistency. GentleRain uses a periodic aggregation protocol to deter- mine whet ...

ACM2014

Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks

Willy Zwaenepoel, Sameh Mohamed Elnikety, Jiaqing Du, Amitabha Roy

We propose two protocols that provide scalable causal consistency for both partitioned and replicated data stores using dependency matrices (DM) and physical clocks. The DM protocol supports basic read and update operations and uses two-dimensional depende ...

2013

X-Stream: Edge-centric Graph Processing using Streaming Partitions

Willy Zwaenepoel, Ivo Mihailovic, Amitabha Roy

X-Stream is a system for processing both in-memory and out-of-core graphs on a single shared-memory machine. While retaining the scatter-gather programming model with state stored in the vertices, X-Stream is novel in (i) using an edge-centric rather than ...

ACM2013

Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks

Willy Zwaenepoel, Sameh Mohamed Elnikety, Jiaqing Du

Clock-SI is a fully distributed protocol that implements snapshot isolation (SI) for partitioned data stores. It derives snapshot and commit timestamps from loosely synchronized clocks, rather than from a centralized timestamp authority as used in current ...

2013

Profiling Software for Energy Consumption

Willy Zwaenepoel, Dejan Kostic, Simon Schubert

2012

Sahara: Guiding the Debugging of Failed Software Upgrades

Olivier Crameri, Willy Zwaenepoel, Ricardo Bianchini, Dejan Kostic

2011

Striking a New Balance Between Program Instrumentation and Debugging Time

Olivier Crameri, Willy Zwaenepoel, Ricardo Bianchini

Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the developer in locating the problem. In this paper, we explore a new approach to b ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Performance Profiling of Virtual Machines

Willy Zwaenepoel, Jiaqing Du

Profilers based on hardware performance counters are indispensable for performance debugging of complex software systems. All modern processors feature hardware performance counters, but current virtual machine monitors (VMMs) do not properly expose them t ...

2011

Performance Profiling in a Virtualized Environment

Willy Zwaenepoel, Jiaqing Du

Virtualization is a key enabling technology for cloud computing. Many applications deployed in a cloud run in virtual machines. However, profilers based on CPU performance counters do not work well in a virtualized environment. In this paper, we explore th ...

2010

JReq: Database Queries in Imperative Languages

Willy Zwaenepoel, Christopher Ming-Yee Iu, Emmanuel Cecchet

Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatically rewritten to use database queries. Traditional tools such as object-rela ...

Springer Verlag2010

HadoopToSQL: a MapReduce Query Optimizer

Willy Zwaenepoel, Christopher Ming-Yee Iu

Map Reduce is a cost-effective way to achieve scalable performance for many log-processing workloads. These workloads typically process their entire dataset. Map Reduce can be inefficient, however, when handling business-oriented workloads, especially when ...

ACM2010

TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers

Aravind Menon, Willy Zwaenepoel, Simon Schubert

In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor. Doing so protects the hypervisor from bugs in the driver, and also allows the reuse of the device driver and its support infrastructure ...

ACM2009

Page 2 sur 3