ssrg-vt / hermitux

A binary-compatible unikernel
https://ssrg-vt.github.io/hermitux/
391 stars 28 forks source link

Support more than 64 cores #16

Open olivierpierre opened 3 years ago

olivierpierre commented 3 years ago

OMP benchmarks fail when the number of cores supported is increased above 64. This can be done when configuring the kernel with cmake:

cmake -DMAX_CORES=128 <path to the kernel sources>

An example of benchmark that fails is bots' nqueens.

It looks like the kernel does not fit anymore below 0x400000:

[0.000][0:0][INFO] vma_init: reserve vma region 0x200000 - 0x600000
[0.000][0:0][WARNING] Failed to initialize VMA regions: -22