Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

(시리즈 글이 4개 있습니다.)
.NET Framework: 2008. C# - async/await 그리고 스레드 (1) MyTask로 재현
; https://www.sysnet.pe.kr/2/0/13055

.NET Framework: 2009. C# - async/await 그리고 스레드 (2) MyTask의 호출 흐름
; https://www.sysnet.pe.kr/2/0/13056

.NET Framework: 2012. C# - async/await 그리고 스레드 (3) Task.Delay 재현
; https://www.sysnet.pe.kr/2/0/13060

.NET Framework: 2014. C# - async/await 그리고 스레드 (4) 비동기 I/O 재현
; https://www.sysnet.pe.kr/2/0/13062




C# - async/await 그리고 스레드 (2) MyTask의 호출 흐름

자, 그럼 지난번 글에 이어서, 왜 "Thread.Sleep(16)"을 두었는지 설명해 보겠습니다. 우선, Task.Run을 사용한 예제에서 Sleep 코드를 제거해볼까요?

using System;

internal class Program
{
    static async Task Main(string[] args)
    {
        Console.WriteLine($"1단계: threadid == {Thread.CurrentThread.ManagedThreadId}");
        await DoAsync();
        Console.WriteLine($"2단계: threadid == {Thread.CurrentThread.ManagedThreadId}");
    }

    private static Task DoAsync()
    {
        return Task.Run(
            () =>
            {
                Console.WriteLine($"DoAsync called! (threadid == {Thread.CurrentThread.ManagedThreadId})");
            });
    }
}

위의 코드를 수행하면 보통 다음과 같은 출력을 볼 수 있습니다.

1단계: threadid == 1
DoAsync called! (threadid == 7)
2단계: threadid == 7

하지만 가끔씩, 이런 식의 출력도 나옵니다.

1단계: threadid == 1
DoAsync called! (threadid == 6)
2단계: threadid == 7

아니, Task.Run 스레드가 await 이후의 코드를 수행한다면서요? 그런데, 위의 결과는 (스레드 풀에 있던 것으로 짐작되는) 별도의 스레드가 await 이후의 코드를 실행하고 있습니다. 이유가 뭘까요?




이것을 밝혀내려면 (물론, Task.cs 소스 코드를 분석해도 되지만) 우리가 만든 MyTask의 소스 코드에서 마찬가지로 Thread.Sleep을 제거해 봐야 합니다.

using System.Runtime.CompilerServices;

internal class Program
{
    static async Task Main(string[] args)
    {
        Console.WriteLine($"1단계: threadid == {Thread.CurrentThread.ManagedThreadId}");
        await new MyDummy().DoAsync();
        Console.WriteLine($"2단계: threadid == {Thread.CurrentThread.ManagedThreadId}");
    }
}

class MyDummy
{
    public MyTask DoAsync()
    {
        MyTask _task = new MyTask(() =>
        {
            Console.WriteLine($"DoAsync called! (threadid == {Thread.CurrentThread.ManagedThreadId})");
        });

        return _task;
    }
}

public class MyTask
{
    Action? _continuation;

    bool _completed = false;
    public bool Completed => _completed;

    public MyTask(Action action)
    {
        ParameterizedThreadStart taskAction = (arg) =>
        {
            action();
            this.SetComplete();
        };

        Thread t = new Thread(taskAction);
        t.Start();
    }

    public MyTaskAwaiter GetAwaiter()
    {
        MyTaskAwaiter ta = new MyTaskAwaiter(this);
        return ta;
    }

    public void SetComplete()
    {
        _completed = true;

        if (_continuation != null)
        {
            _continuation();
        }
    }

    private void SetContinuation(Action continuation)
    {
        _continuation = continuation;
    }

    public struct MyTaskAwaiter : ICriticalNotifyCompletion, INotifyCompletion
    {
        MyTask _task;

        public MyTaskAwaiter(MyTask task)
        {
            _task = task;
        }

        public bool IsCompleted
        {
            get { return _task.Completed; }
        }

        public void GetResult()
        {
        }

        public void OnCompleted(Action continuation)
        {
        }

        public void UnsafeOnCompleted(Action continuation)
        {
            _task.SetContinuation(continuation);
        }
    }
}

