ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 32 Issue 1, February 2014

GPUfs: Integrating a file system with GPUs
Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
Article No.: 1
DOI: 10.1145/2553081

As GPU hardware becomes increasingly general-purpose, it is quickly outgrowing the traditional, constrained GPU-as-coprocessor programming model. This article advocates for extending standard operating system services and abstractions to GPUs in...

Comprehensive formal verification of an OS microkernel
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
Article No.: 2
DOI: 10.1145/2560537

We present an in-depth coverage of the comprehensive machine-checked formal verification of seL4, a general-purpose operating system microkernel.

We discuss the kernel design we used to make its verification tractable. We then describe the...

Market mechanisms for managing datacenters with heterogeneous microarchitectures
Marisabel Guevara, Benjamin Lubin, Benjamin C. Lee
Article No.: 3
DOI: 10.1145/2541258

Specialization of datacenter resources brings performance and energy improvements in response to the growing scale and diversity of cloud applications. Yet heterogeneous hardware adds complexity and volatility to latency-sensitive applications. A...