Как отменить запрос FileStream.ReadAsync (...)?

Question

Учитывая следующее:

using System; 
using System.IO; 
using System.Threading; 
using System.Threading.Tasks; 

namespace CancelAsyncFileReadFailure { 
    class Program { 
     static void Main(string[ ] args) { 
      Console.WriteLine(Foo().Result); 
      Console.ReadLine(); 
     } 

public static async Task<TaskStatus> Foo() { 
    byte[] bar = new byte[192000]; //Some arbitrarily significant number... 
    using (FileStream FS = new FileSTream(@"Path/To/WarAndPeace.txt", FileMode.Open)){ 
     CancellationTokenSource CTS = new CancellationTokenSource();  
     Task T = FS.ReadAsync(bar, 0, 192000, CTS.Token); 
     CTS.Cancel();  
     await T; 
     return T.Status; 
    } 
} 

T будет всегда закончить и вернуться RanToCompletion.

Мой пример использования несколько более сложный, поскольку я читаю с устройства, которое может быть открыто или закрыто в любое время (и как таковое я не читаю непосредственно из файла, а из файла безопасного файла, однако результаты одинаковы как в этом случае, так и в моем фактическом использовании).

Я хочу прервать (отменить) FileStream.ReadToAsync().

Как я могу сделать это так, чтобы он прекратил читать, где он находится, и отменил его прямо сейчас?

Answer 1

Хорошо, лучше ответьте здесь.

Вам необходимо открыть файл с помощью FileOptions.Asynchronous. Если вы этого не сделаете, FileStream не будет осуществлять истинное аннулирование и вернет только отмененный Task, если токен был отменен во время звонка ReadAsync.

Answer 2

Отмена - лучшее усилие - это происходит только в том случае, если операция действительно может быть отменена.

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

Answer 3

Будет, предыдущий ответ Кори был фактически прав на деньги. Аннулирование должно произойти, когда это безопасно, чтобы это произошло. В случае чтения потока единственной такой точкой является до чтение начинается. Если запрос на чтение потока отменяется во время полета, что вы ожидаете от потока Position, когда завершена отмененная задача? Было бы неплохо отбросить его обратно в случае FileStream, но как насчет потоков, которые доступны только вперед? Что делать, если вы хотите запланировать еще один ReadAsync сразу же после перехода предыдущих задач в состояние «Отменено»? Вы получите упавший фрагмент данных и ужасную коррупцию. На самом деле это кажется разумным дизайном со стороны Microsoft. Уменьшите размер буфера и вызовите ReadAsync в цикле - тогда вы получите желаемую семантику отмены.