Как гарантируется, что 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.