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)
13282정성태3/12/20233962Linux: 58. WSL - nohup 옵션이 필요한 경우
13281정성태3/12/20233919Windows: 225. 윈도우 바탕화면의 아이콘들이 넓게 퍼지는 경우 [2]
13280정성태3/9/20234680개발 환경 구성: 670. WSL 2에서 호스팅 중인 TCP 서버를 외부에서 접근하는 방법
13279정성태3/9/20234208오류 유형: 851. 파이썬 ModuleNotFoundError: No module named '_cffi_backend'
13278정성태3/8/20234187개발 환경 구성: 669. WSL 2의 (init이 아닌) systemd 지원 [1]
13277정성태3/6/20234823개발 환경 구성: 668. 코드 사인용 인증서 신청 및 적용 방법(예: Digicert)
13276정성태3/5/20234501.NET Framework: 2102. C# 11 - ref struct/ref field를 위해 새롭게 도입된 scoped 예약어
13275정성태3/3/20234808.NET Framework: 2101. C# 11의 ref 필드 설명
13274정성태3/2/20234364.NET Framework: 2100. C# - ref 필드로 ref struct 타입을 허용하지 않는 이유
13273정성태2/28/20234125.NET Framework: 2099. C# - 관리 포인터로서의 ref 예약어 의미
13272정성태2/27/20234368오류 유형: 850. SSMS - mdf 파일을 Attach 시킬 때 Operating system error 5: "5(Access is denied.)" 에러
13271정성태2/25/20234333오류 유형: 849. Sql Server Configuration Manager가 시작 메뉴에 없는 경우
13270정성태2/24/20233897.NET Framework: 2098. dotnet build에 /p 옵션을 적용 시 유의점
13269정성태2/23/20234500스크립트: 46. 파이썬 - uvicorn의 콘솔 출력을 UDP로 전송
13268정성태2/22/20235035개발 환경 구성: 667. WSL 2 내부에서 열고 있는 UDP 서버를 호스트 측에서 접속하는 방법
13267정성태2/21/20234933.NET Framework: 2097. C# - 비동기 소켓 사용 시 메모리 해제가 finalizer 단계에서 발생하는 사례파일 다운로드1
13266정성태2/20/20234546오류 유형: 848. .NET Core/5+ - Process terminated. Couldn't find a valid ICU package installed on the system
13265정성태2/18/20234469.NET Framework: 2096. .NET Core/5+ - PublishSingleFile 유형에 대한 runtimeconfig.json 설정
13264정성태2/17/20236001스크립트: 45. 파이썬 - uvicorn 사용자 정의 Logger 작성
13263정성태2/16/20234157개발 환경 구성: 666. 최신 버전의 ilasm.exe/ildasm.exe 사용하는 방법
13262정성태2/15/20235218디버깅 기술: 191. dnSpy를 이용한 (소스 코드가 없는) 닷넷 응용 프로그램 디버깅 방법 [1]
13261정성태2/15/20234500Windows: 224. Visual Studio - 영문 폰트가 Fullwidth Latin Character로 바뀌는 문제
13260정성태2/14/20234298오류 유형: 847. ilasm.exe 컴파일 오류 - error : syntax error at token '-' in ... -inf
13259정성태2/14/20234460.NET Framework: 2095. C# - .NET5부터 도입된 CollectionsMarshal
13258정성태2/13/20234306오류 유형: 846. .NET Framework 4.8 Developer Pack 설치 실패 - 0x81f40001
13257정성태2/13/20234374.NET Framework: 2094. C# - Job에 Process 포함하는 방법 [1]파일 다운로드1
1  2  3  4  5  6  7  8  9  10  11  12  13  [14]  15  ...