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)
11502정성태5/12/20183301개발 환경 구성: 370. Azure VM/App Services(Web Apps)에 Let's Encrypt 무료 인증서 적용 방법 [2]
11501정성태4/17/20182256개발 환경 구성: 369. New-AzureRmADServicePrincipal로 생성한 계정의 clientSecret, key 값을 구하는 방법파일 다운로드1
11500정성태4/17/20182529개발 환경 구성: 368. PowerShell로 접근하는 Azure의 Access control 보안과 Azure Active Directory의 계정 관리 서비스
11499정성태4/17/20182099개발 환경 구성: 367. Azure - New-AzureRmADServicePrincipal / New-AzureRmRoleAssignment 명령어
11498정성태4/17/20182131개발 환경 구성: 366. Actvie Azure Directory의 사용자 유형 구분 - Guest/Member
11497정성태4/17/20182322개발 환경 구성: 365. Azure 리소스의 액세스 제어(Access control) 별로 사용자에게 권한을 할당하는 방법 [2]
11496정성태4/17/20181865개발 환경 구성: 364. Azure Portal에서 구독(Subscriptions) 메뉴가 보이지 않는 경우
11495정성태4/18/20182451개발 환경 구성: 363. Azure의 Access control 보안과 Azure Active Directory의 계정 관리 서비스
11494정성태4/16/20182252개발 환경 구성: 362. Azure Web Apps(App Services)에 사용자 DNS를 지정하는 방법
11493정성태4/16/20182245개발 환경 구성: 361. Azure Web App(App Service)의 HTTP/2 프로토콜 지원
11492정성태4/13/20182184개발 환경 구성: 360. Azure Active Directory의 사용자 도메인 지정 방법
11491정성태9/30/20192460개발 환경 구성: 359. Azure 가상 머신에 Web Application을 배포하는 방법
11490정성태4/12/20183087.NET Framework: 739. .NET Framework 4.7.1의 새 기능 - Configuration builders [1]파일 다운로드1
11489정성태4/12/20182283오류 유형: 463. 윈도우 백업 오류 - a Volume Shadow Copy Service operation failed.
11488정성태4/12/20182180오류 유형: 462. Unhandled Exception in Managed Code Snap-in - FX:{811FD892-5EB4-4E73-A147-F1E079E36C4E}
11487정성태4/12/20182337디버깅 기술: 115. windbg - 닷넷 메모리 덤프에서 정적(static) 필드 값을 조사하는 방법
11486정성태4/11/20182385오류 유형: 461. Error MSB4064 The "ComputeOutputOnly" parameter is not supported by the "VsTsc" task
11485정성태4/11/20184347.NET Framework: 738. C# - Console 프로그램이 Ctrl+C 종료 시점을 감지하는 방법파일 다운로드1
11484정성태4/11/20183392.NET Framework: 737. C# - async를 Task 타입이 아닌 사용자 정의 타입에 적용하는 방법파일 다운로드1
11483정성태4/10/20185743개발 환경 구성: 358. "Let's Encrypt"에서 제공하는 무료 SSL 인증서를 IIS에 적용하는 방법 (2) [1]
11482정성태4/10/20182963VC++: 126. CUDA Core 수를 알아내는 방법
11481정성태4/10/20184622개발 환경 구성: 357. CUDA의 인덱싱 관련 용어 - blockIdx, threadIdx, blockDim, gridDim
11480정성태10/19/20183781.NET Framework: 736. C# - API를 사용해 Azure에 접근하는 방법 [2]파일 다운로드1
11479정성태4/12/20182421.NET Framework: 735. Azure - PowerShell로 Access control(IAM)에 새로운 계정 만드는 방법
11478정성태4/9/20182796디버깅 기술: 115. windbg - 덤프 파일로부터 PID와 환경 변수 등의 정보를 구하는 방법
11477정성태4/8/20182877오류 유형: 460. windbg - sos 명령어 수행 시 c0000006 오류 발생
... 16  17  18  19  20  21  22  23  24  25  26  [27]  28  29  30  ...