Differential D23283

Consistently use vm_page_valid() to validate pages.
ClosedPublic
Actions

Authored by jeff on Jan 20 2020, 6:43 PM.

Tags

None

Referenced Files

	Unknown Object (File)
	Oct 2 2024, 6:01 AM

	Unknown Object (File)
	Sep 18 2024, 9:31 PM

	Unknown Object (File)
	Sep 9 2024, 10:01 PM

	Unknown Object (File)
	Sep 5 2024, 3:27 PM

	Unknown Object (File)
	Aug 27 2024, 2:55 PM

	Unknown Object (File)
	Jul 30 2024, 8:15 AM

	Unknown Object (File)
	Apr 30 2024, 3:36 PM

	Unknown Object (File)
	Dec 22 2023, 10:43 PM

View All 21 Files

Subscribers

Details

Reviewers

alc
dougm
kib
markj

Commits

rS357017: Consistently use busy and vm_page_valid() rather than touching page bits

Summary

None of these are strictly necessary from a correctness POV. This simply makes things easier to write asserts for and reason about. Note that NOBUSY grab calls still serialize against XBUSY in case the xbusy holder is removing the page. So this is not actually introducing new serialization, it's just not released inside the grab call but instead inside the caller after the page has been set valid. I believe these are the final places in tree that directly set VM_PAGE_BITS_ALL.

In the future I may use vm_page_valid() to set a bit in the busy lock indicating validity which will allow me to optimize busy for mapping.

Diff Detail

Repository

rS FreeBSD src repository - subversion

Lint

Lint Not Applicable

Unit

Tests Not Applicable

Event Timeline

jeff created this revision.Jan 20 2020, 6:43 PM

Harbormaster completed remote builds in B28794: Diff 67061.Jan 20 2020, 6:43 PM

jeff edited the summary of this revision. (Show Details)Jan 20 2020, 6:50 PM

jeff added reviewers: alc, dougm, kib, markj.

jeff set the repository for this revision to rS FreeBSD src repository - subversion.

Herald added a subscriber: imp. · View Herald TranscriptJan 20 2020, 6:50 PM

kib accepted this revision.Jan 20 2020, 9:25 PM

This revision is now accepted and ready to land.Jan 20 2020, 9:25 PM

markj accepted this revision.Jan 20 2020, 11:38 PM

Closed by commit rS357017: Consistently use busy and vm_page_valid() rather than touching page bits (authored by jeff). · Explain WhyJan 23 2020, 4:55 AM

This revision was automatically updated to reflect the committed changes.

jeff added a commit: rS357017: Consistently use busy and vm_page_valid() rather than touching page bits.

Revision Contents
Changeset List

Path

Size

head/

sys/

dev/

spibus/

5 lines

kern/

5 lines

kern_sendfile.c

2 lines

vm/

10 lines

15 lines

Diff 67175

head/sys/dev/spibus/spigen.c

Loading...

head/sys/kern/kern_kcov.c

Loading...

head/sys/kern/kern_sendfile.c

Loading...

head/sys/vm/vm_glue.c

Loading...

head/sys/vm/vm_kern.c

Loading...