10dc076565f772bb1953209fb69ea150b494aaa40robbiew/*
20dc076565f772bb1953209fb69ea150b494aaa40robbiew* Copyright (c) 2005, Bull S.A..  All rights reserved.
30dc076565f772bb1953209fb69ea150b494aaa40robbiew* Created by: Sebastien Decugis
40dc076565f772bb1953209fb69ea150b494aaa40robbiew
50dc076565f772bb1953209fb69ea150b494aaa40robbiew* This program is free software; you can redistribute it and/or modify it
60dc076565f772bb1953209fb69ea150b494aaa40robbiew* under the terms of version 2 of the GNU General Public License as
70dc076565f772bb1953209fb69ea150b494aaa40robbiew* published by the Free Software Foundation.
80dc076565f772bb1953209fb69ea150b494aaa40robbiew*
90dc076565f772bb1953209fb69ea150b494aaa40robbiew* This program is distributed in the hope that it would be useful, but
100dc076565f772bb1953209fb69ea150b494aaa40robbiew* WITHOUT ANY WARRANTY; without even the implied warranty of
110dc076565f772bb1953209fb69ea150b494aaa40robbiew* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
120dc076565f772bb1953209fb69ea150b494aaa40robbiew*
130dc076565f772bb1953209fb69ea150b494aaa40robbiew* You should have received a copy of the GNU General Public License along
14fed9641096e27f79a0f2d9adfe9839dd8d11dc0fWanlong Gao* with this program; if not, write the Free Software Foundation, Inc.,
15fed9641096e27f79a0f2d9adfe9839dd8d11dc0fWanlong Gao* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
160dc076565f772bb1953209fb69ea150b494aaa40robbiew
170dc076565f772bb1953209fb69ea150b494aaa40robbiew* This sample test aims to check the following assertion:
180dc076565f772bb1953209fb69ea150b494aaa40robbiew*
190dc076565f772bb1953209fb69ea150b494aaa40robbiew*  sem_unlink does not block.
200dc076565f772bb1953209fb69ea150b494aaa40robbiew
210dc076565f772bb1953209fb69ea150b494aaa40robbiew* The steps are:
220dc076565f772bb1953209fb69ea150b494aaa40robbiew* -> open a semaphore
230dc076565f772bb1953209fb69ea150b494aaa40robbiew* -> create a thread which blocks on the semaphore
240dc076565f772bb1953209fb69ea150b494aaa40robbiew* -> call sem_unlink
250dc076565f772bb1953209fb69ea150b494aaa40robbiew* -> clean up
260dc076565f772bb1953209fb69ea150b494aaa40robbiew
270dc076565f772bb1953209fb69ea150b494aaa40robbiew* The test fails when it hangs on sem_unlink.
280dc076565f772bb1953209fb69ea150b494aaa40robbiew
290dc076565f772bb1953209fb69ea150b494aaa40robbiew*/
300dc076565f772bb1953209fb69ea150b494aaa40robbiew
310dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
320dc076565f772bb1953209fb69ea150b494aaa40robbiew/*************************** standard includes ********************************/
330dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
340dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <pthread.h>
350dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <stdarg.h>
360dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <stdio.h>
370dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <stdlib.h>
380dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <string.h>
390dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <unistd.h>
400dc076565f772bb1953209fb69ea150b494aaa40robbiew
410dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <semaphore.h>
420dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <errno.h>
430dc076565f772bb1953209fb69ea150b494aaa40robbiew#include <fcntl.h>
440dc076565f772bb1953209fb69ea150b494aaa40robbiew
450dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
460dc076565f772bb1953209fb69ea150b494aaa40robbiew/***************************   Test framework   *******************************/
470dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
488d9c084e1770f2719ef99a79416584c945cc775fWanlong Gao#include "../testfrmw/testfrmw.h"
498d9c084e1770f2719ef99a79416584c945cc775fWanlong Gao#include "../testfrmw/testfrmw.c"
500dc076565f772bb1953209fb69ea150b494aaa40robbiew/* This header is responsible for defining the following macros:
512c28215423293e443469a07ae7011135d058b671Garrett Cooper * UNRESOLVED(ret, descr);
522c28215423293e443469a07ae7011135d058b671Garrett Cooper *    where descr is a description of the error and ret is an int
530dc076565f772bb1953209fb69ea150b494aaa40robbiew *   (error code for example)
540dc076565f772bb1953209fb69ea150b494aaa40robbiew * FAILED(descr);
550dc076565f772bb1953209fb69ea150b494aaa40robbiew *    where descr is a short text saying why the test has failed.
560dc076565f772bb1953209fb69ea150b494aaa40robbiew * PASSED();
570dc076565f772bb1953209fb69ea150b494aaa40robbiew *    No parameter.
582c28215423293e443469a07ae7011135d058b671Garrett Cooper *
590dc076565f772bb1953209fb69ea150b494aaa40robbiew * Both three macros shall terminate the calling process.
600dc076565f772bb1953209fb69ea150b494aaa40robbiew * The testcase shall not terminate in any other maneer.
612c28215423293e443469a07ae7011135d058b671Garrett Cooper *
620dc076565f772bb1953209fb69ea150b494aaa40robbiew * The other file defines the functions
630dc076565f772bb1953209fb69ea150b494aaa40robbiew * void output_init()
640dc076565f772bb1953209fb69ea150b494aaa40robbiew * void output(char * string, ...)
652c28215423293e443469a07ae7011135d058b671Garrett Cooper *
660dc076565f772bb1953209fb69ea150b494aaa40robbiew * Those may be used to output information.
670dc076565f772bb1953209fb69ea150b494aaa40robbiew */
680dc076565f772bb1953209fb69ea150b494aaa40robbiew
690dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
700dc076565f772bb1953209fb69ea150b494aaa40robbiew/**************************** Configuration ***********************************/
710dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
720dc076565f772bb1953209fb69ea150b494aaa40robbiew#ifndef VERBOSE
730dc076565f772bb1953209fb69ea150b494aaa40robbiew#define VERBOSE 1
740dc076565f772bb1953209fb69ea150b494aaa40robbiew#endif
750dc076565f772bb1953209fb69ea150b494aaa40robbiew
760dc076565f772bb1953209fb69ea150b494aaa40robbiew#define SEM_NAME  "/sem_unlink_7_1"
770dc076565f772bb1953209fb69ea150b494aaa40robbiew
780dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
790dc076565f772bb1953209fb69ea150b494aaa40robbiew/***************************    Test case   ***********************************/
800dc076565f772bb1953209fb69ea150b494aaa40robbiew/******************************************************************************/
810dc076565f772bb1953209fb69ea150b494aaa40robbiew
82354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gaovoid *threaded(void *arg)
830dc076565f772bb1953209fb69ea150b494aaa40robbiew{
840dc076565f772bb1953209fb69ea150b494aaa40robbiew	int ret = 0;
850dc076565f772bb1953209fb69ea150b494aaa40robbiew
86354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	do {
87e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		ret = sem_wait(arg);
880dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
892cdbd012383a3a965206178634ebe5d760c8378aGarrett Cooper	while ((ret != 0) && (errno == EINTR));
900dc076565f772bb1953209fb69ea150b494aaa40robbiew
91354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
92e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(errno, "Failed to wait for the semaphore");
930dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
940dc076565f772bb1953209fb69ea150b494aaa40robbiew
950dc076565f772bb1953209fb69ea150b494aaa40robbiew	return NULL;
960dc076565f772bb1953209fb69ea150b494aaa40robbiew}
970dc076565f772bb1953209fb69ea150b494aaa40robbiew
980dc076565f772bb1953209fb69ea150b494aaa40robbiew/* The main test function. */
994ca2bbdcd3003f3c8df4e6129e9c7b2bd1514f87Cyril Hrubisint main(void)
1000dc076565f772bb1953209fb69ea150b494aaa40robbiew{
1010dc076565f772bb1953209fb69ea150b494aaa40robbiew	int ret;
1020dc076565f772bb1953209fb69ea150b494aaa40robbiew	pthread_t thread;
103354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	sem_t *sem;
1040dc076565f772bb1953209fb69ea150b494aaa40robbiew
1050dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Initialize output */
1060dc076565f772bb1953209fb69ea150b494aaa40robbiew	output_init();
1070dc076565f772bb1953209fb69ea150b494aaa40robbiew
1080dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Create the semaphore */
109e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	sem = sem_open(SEM_NAME, O_CREAT | O_EXCL, 0777, 1);
1100dc076565f772bb1953209fb69ea150b494aaa40robbiew
111354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if ((sem == SEM_FAILED) && (errno == EEXIST)) {
112e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		sem_unlink(SEM_NAME);
113e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		sem = sem_open(SEM_NAME, O_CREAT | O_EXCL, 0777, 1);
1140dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1150dc076565f772bb1953209fb69ea150b494aaa40robbiew
116354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (sem == SEM_FAILED) {
117e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(errno, "Failed to create the semaphore");
1180dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1190dc076565f772bb1953209fb69ea150b494aaa40robbiew
1200dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Create the child thread */
121e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	ret = pthread_create(&thread, NULL, threaded, sem);
1220dc076565f772bb1953209fb69ea150b494aaa40robbiew
123354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
124e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(ret, "Failed to create the thread");
1250dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1260dc076565f772bb1953209fb69ea150b494aaa40robbiew
1270dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Let some time for the thread to block */
128e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	sleep(1);
1290dc076565f772bb1953209fb69ea150b494aaa40robbiew
1300dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Unlink */
131e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	ret = sem_unlink(SEM_NAME);
1320dc076565f772bb1953209fb69ea150b494aaa40robbiew
133354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
134e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(errno, "Failed to unlink the semaphore");
1350dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1360dc076565f772bb1953209fb69ea150b494aaa40robbiew
1370dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Now, we're success */
138e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	ret = sem_post(sem);
1390dc076565f772bb1953209fb69ea150b494aaa40robbiew
140354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
141e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(errno, "Failed to post the semaphore");
1420dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1430dc076565f772bb1953209fb69ea150b494aaa40robbiew
1440dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Join the thread */
145e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	ret = pthread_join(thread, NULL);
1460dc076565f772bb1953209fb69ea150b494aaa40robbiew
147354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
148e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(ret, "Failed to join the thread");
1490dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1500dc076565f772bb1953209fb69ea150b494aaa40robbiew
1510dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* close  */
152e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	ret = sem_close(sem);
1530dc076565f772bb1953209fb69ea150b494aaa40robbiew
154354ebb48db8e66a853a58379a4808d5dcd1ceac3Wanlong Gao	if (ret != 0) {
155e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper		UNRESOLVED(errno, "Failed to close the semaphore");
1560dc076565f772bb1953209fb69ea150b494aaa40robbiew	}
1570dc076565f772bb1953209fb69ea150b494aaa40robbiew
1580dc076565f772bb1953209fb69ea150b494aaa40robbiew	/* Test passed */
1590dc076565f772bb1953209fb69ea150b494aaa40robbiew#if VERBOSE > 0
160e9410dfd93b8e415ecbe3f7e09a085462b27836eGarrett Cooper	output("Test passed\n");
1610dc076565f772bb1953209fb69ea150b494aaa40robbiew
1620dc076565f772bb1953209fb69ea150b494aaa40robbiew#endif
1630dc076565f772bb1953209fb69ea150b494aaa40robbiew	PASSED;
164ec6edca7aa42b6affd989ef91b5897f96795e40fChris Dearman}
165