15-213 Introduction to Computer Systems
Resources

x86-64 Machine-Level Programming

The following documents will help you fathom the depths of machine-level programming on the new x86-64 machines, a 64-bit extension of the Intel instruction set.

• x86-64 Machine-Level Programming. This document supplements Chapter 3 of the textbook.
• x86-64 Application Binary Interface (ABI). Specifies the rules for compilers and linkers.

IA32 and Assembler Reference Material

The following are for the older Intel x86 architectures. See the newer references above for the x86-64 (also known as IA32-EM64T).

• Intel opcode table for IA32, two-page reference
• GAS opcode table for IA32 (same as above with argument order according to gas convention, thanks to Philip Dye)
• Intel Instruction Set (gas), (MS PowerPoint, 34 pp), (PostScript, 4up, 5 pages duplex)
• x86 asm in Intel format

GDB

• Updated gdb reference for x86-64 architecture
• Quick gdb reference from textbook website for x86 architecture

Cyclone

• Cyclone: A Type-Safe Dialect of C (overview article)
  Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett,
  C/C++ User's Journal, 2004.
• Cyclone for C Programmers (manual section)
  (you may skip: Zero-Terminated Pointers, LIFO regions, Datatypes, Exceptions, Pattern Matching, Polymorphic Functions, Polymorphic Data Structures, Abstract and Existential Types)
• Cyclone home page

Garbage Collection

• Richard Jones' Garbage Collection Page
• Paul R. Wilson: Uniprocessor Garbage Collection Techniques, 1994 (full paper, 67pp)

Previous Course Instances

• Spring 2000
• Fall 2000
• Spring 2001
• Fall 2001
• Spring 2002 (unavailable)
• Fall 2002
• Spring 2003
• Fall 2003
• Spring 2004
• Fall 2004
• Spring 2005
• Fall 2005
• Spring 2006
• Fall 2006

[ Home | Schedule | Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Newsgroup | Blackboard ]

fp@cs
Frank Pfenning