genode/repos/gems/src
Norman Feske 854a154fb4 depot_query: cache file-system accesses
This patch introduces two caches to the depot-query tool.

- A stat cache remembers the results of 'Directory::file_exists'
  calls.

- The 'Cached_rom_query' caches the result of scanning the depot
  for a given ROM module and pkg path. To elminates the need to
  parse 'archive' files of pkgs referenced from other pkgs or
  for the repeated instantation of the same pkg.

Both caches are bypassed whenever referring to the 'local' depot user.

Fixes #3427
2019-07-09 08:58:38 +02:00
..
app depot_query: cache file-system accesses 2019-07-09 08:58:38 +02:00
lib vfs_trace: VFS plugin that offers trace buffer access 2019-07-09 08:55:23 +02:00
server Construct Terminal_session within with_libc 2019-06-13 12:22:49 +02:00
test timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00