Support more than 64 cores
olivierpierre opened this issue · 0 comments
olivierpierre commented
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