CSpinLock 코드 작성중 원리에 대해서 의문점이 들어 질문 드립니다.
void CSpinLock::lock(){ bool expected = false; bool desired = true; while (_locked.compare_exchange_strong(expected, desired) == false) { expected = false; }}SpinLock의 해당 코드에서 _locked의 값이 true일때, expected의 값이 초기에는 false임으로, 해당 반복문을 통과하지 못하고 기다립니다. 그런데 expected가 locked의 값인 true로 바뀌므로 이를 반복문 내에서 expected = false; 값으로 변경해주는데, expected의 값을 false로 변경해주기 전에 true인 locked의 값이 들어오면 아직 expected의 값은 변경되기 전이므로 SpinLock을 빠져 나올 수 있지 않을까요?
코드를 실행해보니 SpinLock이 잘 실행되고 있는 것은 확인했지만, 머리속에서는 납득하지 못한 의문점이 멤돌아서 이렇게 질문 드립니다.
답변 1
1
expected는 스택 영역에 있기 때문에,
쓰레드마다 타 쓰레드한테 간섭받지 않고 고유하게 본인만의 값이 있습니다.
따라서 '순간적으로' expected가 true가 된들,
어차피 본인이 다음 CAS를 하기 전에 false로 밀어주기 때문에
다른 쓰레드한테 영향을 주진 않고 찰나의 순간 뭔가 일어날 수 없습니다.
0
와! 감사합니다.
답변을 듣고 저도 모르게 아! 하고 감탄을 내뱉었습니다
expected가 지역변수인걸 간과하고 있었네요. 멀티쓰레드를 공부할 때 마다 알쏭달쏭한 점이 생겨 힘들기도하고 재미있습니다.
루키쓰님 영상 잘 보고 있습니다. 답변해주셔서 감사합니다!
writeLock을 잡을때 꼭 empty 상태여야하는 이유?
0
36
2
Memory Pool에서 오버플로우 질문입니다.
0
73
2
포토폴리오 및 진로 관련하여 고민입니다.
0
129
1
포토폴리오 관련 고민입니다.
0
66
1
실무에서도 alloc, 스마트포인터 등을 구현해서 쓰는지 궁금합니다.
0
89
2
성능 테스트 결과
0
108
2
게임 서버 Stateful, Stateless 진로 고민
0
132
1
WaitOnAddress와 Sleep의 차이 질문
0
84
1
궁금한거 있습니다.
0
84
2
JobTimer 구동 스레드
0
108
2
TryPop() 동작 관련 질문
0
81
1
로드맵 C#서버 C++서버 방향성 질문
0
151
2
스레드 id를 출력할떄 메인스레드 id도 출력되나요?
0
73
1
생명주기를 위한 의도적 복사
0
88
2
락프리의 실무에서 사용 질문
0
146
2
32bit threadID와 16비트 상위 WriteFlag에 대해
0
105
2
mutex와 sleep 차이점
0
120
1
실무에서는 어떠한 코드 스타일을 사용하는지 궁금합니다
0
160
2
Stomp Allocator의 Release함수에 대한 질문입니다.
0
98
1
공부법 관련해서
0
184
2
MakeShared 함수 관련
0
114
1
지금까지 서버코어에서 만든 내용에 대해 궁금한 점이 있어서 질문 드립니다.
0
145
2
운영체제관련 질문입니다
0
132
1
send하려는 데이터 크기가 크면 memcpy에서 문제가 발생할 것 같습니다.
0
120
2