References

Operating Systems Books

• [book] Operating System Concepts, Silberschatz et al., John Wiley & Sons, Inc., 2012.
• [book] Operating Systems: Principles and Practice, Thomas Anderson and Michael Dahlin, 2nd edition, Recursive Books, 2014.
• [book] Modern Operating Systems, by Andrew S. Tanenbaum, Third Edition, Prentice Hall, 2008.
• [book] Operating Systems, 3/E, by Gary Nutt, Addison Wesley, 2004.
• [book] Operating Systems: Design and Implementation, The MINIX book, by Andrew S. Tannenbaum, Albert S. Woodhull, Third Edition, Prentice Hall, 2006.
• [book] The Design and Implementation of the 4.4BSD Operating System, by Marshall Kirk McKusick et al., Addison-Wesley, 2nd edition, 1996.
• [book] An Introduction to Operating Systems, Bhatt, Prentice Hall.
• [online book] Operating Systems, Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, 2014. (online chapters available free).

Education/Teaching

• ACM Computer Science Curricula 2013

OS Related Articles - Leisure Reading

50 Years of OSs, Communications of ACM, March 2016.
• Lessons Learned from 30 Years of MINIX, Communications of ACM, March 2016.

C and Linux/Unix Programming

• C Wiki.
• [book] The C Programming Language, by Brian W. Kernighan and Dennis M. Ritchie, Prentice Hall PTR, 1998. A must have book.
• [book] The Practice of Programming, by Brian Kernighan and Rob Pike, Addison Wesley, 1999.
• [book] Programming Pearls, Jon Bentley, Addison Wesley, 2000.
• Recommended C Style and Coding Standards
• Linux Kernel Coding Style

OS Development and Online Resources

• OS Development Wiki

Hardware and Systems Software

• Intel 64 and IA-32 Architectures Software Developer Manual
• Intel Manuals
• ELF - Executable and Linkable Format

Linux Operating System

• Ubuntu

Linux Kernel

• [online book] The Linux Kernel. An online book describing the Linux kernel.
• Linux Cross Reference.
• The Linux Unix Source Tour.
• Building a Linux Kernel.
• The Linux Kernel Archives
• [book] Understanding the Linux Kernel, Daniel Pierre Bovet, Marco Cesati, 3rd edition, O'Reilly, 2006.
• [online book] Linux Kernel in a Nutshell, Greg Kroah-Hartman, O'Reilly, 2006.
• The Linux Kernel Information

Linux Module and Driver Development

• The Linux Kernel Module Programming Guide.
• [online book] Linux Device Drivers - 3rd Edition

System Programs and System Calls

• Linux System Call Reference
• strace utility
• System calls - wikipedia
• Linux Quick Reference
• bash

Processes and IPC

• [book] Unix Network Programming, Volume 1, W. Richard Stevens, Networking APIs: Sockets and XTI, Second Edition, Prentice Hall PTR, 1998.
• [book] Unix Network Programming, Volume 2, W. Richard Stevens, Interprocess Communications, Second Edition, Prentice Hall PTR, 1998.
• Linux message queue overview
• POSIX message queues
• RPC: Introduction to programming with Sun/ONC RPC
• RPC: rpcgen Programming Guide

Threads / Multithreaded Programming

• POSIX Threads Programming, LLNL.
• POSIX Thread Libraries
• [book] Programming with POSIX threads, Buttenhof, Addison-Wesley,1997.
• [book] Pthreads Programming, Buttler, O'Reilly, 1996.
• [book] Multithreaded programming with Pthreads, Lewis and Berg, Prentice-Hall, 1997. Inc. Upper Saddle River, NJ, USA.

Scheduling

• Linux Scheduler - IBM
• Linux CFS Scheduler
• Understanding the Linux 2.6.8.1 CPU Scheduler
• DWRR

Synchronization

• [online book] The Little Book of Semaphores.
• Oracle - Condition Variables Guide
• Semaphores - UCSB

Memory Management

• [online book] Understanding the Linux Virtual Memory Manager

File Systems

• The Design and Implementation of a Log-Structured File System, Rosenblum et al, ACM Transactions on Computer Systems, 1992.
• An Implementation of a Log-Structured File System for Unix, Seltzer et al., USENIX Winter Conference, 1993.
• Design and Implementation of Second Extended File System .
• Second Extended File System (ext2) of Linux.
• FAT32 Spec webpage. [FAT32 Spec - document]
• FAT File Systems.
• Understanding FAT32 Filesystems
• Design of FAT File Systems
• FUSE - File System in User Space
• Minix File System

Input/Output

• [online book] Linux Device Drivers - 3rd Edition

Networking

• Understanding Linux Network Internals, By Christian Benvenuti, O'Reilly, 2005.
• Linux Networking Subsystem, A. Jain. 2002.
• A Map of Networking Code in Linux, 2004.