_RunAsync

[Source]

actor tag _RunAsync is
  _Runner tag

Implements

• _Runner tag

Constructors

create

[Source]

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

Parameters

• ponybench: PonyBench tag
• benchmark: AsyncMicroBenchmark iso
• overhead: Bool val

Returns

• _RunAsync tag^

Public Behaviours

apply

[Source]

be apply()

Private Behaviours

_before_done_cont

[Source]

be _before_done_cont(
  e: U64 val)

Parameters

• e: U64 val

_before_iteration_done_cont

[Source]

be _before_iteration_done_cont(
  e: U64 val)

Parameters

• e: U64 val

_run_iteration

[Source]

be _run_iteration()

_iteration_done_cont

[Source]

be _iteration_done_cont(
  e: U64 val)

Parameters

• e: U64 val

_after_iteration_done_cont

[Source]

be _after_iteration_done_cont(
  e: U64 val)

Parameters

• e: U64 val

_after_done_cont

[Source]

be _after_done_cont(
  e: U64 val)

Parameters

• e: U64 val

_fail

[Source]

be _fail()

Private Functions

_gc_next_behavior

[Source]

fun ref _gc_next_behavior()
: None val

Returns

• None val