mtx_pool_unlock(9) mutex pool routines

Other Alias

mtx_pool, mtx_pool_alloc, mtx_pool_find, mtx_pool_lock, mtx_pool_lock_spin, mtx_pool_unlock_spin, mtx_pool_create, mtx_pool_destroy


In sys/param.h In sys/lock.h In sys/mutex.h Ft struct mtx * Fn mtx_pool_alloc struct mtx_pool *pool Ft struct mtx * Fn mtx_pool_find struct mtx_pool *pool void *ptr Ft void Fn mtx_pool_lock struct mtx_pool *pool void *ptr Ft void Fn mtx_pool_lock_spin struct mtx_pool *pool void *ptr Ft void Fn mtx_pool_unlock struct mtx_pool *pool void *ptr Ft void Fn mtx_pool_unlock_spin struct mtx_pool *pool void *ptr Ft struct mtx_pool * Fn mtx_pool_create const char *mtx_name int pool_size int opts Ft void Fn mtx_pool_destroy struct mtx_pool **poolp


Mutex pools are designed to be used as short term leaf mutexes; i.e., the last mutex one might acquire before calling mtx_sleep9. They operate using a shared pool of mutexes. A mutex may be chosen from the pool based on a supplied pointer, which may or may not point to anything valid, or the caller may allocate an arbitrary shared mutex from the pool and save the returned mutex pointer for later use.

The shared mutexes in the mtxpool_sleep mutex pool, which is created by default, are standard, non-recursive, blockable mutexes, and should only be used in appropriate situations. The mutexes in the mtxpool_lockbuilder mutex pool are similar, except that they are initialized with the MTX_NOWITNESS flag so that they may be used to build higher-level locks. Other mutex pools may be created that contain mutexes with different properties, such as spin mutexes.

The caller can lock and unlock mutexes returned by the pool routines, but since the mutexes are shared, the caller should not attempt to destroy them or modify their characteristics. While pool mutexes are normally leaf mutexes (meaning that one cannot depend on any ordering guarantees after obtaining one), one can still obtain other mutexes under carefully controlled circumstances. Specifically, if one has a private mutex (one that was allocated and initialized by the caller), one can obtain it after obtaining a pool mutex if ordering issues are carefully accounted for. In these cases the private mutex winds up being the true leaf mutex.

Pool mutexes have the following advantages:

  1. No structural overhead; i.e., they can be associated with a structure without adding bloat to it.
  2. Mutexes can be obtained for invalid pointers, which is useful when one uses mutexes to interlock destructor operations.
  3. No initialization or destruction overhead.
  4. Can be used with mtx_sleep9.

And the following disadvantages:

  1. Should generally only be used as leaf mutexes.
  2. Pool/pool dependency ordering cannot be guaranteed.
  3. Possible L1 cache mastership contention between CPUs.

Fn mtx_pool_alloc obtains a shared mutex from the specified pool. This routine uses a simple rover to choose one of the shared mutexes managed by the subsystem.

Fn mtx_pool_find returns the shared mutex associated with the specified address. This routine will create a hash out of the pointer passed into it and will choose a shared mutex from the specified pool based on that hash. The pointer does not need to point to anything real.

Fn mtx_pool_lock , Fn mtx_pool_lock_spin , Fn mtx_pool_unlock , and Fn mtx_pool_unlock_spin lock and unlock the shared mutex from the specified pool associated with the specified address; they are a combination of Fn mtx_pool_find and mtx_lock9, mtx_lock_spin9, mtx_unlock9, and mtx_unlock_spin9, respectively. Since these routines must first find the mutex to operate on, they are not as fast as directly using the mutex pointer returned by a previous invocation of Fn mtx_pool_find or Fn mtx_pool_alloc .

Fn mtx_pool_create allocates and initializes a new mutex pool of the specified size. The pool size must be a power of two. The Fa opts argument is passed to mtx_init9 to set the options for each mutex in the pool.

Fn mtx_pool_destroy calls mtx_destroy9 on each mutex in the specified pool, deallocates the memory associated with the pool, and assigns NULL to the pool pointer.


These routines first appeared in Fx 5.0 .