Worker 0
values[0] 범위를 합산한다
single writer세 부분합의 writer와 main reader 배치
각 worker가 독립 slot을 쓰고 main이 종료 후 전체를 읽는다.
Worker 1·2
각자의 array 칸만 갱신한다
single writerall joins return→
Main aggregator
세 partial 값을 순회한다
readerFinal total
완료된 결과만 더한다
deterministic핵심: writer 충돌이 없고 join이 visibility 경계를 제공해 추가 collection lock이 필요 없다.