Skip to content

Commit

Permalink
Catch up with VM map reservations.
Browse files Browse the repository at this point in the history
As of CTSRD-CHERI/cheribsd@d25a09e
we don't need to pad mmap requests, the kernel does it for us.
  • Loading branch information
brooksdavis committed Apr 24, 2020
1 parent 7e96efb commit bc42dfd
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions cheri-c-programming.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1525,10 +1525,11 @@ \subsection{POSIX API changes}

\item[\cfunc{mmap} bounds] In CheriABI, the \cfunc{mmap} system
call returns a bounded capability to the allocated address space.
The requested mapping must be rounded up in length to ensure that the
returned capability does not overlap with unallocated (or otherwise
allocated) regions.
This currently requires code changes in consumers of \cfunc{mmap}.
To ensure the capability does not overlap other allocations,
lengths that would otherwise be unrepresentable are rounded up
and padded with a new type of guard pages.
These guard pages fault on access and may not be mapped over.
They are unmapped when the rest of the mapping is unmapped.

\item[\cfunc{mmap} permissions] The permissions of the capability
returned by \cfunc{mmap} are determined by a combination of the
Expand Down

0 comments on commit bc42dfd

Please sign in to comment.