Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Pintos Documentation
Pintos
Overview
Getting started
Pintos source tree
Building Pintos
Using the file system
Running Pintos tests
Debugging Pintos tests
Debugging page faults
Debugging panics
Adding source files
Why Pintos?
User programs
Source files
How user programs work
Virtual memory layout
Accessing user memory
Switching threads
80x86 calling convention
Program startup details
Adding new tests to Pintos
Syscalls
Threads
Understanding threads
The thread struct
Thread functions
Processes
Process details
The process struct
Memory allocation
Page allocator
Block allocator
Lists
Development
printf
ASSERT
Function and Parameter Attributes
Backtraces
GDB
Triple Faults
General Tips
Floating point
Initialization
Assembly
Testing
Synchronization
Disabling interrupts
Semaphores
Locks
Monitors
Readers-writers locks
Optimization barriers
File systems
Source files
Persistence tests
Back to site
File systems
Table of contents
Source files
Persistence tests