annotate win32-mingw/include/kj/async.h @ 146:206f0eb279b8

Remove "other" Vamp SDK repo from sv-dependency-builds
author Chris Cannam <cannam@all-day-breakfast.com>
date Mon, 06 Mar 2017 13:29:58 +0000
parents 38d1c0e7850b
children eccd51b72864
rev   line source
cannam@135 1 // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
cannam@135 2 // Licensed under the MIT License:
cannam@135 3 //
cannam@135 4 // Permission is hereby granted, free of charge, to any person obtaining a copy
cannam@135 5 // of this software and associated documentation files (the "Software"), to deal
cannam@135 6 // in the Software without restriction, including without limitation the rights
cannam@135 7 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
cannam@135 8 // copies of the Software, and to permit persons to whom the Software is
cannam@135 9 // furnished to do so, subject to the following conditions:
cannam@135 10 //
cannam@135 11 // The above copyright notice and this permission notice shall be included in
cannam@135 12 // all copies or substantial portions of the Software.
cannam@135 13 //
cannam@135 14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
cannam@135 15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
cannam@135 16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
cannam@135 17 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
cannam@135 18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
cannam@135 19 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
cannam@135 20 // THE SOFTWARE.
cannam@135 21
cannam@135 22 #ifndef KJ_ASYNC_H_
cannam@135 23 #define KJ_ASYNC_H_
cannam@135 24
cannam@135 25 #if defined(__GNUC__) && !KJ_HEADER_WARNINGS
cannam@135 26 #pragma GCC system_header
cannam@135 27 #endif
cannam@135 28
cannam@135 29 #include "async-prelude.h"
cannam@135 30 #include "exception.h"
cannam@135 31 #include "refcount.h"
cannam@135 32
cannam@135 33 namespace kj {
cannam@135 34
cannam@135 35 class EventLoop;
cannam@135 36 class WaitScope;
cannam@135 37
cannam@135 38 template <typename T>
cannam@135 39 class Promise;
cannam@135 40 template <typename T>
cannam@135 41 class ForkedPromise;
cannam@135 42 template <typename T>
cannam@135 43 class PromiseFulfiller;
cannam@135 44 template <typename T>
cannam@135 45 struct PromiseFulfillerPair;
cannam@135 46
cannam@135 47 template <typename Func, typename T>
cannam@135 48 using PromiseForResult = Promise<_::JoinPromises<_::ReturnType<Func, T>>>;
cannam@135 49 // Evaluates to the type of Promise for the result of calling functor type Func with parameter type
cannam@135 50 // T. If T is void, then the promise is for the result of calling Func with no arguments. If
cannam@135 51 // Func itself returns a promise, the promises are joined, so you never get Promise<Promise<T>>.
cannam@135 52
cannam@135 53 // =======================================================================================
cannam@135 54 // Promises
cannam@135 55
cannam@135 56 template <typename T>
cannam@135 57 class Promise: protected _::PromiseBase {
cannam@135 58 // The basic primitive of asynchronous computation in KJ. Similar to "futures", but designed
cannam@135 59 // specifically for event loop concurrency. Similar to E promises and JavaScript Promises/A.
cannam@135 60 //
cannam@135 61 // A Promise represents a promise to produce a value of type T some time in the future. Once
cannam@135 62 // that value has been produced, the promise is "fulfilled". Alternatively, a promise can be
cannam@135 63 // "broken", with an Exception describing what went wrong. You may implicitly convert a value of
cannam@135 64 // type T to an already-fulfilled Promise<T>. You may implicitly convert the constant
cannam@135 65 // `kj::READY_NOW` to an already-fulfilled Promise<void>. You may also implicitly convert a
cannam@135 66 // `kj::Exception` to an already-broken promise of any type.
cannam@135 67 //
cannam@135 68 // Promises are linear types -- they are moveable but not copyable. If a Promise is destroyed
cannam@135 69 // or goes out of scope (without being moved elsewhere), any ongoing asynchronous operations
cannam@135 70 // meant to fulfill the promise will be canceled if possible. All methods of `Promise` (unless
cannam@135 71 // otherwise noted) actually consume the promise in the sense of move semantics. (Arguably they
cannam@135 72 // should be rvalue-qualified, but at the time this interface was created compilers didn't widely
cannam@135 73 // support that yet and anyway it would be pretty ugly typing kj::mv(promise).whatever().) If
cannam@135 74 // you want to use one Promise in two different places, you must fork it with `fork()`.
cannam@135 75 //
cannam@135 76 // To use the result of a Promise, you must call `then()` and supply a callback function to
cannam@135 77 // call with the result. `then()` returns another promise, for the result of the callback.
cannam@135 78 // Any time that this would result in Promise<Promise<T>>, the promises are collapsed into a
cannam@135 79 // simple Promise<T> that first waits for the outer promise, then the inner. Example:
cannam@135 80 //
cannam@135 81 // // Open a remote file, read the content, and then count the
cannam@135 82 // // number of lines of text.
cannam@135 83 // // Note that none of the calls here block. `file`, `content`
cannam@135 84 // // and `lineCount` are all initialized immediately before any
cannam@135 85 // // asynchronous operations occur. The lambda callbacks are
cannam@135 86 // // called later.
cannam@135 87 // Promise<Own<File>> file = openFtp("ftp://host/foo/bar");
cannam@135 88 // Promise<String> content = file.then(
cannam@135 89 // [](Own<File> file) -> Promise<String> {
cannam@135 90 // return file.readAll();
cannam@135 91 // });
cannam@135 92 // Promise<int> lineCount = content.then(
cannam@135 93 // [](String text) -> int {
cannam@135 94 // uint count = 0;
cannam@135 95 // for (char c: text) count += (c == '\n');
cannam@135 96 // return count;
cannam@135 97 // });
cannam@135 98 //
cannam@135 99 // For `then()` to work, the current thread must have an active `EventLoop`. Each callback
cannam@135 100 // is scheduled to execute in that loop. Since `then()` schedules callbacks only on the current
cannam@135 101 // thread's event loop, you do not need to worry about two callbacks running at the same time.
cannam@135 102 // You will need to set up at least one `EventLoop` at the top level of your program before you
cannam@135 103 // can use promises.
cannam@135 104 //
cannam@135 105 // To adapt a non-Promise-based asynchronous API to promises, use `newAdaptedPromise()`.
cannam@135 106 //
cannam@135 107 // Systems using promises should consider supporting the concept of "pipelining". Pipelining
cannam@135 108 // means allowing a caller to start issuing method calls against a promised object before the
cannam@135 109 // promise has actually been fulfilled. This is particularly useful if the promise is for a
cannam@135 110 // remote object living across a network, as this can avoid round trips when chaining a series
cannam@135 111 // of calls. It is suggested that any class T which supports pipelining implement a subclass of
cannam@135 112 // Promise<T> which adds "eventual send" methods -- methods which, when called, say "please
cannam@135 113 // invoke the corresponding method on the promised value once it is available". These methods
cannam@135 114 // should in turn return promises for the eventual results of said invocations. Cap'n Proto,
cannam@135 115 // for example, implements the type `RemotePromise` which supports pipelining RPC requests -- see
cannam@135 116 // `capnp/capability.h`.
cannam@135 117 //
cannam@135 118 // KJ Promises are based on E promises:
cannam@135 119 // http://wiki.erights.org/wiki/Walnut/Distributed_Computing#Promises
cannam@135 120 //
cannam@135 121 // KJ Promises are also inspired in part by the evolving standards for JavaScript/ECMAScript
cannam@135 122 // promises, which are themselves influenced by E promises:
cannam@135 123 // http://promisesaplus.com/
cannam@135 124 // https://github.com/domenic/promises-unwrapping
cannam@135 125
cannam@135 126 public:
cannam@135 127 Promise(_::FixVoid<T> value);
cannam@135 128 // Construct an already-fulfilled Promise from a value of type T. For non-void promises, the
cannam@135 129 // parameter type is simply T. So, e.g., in a function that returns `Promise<int>`, you can
cannam@135 130 // say `return 123;` to return a promise that is already fulfilled to 123.
cannam@135 131 //
cannam@135 132 // For void promises, use `kj::READY_NOW` as the value, e.g. `return kj::READY_NOW`.
cannam@135 133
cannam@135 134 Promise(kj::Exception&& e);
cannam@135 135 // Construct an already-broken Promise.
cannam@135 136
cannam@135 137 inline Promise(decltype(nullptr)) {}
cannam@135 138
cannam@135 139 template <typename Func, typename ErrorFunc = _::PropagateException>
cannam@135 140 PromiseForResult<Func, T> then(Func&& func, ErrorFunc&& errorHandler = _::PropagateException())
cannam@135 141 KJ_WARN_UNUSED_RESULT;
cannam@135 142 // Register a continuation function to be executed when the promise completes. The continuation
cannam@135 143 // (`func`) takes the promised value (an rvalue of type `T`) as its parameter. The continuation
cannam@135 144 // may return a new value; `then()` itself returns a promise for the continuation's eventual
cannam@135 145 // result. If the continuation itself returns a `Promise<U>`, then `then()` shall also return
cannam@135 146 // a `Promise<U>` which first waits for the original promise, then executes the continuation,
cannam@135 147 // then waits for the inner promise (i.e. it automatically "unwraps" the promise).
cannam@135 148 //
cannam@135 149 // In all cases, `then()` returns immediately. The continuation is executed later. The
cannam@135 150 // continuation is always executed on the same EventLoop (and, therefore, the same thread) which
cannam@135 151 // called `then()`, therefore no synchronization is necessary on state shared by the continuation
cannam@135 152 // and the surrounding scope. If no EventLoop is running on the current thread, `then()` throws
cannam@135 153 // an exception.
cannam@135 154 //
cannam@135 155 // You may also specify an error handler continuation as the second parameter. `errorHandler`
cannam@135 156 // must be a functor taking a parameter of type `kj::Exception&&`. It must return the same
cannam@135 157 // type as `func` returns (except when `func` returns `Promise<U>`, in which case `errorHandler`
cannam@135 158 // may return either `Promise<U>` or just `U`). The default error handler simply propagates the
cannam@135 159 // exception to the returned promise.
cannam@135 160 //
cannam@135 161 // Either `func` or `errorHandler` may, of course, throw an exception, in which case the promise
cannam@135 162 // is broken. When compiled with -fno-exceptions, the framework will still detect when a
cannam@135 163 // recoverable exception was thrown inside of a continuation and will consider the promise
cannam@135 164 // broken even though a (presumably garbage) result was returned.
cannam@135 165 //
cannam@135 166 // If the returned promise is destroyed before the callback runs, the callback will be canceled
cannam@135 167 // (it will never run).
cannam@135 168 //
cannam@135 169 // Note that `then()` -- like all other Promise methods -- consumes the promise on which it is
cannam@135 170 // called, in the sense of move semantics. After returning, the original promise is no longer
cannam@135 171 // valid, but `then()` returns a new promise.
cannam@135 172 //
cannam@135 173 // *Advanced implementation tips:* Most users will never need to worry about the below, but
cannam@135 174 // it is good to be aware of.
cannam@135 175 //
cannam@135 176 // As an optimization, if the callback function `func` does _not_ return another promise, then
cannam@135 177 // execution of `func` itself may be delayed until its result is known to be needed. The
cannam@135 178 // expectation here is that `func` is just doing some transformation on the results, not
cannam@135 179 // scheduling any other actions, therefore the system doesn't need to be proactive about
cannam@135 180 // evaluating it. This way, a chain of trivial then() transformations can be executed all at
cannam@135 181 // once without repeatedly re-scheduling through the event loop. Use the `eagerlyEvaluate()`
cannam@135 182 // method to suppress this behavior.
cannam@135 183 //
cannam@135 184 // On the other hand, if `func` _does_ return another promise, then the system evaluates `func`
cannam@135 185 // as soon as possible, because the promise it returns might be for a newly-scheduled
cannam@135 186 // long-running asynchronous task.
cannam@135 187 //
cannam@135 188 // As another optimization, when a callback function registered with `then()` is actually
cannam@135 189 // scheduled, it is scheduled to occur immediately, preempting other work in the event queue.
cannam@135 190 // This allows a long chain of `then`s to execute all at once, improving cache locality by
cannam@135 191 // clustering operations on the same data. However, this implies that starvation can occur
cannam@135 192 // if a chain of `then()`s takes a very long time to execute without ever stopping to wait for
cannam@135 193 // actual I/O. To solve this, use `kj::evalLater()` to yield control; this way, all other events
cannam@135 194 // in the queue will get a chance to run before your callback is executed.
cannam@135 195
cannam@135 196 Promise<void> ignoreResult() KJ_WARN_UNUSED_RESULT { return then([](T&&) {}); }
cannam@135 197 // Convenience method to convert the promise to a void promise by ignoring the return value.
cannam@135 198 //
cannam@135 199 // You must still wait on the returned promise if you want the task to execute.
cannam@135 200
cannam@135 201 template <typename ErrorFunc>
cannam@135 202 Promise<T> catch_(ErrorFunc&& errorHandler) KJ_WARN_UNUSED_RESULT;
cannam@135 203 // Equivalent to `.then(identityFunc, errorHandler)`, where `identifyFunc` is a function that
cannam@135 204 // just returns its input.
cannam@135 205
cannam@135 206 T wait(WaitScope& waitScope);
cannam@135 207 // Run the event loop until the promise is fulfilled, then return its result. If the promise
cannam@135 208 // is rejected, throw an exception.
cannam@135 209 //
cannam@135 210 // wait() is primarily useful at the top level of a program -- typically, within the function
cannam@135 211 // that allocated the EventLoop. For example, a program that performs one or two RPCs and then
cannam@135 212 // exits would likely use wait() in its main() function to wait on each RPC. On the other hand,
cannam@135 213 // server-side code generally cannot use wait(), because it has to be able to accept multiple
cannam@135 214 // requests at once.
cannam@135 215 //
cannam@135 216 // If the promise is rejected, `wait()` throws an exception. If the program was compiled without
cannam@135 217 // exceptions (-fno-exceptions), this will usually abort. In this case you really should first
cannam@135 218 // use `then()` to set an appropriate handler for the exception case, so that the promise you
cannam@135 219 // actually wait on never throws.
cannam@135 220 //
cannam@135 221 // `waitScope` is an object proving that the caller is in a scope where wait() is allowed. By
cannam@135 222 // convention, any function which might call wait(), or which might call another function which
cannam@135 223 // might call wait(), must take `WaitScope&` as one of its parameters. This is needed for two
cannam@135 224 // reasons:
cannam@135 225 // * `wait()` is not allowed during an event callback, because event callbacks are themselves
cannam@135 226 // called during some other `wait()`, and such recursive `wait()`s would only be able to
cannam@135 227 // complete in LIFO order, which might mean that the outer `wait()` ends up waiting longer
cannam@135 228 // than it is supposed to. To prevent this, a `WaitScope` cannot be constructed or used during
cannam@135 229 // an event callback.
cannam@135 230 // * Since `wait()` runs the event loop, unrelated event callbacks may execute before `wait()`
cannam@135 231 // returns. This means that anyone calling `wait()` must be reentrant -- state may change
cannam@135 232 // around them in arbitrary ways. Therefore, callers really need to know if a function they
cannam@135 233 // are calling might wait(), and the `WaitScope&` parameter makes this clear.
cannam@135 234 //
cannam@135 235 // TODO(someday): Implement fibers, and let them call wait() even when they are handling an
cannam@135 236 // event.
cannam@135 237
cannam@135 238 ForkedPromise<T> fork() KJ_WARN_UNUSED_RESULT;
cannam@135 239 // Forks the promise, so that multiple different clients can independently wait on the result.
cannam@135 240 // `T` must be copy-constructable for this to work. Or, in the special case where `T` is
cannam@135 241 // `Own<U>`, `U` must have a method `Own<U> addRef()` which returns a new reference to the same
cannam@135 242 // (or an equivalent) object (probably implemented via reference counting).
cannam@135 243
cannam@135 244 _::SplitTuplePromise<T> split();
cannam@135 245 // Split a promise for a tuple into a tuple of promises.
cannam@135 246 //
cannam@135 247 // E.g. if you have `Promise<kj::Tuple<T, U>>`, `split()` returns
cannam@135 248 // `kj::Tuple<Promise<T>, Promise<U>>`.
cannam@135 249
cannam@135 250 Promise<T> exclusiveJoin(Promise<T>&& other) KJ_WARN_UNUSED_RESULT;
cannam@135 251 // Return a new promise that resolves when either the original promise resolves or `other`
cannam@135 252 // resolves (whichever comes first). The promise that didn't resolve first is canceled.
cannam@135 253
cannam@135 254 // TODO(someday): inclusiveJoin(), or perhaps just join(), which waits for both completions
cannam@135 255 // and produces a tuple?
cannam@135 256
cannam@135 257 template <typename... Attachments>
cannam@135 258 Promise<T> attach(Attachments&&... attachments) KJ_WARN_UNUSED_RESULT;
cannam@135 259 // "Attaches" one or more movable objects (often, Own<T>s) to the promise, such that they will
cannam@135 260 // be destroyed when the promise resolves. This is useful when a promise's callback contains
cannam@135 261 // pointers into some object and you want to make sure the object still exists when the callback
cannam@135 262 // runs -- after calling then(), use attach() to add necessary objects to the result.
cannam@135 263
cannam@135 264 template <typename ErrorFunc>
cannam@135 265 Promise<T> eagerlyEvaluate(ErrorFunc&& errorHandler) KJ_WARN_UNUSED_RESULT;
cannam@135 266 Promise<T> eagerlyEvaluate(decltype(nullptr)) KJ_WARN_UNUSED_RESULT;
cannam@135 267 // Force eager evaluation of this promise. Use this if you are going to hold on to the promise
cannam@135 268 // for awhile without consuming the result, but you want to make sure that the system actually
cannam@135 269 // processes it.
cannam@135 270 //
cannam@135 271 // `errorHandler` is a function that takes `kj::Exception&&`, like the second parameter to
cannam@135 272 // `then()`, except that it must return void. We make you specify this because otherwise it's
cannam@135 273 // easy to forget to handle errors in a promise that you never use. You may specify nullptr for
cannam@135 274 // the error handler if you are sure that ignoring errors is fine, or if you know that you'll
cannam@135 275 // eventually wait on the promise somewhere.
cannam@135 276
cannam@135 277 template <typename ErrorFunc>
cannam@135 278 void detach(ErrorFunc&& errorHandler);
cannam@135 279 // Allows the promise to continue running in the background until it completes or the
cannam@135 280 // `EventLoop` is destroyed. Be careful when using this: since you can no longer cancel this
cannam@135 281 // promise, you need to make sure that the promise owns all the objects it touches or make sure
cannam@135 282 // those objects outlive the EventLoop.
cannam@135 283 //
cannam@135 284 // `errorHandler` is a function that takes `kj::Exception&&`, like the second parameter to
cannam@135 285 // `then()`, except that it must return void.
cannam@135 286 //
cannam@135 287 // This function exists mainly to implement the Cap'n Proto requirement that RPC calls cannot be
cannam@135 288 // canceled unless the callee explicitly permits it.
cannam@135 289
cannam@135 290 kj::String trace();
cannam@135 291 // Returns a dump of debug info about this promise. Not for production use. Requires RTTI.
cannam@135 292 // This method does NOT consume the promise as other methods do.
cannam@135 293
cannam@135 294 private:
cannam@135 295 Promise(bool, Own<_::PromiseNode>&& node): PromiseBase(kj::mv(node)) {}
cannam@135 296 // Second parameter prevent ambiguity with immediate-value constructor.
cannam@135 297
cannam@135 298 template <typename>
cannam@135 299 friend class Promise;
cannam@135 300 friend class EventLoop;
cannam@135 301 template <typename U, typename Adapter, typename... Params>
cannam@135 302 friend Promise<U> newAdaptedPromise(Params&&... adapterConstructorParams);
cannam@135 303 template <typename U>
cannam@135 304 friend PromiseFulfillerPair<U> newPromiseAndFulfiller();
cannam@135 305 template <typename>
cannam@135 306 friend class _::ForkHub;
cannam@135 307 friend class _::TaskSetImpl;
cannam@135 308 friend Promise<void> _::yield();
cannam@135 309 friend class _::NeverDone;
cannam@135 310 template <typename U>
cannam@135 311 friend Promise<Array<U>> joinPromises(Array<Promise<U>>&& promises);
cannam@135 312 friend Promise<void> joinPromises(Array<Promise<void>>&& promises);
cannam@135 313 };
cannam@135 314
cannam@135 315 template <typename T>
cannam@135 316 class ForkedPromise {
cannam@135 317 // The result of `Promise::fork()` and `EventLoop::fork()`. Allows branches to be created.
cannam@135 318 // Like `Promise<T>`, this is a pass-by-move type.
cannam@135 319
cannam@135 320 public:
cannam@135 321 inline ForkedPromise(decltype(nullptr)) {}
cannam@135 322
cannam@135 323 Promise<T> addBranch();
cannam@135 324 // Add a new branch to the fork. The branch is equivalent to the original promise.
cannam@135 325
cannam@135 326 private:
cannam@135 327 Own<_::ForkHub<_::FixVoid<T>>> hub;
cannam@135 328
cannam@135 329 inline ForkedPromise(bool, Own<_::ForkHub<_::FixVoid<T>>>&& hub): hub(kj::mv(hub)) {}
cannam@135 330
cannam@135 331 friend class Promise<T>;
cannam@135 332 friend class EventLoop;
cannam@135 333 };
cannam@135 334
cannam@135 335 constexpr _::Void READY_NOW = _::Void();
cannam@135 336 // Use this when you need a Promise<void> that is already fulfilled -- this value can be implicitly
cannam@135 337 // cast to `Promise<void>`.
cannam@135 338
cannam@135 339 constexpr _::NeverDone NEVER_DONE = _::NeverDone();
cannam@135 340 // The opposite of `READY_NOW`, return this when the promise should never resolve. This can be
cannam@135 341 // implicitly converted to any promise type. You may also call `NEVER_DONE.wait()` to wait
cannam@135 342 // forever (useful for servers).
cannam@135 343
cannam@135 344 template <typename Func>
cannam@135 345 PromiseForResult<Func, void> evalLater(Func&& func) KJ_WARN_UNUSED_RESULT;
cannam@135 346 // Schedule for the given zero-parameter function to be executed in the event loop at some
cannam@135 347 // point in the near future. Returns a Promise for its result -- or, if `func()` itself returns
cannam@135 348 // a promise, `evalLater()` returns a Promise for the result of resolving that promise.
cannam@135 349 //
cannam@135 350 // Example usage:
cannam@135 351 // Promise<int> x = evalLater([]() { return 123; });
cannam@135 352 //
cannam@135 353 // The above is exactly equivalent to:
cannam@135 354 // Promise<int> x = Promise<void>(READY_NOW).then([]() { return 123; });
cannam@135 355 //
cannam@135 356 // If the returned promise is destroyed before the callback runs, the callback will be canceled
cannam@135 357 // (never called).
cannam@135 358 //
cannam@135 359 // If you schedule several evaluations with `evalLater` during the same callback, they are
cannam@135 360 // guaranteed to be executed in order.
cannam@135 361
cannam@135 362 template <typename Func>
cannam@135 363 PromiseForResult<Func, void> evalNow(Func&& func) KJ_WARN_UNUSED_RESULT;
cannam@135 364 // Run `func()` and return a promise for its result. `func()` executes before `evalNow()` returns.
cannam@135 365 // If `func()` throws an exception, the exception is caught and wrapped in a promise -- this is the
cannam@135 366 // main reason why `evalNow()` is useful.
cannam@135 367
cannam@135 368 template <typename T>
cannam@135 369 Promise<Array<T>> joinPromises(Array<Promise<T>>&& promises);
cannam@135 370 // Join an array of promises into a promise for an array.
cannam@135 371
cannam@135 372 // =======================================================================================
cannam@135 373 // Hack for creating a lambda that holds an owned pointer.
cannam@135 374
cannam@135 375 template <typename Func, typename MovedParam>
cannam@135 376 class CaptureByMove {
cannam@135 377 public:
cannam@135 378 inline CaptureByMove(Func&& func, MovedParam&& param)
cannam@135 379 : func(kj::mv(func)), param(kj::mv(param)) {}
cannam@135 380
cannam@135 381 template <typename... Params>
cannam@135 382 inline auto operator()(Params&&... params)
cannam@135 383 -> decltype(kj::instance<Func>()(kj::instance<MovedParam&&>(), kj::fwd<Params>(params)...)) {
cannam@135 384 return func(kj::mv(param), kj::fwd<Params>(params)...);
cannam@135 385 }
cannam@135 386
cannam@135 387 private:
cannam@135 388 Func func;
cannam@135 389 MovedParam param;
cannam@135 390 };
cannam@135 391
cannam@135 392 template <typename Func, typename MovedParam>
cannam@135 393 inline CaptureByMove<Func, Decay<MovedParam>> mvCapture(MovedParam&& param, Func&& func) {
cannam@135 394 // Hack to create a "lambda" which captures a variable by moving it rather than copying or
cannam@135 395 // referencing. C++14 generalized captures should make this obsolete, but for now in C++11 this
cannam@135 396 // is commonly needed for Promise continuations that own their state. Example usage:
cannam@135 397 //
cannam@135 398 // Own<Foo> ptr = makeFoo();
cannam@135 399 // Promise<int> promise = callRpc();
cannam@135 400 // promise.then(mvCapture(ptr, [](Own<Foo>&& ptr, int result) {
cannam@135 401 // return ptr->finish(result);
cannam@135 402 // }));
cannam@135 403
cannam@135 404 return CaptureByMove<Func, Decay<MovedParam>>(kj::fwd<Func>(func), kj::mv(param));
cannam@135 405 }
cannam@135 406
cannam@135 407 // =======================================================================================
cannam@135 408 // Advanced promise construction
cannam@135 409
cannam@135 410 template <typename T>
cannam@135 411 class PromiseFulfiller {
cannam@135 412 // A callback which can be used to fulfill a promise. Only the first call to fulfill() or
cannam@135 413 // reject() matters; subsequent calls are ignored.
cannam@135 414
cannam@135 415 public:
cannam@135 416 virtual void fulfill(T&& value) = 0;
cannam@135 417 // Fulfill the promise with the given value.
cannam@135 418
cannam@135 419 virtual void reject(Exception&& exception) = 0;
cannam@135 420 // Reject the promise with an error.
cannam@135 421
cannam@135 422 virtual bool isWaiting() = 0;
cannam@135 423 // Returns true if the promise is still unfulfilled and someone is potentially waiting for it.
cannam@135 424 // Returns false if fulfill()/reject() has already been called *or* if the promise to be
cannam@135 425 // fulfilled has been discarded and therefore the result will never be used anyway.
cannam@135 426
cannam@135 427 template <typename Func>
cannam@135 428 bool rejectIfThrows(Func&& func);
cannam@135 429 // Call the function (with no arguments) and return true. If an exception is thrown, call
cannam@135 430 // `fulfiller.reject()` and then return false. When compiled with exceptions disabled,
cannam@135 431 // non-fatal exceptions are still detected and handled correctly.
cannam@135 432 };
cannam@135 433
cannam@135 434 template <>
cannam@135 435 class PromiseFulfiller<void> {
cannam@135 436 // Specialization of PromiseFulfiller for void promises. See PromiseFulfiller<T>.
cannam@135 437
cannam@135 438 public:
cannam@135 439 virtual void fulfill(_::Void&& value = _::Void()) = 0;
cannam@135 440 // Call with zero parameters. The parameter is a dummy that only exists so that subclasses don't
cannam@135 441 // have to specialize for <void>.
cannam@135 442
cannam@135 443 virtual void reject(Exception&& exception) = 0;
cannam@135 444 virtual bool isWaiting() = 0;
cannam@135 445
cannam@135 446 template <typename Func>
cannam@135 447 bool rejectIfThrows(Func&& func);
cannam@135 448 };
cannam@135 449
cannam@135 450 template <typename T, typename Adapter, typename... Params>
cannam@135 451 Promise<T> newAdaptedPromise(Params&&... adapterConstructorParams);
cannam@135 452 // Creates a new promise which owns an instance of `Adapter` which encapsulates the operation
cannam@135 453 // that will eventually fulfill the promise. This is primarily useful for adapting non-KJ
cannam@135 454 // asynchronous APIs to use promises.
cannam@135 455 //
cannam@135 456 // An instance of `Adapter` will be allocated and owned by the returned `Promise`. A
cannam@135 457 // `PromiseFulfiller<T>&` will be passed as the first parameter to the adapter's constructor,
cannam@135 458 // and `adapterConstructorParams` will be forwarded as the subsequent parameters. The adapter
cannam@135 459 // is expected to perform some asynchronous operation and call the `PromiseFulfiller<T>` once
cannam@135 460 // it is finished.
cannam@135 461 //
cannam@135 462 // The adapter is destroyed when its owning Promise is destroyed. This may occur before the
cannam@135 463 // Promise has been fulfilled. In this case, the adapter's destructor should cancel the
cannam@135 464 // asynchronous operation. Once the adapter is destroyed, the fulfillment callback cannot be
cannam@135 465 // called.
cannam@135 466 //
cannam@135 467 // An adapter implementation should be carefully written to ensure that it cannot accidentally
cannam@135 468 // be left unfulfilled permanently because of an exception. Consider making liberal use of
cannam@135 469 // `PromiseFulfiller<T>::rejectIfThrows()`.
cannam@135 470
cannam@135 471 template <typename T>
cannam@135 472 struct PromiseFulfillerPair {
cannam@135 473 Promise<_::JoinPromises<T>> promise;
cannam@135 474 Own<PromiseFulfiller<T>> fulfiller;
cannam@135 475 };
cannam@135 476
cannam@135 477 template <typename T>
cannam@135 478 PromiseFulfillerPair<T> newPromiseAndFulfiller();
cannam@135 479 // Construct a Promise and a separate PromiseFulfiller which can be used to fulfill the promise.
cannam@135 480 // If the PromiseFulfiller is destroyed before either of its methods are called, the Promise is
cannam@135 481 // implicitly rejected.
cannam@135 482 //
cannam@135 483 // Although this function is easier to use than `newAdaptedPromise()`, it has the serious drawback
cannam@135 484 // that there is no way to handle cancellation (i.e. detect when the Promise is discarded).
cannam@135 485 //
cannam@135 486 // You can arrange to fulfill a promise with another promise by using a promise type for T. E.g.
cannam@135 487 // `newPromiseAndFulfiller<Promise<U>>()` will produce a promise of type `Promise<U>` but the
cannam@135 488 // fulfiller will be of type `PromiseFulfiller<Promise<U>>`. Thus you pass a `Promise<U>` to the
cannam@135 489 // `fulfill()` callback, and the promises are chained.
cannam@135 490
cannam@135 491 // =======================================================================================
cannam@135 492 // TaskSet
cannam@135 493
cannam@135 494 class TaskSet {
cannam@135 495 // Holds a collection of Promise<void>s and ensures that each executes to completion. Memory
cannam@135 496 // associated with each promise is automatically freed when the promise completes. Destroying
cannam@135 497 // the TaskSet itself automatically cancels all unfinished promises.
cannam@135 498 //
cannam@135 499 // This is useful for "daemon" objects that perform background tasks which aren't intended to
cannam@135 500 // fulfill any particular external promise, but which may need to be canceled (and thus can't
cannam@135 501 // use `Promise::detach()`). The daemon object holds a TaskSet to collect these tasks it is
cannam@135 502 // working on. This way, if the daemon itself is destroyed, the TaskSet is detroyed as well,
cannam@135 503 // and everything the daemon is doing is canceled.
cannam@135 504
cannam@135 505 public:
cannam@135 506 class ErrorHandler {
cannam@135 507 public:
cannam@135 508 virtual void taskFailed(kj::Exception&& exception) = 0;
cannam@135 509 };
cannam@135 510
cannam@135 511 TaskSet(ErrorHandler& errorHandler);
cannam@135 512 // `loop` will be used to wait on promises. `errorHandler` will be executed any time a task
cannam@135 513 // throws an exception, and will execute within the given EventLoop.
cannam@135 514
cannam@135 515 ~TaskSet() noexcept(false);
cannam@135 516
cannam@135 517 void add(Promise<void>&& promise);
cannam@135 518
cannam@135 519 kj::String trace();
cannam@135 520 // Return debug info about all promises currently in the TaskSet.
cannam@135 521
cannam@135 522 private:
cannam@135 523 Own<_::TaskSetImpl> impl;
cannam@135 524 };
cannam@135 525
cannam@135 526 // =======================================================================================
cannam@135 527 // The EventLoop class
cannam@135 528
cannam@135 529 class EventPort {
cannam@135 530 // Interfaces between an `EventLoop` and events originating from outside of the loop's thread.
cannam@135 531 // All such events come in through the `EventPort` implementation.
cannam@135 532 //
cannam@135 533 // An `EventPort` implementation may interface with low-level operating system APIs and/or other
cannam@135 534 // threads. You can also write an `EventPort` which wraps some other (non-KJ) event loop
cannam@135 535 // framework, allowing the two to coexist in a single thread.
cannam@135 536
cannam@135 537 public:
cannam@135 538 virtual bool wait() = 0;
cannam@135 539 // Wait for an external event to arrive, sleeping if necessary. Once at least one event has
cannam@135 540 // arrived, queue it to the event loop (e.g. by fulfilling a promise) and return.
cannam@135 541 //
cannam@135 542 // This is called during `Promise::wait()` whenever the event queue becomes empty, in order to
cannam@135 543 // wait for new events to populate the queue.
cannam@135 544 //
cannam@135 545 // It is safe to return even if nothing has actually been queued, so long as calling `wait()` in
cannam@135 546 // a loop will eventually sleep. (That is to say, false positives are fine.)
cannam@135 547 //
cannam@135 548 // Returns true if wake() has been called from another thread. (Precisely, returns true if
cannam@135 549 // no previous call to wait `wait()` nor `poll()` has returned true since `wake()` was last
cannam@135 550 // called.)
cannam@135 551
cannam@135 552 virtual bool poll() = 0;
cannam@135 553 // Check if any external events have arrived, but do not sleep. If any events have arrived,
cannam@135 554 // add them to the event queue (e.g. by fulfilling promises) before returning.
cannam@135 555 //
cannam@135 556 // This may be called during `Promise::wait()` when the EventLoop has been executing for a while
cannam@135 557 // without a break but is still non-empty.
cannam@135 558 //
cannam@135 559 // Returns true if wake() has been called from another thread. (Precisely, returns true if
cannam@135 560 // no previous call to wait `wait()` nor `poll()` has returned true since `wake()` was last
cannam@135 561 // called.)
cannam@135 562
cannam@135 563 virtual void setRunnable(bool runnable);
cannam@135 564 // Called to notify the `EventPort` when the `EventLoop` has work to do; specifically when it
cannam@135 565 // transitions from empty -> runnable or runnable -> empty. This is typically useful when
cannam@135 566 // integrating with an external event loop; if the loop is currently runnable then you should
cannam@135 567 // arrange to call run() on it soon. The default implementation does nothing.
cannam@135 568
cannam@135 569 virtual void wake() const;
cannam@135 570 // Wake up the EventPort's thread from another thread.
cannam@135 571 //
cannam@135 572 // Unlike all other methods on this interface, `wake()` may be called from another thread, hence
cannam@135 573 // it is `const`.
cannam@135 574 //
cannam@135 575 // Technically speaking, `wake()` causes the target thread to cease sleeping and not to sleep
cannam@135 576 // again until `wait()` or `poll()` has returned true at least once.
cannam@135 577 //
cannam@135 578 // The default implementation throws an UNIMPLEMENTED exception.
cannam@135 579 };
cannam@135 580
cannam@135 581 class EventLoop {
cannam@135 582 // Represents a queue of events being executed in a loop. Most code won't interact with
cannam@135 583 // EventLoop directly, but instead use `Promise`s to interact with it indirectly. See the
cannam@135 584 // documentation for `Promise`.
cannam@135 585 //
cannam@135 586 // Each thread can have at most one current EventLoop. To make an `EventLoop` current for
cannam@135 587 // the thread, create a `WaitScope`. Async APIs require that the thread has a current EventLoop,
cannam@135 588 // or they will throw exceptions. APIs that use `Promise::wait()` additionally must explicitly
cannam@135 589 // be passed a reference to the `WaitScope` to make the caller aware that they might block.
cannam@135 590 //
cannam@135 591 // Generally, you will want to construct an `EventLoop` at the top level of your program, e.g.
cannam@135 592 // in the main() function, or in the start function of a thread. You can then use it to
cannam@135 593 // construct some promises and wait on the result. Example:
cannam@135 594 //
cannam@135 595 // int main() {
cannam@135 596 // // `loop` becomes the official EventLoop for the thread.
cannam@135 597 // MyEventPort eventPort;
cannam@135 598 // EventLoop loop(eventPort);
cannam@135 599 //
cannam@135 600 // // Now we can call an async function.
cannam@135 601 // Promise<String> textPromise = getHttp("http://example.com");
cannam@135 602 //
cannam@135 603 // // And we can wait for the promise to complete. Note that you can only use `wait()`
cannam@135 604 // // from the top level, not from inside a promise callback.
cannam@135 605 // String text = textPromise.wait();
cannam@135 606 // print(text);
cannam@135 607 // return 0;
cannam@135 608 // }
cannam@135 609 //
cannam@135 610 // Most applications that do I/O will prefer to use `setupAsyncIo()` from `async-io.h` rather
cannam@135 611 // than allocate an `EventLoop` directly.
cannam@135 612
cannam@135 613 public:
cannam@135 614 EventLoop();
cannam@135 615 // Construct an `EventLoop` which does not receive external events at all.
cannam@135 616
cannam@135 617 explicit EventLoop(EventPort& port);
cannam@135 618 // Construct an `EventLoop` which receives external events through the given `EventPort`.
cannam@135 619
cannam@135 620 ~EventLoop() noexcept(false);
cannam@135 621
cannam@135 622 void run(uint maxTurnCount = maxValue);
cannam@135 623 // Run the event loop for `maxTurnCount` turns or until there is nothing left to be done,
cannam@135 624 // whichever comes first. This never calls the `EventPort`'s `sleep()` or `poll()`. It will
cannam@135 625 // call the `EventPort`'s `setRunnable(false)` if the queue becomes empty.
cannam@135 626
cannam@135 627 bool isRunnable();
cannam@135 628 // Returns true if run() would currently do anything, or false if the queue is empty.
cannam@135 629
cannam@135 630 private:
cannam@135 631 EventPort& port;
cannam@135 632
cannam@135 633 bool running = false;
cannam@135 634 // True while looping -- wait() is then not allowed.
cannam@135 635
cannam@135 636 bool lastRunnableState = false;
cannam@135 637 // What did we last pass to port.setRunnable()?
cannam@135 638
cannam@135 639 _::Event* head = nullptr;
cannam@135 640 _::Event** tail = &head;
cannam@135 641 _::Event** depthFirstInsertPoint = &head;
cannam@135 642
cannam@135 643 Own<_::TaskSetImpl> daemons;
cannam@135 644
cannam@135 645 bool turn();
cannam@135 646 void setRunnable(bool runnable);
cannam@135 647 void enterScope();
cannam@135 648 void leaveScope();
cannam@135 649
cannam@135 650 friend void _::detach(kj::Promise<void>&& promise);
cannam@135 651 friend void _::waitImpl(Own<_::PromiseNode>&& node, _::ExceptionOrValue& result,
cannam@135 652 WaitScope& waitScope);
cannam@135 653 friend class _::Event;
cannam@135 654 friend class WaitScope;
cannam@135 655 };
cannam@135 656
cannam@135 657 class WaitScope {
cannam@135 658 // Represents a scope in which asynchronous programming can occur. A `WaitScope` should usually
cannam@135 659 // be allocated on the stack and serves two purposes:
cannam@135 660 // * While the `WaitScope` exists, its `EventLoop` is registered as the current loop for the
cannam@135 661 // thread. Most operations dealing with `Promise` (including all of its methods) do not work
cannam@135 662 // unless the thread has a current `EventLoop`.
cannam@135 663 // * `WaitScope` may be passed to `Promise::wait()` to synchronously wait for a particular
cannam@135 664 // promise to complete. See `Promise::wait()` for an extended discussion.
cannam@135 665
cannam@135 666 public:
cannam@135 667 inline explicit WaitScope(EventLoop& loop): loop(loop) { loop.enterScope(); }
cannam@135 668 inline ~WaitScope() { loop.leaveScope(); }
cannam@135 669 KJ_DISALLOW_COPY(WaitScope);
cannam@135 670
cannam@135 671 private:
cannam@135 672 EventLoop& loop;
cannam@135 673 friend class EventLoop;
cannam@135 674 friend void _::waitImpl(Own<_::PromiseNode>&& node, _::ExceptionOrValue& result,
cannam@135 675 WaitScope& waitScope);
cannam@135 676 };
cannam@135 677
cannam@135 678 } // namespace kj
cannam@135 679
cannam@135 680 #include "async-inl.h"
cannam@135 681
cannam@135 682 #endif // KJ_ASYNC_H_