Control.AutoUpdate

In a multithreaded environment, sharing results of actions can dramatically improve performance. For example, web servers need to return the current time with each HTTP response. For a high-volume server, it's much faster for a dedicated thread to run every second, and write the current time to a shared IORef, than it is for each request to make its own call to getCurrentTime.

But for a low-volume server, whose request frequency is less than once per second, that approach will result in more calls to getCurrentTime than necessary, and worse, kills idle GC.

This library solves that problem by allowing you to define actions which will either be performed by a dedicated thread, or, in times of low volume, will be executed by the calling thread.

Example usage:

import Data.Time
import Control.AutoUpdate

getTime <- mkAutoUpdate defaultUpdateSettings
             { updateAction = getCurrentTime
             , updateFreq = 1000000 -- The default frequency, once per second
             }
currentTime <- getTime

For more examples, see the blog post introducing this library.

Type

data UpdateSettings a

Settings to control how values are updated.

This should be constructed using defaultUpdateSettings and record update syntax, e.g.:

let settings = defaultUpdateSettings { updateAction = getCurrentTime }

Since: 0.1.0

defaultUpdateSettings :: UpdateSettings ()

Default value for creating an UpdateSettings.

Since: 0.1.0

Accessors

updateAction :: UpdateSettings a -> IO a

Action to be performed to get the current value.

Default: does nothing.

Since: 0.1.0

updateFreq :: UpdateSettings a -> Int

Microseconds between update calls. Same considerations as threadDelay apply.

Default: 1000000 microseconds (1 second)

Since: 0.1.0

updateSpawnThreshold :: UpdateSettings a -> Int

Obsoleted field.

Since: 0.1.0

updateThreadName :: UpdateSettings a -> String

Label of the thread being forked.

Default: AutoUpdate

Since: 0.2.2

Creation

mkAutoUpdate :: UpdateSettings a -> IO (IO a)

mkAutoUpdateWithModify :: UpdateSettings a -> (a -> IO a) -> IO (IO a)