Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 2개 있습니다.)
(시리즈 글이 3개 있습니다.)
닷넷: 2222. C# - WPF의 Dispatcher Queue 동작 확인
; https://www.sysnet.pe.kr/2/0/13570

닷넷: 2223. C# - await 호출과 WPF의 Dispatcher Queue 동작 확인
; https://www.sysnet.pe.kr/2/0/13571

닷넷: 2224. C# - WPF의 Dispatcher Queue로 알아보는 await 호출의 hang 현상
; https://www.sysnet.pe.kr/2/0/13572




C# - WPF의 Dispatcher Queue로 알아보는 await 호출의 hang 현상

예전 글을 하나 다시 다뤄볼까요? ^^

.NET Framework: 394. async/await 사용 시 hang 문제가 발생하는 경우
; https://www.sysnet.pe.kr/2/0/1541

위의 글에서 다룬 코드를 다시 정리해 보면 아래의 상황에서,

private void Window_Loaded(object sender, RoutedEventArgs e)
{
    Task<string> task = GetMyText();
    this.textBox1.Text = task.Result; // 무한 대기!!!
}

async Task<string> GetMyText()
{
    await Task.Delay(1);
    return "Hello World";
}

task.Result를 호출하는 시점에 WPF 응용 프로그램의 UI 스레드가 중지하는 현상이 발생합니다. 원인은, 위의 글에서 이미 밝혔듯이 task.Result로 대기한 UI 스레드가 GetMyText에서 Task.Delay(1) 이후에 실행되는 callback을 실행하지 못해 영원히 대기 상태로 빠지기 때문입니다.

이것을 다시 풀이해 보면, GetMyText에서 1ms 이후에 timer 알람을 받은 스레드풀의 스레드가 Dispatch Queue에 (await 이후의 코드를 담은) callback 메서드를 추가합니다. 그런데, 그 Queue에 쌓인 작업을 UI 스레드가 실행을 해야 비로소 Task의 상태가 Completed로 빠지게 되는데요, 문제는 그렇게 실행해야 할 UI 스레드가 Window_Loaded 코드를 실행하느라, 정확히는 task.Result를 대기하느라 Dispatch Queue의 작업을 수행하지 못하고 있다는 점입니다.

그로 인해 서로가 서로를 기다리게 되는 무한 대기 상태로 빠진 것입니다.

참고로, Task.Result는 내부적으로 SetOnInvokeMres 호출로 처리가 되는데요, 이에 대해서는 전에 분석한 적이 있습니다.

async/await 사용 시 hang 문제가 발생하는 경우 - 두 번째 이야기
; https://www.sysnet.pe.kr/2/0/10801

Task.Result + SetOnInvokeMres 호출은 결국 다음과 같은 식으로 처리하는 것에 대한 도우미 함수라고 봐도 무방합니다.

private async void Window_Loaded(object sender, RoutedEventArgs e)
{
    Task<string> task = GetMyText();
    EventWaitHandle ewh = new EventWaitHandle(false, EventResetMode.ManualReset);

    task.ContinueWith((t) =>
    {
        ewh.Set();
    });

    ewh.WaitOne();
    this.textBox1.Text = await task;
}




위와 같은 상태에서, (도움이 안 되는) windbg를 연결해 스레드 상태를 보면 이렇게 나옵니다.

0:021> !threads
ThreadCount:      4
UnstartedThread:  0
BackgroundThread: 3
PendingThread:    0
DeadThread:       0
Hosted Runtime:   no
                                                                                                        Lock  
       ID OSID ThreadOBJ           State GC Mode     GC Alloc Context                  Domain           Count Apt Exception
   0    1 2054 000001ad39df0ef0  2026020 Preemptive  000001AD3BC22CC0:000001AD3BC23FD0 000001ad39dc7810 0     STA 
   5    2 591c 000001ad39e1dac0    2b220 Preemptive  0000000000000000:0000000000000000 000001ad39dc7810 0     MTA (Finalizer) 
  17    4 8f1c 000001ad39e1cb20  102a220 Preemptive  0000000000000000:0000000000000000 000001ad39dc7810 0     MTA (Threadpool Worker) 
  18    5 a904 000001ad39e1abe0  1029220 Preemptive  000001AD3BC20AD8:000001AD3BC21FD0 000001ad39dc7810 0     MTA (Threadpool Worker) 

