On Monday, 29 August 2022 at 07:04:49 UTC, bauss wrote:
Does anyone know what is happening here? It's really puzzling.

You probably need to flush the output.

That's a good idea. I gave it a shot, and the following doesn't seem to change anything unfortunately:

void writePage(PageId pageId, ubyte[PAGE_SIZE] pageData)
    synchronized (dbIOMutex.writer)
        dbFile.seek(pageId * PAGE_SIZE);

Reply via email to