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:
input
Future with a parameterized element type
Results:
output
any type
RT.build_return_ptr_placeholder
(::mlir::concretelang::RT::BuildReturnPtrPlaceholderOp)
RT.build_return_ptr_placeholder
(::mlir::concretelang::RT::BuildReturnPtrPlaceholderOp)Results:
output
Pointer to a parameterized element type
RT.clone_future
(::mlir::concretelang::RT::CloneFutureOp)
RT.clone_future
(::mlir::concretelang::RT::CloneFutureOp)Interfaces: AllocationOpInterface, MemoryEffectOpInterface
Operands:
input
Future with a parameterized element type
Results:
output
Future with a parameterized element type
RT.create_async_task
(::mlir::concretelang::RT::CreateAsyncTaskOp)
RT.create_async_task
(::mlir::concretelang::RT::CreateAsyncTaskOp)Create a dataflow task.
Attributes:
workfn
::mlir::SymbolRefAttr
symbol reference attribute
Operands:
list
any type
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:
inputs
any type
Results:
outputs
any type
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:
values
any type
RT.deallocate_future_data
(::mlir::concretelang::RT::DeallocateFutureDataOp)
RT.deallocate_future_data
(::mlir::concretelang::RT::DeallocateFutureDataOp)Operands:
input
Future with a parameterized element type
RT.deallocate_future
(::mlir::concretelang::RT::DeallocateFutureOp)
RT.deallocate_future
(::mlir::concretelang::RT::DeallocateFutureOp)Operands:
input
any type
RT.deref_return_ptr_placeholder
(::mlir::concretelang::RT::DerefReturnPtrPlaceholderOp)
RT.deref_return_ptr_placeholder
(::mlir::concretelang::RT::DerefReturnPtrPlaceholderOp)Operands:
input
Pointer to a parameterized element type
Results:
output
Future with a parameterized element type
RT.deref_work_function_argument_ptr_placeholder
(::mlir::concretelang::RT::DerefWorkFunctionArgumentPtrPlaceholderOp)
RT.deref_work_function_argument_ptr_placeholder
(::mlir::concretelang::RT::DerefWorkFunctionArgumentPtrPlaceholderOp)Operands:
input
Pointer to a parameterized element type
Results:
output
any type
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:
input
any type
memrefCloned
any type
Results:
output
Future with a parameterized element type
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:
list
any type
RT.work_function_return
(::mlir::concretelang::RT::WorkFunctionReturnOp)
RT.work_function_return
(::mlir::concretelang::RT::WorkFunctionReturnOp)Operands:
in
any type
out
any type
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:
elementType
Type
PointerType
Pointer to a parameterized element type
Parameters:
elementType
Type
Last updated
Was this helpful?