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

비밀번호

댓글 쓴 사람
 




... 16  17  18  19  20  21  22  23  24  25  26  27  28  29  [30]  ...
NoWriterDateCnt.TitleFile(s)
11492정성태4/13/20182398개발 환경 구성: 360. Azure Active Directory의 사용자 도메인 지정 방법
11491정성태9/30/20192661개발 환경 구성: 359. Azure 가상 머신에 Web Application을 배포하는 방법
11490정성태4/12/20183354.NET Framework: 739. .NET Framework 4.7.1의 새 기능 - Configuration builders [1]파일 다운로드1
11489정성태4/12/20182578오류 유형: 463. 윈도우 백업 오류 - a Volume Shadow Copy Service operation failed.
11488정성태4/12/20182396오류 유형: 462. Unhandled Exception in Managed Code Snap-in - FX:{811FD892-5EB4-4E73-A147-F1E079E36C4E}
11487정성태4/12/20182639디버깅 기술: 115. windbg - 닷넷 메모리 덤프에서 정적(static) 필드 값을 조사하는 방법
11486정성태4/11/20182649오류 유형: 461. Error MSB4064 The "ComputeOutputOnly" parameter is not supported by the "VsTsc" task
11485정성태4/11/20184743.NET Framework: 738. C# - Console 프로그램이 Ctrl+C 종료 시점을 감지하는 방법파일 다운로드1
11484정성태4/11/20183770.NET Framework: 737. C# - async를 Task 타입이 아닌 사용자 정의 타입에 적용하는 방법파일 다운로드1
11483정성태4/10/20186424개발 환경 구성: 358. "Let's Encrypt"에서 제공하는 무료 SSL 인증서를 IIS에 적용하는 방법 (2) [1]
11482정성태4/10/20183276VC++: 126. CUDA Core 수를 알아내는 방법
11481정성태4/10/20185484개발 환경 구성: 357. CUDA의 인덱싱 관련 용어 - blockIdx, threadIdx, blockDim, gridDim
11480정성태10/19/20184094.NET Framework: 736. C# - API를 사용해 Azure에 접근하는 방법 [2]파일 다운로드1
11479정성태4/12/20182652.NET Framework: 735. Azure - PowerShell로 Access control(IAM)에 새로운 계정 만드는 방법
11478정성태4/9/20182935디버깅 기술: 115. windbg - 덤프 파일로부터 PID와 환경 변수 등의 정보를 구하는 방법
11477정성태4/8/20183081오류 유형: 460. windbg - sos 명령어 수행 시 c0000006 오류 발생
11476정성태4/9/20182491디버깅 기술: 114. windbg - !threads 출력 결과로부터 닷넷 관리 스레드(System.Threading.Thread) 객체를 구하는 방법
11475정성태3/28/20183389디버깅 기술: 113. windbg - Thread.Suspend 호출 시 응용 프로그램 hang 현상에 대한 덤프 분석
11474정성태3/27/20182460오류 유형: 459. xperf: error: TEST.Event: Invalid flags. (0x3ec).
11473정성태3/22/20183917.NET Framework: 734. C# - Thread.Suspend 호출 시 응용 프로그램 hang 현상파일 다운로드1
11472정성태3/22/20183497개발 환경 구성: 356. GTX 1070, GTX 960, GT 640M의 cudaGetDeviceProperties 출력 결과
11471정성태3/20/20183090VC++: 125. CUDA로 작성한 RGB2RGBA 성능파일 다운로드1
11470정성태3/20/20185380오류 유형: 458. Visual Studio - CUDA 프로젝트 빌드 시 오류 C1189, expression must have a constant value
11469정성태3/19/20182986오류 유형: 457. error MSB3103: Invalid Resx file. Could not load file or assembly 'System.Windows.Forms, ...' or one of its dependencies.
11468정성태3/19/20183020오류 유형: 456. 닷넷 응용 프로그램 실행 시 0x80131401 예외 발생
11467정성태3/19/20182546오류 유형: 455. Visual Studio Installer - 업데이트 실패
... 16  17  18  19  20  21  22  23  24  25  26  27  28  29  [30]  ...