git: f6ffed44a8eb - main - vm: use atomic fetchadd in vm_page_sunbusy
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 17 Aug 2022 10:36:32 UTC
The branch main has been updated by mjg: URL: https://cgit.FreeBSD.org/src/commit/?id=f6ffed44a8eb5d1ab89a18e60fb056aab2105be7 commit f6ffed44a8eb5d1ab89a18e60fb056aab2105be7 Author: Mateusz Guzik <mjg@FreeBSD.org> AuthorDate: 2022-08-05 14:27:55 +0000 Commit: Mateusz Guzik <mjg@FreeBSD.org> CommitDate: 2022-08-17 10:36:11 +0000 vm: use atomic fetchadd in vm_page_sunbusy This also fixes a bug where not-last unbusy failed to post a release fence. Reviewed by: markj (previous version), kib (previous version) Differential Revision: https://reviews.freebsd.org/D36084 --- sys/vm/vm_page.c | 26 ++++++-------------------- 1 file changed, 6 insertions(+), 20 deletions(-) diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index e7500e9d3e71..defcebb286ae 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -973,27 +973,13 @@ vm_page_sunbusy(vm_page_t m) { u_int x; - vm_page_assert_sbusied(m); - - x = vm_page_busy_fetch(m); - for (;;) { - KASSERT(x != VPB_FREED, - ("vm_page_sunbusy: Unlocking freed page.")); - if (VPB_SHARERS(x) > 1) { - if (atomic_fcmpset_int(&m->busy_lock, &x, - x - VPB_ONE_SHARER)) - break; - continue; - } - KASSERT((x & ~VPB_BIT_WAITERS) == VPB_SHARERS_WORD(1), - ("vm_page_sunbusy: invalid lock state")); - if (!atomic_fcmpset_rel_int(&m->busy_lock, &x, VPB_UNBUSIED)) - continue; - if ((x & VPB_BIT_WAITERS) == 0) - break; + atomic_thread_fence_rel(); + x = atomic_fetchadd_int(&m->busy_lock, -VPB_ONE_SHARER); + KASSERT(x != VPB_FREED, ("page %p is freed", m)); + KASSERT(x != VPB_UNBUSIED && (x & VPB_BIT_SHARED) != 0, + ("page %p not sbusied", m)); + if (x == (VPB_SHARERS_WORD(1) | VPB_BIT_WAITERS)) wakeup(m); - break; - } } /*