Microsoft MVP성태의 닷넷 이야기
.NET Framework: 630. C# - Interlocked.CompareExchange 사용 예제 [링크 복사], [링크+제목 복사],
조회: 23805
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

C# - Interlocked.CompareExchange 사용 예제

한 번만 실행하려고 하는 경우 간단하게는 다음과 같은 처리를 할 수 있습니다.

int _value = 0;
bool _done = false;

void func()
{
    if (_done == false)
    {
        _value++;
        _done = true;
    }
}

당연하지만, 이는 thread-safe하지 않기 때문에 다중 스레드에서 위의 func을 호출하려면 예기치 않은 동작이 발생할 수 있습니다. 위의 상황에서는 _value 값이 2 이상이 나올 수 있는데 이는 다음과 같은 코드로 테스트해 볼 수 있습니다.

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

class Program
{
    static int _value = 0;
    static bool _done = false;

    static void Main(string[] args)
    {
        int count = 0;

        while (true)
        {
            _value = 0;
            _done = false;

            List<Thread> list = new List<Thread>();
            for (int i = 0; i < 100; i++)
            {
                Thread t = new Thread(threadNotSafeFunc);
                list.Add(t);
            }

            foreach (var item in list)
            {
                item.Start();
            }

            foreach (var item in list)
            {
                item.Join();
            }

            if (_value != 1)
            {
                throw new ApplicationException("_value: " + _value);
            }

            Console.WriteLine(count++ + ": Tested - " + _value);
        }
    }

    private static void threadNotSafeFunc()
    {
        Thread.Sleep(1000);

        if (_done == false)
        {
            _value++;
            _done = true;
        }
    }
}

실행해 보면, 여지없이 ApplicationException 예외가 발생합니다. 이를 위해 lock 구문을 써도 되는데, 쓸데없이 참조 형 변수를 하나 둬야 하므로 이럴 땐 Interlocked.CompareExchange를 써 볼 수 있습니다. 원래는 다음과 같이 코딩할 수 있을 텐데,

int _value = 0;
bool _done = false;

void threadSafeFunc()
{
    if (Interlocked.CompareExchange(ref _done, true, false) == false)
    {
        _value++;
    }
}

아쉽게도 위의 코드를 컴파일하면 다음과 같은 오류가 발생합니다.

Error CS0452 The type 'bool' must be a reference type in order to use it as parameter 'T' in the generic type or method 'Interlocked.CompareExchange<T>(ref T, T, T)

bool 타입을 지원하지 않는 것인데, 사실 좀 이해가 안 됩니다. 어차피 CPU의 워드 타입 내에서 처리할 수 있는 형식이라서 .NET BCL 측에서 제공해줘도 무방할 텐데 굳이 뺀 이유를 모르겠습니다. 이 때문에, bool 타입은 그냥 true를 1로, false를 0으로 해석하는 전통적인 방식에 기인해서 int 타입을 써 다음과 같이 처리해 주시면 됩니다.

int _value = 0;
int _intDone = false;

void threadSafeFunc()
{
    if (Interlocked.CompareExchange(ref _intDone, 1, 0) == 0)
    {
        _value++;
    }
}

ApplicationException이 발생했던 이전 예제의 threadNotSafeFunc을 threadSafeFunc으로 변경해서 처리하면 예외 없이 잘 실행되는 것을 확인할 수 있습니다.

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




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







[최초 등록일: ]
[최종 수정일: 1/9/2017]

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

비밀번호

댓글 작성자
 



2017-01-10 04시56분
[spowner] 글 감사드립니다
[guest]
2017-01-10 08시04분
[spowner] lock 버젼으로... 한번 이렇게 짜봤습니다 -_-;

    class Program
    {
        static void Main(string[] args)
        {
            Flag doneFlag = false;

            doneFlag.RunOnce(() =>
            {
                Console.WriteLine("Yeah!");
            });
        }
    }

    public struct Flag
    {
        private bool flag;
        private object @lock;

        public Flag(bool flag)
        {
            this.flag = flag;
            @lock = new object();
        }

        public static implicit operator bool(Flag v)
        {
            return v.flag;
        }

        public static implicit operator Flag(bool v)
        {
            return new Flag(v);
        }

        public void RunOnce(Action action)
        {
            lock (@lock)
            {
                if (flag == true)
                    return;

                flag = true;
            }

            action();
        }
    }
[guest]
2017-01-10 12시40분
@spowner 재미있게 만드셨네요. ^^
정성태

1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13804정성태11/7/20247065Linux: 101. eBPF 함수의 인자를 다루는 방법
13803정성태11/7/20246644닷넷: 2309. C# - .NET Core에서 바뀐 DateTime.Ticks의 정밀도
13802정성태11/6/20247048Windows: 269. GetSystemTimeAsFileTime과 GetSystemTimePreciseAsFileTime의 차이점파일 다운로드1
13801정성태11/5/20246870Linux: 100. eBPF의 2가지 방식 - libbcc와 libbpf(CO-RE)
13800정성태11/3/20247843닷넷: 2308. C# - ICU 라이브러리를 활용한 문자열의 대소문자 변환 [2]파일 다운로드1
13799정성태11/2/20245616개발 환경 구성: 732. 모바일 웹 브라우저에서 유니코드 문자가 표시되지 않는 경우
13798정성태11/2/20247276개발 환경 구성: 731. 유니코드 - 출력 예시 및 폰트 찾기
13797정성태11/1/20247260C/C++: 185. C++ - 문자열의 대소문자를 변환하는 transform + std::tolower/toupper 방식의 문제점파일 다운로드1
13796정성태10/31/20246773C/C++: 184. C++ - ICU dll을 이용하는 예제 코드 (Windows)파일 다운로드1
13795정성태10/31/20245966Windows: 268. Windows - 리눅스 환경처럼 공백으로 끝나는 프롬프트 만들기
13794정성태10/30/20246048닷넷: 2307. C# - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13793정성태10/28/20246011C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20245401Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20245860Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20245364Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20246331Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20245124Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20246488개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20246266Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20245605C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20246213Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20245725Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20245421Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20245975오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20247035Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20245607개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...