"Programming Distributed Systems" by Mae Milano
Strange Loop Conference · 41:03 · Watch on YouTube
이 강연은 더 나은 프로그래밍 언어 설계가 성능을 포기하지 않으면서 분산 및 동시 프로그래밍을 훨씬 더 안전하게 만들 수 있다고 주장합니다. 컴파일 타임 분석을 사용하는 세 가지 연구 라인을 살펴봅니다: 일관성 수준을 혼합하는 트랜잭션의 일관성 오류를 포착하는 MixT, 조정을 제거하는 단조성(Derecho 시스템에서 보여짐), 그리고 이중 연결 리스트와 같은 그래프 모양의 데이터에서...