이사람아 1줄의 코드가 천년을 결정하는겨

학부 다닐 때 "A Book on C"교재로 C수업을 들었는데, 연습문제중에

비슷한 예가 있었습니다. 부동소수점 비교(출력?)에 한 예제였는데,

지금 다시 찾아보려니깐 못찾겠네요.

그 당시에는 정말 이해를 못했는데...

ㅎㅎㅎ 실제 있었던 일인가요? 브루스 스털링이 작가라 왠지 인용하셨다는 글도 소설의 일부분 같네요. ^^
--->
데비안 & 우분투로 대동단결!

if에 딸린 break문은 원래 do...while을 빠져나가려고 한건데 if가 switch문에 있어서 의도와는 다르게 switch문을 벗어난거라고 해석했습니다

간단하게 예를 들면

int i = 0, j = 0;
 
do {
    switch (i) {
    case 0:
        if (j == 0)
            dosomething();
            break; /* 내 생각 : 루프를 빠져나갈꺼야 */
    }
} while (1);

무한 루프 돕니다. if에 딸린 문장은 dosomething(); 하나뿐이고 break는 switch문에 포함되니까요.
그렇다고 dosomething(); 이 줄을 삭제하면 되느냐? 아니죠. break는 if문에 메이지만 여전히 switch문만 빠져나갑니다.

제가 해석한 것이 맞다면 두가지 모두 괄호로는 해결이 안되지요.

int i = 0, j = 0;
 
do {
    switch (i) {
    case 0:
        if (j == 0) { /* 괄호 추가 */
            dosomething();
            break; /* 내 생각 : 루프를 빠져나갈꺼야 */
        }
    }
} while (1);

제가 생각하고 있는게 맞나요?

분석을 잘 못 하신것 같습니다.

( 애초에 % 연산은 대부분의 cpu 에서 2의 n 승과 % 를 하는 경우에 & 로 optimize 되는 케이스를 빼고는 나누기 연산과 크게 다르지 않습니다. 따라서 optimize 를 한다고 해도 여러연산자로 쪼개질 수 없습니다. 쪼개 졌다면 그 asm 코드를 올리셔야 할 것 같습니다만... )

( * MAX_POS 가 충분히 작아서 startPos 값의 overflow 가 없다고 가정하는게 우선 중요할 것 같습니다. 또한 startPos 값에 실수로라도 음수가 들어가지 않는다고 가정하겠습니다. )

그리고 말씀대로 설사 최적화가 일어나서 % 연산이 쪼개지고, 그 결과로 startPos 가 연산 도중에 바뀌는 경우가 있다 하더라도 MAX_POS 와의 % 연산 결과는 언제나 MAX_POS 보다 값이 작아져야 정상입니다. ( 연산 결과 자체는 여러 쓰레드를 하던 뭐하던 어차피 localPos 라는 stack 에 쌓이므로 중간에 바뀔 수는 없습니다. )

분석을 다시 해보시는게 좋겠습니다. 당장 문제가 사라졌다고 하더라도, 잘못된 분석에 의해 해결이 된 경우는 잠재적으로 문제가 생길 수 있습니다. ( 특히 시스템 프로그래밍은 그 문제가 잘 안보이다가 어느날 터지기도 하니까요... )

Mutex로 보호하지않은 것이 잘못이죠 ^^;
단순히 +1 하는 과정에서도 얼마든지 atomic하게 동작하지않을 가능성이 있습니다.

생각보다 많은 프로그래머들이 boolean flag 값만을 가지고 멀티스레드 동기화를 하려고 하는데...정확한 동기화는 이루어지지않지요 -ㅁ-;;;

물론!! 쓸데없는 동기화는 안하는게 최고죠 ㅎㅎ (그냥 대충~ 어느정도의 값만 필요하다던가, 그런경우가 있지요. 정확한 카운트가 필요없는.)

------------------------------------------
Let`s Smart Move!!
http://kalstein.tistory.com/