Trying to use vector_load_from_binary_file() results in:
verify_address: addrvec = 0xffffffff6fc00000 block_size = 260000000
verify_address: address 0xffffffff6fc00000 has no physical page associated with it
Allocated Address was not in a physical page
Did not get single physical page for size 260000000 bytes
verify_address: addrvec = 0xffffffff6d400000 block_size = 40000000
verify_address: address 0xffffffff6d400000 has no physical page associated with it
Did not get single physical page for size 40000000 bytes
Why it tries to get single page for whole file?
vtimes = vector_load_from_binary_file("data/times.bin", STRING, size);
vvalues = vector_load_from_binary_file("data/values.bin", INTEGER, size);
Is there another way to load binary data from few hundreds megabytes file?
We are working on a fix that will let you load larger binary files. Sorry for any inconvenience.