동시성과 메모리 모델
happens-before, 데이터 경합, 순차 일관성, 그리고 공리적 메모리 모델. '허용 동작 = ∃(rf·mo…) 공리 충족' 형태가 왜 문제의 핵심인지.
36문항
한국어
O/X주관식4지선다
#동시성#메모리모델#happens-before
앱이 아직 설치되지 않은 것 같아요. 아래 TestFlight에서 Swiq를 설치한 뒤, 이 페이지로 돌아와 다시 눌러 주세요.
앱이 설치돼 있다면 '앱에서 열기'가 이 세트를 바로 열어요.
아직 앱이 없다면
TestFlight로 받기
미리보기
프롬프트 5장 미리보기 · 정답과 해설은 앱에서 확인하세요
1
메모리 모델은 여러 스레드가 공유 메모리를 읽고 쓸 때 어떤 실행 결과가 허용되는지를 규정한다.
2
데이터 경합(data race)은 최소 하나가 쓰기인 두 접근이, 동기화 없이(happens-before로 순서지어지지 않은 채) 충돌하는 상황이다.
3
happens-before 관계는 일반적으로 전순서(total order)다.
4
C++11 이후 동시성 의미론에서 '허용되는 동작'을 정의할 때 존재를 양화(∃)하는 관계가 아닌 것은?
5
공리적(axiomatic) 메모리 모델에서 실행 결과 v의 허용 여부는 '일관성 공리를 만족하는 rf·mo 등의 관계가 존재하는가(∃)'로 규정할 수 있다.
🔒 정답·해설은 앱에서만 볼 수 있어요