C에서 내부 뮤텍스를 사용하여 이동 가능한 유형을 만드는 방법은 무엇입니까?

C에서 이동 가능한 유형의 뮤텍스 처리

언급한 대로 std::mutex는 이동 가능하지도 않고 복사 가능하지도 않습니다. 뮤텍스를 보유하는 클래스로 작업합니다. 스레드 안전성을 유지하면서 유형을 이동 가능하게 만들려면 다음 접근 방식을 고려하십시오.

이동 생성자

WriteLock을 사용하여 (a)에서 이동되는 개체의 뮤텍스를 잠그는 이동 생성자를 만듭니다.

A(A&& a) {
  WriteLock rhs_lk(a.mut_);
  field1_ = std::move(a.field1_);
  field2_ = std::move(a.field2_);
}

할당 이동

다른 스레드가 있을 수 있으므로 이동 할당 연산자는 더 까다롭습니다. 할당의 lhs 또는 rhs에 액세스:

A& operator=(A&& a) {
  if (this != &a) {
    WriteLock lhs_lk(mut_, std::defer_lock);
    WriteLock rhs_lk(a.mut_, std::defer_lock);
    std::lock(lhs_lk, rhs_lk);
    field1_ = std::move(a.field1_);
    field2_ = std::move(a.field2_);
  }
  return *this;
}

복사 생성자

복사 의미 체계를 지원해야 하는 경우 복사되는 객체의 뮤텍스를 잠그는 복사 생성자를 생성합니다( a) ReadLock 사용:

A(const A& a) {
  ReadLock rhs_lk(a.mut_);
  field1_ = a.field1_;
  field2_ = a.field2_;
}

과제 복사

If 복사 할당 연산자도 필요합니다. 비슷한 패턴을 따르세요.

A& operator=(const A& a) {
  if (this != &a) {
    WriteLock lhs_lk(mut_, std::defer_lock);
    ReadLock rhs_lk(a.mut_, std::defer_lock);
    std::lock(lhs_lk, rhs_lk);
    field1_ = a.field1_;
    field2_ = a.field2_;
  }
  return *this;
}

추가 참고 사항

클래스 상태에 액세스하는 멤버와 자유 함수를 보호하는 것은 스레드 안전을 위해 매우 중요합니다. 예를 들어, 다음은 스왑 함수입니다.

friend void swap(A& x, A& y) {
  if (&x != &y) {
    WriteLock lhs_lk(x.mut_, std::defer_lock);
    WriteLock rhs_lk(y.mut_, std::defer_lock);
    std::lock(lhs_lk, rhs_lk);
    using std::swap;
    swap(x.field1_, y.field1_);
    swap(x.field2_, y.field2_);
  }
}

마지막으로 C 14의 std::shared_timed_mutex는 여러 스레드가 동일한 객체에서 복사 구성을 시도하는 상황에서 가능한 최적화를 허용한다는 점을 기억하세요.

위 내용은 C에서 내부 뮤텍스를 사용하여 이동 가능한 유형을 만드는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!