13 Asynchronous model [async]

13.2 Requirements [async.reqmts]

13.2.7 Requirements on asynchronous operations [async.reqmts.async]

13.2.7.10 Outstanding work [async.reqmts.async.work]

1

Until the asynchronous operation has completed, the asynchronous operation shall maintain:

  • (1.1)

    an object work1 of type executor_work_guard<Executor1>, initialized as work1(ex1), and where work1.owns_work() == true; and

  • (1.2)

    an object work2 of type executor_work_guard<Executor2>, initialized as work2(ex2), and where work2.owns_work() == true.