C# - Task.Yield 사용법 (2)
네이버에 다음의 질문이 올라왔습니다.
https://blog.naver.com/PostView.nhn?blogId=techshare&logNo=222010099913
질문을 정리해 보면, 제시한 코드의 상황에서,
private async Task DoDialogAsync()
{
var dialog = new Form();
Func<Task> showAsync = async () =>
{
Output("Before Task.Yield() in showAsync");
await Task.Yield();
Output("After Task.Yield() in showAsync");
dialog.ShowDialog();
Output("Dialog Shown");
};
var dialogTask = showAsync();
Output("111111");
MessageBox.Show("The dialog is visible, click OK to close");
Output("MessageBox Shown");
dialog.Close();
Output("Dialog Closed");
await dialogTask;
}
void Output(string txt)
{
Trace.WriteLine($"[{Thread.CurrentThread.ManagedThreadId}] {txt}");
}
다음과 같은 순서로 출력이 나오는 이유를 모르겠다는 것입니다.
[1] Before Task.Yield() in showAsync
[1] 111111
[1] After Task.Yield() in showAsync
-- ShowDialog 대화창 뜨고,
[1] Dialog Shown
-- MessageBox.Show 뜨고,
[1] MessageBox Shown
[1] Dialog Closed
만약 여기서 await Task.Yield() 호출을 빼면 출력은 다음과 같이 바뀝니다.
[1] Before Task.Yield() in showAsync
[1] After Task.Yield() in showAsync
-- ShowDialog 대화창 뜨고,
[1] Dialog Shown
[1] 111111
-- MessageBox.Show 뜨고,
[1] MessageBox Shown
[1] Dialog Closed
그 차이점은,
지난 글에서도 밝혔듯이 Task.Yield의 처리가 다음의 코드와 동일하기 때문에,
var tcs = new TaskCompletionSource<bool>();
var sc = SynchronizationContext.Current;
if (sc != null)
sc.Post(_ => tcs.SetResult(true), null);
else
ThreadPool.QueueUserWorkItem(_ => tcs.SetResult(true));
await tcs.Task;
질문자가 제시한 코드를 이렇게 바꿔도 상관없습니다.
private async Task DoDialogAsync()
{
var dialog = new Form();
Func<Task> showAsync = async () =>
{
Output("Before Task.Yield() in showAsync");
var tcs = new TaskCompletionSource<bool>();
var sc = SynchronizationContext.Current;
if (sc != null)
sc.Post(_ => tcs.SetResult(true), null);
else
ThreadPool.QueueUserWorkItem(_ => tcs.SetResult(true));
await tcs.Task;
Output("After Task.Yield() in showAsync");
dialog.ShowDialog();
Output("Dialog Shown");
};
var dialogTask = showAsync();
Output("await Task.Yield()");
Output("111111");
MessageBox.Show("The dialog is visible, click OK to close");
Output("MessageBox Shown");
dialog.Close();
Output("Dialog Closed");
await dialogTask;
}
위의 코드를 보면, 익명 비동기 함수(showAsync) 내에서 "await tcs.Task" 이후의 코드가 언제 실행이 될지 예측할 수 있는데, 바로 "tcs.SetResult"가 실행이 되어야만 합니다. 그리고 그것은 SynchronizationContext.Current에 의해 Post로 전달되었으므로, 즉 UI 스레드가 Win32 메시지 루프 처리를 할 수 있을 때 이뤄집니다.
이로 인해, showAsync() 후 MessageBox.Show를 호출하는 시점에 그 내부에서 (메시지 박스가 뜨기 전) 메시지 루프 처리에 진입하면 tcs.SetResult가 실행되고, 그로 인해 "await tcs.Task" 이후의 코드 조각이 UI 스레드에서 이어서 실행이 됩니다. MessageBox.Show가 실행된 시점에 dialog.ShowDialog가 먼저 실행되는 것은 바로 이런 처리 순서 때문에 발생하는 것입니다.
일단, 이걸로 처리 순서가 달라지는 이유는 설명되었을 것 같고.
제가
저번 글에서 Task.Yield가 SynchronizationContext 환경하에서는 호출 유무에 영향을 받지 않는다고 했는데, 위의 내용으로 보면 분명히 실행에 영향을 주고 있습니다.
그리고 이해가 복잡할 정도로 코드의 실행이 난해해졌는데요. 사실 이것은 질문하신 분이 async/await을 복잡하게 사용했기 때문입니다. 일례로, showAsync 호출을 원래는 다음과 같이 했어야 합니다.
private async Task DoDialogAsync()
{
var dialog = new Form();
Func<Task> showAsync = async () =>
{
Output("Before Task.Yield() in showAsync");
await Task.Yield();
Output("After Task.Yield() in showAsync");
dialog.ShowDialog();
Output("Dialog Shown");
};
await showAsync();
Output("111111");
MessageBox.Show("The dialog is visible, click OK to close");
Output("MessageBox Shown");
dialog.Close();
Output("Dialog Closed");
}
그럼 다음과 같이 출력 순서가 (예측이 가능한 정도로 깔끔하게 정리가) 되고,
[1] Before Task.Yield() in showAsync
[1] After Task.Yield() in showAsync
-- ShowDialog 대화창 뜨고,
[1] Dialog Shown
[1] 111111
-- MessageBox.Show 뜨고,
[1] MessageBox Shown
[1] Dialog Closed
이것은 위에서 질문자가 제시했던 코드에서 "await Task.Yield()"를 뺐을 때의 경우와 완전히 일치합니다. 게다가 async 메서드를 제거해서 inline으로 코드로 작성했을 때와도,
private async Task DoDialogAsync()
{
var dialog = new Form();
Output("Before Task.Yield() in showAsync");
await Task.Yield();
Output("After Task.Yield() in showAsync");
dialog.ShowDialog();
Output("Dialog Shown");
Output("111111");
MessageBox.Show("The dialog is visible, click OK to close");
Output("MessageBox Shown");
dialog.Close();
Output("Dialog Closed");
}
동일한 출력을 가집니다. 즉, await 호출을 하지 않고 직접 Task를 반환받는 코드를 사용해 다른 코드와 섞어 실행하는 방식으로 처리했기 때문에 원래의 코드에서 순서가 예측할 수 없을 정도로 어려웠던 것입니다. 따라서 꼭 Task.Yield를 써서 그랬던 것은 아니고, 다른 Task.Factory.StartNew나 스레드 등의 처리를 했어도 마찬가지였을 것입니다.
예를 들어, 원래 이런 식으로 비동기 호출을 하던 것을,
private async void Button_Click(object sender, RoutedEventArgs e)
{
byte[] data = ...
await myDevice.WriteAsync(data, 0, data.Length);
// ... 사용자 코드 ...
}
굳이 어렵게 다음과 같이 함으로써,
private async void Button_Click(object sender, RoutedEventArgs e)
{
byte[] data = ...
Task<bool> task = myDevice.WriteAsync(data, 0, data.Length);
// ... 사용자 코드 ...
await task;
}
"... 사용자 코드 ..." 영역이 WriteAsync 내의 메서드 실행이 모두 끝나기도 전에 실행이 될 수 있으므로 WriteAsync 내의 구현 코드를 고려해 어떻게 실행 순서가 될지 심각하게 고민하는 것과 다를 바가 없습니다.
첨언을 또 해 보면, 제가
저번 글에서 Task.Yield가 SynchronizationContext 환경하에서는 의미가 없다고도 했습니다. 제가 위의 예제 코드에서 Output 메서드에 Thread.CurrentThread.ManagedThreadId를 함께 출력하도록 했는데요.
모든 코드가 1번, 즉 UI 스레드에서 실행되고 있는 것을 볼 수 있습니다.
[1] Before Task.Yield() in showAsync
[1] 111111
[1] After Task.Yield() in showAsync
-- ShowDialog 대화창 뜨고,
[1] Dialog Shown
-- MessageBox.Show 뜨고,
[1] MessageBox Shown
[1] Dialog Closed
따라서 SynchronizationContext의 영향이 있는 경우, Task.Yield는 써도 그만, 안 써도 그만인 코드가 된 것입니다.
(
첨부 파일은 이 글의 예제 코드를 포함합니다.)
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]