[Top] [Contents] [Index] [ ? ]

Table of Contents

1. Introduction
1.1 Getting Started
1.1.1 Source Tree Overview
1.1.2 Building Pintos
1.1.3 Running Pintos
1.1.4 Debugging versus Testing
1.2 Grading
1.2.1 Testing
1.2.2 Design
1.2.2.1 Design Document
1.2.2.2 Source Code
1.3 Legal and Ethical Issues (including Cheating)
1.4 Acknowledgements
1.5 Trivia
2. Project 1: Threads
2.1 Background
2.1.1 Understanding Threads
2.1.2 Source Files
2.1.2.1 devices code
2.1.2.2 lib files
2.1.3 Synchronization
2.1.4 Development Suggestions
2.2 Requirements
2.2.1 Design Document
2.2.2 Alarm Clock
2.2.3 Priority Scheduling
2.2.4 Priority Donation
2.2.5 Advanced Scheduler (20% Extra Credit)
2.2.6 General Requirements
2.2.7 Turnin Instructions
2.3 FAQ
2.3.1 Alarm Clock FAQ
2.3.2 Priority Scheduling FAQ
2.3.3 Advanced Scheduler FAQ
A. Reference Guide
A.1 Loading
A.1.1 The Loader
A.1.2 Low-Level Kernel Initialization
A.1.3 High-Level Kernel Initialization
A.1.4 Physical Memory Map
A.2 Threads
A.2.1 struct thread
A.2.2 Thread Functions
A.2.3 Thread Switching
A.3 Synchronization
A.3.1 Disabling Interrupts
A.3.2 Semaphores
A.3.3 Locks
A.3.4 Monitors
A.3.4.1 Monitor Example
A.3.5 Optimization Barriers
A.4 Interrupt Handling
A.4.1 Interrupt Infrastructure
A.4.2 Internal Interrupt Handling
A.4.3 External Interrupt Handling
A.5 Memory Allocation
A.5.1 Page Allocator
A.5.2 Block Allocator
A.6 Virtual Addresses
A.7 Page Table
A.7.1 Creation, Destruction, and Activation
A.7.2 Inspection and Updates
A.7.3 Accessed and Dirty Bits
A.7.4 Page Table Details
A.7.4.1 Structure
A.7.4.2 Page Table Entry Format
A.7.4.3 Page Directory Entry Format
A.8 Hash Table
A.8.1 Data Types
A.8.2 Basic Functions
A.8.3 Search Functions
A.8.4 Iteration Functions
A.8.5 Hash Table Example
A.8.6 Auxiliary Data
A.8.7 Synchronization
B. 4.4BSD Scheduler
B.1 Niceness
B.2 Calculating Priority
B.3 Calculating recent_cpu
B.4 Calculating load_avg
B.5 Summary
B.6 Fixed-Point Real Arithmetic
C. Coding Standards
C.1 Style
C.2 C99
C.3 Unsafe String Functions
D. Project Documentation
D.1 Sample Assignment
D.2 Sample Design Document
E. Debugging Tools
E.1 printf()
E.2 ASSERT
E.3 Function and Parameter Attributes
E.4 Backtraces
E.4.1 Example
E.5 GDB
E.5.1 Using GDB
E.5.2 Example GDB Session
E.5.3 FAQ
E.6 Triple Faults
E.7 Modifying Bochs
E.8 Tips
F. Development Tools
F.1 Tags
F.2 cscope
F.3 CVS
F.4 VNC
G. Installing Pintos
G.1 Building Bochs for Pintos
Bibliography
G.2 Hardware References
G.3 Software References
G.4 Operating System Design References
License


This document was generated by Alison N. Norman on September 17, 2014 using texi2html