Lectures

Readings

1. IA-32 System Programming Guide Chapters:
   • 3.1 Memory Management Overview
   • 4 Paging
   • 6 Interrupt and Exception Handling
2. Intel® Quark™ SoC X1000 UEFI Firmware Writer’s Guide
3. Memory Barriers
4. Quark Core SoC X1000 Core Developer's manual Chapters:
   • 9.3.1 Interrupt Logic
   • 9.4 Write Buffers
   • 10.3.2.1 Burst Cycles
   • 10.3.6 Locked Cycles
5. What every programmer should know about memory
6. Multics Data Security, David M. Jordan, Jun 1981

Exams

1. epita::2014
2. epita::2013

Appendix

• IBM AT 80286 BIOS source code
• MS-DOS source code
• Introduction and Overview of the Multics System, Corbató, F. J., and V. A. Vyssotsky, 1965.
• Structure of the Multics Supervisor
• When Poll is Better than Interrupt, J. Yang, D.B. Minturn, F. Hady, FAST, 2012.
• Virtual Memory, Processes, and Sharing in Multics, Robert C. Daley, Jack B. Dennis, Communications of the ACM 11, 306-312, May 1968.
• What Every C Programmer Should Know About Undefined Behavior