Как гарантируется актуальность CancellationTokens?

Microsoft приводит этот пример использования CancellationToken в .NET 4.

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();
    }
}

Однако насколько я понимаю, если переменная изменяется в одном потоке, другой поток может не получить измененное значение из-за кэширование. И поскольку CancellationToken в основном потоке отменяется, как поток Task может быть уверен, что CancellationToken, который он проверяет, действительно актуален?

Почему Task не может читать кэшированное значение токена?

Примечание. Я задаю этот вопрос, потому что мне интересно, нужно ли мне, чтобы мои CancellationToken переменные экземпляра были volatile.