private void readHeader(FastInputStream fis) throws IOException {
// read existing header
fis = fis != null ? fis : new ChannelFastInputStream(channel, 0);
LogCodec codec = new LogCodec(resolver);
Map header = (Map) codec.unmarshal(fis);
fis.readInt(); // skip size
// needed to read other records
synchronized (this) {
globalStringList = (List<String>) header.get("strings");
globalStringMap = new HashMap<>(globalStringList.size());
for (int i = 0; i < globalStringList.size(); i++) {
globalStringMap.put(globalStringList.get(i), i + 1);
}
}
}
