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

비밀번호

댓글 작성자
 




... 136  137  138  139  140  141  142  143  144  145  146  147  148  149  [150]  ...
NoWriterDateCnt.TitleFile(s)
1303정성태6/26/201227406개발 환경 구성: 152. sysnet DB를 SQL Azure 데이터베이스로 마이그레이션
1302정성태6/25/201229475개발 환경 구성: 151. Azure 웹 사이트에 사용자 도메인 네임 연결하는 방법
1301정성태6/20/201225767오류 유형: 156. KB2667402 윈도우 업데이트 실패 및 마이크로소프트 Answers 웹 사이트 대응
1300정성태6/20/201231792.NET Framework: 329. C# - Rabin-Miller 소수 생성방법을 이용하여 RSACryptoServiceProvider의 개인키를 직접 채워보자 [1]파일 다운로드2
1299정성태6/18/201232901제니퍼 .NET: 21. 제니퍼 닷넷 - Ninject DI 프레임워크의 성능 분석 [2]파일 다운로드2
1298정성태6/14/201234415VS.NET IDE: 72. Visual Studio에서 pfx 파일로 서명한 경우, 암호는 어디에 저장될까? [2]
1297정성태6/12/201231059VC++: 63. 다른 프로세스에 환경 변수 설정하는 방법파일 다운로드1
1296정성태6/5/201227705.NET Framework: 328. 해당 DLL이 Managed인지 / Unmanaged인지 확인하는 방법 - 두 번째 이야기 [4]파일 다운로드1
1295정성태6/5/201225088.NET Framework: 327. RSAParameters와 System.Numerics.BigInteger 이야기파일 다운로드1
1294정성태5/27/201248551.NET Framework: 326. 유니코드와 한글 - 유니코드와 닷넷을 이용한 한글 처리 [7]파일 다운로드2
1293정성태5/24/201229777.NET Framework: 325. System.Drawing.Bitmap 데이터를 Parallel.For로 처리하는 방법 [2]파일 다운로드1
1292정성태5/24/201223758.NET Framework: 324. First-chance exception에 대해 조건에 따라 디버거가 멈추게 할 수는 없을까? [1]파일 다운로드1
1291정성태5/23/201230289VC++: 62. 배열 초기화를 위한 기계어 코드 확인 [2]
1290정성태5/18/201235085.NET Framework: 323. 관리자 권한이 필요한 작업을 COM+에 대행 [7]파일 다운로드1
1289정성태5/17/201239243.NET Framework: 322. regsvcs.exe로 어셈블리 등록 시 시스템 변경 사항 [5]파일 다운로드2
1288정성태5/17/201226468.NET Framework: 321. regasm.exe로 어셈블리 등록 시 시스템 변경 사항 (3) - Type Library파일 다운로드1
1287정성태5/17/201229305.NET Framework: 320. regasm.exe로 어셈블리 등록 시 시스템 변경 사항 (2) - .NET 4.0 + .NET 2.0 [2]
1286정성태5/17/201238242.NET Framework: 319. regasm.exe로 어셈블리 등록 시 시스템 변경 사항 (1) - .NET 2.0 + x86/x64/AnyCPU [5]
1285정성태5/16/201233272.NET Framework: 318. gacutil.exe로 어셈블리 등록 시 시스템 변경 사항파일 다운로드1
1284정성태5/15/201225706오류 유형: 155. Windows Phone 연결 상태에서 DRIVER POWER STATE FAILURE 블루 스크린 뜨는 현상
1283정성태5/12/201233320.NET Framework: 317. C# 관점에서의 Observer 패턴 구현 [1]파일 다운로드1
1282정성태5/12/201226114Phone: 6. Windows Phone 7 Silverlight에서 Google Map 사용하는 방법 [3]파일 다운로드1
1281정성태5/9/201233198.NET Framework: 316. WPF/Silverlight의 그래픽 단위와 Anti-aliasing 처리를 이해하자 [1]파일 다운로드1
1280정성태5/9/201226163오류 유형: 154. Could not load type 'System.ServiceModel.Activation.HttpModule' from assembly 'System.ServiceModel, ...'.
1279정성태5/9/201224919.NET Framework: 315. 해당 DLL이 Managed인지 / Unmanaged인지 확인하는 방법 [1]파일 다운로드1
1278정성태5/8/201226151오류 유형: 153. Visual Studio 디버깅 - Unable to break execution. This process is not currently executing the type of code that you selected to debug.
... 136  137  138  139  140  141  142  143  144  145  146  147  148  149  [150]  ...