0:021> ~0s

0:000> !clrstack
OS Thread Id: 0x2054 (0)
        Child SP               IP Call Site
000000087ff9c6b8 00007ff94000a034 [HelperMethodFrame_1OBJ: 000000087ff9c6b8] System.Threading.SynchronizationContext.WaitHelper(IntPtr[], Boolean, Int32)
000000087ff9ca00 00007ff8dd2c0e6a System.Windows.Threading.DispatcherSynchronizationContext.Wait(IntPtr[], Boolean, Int32)
000000087ff9cd78 00007ff9245612c3 [GCFrame: 000000087ff9cd78] 
000000087ff9cf70 00007ff9245612c3 [GCFrame: 000000087ff9cf70] 
000000087ff9d0b8 00007ff9245612c3 [HelperMethodFrame_1OBJ: 000000087ff9d0b8] System.Threading.Monitor.ObjWait(Boolean, Int32, System.Object)
000000087ff9d1d0 00007ff9197914d4 System.Threading.ManualResetEventSlim.Wait(Int32, System.Threading.CancellationToken)
000000087ff9d260 00007ff91975921b System.Threading.Tasks.Task.SpinThenBlockingWait(Int32, System.Threading.CancellationToken) [f:\dd\ndp\clr\src\BCL\system\threading\Tasks\Task.cs @ 3320]
000000087ff9d2d0 00007ff91a019c91 System.Threading.Tasks.Task.InternalWait(Int32, System.Threading.CancellationToken) [f:\dd\ndp\clr\src\BCL\system\threading\Tasks\Task.cs @ 3259]
000000087ff9d3a0 00007ff91a0c9957 System.Threading.Tasks.Task`1[[System.__Canon, mscorlib]].GetResultCore(Boolean) [f:\dd\ndp\clr\src\BCL\system\threading\Tasks\Future.cs @ 562]
000000087ff9d3e0 00007ff8c4da618a WpfApp1.MainWindow.Window_Loaded(System.Object, System.Windows.RoutedEventArgs)
...[생략]...
000000087ff9ee60 00007ff8db02b541 System.Windows.Application.RunDispatcher(System.Object)
000000087ff9eea0 00007ff8db02af7c System.Windows.Application.RunInternal(System.Windows.Window)
000000087ff9ef00 00007ff8c4da08f2 WpfApp1.App.Main()
000000087ff9f148 00007ff9245612c3 [GCFrame: 000000087ff9f148] 

0:000> ~17s
ntdll!NtDelayExecution+0x14:
00007ff9`42bef9f4 c3              ret

0:017> !clrstack
OS Thread Id: 0x8f1c (17)
        Child SP               IP Call Site
GetFrameContext failed: 1
0000000000000000 0000000000000000 

