package index
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=cd80c43fd046b3d405b567eed237ad25450140e931d1eef5015ee6af74362ba9
sha512=1f9a7f02309450c0c64b2b92ef1ef367b10fae65af7ff451976c8fef7c88929527e4561bea8360e9dd34af50187c816f1ab716e234d24a81b43ca718e0b52ee2
CHANGES.md.html
1.2.1 (2020-06-24)
Added
Added
Index_unix.Syscalls
, a module exposing various Unix bindings for interacting with file-systems.
Fixed
Fail when
Index_unix.IO
file version number is not as expected.Fixed creation of an index when an empty
data
file exists.
1.2.0 (2020-02-25)
Added
Added
filter
, removing bindings depending on a predicate (#165)
Changed
Parameterise
Index.Make
over arbitrary mutex and thread implementations (and remove the obligation forIO
to provide this functionality). (#160, #161)
1.1.0 (2019-12-21)
Changed
Improve the cooperativeness of the
merge
operation, allowing concurrent read operations to share CPU resources with ongoing merges. (#152)Improve speed of read operations for read-only instances. (#141)
Removed
Remove
force_merge
fromIndex.S
, due to difficulties with guaranteeing sensible semantics to this function under MRSW access patterns. (#147, #150)
1.0.1 (2019-11-29)
Added
Provide a better CLI interface for the benchmarks (#130, #133)
Fixed
Fix a segmentation fault when using musl <= 1.1.20 by not allocating 64k-byte buffers on the thread stack (#132)
Do not call
pwrite
withlen=0
(#131)Clear
log.mem
onclose
(#135)Load
log_async
on startup (#136)
1.0.0 (2019-11-14)
First stable release.