다중 스레드 프로그램에서 분기

Question

프로그램에서 혼합 및 스레딩을 혼합하는 것은 매우 문제가 될 수 있으며 종종 잠금 장치, 파이프, 파일 설명자와 같은 공유 리소스를 처리 할 때 신비한 동작을 초래할 수 있다고 들었습니다. 그러나 나는 위험이 정확히 무엇인지, 언제 일어날 수 있는지 정확히 이해하지 못합니다. 이 분야의 전문 지식을 가진 사람이 함정이 무엇인지, 그러한 환경에서 프로그래밍 할 때주의해야 할 점에 대해 더 자세히 설명 할 수 있다면 좋을 것입니다.

예를 들어 다양한 리소스의 데이터를 수집하는 서버를 작성하려면 서버에서 스레드 집합을 생성하고 각 서버가 실제 프로그램을 호출하도록 호출하는 것이 좋습니다. 일하고, 파이프를 열어 어린이에게서 데이터를 다시 얻으십시오. 이 스레드는 각각 자신의 작업에 응답하고 데이터를 교환하지 않으며 데이터를 수집 할 때 주 스레드에 대기열이 있으며 작업자 스레드는 결과를 대기열에 넣습니다. 이 솔루션으로 무엇이 잘못 될 수 있습니까?

예제 시나리오에 "답변"하여 답변 범위를 좁히지 마십시오. 예제와 관련이 없지만 깔끔한 디자인을 제공하는 데 도움이되는 제안, 대체 솔루션 또는 경험은 유용 할 것입니다. 감사!

Answer 1

정말 간단합니다. 다중 스레드 및 프로세스의 문제점은 항상 공유 데이터에서 발생합니다. 공유 데이터가 없으면 발생할 수있는 문제가 없습니다.

예에서 공유 데이터는 주 스레드가 소유 한 대기열입니다. 잠재적 인 경합 또는 경쟁 조건이 여기에서 발생합니다. 이러한 문제를 "해결하는"일반적인 방법은 잠금 스키마와 관련이 있습니다. 작업자 스레드는 데이터를 삽입하기 전에 대기열을 잠그고 주 스레드는 제거하기 전에 대기열을 잠급니다.

Answer 2

일부 스레드가 실행 중일 때 분기 할 때의 문제점은 fork를 호출 한 스레드의 CPU 상태 만 복사한다는 것입니다. 모든 스레드가 방금 죽었을 때마다 즉각적으로 그럴 수 있습니다.

결과적으로 잠금이 해제되지 않으며 공유 데이터 (예 : malloc 힙)가 손상 될 수 있습니다. 이론적으로, 당신은 분기 전에 프로그램의 모든 잠금을 한 후이를 해제하고, 어쩌면 그것을 밖으로 살아 만들 수 - -

는 pthread는 pthread_atfork 기능을 제공하지 않습니다하지만 당신은 항상 하나를 놓칠 수 있기 때문에, 위험 해. 물론 다른 스레드의 스택은 해제되지 않습니다.