뮤텍스 잠금 순서

Question

뮤텍스 잠금은 스레드에 호출 된 순서대로 제공됩니까? 그래서 우리는 세 개의 쓰레드 A, B, C와 mutex mtx를 가지고 있다고 가정하자. A가 mtx.lock()을 먼저 호출 한 다음 B와 C를 호출하면 A가 먼저 잠금을 얻고 B와 C를 차례로 수행한다는 것을 의미합니까? 그렇지 않으면 어떻게 보증 할 수 있습니까?

Answer 1

뮤텍스에서 둘 이상의 스레드가 대기 중이면 대기중인 스레드가 선택됩니다. 선입 선출 (FIFO) 주문을 가정하지 마십시오. 커널 모드 APC와 같은 외부 이벤트로 인해 대기 명령이 변경 될 수 있습니다. - MSDN에서 Mutex 객체에 관한 페이지.

참조 링크 :이 설명하는 간단한 예제를 가지고 Mutex Objects

Answer 2

, 내가 가입 대기 완료 후 잠금 장치, 인쇄 뭔가를 취득하고 3 개 작업을 만듭니다. 장벽 (3)을 설정하는 대신 (2)로 설정할 수 있으며 task_a를 실행하고 다른 두 사람이 자물쇠를 뒤집어 뛸 수 있습니다.

나는 boost :: barrier를 사용하여 생성되는 즉시 시작하지 않도록합니다. 결과는 FIFO가 아닌 비 결정적 순서입니다. 다른 플랫폼을 사용하면 다른 결과를 얻을 수 있습니다. A demo of it in action

std::mutex foo; 
boost::barrier bar(3); 

void task_a() { 
    bar.wait(); 
    foo.lock(); 
    std::cout << "task a\n"; 
    foo.unlock(); 
} 

void task_b() { 
    bar.wait(); 
    foo.lock(); 
    std::cout << "task b\n"; 
    foo.unlock(); 
} 

void task_c() { 
    bar.wait(); 
    foo.lock(); 
    std::cout << "task c\n"; 
    foo.unlock(); 
} 

int main() 
{ 
    std::thread th1 (task_a); 
    std::thread th2 (task_b); 
    std::thread th3 (task_c); 
    th1.join(); 
    th2.join(); 
    th3.join(); 

    return 0; 
}