[Rust] Lock Poison 문제

#Rust

Lock Poison은 Rust에서 표준 mutex를 사용할 때 있어서 주의할 점 중 하나다.

기본적으로 mutex는 아래와 같은 형태로 사용될 수 있다.
mutex로 카운터 값을 두고, 별도 스레드에서 1 증가, 메인스레드에서 결과를 출력한다.

당장 보기에 별로 문제가 있는 코드는 아니다.
조금 거슬리는 점은 unwrap()이 좀 있다는 것이다.

Rust의 Mutex::lock() 함수는 왜 항상 Result로 값을 반환할까? 원자적인 명령인데 실패할 이유가 있나?
사실 이는 스레드 단위의 패닉 발생에 대응하기 위한 부분이다.

스레드와 패닉

Rust에서 패닉은 스레드 단위에서 독립적이다.
다시 말해서, 한 스레드가 패닉으로 터지더라도, 다른 스레드에 영향을 주지는 않는다는 것이다.

그래서 메인스레드에서 패닉을 터뜨리면 당장 프로그램이 끝나지만, 별도 스레드에서 패닉이 발생한 경우에는 패닉 trace만 뜨고 프로그램이 죽지는 않는다.

그런데 문제는... 패닉이 발생한 스레드에서 가공한 mutex의 결과물을 믿을 수 있냐는 것이다.

그렇기 때문에, mutex 가드가 살아있는 상태에서 패닉이 발생하면 해당 mutex는 신뢰할 수 없는 상태가 된다.
이를 Lock Poison이라고 한다.

그러면 이제 잘 돌던 메인스레드에서의 lock().unwrap()이 패닉을 던질 것이다.

일단, poison이 발생한 상태의 mutex에서 값을 읽어오는 것은 어렵지 않다.
오류 객체에 값이 들어있다.

다만 이대로는 사용이 좀 불편한 것이 사실이다.
오류 객체를 통해서 값을 읽어올 수는 있지만 poison 상태는 계속해서 유지된다.

하지만 unstable 기능을 이용한다면 poison 상태를 해제하는 것도 가능은 하다.
플래그 열고

#![feature(mutex_unpoison)]

clear_poison으로 poison 상태를 해제해주면 된다.

그럼 다음부터는 정상적인 방법으로 lock 접근이 가능해질 것이다.

빨리 안정화가 됐으면 하는 기능 중 하나다.

tokio Mutex의 경우에는 poisoning에 대한 처리가 따로 구현되어있지는 않다.

그래서 스레드에서 패닉이 뜨더라도

실행은 잘 된다.