mirror of
https://github.com/c-cube/tiny_httpd.git
synced 2026-01-22 01:06:41 -05:00
12 lines
4.5 KiB
HTML
12 lines
4.5 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DLS (ocaml.Stdlib.Domain.DLS)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../../index.html">Index</a> » <a href="../../../index.html">ocaml</a> » <a href="../../index.html">Stdlib</a> » <a href="../index.html">Domain</a> » DLS</nav><header class="odoc-preamble"><h1>Module <code><span>Domain.DLS</span></code></h1><p>Domain-local Storage</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-key"><a href="#type-key" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a key</span></span></code></div><div class="spec-doc"><p>Type of a DLS key</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-new_key"><a href="#val-new_key" class="anchor"></a><code><span><span class="keyword">val</span> new_key : <span><span class="optlabel">?split_from_parent</span>:<span>(<span><span class="type-var">'a</span> <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span><span>(<span>unit <span class="arrow">-></span></span> <span class="type-var">'a</span>)</span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <a href="#type-key">key</a></span></span></code></div><div class="spec-doc"><p><code>new_key f</code> returns a new key bound to initialiser <code>f</code> for accessing domain-local variables.</p><p>If <code>split_from_parent</code> is not provided, the value for a new domain will be computed on-demand by the new domain: the first <code>get</code> call will call the initializer <code>f</code> and store that value.</p><p><b>Warning.</b> <code>f</code> may be called several times if another call to <code>get</code> occurs during initialization on the same domain. Only the 'first' value computed will be used, the other now-useless values will be discarded. Your initialization function should support this situation, or contain logic to detect this case and fail.</p><p>If <code>split_from_parent</code> is provided, spawning a domain will derive the child value (for this key) from the parent value. This computation happens in the parent domain and it always happens, regardless of whether the child domain will use it. If the splitting function is expensive or requires child-side computation, consider using <code>'a Lazy.t key</code>:</p><pre class="language-ocaml"><code>let init () = ...
|
||
|
||
let split_from_parent parent_value =
|
||
... parent-side computation ...;
|
||
lazy (
|
||
... child-side computation ...
|
||
)
|
||
|
||
let key = Domain.DLS.new_key ~split_from_parent init
|
||
|
||
let get () = Lazy.force (Domain.DLS.get key)</code></pre><p>In this case a part of the computation happens on the child domain; in particular, it can access <code>parent_value</code> concurrently with the parent domain, which may require explicit synchronization to avoid data races.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get"><a href="#val-get" class="anchor"></a><code><span><span class="keyword">val</span> get : <span><span><span class="type-var">'a</span> <a href="#type-key">key</a></span> <span class="arrow">-></span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p><code>get k</code> returns <code>v</code> if a value <code>v</code> is associated to the key <code>k</code> on the calling domain's domain-local state. Sets <code>k</code>'s value with its initialiser and returns it otherwise.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-set"><a href="#val-set" class="anchor"></a><code><span><span class="keyword">val</span> set : <span><span><span class="type-var">'a</span> <a href="#type-key">key</a></span> <span class="arrow">-></span></span> <span><span class="type-var">'a</span> <span class="arrow">-></span></span> unit</span></code></div><div class="spec-doc"><p><code>set k v</code> updates the calling domain's domain-local state to associate the key <code>k</code> with value <code>v</code>. It overwrites any previous values associated to <code>k</code>, which cannot be restored later.</p></div></div></div></body></html>
|