Page MenuHomeFreeBSD

pmap_quick_enter_page.9
ClosedPublic

Authored by jah on Aug 6 2015, 2:41 AM.
Tags
None
Referenced Files
Unknown Object (File)
Feb 26 2024, 10:02 PM
Unknown Object (File)
Feb 26 2024, 9:30 PM
Unknown Object (File)
Jan 9 2024, 8:13 PM
Unknown Object (File)
Jan 9 2024, 8:06 PM
Unknown Object (File)
Jan 9 2024, 8:06 PM
Unknown Object (File)
Jan 9 2024, 8:06 PM
Unknown Object (File)
Jan 9 2024, 8:06 PM
Unknown Object (File)
Jan 9 2024, 8:06 PM
Subscribers

Details

Summary

Create manpage for pmap_quick_enter_page() and pmap_quick_remove_page()

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage

Event Timeline

jah retitled this revision from to pmap_quick_enter_page.9.
jah updated this object.
jah edited the test plan for this revision. (Show Details)
share/man/man9/pmap_quick_enter_page.9
35

address space

47

I do not think that wired is any sort of requirement for the state of the page m. Caller must ensure that the page is not reused for something undesirable, but thats all. E.g., the page could be unmanaged, or it could be managed but held instead of wired, or it could be busy. Any of the listed condition are enough to keep the m content stable.

57

s/.$/, making the KVA frame used by pmap_quick_enter_page() available for reuse./

Or, some other way to say that the calling thread must not recurse into the dynamic region marked by pmap_quick_enter/remove.

63

This sentence does not describe implementation, it should be moved to the main body of the function description. In particular, main text must say that the region cannot be nested, that the locking cannot be used in the region, and remove must be called as soon as possible.

Also, the context where the function can be called should be mentioned (thread but not interrupt handler, no spinlock may be owned when called).

73

See above, this should be moved from notes.

78

'Cannot fail' claim must be also moved.

80

....

84

No.

93

I propose not to say this in the man page.

jah marked 9 inline comments as done.

Fixing the bugs kib pointed out

kib edited edge metadata.

Overall, it is fine WRT the content.

Note that the each sentence in the mdoc source should start on the new line.

share/man/man9/pmap_quick_enter_page.9
87

Note that even if the page is swapped, nothing wrong would happen with the mapping. Both the page and the *m are still there. It is up to the caller to decide is it worrying.

jah edited edge metadata.

Move each sentence to its own line

brueffer added inline comments.
share/man/man9/pmap_quick_enter_page.9
90

This .Pp is superfluous.

97

This is superfluous as well.

Please run mandoc -Tlint on the manpage, it catches these kind of things :-)

jah edited edge metadata.

Fix lint warnings

This revision is now accepted and ready to land.Aug 6 2015, 3:50 PM
share/man/man9/pmap_quick_enter_page.9
57

The "at" should be on a separate line:

.Fn pmap_quick_enter_page
at
80

"cannot fail" implies that they always work, but the next two sentences have some exceptions.

86

"is valid" is ambiguous for the reader, who might not know what that means. Maybe "in place" or "active" or something like that?

jah edited edge metadata.

Fix problems noted by wblock

This revision now requires review to proceed.Aug 6 2015, 8:40 PM
wblock edited edge metadata.

The man page changes look good to me. Before commit, please check with igor -R in addition to the mandoc -Tlint that brueffer mentioned. Thanks!

This revision is now accepted and ready to land.Aug 6 2015, 9:17 PM
This revision was automatically updated to reflect the committed changes.