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

비밀번호

댓글 작성자
 




... 61  62  63  64  65  66  67  [68]  69  70  71  72  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
12110정성태1/11/202015313디버깅 기술: 154. Patch Guard로 인해 블루 스크린(BSOD)가 발생하는 사례 [5]파일 다운로드1
12109정성태1/10/202012723오류 유형: 588. Driver 프로젝트 빌드 오류 - Inf2Cat error -2: "Inf2Cat, signability test failed."
12108정성태1/10/202013240오류 유형: 587. Kernel Driver 시작 시 127(The specified procedure could not be found.) 오류 메시지 발생
12107정성태1/10/202014245.NET Framework: 877. C# - 프로세스의 모든 핸들을 열람 - 두 번째 이야기
12106정성태1/8/202015870VC++: 136. C++ - OSR Driver Loader와 같은 Legacy 커널 드라이버 설치 프로그램 제작 [1]
12105정성태1/8/202014325디버깅 기술: 153. C# - PEB를 조작해 로드된 DLL을 숨기는 방법
12104정성태1/7/202014901DDK: 9. 커널 메모리를 읽고 쓰는 NT Legacy driver와 C# 클라이언트 프로그램 [4]
12103정성태1/7/202017833DDK: 8. Visual Studio 2019 + WDK Legacy Driver 제작- Hello World 예제 [1]파일 다운로드2
12102정성태1/6/202015077디버깅 기술: 152. User 권한(Ring 3)의 프로그램에서 _ETHREAD 주소(및 커널 메모리를 읽을 수 있다면 _EPROCESS 주소) 구하는 방법
12101정성태1/5/202014661.NET Framework: 876. C# - PEB(Process Environment Block)를 통해 로드된 모듈 목록 열람
12100정성태1/3/202012309.NET Framework: 875. .NET 3.5 이하에서 IntPtr.Add 사용
12099정성태1/3/202014786디버깅 기술: 151. Windows 10 - Process Explorer로 확인한 Handle 정보를 windbg에서 조회 [1]
12098정성태1/2/202014799.NET Framework: 874. C# - 커널 구조체의 Offset 값을 하드 코딩하지 않고 사용하는 방법 [3]
12097정성태1/2/202012924디버깅 기술: 150. windbg - Wow64, x86, x64에서의 커널 구조체(예: TEB) 구조체 확인
12096정성태12/30/201915995디버깅 기술: 149. C# - DbgEng.dll을 이용한 간단한 디버거 제작 [1]
12095정성태12/27/201917081VC++: 135. C++ - string_view의 동작 방식
12094정성태12/26/201914744.NET Framework: 873. C# - 코드를 통해 PDB 심벌 파일 다운로드 방법
12093정성태12/26/201914510.NET Framework: 872. C# - 로딩된 Native DLL의 export 함수 목록 출력파일 다운로드1
12092정성태12/25/201914158디버깅 기술: 148. cdb.exe를 이용해 (ntdll.dll 등에 정의된) 커널 구조체 출력하는 방법
12091정성태12/25/201915540디버깅 기술: 147. pdb 파일을 다운로드하기 위한 symchk.exe 실행에 필요한 최소 파일 [1]
12090정성태12/24/201915114.NET Framework: 871. .NET AnyCPU로 빌드된 PE 헤더의 로딩 전/후 차이점 [1]파일 다운로드1
12089정성태12/23/201914791디버깅 기술: 146. gflags와 _CrtIsMemoryBlock을 이용한 Heap 메모리 손상 여부 체크
12088정성태12/23/201913792Linux: 28. Linux - 윈도우의 "Run as different user" 기능을 shell에서 실행하는 방법
12087정성태12/21/201914229디버깅 기술: 145. windbg/sos - Dictionary의 entries 배열 내용을 모두 덤프하는 방법 (do_hashtable.py) [1]
12086정성태12/20/201916164디버깅 기술: 144. windbg - Marshal.FreeHGlobal에서 발생한 덤프 분석 사례
12085정성태12/20/201914105오류 유형: 586. iisreset - The data is invalid. (2147942413, 8007000d) 오류 발생 - 두 번째 이야기 [1]
... 61  62  63  64  65  66  67  [68]  69  70  71  72  73  74  75  ...