search

project-dune / dune

MIT License
192 stars 61 forks source link

Add support for full physical address width #1

Closed kkaffes closed 7 years ago

kkaffes commented 7 years ago

Add support for full physical address width. It was removed by commit eb2568b7 because it caused unhandled page faults when dune_vm_page_walk() function was called. The guest now has access to 16GB proc, mmap and stack memory.

The best starting point is to go back to commit 590fe03 and reproduce the bug by running the benchmark suite.

aghosn commented 7 years ago

Hi, Can you gives us more information about how to reproduce the unhandled page faults that you mentioned (which benchmark, at what point in the execution etc.)? Thanks!

kkaffes commented 7 years ago

Sorry for the delay, you can reproduce it following the steps below:

  1. Checkout commit 590fe03: git checkout 590f03
  2. Compile kern and libdune: make kern libdune
  3. Compile benchmarks: cd bench && make
  4. Insert the kernel module: insmod kern/dune.ko
  5. Run bench_dune: ./bench_dune
kkaffes commented 7 years ago

It was addressed by #7 . Closing the issue.