[Rust] Atomic

러스트도 C++처럼 원자적 연산 타입을 제공한다.
동작방식도 C++와 거의 동일하다고 한다.

원자적 연산타입, 짧게 말해 아토믹은 기본 타입 단위에서 완전한 스레드안전성을 제공하는 특수한 타입이다.

기존의 스레드 동기화 방법은 mutex 등으로 접근시에 락을 걸어서 로직범위에서 블럭이 걸리기 때문에, 부하가 적지 않은 편인데.
아토믹은 좀더 좁은 단위에서 이걸 수행하고 최적화가 잘 되기 때문에 훨씬 빠르다.

다만, 아토믹은 특정 기본타입에 대해서만 정의가 되어있다. 단순한 정수계열타입들만 말이다.
그 목록은 아래와 같다.

그리고 Ordering이란게 있는데, 아토믹 연산 최적화를 어떻게 할지 지정하는 부분이다.

이걸 연산할때마다 적당히 잘 넣어줘야한다.
간단히 설명하자면 Relaxed는 가장 느슨한 제약이고, SeqCst가 가장 빡빡한 제약을 갖고 있어서 가장 느리다.
그리고 Acquire와 Release는 쌍으로 묶인다.

일단 여기서는 SeqCst만 쓰고 후일에 자세히 정리해보겠다.

일단 Atomic타입들은 Mutex처럼 보통 Arc로 감싸서 사용한다.
만약 여러 스레드에서 동시에 값을 더하고 싶다면 아래와 같이 하면 된다.

덧셈 fetch_add 외에 fetch 시리즈로는 다음 것들이 있다.

적당히 잘 사용하면 된다.

참조
https://doc.rust-lang.org/nomicon/atomics.html
https://doc.rust-lang.org/std/sync/atomic/
https://stackoverflow.com/questions/30407121/which-stdsyncatomicordering-to-use
https://doc.rust-lang.org/std/sync/atomic/struct.AtomicI32.html