Microsoft MVP성태의 닷넷 이야기
글쓴 사람
홈페이지
첨부 파일

스레드 간의 read/write 시에도 lock이 필요 없는 경우

다음과 같은 질문이 있군요.

쓰레드 동기화 관련
; http://lab.gamecodi.com/board/zboard.php?id=GAMECODILAB_QnA_etc&no=5292&z=

재현 코드를 만들어 보면, 다음과 같이 정리할 수 있습니다.

using System;
using System.Collections.Generic;
using System.Threading;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args)
        {
            Program pg = new Program();
            pg.Start();

            Console.ReadLine();
        }

        Dictionary<int, string> _dict = new Dictionary<int, string>();

        private void Start()
        {
            _dict = MakeDict();

            Thread t1 = new Thread(readerFunc);
            t1.IsBackground = true;
            t1.Start();

            Thread t2 = new Thread(writerFunc);
            t2.IsBackground = true;
            t2.Start();
        }

        private void writerFunc()
        {
            while (true)
            {
                _dict = MakeDict();
            }
        }

        Dictionary<int, string> MakeDict()
        {
            Dictionary<int, string> dict = new Dictionary<int, string>();

            for (int i = 0; i < 1000000; i++)
            {
                dict.Add(i, i.ToString());
            }

            return dict;
        }

        private void readerFunc()
        {
            while (true)
            {
                var dict = _dict;
                int sum = 0;
                foreach (var item in dict)
                {
                    sum += item.Key;
                }

                if (sum != 1783293664)
                {
                    throw new ApplicationException("BROKEN-SYNC");
                }
            }
        }
    }
}

위와 같은 상황에서 _dict 변수에 대한 동기화가 필요할까요? ^^ (덧글들도 함께 읽어보시면 재미있습니다.)




당연하지만, 그래도 위의 코드를 실행해 보면 예외가 발생하지 않습니다. (물론 멀티 스레드의 문제에서 단순히 코드 수행으로 인한 예외가 발생하지 않았다고 해서 결점이 없다고 단정할 수는 없습니다. 마치 수학에서는 증명이 요구되듯이.)

이유는 간단합니다. 위의 경우에 _dict 멤버 변수는 참조형이기 때문에 4/8 바이트 포인터 변수이고 이는 CPU 워드 단위이므로 한 번에(atomic 하게) 값이 변하게 됩니다. 즉, _dict의 변숫값이 0x00112233이었는데 (32비트 CPU의) 쓰기 상황에서 4바이트 중 상위 2바이트 또는 하위 2바이트로 나눠서 쓰는 것이 아니므로 적어도 해당 멤버 변수가 가리키는 주소의 객체가 유효하다는 보장이 있습니다.

위와 같은 상황을 유형 별 시나리오로 생각해 보면 이해가 더 잘 될 수 있습니다.

가령 A 스레드에서 dict = _dict;를 수행 후 dict 변수를 통해 이전 컬렉션을 열람하는 사이 B 스레드에서 _dict를 업데이트하는 상황을 보겠습니다. 이 상황에서 A 스레드가 _dict에 대해 동기화 수단(이를테면, Monitor.Lock)을 수행하면 어떻게 될까요? 이런 경우 단지 B 스레드에서 _dict 변수에 값을 써넣는 시간만 지연될 뿐 A 스레드는 변함없이 이전 컬렉션의 데이터를 모두 열람하게 됩니다.

또는 A 스레드에서 dict = _dict;를 수행하기 전, B 스레드에서 _dict를 업데이트했다고 가정해 보겠습니다. 이 경우에도 역시 동기화 작업을 하는 유무에 상관없이 어차피 값이 잘 나옵니다.

굳이 문제가 된다면 컴파일러가 해당 변숫값이 메서드 안에서 읽히기만 한다고 판단해 최적화를 하는 경우입니다. 이런 경우를 위해 volatile 예약어 정도만 써주면 됩니다.

C++ volatile 키워드
; https://www.sysnet.pe.kr/2/0/413

C# - volatile 키워드로 인한 차이점을 발생시키는 예제
; https://www.sysnet.pe.kr/2/0/10850

(첨부 파일은 이 글의 예제 코드를 포함합니다.)




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]





