package moonpool
Pools of threads supported by a pool of domains
Install
Dune Dependency
Authors
Maintainers
Sources
moonpool-0.7.tbz
sha256=c4a1f974200530ab7f6014de3a369fdbb260ff454183640f32e51ba3fec51b15
sha512=865daabb96e3d60f88ecee9fc9030dad8b257fff4121b404e882d8a8d6687b737beb6e22366f52eb14e770dfab28b326853a1d3d883fa19bbd791d8450b40f8b
doc/moonpool.private/Moonpool_private/Ws_deque_/index.html
Module Moonpool_private.Ws_deque_
Source
Work-stealing deque.
Adapted from "Dynamic circular work stealing deque", Chase & Lev.
However note that this one is not dynamic in the sense that there is no resizing. Instead we return false
when push
fails, which keeps the implementation fairly lightweight.
Deque containing values of type 'a
Push value at the bottom of deque. returns true
if it succeeds. This must be called only by the owner thread.
Pop value from the bottom of deque. This must be called only by the owner thread.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>