Home | History | Annotate | Line # | Download | only in semaphore
sem.c revision 1.3
      1  1.3  pooka /*	$NetBSD: sem.c,v 1.3 2010/06/12 22:59:59 pooka Exp $	*/
      2  1.1  pooka 
      3  1.1  pooka /*
      4  1.1  pooka  * Common code for semaphore tests.  This can be included both into
      5  1.1  pooka  * programs using librt and libpthread.
      6  1.1  pooka  */
      7  1.1  pooka 
      8  1.1  pooka #include <sys/types.h>
      9  1.1  pooka 
     10  1.1  pooka #include <rump/rump.h>
     11  1.1  pooka #include <rump/rump_syscalls.h>
     12  1.1  pooka 
     13  1.1  pooka #include <atf-c.h>
     14  1.1  pooka #include <errno.h>
     15  1.1  pooka #include <fcntl.h>
     16  1.1  pooka #include <pthread.h>
     17  1.1  pooka #include <semaphore.h>
     18  1.1  pooka #include <sched.h>
     19  1.1  pooka #include <stdint.h>
     20  1.1  pooka #include <stdio.h>
     21  1.1  pooka #include <stdlib.h>
     22  1.1  pooka #include <unistd.h>
     23  1.1  pooka 
     24  1.1  pooka #include "../../h_macros.h"
     25  1.1  pooka 
     26  1.1  pooka ATF_TC(postwait);
     27  1.1  pooka ATF_TC_HEAD(postwait, tc)
     28  1.1  pooka {
     29  1.1  pooka 
     30  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests post and wait from a "
     31  1.1  pooka 	    "single thread (%s)", LIBNAME);
     32  1.1  pooka }
     33  1.1  pooka 
     34  1.1  pooka ATF_TC_BODY(postwait, tc)
     35  1.1  pooka {
     36  1.1  pooka 	sem_t sem;
     37  1.1  pooka 	int rv;
     38  1.1  pooka 
     39  1.1  pooka 	rump_init();
     40  1.1  pooka 
     41  1.1  pooka 	ATF_REQUIRE_EQ(sem_init(&sem, 1, 0), 0);
     42  1.1  pooka 
     43  1.1  pooka 	sem_post(&sem);
     44  1.1  pooka 	sem_post(&sem);
     45  1.1  pooka 
     46  1.1  pooka 	sem_wait(&sem);
     47  1.1  pooka 	sem_wait(&sem);
     48  1.1  pooka 	rv = sem_trywait(&sem);
     49  1.1  pooka 	ATF_REQUIRE(errno == EAGAIN);
     50  1.1  pooka 	ATF_REQUIRE(rv == -1);
     51  1.1  pooka }
     52  1.1  pooka 
     53  1.1  pooka ATF_TC(initvalue);
     54  1.1  pooka ATF_TC_HEAD(initvalue, tc)
     55  1.1  pooka {
     56  1.1  pooka 
     57  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests initialization with a non-zero "
     58  1.1  pooka 	    "value (%s)", LIBNAME);
     59  1.1  pooka }
     60  1.1  pooka 
     61  1.1  pooka ATF_TC_BODY(initvalue, tc)
     62  1.1  pooka {
     63  1.1  pooka 	sem_t sem;
     64  1.1  pooka 
     65  1.1  pooka 	rump_init();
     66  1.1  pooka 	sem_init(&sem, 1, 4);
     67  1.1  pooka 
     68  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
     69  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
     70  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
     71  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
     72  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(&sem), -1);
     73  1.1  pooka }
     74  1.1  pooka 
     75  1.1  pooka ATF_TC(destroy);
     76  1.1  pooka ATF_TC_HEAD(destroy, tc)
     77  1.1  pooka {
     78  1.1  pooka 
     79  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests sem_destroy works (%s)", LIBNAME);
     80  1.1  pooka }
     81  1.1  pooka 
     82  1.1  pooka ATF_TC_BODY(destroy, tc)
     83  1.1  pooka {
     84  1.1  pooka 	sem_t sem;
     85  1.1  pooka 	int rv, i;
     86  1.1  pooka 
     87  1.1  pooka 	rump_init();
     88  1.1  pooka 	for (i = 0; i < 2; i++) {
     89  1.1  pooka 		sem_init(&sem, 1, 1);
     90  1.1  pooka 
     91  1.1  pooka 		ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
     92  1.1  pooka 		ATF_REQUIRE_EQ(sem_trywait(&sem), -1);
     93  1.1  pooka 		ATF_REQUIRE_EQ(sem_destroy(&sem), 0);
     94  1.1  pooka 		rv = sem_trywait(&sem);
     95  1.1  pooka 		ATF_REQUIRE_EQ(errno, EINVAL);
     96  1.1  pooka 		ATF_REQUIRE_EQ(rv, -1);
     97  1.1  pooka 	}
     98  1.1  pooka }
     99  1.1  pooka 
    100  1.1  pooka ATF_TC(busydestroy);
    101  1.1  pooka ATF_TC_HEAD(busydestroy, tc)
    102  1.1  pooka {
    103  1.1  pooka 
    104  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests sem_destroy report EBUSY for "
    105  1.1  pooka 	    "a busy semaphore (%s)", LIBNAME);
    106  1.1  pooka }
    107  1.1  pooka 
    108  1.1  pooka static void *
    109  1.1  pooka hthread(void *arg)
    110  1.1  pooka {
    111  1.1  pooka 	sem_t *semmarit = arg;
    112  1.1  pooka 
    113  1.1  pooka 	for (;;) {
    114  1.1  pooka 		sem_post(&semmarit[2]);
    115  1.1  pooka 		sem_wait(&semmarit[1]);
    116  1.1  pooka 		sem_wait(&semmarit[0]);
    117  1.1  pooka 	}
    118  1.3  pooka 
    119  1.3  pooka 	return NULL;
    120  1.1  pooka }
    121  1.1  pooka 
    122  1.1  pooka ATF_TC_BODY(busydestroy, tc)
    123  1.1  pooka {
    124  1.1  pooka 	sem_t semmarit[3];
    125  1.1  pooka 	pthread_t pt;
    126  1.1  pooka 	int i;
    127  1.1  pooka 
    128  1.1  pooka 	/* use a unicpu rump kernel.  this means less chance for race */
    129  1.1  pooka 	setenv("RUMP_NCPU", "1", 1);
    130  1.1  pooka 
    131  1.1  pooka 	rump_init();
    132  1.1  pooka 	sem_init(&semmarit[0], 1, 0);
    133  1.1  pooka 	sem_init(&semmarit[1], 1, 0);
    134  1.1  pooka 	sem_init(&semmarit[2], 1, 0);
    135  1.1  pooka 
    136  1.1  pooka 	pthread_create(&pt, NULL, hthread, semmarit);
    137  1.1  pooka 
    138  1.1  pooka 	/*
    139  1.1  pooka 	 * Make a best-effort to catch the other thread with its pants down.
    140  1.1  pooka 	 * We can't do this for sure, can we?  Although, we could reach
    141  1.1  pooka 	 * inside the rump kernel and inquire about the thread's sleep
    142  1.1  pooka 	 * status.
    143  1.1  pooka 	 */
    144  1.1  pooka 	for (i = 0; i < 1000; i++) {
    145  1.1  pooka 		sem_wait(&semmarit[2]);
    146  1.1  pooka 		usleep(1);
    147  1.1  pooka 		if (sem_destroy(&semmarit[1]) == -1)
    148  1.1  pooka 			if (errno == EBUSY)
    149  1.1  pooka 				break;
    150  1.1  pooka 
    151  1.1  pooka 		/*
    152  1.1  pooka 		 * Didn't catch it?  ok, recreate and post to make the
    153  1.1  pooka 		 * other thread run
    154  1.1  pooka 		 */
    155  1.1  pooka 		sem_init(&semmarit[1], 1, 0);
    156  1.1  pooka 		sem_post(&semmarit[0]);
    157  1.1  pooka 		sem_post(&semmarit[1]);
    158  1.1  pooka 
    159  1.1  pooka 	}
    160  1.1  pooka 	if (i == 1000)
    161  1.1  pooka 		atf_tc_fail("sem destroy not reporting EBUSY");
    162  1.1  pooka }
    163  1.1  pooka 
    164  1.1  pooka ATF_TC(blockwait);
    165  1.1  pooka ATF_TC_HEAD(blockwait, tc)
    166  1.1  pooka {
    167  1.1  pooka 
    168  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests sem_wait can handle blocking "
    169  1.1  pooka 	    "(%s)", LIBNAME);
    170  1.1  pooka }
    171  1.1  pooka 
    172  1.1  pooka ATF_TC_BODY(blockwait, tc)
    173  1.1  pooka {
    174  1.1  pooka 	sem_t semmarit[3];
    175  1.1  pooka 	pthread_t pt;
    176  1.1  pooka 	int i;
    177  1.1  pooka 
    178  1.1  pooka 	rump_init();
    179  1.1  pooka 	sem_init(&semmarit[0], 1, 0);
    180  1.1  pooka 	sem_init(&semmarit[1], 1, 0);
    181  1.1  pooka 	sem_init(&semmarit[2], 1, 0);
    182  1.1  pooka 
    183  1.1  pooka 	pthread_create(&pt, NULL, hthread, semmarit);
    184  1.1  pooka 
    185  1.1  pooka 	/*
    186  1.1  pooka 	 * Make a best-effort.  Unless we're extremely unlucky, we should
    187  1.1  pooka 	 * at least one blocking wait.
    188  1.1  pooka 	 */
    189  1.1  pooka 	for (i = 0; i < 10; i++) {
    190  1.1  pooka 		sem_wait(&semmarit[2]);
    191  1.1  pooka 		usleep(1);
    192  1.1  pooka 		sem_post(&semmarit[0]);
    193  1.1  pooka 		sem_post(&semmarit[1]);
    194  1.1  pooka 
    195  1.1  pooka 	}
    196  1.1  pooka 	if (i == 1000)
    197  1.1  pooka 		atf_tc_fail("sem destroy not reporting EBUSY");
    198  1.1  pooka }
    199  1.1  pooka 
    200  1.1  pooka ATF_TC(named);
    201  1.1  pooka ATF_TC_HEAD(named, tc)
    202  1.1  pooka {
    203  1.1  pooka 
    204  1.1  pooka 	atf_tc_set_md_var(tc, "descr", "tests named semaphores (%s)", LIBNAME);
    205  1.1  pooka }
    206  1.1  pooka 
    207  1.1  pooka /*
    208  1.1  pooka  * Wow, easy naming rules.  it's these times i'm really happy i can
    209  1.1  pooka  * single-step into the kernel.
    210  1.1  pooka  */
    211  1.1  pooka #define SEM1 "/my_precious_sem"
    212  1.1  pooka #define SEM2 "/justsem"
    213  1.1  pooka ATF_TC_BODY(named, tc)
    214  1.1  pooka {
    215  1.1  pooka 	sem_t *sem1, *sem2;
    216  1.1  pooka 	void *rv;
    217  1.1  pooka 
    218  1.1  pooka 	rump_init();
    219  1.1  pooka 	sem1 = sem_open(SEM1, 0);
    220  1.1  pooka 	ATF_REQUIRE_EQ(errno, ENOENT);
    221  1.1  pooka 	ATF_REQUIRE_EQ(sem1, NULL);
    222  1.1  pooka 
    223  1.1  pooka 	sem1 = sem_open(SEM1, O_CREAT, 0444, 1);
    224  1.1  pooka 	if (sem1 == NULL)
    225  1.1  pooka 		atf_tc_fail_errno("sem_open O_CREAT");
    226  1.1  pooka 
    227  1.1  pooka 	rv = sem_open(SEM1, O_CREAT | O_EXCL);
    228  1.1  pooka 	ATF_REQUIRE_EQ(errno, EEXIST);
    229  1.1  pooka 	ATF_REQUIRE_EQ(rv, NULL);
    230  1.1  pooka 
    231  1.1  pooka 	sem2 = sem_open(SEM2, O_CREAT, 0444, 0);
    232  1.1  pooka 	if (sem2 == NULL)
    233  1.1  pooka 		atf_tc_fail_errno("sem_open O_CREAT");
    234  1.1  pooka 
    235  1.1  pooka 	/* check that semaphores are independent */
    236  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    237  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
    238  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
    239  1.1  pooka 
    240  1.1  pooka 	/* check that unlinked remains valid */
    241  1.1  pooka 	sem_unlink(SEM2);
    242  1.1  pooka 	ATF_REQUIRE_EQ(sem_post(sem2), 0);
    243  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), 0);
    244  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    245  1.1  pooka 	ATF_REQUIRE_EQ(errno, EAGAIN);
    246  1.1  pooka 
    247  1.1  pooka #if 0 /* see unlink */
    248  1.1  pooka 	/* close it and check that it's gone */
    249  1.1  pooka 	if (sem_close(sem2) != 0)
    250  1.1  pooka 		atf_tc_fail_errno("sem close");
    251  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    252  1.1  pooka 	ATF_REQUIRE_EQ(errno, EINVAL);
    253  1.1  pooka #endif
    254  1.1  pooka 
    255  1.1  pooka 	/* check that we still have sem1 */
    256  1.1  pooka 	sem_post(sem1);
    257  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
    258  1.1  pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
    259  1.1  pooka 	ATF_REQUIRE_EQ(errno, EAGAIN);
    260  1.1  pooka }
    261  1.1  pooka 
    262  1.1  pooka ATF_TC(unlink);
    263  1.1  pooka ATF_TC_HEAD(unlink, tc)
    264  1.1  pooka {
    265  1.1  pooka 
    266  1.1  pooka 	/* this is currently broken.  i'll append the PR number soon */
    267  1.2  pooka 	atf_tc_set_md_var(tc, "descr", "tests unlinked semaphores can be "
    268  1.2  pooka 	    "closed, PR kern/43452 (%s)", LIBNAME);
    269  1.1  pooka }
    270  1.1  pooka 
    271  1.1  pooka #define SEM "/thesem"
    272  1.1  pooka ATF_TC_BODY(unlink, tc)
    273  1.1  pooka {
    274  1.1  pooka 	sem_t *sem;
    275  1.1  pooka 
    276  1.1  pooka 	rump_init();
    277  1.1  pooka 	sem = sem_open(SEM, O_CREAT, 0444, 0);
    278  1.1  pooka 	ATF_REQUIRE(sem);
    279  1.1  pooka 
    280  1.1  pooka 	if (sem_unlink(SEM) == -1)
    281  1.1  pooka 		atf_tc_fail_errno("unlink");
    282  1.1  pooka 	if (sem_close(sem) == -1)
    283  1.1  pooka 		atf_tc_fail_errno("close unlinked semaphore");
    284  1.1  pooka }
    285  1.1  pooka 
    286  1.1  pooka /* use rump calls for libpthread _ksem_foo() calls */
    287  1.1  pooka #define F1(name, a) int _ksem_##name(a); \
    288  1.1  pooka int _ksem_##name(a v1) {return rump_sys__ksem_##name(v1);}
    289  1.1  pooka #define F2(name, a, b) int _ksem_##name(a, b); \
    290  1.1  pooka int _ksem_##name(a v1, b v2) {return rump_sys__ksem_##name(v1, v2);}
    291  1.1  pooka F2(init, unsigned int, intptr_t *);
    292  1.1  pooka F1(close, intptr_t);
    293  1.1  pooka F1(destroy, intptr_t);
    294  1.1  pooka F1(post, intptr_t);
    295  1.1  pooka F1(unlink, const char *);
    296  1.1  pooka F1(trywait, intptr_t);
    297  1.1  pooka F1(wait, intptr_t);
    298  1.1  pooka F2(getvalue, intptr_t, unsigned int *);
    299  1.1  pooka int _ksem_open(const char *, int, mode_t, unsigned int, intptr_t *);
    300  1.1  pooka int _ksem_open(const char *a, int b, mode_t c, unsigned int d, intptr_t *e)
    301  1.1  pooka     {return rump_sys__ksem_open(a,b,c,d,e);}
    302