Ít hoặc nhiều, chúng đóng gói việc sử dụng ngầm của CancellationToken cho phương pháp C# async. Xem xét việc này:
var cts = new CancellationTokenSource();
cts.Cancel();
var token = cts.token;
var task1 = new Task(() => token.ThrowIfCancellationRequested());
task1.Start();
task1.Wait(); // task in Faulted state
var task2 = new Task(() => token.ThrowIfCancellationRequested(), token);
task2.Start();
task2.Wait(); // task in Cancelled state
var task3 = (new Func<Task>(async() => token.ThrowIfCancellationRequested()))();
task3.Wait(); // task in Cancelled state
Đối với một tổ chức phi async lambda, tôi đã liên kết một cách rõ ràng token với task2 để hủy bỏ để tuyên truyền một cách chính xác, bằng cách cung cấp nó như là một cuộc tranh cãi để new Task() (hoặc Task.Run). Đối với số điện thoại async lambda được sử dụng với task3, nó sẽ tự động diễn ra như một phần của async/await mã cơ sở hạ tầng.
Hơn nữa, bất kỳ token sẽ tuyên truyền hủy cho một phương pháp async, trong khi đối với phi async tính toán new Task()/Task.Run lambda nó phải là cùng thẻ truyền cho constructor nhiệm vụ hoặc Task.Run.
Tất nhiên, chúng tôi vẫn phải gọi token.ThrowIfCancellationRequested() theo cách thủ công để triển khai mẫu hủy hợp tác. Tôi không thể trả lời tại sao các đội C# và TPL quyết định thực hiện nó theo cách này, nhưng tôi đoán họ nhắm đến việc không làm phức tạp cú pháp của async/await nhưng vẫn đủ linh hoạt.
Với F #, tôi chưa xem mã IL được tạo của luồng công việc không đồng bộ, được minh họa trong số blog post của Tomas Petricek mà bạn đã liên kết. Tuy nhiên, theo như tôi hiểu, mã thông báo chỉ được kiểm tra tự động tại các vị trí nhất định của luồng công việc, tương ứng với await trong C# (tương tự, chúng tôi có thể gọi token.ThrowIfCancellationRequested() theo cách thủ công sau mỗi await trong C#). Điều này có nghĩa là bất kỳ công việc nào bị ràng buộc CPU vẫn sẽ không bị hủy ngay lập tức. Nếu không, F # sẽ phải phát ra token.ThrowIfCancellationRequested() sau mỗi lệnh IL, đây sẽ là một chi phí đáng kể.
Trong C#, bạn có * "có thể bắt đầu sau, có thể đang chạy" tính toán, cùng với tùy chọn CancellationToken * dưới dạng 'var task = new Task (action, token)'. – Noseratio