STAPL Runtime System RMI execution context management. More...
Functions | |
| void | push_base (context &) |
| Pushes a base context on the stack. | |
| void | pop_base (context &) |
| Pops the base context from the stack. | |
| void | push_placeholder (boost::optional< context > &) |
| Pushes a placeholder for a new context on the stack. More... | |
| void | pop_placeholder (void) |
| Pops the placeholder from the stack. | |
| void | switch_to (location_md &, boost::optional< context > &) |
Switches to the base context of l. More... | |
| void | unswitch (void) |
| Unswitches from the context on the stack. More... | |
| context & | get (void) |
| Returns the current context from the stack. More... | |
| context & | base_of_top (void) |
| Returns the base context of the context at the top of the stack. | |
| context * | try_get (void) noexcept |
| Returns a pointer to the current context from the stack. More... | |
| context_id const & | get_id (void) |
| Returns the current context id from the stack. More... | |
| location_md * | try_get_location_md (const gang_id) noexcept |
Returns a pointer to the location metadata of the given gang id if it is in the stack, otherwise nullptr. | |
| bool | can_restore (location_md &l) |
Returns true if the execution can be restored for location l. More... | |
STAPL Runtime System RMI execution context management.
1.8.13