[질문] 멀티쓰래드에서 레이스 컨디션 질문

[Zuto(chotnt741)]

count ++ 을 멀티쓰레드에서 실행한다고 할때

레이스컨디션이 나타나는 이유를 코드 상의 대입이

어셈블리 레벨에서는 레지스터에 적재하고 옮기는 등의

여러 인스트럭션으로 이뤄지기 때문이라고 이해해도 됨?

실제로 단 한번의 인스트럭션으로 대입이 이뤄진다면 완벽히 동시에 일어날 수는 없는 일이라 문제가 생길 수 없는거 아님?

- dc official App

[프갤로(gotopg)]

[Zuto(chotnt741)]

앙감사띠 - dc App

[익명(220.79)]

그래서 단 한번의 인스트럭션으로 처리를 할 수 있는 클래스 써서 하기도 함

[Zuto(chotnt741)]

그게 머죠 - dc App

[익명(220.79)]

자바로 치면 AtomicInteger같은거

[Zuto(chotnt741)]

아 atomic이 그런 내용인건가 - dc App

[익명(86.48)]

실제로는 atomic하게 변수를 증가시키려면 x86에선 명령어 두 개 (lock xadd) 써야 함
https://www.felixcloutier.com/x86/xadd

[익명(39.7)]

CPU 구조에 따라서 단일 insn 으로도 에러가 발생 가능함 - dc App

[익명(39.7)]

핵심은 critical section 으로 지정해서 보호하는 것 - dc App

[익명(wkc7q7seyze)]

ㅇㅎ

[익명(223.62)]

어셈블리레벨x 기계어레벨x CPU하드웨어레벨o

[익명(223.62)]

CPU캐시 CPU인스트럭션 리오더링 같은 하드웨어 동작때문에 어셈블리만 보지말고 CPU하드웨어 구조를 알아야댐

[익명(223.62)]

이건 특히 인텔 이후에 나온 소위 RISC기반 아키텍처가 심함

[익명(223.62)]

걍 C++11에 추가된 메모리모델 공부ㄱ

[Zuto(chotnt741)]

뭘로 공부해야함 - dc App

[익명(223.62)]

Effective Modern C++ 아니면 걍 C++ memory model 구글링해도 예제랑 강의 많이나옴 영어자료 공부하면서 번역한 한국어 블로그도 있고

[토끼주문(icyselec)]

인텔 CPU는 이미 INC, DEC라고 1 증감 연산자가 있는데 문제는 이게 8086 시절에 정립된 명령어라 멀티스레드 환경에서는 원자적 연산을 보장할 수 없을지도 모름. 상식적으로 여러 실행 유닛이 서로 유한한 거리까지(같은 칩 내부일수도 있고, 칩 너머일수도 있고) 떨어져있을수도 있는데 제로 코스트의 완벽한 동기화 단일 명령어가 존재하리라고 생각해? 멀티코어 프로세서가 같은 명령어를 동시에 실행해도 클럭은 각자 따로 놀기 때문에 절대적인 실행 기준점이 없어서 걍 누가 먼저 실행이 완료 처리되냐에 따라 갈림.