shared는 왜 0이 아닌 값들이 나오는거죠?

작성한 질문수 158

0

도움이 되셨다니 다행입니다~~ :)

0

바로 그림을 보는 순간 떠올랐습니다. 감사합니다 :)

0

전역변수 shared에 대해 동기화가 없는 상태에서, 한 쓰레드의 동작이 다른 쓰레드에 의해 방해를 받기 때문에 엉뚱한 값이 저장되는 것입니다. 

그림으로 정상/비정상 케이스를 표현해보았어요.

정상 동작 케이스에서는 Thread A와 B가 각각 +1을 해서 결과적으로 +2가 될 것입니다. 말 그대로 정상 동작이지요.

그런데 비정상 동작 케이스를 보시면, Thread A/B가 모두 동작을 마쳐도 결과적으로 +1만 될 것입니다. 두 쓰레드 모두 하나의 값을 메모리에서 읽어와 +1씩 하고 메모리에 다시 저장하게 되기 때문입니다.

동기화가 제대로 되지 않으면 이런 식으로 데이터가 깨지게 됩니다.

# 정상 동작 케이스
 |      Thread A                              |      Thread B
-+--------------------------------------------|------------------------------------------
 |   메모리에서 shared의 값을 읽어온다.       |
 |   shared + 1을 계산한다.                   |
 |   계산된 결과를 메모리에 저장한다.         |
 |                                            |
 |                                            |   메모리에서 shared의 값을 읽어온다.
 |                                            |   shared + 1을 계산한다.
 |                                            |   계산된 결과를 메모리에 저장한다.
 |
 v
time

# 비정상 동작 케이스
 |      Thread A                              |      Thread B
-+--------------------------------------------|------------------------------------------
 |   메모리에서 shared의 값을 읽어온다.       |
 |                                            |   메모리에서 shared의 값을 읽어온다.
 |   shared + 1을 계산한다.                   |
 |   계산된 결과를 메모리에 저장한다.         |
 |                                            |   shared + 1을 계산한다.
 |                                            |   계산된 결과를 메모리에 저장한다.
 |
 v
time