3 Transient Values
A transient value is a wrapper around a value allocated by a disposable that allows users of the value to have some limited control over its lifecycle. In particular, users of a transient may:
Eagerly dispose the value with transient-dispose
Replace the value with a fresh value allocated from the same disposable with transient-refresh
Directly access the value with transient-acquire, which may allocate a fresh value if the transient’s current value has already been disposed
Access the value only if it hasn’t been disposed with transient-get
Any disposable may be converted to a disposable of a transient value by using disposable-transient. Transients are intended for lightweight control of disposable allocation and deallocation in a way that cooperates with other disposable wrappers and combinators. For example, combining transients with disposable-pool allows values to be reused and allows clients to explicitly create and destroy pooled values if needed.
Transients are thread safe, but not thread isolated. A transient either contains one allocated value or contains no values, and multiple threads may call any of the above functions on transients without violating this consistency. However, the above functions will block if a new value needs to be allocated or deallocated. To acquire disposables in a thread isolated manner where each thread has unfettered access to its own private instance of a disposable, see acquire-virtual.
All of the bindings documented in this section are provided by disposable.
3.1 Definition and Construction
procedure
(transient? v) → boolean?
v : any/c
Added in version 0.3 of package disposable.
procedure
(transient/c c) → contract?
c : contract?
Added in version 0.3 of package disposable.
procedure
(disposable-transient disp) → (disposable/c transient?)
disp : disposable?
> (with-disposable ([t (disposable-transient example-disposable)]) (printf "Acquired transient: ~a\n" (transient-acquire t)) (transient-refresh t) (printf "Refreshed transient: ~a\n" (transient-acquire t)))
Allocated 89
Acquired transient: 89
Deallocated 89
Allocated 82
Refreshed transient: 82
Deallocated 82
Added in version 0.3 of package disposable.
3.2 Manipulating Transients
procedure
(transient-dispose t) → void?
t : transient?
After disposal of the value owned by t, calling transient-acquire will block on allocating a fresh value while transient-get will return #f.
> (with-disposable ([t (disposable-transient example-disposable)]) (transient-dispose t))
Allocated 82
Deallocated 82
Added in version 0.3 of package disposable.
procedure
(transient-acquire t) → any/c
t : transient?
> (with-disposable ([t (disposable-transient example-disposable)]) (transient-dispose t) (printf "Acquired transient: ~a\n" (transient-acquire t)))
Allocated 7
Deallocated 7
Allocated 22
Acquired transient: 22
Deallocated 22
Added in version 0.3 of package disposable.
procedure
(transient-get t) → any/c
t : transient?
> (with-disposable ([t (disposable-transient example-disposable)]) (transient-dispose t) (printf "Transient value: ~a\n" (transient-get t)))
Allocated 37
Deallocated 37
Transient value: #f
Added in version 0.3 of package disposable.
procedure
(transient-refresh t) → any/c
t : transient?
> (with-disposable ([t (disposable-transient example-disposable)]) (printf "Refreshed value: ~a\n" (transient-refresh t)))
Allocated 90
Deallocated 90
Allocated 47
Refreshed value: 47
Deallocated 47
Added in version 0.3 of package disposable.