이렇게 바꾸고 실행하면, 이제는 다음과 같이 await 이후의 코드가 실행되지 않는 것을 볼 수 있습니다.

1단계: threadid == 1
DoAsync called! (threadid == 7)

무엇이 문제일까요? 간단합니다. _continuation을 호출하지 못하는 상황이 발생하기 때문입니다.

public MyTask(Action action)
{
    ParameterizedThreadStart taskAction = (arg) =>
    {
        action();
        this.SetComplete();
    };

    Thread t = new Thread(taskAction);
    t.Start();
}

public void SetComplete()
{
    _completed = true;

    if (_continuation != null)
    {
        _continuation();
    }
}

위의 동작과 함께 원래의 await 코드가 다음과 같이 실행되는 형식이라는 것을 감안하면,

Task task = new MyDummy().DoAsync();
if (task.IsCompleted == true)
{
    // "분할 2" 코드 실행
}
else
{
    task.GetAwaiter().UnsafeOnCompleted(...[분할 2] 코드...);
}

Thread.Start 실행은 되었지만 아직 SetComplete를 호출하기 전이라고 가정해 보겠습니다. 그럼, if (task.IsCompleted == true)는 아니기 때문에 "분할 2" 코드는 실행되지 않고, 향후 IsCompleted가 true인 상황에서 실행되도록 UnsafeOnCompleted를 통해 보관하는 else 절을 타게 됩니다.

하지만, else 절까지 이동했지만 그사이 SetComplete의 코드가 실행되는 경우라면 어떨까요? 그럼 _completed = true가 되지만 아직 _continuation이 들어온 것은 아니므로 SetComplete 메서드에서는 실행이 안 될 것입니다. 결국 "분할 2" 코드는 어디에서도 실행이 안 된 것입니다.

따라서, 저런 식의 상황을 만들지 않기 위해 일부러 Thread.Sleep(16) 정도의 시간을 주면 우리가 원하는 대로 항상 스레드가 _continuation 코드를 실행할 수 있었던 것입니다.




(확실하게 분석한 것은 아니지만) 닷넷의 Task는 이런 문제를 해결하기 위해 실행되지 않는 UnsafeOnCompleted의 action 코드를 스레드 풀의 스레드가 실행하는 대비책을 마련해두었습니다.

이를 이용해 우리가 만든 MyTask의 동작을 다음과 같이 변경할 수 있습니다.

public class MyTask
{
    // ...[생략]...

    bool _executed = false;

    public void SetComplete()
    {
        _completed = true;

        _executed = _continuation != null;

        if (_executed == true)
        {
            _continuation!();
        }
    }

    private void SetContinuation(Action continuation)
    {
        _continuation = continuation;

        if (_completed == true && _executed == false)
        {
            ThreadPool.QueueUserWorkItem((obj) =>
           {
               _continuation();
           });
        }
    }

    // ...[생략]...
}

이렇게 하면, SetComplete 시점에 _continuation을 실행할 수 없어도 (UnsafeOnCompleted를 경유한) SetContinuation에서 스레드 풀에 넣어 두는 작업을 한 번 거치기 때문에 이런 실행 결과를 보입니다.

1단계: threadid == 1
DoAsync called! (threadid == 7)
2단계: threadid == 8




유의할 점은, 제가 이 글에서 구현하는 MyTask와 MyTaskAwaiter는 임의로 재현을 위해 코드를 만든 것일 뿐 이 동작이 BCL의 Task, TaskAwaiter와 정확히 같지는 않습니다. 그냥 전체적인 흐름이 그런 식으로 된다는 정도로 이해하시면 되겠습니다.

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




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







