class ExecutionDomain

The async_dispatcher_t* for the loop running this domain.

The fpromise::executor for the loop running this domain. Useful for scheduling

fpromise::promises for this domain.

The name of this domain.

The `ThreadToken` that can be used to use static analysis to assert certain data members

are only accessed on this thread.

Ex:

class Foo {

public:

void TouchData() {

async::PostTask(domain_->dispatcher(), [] {

OBTAIN_EXECUTION_DOMAIN_TOKEN(token, domain_);

// This is now allowed since we've obtained the capability guarding `data_`.

data_.Mutate();

});

// This would be a compile-time error as we have not acquired the capability guarding

// `data_`.

//

// data_.Touch();

}

private:

ExecutionDomain* domain_;

Data data_ __TA_GUARDED(domain_->token());

};

Convenience access to post a task to this domains dispatcher.

Ex, we can write:

threading_model().FidlDomain().PostTask([] {...});

Instead of:

async::PostTask(threading_model().FidlDomain().dispatcher(), [] {...});

Convenience access to schedule a task to this domains executor.

Ex, we can write:

threading_model().FidlDomain().ScheduleTask(...);

Instead of:

threading_model().FidlDomain().executor().schedule_task(...);