In-memory and Persistent Representations of C++

on YouTube ↗01h 05m

" summary

Claim: concrete, compiler-neutral in-memory and on-disk representations exist and are usable today. Implementation: an open IPR library under MIT captures a minimal, expression-based in-memory model; a binary IFC format is open on GitHub stores partitions, string tables, 32-bit typed references and a header with checksum. Results: MSVC emits IFCs, they’re roughly 10× smaller than PCHs, load back into compilers, and enable tooling (bindings, JIT). Status: spec and code need cross-compiler adapters and community contributions.

AI-written summary · about

" chapters (25)

1. 0:00Intro
2. 0:45What is the next step
3. 9:15Inmemory Representation
4. 17:55Persistent Representation
5. 18:30Compiler Principles
6. 19:25Abstract away from concrete syntax
7. 20:55Persistent data
8. 22:25Generic programming
9. 24:20Iterators
10. 24:47Abstract Form
11. 25:14Blob of Data
12. 26:58Universal Algebra
13. 28:26Modules Interface
14. 29:01Semantic Data
15. 31:34Why modules
16. 32:32Copyright
17. 33:08IoC
18. 38:06FC File
19. 40:02Header
20. 43:57Abstract Reference
21. 44:57Declarations
22. 47:23Where do we go from here
23. 50:39Summary
24. 56:19Story
25. 57:43Templates

" related talks

• 30mInteractive C++ Compilation (REPL) Done in a Tiny and Embeddable WayViktor Kirilov · CppCon 2018
• 16mIRHash: Efficient Multi-Language Compiler Caching by IR-Level HashingChristian Dietrich, Tobias Landsberg, Johannes Grunenberg, Daniel Lohmann · USENIX ATC '25
• 53mDebug C++ Without RunningAnastasiia Kazakova · CppCon 2018
• 01h 00mDebug C++ Without RunningAnastasia Kazakova · ACCU 2018
• 58mC++ Under the Hood: Internal Class MechanismsChris Ryan · CppCon 2024
• 01h 04mProgramming with C++ Modules: Guide for the WorkingGabriel Dos Reis · CppCon 2019
• 50mSharing Is Caring - How to Let the Compiler Know What You're ThinkingDaniel Beskin · ScalaIO 2018
• 52mThe Virtual Filesystem This Changes EverythingPaul Phillips · LambdaConf 2015