Miri and Constant Evaluation in Rust
Offered By: Rust via YouTube
Course Description
Overview
Explore the inner workings of miri, an interpreter for Rust's MIR (Mid-level Intermediate Representation), in this comprehensive conference talk. Delve into the architecture of miri, its role in Rust's compile-time evaluation capabilities, and its ability to simulate low-level machine operations. Learn how miri interprets both safe and unsafe Rust code, including complex libraries like the stdlib hashmap. Discover the intricacies of memory representation and reasoning, allocation handling, and evaluation contexts. Gain insights into miri's capabilities for Rust development, including its approach to local variables, statements, operators, and function calls. Understand how miri manages heap allocations, uplifts intrinsics, and handles file qualification, providing a deeper understanding of this crucial tool in the Rust ecosystem.
Syllabus
intro
allocations and log IDs
memory type
evaluation context
locals
step
statement
operators
operands
evaluation
terminator
function calls
heap allocations
uplifting intrinsics
cantqualify file
Taught by
Rust
Related Courses
CompilersStanford University via edX Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam Compiler Design
YouTube