Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 33 Issue 4, January 2016

Arrakis: The Operating System Is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe
Article No.: 11
DOI: 10.1145/2812806

Recent device hardware trends enable a new approach to the design of network server operating systems. In a traditional operating system, the kernel mediates access to device hardware by server applications to enforce process isolation as well as...

Assisting Static Compiler Vectorization with a Speculative Dynamic Vectorizer in an HW/SW Codesigned Environment
Rakesh Kumar, Alejandro Martínez, Antonio González
Article No.: 12
DOI: 10.1145/2807694

Compiler-based static vectorization is used widely to extract data-level parallelism from computation-intensive applications. Static vectorization is very effective in vectorizing traditional array-based applications. However, compilers’...

Fast and Portable Locking for Multicore Architectures
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller
Article No.: 13
DOI: 10.1145/2845079

The scalability of multithreaded applications on current multicore systems is hampered by the performance of lock algorithms, due to the costs of access contention and cache misses. The main contribution presented in this article is a new locking...