This paper describes a new system for asynchronous state-machine replication [17,28] that offers both integrity and high availability in the presence of Byzantine faults. Our system is interesting for ...

James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild ...

Bianca Schroeder, University of Toronto; Raghav Lagisetty and Arif Merchant, Google, Inc.

As mobile applications and services continue to grow in importance, the ability for a mobile device to quickly and accurately locate its own position (and that of its user) has also become ...

Daniel L. McDonald and Randall J. Atkinson, U.S. Naval Research Laboratory; Craig Metz, Kaman Sciences Corporation ...

Contemporary software systems are beset by problems that create challenges and opportunities for broad new OS research. To illustrate, we describe five areas where broad OS research could ...

Nathan Bronson, Zach Amsden, George Cabrera, Prasad Chakka, Peter Dimov, Hui Ding, Jack Ferris, Anthony Giardullo, Sachin Kulkarni, Harry Li, Mark Marchukov, Dmitri ...

Daniel Lowe Wheeler, Dropbox Inc.

Tavish Vaidya, Yuankai Zhang, Micah Sherr, and Clay Shields, Georgetown University ...

Jeanna Neefe Matthews, Randoph Y. Wang, Drew S. Roselly, and Thomas Anderson,, University of California, Berkeley ...

The Short Topics in System Administration books provide information not available elsewhere. Presenting topics in thorough, refereed fashion, they are small enough and flexible enough to grow with the ...

The mutex primitive provides mutual exclusion for one or more data objects. Two versions of the mutex primitive are provided: spin mutexes and sleep mutexes. Spin mutexes are a simple spin lock. If ...