[최초 등록일: ]
[최종 수정일: 3/16/2018 ]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer@outlook.com

비밀번호

댓글 쓴 사람
 




... [31]  32  33  34  35  36  37  38  39  40  41  42  43  44  45  ...
NoWriterDateCnt.TitleFile(s)
11512정성태5/3/20182317개발 환경 구성: 375. Azure runbook 실행 시 "Errors", "All Logs"에 오류 메시지가 출력되는 경우
11511정성태5/2/20182662개발 환경 구성: 374. Azure - Runbook 기능 소개
11510정성태4/30/20184335.NET Framework: 742. windbg로 확인하는 Finalizer를 가진 객체의 GC 과정파일 다운로드1
11509정성태4/28/20183795.NET Framework: 741. windbg로 확인하는 객체의 GC 여부
11508정성태4/23/20183080개발 환경 구성: 373. MSBuild를 이용해 프로젝트 배포 후 결과물을 zip 파일로 압축하는 방법파일 다운로드1
11507정성태9/29/20183291개발 환경 구성: 372. MSBuild - 빌드 전/후, 배포 전/후 실행하고 싶은 Task 정의
11506정성태6/27/20186327.NET Framework: 740. C#에서 enum을 boxing 없이 int로 변환하기 - 두 번째 이야기 [7]파일 다운로드1
11505정성태4/19/20182621개발 환경 구성: 371. Azure Web App 확장 예제 - Simple WebSite Extension
11504정성태4/19/20182780오류 유형: 465. Azure Web App 확장 - Extplorer File manager 적용 시 오류
11503정성태4/19/20182748오류 유형: 464. PowerShell - Start-Service 명령 오류 (Service 'xxx' cannot be started)
11502정성태5/12/20183802개발 환경 구성: 370. Azure VM/App Services(Web Apps)에 Let's Encrypt 무료 인증서 적용 방법 [2]
11501정성태4/17/20182482개발 환경 구성: 369. New-AzureRmADServicePrincipal로 생성한 계정의 clientSecret, key 값을 구하는 방법파일 다운로드1
11500정성태4/17/20182849개발 환경 구성: 368. PowerShell로 접근하는 Azure의 Access control 보안과 Azure Active Directory의 계정 관리 서비스
11499정성태4/17/20182401개발 환경 구성: 367. Azure - New-AzureRmADServicePrincipal / New-AzureRmRoleAssignment 명령어
11498정성태4/17/20182413개발 환경 구성: 366. Actvie Azure Directory의 사용자 유형 구분 - Guest/Member
11497정성태4/17/20182524개발 환경 구성: 365. Azure 리소스의 액세스 제어(Access control) 별로 사용자에게 권한을 할당하는 방법 [2]
11496정성태4/17/20182168개발 환경 구성: 364. Azure Portal에서 구독(Subscriptions) 메뉴가 보이지 않는 경우
11495정성태4/18/20182757개발 환경 구성: 363. Azure의 Access control 보안과 Azure Active Directory의 계정 관리 서비스
11494정성태4/16/20182537개발 환경 구성: 362. Azure Web Apps(App Services)에 사용자 DNS를 지정하는 방법
11493정성태4/16/20182531개발 환경 구성: 361. Azure Web App(App Service)의 HTTP/2 프로토콜 지원
11492정성태4/13/20182515개발 환경 구성: 360. Azure Active Directory의 사용자 도메인 지정 방법
11491정성태9/30/20192770개발 환경 구성: 359. Azure 가상 머신에 Web Application을 배포하는 방법
11490정성태4/12/20183470.NET Framework: 739. .NET Framework 4.7.1의 새 기능 - Configuration builders [1]파일 다운로드1
11489정성태4/12/20182727오류 유형: 463. 윈도우 백업 오류 - a Volume Shadow Copy Service operation failed.
11488정성태4/12/20182532오류 유형: 462. Unhandled Exception in Managed Code Snap-in - FX:{811FD892-5EB4-4E73-A147-F1E079E36C4E}
11487정성태4/12/20182796디버깅 기술: 115. windbg - 닷넷 메모리 덤프에서 정적(static) 필드 값을 조사하는 방법
... [31]  32  33  34  35  36  37  38  39  40  41  42  43  44  45  ...