Footnotes

(1)

GDB might tell you that schedule() doesn't exist, which is arguably a GDB bug. You can work around this by setting the breakpoint by filename and line number, e.g. break thread.c:ln where ln is the line number of the first declaration in schedule().

(2)

We will treat these terms as synonyms. There is no standard distinction between them, although Intel processor manuals make a minor distinction between them on 80x86.

(3)

This rule is common but not universal. One modern exception is the x86-64 System V ABI, which designates 128 bytes below the stack pointer as a "red zone" that may not be modified by signal or interrupt handlers.

(4)

This is because switch_threads() takes arguments on the stack and the 80x86 SVR4 calling convention requires the caller, not the called function, to remove them when the call is complete. See [ SysV-i386] chapter 3 for details.

(5)

Actually, virtual to physical translation on the 80x86 architecture occurs via an intermediate "linear address," but Pintos (and most modern 80x86 OSes) set up the CPU so that linear and virtual addresses are one and the same. Thus, you can effectively ignore this CPU feature.

(6)

Because we are working in binary, the "decimal" point might more correctly be called the "binary" point, but the meaning should be clear.

(7)

pintos-gdb is a wrapper around gdb (80x86) or i386-elf-gdb (SPARC) that loads the Pintos macros at startup.