Error with large size cell_map on 32bit architecture
The testing branch: https://gitlab.com/proof_ninja/plebeia/-/commits/yoshihiro503@32bit-testing-without-haclstar
The testing using 4GiB size cell_map
How to test using docker
git clone -b yoshihiro503@32bit-testing-without-haclstar https://gitlab.com/proof_ninja/plebeia.git
cd plebeia/docker
ducker build -t plebeia32bit .
docker run -it plebeia32bit
opam@2719e8e00e2f:~/opam-repository/plebeia$ dune exec tests/test_cell_map.exe
The error
Testing `cell_map'.
This run has ID `8979FB20-3EE9-431F-B919-FA56D5B78126'.
... cell_map 0 test_get_cells.
Killed
Ideas
- It is good to divide the area of the file into several parts and manage them
- If they have everything as mmap, they will run out of memory space
- Need a mechanism to load and release to mmap as needed
- Because old parts of the file are not accessed very often, so frequent load/release may not occur
- The first 96 bytes of the file are frequently accessed in the header, so this should be a small mmap that is not released
c.f.
Edited by yoshihiro503