쓰레드 동기화 문제
글쓴이: dotri / 작성시간: 월, 2005/04/18 - 11:00오전
안녕하세요. 매번 KLDP 에서 많은 도움을 얻어갑니다.
데몬 프로그램이 하나 있구요.. 이 데몬에서는 하위 쓰레드를 많이(아주 많이) 생성합니다. 쓰레드 안에서는 전역 연결리스트를 참조하는데요, 시그널을 받아서 전역 연결리스트를 갱신하려고 합니다.
전역 연결리스트를 참조하는 쓰레드 n개가 있을때, 임의 시점에 시그널을 받아서 연결리스트를 갱신해버리면 쓰레드 안에서는 어떤일이 일어날지 예측할 수 없겠지요. 최악의 경우엔 링크가 엉켜서 엉뚱한 메모리를 참조하고 데몬이 죽어버리는 상황이 있을 수 있겠구요. 이런 상황에서 어떤 방법이 해결책이 될 수 있을까요?
경험있는 개발자님들의 도움을 요청합니다.
Forums:
리스트를 엑세스하는 곳을 모두 mutex로 감싸세요.
리스트를 엑세스하는 곳을 모두 mutex로 감싸세요.
감사합니다. 그런데..
답변 감사드립니다. 그런데 아직 두가지 의문이 더 생기네요.
1) 시그널 안에서 연결리스트를 갱신하는 부분도 뮤텍스로 감싸야 하나요?
2) 연결리스트를 참조하는 동작은 IPC 를 사용해서 Critical 하게 만들 수 있긴 하겠지만.. 문제는 그 다음입니다. 쓰레드가 연결리스트의 특정 노드 A 를 참조하고 있는 상태에서, 시그널을 받아 연결리스트가 갱신되고, 쓰레드는 다음 노드를 참조하기 위해 A->next 를 사용하게 될텐데, 이 시점에서 노드 A 또는 A->next 가 유효한지, 아니면 갱신에 의해 폐기되었는지 파악할 방법이 없을것 같아요.
시그널을 받아 리스트를 선점하는 상태까지 크리티컬하게 구현된다면 다 해결
시그널을 받아 리스트를 선점하는 상태까지 크리티컬하게 구현된다면 다 해결될 듯 싶네요.
노드 A부터 널인지 확인하세요
참조할때 널인지 아닌지 확인 안하나요?
업데이트 하는측에서도 mutex로 감싸고 참조하는 측에서도
모두 감싼다면 참조하는 측의 크리티컬 영역에서 참조하는 동안은
a 노드가 변하지 않는게 보장되므로 일단 먼저 a가 널인지 그리고 a->next가 널인지만 확인하면 문제없을겁니다.
댓글 달기