쓰레드 동기화 문제

dotri의 이미지

안녕하세요. 매번 KLDP 에서 많은 도움을 얻어갑니다.

데몬 프로그램이 하나 있구요.. 이 데몬에서는 하위 쓰레드를 많이(아주 많이) 생성합니다. 쓰레드 안에서는 전역 연결리스트를 참조하는데요, 시그널을 받아서 전역 연결리스트를 갱신하려고 합니다.

전역 연결리스트를 참조하는 쓰레드 n개가 있을때, 임의 시점에 시그널을 받아서 연결리스트를 갱신해버리면 쓰레드 안에서는 어떤일이 일어날지 예측할 수 없겠지요. 최악의 경우엔 링크가 엉켜서 엉뚱한 메모리를 참조하고 데몬이 죽어버리는 상황이 있을 수 있겠구요. 이런 상황에서 어떤 방법이 해결책이 될 수 있을까요?

경험있는 개발자님들의 도움을 요청합니다.

익명 사용자의 이미지

리스트를 엑세스하는 곳을 모두 mutex로 감싸세요.

dotri의 이미지

답변 감사드립니다. 그런데 아직 두가지 의문이 더 생기네요.

1) 시그널 안에서 연결리스트를 갱신하는 부분도 뮤텍스로 감싸야 하나요?

2) 연결리스트를 참조하는 동작은 IPC 를 사용해서 Critical 하게 만들 수 있긴 하겠지만.. 문제는 그 다음입니다. 쓰레드가 연결리스트의 특정 노드 A 를 참조하고 있는 상태에서, 시그널을 받아 연결리스트가 갱신되고, 쓰레드는 다음 노드를 참조하기 위해 A->next 를 사용하게 될텐데, 이 시점에서 노드 A 또는 A->next 가 유효한지, 아니면 갱신에 의해 폐기되었는지 파악할 방법이 없을것 같아요.

익명 사용자의 이미지

시그널을 받아 리스트를 선점하는 상태까지 크리티컬하게 구현된다면 다 해결될 듯 싶네요.

doraq의 이미지

참조할때 널인지 아닌지 확인 안하나요?

if (a && a->next)
     유효;
else
     유효하지 않거나 노드의 끝;

업데이트 하는측에서도 mutex로 감싸고 참조하는 측에서도
모두 감싼다면 참조하는 측의 크리티컬 영역에서 참조하는 동안은
a 노드가 변하지 않는게 보장되므로 일단 먼저 a가 널인지 그리고 a->next가 널인지만 확인하면 문제없을겁니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.