| /freebsd/sys/dev/xen/gntdev/ |
| H A D | gntdev.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| /freebsd/sys/dev/xen/privcmd/ |
| H A D | privcmd.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| /freebsd/sys/vm/ |
| H A D | sg_pager.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | device_pager.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | vm_kern.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | vm_page.h | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | vm_fault.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | vm_object.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| H A D | vm_page.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| /freebsd/sys/dev/drm2/ttm/ |
| H A D | ttm_bo_vm.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| /freebsd/sys/dev/netmap/ |
| H A D | netmap_freebsd.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|
| /freebsd/sys/compat/linuxkpi/common/src/ |
| H A D | linux_compat.c | diff 3cf3b4e6419d14ed25c0b67b84763b3be937c8b5 Sun Dec 22 07:56:44 CET 2019 Jeff Roberson <jeff@FreeBSD.org> Make page busy state deterministic on free. Pages must be xbusy when
removed from objects including calls to free. Pages must not be xbusy
when freed and not on an object. Strengthen assertions to match these
expectations. In practice very little code had to change busy handling
to meet these rules but we can now make stronger guarantees to busy
holders and avoid conditionally dropping busy in free.
Refine vm_page_remove() and vm_page_replace() semantics now that we have
stronger guarantees about busy state. This removes redundant and
potentially problematic code that has proliferated.
Discussed with: markj
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D22822
|