Детское задание отменено, родитель завершен?

Question

Я пытаюсь понять поведение задач .net, когда привязаны дети.

Я следующий код теста:

void Test() 
{ 
    var tokenSource = new CancellationTokenSource(); 
    var token = tokenSource.Token; 

    Task child = null; 
    var parent = Task.Factory.StartNew(() => 
    { 
     child = Task.Factory.StartNew(() => 
     { 
      while (!token.IsCancellationRequested) 
       Thread.Sleep(100); 
      token.ThrowIfCancellationRequested(); 
     }, token, TaskCreationOptions.AttachedToParent, TaskScheduler.Default); 
    }, token); 

    Thread.Sleep(500); 

    Debug.WriteLine("State of parent before cancel is {0}", parent.Status); 
    Debug.WriteLine("State of child before cancel is {0}", child.Status); 

    tokenSource.Cancel(); 
    Thread.Sleep(500); 

    Debug.WriteLine("State of parent is {0}", parent.Status); 
    Debug.WriteLine("State of child is {0}", child.Status); 
} 

Результат этого:

State of parent before cancel is WaitingForChildrenToComplete 
State of child before cancel is Running 
A first chance exception of type 'System.OperationCanceledException' occurred in mscorlib.dll 
State of parent is RanToCompletion 
State of child is Canceled 

Aparrently государственная задача родителя не Canceled, даже если обе задачи разделяют одну фишку, и ребенок прилагается.

Как вернуть родительскую задачу в состояние возврата Canceled при аннулировании?

ПРИМЕЧАНИЕ Если я выдаю исключение, то обе задачи возвращают Faulted.

Answer 1

Ожидаемое поведение, указанное в MSDN. Родительская задача имеет значение wait (прокрутите вниз до раздела отмены) для дочерней задачи. Родительская задача должна обрабатывать все доброкачественные ошибки (например, аннулирование).

Для того, чтобы ваш родитель задача не получится, просто подождать и передать маркер:

Task child = null; 
var parent = Task.Factory.StartNew(() => 
{ 
    child = Task.Factory.StartNew(() => 
    { 
    while (!token.IsCancellationRequested) Thread.Sleep(100); 
    token.ThrowIfCancellationRequested(); 
    }, token, TaskCreationOptions.AttachedToParent, TaskScheduler.Default); 

    // This is the magic line. 
    child.Wait(token); 
}, token); 

Если вы используете этот код, чтобы сделать что-то продуктивное, а не только для тестирования, вы должны также рассмотреть возможность использования упрощенной Task.Run(), который поддерживает async делегатов вместо Task.Factory.StartNew(). Это article очень интересно.

Answer 2

Ваш пример довольно запутанный и скрывает интуитивное поведение, и ваши ожидания ошибочны. начало

Давайте из рабочего примера:

void Test() 
{ 
    var tokenSource = new CancellationTokenSource(); 
    var token = tokenSource.Token; 

    Task child = null; 
    var parent = Task.Factory.StartNew(() => 
    { 
     child = Task.Factory.StartNew(() => 
     { 
      while (!token.IsCancellationRequested) 
       Thread.Sleep(100); 
      token.ThrowIfCancellationRequested(); 
     }, token, TaskCreationOptions.AttachedToParent, TaskScheduler.Default); 

     while (!token.IsCancellationRequested) 
      Thread.Sleep(100); 
     token.ThrowIfCancellationRequested(); 
    }, token); 

    Thread.Sleep(500); 

    Debug.WriteLine("State of parent before cancel is {0}", parent.Status); 
    Debug.WriteLine("State of child before cancel is {0}", child.Status); 

    tokenSource.Cancel(); 
    Thread.Sleep(500); 

    Debug.WriteLine("State of parent is {0}", parent.Status); 
    Debug.WriteLine("State of child is {0}", child.Status); 
} 

Для того родителя должны быть отменены, вам нужно позвонить куда-нибудь в теле родителя token.ThrowIfCancellationRequested(). Однако просто позвонить token.ThrowIfCancellationRequested() будет недостаточно.

Вам необходимо концептуализировать, как parent и child потоки выполнения идут вместе, чтобы понять, почему ваши ожидания неверны.

Main thread: ---\------------------------------------[Cancel]-----/ 
Parent:   \---\-----[Check cancellation]------------------/ 
Child:    \------------------------------[Cancel]---/ 

Как вы можете видеть из приведенной выше диаграммы, родитель проверяет способ отмены до запроса на отмену. Ребенок получает сигнал отмены, потому что он в основном ждет, когда будет отменена аннулирование. Теперь, если вы поместите тот же механизм в родительском, он получит сигнал отмены, потому что он не завершил свою работу до того, как будет подана аннулирование.