쌓인 기록에서 찾기
무엇을 찾으세요? 날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위 2026년 8월 13일 (목) 부터 2026년 11월 3일 (화)까지 3800건
2건 · "메모리 모델"조건 지우기 ×
001 22:26 ▲ 110 · 댓글 33 병렬 프로그래밍 교과서, CPU 캐시의 현실을 마주하다 Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 인프라 · 데브옵스 · Book review: Is parallel programming hard, and, if so, what can you do about it?
Key Point 동시성 프로그래밍을 이론만 아는 개발자라면, CPU 캐시와 컴파일러 최적화가 실제 코드에 미치는 영향을 이 리뷰로 확인할 수 있다.
핵심 요약
Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 저자는 TLA⁺와 분산 시스템 전공자였으나 Fil Pizlo와의 대화를 통해 lock-free 동시성 프로그래밍에 대해 거의 모른다는 깨달음을 얻었다. 교과서는 PDF 3가지 형식(이중 열, 좌우 여백 있음/없음)으로 제공되며, 내부 링크가 많아 터치스크린 사용 시 의도치 않은 클릭이 빈번한 문제가 있다. 전체 요약 8문장 읽기 → 002 18:10 ▲ 122 · 댓글 18 x86 에뮬레이션의 메모리 모델 문제를 풀다 x86의 강력한 메모리 일관성 모델(TSO)을 ARM의 약한 메모리 모델에서 에뮬레이션할 때 성능 문제가 발생한다. 인프라 · 데브옵스 · The scourge of x86 emulation
Key Point ARM 기반 시스템에서 x86 소프트웨어를 실행하려는 개발자들이 알아야 할 에뮬레이션의 근본적 한계와 성능 트레이드오프를 설명한다.
핵심 요약
x86의 강력한 메모리 일관성 모델(TSO)을 ARM의 약한 메모리 모델에서 에뮬레이션할 때 성능 문제가 발생한다. x86 TSO는 메모리 저장이 즉시 모든 프로세서에 보여지는 강한 순서를 보장하지만, ARM은 캐시라인 무효화 비용을 줄이기 위해 기본적으로 약한 일관성을 허용한다. FEX 에뮬레이터는 x86의 메모리 로드를 ARM의 acquire 명령어로, 저장을 release 명령어로 변환해 TSO 의미론을 맞춘다. 전체 요약 5문장 읽기 → 