[최초 등록일: ]
[최종 수정일: 9/3/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 



2022-05-13 12시18분
[한예지] 선생님, 코드에서 arg 매개변수를 사용하지 않는 것 같은데
MyTask 생성자에서 ParameterizedThreadStart 델리게이트를 사용하신 이유를 알 수 있을까요?
[guest]
2022-05-13 09시00분
아... 이유 없습니다. 습관적으로 스레드 생성자에 그걸 사용해서 그렇게 된 것입니다. ^^; (당연히 arg를 사용하지 않으면 ThreadStart 델리게이트를 사용해도 무방합니다.)
정성태

... 61  62  63  64  65  66  67  68  69  70  71  72  73  74  [75]  ...
NoWriterDateCnt.TitleFile(s)
11935정성태6/9/201915307.NET Framework: 843. C# - PLplot 출력을 파일이 아닌 Window 화면으로 변경
11934정성태6/7/201916636VC++: 133. typedef struct와 타입 전방 선언으로 인한 C2371 오류파일 다운로드1
11933정성태6/7/201916283VC++: 132. enum 정의를 C++11의 enum class로 바꿀 때 유의할 사항파일 다운로드1
11932정성태6/7/201914936오류 유형: 544. C++ - fatal error C1017: invalid integer constant expression파일 다운로드1
11931정성태6/6/201915170개발 환경 구성: 441. C# - CairoSharp/GtkSharp 사용을 위한 프로젝트 구성 방법
11930정성태6/5/201915637.NET Framework: 842. .NET Reflection을 대체할 System.Reflection.Metadata 소개 [1]
11929정성태6/5/201915422.NET Framework: 841. Windows Forms/C# - 클립보드에 RTF 텍스트를 복사 및 확인하는 방법 [1]
11928정성태6/5/201913880오류 유형: 543. PowerShell 확장 설치 시 "Catalog file '[...].cat' is not found in the contents of the module" 오류 발생
11927정성태6/5/201915240스크립트: 15. PowerShell ISE의 스크립트를 복사 후 PPT/Word에 붙여 넣으면 한글이 깨지는 문제 [1]
11926정성태6/4/201916274오류 유형: 542. Visual Studio - pointer to incomplete class type is not allowed
11925정성태6/4/201915333VC++: 131. Visual C++ - uuid 확장 속성과 __uuidof 확장 연산자파일 다운로드1
11924정성태5/30/201917331Math: 57. C# - 해석학적 방법을 이용한 최소 자승법 [1]파일 다운로드1
11923정성태5/30/201916923Math: 56. C# - 그래프 그리기로 알아보는 경사 하강법의 최소/최댓값 구하기파일 다운로드1
11922정성태5/29/201914768.NET Framework: 840. ML.NET 데이터 정규화파일 다운로드1
11921정성태5/28/201920096Math: 55. C# - 다항식을 위한 최소 자승법(Least Squares Method)파일 다운로드1
11920정성태5/28/201912982.NET Framework: 839. C# - PLplot 색상 제어
11919정성태5/27/201916689Math: 54. C# - 최소 자승법의 1차 함수에 대한 매개변수를 단순 for 문으로 구하는 방법 [1]파일 다운로드1
11918정성태5/25/201917770Math: 53. C# - 행렬식을 이용한 최소 자승법(LSM: Least Square Method)파일 다운로드1
11917정성태5/24/201918051Math: 52. MathNet을 이용한 간단한 통계 정보 처리 - 분산/표준편차파일 다운로드1
11916정성태5/24/201915946Math: 51. MathNET + OxyPlot을 이용한 간단한 통계 정보 처리 - Histogram파일 다운로드1
11915정성태5/24/201918455Linux: 11. 리눅스의 환경 변수 관련 함수 정리 - putenv, setenv, unsetenv
11914정성태5/24/201917944Linux: 10. 윈도우의 GetTickCount와 리눅스의 clock_gettime파일 다운로드1
11913정성태5/23/201915406.NET Framework: 838. C# - 숫자형 타입의 bit(2진) 문자열, 16진수 문자열 구하는 방법파일 다운로드1
11912정성태5/23/201915098VS.NET IDE: 137. Visual Studio 2019 버전 16.1부터 리눅스 C/C++ 프로젝트에 추가된 WSL 지원
11911정성태5/23/201914012VS.NET IDE: 136. Visual Studio 2019 - 리눅스 C/C++ 프로젝트에 인텔리센스가 동작하지 않는 경우
11910정성태5/23/201923284Math: 50. C# - MathNet.Numerics의 Matrix(행렬) 연산 [1]파일 다운로드1
... 61  62  63  64  65  66  67  68  69  70  71  72  73  74  [75]  ...