電腦系統:程式設計師觀點(全球版)
深入探討電腦系統如何執行程式與儲存資訊。本課程彌補高階程式設計與底層硬體之間的差距,涵蓋機器級表示、處理器架構、記憶體層次結構以及並行程式設計。
課程總覽
📚 內容摘要
深入探討電腦系統如何執行程式與儲存資訊。本課程彌補高階程式設計與底層硬體之間的差距,涵蓋機器級表示、處理器架構、記憶體層次結構以及平行程式設計。
透過理解硬體與軟體介面,掌握系統程式設計的藝術。
作者: Randal E. Bryant, David R. O'Hallaron
致謝: 由卡內基梅隆大學 15-213 課程的學生與教師提供支援。致謝內容包括 Manasa S. 與 Mohit Tahiliani 的貢獻。
🎯 學習目標
- 識別資訊如何以位元及系統中的上下文來表示。
- 追蹤編譯系統從原始碼到可執行檔的四個階段。
- 描述硬體的組織結構以及儲存裝置的層次性。
- 在十進制、二進制與十六進制之間進行轉換,並解釋機器級位址(大小端)。
- 在 C 語言中執行位元級與邏輯運算,並預測算術右移的結果。
- 分析整數編碼,以辨識潛在的溢位漏洞與型別轉換錯誤。
- 分析 C 程式語言結構(迴圈、分支、函式)與 x86-64 匯流排指令之間的對應關係。
- 解構 執行時堆疊,說明參數傳遞、區域變數儲存與遞迴呼叫的管理方式。
- 評估 異質資料結構的記憶體配置,並應用對齊規則計算總儲存需求。
- 定義 Y86-64 程式員可見狀態,並將指令編碼/解碼為字節序列。
課程 共 12 课时 · 预计 36.0h
課程
Lesson
This lesson introduces the fundamental concepts of computer systems, focusing on how programs are represented as sequences of bytes and interpreted through context. Students will learn how source code is stored using the ASCII standard and gain an overview of the compilation process, hardware components, and the role of the operating system.
This lesson explores how computers represent and manipulate data, focusing on hexadecimal notation, bitwise operations, and the structure of virtual address spaces. Students will learn to perform conversions between number systems, analyze integer and floating-point bit patterns, and understand the implications of memory byte ordering and precision limitations.
This lesson explores the x86-64 Instruction Set Architecture (ISA) as a contract between hardware and software, focusing on the architectural state, registers, and memory abstraction. Students will learn to distinguish between high-level code and machine-level representations while mastering data movement, arithmetic operations, and procedure call conventions.
This lesson explores the Y86-64 instruction set architecture as an educational model for understanding the contract between software and hardware, including its programmer-visible state and load/store design. Students will learn to analyze CPU performance through the fetch-decode-execute cycle, differentiate between RISC and CISC characteristics, and evaluate the impact of pipelining on system throughput.
This lesson explores advanced techniques for optimizing program performance by addressing constant factors, memory aliasing, and instruction-level parallelism. Students will learn to analyze hardware constraints, such as pipeline latency and throughput, to improve code efficiency beyond what compilers can achieve automatically.
This lesson explores the memory hierarchy by contrasting the speed and density of SRAM and DRAM, while explaining how DRAM organization and row-buffer management impact system performance. Students will learn to analyze memory access patterns, such as stride-based array traversal, and understand how hardware design choices like RAS/CAS multiplexing influence effective data access times.
This lesson explores the compiler driver's role in the software build process, focusing on how the linker manages memory layout and separate compilation. Students will learn to optimize program performance by understanding how data alignment and memory access patterns, such as Stride-1, influence cache hit rates and overall system throughput.
This lesson explores Exceptional Control Flow (ECF), which allows computer systems to handle abrupt transitions between instructions triggered by hardware and software events. Students will learn to distinguish between different types of exceptions, manage process lifecycles through system calls like fork and waitpid, and implement robust signal handling.
This lesson explores the fundamentals of virtual memory, focusing on how the Memory Management Unit (MMU) translates virtual addresses to physical addresses to provide process isolation and efficient memory abstraction. Students will learn about hardware-assisted mechanisms like page tables and TLBs, as well as the principles of demand paging, page replacement, and heap management strategies.
This lesson explores the Unix "everything is a file" abstraction, covering core system-level I/O primitives like open, close, read, and write. Students will learn to manage file descriptors, handle short counts using the Robust I/O (RIO) package, and implement I/O redirection and file sharing within the kernel.
This lesson explores the client-server programming model, focusing on the Berkeley Sockets API and the fundamental four-step request-response transaction. Students will learn to implement robust network architectures by differentiating between TCP and UDP communication while understanding the role of hardware components and protocol abstraction in distributed systems.
This lesson explores the taxonomy of concurrency, comparing processes, I/O multiplexing, and threads to understand how they manage logical control flows and system performance. Students will learn to identify the differences between concurrency and parallelism while mastering synchronization techniques like mutexes and semaphores to prevent race conditions in shared-resource systems.