In order to thoroughly understand what makes Linux tick and why it works so well on a wide variety of systems, you need to delve deep into the heart of the kernel. The kernel handles all interactions between the CPU and the external world, and determines which programs will share processor time, in what order. It manages limited memory so well that hundreds of processes can share the system efficiently, and expertly organizes data transfers so that the CPU isn't kept waiting any longer than necessary for the relatively slow disks. The third edition of Understanding the Linux Kernel takes you on a guided tour of the most significant data structures, algorithms, and programming tricks used in the kernel. Probing beyond superficial features, the authors offer valuable insights to people who want to know how things really work inside their machine. Important Intel-specific features are discussed. Relevant segments of code are dissected line by line. But the book covers more than just the functioning of the code; it explains the theoretical underpinnings of why Linux does things the way it does.This edition of the book covers Version 2.6, which has seen significant changes to nearly every kernel subsystem, particularly in the areas of memory management and block devices. The book focuses on the following topics:Memory management, including file buffering, process swapping, and Direct memory Access (DMA)The Virtual Filesystem layer and the Second and Third Extended FilesystemsProcess creation and schedulingSignals, interrupts, and the essential interfaces to device driversTimingSynchronization within the kernelInterprocess Communication (IPC)Program executionUnderstanding the Linux Kernel will acquaint you with all the inner workings of Linux, but it's more than just an academic exercise. You'll learn what conditions bring out Linux's best performance, and you'll see how it meets the challenge of providing good system response during process scheduling, file access, and memory management in a wide variety of environments. This book will help you make the most of your Linux system.
Cited By
- Langehaug T, Borghetti B and Graham S (2022). Classifying Co-resident Computer Programs Using Information Revealed by Resource Contention, Digital Threats: Research and Practice, 4:2, (1-29), Online publication date: 30-Jun-2023.
- Slimani C, Wu C, Rubini S, Chang Y and Boukhobza J (2023). Accelerating Random Forest on Memory-Constrained Devices Through Data Storage Optimization, IEEE Transactions on Computers, 72:6, (1595-1609), Online publication date: 1-Jun-2023.
- Wong A, Chekole E, Ochoa M and Zhou J (2023). On the Security of Containers, Computers and Security, 128:C, Online publication date: 1-May-2023.
- Yi S, Yang Y, Tang Y, Zhou Z, Li J, Yue C, Jung M and Zhang J ScalaRAID Proceedings of the 14th ACM Workshop on Hot Topics in Storage and File Systems, (119-125)
- Bergman S, Faldu P, Grot B, Vilanova L and Silberstein M Reconsidering OS memory optimizations in the presence of disaggregated memory Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management, (1-14)
- Lefeuvre H FlexOS Proceedings of the 22nd International Middleware Conference: Doctoral Symposium, (29-32)
- Fukatani T, Le H and Yokota H (2021). Lightweight Dynamic Redundancy Control with Adaptive Encoding for Server-based Storage, ACM Transactions on Storage, 17:4, (1-38), Online publication date: 30-Nov-2021.
- Gokul Vasan L, F. Zulian É, Weis C, Jung M and Wehn N Online Working Set Change Detection with Constant Complexity Proceedings of the International Symposium on Memory Systems, (1-16)
- Lefeuvre H, Bădoiu V, Teodorescu Ş, Olivier P, Mosnoi T, Deaconescu R, Huici F and Raiciu C FlexOS Proceedings of the Workshop on Hot Topics in Operating Systems, (79-87)
- Liu S, Mahar S, Ray B and Khan S PMFuzz: test case generation for persistent memory programs Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (487-502)
- Compastié M, Badonnel R, Festor O and He R (2020). From virtualization security issues to cloud protection opportunities, Computers and Security, 97:C, Online publication date: 1-Oct-2020.
- Wang S, Lu Z, Cao Q, Jiang H, Yao J, Dong Y and Yang P BCW Proceedings of the 18th USENIX Conference on File and Storage Technologies, (253-266)
- Chen W, Pi A, Wang S and Zhou X OS-Augmented Oversubscription of Opportunistic Memory with a User-Assisted OOM Killer Proceedings of the 20th International Middleware Conference, (28-40)
- Rivas-Gomez S, Fanfarillo A, Narasimhamurthy S and Markidis S Persistent coarrays Proceedings of the 26th European MPI Users' Group Meeting, (1-8)
- Li X, Liu L, Yang S, Peng L and Qiu J Thinking about A New Mechanism for Huge Page Management Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, (40-46)
- Jun J, Paik Y, Min G, Kim S and Han Y (2019). Fault Tolerance Technique Offlining Faulty Blocks by Heap Memory Management, ACM Transactions on Design Automation of Electronic Systems, 24:4, (1-25), Online publication date: 31-Jul-2019.
- Yang Q, Jin R and Zhao M Smartdedup Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference, (633-646)
- Kim J, Kim Y, Khan A and Park S (2019). Understanding the performance of storage class memory file systems in the NUMA architecture, Cluster Computing, 22:2, (347-360), Online publication date: 1-Jun-2019.
- Li Q, Deng A, Gao C, Liang Y, Shi L and Sha E Optimizing fragmentation and segment cleaning for CPS based storage devices Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (242-249)
- Panwar A, Bansal S and Gopinath K HawkEye Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, (347-360)
- Abulila A, Mailthody V, Qureshi Z, Huang J, Kim N, Xiong J and Hwu W FlatFlash Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, (971-985)
- Wu X, Sherwood T, Chong F and Li Y Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, (645-657)
- Orlando A, Amato P, Caraccio D, Cinque M, Izzi R, Mirichigni G and Porzio L (2019). Linux page fault analysis in android systems, Microprocessors & Microsystems, 66:C, (10-18), Online publication date: 1-Apr-2019.
- Lochmann A, Schirmeier H, Borghorst H and Spinczyk O LockDoc Proceedings of the Fourteenth EuroSys Conference 2019, (1-15)
- Li F, Waddington D and Song F Userland CO-PAGER Proceedings of the 3rd International Conference on High Performance Compilation, Computing and Communications, (78-83)
- Gelado I and Garland M Throughput-oriented GPU memory allocation Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, (27-37)
- Zou J, Iyengar A and Jermaine C (2019). Pangea, Proceedings of the VLDB Endowment, 12:6, (681-694), Online publication date: 1-Feb-2019.
- Zhang J, Hou R, Song W, Mckee S, Jia Z, Zheng C, Chen M, Zhang L and Meng D (2018). RAGuard, ACM Transactions on Architecture and Code Optimization, 15:4, (1-21), Online publication date: 8-Jan-2019.
- Wang X, Qi Y, Wang Z, Chen Y and Zhou Y (2019). Design and Implementation of SecPod, A Framework for Virtualization-Based Security Systems, IEEE Transactions on Dependable and Secure Computing, 16:1, (44-57), Online publication date: 1-Jan-2019.
- Ozeri O, Ofer E and Kat R Object Storage for Deep Learning Frameworks Proceedings of the Second Workshop on Distributed Infrastructures for Deep Learning, (21-24)
- Wang C, Lv Y and Wu P (2018). TSO-to-TSO linearizability is undecidable, Acta Informatica, 55:8, (649-668), Online publication date: 1-Dec-2018.
- Panwar A, Prasad A and Gopinath K (2018). Making Huge Pages Actually Useful, ACM SIGPLAN Notices, 53:2, (679-692), Online publication date: 30-Nov-2018.
- Markthub P, Belviranli M, Lee S, Vetter J and Matsuoka S DRAGON Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, (1-13)
- Markthub P, Belviranli M, Lee S, Vetter J and Matsuoka S DRAGON Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, (1-13)
- Wang J, Lu J, Guo S, Chen Z and Li Y A Thermal Balance Oriented Task Mapping for CMPs Proceedings of the 8th International Conference on Information Communication and Management, (12-16)
- Pusukuri K, Gardner R and Smolens J An Implementation of Fast memset() Using Hardware Accelerators Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers, (1-6)
- Dong X, Shen Z, Criswell J, Cox A and Dwarkadas S Spectres, virtual ghosts, and hardware support Proceedings of the 7th International Workshop on Hardware and Architectural Support for Security and Privacy, (1-9)
- Panwar A, Prasad A and Gopinath K Making Huge Pages Actually Useful Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, (679-692)
- Chen S, Chen T, Chang Y, Wei H and Shih W (2018). UnistorFS, ACM Transactions on Storage, 14:1, (1-22), Online publication date: 28-Feb-2018.
- Abal I, Melo J, Stănciulescu Ş, Brabrand C, Ribeiro M and Wąsowski A (2018). Variability Bugs in Highly Configurable Systems, ACM Transactions on Software Engineering and Methodology, 26:3, (1-34), Online publication date: 12-Jan-2018.
- Tian B, Huang J, Mozafari B and Schoenebeck G (2018). Contention-aware lock scheduling for transactional databases, Proceedings of the VLDB Endowment, 11:5, (648-662), Online publication date: 1-Jan-2018.
- Tian B, Huang J, Mozafari B and Schoenebeck G (2018). Contention-aware lock scheduling for transactional databases, Proceedings of the VLDB Endowment, 11:5, (648-662), Online publication date: 1-Jan-2018.
- Hatzieleftheriou A and Anastasiadis S (2017). Client-Side Journaling for Durable Shared Storage, ACM Transactions on Storage, 13:4, (1-34), Online publication date: 15-Dec-2017.
- Smith G and Winter K (2017). Relating trace refinement and linearizability, Formal Aspects of Computing, 29:6, (935-950), Online publication date: 1-Nov-2017.
- Liu Z and Criswell J (2017). Flexible and efficient memory object metadata, ACM SIGPLAN Notices, 52:9, (36-46), Online publication date: 31-Oct-2017.
- Yu X, Hughes C, Satish N, Mutlu O and Devadas S Banshee Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, (1-14)
- Tanasic I, Gelado I, Jorda M, Ayguade E and Navarro N Efficient exception handling support for GPUs Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, (109-122)
- Rivas-Gomez S, Gioiosa R, Peng I, Kestor G, Narasimhamurthy S, Laure E and Markidis S MPI windows on storage for HPC applications Proceedings of the 24th European MPI Users' Group Meeting, (1-11)
- Liu Z and Criswell J Flexible and efficient memory object metadata Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, (36-46)
- Zhang J, Hou R, Fan J, Liu K, Zhang L and McKee S RAGuard Proceedings of the Computing Frontiers Conference, (27-34)
- Park J, Min C and Yeom H A New File System I/O Mode for Efficient User-level Caching Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, (649-658)
- Liu H and Huang H Graphene Proceedings of the 15th Usenix Conference on File and Storage Technologies, (285-299)
- Morad T, Shomron G, Erez M, Kolodny A and Weiser U (2017). Optimizing Read-Once Data Flow in Big-Data Applications, IEEE Computer Architecture Letters, 16:1, (68-71), Online publication date: 1-Jan-2017.
- Aboughadareh S and Csallner C Detecting rootkits with the RAI runtime application inventory Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, (1-12)
- Lung C, Zhang X and Rajeswaran P (2016). Improving software performance and reliability in a distributed and concurrent environment with an architecture-based self-adaptive framework, Journal of Systems and Software, 121:C, (311-328), Online publication date: 1-Nov-2016.
- Chang Y, Chang Y, Chen H and Kuo T Enabling Hybrid PCM Memory System with Inherent Memory Management Proceedings of the International Conference on Research in Adaptive and Convergent Systems, (193-200)
- Zou L, Li Q and Kong L (2016). Isolated Storage of Multi-Tenant Data Based on Shared Schema, Cybernetics and Information Technologies, 16:3, (91-103), Online publication date: 1-Sep-2016.
- Olivier P, Boukhobza J, Senn E and Ouarnoughi H (2016). A Methodology for Estimating Performance and Power Consumption of Embedded Flash File Systems, ACM Transactions on Embedded Computing Systems, 15:4, (1-25), Online publication date: 1-Sep-2016.
- Awad A, Manadhata P, Haber S, Solihin Y and Horne W (2016). Silent Shredder, ACM SIGARCH Computer Architecture News, 44:2, (263-276), Online publication date: 29-Jul-2016.
- Giceva J, Zellweger G, Alonso G and Rosco T Customized OS support for data-processing Proceedings of the 12th International Workshop on Data Management on New Hardware, (1-6)
- Awad A, Manadhata P, Haber S, Solihin Y and Horne W (2016). Silent Shredder, ACM SIGPLAN Notices, 51:4, (263-276), Online publication date: 9-Jun-2016.
- Wang R, Shang P, Zhang J, Wang Q, Liu T and Wang J (2016). MAR: A Novel Power Management for CMP Systems in Data-Intensive Environment, IEEE Transactions on Computers, 65:6, (1816-1830), Online publication date: 1-Jun-2016.
- Ackerman E (2016). Does this make me look fat? [Past Forward], IEEE Spectrum, 53:6, (64-64), Online publication date: 1-Jun-2016.
- Harris M (2016). Mules on a mountain, IEEE Spectrum, 53:6, (50-56), Online publication date: 1-Jun-2016.
- Neuman T (2016). Fly the electric skies, IEEE Spectrum, 53:6, (44-48), Online publication date: 1-Jun-2016.
- Guizzo E and Ackerman E (2016). When robots decide to kill, IEEE Spectrum, 53:6, (38-43), Online publication date: 1-Jun-2016.
- Strickland E (2016). Doc bot preps for the O.R., IEEE Spectrum, 53:6, (32-60), Online publication date: 1-Jun-2016.
- Goodall N (2016). Can you program ethics into a self-driving car?, IEEE Spectrum, 53:6, (28-58), Online publication date: 1-Jun-2016.
- (2016). Can we trust robots? [Special Report], IEEE Spectrum, 53:6, (26-27), Online publication date: 1-Jun-2016.
- McFedries P (2016). Are you master of your own stuff? [Technically Speaking], IEEE Spectrum, 53:6, (24-24), Online publication date: 1-Jun-2016.
- Smil V (2016). Heating houses: Running out of combustion efficiency [Numbers Don't Lie], IEEE Spectrum, 53:6, (22-22), Online publication date: 1-Jun-2016.
- Furlan R (2016). The future of augmented reality: Hololens - Microsoft's AR headset shines despite rough edges [Resources_Tools and Toys], IEEE Spectrum, 53:6, (21-21), Online publication date: 1-Jun-2016.
- Cass S (2016). They're alive! At a classic computer festival, enthusiasts keep retro hardware running [Resources_Geek Life], IEEE Spectrum, 53:6, (20-20), Online publication date: 1-Jun-2016.
- Moore S (2016). "Brainprint" biometric id hits 100% accuracy [News], IEEE Spectrum, 53:6, (14-14), Online publication date: 1-Jun-2016.
- (2016). The blockchain has a dark side [News], IEEE Spectrum, 53:6, (12-13), Online publication date: 1-Jun-2016.
- Fairley P (2016). The troubled link between gas and electricity grids [News], IEEE Spectrum, 53:6, (11-12), Online publication date: 1-Jun-2016.
- Nordrum A (2016). 3 ways to bridge the digital divide [News], IEEE Spectrum, 53:6, (9-10), Online publication date: 1-Jun-2016.
- Hassler S (2016). Building robots we can trust: The hard work of integrating robots into our world [Spectral Lines], IEEE Spectrum, 53:6, (8-8), Online publication date: 1-Jun-2016.
- (2016). Into the woods [Back Story], IEEE Spectrum, 53:6, (4-4), Online publication date: 1-Jun-2016.
- Shinde S, Chua Z, Narayanan V and Saxena P Preventing Page Faults from Telling Your Secrets Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, (317-328)
- Lim G and Ham M BB Proceedings of the Eleventh European Conference on Computer Systems, (1-16)
- Awad A, Manadhata P, Haber S, Solihin Y and Horne W Silent Shredder Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, (263-276)
- Zhang H, Xiao N, Liu F and Chen Z Leader Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (756-761)
- Khatib M and Bandic Z PCAP Proceedings of the 14th Usenix Conference on File and Storage Technologies, (227-240)
- Fu C, Huang C, Tang Y, Zeng W, Wang D and Yuan C Survey on Android Applications Security Revised Selected Papers of the Second International Conference on Human Centered Computing - Volume 9567, (92-103)
- Segulja C and Abdelrahman T (2015). Clean, ACM SIGARCH Computer Architecture News, 43:3S, (401-413), Online publication date: 4-Jan-2016.
- Chiang R, Huang H, Wood T, Liu C and Spatscheck O IOrchestra Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, (1-12)
- Rutman M, Irtegov D, Medvedev S, Kulikov A, Oleynikov S and Ostapenko A Implementation of request switch in PleskFS file system Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, (1-9)
- Natarajan R and Zhai A (2015). Leveraging Transactional Execution for Memory Consistency Model Emulation, ACM Transactions on Architecture and Code Optimization, 12:3, (1-24), Online publication date: 6-Oct-2015.
- Kim J, Fedorov V, Gratz P and Reddy A Dynamic Memory Pressure Aware Ballooning Proceedings of the 2015 International Symposium on Memory Systems, (103-112)
- Tsai C, Zhan Y, Reddy J, Jiao Y, Zhang T and Porter D How to get more value from your file system directory cache Proceedings of the 25th Symposium on Operating Systems Principles, (441-456)
- Inwook Shim , Jongwon Choi , Seunghak Shin , Tae-Hyun Oh , Unghui Lee , Byungtae Ahn , Dong-Geol Choi , Shim D and In So Kweon (2015). An Autonomous Driving System for Unknown Environments Using a Unified Map, IEEE Transactions on Intelligent Transportation Systems, 16:4, (1999-2013), Online publication date: 1-Aug-2015.
- Segulja C and Abdelrahman T Clean Proceedings of the 42nd Annual International Symposium on Computer Architecture, (401-413)
- Kerrison S and Eder K (2015). Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor, ACM Transactions on Embedded Computing Systems, 14:3, (1-25), Online publication date: 21-May-2015.
- Nguyen D, Zhou G, Xing G, Qi X, Hao Z, Peng G and Yang Q Reducing Smartphone Application Delay through Read/Write Isolation Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services, (287-300)
- Joisha P (2014). Sticky tries, ACM SIGPLAN Notices, 49:11, (35-46), Online publication date: 11-May-2015.
- Hassan A, Vandierendonck H and Nikolopoulos D Software-managed energy-efficient hybrid DRAM/NVM main memory Proceedings of the 12th ACM International Conference on Computing Frontiers, (1-8)
- Zhang N, Sun K, Lou W, Hou Y and Jajodia S Now You See Me Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, (321-331)
- Nam S, Reda K, Renambot L, Johnson A and Leigh J (2015). Multiuser-centered resource scheduling for collaborative display wall environments, Future Generation Computer Systems, 45:C, (162-175), Online publication date: 1-Apr-2015.
- Wang T, Liu D, Wang Y and Shao Z (2015). Towards Write-Activity-Aware Page Table Management for Non-volatile Main Memories, ACM Transactions on Embedded Computing Systems, 14:2, (1-23), Online publication date: 25-Mar-2015.
- Katsalis K, Paschos G, Viniotis Y and Tassiulas L (2015). CPU Provisioning Algorithms for Service Differentiation in Cloud-Based Environments, IEEE Transactions on Network and Service Management, 12:1, (61-74), Online publication date: 1-Mar-2015.
- Song M, Lee Y and Park J (2015). Scheduling a Video Transcoding Server to Save Energy, ACM Transactions on Multimedia Computing, Communications, and Applications, 11:2s, (1-23), Online publication date: 24-Feb-2015.
- Hatzieleftheriou A and Anastasiadis S Host-side filesystem journaling for durable shared storage Proceedings of the 13th USENIX Conference on File and Storage Technologies, (59-66)
- Olivier P, Boukhobza J, Soula M, Grand M, Draa I and Senn E A tracing toolset for embedded linux flash file system Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (153-158)
- Oliveira D, Wetzel N, Bucci M, Navarro J, Sullivan D and Jin Y (2014). Hardware-software collaboration for secure coexistence with kernel extensions, ACM SIGAPP Applied Computing Review, 14:3, (22-35), Online publication date: 22-Sep-2014.
- Abal I, Brabrand C and Wasowski A 42 variability bugs in the linux kernel Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (421-432)
- Nguyen D Improving smartphone responsiveness through I/O optimizations Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct Publication, (337-342)
- Segulja C and Abdelrahman T What is the cost of weak determinism? Proceedings of the 23rd international conference on Parallel architectures and compilation, (99-112)
- Joisha P Sticky tries Proceedings of the 2014 international symposium on Memory management, (35-46)
- Fragkoulis M, Spinellis D, Louridas P and Bilas A Relational access to Unix kernel data structures Proceedings of the Ninth European Conference on Computer Systems, (1-14)
- Park H, Kang D and Choi J Cooperative kernel Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1517-1522)
- Oliveira D, Navarro J, Wetzel N and Bucci M Ianus Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1672-1679)
- Song M, Lee Y and Park J CPU Power Management in Video Transcoding Servers Proceedings of Network and Operating System Support on Digital Audio and Video Workshop, (91-96)
- Song M, Lee Y and Park J CPU Power Management in Video Transcoding Servers Proceedings of Network and Operating System Support on Digital Audio and Video Workshop, (91-96)
- Ma A, Dragga C, Arpaci-Dusseau A, Arpaci-Dusseau R and Mckusick M (2014). Ffsck, ACM Transactions on Storage, 10:1, (1-28), Online publication date: 1-Jan-2014.
- Artiaga E, Martí J and Cortes T Better Cloud Storage Usability through Name Space Virtualization Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, (67-74)
- Seshadri V, Kim Y, Fallin C, Lee D, Ausavarungnirun R, Pekhimenko G, Luo Y, Mutlu O, Gibbons P, Kozuch M and Mowry T RowClone Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, (185-197)
- Huang P, Chang Y, Tsao C, Yang M and Hsieh C (2013). Migration-based hybrid cache design for file systems over flash storage devices, ACM SIGAPP Applied Computing Review, 13:4, (8-16), Online publication date: 1-Dec-2013.
- Zheng D, Burns R and Szalay A Toward millions of file system IOPS on low-cost, commodity hardware Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, (1-12)
- Garcia J, Ivkovic I and Medvidovic N A comparative analysis of software architecture recovery techniques Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (486-496)
- Zhang Y and Reiter M Düppel Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, (827-838)
- Nguyen D Evaluating impact of storage on smartphone energy efficiency Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication, (319-324)
- Nguyen D, Zhou G, Qi X, Peng G, Zhao J, Nguyen T and Le D Storage-aware smartphone energy savings Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing, (677-686)
- Fu Y and Lin Z (2013). Bridging the Semantic Gap in Virtual Machine Introspection via Online Kernel Data Redirection, ACM Transactions on Information and System Security, 16:2, (1-29), Online publication date: 1-Sep-2013.
- Yang J, Long X, Shen X, Wang L, Feng S and Zheng S Towards RTOS Revised Selected Papers of the 10th International Symposium on Advanced Parallel Processing Technologies - Volume 8299, (47-61)
- Currim S, Snodgrass R, Suh Y, Zhang R, Johnson M and Yi C DBMS metrology Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, (421-432)
- Valat S, Pérache M and Jalby W Introducing kernel-level page reuse for high performance computing Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, (1-9)
- Jung J and Cho S Memorage Proceedings of the 27th international ACM conference on International conference on supercomputing, (115-126)
- Meehean J, Arpaci-Dusseau A, Arpaci-Dusseau R and Livny M Uncovering CPU load balancing policies with harmony Proceedings of the ACM International Conference on Computing Frontiers, (1-10)
- Hatzieleftheriou A and Anastasiadis S (2013). Improving Bandwidth Efficiency for Consistent Multistream Storage, ACM Transactions on Storage, 9:1, (1-27), Online publication date: 1-Mar-2013.
- Ma A, Dragga C, Arpaci-Dusseau A and Arpaci-Dusseau R Ffsck Proceedings of the 11th USENIX conference on File and Storage Technologies, (1-16)
- Pham B, Vaidyanathan V, Jaleel A and Bhattacharjee A CoLT Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, (258-269)
- Kalkov I, Franke D, Schommer J and Kowalewski S A real-time extension to the Android platform Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (105-114)
- Kim S, Kang D and Choi J Fine-grained I/O fairness analysis in virtualized environments Proceedings of the 2012 ACM Research in Applied Computation Symposium, (403-408)
- Gotsman A, Musuvathi M and Yang H Show no weakness Proceedings of the 26th international conference on Distributed Computing, (31-45)
- Gu Y, Fu Y, Prakash A, Lin Z and Yin H OS-Sommelier Proceedings of the Third ACM Symposium on Cloud Computing, (1-13)
- Ma K and Wang X PGCapping Proceedings of the 21st international conference on Parallel architectures and compilation techniques, (13-22)
- Bae S, Song H, Min C, Kim J and Eom Y EIMOS Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III, (238-247)
- Song H, Min C, Kim J and Eom Y Usage pattern-based prefetching Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III, (227-237)
- Kim H, Ryu M and Ramachandran U What is a good buffer cache replacement scheme for mobile flash storage? Proceedings of the 12th ACM SIGMETRICS/PERFORMANCE joint international conference on Measurement and Modeling of Computer Systems, (235-246)
- Kim H, Ryu M and Ramachandran U (2012). What is a good buffer cache replacement scheme for mobile flash storage?, ACM SIGMETRICS Performance Evaluation Review, 40:1, (235-246), Online publication date: 7-Jun-2012.
- Feiner P, Brown A and Goel A (2012). Comprehensive kernel instrumentation via dynamic binary translation, ACM SIGPLAN Notices, 47:4, (135-146), Online publication date: 1-Jun-2012.
- Mühlberg J and Lüttgen G (2011). Verifying compiled file system code, Formal Aspects of Computing, 24:3, (375-391), Online publication date: 1-May-2012.
- Feiner P, Brown A and Goel A (2012). Comprehensive kernel instrumentation via dynamic binary translation, ACM SIGARCH Computer Architecture News, 40:1, (135-146), Online publication date: 18-Apr-2012.
- Burckhardt S, Gotsman A, Musuvathi M and Yang H Concurrent library correctness on the TSO memory model Proceedings of the 21st European conference on Programming Languages and Systems, (87-107)
- Feiner P, Brown A and Goel A Comprehensive kernel instrumentation via dynamic binary translation Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, (135-146)
- Kim H, Jeong J, Hwang J, Lee J and Maeng S Scheduler support for video-oriented multimedia on client-side virtualization Proceedings of the 3rd Multimedia Systems Conference, (65-76)
- Vicente E, Matias R, Borges L and Macêdo A (2012). Evaluation of compound system calls in the Linux kernel, ACM SIGOPS Operating Systems Review, 46:1, (53-63), Online publication date: 16-Feb-2012.
- Yang J, Minturn D and Hady F When poll is better than interrupt Proceedings of the 10th USENIX conference on File and Storage Technologies, (3-3)
- Almohri H, Yao D and Kafura D Identifying native applications with high assurance Proceedings of the second ACM conference on Data and Application Security and Privacy, (275-282)
- Sundararaman S, Zhang Y, Subramanian S, Arpaci-Dusseau A and Arpaci-Dusseau R (2012). Making the common case the only case with anticipatory memory allocation, ACM Transactions on Storage, 7:4, (1-24), Online publication date: 1-Jan-2012.
- Ha-Son H, Le-Trung Q and Nguyen M ManetPRO Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services, (535-538)
- Gofman M, Luo R, Yang P and Gopalan K SPARC Proceedings of the 10th annual ACM workshop on Privacy in the electronic society, (115-124)
- Gotsman A and Yang H Modular verification of preemptive OS kernels Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (404-417)
- Gotsman A and Yang H (2011). Modular verification of preemptive OS kernels, ACM SIGPLAN Notices, 46:9, (404-417), Online publication date: 18-Sep-2011.
- Park E, Egger B and Lee J (2011). Fast and space-efficient virtual machine checkpointing, ACM SIGPLAN Notices, 46:7, (75-86), Online publication date: 15-Jul-2011.
- Zheng Y and Nicol D A Virtual Time System for OpenVZ-Based Network Emulations Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation, (1-10)
- Chang Y, Hsu P, Lu Y and Kuo T (2011). A driver-layer caching policy for removable storage devices, ACM Transactions on Storage, 7:1, (1-23), Online publication date: 1-Jun-2011.
- Lee H, Kim C and Yi J Experimenting with system and Libc call interception attacks on ARM-based Linux kernel Proceedings of the 2011 ACM Symposium on Applied Computing, (631-632)
- Park E, Egger B and Lee J Fast and space-efficient virtual machine checkpointing Proceedings of the 7th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, (75-86)
- Sundararaman S, Zhang Y, Subramanian S, Arpaci-Dusseau A and Arpaci-Dusseau R Making the common case the only case with anticipatory memory allocation Proceedings of the 9th USENIX conference on File and stroage technologies, (17-17)
- Chen P, Xing X, Mao B and Xie L Return-oriented rootkit without returns (on the x86) Proceedings of the 12th international conference on Information and communications security, (340-354)
- Liakh S, Grace M and Jiang X Analyzing and improving Linux kernel memory protection Proceedings of the 26th Annual Computer Security Applications Conference, (271-280)
- Rantonen M, Frantti T and Leiviskä K (2010). Fuzzy expert system for load balancing in symmetric multiprocessor systems, Expert Systems with Applications: An International Journal, 37:12, (8711-8720), Online publication date: 1-Dec-2010.
- Liao G, Bhuyan L, Wu W, Yu H and King S A new TCB cache to efficiently manage TCP sessions for web servers Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, (1-10)
- Feiner P, Brown A and Goel A A design for comprehensive kernel instrumentation Proceedings of the Sixth international conference on Hot topics in system dependability, (1-16)
- Wang J, Stavrou A and Ghosh A HyperCheck Proceedings of the 13th international conference on Recent advances in intrusion detection, (158-177)
- Lim M, Wu S, Simon T, Rashid M and Helian N (2010). Personal Storage Grid Architecture, International Journal of Grid and High Performance Computing, 2:3, (17-30), Online publication date: 1-Jul-2010.
- Burns A and Wellings A Dispatching domains for multiprocessor platforms and their representation in ada Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (41-53)
- Fricke P, Jungermann F, Morik K, Piatkowski N, Spinczyk O, Stolpe M and Streicher J Towards adjusting mobile devices to user's behaviour Proceedings of the 2010 international conference on Analysis of social media and ubiquitous data, (99-118)
- Fricke P, Jungermann F, Morik K, Piatkowski N, Spinczyk O, Stolpe M and Streicher J Towards adjusting mobile devices to user's behaviour Proceedings of the 2010th International Conference on Analysis of Social Media and Ubiquitous Data, (99-118)
- Tian C, Feng M and Gupta R (2010). Supporting speculative parallelization in the presence of dynamic data structures, ACM SIGPLAN Notices, 45:6, (62-73), Online publication date: 12-Jun-2010.
- Tian C, Feng M and Gupta R Supporting speculative parallelization in the presence of dynamic data structures Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (62-73)
- Radojković P, Čakarević V, Verdú J, Pajuelo A, Cazorla F, Nemirovsky M and Valero M (2010). Thread to strand binding of parallel network applications in massive multi-threaded systems, ACM SIGPLAN Notices, 45:5, (191-202), Online publication date: 1-May-2010.
- Zhou X, Yang J, Chrobak M and Zhang Y (2010). Performance-aware thermal management via task scheduling, ACM Transactions on Architecture and Code Optimization, 7:1, (1-31), Online publication date: 1-Apr-2010.
- Chen J, Su H and Chou C An aspect-oriented framework for operating system evolution Proceedings of the 2010 ACM Symposium on Applied Computing, (226-230)
- Lee J and Park K (2010). Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks, ACM Transactions on Embedded Computing Systems, 9:4, (1-34), Online publication date: 1-Mar-2010.
- Radojković P, Čakarević V, Verdú J, Pajuelo A, Cazorla F, Nemirovsky M and Valero M Thread to strand binding of parallel network applications in massive multi-threaded systems Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (191-202)
- Trotman A, Jia X and Geva S Fast and effective focused retrieval Proceedings of the Focused retrieval and evaluation, and 8th international conference on Initiative for the evaluation of XML retrieval, (229-241)
- Lakshminarayana N, Lee J and Kim H Age based scheduling for asymmetric multiprocessors Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, (1-12)
- Aulenbacher I and Jurado J A data acquisition system for the Laguna Verde nuclear power plant Proceedings of the 8th WSEAS international conference on Data networks, communications, computers, (142-146)
- Zhaohui W, Xingang W and Pingping L Application research of EDBA algorithm for completing hard disk copy Proceedings of the 21st annual international conference on Chinese control and decision conference, (5864-5866)
- Heo J, Zhu X, Padala P and Wang Z Memory overbooking and dynamic control of Xen virtual machines in consolidated environments Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management, (630-637)
- Moreto M, Cazorla F, Ramirez A, Sakellariou R and Valero M (2009). FlexDCP, ACM SIGOPS Operating Systems Review, 43:2, (86-96), Online publication date: 21-Apr-2009.
- Das S, Chattopadhayay A, Kalyani D and Saha M File-system intrusion detection by preserving MAC DTS Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies, (1-6)
- Shihab K and Ramadhan H (2009). Tuning of computer systems using heuristics and system performance tools, Expert Systems with Applications: An International Journal, 36:3, (5230-5239), Online publication date: 1-Apr-2009.
- Tlili S and Debbabi M (2009). Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code, Journal of Automated Reasoning, 42:2-4, (265-300), Online publication date: 1-Apr-2009.
- Kim H, Lim H, Jeong J, Jo H and Lee J Task-aware virtual machine scheduling for I/O performance. Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, (101-110)
- Palanca J, Botti V and García-Fornes A Towards organizational agent-oriented operating systems Proceedings of the 2009 ACM symposium on Applied Computing, (752-756)
- Spillane R, Gaikwad S, Chinni M, Zadok E and Wright C Enabling transactional file access via lightweight kernel extensions Proccedings of the 7th conference on File and storage technologies, (29-42)
- Ueda T, Hirate Y and Yamana H Exploiting idle CPU cores to improve file access performance Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, (529-535)
- Choi H, Lim S and Park K (2009). JFTL, ACM Transactions on Storage, 4:4, (1-22), Online publication date: 1-Jan-2009.
- Boneti C, Gioiosa R, Cazorla F and Valero M A dynamic scheduler for balancing HPC applications Proceedings of the 2008 ACM/IEEE conference on Supercomputing, (1-12)
- Thober M, Pendergrass J and McDonell C Improving coherency of runtime integrity measurement Proceedings of the 3rd ACM workshop on Scalable trusted computing, (51-60)
- Regnier P, Lima G and Barreto L (2008). Evaluation of interrupt handling timeliness in real-time Linux operating systems, ACM SIGOPS Operating Systems Review, 42:6, (52-63), Online publication date: 1-Oct-2008.
- Lee S, Shin D, Kim Y and Kim J (2008). LAST, ACM SIGOPS Operating Systems Review, 42:6, (36-42), Online publication date: 1-Oct-2008.
- Spanos S, Meliones A and Stassinopoulos G (2008). The internals of advanced interrupt handling techniques, Computer Communications, 31:14, (3460-3468), Online publication date: 1-Sep-2008.
- Sharma A and Belding E FreeMAC Proceedings of the ACM workshop on Programmable routers for extensible services of tomorrow, (69-74)
- Lim S, Jeong Y and Park K (2008). Data placement and prefetching with accurate bit rate control for interactive media server, ACM Transactions on Multimedia Computing, Communications, and Applications, 4:3, (1-25), Online publication date: 1-Aug-2008.
- Wong C, Tan I, Kumari R and Wey F (2008). Towards achieving fairness in the Linux scheduler, ACM SIGOPS Operating Systems Review, 42:5, (34-43), Online publication date: 1-Jul-2008.
- Yeo I, Liu C and Kim E Predictive dynamic thermal management for multicore systems Proceedings of the 45th annual Design Automation Conference, (734-739)
- Yoo R and Lee H Adaptive transaction scheduling for transactional memory systems Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, (169-178)
- Al-Gahmi A and Cook J Towards a service-based middleware layer for runtime environments Proceedings of the 2008 ACM symposium on Applied computing, (507-511)
- (2008). Hard real-time performances in multiprocessor-embedded systems using ASMP-Linux, EURASIP Journal on Embedded Systems, 2008, (1-16), Online publication date: 15-Jan-2008.
- Murray A and Grove D PULSE Proceedings of the sixth Australasian conference on Information security - Volume 81, (19-25)
- Lee J, Heo J, Park J, Cho Y, Hong J and Park M Buffer cache level encryption for embedded secure operating system Proceedings of the 2007 international conference on Embedded and ubiquitous computing, (346-355)
- Jeon M, Seo E, Kim J and Lee J Domain level page sharing in Xen virtual machine systems Proceedings of the 7th international conference on Advanced parallel processing technologies, (590-599)
- Rossbach C, Hofmann O, Porter D, Ramadan H, Aditya B and Witchel E (2007). TxLinux, ACM SIGOPS Operating Systems Review, 41:6, (87-102), Online publication date: 14-Oct-2007.
- Rossbach C, Hofmann O, Porter D, Ramadan H, Aditya B and Witchel E TxLinux Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, (87-102)
- Jubertie S and Melin E Performance prediction for mappings of distributed applications on PC clusters Proceedings of the 2007 IFIP international conference on Network and parallel computing, (453-465)
- Seixas J, Barbosa E, Silva S, Nascimento P, Kursancew V, Eskinazi R, Barros E and Eusebio M Aquarius Proceedings of the 20th annual conference on Integrated circuits and systems design, (171-176)
- Cordeiro D, Goldman A and da Silva D Load balancing on an interactive multiplayer game server Proceedings of the 13th international Euro-Par conference on Parallel Processing, (184-194)
- Papadimitriou S and Terzidis K Comparative evaluation of the recent Linux and Solaris kernel architectures Proceedings of the 11th WSEAS International Conference on Computers, (460-463)
- Wei Q, Xie C and Li X Stripe-cache Proceedings of the 12th international conference on Human-computer interaction: applications and services, (1130-1139)
- Yamada H and Kono K FoxyTechnique Proceedings of the 3rd international conference on Virtual execution environments, (55-64)
- Etsion Y, Tsafrir D, Kirkpatrick S and Feitelson D (2007). Fine grained kernel logging with KLogger, ACM SIGOPS Operating Systems Review, 41:3, (259-272), Online publication date: 1-Jun-2007.
- Corral A and Almendros-Jiménez J (2007). A performance comparison of distance-based query algorithms using R-trees in spatial databases, Information Sciences: an International Journal, 177:11, (2207-2237), Online publication date: 1-Jun-2007.
- Lee J, Han Y, Kim J, Na J and Chung T PKG-MIB Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, (833-840)
- Lim S and Park K (2007). TPF, IEEE Transactions on Computers, 56:4, (459-473), Online publication date: 1-Apr-2007.
- Etsion Y, Tsafrir D, Kirkpatrick S and Feitelson D Fine grained kernel logging with KLogger Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, (259-272)
- Wu W, Crawford M and Bowden M (2007). The performance analysis of linux networking - Packet receiving, Computer Communications, 30:5, (1044-1057), Online publication date: 1-Mar-2007.
- Gaspar A and Godwin C (2006). Root-kits & loadable kernel modules, Journal of Computing Sciences in Colleges, 22:2, (244-250), Online publication date: 1-Dec-2006.
- Etsion Y, Tsafrir D and Feitelson D (2006). Process prioritization using output production, ACM Transactions on Multimedia Computing, Communications, and Applications, 2:4, (318-342), Online publication date: 1-Nov-2006.
- Spear M, Roeder T, Hodson O, Hunt G and Levi S (2006). Solving the starting problem, ACM SIGOPS Operating Systems Review, 40:4, (45-57), Online publication date: 1-Oct-2006.
- Won Y, Chang H, Ryu J, Kim Y and Shim J (2006). Intelligent storage, ACM Transactions on Storage, 2:3, (255-282), Online publication date: 1-Aug-2006.
- Lim S, Baek S, Hwang J and Park K Write back routine for JFFS2 efficient i/o Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing, (795-804)
- Acquaviva A, Lattanzi E and Bogliolo A (2006). Power-Aware Network Swapping for Wireless Palmtop PCs, IEEE Transactions on Mobile Computing, 5:5, (571-582), Online publication date: 1-May-2006.
- Spear M, Roeder T, Hodson O, Hunt G and Levi S Solving the starting problem Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, (45-57)
- Lee Y and Chang R (2006). Hotswapping Linux kernel modules, Journal of Systems and Software, 79:2, (163-175), Online publication date: 1-Feb-2006.
- Levine J, Grizzard J and Owen H (2006). Detecting and Categorizing Kernel-Level Rootkits to Aid Future Detection, IEEE Security and Privacy, 4:1, (24-32), Online publication date: 1-Jan-2006.
- Lim S, Jeong Y and Park K Interactive media server with media synchronized RAID storage system Proceedings of the international workshop on Network and operating systems support for digital audio and video, (177-182)
- Butt A, Gniady C and Hu Y (2005). The performance impact of kernel prefetching on buffer cache replacement algorithms, ACM SIGMETRICS Performance Evaluation Review, 33:1, (157-168), Online publication date: 6-Jun-2005.
- Butt A, Gniady C and Hu Y The performance impact of kernel prefetching on buffer cache replacement algorithms Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (157-168)
- Brito A and Brasileiro F A Cheap and Safe COTS Wormhole for Local Area Networks Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
- Shankar K and Kurth H (2004). Certifying Open Source-The Linux Experience, IEEE Security and Privacy, 2:6, (28-33), Online publication date: 1-Nov-2004.
- Etsion Y, Tsafrir D and Feitelson D Effects of clock resolution on the scheduling of interactive and soft real-time processes Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (172-183)
- Etsion Y, Tsafrir D and Feitelson D (2003). Effects of clock resolution on the scheduling of interactive and soft real-time processes, ACM SIGMETRICS Performance Evaluation Review, 31:1, (172-183), Online publication date: 10-Jun-2003.
- Allard J, Gouranton V, Lamarque G, Melin E and Raffin B SoftGenLock Proceedings of the workshop on Virtual environments 2003, (255-260)
- Bryant R, Forester R and Hawkes J Filesystem Performance and Scalability in Linux 2.4.17 Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, (259-274)
- England R (2001). The virtual machine and user process model used inmoses2, Journal of Computing Sciences in Colleges, 17:2, (301-309), Online publication date: 1-Dec-2001.
- Franke H, Nagar S, Kravetz M and Ravindran R PMQS Proceedings of the 5th annual Linux Showcase & Conference - Volume 5, (9-9)