Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 19 Aug 2019 21:59:02 +0000 (UTC)
From:      John Baldwin <jhb@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-stable@freebsd.org, svn-src-stable-12@freebsd.org
Subject:   svn commit: r351234 - in stable: 11/sys/vm 12/sys/vm
Message-ID:  <201908192159.x7JLx2Ur053288@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: jhb
Date: Mon Aug 19 21:59:02 2019
New Revision: 351234
URL: https://svnweb.freebsd.org/changeset/base/351234

Log:
  MFC 348874: Remove an overly-aggressive assertion.
  
  While it is true that the new vmspace passed to vmspace_switch_aio
  will always have a valid reference due to the AIO job or the extra
  reference on the original vmspace in the worker thread, it is not true
  that the old vmspace being switched away from will have more than one
  reference.
  
  Specifically, when a process with queued AIO jobs exits, the exit hook
  in aio_proc_rundown will only ensure that all of the AIO jobs have
  completed or been cancelled.  However, the last AIO job might have
  completed and woken up the exiting process before the worker thread
  servicing that job has switched back to its original vmspace.  In that
  case, the process might finish exiting dropping its reference to the
  vmspace before the worker thread resulting in the worker thread
  dropping the last reference.

Modified:
  stable/12/sys/vm/vm_map.c
Directory Properties:
  stable/12/   (props changed)

Changes in other areas also in this revision:
Modified:
  stable/11/sys/vm/vm_map.c
Directory Properties:
  stable/11/   (props changed)

Modified: stable/12/sys/vm/vm_map.c
==============================================================================
--- stable/12/sys/vm/vm_map.c	Mon Aug 19 21:45:25 2019	(r351233)
+++ stable/12/sys/vm/vm_map.c	Mon Aug 19 21:59:02 2019	(r351234)
@@ -453,18 +453,17 @@ vmspace_acquire_ref(struct proc *p)
 /*
  * Switch between vmspaces in an AIO kernel process.
  *
- * The AIO kernel processes switch to and from a user process's
- * vmspace while performing an I/O operation on behalf of a user
- * process.  The new vmspace is either the vmspace of a user process
- * obtained from an active AIO request or the initial vmspace of the
- * AIO kernel process (when it is idling).  Because user processes
- * will block to drain any active AIO requests before proceeding in
- * exit() or execve(), the vmspace reference count for these vmspaces
- * can never be 0.  This allows for a much simpler implementation than
- * the loop in vmspace_acquire_ref() above.  Similarly, AIO kernel
- * processes hold an extra reference on their initial vmspace for the
- * life of the process so that this guarantee is true for any vmspace
- * passed as 'newvm'.
+ * The new vmspace is either the vmspace of a user process obtained
+ * from an active AIO request or the initial vmspace of the AIO kernel
+ * process (when it is idling).  Because user processes will block to
+ * drain any active AIO requests before proceeding in exit() or
+ * execve(), the reference count for vmspaces from AIO requests can
+ * never be 0.  Similarly, AIO kernel processes hold an extra
+ * reference on their initial vmspace for the life of the process.  As
+ * a result, the 'newvm' vmspace always has a non-zero reference
+ * count.  This permits an additional reference on 'newvm' to be
+ * acquired via a simple atomic increment rather than the loop in
+ * vmspace_acquire_ref() above.
  */
 void
 vmspace_switch_aio(struct vmspace *newvm)
@@ -489,9 +488,6 @@ vmspace_switch_aio(struct vmspace *newvm)
 	/* Activate the new mapping. */
 	pmap_activate(curthread);
 
-	/* Remove the daemon's reference to the old address space. */
-	KASSERT(oldvm->vm_refcnt > 1,
-	    ("vmspace_switch_aio: oldvm dropping last reference"));
 	vmspace_free(oldvm);
 }
 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908192159.x7JLx2Ur053288>