pthreads v. SSE 약한 메모리 정렬

Question

x86_64의 Linux glibc pthread 기능이 약하게 정렬 된 메모리 액세스를위한 펜스 역할을합니까? (pthread_mutex_lock/unlock은 내가 관심있는 정확한 함수이다).

SSE2는 약한 메모리 순서 (특히 movntps와 같은 비 임시 저장소)에 대한 지침을 제공합니다. 이 지침을 사용하고 있고 다른 스레드/코어가 주문을 보도록하려면 원하는 sfence 명령과 같은 명시적인 울타리가 필요하다는 것을 이해합니다.

일반적으로 pthread API가 펜스로 적절하게 작동해야합니다. 그러나, 나는 보통의 C 코드가 약하게 정렬 된 메모리 접근을 생성하지 않을 것이라고 생각한다. 그래서 pthread가 약하게 정렬 된 접근을위한 펜스처럼 행동 할 필요가 있다고 확신하지는 않는다.

glibc pthread 소스 코드를 통해 읽는 mutex는 적어도 "unclended path"에 "lock cmpxchgl"을 사용하여 구현됩니다. 그래서 내가 알고 있어야 할 것은 SSE2 약하게 명령 된 접근을위한 울타리로서의 지시가되는 것인가?

Answer 1

비 임시 매장에서는 sfence 명령을 올바르게 주문해야합니다.

그러나 간단한 뮤텍스를 효율적으로 사용자 수준에서 구현할 경우 쓰기 읽기 전용 버퍼를 플러시하지 않는 간단한 쓰기로 풀어 놓을 것을 가정하고 lock cmpxchg과 같은 원자 읽기 수정 쓰기 작업은 전체 메모리를 의미합니다 울타리.

따라서 unlock의 효과가 비 임시 저장소에 적용되는 의미가 store-with-release 일 때 상황이 있습니다. 따라서 이러한 SSE 저장소는 잠금 해제 후 다른 스레드가 뮤텍스를 획득 한 후에 재정렬 될 수 있습니다.