annotate win64-msvc/include/kj/async.h @ 169:223a55898ab9 tip default

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