"upgrade_to_unique_lock"을 사용하여 "try_lock"을 수행하는 방법

Question

차단없이 upgrade_lock_unique_lock을 수행하고 싶지만 Boost 소스 코드 (v1.46.1)를 보면 이것이 불가능하다는 것을 알 수 있습니까? 내 접근 방식이 잘못 되었나요?

다른 스레드에서 읽을 수 있도록 잠재적으로 보유 할 수있는 리소스의 읽기 잠금을 먼저 가져 오려고합니다. 그런 다음 쓰기가 가능한지보고 싶습니다. 그렇지 않은 경우 (다른 공유 읽기 잠금이 현재 보유되어 있음) 간단히 나중에 수행합니다.

// No way to specify the boost::try_to_lock object 
explicit upgrade_to_unique_lock(upgrade_lock<Mutex>& m_): 
    source(&m_),exclusive(move(*source)) 

나는 절차 적으로 완벽하게 비동기 적으로 중간 점 변위 알고리즘을 사용하여 지형 타일 (페이지)를 생성하기 위해 노력하고있어. 이렇게하려면 4 개의 주변 타일 (북쪽, 서쪽, 동쪽, 남쪽)에서 얻은 모서리가있는 대상 지형 타일 (가운데)을 시드해야합니다. 가장자리는 이미 존재하고 이미 완전히 생성 된 이웃에서만 수집됩니다. 구현은 한 번에 하나의 이웃 타일을 차단해야하며 언제든지 생성 될 수 있도록 다른 이웃의 읽기 잠금을 보유하지 않아야합니다. 타일이 생성 될 때 다른 스레드가 이웃에 대한 쓰기 잠금을 가지고 있지 않음을 보장해야합니다. 읽기 잠금은 괜찮습니다. 또한 불필요하게 쓰기 잠금을 기다리는 스레드의 데이지 체인이 없어야합니다. 즉, 거리가 다른 두 개의 타일을 서로 독립적으로 생성 할 수 있어야합니다.

내 구현은 카메라와의 거리를보고 필요에 따라 페이지를 비동기 적으로 요청하는 제 3 자 알고리즘에 따라 다릅니다. 특정 순서없이 페이지/타일에 대해 최대 16 개의 비동기 요청을 임의로 만들 수있는 것 같습니다.

Answer 1

밀짚 맨 답. 나는 이것이 유효한 대답이 아니라고 확신한다. 그러나 형식화 문제로 인해 주석에 넣을 수는 없습니다. 이 std::unique_lock 및 std::defer_lock 같은 C++ 11 비트를 사용하고

tile::generate_center() 
{ 
    tile& north = ...; 
    tile& east = ...; 
    tile& south = ...; 
    tile& west = ...; 
    std::unique_lock<mutex_type> l0(mutex(), std::defer_lock); 
    shared_lock<mutex_type> ln(north.mutex(), std::defer_lock); 
    shared_lock<mutex_type> le(east.mutex(), std::defer_lock); 
    shared_lock<mutex_type> ls(south.mutex(), std::defer_lock); 
    shared_lock<mutex_type> lw(west.mutex(), std::defer_lock); 
    std::lock(l0, ln, le, ls, lw); 
    // This is exclusively locked, neighbors are share locked 
    // ... 
} 

:

내가 이런 식으로 뭔가를 유혹 할 것이다 중심 타일을 생성합니다. 나는 당신이 부스트로부터이 기능을 얻을 수 있다고 믿는다 (긍정적이지는 않지만).

이 루틴은 기본적으로 중심을 고정시키고 이웃을 공유 잠금합니다. 그것은 모든 자물쇠를 얻을 수있을 때까지 차단합니다. 이웃 사람들이 같은 일을하지 못하게하지는 않습니다. 즉, std::lock을 사용하면 교착 상태가 발생하지 않습니다.

저는 실제로 이것이 당신이하려는 일을 실제로 처리하고 있는지 확실하지 않습니다. 하지만 아마도 그 대답에 이르게 도움이 될 것입니다 ...