0:017> ~18s
ntdll!NtWaitForSingleObject+0x14:
00007ff9`42bef3f4 c3              ret

0:018> !clrstack
OS Thread Id: 0xa904 (18)
        Child SP               IP Call Site
GetFrameContext failed: 1
0000000000000000 0000000000000000 

호출 스택으로 봐서 Window_Loaded의 task.Result에서 blocking이 걸린 것은 나오지만, lock의 유형이 System.Threading.Monitor.ObjWait이기 때문에 critical section에 해당하는 것은 아니어서 그 이상 어떠한 lock 정보도 구할 수 없습니다.

0:000> !dumpheap -thinlock
         Address               MT     Size
Found 0 objects.

0:000> !syncblk
Index SyncBlock MonitorHeld Recursion Owning Thread Info  SyncBlock Owner
-----------------------------
Total           93
CCW             12
RCW             35
ComClassFactory 0
Free            0

하지만, 지난 글을 통해서,

C# - WPF의 Dispatcher Queue 동작 확인
; https://www.sysnet.pe.kr/2/0/13570

C# - await 호출과 WPF의 Dispatcher Queue 동작 확인
; https://www.sysnet.pe.kr/2/0/13571

우리는 저 hang을 풀어줄 작업이 Dispatcher Queue에 쌓여 있음을 짐작할 수 있습니다. (그러니까, 바로 이 설명을 하기 위해서 ^^ 지난 2개의 글을 쓴 것입니다.)

실제로 위의 예제에서 hang을 풀어주는 테스트를 간단하게 해볼까요? 현재 문제는, Task.Delay(1)의 시간이 지난 후 스레드풀의 스레드가 Dispatcher Queue에 작업을 추가했지만 이후 그 작업이 실행되지 않고 있는 것인데요, 이것을 Hooks_OperationPosted를 이용해 직접 호출해 주는 식으로 바꿔보면,

private void Hooks_OperationPosted(object sender, System.Windows.Threading.DispatcherHookEventArgs e)
{
    string name = GetName(e.Operation);
    string target = "System.Threading.Tasks.SynchronizationContextAwaitTaskContinuation+<>c.<.cctor>b__8_0";

    if (name == target)
        System.Delegate method = GetMethod(e.Operation);
        object objArg = GetArg(e.Operation);

        if (method is Action action)
        {
            action();
        }
        else if (method is SendOrPostCallback callback)
        {
            callback(objArg);
        }
    }
}

blocking이 해제되면서 텍스트 박스에 "Hello World"가 출력되는 것을 확인할 수 있습니다. 하지만, Hooks_OperationPosted에서 한 번 실행했던 callback으로 인해 UI 스레드의 blocking이 해제되면서 (이후 Dispatcher Queue에 쌓인 작업을 실행하는 과정에서) 다시 한번 더 callback을 실행하기 때문에 GetMyText 메서드를 벗어나는 "}" 블록에 "System.InvalidOperationException: 'An attempt was made to transition a task to a final state when it had already completed.'" 예외가 발생하게 됩니다.

왜냐하면, Task와 달리 결과를 반환하는 Task<T>는 SetResult 메서드를 호출하게 되는데,

// AsyncTaskMethodBuilder.cs

[__DynamicallyInvokable]
public void SetResult(TResult result)
{
    Task<TResult> task = m_task;
    if (task == null)
    {
        m_task = GetTaskForResult(result);
        return;
    }
    if (AsyncCausalityTracer.LoggingOn)
    {
        AsyncCausalityTracer.TraceOperationCompletion(CausalityTraceLevel.Required, task.Id, AsyncCausalityStatus.Completed);
    }
    if (System.Threading.Tasks.Task.s_asyncDebuggingEnabled)
    {
        System.Threading.Tasks.Task.RemoveFromActiveTasks(task.Id);
    }
    if (task.TrySetResult(result))
    {
        return;
    }
    throw new InvalidOperationException(Environment.GetResourceString("TaskT_TransitionToFinal_AlreadyCompleted"));
}

// Task.cs
internal bool TrySetResult(TResult result)
{
    if (base.IsCompleted)
    {
        return false;
    }
    if (AtomicStateUpdate(67108864, 90177536))
    {
        m_result = result;
        Interlocked.Exchange(ref m_stateFlags, m_stateFlags | 0x1000000);
        m_contingentProperties?.SetCompleted();
        FinishStageThree();
        return true;
    }
    return false;
}

하필 저게 2번 불리면 예외가 발생하도록 코딩이 돼 있기 때문입니다.




자, 그럼 Hooks_OperationPosted에서 (두 번 실행하지 않도록) Queue를 비우고 callback을 수행하면 더 좋을 듯합니다. 그래서 다음과 같은 코드를 넣어두면,

// Dispatcher가 포함한 Queue 필드
// private PriorityQueue<DispatcherOperation> _queue;
static object GetQueue(object objValue)
{
    Type type = objValue.GetType();
    FieldInfo fi = type.GetField("_queue", BindingFlags.Instance | BindingFlags.NonPublic);
    return fi.GetValue(objValue);
}

static int GetCount(object objValue)
{
    Type type = objValue.GetType();
    FieldInfo fi = type.GetField("_count", BindingFlags.Instance | BindingFlags.NonPublic);
    return (int)fi.GetValue(objValue);
}

static void Dequeue(object objValue)
{
    Type type = objValue.GetType();
    MethodInfo mi = type.GetMethod("Dequeue", BindingFlags.Instance | BindingFlags.Public);
    mi.Invoke(objValue, null);
}


void ClearQueue(System.Windows.Threading.DispatcherHookEventArgs e)
{
    object queue = GetQueue(e.Operation.Dispatcher);

    while (true)
    {
        int count = GetCount(queue);
        if (count <= 0)
        {
            break;
        }

        Dequeue(queue);
    }
}


private void Hooks_OperationPosted(object sender, System.Windows.Threading.DispatcherHookEventArgs e)
{
    string name = GetName(e.Operation);

    string target = "System.Threading.Tasks.SynchronizationContextAwaitTaskContinuation+<>c.<.cctor>b__8_0";
    if (name == target)
    {
        ClearQueue(e);

        System.Delegate method = GetMethod(e.Operation);
        object objArg = GetArg(e.Operation);

        if (method is Action action)
        {
            action();
        }
        else if (method is SendOrPostCallback callback)
        {
            callback(objArg);
        }

    }
}

callback을 Hooks_OperationPosted에서 한 번만 수행하기 때문에 hang 현상 없이, 예외도 없이 잘 실행됩니다. (물론, callback에서 수행해야 할 코드가, 즉 await 이후에 실행하는 코드가 UI 접근을 포함한다면 예외가 발생합니다.)

(참고로, 저 코드는 Dispatcher를 이해하는 차원에서 작성된 것일 뿐 현업에서 사용할 만한 코드는 아닙니다.)




조금 더 응용하면, Dispatcher Queue에 있는 작업 수를 출력하는 부가 스레드를 제작해,

namespace WpfApp1
{
    public partial class MainWindow : Window
    {
        public MainWindow()
        {
            InitializeComponent();

#if DEBUG
            Dispatcher.Hooks.OperationPosted += Hooks_OperationPosted;

            Thread t = new Thread(() =>
            {
                object queue = GetQueue(Application.Current.Dispatcher);

                while (true)
                {
                    int count = GetCount(queue);
                    Console.WriteLine($"# of items in Dispatcher Queue: {count}, last called at: {_lastStarted}");
                    Thread.Sleep(5000);
                }
            });

            t.IsBackground = true;
            t.Start();
#endif
        }

#if DEBUG
        DateTime _lastStarted;
        private void Hooks_OperationStarted(object sender, DispatcherHookEventArgs e)
        {
            _lastStarted = DateTime.Now;
        }
#endif
    }
}

실행했을 때, hang 상태에 빠진 것에 대한 대략적인 상황을 인식하는 정보를 얻는 디버깅 용도로는 쓸만합니다. ^^

...[생략]...
# of items in Dispatcher Queue: 12, last called at: 2024-03-04 오전 1:03:39
# of items in Dispatcher Queue: 12, last called at: 2024-03-04 오전 1:03:39
# of items in Dispatcher Queue: 12, last called at: 2024-03-04 오전 1:03:39
# of items in Dispatcher Queue: 12, last called at: 2024-03-04 오전 1:03:39
...[생략]...

위의 경우 1:03:39분에 실행된 작업 이래로, hang 상태에 빠졌음을 짐작할 수 있습니다. 물론, 특정 작업이, 예를 들어 ListBox에 10_000_000개의 항목을 집어넣느라 UI 스레드가 의도적으로 바쁘게 일하고 있는 경우도 있을 것입니다. ^^

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 3/5/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)
13758정성태10/8/2024231오류 유형: 926. dotnet tools를 sudo로 실행하는 경우 command not found
13757정성태10/8/2024228닷넷: 2306. Linux - dotnet tool의 설치 디렉터리가 PATH 환경변수에 자동 등록이 되는 이유
13756정성태10/8/2024256오류 유형: 925. ssh로 docker 접근을 할 때 "... malformed HTTP status code ..." 오류 발생
13755정성태10/7/2024458닷넷: 2305. C# 13 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)파일 다운로드1
13754정성태10/4/2024397닷넷: 2304. C# 13 - (8) 부분 메서드 정의를 속성 및 인덱서에도 확대파일 다운로드1
13753정성태10/4/2024450Linux: 81. Linux - PATH 환경변수의 적용 규칙
13752정성태10/2/2024661닷넷: 2303. C# 13 - (7) ref struct의 interface 상속 및 제네릭 제약으로 사용 가능파일 다운로드1
13751정성태10/2/2024723C/C++: 176. C/C++ - ARM64로 포팅할 때 유의할 점
13750정성태10/1/2024783C/C++: 175. C++ - WinMain/wWinMain 호출 전의 CRT 초기화 단계
13749정성태9/30/2024884닷넷: 2302. C# - ssh-keygen으로 생성한 Private Key와 Public Key 연동파일 다운로드1
13748정성태9/29/2024985닷넷: 2301. C# - BigInteger 타입이 byte 배열로 직렬화하는 방식
13747정성태9/28/2024919닷넷: 2300. C# - OpenSSH의 공개키 파일에 대한 "BEGIN OPENSSH PUBLIC KEY" / "END OPENSSH PUBLIC KEY" PEM 포맷파일 다운로드1
13746정성태9/28/2024885오류 유형: 924. Python - LocalProtocolError("Illegal header value ...")
13745정성태9/28/2024893Linux: 80. 리눅스 - 실행 중인 프로세스 내부의 환경변수 설정을 구하는 방법 (lldb)
13744정성태9/27/20241037닷넷: 2299. C# - Windows Hello 사용자 인증 다이얼로그 표시하기파일 다운로드1
13743정성태9/26/20241292닷넷: 2298. C# - Console 프로젝트에서의 await 대상으로 Main 스레드 활용하는 방법 [1]
13742정성태9/26/20241001닷넷: 2297. C# - ssh-keygen으로 생성한 ecdsa 유형의 Public Key 파일 해석 [1]파일 다운로드1
13741정성태9/25/2024875디버깅 기술: 202. windbg - ASP.NET MVC Web Application (.NET Framework) 응용 프로그램의 덤프 분석 시 요령
13740정성태9/24/2024973기타: 86. RSA 공개키 등의 modulus 값에 0x00 선행 바이트가 있는 이유(ASN.1 인코딩)
13739정성태9/24/20241043닷넷: 2297. C# - ssh-keygen으로 생성한 Public Key 파일 해석과 fingerprint 값(md5, sha256) 생성파일 다운로드1
13738정성태9/22/2024980C/C++: 174. C/C++ - 윈도우 운영체제에서의 file descriptor, FILE*파일 다운로드1
13737정성태9/21/20241097개발 환경 구성: 727. Visual C++ - 리눅스 프로젝트를 위한 빌드 서버의 msbuild 구성
13736정성태9/20/20241234오류 유형: 923. Visual Studio Code - Could not establish connection to "...": Port forwarding is disabled.
13735정성태9/20/20241314개발 환경 구성: 726. ARM 플랫폼용 Visual C++ 리눅스 프로젝트 빌드
13734정성태9/19/20241350개발 환경 구성: 725. ssh를 이용한 원격 docker 서비스 사용
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...