Re: Pageout not succeeding

[Samuel Thibault <sthibault@debian.org>]

Hello,

Michael Kelly, le mar. 27 mai 2025 15:22:27 +0100, a ecrit:
> I've been looking at why the page out to the default pager isn't currently
> working.

Thanks!

I don't have the time to look a the details right, now, but already
asking:


> diff -r git/gnumach/kern/slab.c gnumach/kern/slab.c
> 368a369
> >     thread_t thread = current_thread();

Could you please add the -u option to diff? Otherwise we don't have the
context and it's extremely risky to apply a patch without context :)

Thanks,
Samuel

> 373a375,377
> >     if (thread)
> >         thread->vm_privilege++;
> >
> 374a379,381
> >
> >     if (thread)
> >         thread->vm_privilege--;
> 
> diff -r git/gnumach/vm/vm_page.c gnumach/vm/vm_page.c
> 371,374c371
> <     if (vm_page_alloc_paused && current_thread()
> <         && !current_thread()->vm_privilege) {
> <         return NULL;
> <     } else if (seg->nr_free_pages <= seg->low_free_pages) {
> ---
> >     if (seg->nr_free_pages <= seg->low_free_pages) {
> 1138a1136
> >     object = NULL;
> 1213c1211
> <     if (double_paging && !object->pager_initialized) {
> ---
> >     if (!object->pager_initialized) {
> 1217c1215
> <     if (double_paging && !object->pager_initialized) {
> ---
> >     if (!object->pager_initialized) {
> 1221c1219
> <     if (double_paging && !object->pager_initialized) {
> ---
> >     if (!object->pager_initialized) {