매핑된 변수를 새로운 매핑된 객체 스레드로 바꾸는 것이 안전한가요?

PHP 편집기 Apple은 "매핑 변수를 새 매핑 개체로 바꾸는 것이 스레드로부터 안전한가요?"라는 일반적인 질문에 답하기 위해 왔습니다. 매핑 변수는 키-값 쌍을 저장하는 데 사용되는 공통 데이터 구조입니다. 다중 스레드 환경에서는 스레드 안전성이 중요한 고려 사항입니다. 새로운 매핑 개체를 사용하면 동시 액세스 문제를 피할 수 있지만 스레드로부터 안전한지 여부는 사례별로 평가해야 합니다. 다음으로, 독자가 스레드 안전성과 매핑된 개체 간의 관계를 더 잘 이해할 수 있도록 이 문제를 심층적으로 살펴보겠습니다.

질문 내용

매핑된 객체가 기계어보다 크고 golang이 스레드로부터 안전하다고 보장하지 않기 때문에 스레드로부터 안전하지 않다고 생각합니다. 하지만 go run -race main.go를 사용하여 데모 코드를 실행하면 오류가 보고되지 않습니다. 이는 threadanitizer가 런타임 검사 및 할당 작업에 의존하여 스레드가 안전하지 않은 조건을 충족하기 어려운 이유일 수 있습니다.

샘플 코드는 다음과 같습니다.

으아악

그렇다면 동시성 오류를 유발하도록 코드를 수정하려면 어떻게 해야 할까요? 아니면 제가 틀렸고 코드가 스레드로부터 안전할까요?

Solution

다음은 몇 가지 참고 사항입니다.

으아악

Range 표현식은 for 루프 시작 시 한 번 평가됩니다. 따라서 이 작업은 m 一次（注意，这意味着如果循环中的代码重新分配 m ，则循环将继续迭代原始 m ，但是如果添加新元素或从 m 中删除元素，这些将被检测到循环），循环本身会调用 fmt.println 으로 표시되며, 이는 이 고루틴에서 실행 시간의 대부분을 소비하게 됩니다. 게임을 따라잡고 싶다면 삭제하세요.

둘째, 실제로 두 번째 맵을 초기화할 필요는 없습니다.

이 작업을 수행하고 경합 감지기를 실행하면 데이터 경합을 포착할 수 있습니다. 내가 아는 한 그렇습니다.

경합 감지기는 경합을 감지하면 이에 대해 불평합니다. 따라서 일치 항목이 보고되면 일치 항목이 있는 것입니다. 보고되지 않는다고 해서 대회가 없다는 의미는 아닙니다.

내 플랫폼에서 맵 변수 자체는 실제로 기계어와 크기가 같습니다. 이는 단지 매핑된 구조에 대한 포인터일 뿐입니다. 따라서 매핑된 변수에 대한 쓰기는 사실상 원자적입니다. 즉, 이 플랫폼에서는 부분적으로 할당된 매핑을 볼 수 없습니다. 그러나 다른 고루틴이 언제 이 메모리 쓰기를 볼지 보장할 수 없기 때문에 경합을 예방할 수는 없습니다.

간단히 말하면 경쟁이죠. 이는 맵 변수의 크기 때문이 아닙니다. 이 문제를 해결하려면 뮤텍스를 사용하세요.

위 내용은 매핑된 변수를 새로운 매핑된 객체 스레드로 바꾸는 것이 안전한가요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!