Skip to content

[DP-71] Can we avoid using System.Timeout to handle timeouts #224

Open
@qnikst

Description

@qnikst

[Imported from JIRA. Reported by Tim Watson [Administrator] @hyperthunk) as DP-71 on 2013-03-11 16:22:25]
As per https://github.com/snoyberg/posa-chapter/blob/master/warp.md#performance-of-warp, the built in timeout functionality is quite expensive (requiring an additional user thread). Is it possible we might garner something from their timeout-manager implementation and do something similar for CH?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions