Blackswan Technical Writeup 이해하기 Windows Kernel IO 사용자 모드의 응용프로그램은 시스템 콜을 이용하여 커널과 interaction 한다. 일반프로그램은 보통 API... Posted by Doit-Man on November 28, 2024
OCaml LLVM 바인딩 만들기 OCaml LLVM 바인딩 LLVM은 기본적으로 LLVM IR을 다른 C/C++이 아닌 다른 단어로 다루기 위한 바인딩(Bingdings)를... Posted by Doit-Man on November 16, 2024
HOL Light로 컴파일러 최적화 증명하기 컴파일러 최적화 증명하기 최근 컴파일러의 최적화를 일반화(generalize)하고, 다른 컴파일러에 이식(transplantation)을 하는 연구를 시작하면서 자연스럽게 최적화를... Posted by Doit-Man on August 04, 2024
Cranelift 컴파일러 이해하기 Cranelift Cranelift은 Wasmtime이라는 wasm을 부라우저 밖에서도 실행하기 위한 런타임 도구의 JIT Compiler이다. (AOT 로도 쓰일... Posted by Doit-Man on June 04, 2024
E-Graph를 통한 컴파일러 최적화 E-Graph E-Graph는 Equivalence Relation (동등 관계)를 표현하는 자료구조 이다. 이는 어떠한 두 원소가 같다라는 것을... Posted by Doit-Man on May 13, 2024