데이터 경합 피하기

두 스레드가 동시에 같은 메모리에 접근하고 그중 하나 이상이 쓰기를 수행하면 데이터 경쟁이 발생합니다. 결과를 예측할 수 없게 됩니다. ⚠️

여러 작업자가 하나의 공유 합계에 더하면 충돌이 발생합니다. 쓰기가 겹쳐 서로의 변경 내용을 덮어써 업데이트가 사라집니다.

가장 간단한 해결책은 작업자마다 쓸 인덱스를 따로 주는 것입니다. 출력이 절대 겹치지 않으면 경쟁도 발생하지 않습니다.

여러 스레드가 같은 입력을 읽는 것은 안전합니다. 다른 스레드가 읽거나 쓰는 대상을 누군가 쓰기 시작할 때만 문제가 발생합니다.

합계를 계산할 때는 작업자마다 고유한 부분 결과 위치를 주세요. 같은 칸을 공유하지 않으므로 덧셈을 안전하게 수행할 수 있습니다.

모든 작업자가 끝나면 하나의 스레드에서 부분 결과를 합치세요. 이 최종 축약에는 잠금이 필요하지 않습니다.

가장 안전한 병렬 코드는 읽기 전용 데이터만 공유합니다. 가능한 경우 모든 가변 데이터는 작업자 하나만 사용하도록 따로 보관하세요.

작업자는 어떤 순서로든 끝날 수 있습니다. 실행 일정이 달라질 수 있으므로 한 chunk가 다른 chunk보다 먼저 실행된다고 가정하지 마세요.

Mojo의 소유권과 값 의미론은 실수로 데이터를 공유하기 어렵게 만들지만, 병렬 로직을 올바르게 유지하는 책임은 여전히 개발자에게 있습니다.

경쟁 상태는 타이밍 뒤에 숨어 있으므로 병렬 코드를 여러 번 실행하고 직렬 참조 결과와 비교하세요.

가장 좋은 방어 방법은 쓰기가 절대 겹치지 않는 구조를 만드는 것입니다. 나중에 수정하는 대신 설계 단계에서 경쟁 상태를 예방하세요.

서로 겹치지 않는 위치에 쓰고, 작업자별 부분 결과를 사용하며, 결합 후 축약하고, 순서에 의존하지 않으면 경쟁 상태를 피하고 병렬 결과를 올바르게 유지할 수 있습니다. 🚀