如何保证取消代币是最新的？

Question

Microsoft给出了这个在. NET 4中使用CinstationToken的示例。

using System;
using System.Threading;
using System.Threading.Tasks;
class Program
{
    static void Main()
    {

        var tokenSource2 = new CancellationTokenSource();
        CancellationToken ct = tokenSource2.Token;

        var task = Task.Factory.StartNew(() =>
        {

            // Were we already canceled?
            ct.ThrowIfCancellationRequested();

            bool moreToDo = true;
            while (moreToDo)
            {
                // Poll on this property if you have to do
                // other cleanup before throwing.
                if (ct.IsCancellationRequested)
                {
                    // Clean up here, then...
                    ct.ThrowIfCancellationRequested();
                }

            }
        }, tokenSource2.Token); // Pass same token to StartNew.

        tokenSource2.Cancel();

        // Just continue on this thread, or Wait/WaitAll with try-catch:
        try
        {
            task.Wait();
        }
        catch (AggregateException e)
        {
            foreach (var v in e.InnerExceptions)
                Console.WriteLine(e.Message + " " + v.Message);
        }

        Console.ReadKey();
    }
}

但是，我的理解是，如果在一个线程上修改了一个变量，由于缓存，另一个线程可能无法获得修改后的值。并且由于CensationToken在主线程上被取消，任务线程如何确保它正在检查的CensationToken实际上是最新的？

为什么任务不可能读取令牌的缓存值？

注意：我问这个问题的动机是想知道我是否需要将实例变量设置为volatile。

Answer 1

这在内部由CancellationTokenSource处理。用于跟踪CTS状态的私有变量标记为volatile，这可以防止内部状态检查过时。

我问这个问题的动机是想知道我是否需要我的CancellationToken实例变量是可变的。

您不需要这样做，因为检查是在内部处理的，并且已经为您正确处理了。

基本上，当您从C撤消TokenSource创建C撤消Token时，该令牌包含对原始源的引用。此引用永远不会更改，因此调用ThrowIfCannah ationRequest在内部检查源的状态。由于源状态本身是易失性，因此它永远不会是“陈旧”数据。