Page MenuHomeFreeBSD

look for in-transition status in each map entry
ClosedPublic

Authored by dougm on Nov 16 2019, 6:30 AM.

Details

Summary

The loop in vm_map_protect that verifies that all transition map
entries are stabilized, repeatedly verifies the same entry. Check each
entry in turn.

Diff Detail

Lint
Lint Skipped
Unit
Unit Tests Skipped

Event Timeline

This revision is now accepted and ready to land.Nov 16 2019, 10:22 AM

The code is correct, but the summary is wrong.

dougm retitled this revision from look for protection violations in each map entry to look for in-transition status in each map entry.Nov 16 2019, 4:45 PM
dougm edited the summary of this revision. (Show Details)

Clean up the comment following the change.

This revision now requires review to proceed.Nov 16 2019, 5:16 PM
sys/vm/vm_map.c
2478

" ... but not yet have its MAP_ENTRY_USER_WIRED flag set and visible ...

dougm marked an inline comment as done.

While I think that this change is unquestionably correct, I would still ask Peter to test it.

sys/vm/vm_map.c
2479–2480

I think that the "and" clause can simply be deleted. In other worlds, we can simply say, "... flag set. In which case, we would fail to ..."

dougm added a subscriber: pho.

I tested D22405.64459.diff for 10 hours without seeing any problems.

This revision is now accepted and ready to land.Nov 17 2019, 6:46 AM