LocalComputeSearch

Purpose

Perform a search operation based on a given predicate within a specified time limit (timeout).

Type

Reception:

LocalComputeSearchV1

Records with fields:

• Predicate: PredicateV1

Predicate describing the search operation

• Timeout: TimeoutV1

Time limit after which the search operation will be terminated (if still running)

Triggers

LocalComputeSearchResultV1

Records with fields:

• Predicate: PredicateV1

Predicate describing the search operation

• Maybe[witness]: WitnessV1

The (optional) result value and evidence that this result satisfies the predicate.

Behavior

Perform the requested search operation and return the computation results.

Message Flow

sequenceDiagram

%% --8<-- [start:sequence]
Any Local Engine ->>+ Local Compute Engine: LocalComputeSearch
Local Compute Engine -->>- Any Local Engine: LocalComputeSearchResult
%% --8<-- [end:sequence]