Skip to content

_RunAsync

[Source]

actor tag _RunAsync is
  _Runner tag

Implements


Constructors

create

[Source]

new tag create(
  ponybench: PonyBench tag,
  benchmark: AsyncMicroBenchmark iso,
  overhead: Bool val)
: _RunAsync tag^

Parameters

Returns


Public Behaviours

apply

[Source]

be apply()

Private Behaviours

_before_done_cont

[Source]

be _before_done_cont(
  e: U64 val)

Parameters


_before_iteration_done_cont

[Source]

be _before_iteration_done_cont(
  e: U64 val)

Parameters


_run_iteration

[Source]

be _run_iteration()

_iteration_done_cont

[Source]

be _iteration_done_cont(
  e: U64 val)

Parameters


_after_iteration_done_cont

[Source]

be _after_iteration_done_cont(
  e: U64 val)

Parameters


_after_done_cont

[Source]

be _after_done_cont(
  e: U64 val)

Parameters


_fail

[Source]

be _fail()

Private Functions

_gc_next_behavior

[Source]

fun ref _gc_next_behavior()
: None val

Returns