package index
A platform-agnostic multi-level index for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
index-1.6.2.tbz
sha256=9388835098a4ed44eeced070ed86855c049df12a98311d4980b9b724ecab8860
sha512=2e3052aac2a3ee4190e5cbc914d37904d589997463b22023d31e6b75e21d779342088324a9b42d1854bf7131f32f3e75f6f9cc2cb214d79dd2baa0b4cc2eaad3
doc/CHANGES.html
1.6.2
Changed
- Update for compatibility with
mtime.2.0.0
, which is now the lower bounds (#392, @patricoferris)
1.6.1 (2022-06-08)
Added
- Support all version of cmdliner (#386)
Fixed
- Make
index-bench
'sbench
executable private, avoiding executable name collisions in opam-monorepo projects. (#389, @NathanReb)
1.6.0 (2022-02-12)
Added
- Added a
Raw.Header_prefix
function, for use by libraries that share the file format used byindex.unix
. (#378)
1.5.0 (2021-11-09)
Changed
- The benchmarks now use
tezos-base58
instead oftezos-context-hash
(#367) - Add an LRU to cache the result of
Index.find
operations. The default LRU capacity is 30_000 entries. (#366)
1.4.2 (2021-10-15)
Fixed
- Fix stats recording in
Raw.unsafe_write
(#351)
Changed
- Changed the implementation of the write-ahead log to significantly reduce its memory usage (at the cost of some additional disk IO). (#355)
1.4.1 (2021-07-16)
Fixed
- Proper cleaning of merge file descriptors when aborting a merge (#326)
- Recover from crash of the merge thread. When this happen, the main thread can continue to run and will need to recover from the crash before doing a new merge. This fixes a critical issue which might cause data loss (#339)
- Make sure that no entries can disappear for read-only instances during log_async recovery (#338)
1.4.0 (2021-06-16)
Fixed
- Fixed a crash-consistency bug due to a potential flush of an incomplete entry to disk. Entries are now flushed as complete strings. (#301)
- Attempt to recover from
log_async
invariant violations during an explicit sync operation, rather than failing immediately. (#329)
Changed
- Release overly defensive warnings occuring when pre-fetching the disk. (#322)
- Optimised the in-memory representation of index handles and intermediate buffers, resulting in a significant reduction in memory use. (#273, #279)
- Benches are now executed 3 times and a new option
nb-exec
has been added (#292) Index.Make
now requires an implementation of a monotonic time source. (#321)- The
Index.Make
functor now takes a singlePlatform
argument containing all system dependencies (i.e.IO
,Clock
,Semaphore
andThread
). ThePlatform
module holds the necessary types for these modules. (#321, #330)
Added
- Added benchmarks that replay a trace of index operations. (#300)
- Log reporter for the benches
1.3.1 (2021-04-29)
Fixed
- Reduce allocations during merge (#274, #277)
- Protect concurrent syncs with a lock (#309)
- Fixed a performance issue for
Index.sync
when there is a blocking merge in progress: thelog_async
file was not cached properly and fully reloaded from disk every time. (#310) - Release the merge lock if a merge raises an exception (#312)
- Added fsync after
Index.clear
to signal more quickly to read-only instances than something has changed in the file (#308)
Changed
- Specialise
IO.v
to create read-only or read-write instances. (#291) clear
removes the files on disks and opens new ones containing only the header. (#288, #307, #317)
1.3.0 (2021-01-05)
Added
- Added
flush_callback
parameter to the creation of a store, to register a callback before a flush. This callback can be temporarily disabled by~no_callback:()
toflush
. (#189, #216) - Added
Stats.merge_durations
to list the duration of the last 10 merges. (#193) - Added
is_merging
to detect if a merge is running. (#192) - New
IO.Header.{get,set}
functions to read and write the file headers atomically (#175, #204, @icristescu, @CraigFe, @samoht) - Added a
throttle
configuration option to select the strategy to use when the cache are full and an async merge is already in progress. The current behavior is the (default)`Block_writes
strategy. The new`Overcommit_memory
does not block but continue to fill the cache instead. (#209, @samoht) - Add
IO.exists
obligation for IO implementations, to be used for lazy creation of IO instances. (#233, @CraigFe) Index.close
now takes an~immediately:()
argument. When passed, this causesclose
to terminate any ongoing asynchronous merge operation, rather than waiting for it to finish. (#185, #234)- Added
Index.Checks.cli
, which provides offline integrity checking of Index stores. (#236) Index.replace
now takes a~overcommit
argument to postpone a merge. (#253)Index.merge
is now part of the public API. (#253)Index.try_merge
is now part of the public API.try_merge' is a no-op if the number of entries in the write-ahead log is smaller than
log_size, otherwise it's
merge'. (#253 @samoht)
Changed
sync
has to be called by the read-only instance to synchronise with the files on disk. (#175)- Caching of
Index
instances is now explicit:Index.Make
requires a cache implementation, andIndex.v
may be passed a cache to be used for instance sharing. The default behaviour is not to share instances. (#188)
Fixed
- Added values after a clear are found by read-only instances. (#168)
- Fix a race between
merge
andsync
(#203, @samoht, @CraigFe) - Fix a potential loss of data if a crash occurs at the end of a merge (#232)
- Fix
Index.iter
to only iterate once over elements persisted on the disk (#260, @samoht, @icristescu)
1.2.1 (2020-06-24)
Added
- Added
Index_unix.Syscalls
, a module exposing various Unix bindings for interacting with file-systems. (#176)
Fixed
- Fail when
Index_unix.IO
file version number is not as expected. (#178) - Fixed creation of an index when an empty
data
file exists. (#173)
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page