Home | History | Annotate | Line # | Download | only in readhappy_mpsafe
      1 /*	$NetBSD: readhappy_mpsafe.c,v 1.3 2025/06/27 21:36:22 andvar Exp $    */
      2 
      3 /*-
      4  * Copyright (c) 2018 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  *
     16  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  * POSSIBILITY OF SUCH DAMAGE.
     27  */
     28 
     29 #include <sys/cdefs.h>
     30 __KERNEL_RCSID(0, "$NetBSD: readhappy_mpsafe.c,v 1.3 2025/06/27 21:36:22 andvar Exp $");
     31 
     32 #include <sys/param.h>
     33 #include <sys/module.h>
     34 #include <sys/condvar.h>
     35 #include <sys/conf.h>
     36 #include <sys/device.h>
     37 #include <sys/kernel.h>
     38 #include <sys/mutex.h>
     39 
     40 /*
     41  * This module is a modification of the readhappy module to illustrate
     42  * how to make a device MPSAFE (Multiprocessor Safe).
     43  *
     44  *  1. Supports opening device by multiple processes but allows only one at a time.
     45  *  2. Supports multiple read() functions but allows only one at a time.
     46  *  3. Uses mutex for ensuring synchronization.
     47  *
     48  * Create a device /dev/happy_mpsafe from which you can read sequential happy numbers.
     49  *
     50  * To use this device you need to do:
     51  *     mknod /dev/happy_mpsafe c 351 0
     52  *
     53  * To test whether the device is MPSAFE. Compile and run the test_readhappy file
     54  * provided.
     55  */
     56 
     57 
     58 #define	HAPPY_NUMBER	1
     59 
     60 #define	SAD_NUMBER	4
     61 
     62 /*
     63  * kmutex_t variables have been added to the structure to
     64  * ensure proper synchronization while opened by multiple devices.
     65  *
     66  * kcondvar_t conditional variable added. Boolean part added to
     67  * check whether the device is in use.
     68  */
     69 
     70 struct happy_softc {
     71 	kcondvar_t	cv;
     72 	bool	    inuse_cv;
     73 	unsigned	last;
     74 	kmutex_t	lock;
     75 	kmutex_t	read_lock;
     76 };
     77 
     78 
     79 static struct happy_softc sc;
     80 
     81 static unsigned
     82 dsum(unsigned n)
     83 {
     84 	unsigned sum, x;
     85 
     86 	for (sum = 0; n; n /= 10) {
     87 		x = n % 10;
     88 		sum += x * x;
     89 	}
     90 	return sum;
     91 }
     92 
     93 static int
     94 check_happy(unsigned n)
     95 {
     96 	unsigned total;
     97 
     98 	KASSERT(mutex_owned(&sc.read_lock));
     99 
    100 	for (;;) {
    101 		total = dsum(n);
    102 
    103 		if (total == HAPPY_NUMBER)
    104 			return 1;
    105 		if (total == SAD_NUMBER)
    106 			return 0;
    107 
    108 		n = total;
    109 	}
    110 }
    111 
    112 dev_type_open(happy_open);
    113 dev_type_close(happy_close);
    114 dev_type_read(happy_read);
    115 
    116 /*
    117  *  Notice that the .d_flag has a additional D_MPSAFE flag to
    118  *  tag is as a multiprocessor safe device.
    119  */
    120 
    121 static struct cdevsw happy_cdevsw = {
    122 	.d_open = happy_open,
    123 	.d_close = happy_close,
    124 	.d_read = happy_read,
    125 	.d_write = nowrite,
    126 	.d_ioctl = noioctl,
    127 	.d_stop = nostop,
    128 	.d_tty = notty,
    129 	.d_poll = nopoll,
    130 	.d_mmap = nommap,
    131 	.d_kqfilter = nokqfilter,
    132 	.d_discard = nodiscard,
    133 	.d_flag = D_OTHER | D_MPSAFE,
    134 };
    135 
    136 /*
    137  * happy_open : used to open the device for read. mutex_enter and mutex_exit:
    138  * to lock the critical section and allow only a single process to open the
    139  * device at a time.
    140  */
    141 int
    142 happy_open(dev_t self __unused, int flag __unused, int mode __unused,
    143 	   struct lwp *l __unused)
    144 {
    145 	int error;
    146 
    147 	error = 0;
    148 
    149 	mutex_enter(&sc.lock);
    150 	while (sc.inuse_cv == true) {
    151 		error = cv_wait_sig(&sc.cv, &sc.lock);
    152 		if (error)
    153 			break;
    154 	}
    155 	if (!error) {
    156 		sc.inuse_cv = true;
    157 		sc.last = 0;
    158 	}
    159 	mutex_exit(&sc.lock);
    160 
    161 	return 0;
    162 }
    163 
    164 /*
    165  * happy_close allows only a single process to close the device at a time.
    166  * It uses mutex_enter and mutex_exit for the same.
    167  */
    168 int
    169 happy_close(dev_t self __unused, int flag __unused, int mode __unused,
    170 	    struct lwp *l __unused)
    171 {
    172 
    173 	mutex_enter(&sc.lock);
    174 	sc.inuse_cv = false;
    175 	cv_signal(&sc.cv);
    176 	mutex_exit(&sc.lock);
    177 
    178 	return 0;
    179 }
    180 
    181 /*
    182  * happy_read allows only a single file descriptor to read at a point of time
    183  * it uses mutex_enter and mutex_exit: to lock the critical section and allow
    184  * only a single process to open the device at a time.
    185  */
    186 int
    187 happy_read(dev_t self __unused, struct uio *uio, int flags __unused)
    188 {
    189 	char line[80];
    190 	int error, len;
    191 
    192 	mutex_enter(&sc.read_lock);
    193 
    194 	while (check_happy(++sc.last) == 0)
    195 		continue;
    196 
    197 	len = snprintf(line, sizeof(line), "%u\n", sc.last);
    198 
    199 	if (uio->uio_resid < len) {
    200 		--sc.last;
    201 		error = EINVAL;
    202 		goto fin;
    203 	}
    204 
    205 	error = uiomove(line, len, uio);
    206 
    207 fin:
    208 	mutex_exit(&sc.read_lock);
    209 
    210 	return error;
    211 }
    212 
    213 MODULE(MODULE_CLASS_MISC, happy_mpsafe, NULL);
    214 
    215 /*
    216  * Initializing mutex and conditional variables for read() and open().
    217  * when the module is being loaded.
    218  */
    219 static int
    220 happy_mpsafe_modcmd(modcmd_t cmd, void *arg __unused)
    221 {
    222 	int cmajor = 351, bmajor = -1;
    223 
    224 	switch (cmd) {
    225 	case MODULE_CMD_INIT:
    226 		if (devsw_attach("happy_mpsafe", NULL, &bmajor, &happy_cdevsw,
    227 				 &cmajor))
    228 			return ENXIO;
    229 
    230 		mutex_init(&sc.lock, MUTEX_DEFAULT, IPL_NONE);
    231 		mutex_init(&sc.read_lock, MUTEX_DEFAULT, IPL_NONE);
    232 		cv_init(&sc.cv, "example conditional variable");
    233 		return 0;
    234 	case MODULE_CMD_FINI:
    235 		mutex_destroy(&sc.lock);
    236 		mutex_destroy(&sc.read_lock);
    237 		cv_destroy(&sc.cv);
    238 		devsw_detach(NULL, &happy_cdevsw);
    239 		return 0;
    240 	default:
    241 		return ENOTTY;
    242 	}
    243 }
    244