Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 32 Issue 4, January 2015

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler
Article No.: 10
DOI: 10.1145/2699681

What opportunities for multicore scalability are latent in software interfaces, such as system call APIs? Can scalability challenges and opportunities be identified even before any implementation exists, simply by considering interface...

Mechanistic Modeling of Architectural Vulnerability Factor
Arun Arvind Nair, Stijn Eyerman, Jian Chen, Lizy Kurian John, Lieven Eeckhout
Article No.: 11
DOI: 10.1145/2669364

Reliability to soft errors is a significant design challenge in modern microprocessors owing to an exponential increase in the number of transistors on chip and the reduction in operating voltages with each process generation. Architectural...

The Next 700 BFT Protocols
Pierre-Louis Aublin, Rachid Guerraoui, Nikola Knežević, Vivien Quéma, Marko Vukolić
Article No.: 12
DOI: 10.1145/2658994

We present Abstract (ABortable STate mAChine replicaTion), a new abstraction for designing and reconfiguring generalized replicated state machines that are, unlike traditional state machines, allowed to abort executing a client’s...