Home | History | Annotate | Line # | Download | only in linux
linux_rwsem.c revision 1.4
      1  1.4  riastrad /*	$NetBSD: linux_rwsem.c,v 1.4 2021/12/19 11:21:54 riastradh Exp $	*/
      2  1.1  riastrad 
      3  1.1  riastrad /*-
      4  1.1  riastrad  * Copyright (c) 2021 The NetBSD Foundation, Inc.
      5  1.1  riastrad  * All rights reserved.
      6  1.1  riastrad  *
      7  1.1  riastrad  * Redistribution and use in source and binary forms, with or without
      8  1.1  riastrad  * modification, are permitted provided that the following conditions
      9  1.1  riastrad  * are met:
     10  1.1  riastrad  * 1. Redistributions of source code must retain the above copyright
     11  1.1  riastrad  *    notice, this list of conditions and the following disclaimer.
     12  1.1  riastrad  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.1  riastrad  *    notice, this list of conditions and the following disclaimer in the
     14  1.1  riastrad  *    documentation and/or other materials provided with the distribution.
     15  1.1  riastrad  *
     16  1.1  riastrad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  1.1  riastrad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  1.1  riastrad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  1.1  riastrad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  1.1  riastrad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  1.1  riastrad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  1.1  riastrad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  1.1  riastrad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  1.1  riastrad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  1.1  riastrad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  1.1  riastrad  * POSSIBILITY OF SUCH DAMAGE.
     27  1.1  riastrad  */
     28  1.1  riastrad 
     29  1.1  riastrad #include <sys/cdefs.h>
     30  1.4  riastrad __KERNEL_RCSID(0, "$NetBSD: linux_rwsem.c,v 1.4 2021/12/19 11:21:54 riastradh Exp $");
     31  1.1  riastrad 
     32  1.1  riastrad #include <sys/types.h>
     33  1.1  riastrad 
     34  1.1  riastrad #include <sys/condvar.h>
     35  1.1  riastrad #include <sys/lwp.h>
     36  1.3  riastrad #include <sys/lockdebug.h>
     37  1.1  riastrad #include <sys/rwlock.h>
     38  1.1  riastrad 
     39  1.1  riastrad #include <machine/limits.h>
     40  1.1  riastrad 
     41  1.1  riastrad #include <lib/libkern/libkern.h>
     42  1.1  riastrad 
     43  1.1  riastrad #include <linux/rwsem.h>
     44  1.1  riastrad 
     45  1.3  riastrad #define	RWSEM_WANTLOCK(RWSEM)						      \
     46  1.3  riastrad 	LOCKDEBUG_WANTLOCK((RWSEM)->rws_debug, (RWSEM),			      \
     47  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0), 0)
     48  1.3  riastrad #define	RWSEM_LOCKED_EX(RWSEM)						      \
     49  1.3  riastrad 	LOCKDEBUG_LOCKED((RWSEM)->rws_debug, (RWSEM), NULL,		      \
     50  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0), 0)
     51  1.3  riastrad #define	RWSEM_LOCKED_SH(RWSEM)						      \
     52  1.3  riastrad 	LOCKDEBUG_LOCKED((RWSEM)->rws_debug, (RWSEM), NULL,		      \
     53  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0), 1)
     54  1.3  riastrad #define	RWSEM_UNLOCKED_EX(RWSEM)					      \
     55  1.3  riastrad 	LOCKDEBUG_UNLOCKED((RWSEM)->rws_debug, (RWSEM),			      \
     56  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0), 0)
     57  1.3  riastrad #define	RWSEM_UNLOCKED_SH(RWSEM)					      \
     58  1.3  riastrad 	LOCKDEBUG_UNLOCKED((RWSEM)->rws_debug, (RWSEM),			      \
     59  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0), 1)
     60  1.3  riastrad 
     61  1.3  riastrad #ifdef LOCKDEBUG
     62  1.3  riastrad static void
     63  1.3  riastrad rwsem_dump(const volatile void *cookie, lockop_printer_t pr)
     64  1.3  riastrad {
     65  1.3  riastrad 	const volatile struct rw_semaphore *rwsem = cookie;
     66  1.3  riastrad 
     67  1.3  riastrad 	pr("%-13s: %p", "writer", rwsem->rws_writer);
     68  1.3  riastrad 	pr("%-13s: %u", "readers", rwsem->rws_readers);
     69  1.3  riastrad 	pr("%-13s: %s", "writewanted", rwsem->rws_writewanted ? "yes" : "no");
     70  1.3  riastrad }
     71  1.3  riastrad 
     72  1.3  riastrad static lockops_t rwsem_lockops = {
     73  1.3  riastrad 	.lo_name = "Linux read/write semaphore",
     74  1.3  riastrad 	.lo_type = LOCKOPS_SLEEP,
     75  1.3  riastrad 	.lo_dump = rwsem_dump,
     76  1.3  riastrad };
     77  1.3  riastrad #endif
     78  1.3  riastrad 
     79  1.1  riastrad void
     80  1.1  riastrad init_rwsem(struct rw_semaphore *rwsem)
     81  1.1  riastrad {
     82  1.1  riastrad 
     83  1.2  riastrad 	mutex_init(&rwsem->rws_lock, MUTEX_DEFAULT, IPL_VM);
     84  1.1  riastrad 	cv_init(&rwsem->rws_cv, "lnxrwsem");
     85  1.1  riastrad 	rwsem->rws_writer = NULL;
     86  1.1  riastrad 	rwsem->rws_readers = 0;
     87  1.3  riastrad 
     88  1.3  riastrad #ifdef LOCKDEBUG
     89  1.3  riastrad 	rwsem->rws_debug = LOCKDEBUG_ALLOC(rwsem, &rwsem_lockops,
     90  1.3  riastrad 	    (uintptr_t)__builtin_return_address(0));
     91  1.3  riastrad #endif
     92  1.1  riastrad }
     93  1.1  riastrad 
     94  1.1  riastrad void
     95  1.1  riastrad destroy_rwsem(struct rw_semaphore *rwsem)
     96  1.1  riastrad {
     97  1.1  riastrad 
     98  1.1  riastrad 	KASSERT(rwsem->rws_readers == 0);
     99  1.1  riastrad 	KASSERT(rwsem->rws_writer == NULL);
    100  1.3  riastrad 
    101  1.3  riastrad #ifdef LOCKDEBUG
    102  1.3  riastrad 	LOCKDEBUG_FREE(rwsem->rws_debug, rwsem);
    103  1.3  riastrad #endif
    104  1.3  riastrad 
    105  1.1  riastrad 	cv_destroy(&rwsem->rws_cv);
    106  1.1  riastrad 	mutex_destroy(&rwsem->rws_lock);
    107  1.1  riastrad }
    108  1.1  riastrad 
    109  1.1  riastrad void
    110  1.1  riastrad down_read(struct rw_semaphore *rwsem)
    111  1.1  riastrad {
    112  1.1  riastrad 
    113  1.3  riastrad 	RWSEM_WANTLOCK(rwsem);
    114  1.3  riastrad 
    115  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    116  1.1  riastrad 	while (rwsem->rws_writer || rwsem->rws_writewanted)
    117  1.1  riastrad 		cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
    118  1.1  riastrad 	KASSERT(rwsem->rws_readers < UINT_MAX);
    119  1.1  riastrad 	rwsem->rws_readers++;
    120  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    121  1.3  riastrad 
    122  1.3  riastrad 	RWSEM_LOCKED_SH(rwsem);
    123  1.1  riastrad }
    124  1.1  riastrad 
    125  1.1  riastrad bool
    126  1.1  riastrad down_read_trylock(struct rw_semaphore *rwsem)
    127  1.1  riastrad {
    128  1.1  riastrad 	bool ret = false;
    129  1.1  riastrad 
    130  1.1  riastrad 	/*
    131  1.1  riastrad 	 * Note: Linux apparently relies on down_read_trylock to
    132  1.1  riastrad 	 * quietly succeed when the caller already holds a reader lock.
    133  1.1  riastrad 	 * This is why we can't use rwlock(9), which absolutely
    134  1.1  riastrad 	 * prohibits recursive use and crashes immediately under
    135  1.1  riastrad 	 * LOCKDEBUG if you try it.
    136  1.1  riastrad 	 */
    137  1.1  riastrad 
    138  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    139  1.1  riastrad 	if (rwsem->rws_writer == NULL && !rwsem->rws_writewanted) {
    140  1.1  riastrad 		KASSERT(rwsem->rws_readers < UINT_MAX);
    141  1.1  riastrad 		rwsem->rws_readers++;
    142  1.1  riastrad 		ret = true;
    143  1.1  riastrad 	}
    144  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    145  1.1  riastrad 
    146  1.4  riastrad 	if (ret) {
    147  1.3  riastrad 		RWSEM_LOCKED_SH(rwsem);
    148  1.4  riastrad 	}
    149  1.3  riastrad 
    150  1.1  riastrad 	return ret;
    151  1.1  riastrad }
    152  1.1  riastrad 
    153  1.1  riastrad void
    154  1.1  riastrad up_read(struct rw_semaphore *rwsem)
    155  1.1  riastrad {
    156  1.1  riastrad 
    157  1.3  riastrad 	RWSEM_UNLOCKED_SH(rwsem);
    158  1.3  riastrad 
    159  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    160  1.1  riastrad 	KASSERT(rwsem->rws_readers);
    161  1.1  riastrad 	KASSERT(rwsem->rws_writer == NULL);
    162  1.1  riastrad 	if (--rwsem->rws_readers == 0)
    163  1.1  riastrad 		cv_broadcast(&rwsem->rws_cv);
    164  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    165  1.1  riastrad }
    166  1.1  riastrad 
    167  1.1  riastrad void
    168  1.1  riastrad down_write(struct rw_semaphore *rwsem)
    169  1.1  riastrad {
    170  1.1  riastrad 
    171  1.3  riastrad 	RWSEM_WANTLOCK(rwsem);
    172  1.3  riastrad 
    173  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    174  1.1  riastrad 
    175  1.1  riastrad 	/* If another writer is waiting, get in the queue.  */
    176  1.1  riastrad 	while (rwsem->rws_writewanted)
    177  1.1  riastrad 		cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
    178  1.1  riastrad 
    179  1.1  riastrad 	/*
    180  1.1  riastrad 	 * No other writers waiting.  Our turn.  Announce our intent to
    181  1.1  riastrad 	 * readers, and wait for the writer or readers to finish.
    182  1.1  riastrad 	 */
    183  1.1  riastrad 	rwsem->rws_writewanted = true;
    184  1.1  riastrad 	while (rwsem->rws_writer || rwsem->rws_readers) {
    185  1.1  riastrad 		KASSERTMSG(rwsem->rws_writer != curlwp,
    186  1.1  riastrad 		    "locking against myself: rwsem=%p lwp=%p", rwsem, curlwp);
    187  1.1  riastrad 		cv_wait(&rwsem->rws_cv, &rwsem->rws_lock);
    188  1.1  riastrad 	}
    189  1.1  riastrad 
    190  1.1  riastrad 	/* At last, it is ours!  */
    191  1.1  riastrad 	KASSERT(rwsem->rws_readers == 0);
    192  1.1  riastrad 	KASSERT(rwsem->rws_writer == NULL);
    193  1.1  riastrad 	KASSERT(rwsem->rws_writewanted);
    194  1.1  riastrad 	rwsem->rws_writewanted = false;
    195  1.1  riastrad 	rwsem->rws_writer = curlwp;
    196  1.1  riastrad 
    197  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    198  1.3  riastrad 
    199  1.3  riastrad 	RWSEM_LOCKED_EX(rwsem);
    200  1.1  riastrad }
    201  1.1  riastrad 
    202  1.1  riastrad void
    203  1.1  riastrad up_write(struct rw_semaphore *rwsem)
    204  1.1  riastrad {
    205  1.1  riastrad 
    206  1.3  riastrad 	RWSEM_UNLOCKED_EX(rwsem);
    207  1.3  riastrad 
    208  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    209  1.1  riastrad 	KASSERT(rwsem->rws_writer == curlwp);
    210  1.1  riastrad 	KASSERT(rwsem->rws_readers == 0);
    211  1.1  riastrad 	rwsem->rws_writer = NULL;
    212  1.1  riastrad 	cv_broadcast(&rwsem->rws_cv);
    213  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    214  1.1  riastrad }
    215  1.1  riastrad 
    216  1.1  riastrad void
    217  1.1  riastrad downgrade_write(struct rw_semaphore *rwsem)
    218  1.1  riastrad {
    219  1.1  riastrad 
    220  1.3  riastrad 	RWSEM_UNLOCKED_EX(rwsem);
    221  1.3  riastrad 
    222  1.1  riastrad 	mutex_enter(&rwsem->rws_lock);
    223  1.1  riastrad 	KASSERT(rwsem->rws_writer == curlwp);
    224  1.1  riastrad 	KASSERT(rwsem->rws_readers == 0);
    225  1.1  riastrad 	rwsem->rws_writer = NULL;
    226  1.1  riastrad 	rwsem->rws_readers = 1;
    227  1.1  riastrad 	cv_broadcast(&rwsem->rws_cv);
    228  1.1  riastrad 	mutex_exit(&rwsem->rws_lock);
    229  1.3  riastrad 
    230  1.3  riastrad 	RWSEM_LOCKED_SH(rwsem);
    231  1.1  riastrad }
    232