YoVDO

Miri and Constant Evaluation in Rust

Offered By: Rust via YouTube

Tags

Rust Courses Memory Management Courses Compiler Design Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Compilers
Stanford 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