스레드가 while 루프 내에서 작업을 기다리는 경우 정확히 어떻게됩니까?

C #의 async / await 패턴을 잠시 동안 처리 한 후 갑자기 다음 코드에서 발생하는 상황을 설명하는 방법을 모른다는 것을 깨달았습니다.

async void MyThread()
{
    while (!_quit)
    {
        await GetWorkAsync();
    }
}

GetWorkAsync()Task연속이 실행될 때 스레드 전환을 야기 할 수도 있고 그렇지 않을 수도 있는 대기를 리턴하는 것으로 가정된다 .

기다림이 루프 내부에 없다면 혼란스럽지 않을 것입니다. 필자는 자연스럽게 나머지 메소드 (예 : 연속)가 다른 스레드에서 실행될 가능성이 높습니다.

그러나 루프 내부에서 "나머지 방법"이라는 개념은 약간 안개가납니다.

스레드가 계속 켜져 있거나 켜져 있지 않은 경우 "나머지 루프"는 어떻게됩니까? 루프의 다음 반복이 어느 스레드에서 실행됩니까?

내 관찰에 따르면 각 반복이 동일한 스레드 (원래 스레드)에서 시작되는 동안 계속이 다른 스레드에서 실행되는 것으로 나타났습니다. 이것이 정말로 가능할까요? 그렇다면, 이것이 GetWorkAsync 메소드의 스레드 안전성에 대해 설명해야하는 예기치 않은 병렬 처리 수준입니까?

업데이트 : 내 질문은 일부에서 제안한 것처럼 중복되지 않습니다. while (!_quit) { ... }코드 패턴은 단지 내 실제 코드의 단순화이다. 실제로 내 스레드는 일정 간격 (기본적으로 5 초마다)으로 작업 항목의 입력 큐를 처리하는 수명이 긴 루프입니다. 실제 종료 조건 확인은 샘플 코드에서 제안한 간단한 필드 확인이 아니라 이벤트 핸들 확인입니다.

실제로 Roslyn 시도 에서 확인할 수 있습니다 . await 메소드는 void IAsyncStateMachine.MoveNext()생성 된 비동기 클래스에서 다시 작성됩니다 .

당신이 볼 것은 다음과 같습니다.

            if (this.state != 0)
                goto label_2;
            //set up the state machine here
            label_1:
            taskAwaiter.GetResult();
            taskAwaiter = default(TaskAwaiter);
            label_2:
            if (!OuterClass._quit)
            {
               taskAwaiter = GetWorkAsync().GetAwaiter();
               //state machine stuff here
            }
            goto label_1;

기본적으로 어떤 스레드에 있는지는 중요하지 않습니다. 루프를 동등한 if / goto 구조로 교체하여 상태 머신이 올바르게 재개 될 수 있습니다.

그러나 비동기 메소드가 반드시 다른 스레드에서 실행되는 것은 아닙니다. 한 스레드에서만 작업 할 수있는 방법을 설명하려면 Eric Lippert의 설명 "매직이 아닙니다"를 참조하십시오 async/await.

첫째, Servy는 비슷한 질문에 대한 답변으로 몇 가지 코드를 작성했습니다.

/programming/22049339/how-to-create-a-cancellable-task-loop

Servy의 답변에는 and 및 키워드를 ContinueWith()명시 적으로 사용하지 않고 TPL 구문을 사용 하는 유사한 루프가 포함됩니다 . 질문에 대답하기 위해 루프를 풀 때 코드가 어떻게 보일지 고려하십시오.asyncawaitContinueWith()

    private static Task GetWorkWhileNotQuit()
    {
        var tcs = new TaskCompletionSource<bool>();

        Task previous = Task.FromResult(_quit);
        Action<Task> continuation = null;
        continuation = t =>
        {
            if (!_quit)
            {
                previous = previous.ContinueWith(_ => GetWorkAsync())
                    .Unwrap()
                    .ContinueWith(_ => previous.ContinueWith(continuation));
            }
            else
            {
                tcs.SetResult(_quit);
            }
        };
        previous.ContinueWith(continuation);
        return tcs.Task;
    }

머리를 감싸는 데 시간이 걸리지 만 요약하면 다음과 같습니다.

• continuation"현재 반복"에 대한 폐쇄를 나타냅니다.
• previous"이전 반복"Task 의 상태를 포함 함을 나타냅니다 (즉, '반복'이 완료된시기를 알고 다음 반복을 시작하는 데 사용됨).
• 를 GetWorkAsync()반환 한다고 가정하면 '내부 작업'(즉, 실제 결과 ) 을 얻기위한 호출을 반환 Task한다는 의미 ContinueWith(_ => GetWorkAsync())입니다 .Task<Task>Unwrap()GetWorkAsync()

그래서:

1. 처음에는 이전 반복 이 없으므로 단순히 값이 할당 Task.FromResult(_quit) 됩니다 Task.Completed == true. 상태는로 시작됩니다 .
2. 를 continuation사용하여 처음으로 실행previous.ContinueWith(continuation)
3. 완료 상태를 반영 하여 continuation클로저 업데이트previous_ => GetWorkAsync()
4. 때 _ => GetWorkAsync()완료, 그것은 "계속" _previous.ContinueWith(continuation)- 즉, 호출 continuation을 다시 람다
   • 분명히이 시점 previous에서 상태로 업데이트 _ => GetWorkAsync()되었으므로 continuation람다는 GetWorkAsync()반환 할 때 호출됩니다 .

continuation람다는 항상의 상태를 확인 _quit하는 경우, 정도 _quit == false후 더 이상 연속성을가없고,이 TaskCompletionSource값으로 설정됩니다 _quit, 모든 것이 완료됩니다.

다른 스레드에서 실행되는 연속성에 대한 귀하의 관찰에 관해서는 이 블로그에서 "태스크는 여전히 스레드가 아니며 비동기는 병렬이 아닙니다"와 같이 async/ await키워드가 당신을 위해 할 일 이 아닙니다 . -https : //blogs.msdn.microsoft.com/benwilli/2015/09/10/tasks-are-still-not-threads-and-async-is-not-parallel/

GetWorkAsync()스레딩 및 스레드 안전성과 관련하여 귀하의 방법을 자세히 살펴볼 가치가 있다고 제안합니다 . 진단에서 반복 된 비동기 / 대기 코드의 결과로 다른 스레드에서 실행 중임을 표시하는 경우 해당 메소드 내부 또는 관련 메소드로 인해 다른 스레드에서 새 스레드가 작성되어야합니다. (이것이 예기치 않은 경우 .ConfigureAwait어딘가에 있습니까?)