내가 보려고 정리하는 멀티코어 OCaml 목차

[sangwoo-joh]

인트로: The road to OCaml 5.0

• 동시성(concurrency)과 병렬성(parallelism): 두개 차이점, cpu, 메모리
• 싱글코어 가비지 컬렉션: 메모리 표현방법+약간의 타입시스템, 왜 gil?(python, java와 비교 - python도 곧 사라진다고 함)
• 멀티코어 메모리 모델과 parallel gc: 페이퍼를 읽어야댐. local drf
• 멀티코어 ocaml의 구현: domains, effect. 왜 native support가 필요한지? lwt/async 등의 모나딕의 한계.
• application: infer_parallel 소개(fork + message passing 기반) -> domains+effect 기반으로 마이그레이션