안녕하세요
링버퍼(환형큐)를 만들고 있는데 현재 사용중인 사이즈를 구하는 경우
int CRingBuffer::GetUseSize(void)
{
if (_rear > _front)
{
return _rear - _front;
}
else if (_rear < _front)
{
return _rear + (_size - _front);
}
else
{
// 같으면
return 0;
}
}
이런식으로 front와 rear를 활용해서 구하고 있습니다.
그런데 이게 멀티스레드 환경이 되면, 전체 사이즈가 10, rear가 4, front가 6이였을때 두번째 조건을 탔는데 그 사이 front가 한바퀴 돌아 1이 되버릴 경우 결과가 13이 되어버립니다.
인큐를 할때 (전체사이즈 - 사용중인사이즈) 로 넣을 수 있는 사이즈를 계산해서 memcpy를 하게 되는데 위의 경우에 멤카피할 사이즈가 -3이 됩니다.
이런 상황일때 동기화 객체같은걸 안쓰고 해결할 방법이 있나요?
버퍼오버플로우 검색해서 이런걸 찾기는 했는데 이걸로 해결이 될지 궁금합니다..
//int remaining = (rear - front) + (-((int)(rear <= front)) & bufferSize);
|
2017.12.19 17:57:44 |
| 7개의 댓글 |
|
|
|
2개 이상의 쓰레드에서 써야 하면 당연히 동기화를 해야죠..
한줄에 쓴다고 한번에 실행된다는 보장은 어디에도 없읍니다 |
|
|
2017/12/19 18:48
|
|
|
|
| 1// 최소단위 오퍼레이션 말씀이신가요? 그러고보니 저거 말고도 rear나 front 이동시킬때 복사를 한번에 못하는경우(한바퀴 넘어가서 도는 경우)에 두번에 나눠서가 아닌 한번에 이동하면 동기화 문제가 해결된다고 들었는데 이것도 문제가 있나요? | |
|
2017/12/19 18:57
|
|
|
|
|
> 한번에 이동하면 동기화 문제가 해결된다고 들었는데
동기화 장치를 쓰지 않으면 그걸 '한 번' 이라고 보장받을 수가 없읍니다. 심지어 a=b; 나 a++; 같은 1개의 연산자조차도 한번이라고 보장할 수 없읍니다. 그냥 보기엔 한줄이지만 어셈블리단까지 내려가면 여러개의 명령어로 쪼개지기 때문입니다. 자세한건 atomic operation 을 검색해보세요 |
|
|
2017/12/19 19:08
|
|
|
|
| atomic 써서 다 동기화 시켜야져 | |
|
2017/12/19 19:26
|
|
|
|
| 동기화 말곤 답이없습니다 락 잡으세여 | |
|
2017/12/19 19:27
|
|
|
|
|
int a = 5 + 3
이거 어셈레벨(인텔기준)로 내려가면 이렇게됨 MOV BX, 5 MOV CX, 3 ADD BX, CX OUT AX, [a] 단순한 add 하나도 여러개의 오퍼레이션으로 이루어져있으니 따라서 동기화없이는 노답 |
|
|
2017/12/19 19:30
|
|
|
|
| 거기에 컴파일러 최적화까지 가미되면 그야말로 혼돈의카오스 (미침) | |
|
2017/12/19 19:52
|
|