diff --git a/site/guide.md b/site/guide.md index e376ca0..140f24f 100644 --- a/site/guide.md +++ b/site/guide.md @@ -283,7 +283,13 @@ Time Base Unmap: 8.37488886 ns where each line corresponds to one column in Figure 11 (in a different order). -Note that "Time Verified Unmap" is expected to be much higher than "Time Base Unmap" as there +Note that the performance numbers obtained on the CloudLab machine can differ somewhat from the +numbers in the paper, with our implementation outperforming the baseline by a greater margin. The +verified implementation is structured differently than the baseline, e.g. using a recursive function +to traverse the page table. Thus it is not surprising that the two implementations wouldn't be +affected equally by differences in the hardware. + +Also, note that "Time Verified Unmap" is expected to be much higher than "Time Base Unmap" as there is additional work done to 1) check whether the directory is empty, and 2) reclaim the directory memory. This is not done by the unverified implementation.