1 @node References, 4.4BSD Scheduler, Project 4--File Systems, Top
5 @noindent @anchor{\cite\}
10 * Hardware References::
11 * Software References::
12 * Operating System Design References::
15 @node Hardware References
16 @section Hardware References
19 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366515.pdf, ,
20 IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic
21 Architecture}. Basic 80@var{x}86 architecture and programming
25 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366615.pdf, ,
26 IA-32 Intel Architecture Software Developer's Manual Volume 2A:
27 Instruction Set Reference A-M}. 80@var{x}86 instructions whose names
28 begin with A through M.
31 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366715.pdf, ,
32 IA-32 Intel Architecture Software Developer's Manual Volume 2B:
33 Instruction Set Reference N-Z}. 80@var{x}86 instructions whose names
34 begin with N through Z.
37 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366815.pdf, ,
38 IA-32 Intel Architecture Software Developer's Manual Volume 3: System
39 Programming Guide}. Operating system support, including segmentation,
40 paging, tasks, interrupt and exception handling.
43 @uref{specs/freevga/home.htm, , FreeVGA Project}. Documents the VGA video
47 @uref{specs/kbd/scancodes.html, , Keyboard scancodes}. Documents PC keyboard
51 @uref{specs/ata-3-std.pdf, , AT Attachment-3 Interface (ATA-3) Working
52 Draft}. Draft of an old version of the ATA aka IDE interface for the
53 disks used in most desktop PCs.
56 @uref{specs/pc16550d.pdf, , National Semiconductor PC16550D Universal
57 Asynchronous Receiver/Transmitter with FIFOs}. Datasheet for a chip
58 used for PC serial ports.
61 @uref{specs/8254.pdf, , Intel 8254 Programmable Interval Timer}.
62 Datasheet for PC timer chip.
65 @uref{specs/8259A.pdf, , Intel 8259A Programmable Interrupt Controller
66 (8259A/8259A-2)}. Datasheet for PC interrupt controller chip.
68 @node Software References
69 @section Software References
72 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
73 Linking Format (ELF) Specification Version 1.2 Book I: Executable and
74 Linking Format}. The ubiquitous format for executables in modern Unix
78 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
79 Linking Format (ELF) Specification Version 1.2 Book II: Processor
80 Specific (Intel Architecture)}. 80@var{x}86-specific parts of ELF.
83 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
84 Linking Format (ELF) Specification Version 1.2 Book III: Operating
85 System Specific (UNIX System V Release 4)}. Unix-specific parts of
89 @uref{specs/sysv-abi-4.1.pdf, , System V Application Binary Interface:
90 Edition 4.1}. Specifies how applications interface with the OS under
94 @uref{specs/sysv-abi-i386-4.pdf, , System V Application Binary
95 Interface: Intel386 Architecture Processor Supplement: Fourth
96 Edition}. 80@var{x}86-specific parts of the Unix interface.
98 @bibdfn{SysV-ABI-update}
99 @uref{specs/sysv-abi-update.html/contents.html, , System V Application Binary
100 Interface---DRAFT---24 April 2001}. A draft of a revised version of
101 @bibref{SysV-ABI} which was never completed.
103 @node Operating System Design References
104 @section Operating System Design References
107 M.@: K.@: McKusick, K.@: Bostic, M.@: J.@: Karels, J.@: S.@: Quarterman,
108 @cite{The Design and Implementation of the 4.4@acronym{BSD} Operating
109 System}. Addison-Wesley 1996.
112 S.@: Savage, M.@: Burrows, G.@: Nelson, P.@: Sobalvarro, T.@: Anderson,
113 ``Eraser: a dynamic data race detector for multi-threaded programs,''
114 ACM Transactions on Computer Systems 15 (1997):4, pages 391--411.
115 Also in Proceeding of the 16th ACM Symposium on Operating Systems
116 Principles (1997), pages 27--37.