Home | History | Annotate | Line # | Download | only in semaphore
sem.c revision 1.10.14.1
      1  1.10.14.1  pgoyette /*	$NetBSD: sem.c,v 1.10.14.1 2017/03/20 06:58:00 pgoyette 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.10.14.1  pgoyette #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.8     joerg 
    163        1.8     joerg 	pthread_cancel(pt);
    164        1.8     joerg 	pthread_join(pt, NULL);
    165        1.1     pooka }
    166        1.1     pooka 
    167        1.1     pooka ATF_TC(blockwait);
    168        1.1     pooka ATF_TC_HEAD(blockwait, tc)
    169        1.1     pooka {
    170        1.1     pooka 
    171        1.1     pooka 	atf_tc_set_md_var(tc, "descr", "tests sem_wait can handle blocking "
    172        1.1     pooka 	    "(%s)", LIBNAME);
    173        1.5     pooka 	atf_tc_set_md_var(tc, "timeout", "2");
    174        1.1     pooka }
    175        1.1     pooka 
    176        1.1     pooka ATF_TC_BODY(blockwait, tc)
    177        1.1     pooka {
    178        1.1     pooka 	sem_t semmarit[3];
    179        1.1     pooka 	pthread_t pt;
    180        1.1     pooka 	int i;
    181        1.1     pooka 
    182        1.1     pooka 	rump_init();
    183        1.1     pooka 	sem_init(&semmarit[0], 1, 0);
    184        1.1     pooka 	sem_init(&semmarit[1], 1, 0);
    185        1.1     pooka 	sem_init(&semmarit[2], 1, 0);
    186        1.1     pooka 
    187        1.1     pooka 	pthread_create(&pt, NULL, hthread, semmarit);
    188        1.1     pooka 
    189        1.1     pooka 	/*
    190        1.1     pooka 	 * Make a best-effort.  Unless we're extremely unlucky, we should
    191        1.1     pooka 	 * at least one blocking wait.
    192        1.1     pooka 	 */
    193        1.1     pooka 	for (i = 0; i < 10; i++) {
    194        1.1     pooka 		sem_wait(&semmarit[2]);
    195        1.1     pooka 		usleep(1);
    196        1.1     pooka 		sem_post(&semmarit[0]);
    197        1.1     pooka 		sem_post(&semmarit[1]);
    198        1.1     pooka 
    199        1.1     pooka 	}
    200        1.8     joerg 
    201        1.8     joerg 	pthread_cancel(pt);
    202        1.8     joerg 	pthread_join(pt, NULL);
    203        1.1     pooka }
    204        1.1     pooka 
    205        1.9     joerg ATF_TC(blocktimedwait);
    206        1.9     joerg ATF_TC_HEAD(blocktimedwait, tc)
    207        1.9     joerg {
    208        1.9     joerg 
    209        1.9     joerg 	atf_tc_set_md_var(tc, "descr", "tests sem_timedwait can handle blocking"
    210        1.9     joerg 	    " (%s)", LIBNAME);
    211        1.9     joerg 	atf_tc_set_md_var(tc, "timeout", "2");
    212        1.9     joerg }
    213        1.9     joerg 
    214        1.9     joerg ATF_TC_BODY(blocktimedwait, tc)
    215        1.9     joerg {
    216        1.9     joerg 	sem_t semid;
    217        1.9     joerg 	struct timespec tp;
    218        1.9     joerg 
    219        1.9     joerg 	rump_init();
    220        1.9     joerg 
    221        1.9     joerg 	clock_gettime(CLOCK_REALTIME, &tp);
    222        1.9     joerg 	tp.tv_nsec += 50000000;
    223        1.9     joerg 	tp.tv_sec += tp.tv_nsec / 1000000000;
    224        1.9     joerg 	tp.tv_nsec %= 1000000000;
    225        1.9     joerg 
    226        1.9     joerg 	ATF_REQUIRE_EQ(sem_init(&semid, 1, 0), 0);
    227        1.9     joerg 	ATF_REQUIRE_ERRNO(ETIMEDOUT, sem_timedwait(&semid, &tp) == -1);
    228        1.9     joerg }
    229        1.9     joerg 
    230        1.1     pooka ATF_TC(named);
    231        1.1     pooka ATF_TC_HEAD(named, tc)
    232        1.1     pooka {
    233        1.1     pooka 
    234        1.1     pooka 	atf_tc_set_md_var(tc, "descr", "tests named semaphores (%s)", LIBNAME);
    235        1.1     pooka }
    236        1.1     pooka 
    237        1.1     pooka /*
    238        1.1     pooka  * Wow, easy naming rules.  it's these times i'm really happy i can
    239        1.1     pooka  * single-step into the kernel.
    240        1.1     pooka  */
    241        1.7     pooka #define SEM1 "/precious_sem"
    242        1.1     pooka #define SEM2 "/justsem"
    243        1.1     pooka ATF_TC_BODY(named, tc)
    244        1.1     pooka {
    245        1.1     pooka 	sem_t *sem1, *sem2;
    246        1.1     pooka 	void *rv;
    247        1.1     pooka 
    248        1.1     pooka 	rump_init();
    249        1.1     pooka 	sem1 = sem_open(SEM1, 0);
    250        1.1     pooka 	ATF_REQUIRE_EQ(errno, ENOENT);
    251        1.1     pooka 	ATF_REQUIRE_EQ(sem1, NULL);
    252        1.1     pooka 
    253        1.1     pooka 	sem1 = sem_open(SEM1, O_CREAT, 0444, 1);
    254        1.1     pooka 	if (sem1 == NULL)
    255        1.1     pooka 		atf_tc_fail_errno("sem_open O_CREAT");
    256        1.1     pooka 
    257        1.1     pooka 	rv = sem_open(SEM1, O_CREAT | O_EXCL);
    258        1.1     pooka 	ATF_REQUIRE_EQ(errno, EEXIST);
    259        1.1     pooka 	ATF_REQUIRE_EQ(rv, NULL);
    260        1.1     pooka 
    261        1.1     pooka 	sem2 = sem_open(SEM2, O_CREAT, 0444, 0);
    262        1.1     pooka 	if (sem2 == NULL)
    263        1.1     pooka 		atf_tc_fail_errno("sem_open O_CREAT");
    264        1.1     pooka 
    265        1.1     pooka 	/* check that semaphores are independent */
    266        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    267        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
    268        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
    269        1.1     pooka 
    270        1.1     pooka 	/* check that unlinked remains valid */
    271        1.1     pooka 	sem_unlink(SEM2);
    272        1.1     pooka 	ATF_REQUIRE_EQ(sem_post(sem2), 0);
    273        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), 0);
    274        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    275        1.1     pooka 	ATF_REQUIRE_EQ(errno, EAGAIN);
    276        1.1     pooka 
    277        1.1     pooka #if 0 /* see unlink */
    278        1.1     pooka 	/* close it and check that it's gone */
    279        1.1     pooka 	if (sem_close(sem2) != 0)
    280        1.1     pooka 		atf_tc_fail_errno("sem close");
    281        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
    282        1.1     pooka 	ATF_REQUIRE_EQ(errno, EINVAL);
    283        1.1     pooka #endif
    284        1.1     pooka 
    285        1.1     pooka 	/* check that we still have sem1 */
    286        1.1     pooka 	sem_post(sem1);
    287        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
    288        1.1     pooka 	ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
    289        1.1     pooka 	ATF_REQUIRE_EQ(errno, EAGAIN);
    290        1.1     pooka }
    291        1.1     pooka 
    292        1.1     pooka ATF_TC(unlink);
    293        1.1     pooka ATF_TC_HEAD(unlink, tc)
    294        1.1     pooka {
    295        1.1     pooka 
    296        1.1     pooka 	/* this is currently broken.  i'll append the PR number soon */
    297        1.2     pooka 	atf_tc_set_md_var(tc, "descr", "tests unlinked semaphores can be "
    298        1.4     pooka 	    "closed (%s)", LIBNAME);
    299        1.1     pooka }
    300        1.1     pooka 
    301        1.1     pooka #define SEM "/thesem"
    302        1.1     pooka ATF_TC_BODY(unlink, tc)
    303        1.1     pooka {
    304        1.1     pooka 	sem_t *sem;
    305        1.1     pooka 
    306        1.1     pooka 	rump_init();
    307        1.1     pooka 	sem = sem_open(SEM, O_CREAT, 0444, 0);
    308        1.1     pooka 	ATF_REQUIRE(sem);
    309        1.1     pooka 
    310        1.1     pooka 	if (sem_unlink(SEM) == -1)
    311        1.1     pooka 		atf_tc_fail_errno("unlink");
    312        1.1     pooka 	if (sem_close(sem) == -1)
    313        1.1     pooka 		atf_tc_fail_errno("close unlinked semaphore");
    314        1.1     pooka }
    315        1.1     pooka 
    316        1.1     pooka /* use rump calls for libpthread _ksem_foo() calls */
    317        1.1     pooka #define F1(name, a) int _ksem_##name(a); \
    318        1.1     pooka int _ksem_##name(a v1) {return rump_sys__ksem_##name(v1);}
    319        1.1     pooka #define F2(name, a, b) int _ksem_##name(a, b); \
    320        1.1     pooka int _ksem_##name(a v1, b v2) {return rump_sys__ksem_##name(v1, v2);}
    321        1.1     pooka F2(init, unsigned int, intptr_t *);
    322        1.1     pooka F1(close, intptr_t);
    323        1.1     pooka F1(destroy, intptr_t);
    324        1.1     pooka F1(post, intptr_t);
    325        1.1     pooka F1(unlink, const char *);
    326        1.1     pooka F1(trywait, intptr_t);
    327        1.1     pooka F1(wait, intptr_t);
    328        1.1     pooka F2(getvalue, intptr_t, unsigned int *);
    329        1.9     joerg F2(timedwait, intptr_t, const struct timespec *);
    330        1.1     pooka int _ksem_open(const char *, int, mode_t, unsigned int, intptr_t *);
    331        1.1     pooka int _ksem_open(const char *a, int b, mode_t c, unsigned int d, intptr_t *e)
    332        1.1     pooka     {return rump_sys__ksem_open(a,b,c,d,e);}
    333