분무기

다중 스레드 프로그램의 정확성을 보장하는 것은 동시 실행 스레드 간의 예상치 못한 상호작용 가능성 때문에 어렵습니다. 이전의 많은 연구는 경합 조건 감지에 집중해왔지만, 경합 조건이 없다고 해서 자동으로 원치 않는 스레드 상호작용을 방지하는 것은 아닙니다. 우리는 원자성의 더 근본적인 비간섭 속성에 초점을 맞춥니다; 메서드는 실행이 동시 실행 중인 스레드에 의해 영향을 받지 않거나 간섭하지 않는 경우 원자적입니다. 원자적 메서드는 순차적 의미에 따라 이해될 수 있으며, 이는 (형식적 및 비형식적) 정확성 주장을 상당히 단순화합니다. 본 논문에서는 원자성 위반을 감지하기 위한 동적 분석을 제시합니다. 이 분석은 Lipton의 축소 이론과 초기 동적 경합 감지기에서의 아이디어를 결합합니다. 다중 스레드 Java 코드에 대한 프로토타입 검사기를 통한 경험은 이 접근법이 스레드 간의 의도치 않은 상호작용으로 인한 오류를 감지하는 데 효과적임을 보여줍니다. 특히, 우리의 원자성 검사기는 표준 경합 감지기가 놓치는 오류를 감지하며, 원자성 위반을 유발하지 않는 benign races에 대한 잘못된 경고가 더 적습니다. 우리의 실험 결과는 벤치마크의 대부분 메서드가 원자적임을 나타내며, 이는 원자성이 다중 스레드 프로그래밍의 표준 방법론이라는 우리의 가설을 지지합니다.