Runtime dialect
Runtime dialect A dialect for representation the abstraction needed for the runtime.
Operation definition
RT.await_future
(::mlir::concretelang::RT::AwaitFutureOp)
RT.await_future
(::mlir::concretelang::RT::AwaitFutureOp)Wait for a future and access its data.
The results of a dataflow task are always futures which could be further used as inputs to subsequent tasks. When the result of a task is needed in the outer execution context, the result future needs to be synchronized and its data accessed using RT.await_future
.
Operands:
Results:
RT.build_return_ptr_placeholder
(::mlir::concretelang::RT::BuildReturnPtrPlaceholderOp)
RT.build_return_ptr_placeholder
(::mlir::concretelang::RT::BuildReturnPtrPlaceholderOp)Results:
RT.clone_future
(::mlir::concretelang::RT::CloneFutureOp)
RT.clone_future
(::mlir::concretelang::RT::CloneFutureOp)Interfaces: AllocationOpInterface, MemoryEffectOpInterface
Operands:
Results:
RT.create_async_task
(::mlir::concretelang::RT::CreateAsyncTaskOp)
RT.create_async_task
(::mlir::concretelang::RT::CreateAsyncTaskOp)Create a dataflow task.
Attributes:
Operands:
RT.dataflow_task
(::mlir::concretelang::RT::DataflowTaskOp)
RT.dataflow_task
(::mlir::concretelang::RT::DataflowTaskOp)Dataflow task operation
RT.dataflow_task
allows to specify a task that will be concurrently executed when their operands are ready. Operands are either the results of computation in other RT.dataflow_task
(dataflow dependences) or obtained from the execution context (immediate operands). Operands are synchronized using futures and, in the case of immediate operands, copied when the task is created. Caution is required when the operand is a pointer as no deep copy will occur.
Example:
Traits: AutomaticAllocationScope, SingleBlockImplicitTerminator
Interfaces: AllocationOpInterface, MemoryEffectOpInterface, RegionBranchOpInterface
Operands:
Results:
RT.dataflow_yield
(::mlir::concretelang::RT::DataflowYieldOp)
RT.dataflow_yield
(::mlir::concretelang::RT::DataflowYieldOp)Dataflow yield operation
RT.dataflow_yield
is a special terminator operation for blocks inside the region in RT.dataflow_task
. It allows to specify the return values of a RT.dataflow_task
.
Example:
Traits: ReturnLike, Terminator
Operands:
RT.deallocate_future_data
(::mlir::concretelang::RT::DeallocateFutureDataOp)
RT.deallocate_future_data
(::mlir::concretelang::RT::DeallocateFutureDataOp)Operands:
RT.deallocate_future
(::mlir::concretelang::RT::DeallocateFutureOp)
RT.deallocate_future
(::mlir::concretelang::RT::DeallocateFutureOp)Operands:
RT.deref_return_ptr_placeholder
(::mlir::concretelang::RT::DerefReturnPtrPlaceholderOp)
RT.deref_return_ptr_placeholder
(::mlir::concretelang::RT::DerefReturnPtrPlaceholderOp)Operands:
Results:
RT.deref_work_function_argument_ptr_placeholder
(::mlir::concretelang::RT::DerefWorkFunctionArgumentPtrPlaceholderOp)
RT.deref_work_function_argument_ptr_placeholder
(::mlir::concretelang::RT::DerefWorkFunctionArgumentPtrPlaceholderOp)Operands:
Results:
RT.make_ready_future
(::mlir::concretelang::RT::MakeReadyFutureOp)
RT.make_ready_future
(::mlir::concretelang::RT::MakeReadyFutureOp)Build a ready future.
Data passed to dataflow tasks must be encapsulated in futures, including immediate operands. These must be converted into futures using RT.make_ready_future
.
Interfaces: AllocationOpInterface, MemoryEffectOpInterface
Operands:
Results:
RT.register_task_work_function
(::mlir::concretelang::RT::RegisterTaskWorkFunctionOp)
RT.register_task_work_function
(::mlir::concretelang::RT::RegisterTaskWorkFunctionOp)Register the task work-function with the runtime system.
Operands:
RT.work_function_return
(::mlir::concretelang::RT::WorkFunctionReturnOp)
RT.work_function_return
(::mlir::concretelang::RT::WorkFunctionReturnOp)Operands:
Type definition
FutureType
Future with a parameterized element type
The value of a !RT.future
type represents the result of an asynchronous operation.
Examples:
Parameters:
PointerType
Pointer to a parameterized element type
Parameters:
Last updated