[Rust] Lock: parking_lot

#Rust

parking_lot은 여러 상황에 최적화된 Lock 구현체들을 제공하는 베이스 crate이다.
tokio의 경우에도 일부 Lock 관련된 처리를 위해 내부적으로 이걸 사용한다.

대체로는 std Mutex나 tokio Mutex가 효율적이고 사용하기 무난한 경우가 많으나, 특정 사용사례에서는 성능이나 보장 수준이 부족할 경우가 있다. parking_lot은 그런 특수한 상황들에 최적화되어있다.
게다가 표준 Mutex 자체도 parking_lot에 영향을 받아서 최적화가 계속 잘 된 부분도 있다.

현재 시점에서는 일반적인 사용사례에서도 표준 Mutex가 빠를 때도 있고 parking_log이 빠를 때도 있다. 일단 지금까지도 경쟁 상태에 있다고 볼 수 있다.

기본적인 사용법은 다른 Mutex들과 다르지 않다.

똑같이 락 걸고 가드 받아와서 쓰는 형태다.
다만 poison 상태가 없다는 것이 좀 다르다. 그래서 unwrap이 필요하지 않다.

기본 Mutex

그러면 뭐가 어떻게 다르고, 어떤 상황에 쓸 때 좋은걸까?

자, 일단 이 mutex의 경우에는 내부 구조가 놀라울만치 단순하다.
추가적인 상태 관리에 딱 1바이트밖에 쓰지 않는다.

표준 뮤텍스는 그에 비하면 포함하고 있는게 꽤 많다.
poison 상태 관리에 1바이트, Futex 상태 관리에 4바이트를 쓴다. 내가 봤을때는 최소 5바이트를 먹는다.

poison flag가 1바이트

상태관리 4바이트

futex 기반 구현

https://blog.naver.com/sssang97/224019441610

parking_lot은 현재의 표준 Mutex과 비슷하게, futex 기반으로 구현되어있다. CAS 기반으로 스핀락 돌리다가 오랫동안 점유에 실패하면 futex syscall을 날리는 식이다.
그래서 표준 Mutex에 futex가 들어가지 않았을 때는 parking_lot이 훨씬 효율적이었다.