Microsoft MVP성태의 닷넷 이야기
닷넷: 2285. C# - async 메서드에서의 System.Threading.Lock 잠금 처리 [링크 복사], [링크+제목 복사],
조회: 8184
글쓴 사람
정성태 (seongtaejeong at gmail.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)
(시리즈 글이 7개 있습니다.)
.NET Framework: 2064. C# - Mutex와 Semaphore/SemaphoreSlim 차이점
; https://www.sysnet.pe.kr/2/0/13156

.NET Framework: 2065. C# - Mutex의 비동기 버전
; https://www.sysnet.pe.kr/2/0/13157

닷넷: 2216. C# - SemaphoreSlim 사용 시 주의점
; https://www.sysnet.pe.kr/2/0/13555

닷넷: 2217. C# - 최댓값이 1인 SemaphoreSlim 보다 Mutex 또는 lock(obj)를 선택하는 것이 나은 이유
; https://www.sysnet.pe.kr/2/0/13558

디버깅 기술: 195. windbg 분석 사례 - Semaphore 잠금으로 인한 Hang 현상 (닷넷)
; https://www.sysnet.pe.kr/2/0/13560

닷넷: 2284. C# - async 메서드에서의 lock/Monitor.Enter/Exit 잠금 처리
; https://www.sysnet.pe.kr/2/0/13697

닷넷: 2285. C# - async 메서드에서의 System.Threading.Lock 잠금 처리
; https://www.sysnet.pe.kr/2/0/13698




C# - async 메서드에서의 System.Threading.Lock 잠금 처리

.NET 9부터 새롭게 도입한 System.Threading.Lock 타입 역시 Monitor 및 Mutex와 그대로 치환이 됩니다. 즉, lock을 소유한 스레드를 알고 있으며 재진입에 따른 잠금 횟수를 관리합니다.

따라서, 다음의 코드는,

internal class Program
{
    static Lock _obj = new();

    static void Main(string[] args)
    {
        _obj.Enter();
        
        Thread t = new Thread(() =>
        {
            _obj.Exit(); // 실행 시: System.Threading.SynchronizationLockException: 'The calling thread does not hold the lock.'
        });

        t.Start();

        t.Join();
    }
}

실행 시점에 Exit를 호출하는 코드에서 예외가 발생합니다. 마찬가지로 다음의 코드도,

internal class Program
{
    static Lock _obj = new();
    static void Main(string[] args)
    {
        _obj.Enter();
        _obj.Enter(); // 2번 잠금

        Thread t = new Thread(() =>
        {
            _obj.Enter(); // 다른 스레드에서 lock을 얻으려고 시도
            Console.WriteLine("Thread 1");
            _obj.Exit();
        });

        t.Start();

        _obj.Exit(); // 한 번 잠금을 해제
        Thread.Sleep(5000);
        _obj.Exit(); // 두 번 잠금을 해제 - 이 시점에 "Thread 1"이 출력됨

        t.Join();
    }
}

Main 스레드에서 _obj.Exit를 2번 호출한 시점에야 lock이 풀려 Thread의 내부 코드가 실행됩니다.




비동기 문맥에서도 역시 Monitor와 동일한 동작을 보이는데, lock 예약어를 이용한 코드는 아예 컴파일 단계에서 오류를 발생시키고,

internal class Program
{
    static Lock _obj = new();

    static async Task Main(string[] args)
    {
        lock (_obj)
        {
            await Task.Delay(2000); // error CS4007: Instance of type 'System.Threading.Lock.Scope' cannot be preserved across 'await' or 'yield' boundary.
        }
    }
}

Enter/Exit로 풀어내면 컴파일 오류는 피할 수 있지만, Exit 시점에 여전히 예외는 발생합니다.

internal class Program
{
    static Lock _obj = new();

    static async Task Main(string[] args)
    {
        _obj.Enter();

        await Task.Delay(2000);

        // 컴파일은 되지만,
        _obj.Exit(); // 실행 시: System.Threading.SynchronizationLockException: 'The calling thread does not hold the lock.'
    }
}

SynchronizationContext 환경을 제공하는 Windows Forms/WPF까지 Enter/Exit로 풀어내 사용하는 것은 Monitor와 일치합니다.

Lock _obj = new();

private async void Form1_Load(object sender, EventArgs e)
{
    _obj.Enter();

    try
    {
        await Task.Delay(2000);
    }
    finally
    {
        _obj.Exit(); // SynchronizationContext에 따라 Enter를 호출한 스레드에서 Exit를 호출하므로 동기화 성공
    }
}

유의해야 할 점은, (lock 예약어가 내부적으로 사용하는) Scope를 사용한 경우에는 컴파일 오류가 발생한다는 점입니다.

var scope = _obj.EnterScope();

try
{
    await Task.Delay(2000);
}
finally
{
    scope.Dispose(); // 컴파일 오류: error CS4007: Instance of type 'System.Threading.Lock.Scope' cannot be preserved across 'await' or 'yield' boundary.
}

따라서 SynchronizationContext가 있음을 알고 의도적으로 System.Threading.Lock을 사용하는 경우라면 Enter/Exit를 사용해야 합니다. (참고로, scope.Dispose 코드를 주석 처리하면 컴파일은 되지만, 당연히 lock은 해제되지 않아 결국엔 문제가 발생합니다.)

정리하면, System.Threading.Lock 역시 (스레드가 바뀌는) 비동기 문맥에서는 사용할 수 없고, 그런 경우를 원한다면 Semaphore(Slim)을 사용해야 합니다.

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 8/6/2024]

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

비밀번호

댓글 작성자
 




1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13793정성태10/28/20245123C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20244612Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20244885Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20244591Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20244893Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20244442Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20244928개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20245188Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20244969C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20245225Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20244843Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20244591Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20244771오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20245540Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20244825개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
13778정성태10/21/20245650C/C++: 181. C/C++ - 소스코드 파일의 인코딩, 바이너리 모듈 상태의 인코딩
13777정성태10/20/20244937Windows: 265. Win32 API의 W(유니코드) 버전은 UCS-2일까요? UTF-16 인코딩일까요?
13776정성태10/19/20245231C/C++: 180. C++ - 고수준 FILE I/O 함수에서의 Unicode stream 모드(_O_WTEXT, _O_U16TEXT, _O_U8TEXT)파일 다운로드1
13775정성태10/19/20245466개발 환경 구성: 728. 윈도우 환경의 개발자를 위한 UTF-8 환경 설정
13774정성태10/18/20245166Linux: 91. Container 환경에서 출력하는 eBPF bpf_get_current_pid_tgid의 pid가 존재하지 않는 이유
13773정성태10/18/20244853Linux: 90. pid 네임스페이스 구성으로 본 WSL 2 + docker-desktop
13772정성태10/17/20245128Linux: 89. pid 네임스페이스 구성으로 본 WSL 2 배포본의 계층 관계
13771정성태10/17/20245036Linux: 88. WSL 2 리눅스 배포본 내에서의 pid 네임스페이스 구성
13770정성태10/17/20245317Linux: 87. ps + grep 조합에서 grep 명령어를 사용한 프로세스를 출력에서 제거하는 방법
13769정성태10/15/20246091Linux: 86. Golang + bpf2go를 사용한 eBPF 기본 예제파일 다운로드1
13768정성태10/15/20245365C/C++: 179. C++ - _O_WTEXT, _O_U16TEXT, _O_U8TEXT의 Unicode stream 모드파일 다운로드2
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...