{"id":2391,"date":"2014-03-10T13:00:13","date_gmt":"2014-03-10T13:00:13","guid":{"rendered":"http:\/\/writeasync.net\/?p=2391"},"modified":"2014-03-09T11:03:35","modified_gmt":"2014-03-09T11:03:35","slug":"just-cant-await-in-4-0","status":"publish","type":"post","link":"http:\/\/writeasync.net\/?p=2391","title":{"rendered":"Just can’t [a]wait (in 4.0)"},"content":{"rendered":"

Writing managed asynchronous code has been possible<\/em> since the advent of IAsyncResult<\/code><\/a> in .NET 1.0<\/a>. However, it has not been easy<\/em> until async<\/code>\/await<\/code> in .NET 4.5<\/a>. Unfortunately, there are situations where you really need to<\/em> implement asynchrony but are stuck with an older framework version. If you are on .NET 4.0 and want an easy way to use Task<\/code>-based async, then read on!<\/p>\n

First, let’s talk about iterator blocks<\/a>. Eric Lippert<\/a> once referred to them as a “weak kind of coroutine<\/a>.” Indeed, an iterator might more accurately be referred to as a generator<\/a>, a special kind of coroutine<\/a>. As you are probably aware, an iterator block allows you to generate a sequence of values one item at a time by yield<\/code><\/a>ing them to the caller:<\/p>\n

\r\n\/\/ Infinite loop??\r\nprivate static IEnumerable<string> Letters()\r\n{\r\n    int i = 0;\r\n    while (true)\r\n    {\r\n        char letter = (char)('A' + i);\r\n        yield return letter.ToString();\r\n        if (++i == 26)\r\n        {\r\n            i = 0;\r\n        }\r\n    }\r\n}\r\n\r\n\/\/ Here we Take() only the first three, i.e. allow\r\n\/\/ the method to yield 3 times only and then move on.\r\nprivate static void PrintThreeLetters()\r\n{\r\n    foreach (string letter in Letters().Take(3))\r\n    {\r\n        Console.Write(letter);\r\n    }\r\n\r\n    Console.WriteLine();\r\n}\r\n<\/pre>\n
How does it do this? Ultimately, the compiler generates a state machine<\/a> class to hold the captured state (e.g. local variables in your method), keep track of the next step to execute, and so on. (Jon Skeet<\/a> goes over some of the gory details in his C# in Depth<\/a> article “Iterator block implementation details<\/a>.”)<\/p>\n
What does this have to with async? Quite a bit, actually! The use of iterators for asynchrony has a long history, going back at least as far as Jeffrey Richter<\/a>‘s AsyncEnumerator<\/code><\/a>. Stephen Toub<\/a> wrote about the possibilities of using iterators and Tasks together<\/a> when .NET 4.5 was just a twinkle in Anders Hejlsberg<\/a>‘s eye.<\/p>\n
So just how can we use an iterator to simplify async? The basic idea is that we yield a result for every async step we need to invoke. A main loop on the outside keeps advancing the enumerator and executing these async calls. If the call completes immediately (i.e. synchronously), it handles the result and continues. If not, it schedules a continuation so that on completion, the iterator state machine will help us resume where we left off.<\/p>\n
Complicated? Perhaps a little, for the implementer (me). But the job is made somewhat easier with the help of TDD and unit tests showing that all the behavior is designed and implemented correctly. And the end result makes for a much improved async experience for .NET 4.0 users.<\/p>\n
So, without further ado, allow me to introduce AsyncOperation<\/code>, the iterator-based solution to Task-based async in .NET 4.0. The code is available in my AsyncEnumSample project on GitHub<\/a>. The commit history<\/a> shows how the code evolved via unit tests. I should note that this is one of the more complicated projects I have done for this blog with more than 35 unit tests<\/strong>, many of which initially passed without any code changes. This is because I wanted to be confident all behaviors were covered in case of later refactoring.<\/p>\n
Here is the basic API surface area of AsyncOperation<\/code>:<\/p>\n
\r\nnamespace AsyncEnumSample\r\n{\r\n    public abstract class AsyncOperation<TResult>\r\n    {\r\n        protected AsyncOperation();\r\n\r\n        protected interface IExceptionHandler\r\n        {\r\n            bool Handle(Exception exception);\r\n        }\r\n\r\n        protected TResult Result { get; set; }\r\n\r\n        public Task<TResult> Start();\r\n\r\n        protected abstract IEnumerator<Step> Steps();\r\n\r\n        protected struct Step\r\n        {\r\n            public static Task<T> TaskFromResult<T>(T result);\r\n\r\n            public static Task TaskFromException(Exception exception);\r\n\r\n            public static Task<T> TaskFromException<T>(Exception exception);\r\n\r\n            public static Step Await<TState>(TState state, Func<TState, AsyncCallback, object, IAsyncResult> begin, Action<TState, IAsyncResult> end, params IExceptionHandler[] handlers);\r\n\r\n            public static Step Await<TState>(TState state, Func<TState, Task> doAsync, params IExceptionHandler[] handlers);\r\n\r\n            public static Step Await<TState, TCallResult>(TState state, Func<TState, Task<TCallResult>> doAsync, Action<TState, TCallResult> afterCall, params IExceptionHandler[] handlers);\r\n\r\n            public void Invoke();\r\n        }\r\n\r\n        protected static class Catch<TException> where TException : Exception\r\n        {\r\n            public static IExceptionHandler AndHandle<TState>(TState state, Func<TState, TException, bool> handler);\r\n        }\r\n    }\r\n}\r\n<\/pre>\n
The Start<\/code> method drives the iterator loop which is implemented by a derived class via the Steps<\/code> method. Of particular importance is the Step<\/code> struct, which provides various Await<\/code> factory methods for different kinds of async steps. Three basic patterns are supported: old-style BeginXxx<\/code>\/EndXxx<\/code>, Task<\/code> (no result), and Task<T><\/code> (with result). (Note that a TState<\/code> object is expected to be provided to each delegate, to improve performance and prevent implicit capture of locals if desired.)<\/p>\n
Sample usage for each type of call:<\/p>\n
\r\n\/\/ Begin\/End (assigning result to a member variable)\r\nyield return Step.Await(\r\n    this,\r\n    (thisPtr, c, s) => thisPtr.someObj.BeginOp(c, s),\r\n    (thisPtr, r) => thisPtr.retValue = thisPtr.someObj.EndOp(r));\r\n\r\n\/\/ Task (no result)\r\nyield return Step.Await(\r\n    this,\r\n    thisPtr => thisPtr.someObj.DoAsync());\r\n\r\n\/\/ Task<T> (with result, assigning to member variable after completion)\r\nyield return Step.Await(\r\n    this,\r\n    thisPtr => thisPtr.someObj.DoWithResultAsync(),\r\n    (thisPtr, r) => thisPtr.retValue = r);\r\n<\/pre>\n
Note that you must yield return<\/code> every Step<\/code><\/strong>. It is unfortunately easy to forget this, which is one drawback of trying to build advanced patterns without real compiler support. Another limitation is that you can’t easily write catch blocks, however there is a relatively simple way around this using the provided Catch<TException>.AndHandle<\/code> functionality. An example:<\/p>\n
\r\nprotected override IEnumerator<Step> Steps()\r\n{\r\n    \/\/ . . . \r\n    yield return Step.Await(\r\n        this,\r\n        (thisPtr, c, s) => thisPtr.someObj.BeginOp(c, s),\r\n        (thisPtr, r) => thisPtr.retValue = thisPtr.someObj.EndOp(r),\r\n        Catch<SomeException>.AndHandle(this, (thisPtr, e) => thisPtr.Handle(e)));\r\n    \/\/ . . . \r\n}\r\n\r\nprivate bool Handle(SomeException exception)\r\n{\r\n    \/\/ . . . Do something with exception here . . .\r\n\r\n    \/\/ If successfully handled ...\r\n    return true;\r\n}\r\n<\/pre>\n
By default, any exception will transition the overarching Task<\/code> to a faulted state and rethrow to the caller. However, you can provide one or more handler methods that return a bool<\/code> indicating whether the exception should be handled (true<\/code>) or rethrown (false<\/code>).<\/p>\n
Here is a full use case of an async file reader. Note the use of member variables to avoid implicit capture — in general, this should improve performance due to reduced code generation and heap allocation:<\/p>\n
\r\ninternal sealed class AsyncFileReader\r\n{\r\n    private readonly int bufferSize;\r\n\r\n    public AsyncFileReader(int bufferSize)\r\n    {\r\n        this.bufferSize = bufferSize;\r\n    }\r\n\r\n    public Task<byte[]> ReadAllBytesAsync(string path)\r\n    {\r\n        return new ReadAllBytesAsyncOperation(path, this.bufferSize).Start();\r\n    }\r\n\r\n    private sealed class ReadAllBytesAsyncOperation : AsyncOperation<byte[]>\r\n    {\r\n        private readonly string path;\r\n        private readonly int bufferSize;\r\n\r\n        private FileStream stream;\r\n        private byte[] buffer;\r\n        private int bytesRead;\r\n\r\n        public ReadAllBytesAsyncOperation(string path, int bufferSize)\r\n        {\r\n            this.path = path;\r\n            this.bufferSize = bufferSize;\r\n        }\r\n\r\n        protected override IEnumerator<Step> Steps()\r\n        {\r\n            using (MemoryStream outputStream = new MemoryStream())\r\n            using (this.stream = new FileStream(this.path, FileMode.Open, FileAccess.Read, FileShare.Read, this.bufferSize, true))\r\n            {\r\n                this.buffer = new byte[this.bufferSize];\r\n                do\r\n                {\r\n                    Console.WriteLine("[{0}] Reading...", Thread.CurrentThread.ManagedThreadId);\r\n                    yield return Step.Await(\r\n                        this,\r\n                        (thisPtr, c, s) => thisPtr.stream.BeginRead(thisPtr.buffer, 0, thisPtr.bufferSize, c, s),\r\n                        (thisPtr, r) => thisPtr.bytesRead = thisPtr.stream.EndRead(r));\r\n                    Console.WriteLine("[{0}] Read {1} bytes.", Thread.CurrentThread.ManagedThreadId, this.bytesRead);\r\n                    if (this.bytesRead > 0)\r\n                    {\r\n                        outputStream.Write(this.buffer, 0, this.bytesRead);\r\n                    }\r\n                }\r\n                while (this.bytesRead > 0);\r\n\r\n                this.Result = outputStream.ToArray();\r\n            }\r\n        }\r\n    }\r\n}\r\n<\/pre>\n
Here is a snippet from the sample app included in the project, which reads a 1000000 byte file:<\/p>\n
\r\nAsyncFileReader reader = new AsyncFileReader(100001);\r\nTask<byte[]> task = reader.ReadAllBytesAsync(path);\r\nbyte[] readBytes = task.Result;\r\nConsole.WriteLine("Read {0} bytes.", readBytes.Length);\r\n<\/pre>\n
Finally, the sample output:<\/p>\n
\r\n[1] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[5] Read 100001 bytes.\r\n[5] Reading...\r\n[7] Read 100001 bytes.\r\n[7] Reading...\r\n[7] Read 100001 bytes.\r\n[7] Reading...\r\n[7] Read 100001 bytes.\r\n[7] Reading...\r\n[7] Read 99991 bytes.\r\n[7] Reading...\r\n[7] Read 0 bytes.\r\nRead 1000000 bytes.\r\n<\/pre>\n
If you’re stuck with .NET 4.0, why not give AsyncOperation<\/code> a try and see how it eases the pain of async?<\/p>\n","protected":false},"excerpt":{"rendered":"
Writing managed asynchronous code has been possible since the advent of IAsyncResult in .NET 1.0. However, it has not been easy until async\/await in .NET 4.5. Unfortunately, there are situations where you really need to implement asynchrony but are stuck… <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,41],"tags":[],"class_list":["post-2391","post","type-post","status-publish","format-standard","hentry","category-async","category-tdd"],"_links":{"self":[{"href":"http:\/\/writeasync.net\/index.php?rest_route=\/wp\/v2\/posts\/2391","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/writeasync.net\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/writeasync.net\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/writeasync.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/writeasync.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2391"}],"version-history":[{"count":0,"href":"http:\/\/writeasync.net\/index.php?rest_route=\/wp\/v2\/posts\/2391\/revisions"}],"wp:attachment":[{"href":"http:\/\/writeasync.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2391"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/writeasync.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2391"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/writeasync.net\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2391"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}