[Go] race detector

#Go

go는 동시성에 특화되어있다고는 하지만, 안전한 동시성을 보장하지는 않는 언어다.
그런걸 원한다면 rust를 쓰면 된다.

그래도 어느정도 race condition 같은 상황을 줄일 수 있는 보조도구를 제공하긴 한다.

아래 코드는 data race를 발생시킬 수 있는 예제 코드다.

공유 변수를 두개의 고루틴이 돌면서 동시 변경을 시도하는데

높은 확률로 연산이 겹쳐서 race가 발생하곤 한다.
이런 코드는 단순한 경우에는 찾기 쉽지만, 코드 구성이 복잡해지고 레이어가 깊어질수록 찾기 힘들어진다.

그래도 go는 이런 문제에 대한 최소한의 해결책을 제공해주긴 한다.
run이나 test를 돌릴때 -race 옵션을 주고 실행하면 되는...데..

이게 또 cgo랑 엮여서 종속성이 토나오게 되어있다.
windows처럼 cgo와 c 컴파일러를 쓰기 힘든 구성이라면 매우 귀찮은 세팅을 해줘야 한다.

아무튼 정상적인 실행이 가능할때는

이런식으로 data race가 발생할 수 있을만한 코드포인트를 찝어준다.
이거 보고 추적해서 문제를 잡으면 된다.

근데 이게 확실한게 아니라 "의심되는"걸 찾는 거라서, 실제로는 안전한 코드일 수도 있다.