Andreas Huber d4d3d01405 cache location of root node ...

The location of the root node is not cached in the nodeCache. So it had
to be read for every read or write access. We are still using a lock
when accessing the map. That makes it easy to cache the location.

2020-10-04 16:42:25 +02:00

..

src

cache location of root node

2020-10-04 16:42:25 +02:00

.gitignore

new implementation of an integer storage

2018-08-26 09:37:56 +02:00

build.gradle

merge projects file-utils, byte-utils and pdb-utils

2019-12-08 18:47:54 +01:00