Visible to the public CSR: Core Surprise Removal in Commodity Operating Systems

TitleCSR: Core Surprise Removal in Commodity Operating Systems
Publication TypeConference Paper
Year of Publication2016
AuthorsShalev, Noam, Harpaz, Eran, Porat, Hagar, Keidar, Idit, Weinsberg, Yaron
Conference NameProceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
PublisherACM
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-4091-5
Keywordscomposability, core surprise removal, CPU-hotplug, CSR, fault-tolerant operating system, hardware transactional memory in kernel, hotplug, htm in kernel, kernel transactions, linux operating systems security, Metrics, OS reliability, pubcrawl, Resiliency
Abstract

One of the adverse effects of shrinking transistor sizes is that processors have become increasingly prone to hardware faults. At the same time, the number of cores per die rises. Consequently, core failures can no longer be ruled out, and future operating systems for many-core machines will have to incorporate fault tolerance mechanisms. We present CSR, a strategy for recovery from unexpected permanent processor faults in commodity operating systems. Our approach overcomes surprise removal of faulty cores, and also tolerates cascading core failures. When a core fails in user mode, CSR terminates the process executing on that core and migrates the remaining processes in its run-queue to other cores. We further show how hardware transactional memory may be used to overcome failures in critical kernel code. Our solution is scalable, incurs low overhead, and is designed to integrate into modern operating systems. We have implemented it in the Linux kernel, using Haswell's Transactional Synchronization Extension, and tested it on a real system.

URLhttp://doi.acm.org/10.1145/2872362.2872369
DOI10.1145/2872362.2872369
Citation Keyshalev_csr:_2016