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