ABA problem가 잘 이해가 안돼요
여기에서, 5000번지->6000번지->7000번지 이렇게 각각 연결되어있는데,
interlock을 잡기 이전에 2번의 pop과 1번의 push가 일어났고, 그때 5000번지에 다시 새 데이터가 할당돼서 push된 상황이므로
5000번지 -> 7000번지
인 상황이 만들어졌다고 하셨는데,
애초에 이 상황까지 만들어졌다면 push에서 atomic하게 5000번지가 header에 삽입되는 동시에 5000번지의 next도 7000번지로 바꿔줄텐데
그때 expected = header->next;의 주소가 아직 5000번이라면 5000번지가 pop이되고 5000번지의 next가 header가 되는데, 이미 5000번지의 next는 7000번으로 Push부분에서 이미 변경되었으니 정상적으로 header는 7000번지의 주소를 가리키는게 맞는거 아닌가요?
어떤 부분에서 생각이 틀린건지 잘 이해가 안됩니다.
답변 1
1
요점은, 5000->7000 상태에서 데이터 변화가 일어났음에도 불구하고
절묘하게 다시 5000->7000 상태가 유지된다면, 최종적으로 변화를 감지하지 못한다는 것입니다.
물론 new delete 등의 일반 메모리를 사용하면 발생할 확률이 0에 수렴할지라도
메모리 풀링이 들어간다면 아주 극악의 확률로
같은 메모리를 재사용해서 같은 7000이 또 들어갈 수 있겠죠.
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
133
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