saealib.execution.RuntimeRegistry#

class saealib.execution.RuntimeRegistry(registrations=())[source]#

Bases: object

Runtime selection errors on conflict; compiler rules do not select a runtime.

Parameters:

registrations (tuple[RuntimeRegistration, ...])

Methods

__init__

create

Select and instantiate the unique matching provider.

offered_capabilities

Return the effective offer from the selected runtime provider.

register

Add a uniquely named runtime provider.

registrations

Return registered providers in registration order.

replace

Replace the uniquely named runtime provider under name.

unregister

Remove the runtime provider registered under name.

Method Details

RuntimeRegistry.__init__(registrations=())[source]#
Parameters:

registrations (tuple[RuntimeRegistration, ...])

Return type:

None

RuntimeRegistry.create(optimizer, plan)[source]#

Select and instantiate the unique matching provider.

Parameters:
Return type:

ExecutionRuntime

RuntimeRegistry.offered_capabilities(optimizer)[source]#

Return the effective offer from the selected runtime provider.

Parameters:

optimizer (object)

Return type:

frozenset[str]

RuntimeRegistry.register(registration)[source]#

Add a uniquely named runtime provider.

Parameters:

registration (RuntimeRegistration)

Return type:

None

RuntimeRegistry.registrations()[source]#

Return registered providers in registration order.

Return type:

tuple[RuntimeRegistration, …]

RuntimeRegistry.replace(name, registration)[source]#

Replace the uniquely named runtime provider under name.

Parameters:
Return type:

None

RuntimeRegistry.unregister(name)[source]#

Remove the runtime provider registered under name.

Parameters:

name (str)

Return type:

None