mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-11-16 04:24:45 +00:00
720 lines
20 KiB
C
720 lines
20 KiB
C
/* SPDX-License-Identifier: BSD-2-Clause */
|
|
|
|
/*
|
|
* COPYRIGHT (c) 1989-2012.
|
|
* On-Line Applications Research Corporation (OAR).
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
* POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
|
|
#ifdef HAVE_CONFIG_H
|
|
#include "config.h"
|
|
#endif
|
|
|
|
#include <sched.h>
|
|
#include <semaphore.h>
|
|
#include <errno.h>
|
|
#include <fcntl.h>
|
|
#include <limits.h>
|
|
#include <time.h>
|
|
#include <tmacros.h>
|
|
#include <pmacros.h>
|
|
#include "test_support.h"
|
|
|
|
const char rtems_test_name[] = "PSXSEM 1";
|
|
|
|
/* forward declarations to avoid warnings */
|
|
void *POSIX_Init(void *argument);
|
|
|
|
#define MAX_SEMS 10
|
|
|
|
static void *sem_wait_task(void *arg)
|
|
{
|
|
(void) arg;
|
|
|
|
sem_t *sem;
|
|
int rv;
|
|
|
|
sem = arg;
|
|
|
|
rv = sem_wait( sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
rv = sem_wait( sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
return NULL;
|
|
}
|
|
|
|
static void test_sem_wait_during_delete(void)
|
|
{
|
|
sem_t sem;
|
|
int rv;
|
|
pthread_t th;
|
|
int eno;
|
|
int val;
|
|
|
|
rv = sem_init( &sem, 0, 1 );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
eno = pthread_create( &th, NULL, sem_wait_task, &sem );
|
|
rtems_test_assert( eno == 0 );
|
|
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == 1 );
|
|
|
|
sched_yield();
|
|
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == 0 );
|
|
|
|
errno = 0;
|
|
rv = sem_destroy( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EBUSY );
|
|
|
|
rv = sem_post( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
eno = pthread_join( th, NULL );
|
|
rtems_test_assert( eno == 0 );
|
|
|
|
rv = sem_destroy( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
}
|
|
|
|
static void test_named_sem_wait_during_delete(void)
|
|
{
|
|
sem_t *sem;
|
|
sem_t *sem2;
|
|
int rv;
|
|
pthread_t th;
|
|
int eno;
|
|
int val;
|
|
|
|
sem = sem_open( "sem", O_CREAT | O_EXCL, 0777, 1 );
|
|
rtems_test_assert( sem != SEM_FAILED );
|
|
|
|
sem2 = sem_open( "sem", 0 );
|
|
rtems_test_assert( sem2 != SEM_FAILED );
|
|
rtems_test_assert( sem == sem2 );
|
|
|
|
eno = pthread_create( &th, NULL, sem_wait_task, sem );
|
|
rtems_test_assert( eno == 0 );
|
|
|
|
rv = sem_getvalue( sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == 1 );
|
|
|
|
sched_yield();
|
|
|
|
rv = sem_getvalue( sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == 0 );
|
|
|
|
rv = sem_close( sem2 );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
errno = 0;
|
|
rv = sem_close( sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EBUSY );
|
|
|
|
rv = sem_post( sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
eno = pthread_join( th, NULL );
|
|
rtems_test_assert( eno == 0 );
|
|
|
|
rv = sem_close( sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
rv = sem_unlink( "sem" );
|
|
rtems_test_assert( rv == 0 );
|
|
}
|
|
|
|
static void test_sem_post_overflow(void)
|
|
{
|
|
sem_t sem;
|
|
int rv;
|
|
int val;
|
|
|
|
rv = sem_init( &sem, 0, SEM_VALUE_MAX );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == (int) SEM_VALUE_MAX );
|
|
|
|
errno = 0;
|
|
rv = sem_post( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EOVERFLOW );
|
|
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == (int) SEM_VALUE_MAX );
|
|
|
|
rv = sem_wait( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
rv = sem_post( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
rv = sem_destroy( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
}
|
|
|
|
static void test_sem_init_too_large_inital_value(void)
|
|
{
|
|
sem_t sem;
|
|
sem_t *sem2;
|
|
int rv;
|
|
|
|
errno = 0;
|
|
rv = sem_init( &sem, 0, (unsigned int) SEM_VALUE_MAX + 1 );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
sem2 = sem_open(
|
|
"sem",
|
|
O_CREAT | O_EXCL,
|
|
0777,
|
|
(unsigned int) SEM_VALUE_MAX + 1
|
|
);
|
|
rtems_test_assert( sem2 == SEM_FAILED );
|
|
rtems_test_assert( errno == EINVAL );
|
|
}
|
|
|
|
static void test_sem_null(void)
|
|
{
|
|
int rv;
|
|
int val;
|
|
struct timespec to;
|
|
clockid_t clock_id;
|
|
|
|
/* This equality is important for POSIX_SEMAPHORE_VALIDATE_OBJECT() */
|
|
rtems_test_assert( NULL == SEM_FAILED );
|
|
|
|
errno = 0;
|
|
rv = sem_init( NULL, 0, 0 );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_wait( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_post( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_wait( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_trywait( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
to.tv_sec = 1;
|
|
to.tv_nsec = 1;
|
|
errno = 0;
|
|
rv = sem_timedwait( NULL, &to );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
to.tv_sec = 1;
|
|
to.tv_nsec = 1;
|
|
errno = 0;
|
|
clock_id = CLOCK_REALTIME;
|
|
rv = sem_clockwait( NULL, clock_id, &to );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_getvalue( NULL, &val );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_destroy( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_close( NULL );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
}
|
|
|
|
static void test_sem_not_initialized(void)
|
|
{
|
|
sem_t sem;
|
|
int rv;
|
|
int val;
|
|
struct timespec to;
|
|
clockid_t clock_id;
|
|
|
|
memset( &sem, 0xff, sizeof( sem ) );
|
|
|
|
errno = 0;
|
|
rv = sem_wait( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_post( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_wait( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_trywait( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
to.tv_sec = 1;
|
|
to.tv_nsec = 1;
|
|
errno = 0;
|
|
rv = sem_timedwait( &sem, &to );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
to.tv_sec = 1;
|
|
to.tv_nsec = 1;
|
|
errno = 0;
|
|
clock_id = CLOCK_REALTIME;
|
|
rv = sem_clockwait( NULL, clock_id, &to );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_destroy( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
errno = 0;
|
|
rv = sem_close( &sem );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
}
|
|
|
|
static void test_sem_invalid_copy(void)
|
|
{
|
|
sem_t sem;
|
|
sem_t sem2;
|
|
int rv;
|
|
int val;
|
|
|
|
rv = sem_init( &sem, 0, 0 );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
val = 1;
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == 0 );
|
|
rtems_test_assert( val == 0 );
|
|
|
|
memcpy( &sem2, &sem, sizeof( sem2 ) );
|
|
|
|
errno = 0;
|
|
rv = sem_getvalue( &sem2, &val );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
|
|
rv = sem_destroy( &sem );
|
|
rtems_test_assert( rv == 0 );
|
|
|
|
errno = 0;
|
|
rv = sem_getvalue( &sem, &val );
|
|
rtems_test_assert( rv == -1 );
|
|
rtems_test_assert( errno == EINVAL );
|
|
}
|
|
|
|
void *POSIX_Init(
|
|
void *argument
|
|
)
|
|
{
|
|
(void) argument;
|
|
|
|
int status;
|
|
int value;
|
|
int i;
|
|
sem_t sems[MAX_SEMS];
|
|
sem_t sem2;
|
|
sem_t *n_sem1;
|
|
sem_t *n_sem2;
|
|
struct timespec waittime;
|
|
char failure_msg[80];
|
|
clockid_t clock_id;
|
|
|
|
TEST_BEGIN();
|
|
|
|
puts( "Init: sem_init - SUCCESSFUL" );
|
|
status = sem_init(&sem2, 1, 1);
|
|
fatal_posix_service_status( status, 0, "sem_init with pshared != 0");
|
|
|
|
puts( "Init: sem_destroy - SUCCESSFUL" );
|
|
status = sem_destroy(&sem2);
|
|
fatal_posix_service_status( status, 0, "sem_destroy");
|
|
|
|
puts( "Init: sem_init - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_init(NULL, 0, 1);
|
|
fatal_posix_service_status( status, -1, "sem_init error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_init errorno EINVAL" );
|
|
|
|
puts( "Init: sem_init - SUCCESSFUL" );
|
|
for (i = 0; i < MAX_SEMS; i++) {
|
|
status = sem_init(&sems[i], 0, i);
|
|
sprintf(failure_msg, "sem_init %d", i );
|
|
fatal_posix_service_status( status, 0, failure_msg);
|
|
}
|
|
|
|
puts( "Init: sem_init - SUCCESSFUL" );
|
|
status = sem_init(&sem2, 0, 1);
|
|
fatal_posix_service_status( status, 0, "sem_init");
|
|
|
|
puts( "Init: sem_destroy - SUCCESSFUL" );
|
|
status = sem_destroy(&sem2);
|
|
fatal_posix_service_status( status, 0, "sem_destroy");
|
|
|
|
puts( "Init: sem_getvalue - SUCCESSFUL ");
|
|
for (i = 0; i < MAX_SEMS; i++) {
|
|
status = sem_getvalue(&sems[i], &value);
|
|
sprintf( failure_msg, "sem_getvalue %d", i );
|
|
fatal_posix_service_status( status, 0, failure_msg );
|
|
fatal_posix_service_status( value, i, "sem_getvalue correct value" );
|
|
}
|
|
puts( "Init: sem_getvalue - UNSUCCESSFUL ");
|
|
status = sem_getvalue(SEM_FAILED, &value);
|
|
fatal_posix_service_status( status, -1, "sem_getvalue error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_getvalue errno EINVAL");
|
|
|
|
puts( "Init: sem_destroy - SUCCESSFUL" );
|
|
status = sem_destroy(&sems[0]);
|
|
fatal_posix_service_status( status, 0, "sem_destroy semaphore 0");
|
|
|
|
puts( "Init: sem_destroy - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_destroy(SEM_FAILED);
|
|
fatal_posix_service_status( status, -1, "sem_destroy error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_destroy errno EINVAL");
|
|
|
|
puts( "Init: sem_wait - SUCCESSFUL" );
|
|
status = sem_wait(&sems[1]);
|
|
fatal_posix_service_status( status, 0, "sem_wait semaphore 1");
|
|
/* sem[1].count = 0 */
|
|
|
|
puts( "Init: sem_wait - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_wait(SEM_FAILED);
|
|
fatal_posix_service_status( status, -1, "sem_wait error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_wait errno EINVAL");
|
|
|
|
puts( "Init: sem_post - SUCCESSFUL" );
|
|
status = sem_post(&sems[1]);
|
|
fatal_posix_service_status( status, 0, "sem_post semaphore 1");
|
|
/* sem[1].count = 1 */
|
|
|
|
puts( "Init: sem_wait - SUCCESSFUL (after a sem_post)" );
|
|
status = sem_wait(&sems[1]);
|
|
fatal_posix_service_status( status, 0, "sem_wait semaphore 1");
|
|
/* sem[1].count = 0 */
|
|
|
|
puts( "Init: sem_trywait - SUCCESSFUL" );
|
|
status = sem_trywait(&sems[2]);
|
|
fatal_posix_service_status( status, 0, "sem_trywait semaphore 2");
|
|
/* sem[2].count = 1 */
|
|
|
|
puts( "Init: sem_trywait - UNSUCCESSFUL (EAGAIN)" );
|
|
status = sem_trywait(&sems[1]);
|
|
fatal_posix_service_status( status, -1, "sem_trywait error return status");
|
|
fatal_posix_service_status( errno, EAGAIN, "sem_trywait errno EAGAIN");
|
|
/* sem[1].count = 0 */
|
|
|
|
puts( "Init: sem_trywait - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_trywait(SEM_FAILED);
|
|
fatal_posix_service_status( status, -1, "sem_trywait error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_trywait errno EINVAL");
|
|
|
|
#if 0
|
|
status = sem_post(&sems[2]);
|
|
fatal_posix_service_status( status, 0, "sem_post semaphore 2");
|
|
/* sem[2].count = 2 */
|
|
#else
|
|
/* sem[2].count = 1 */
|
|
#endif
|
|
|
|
puts( "Init: sem_timedwait - SUCCESSFUL" );
|
|
waittime.tv_sec = time(NULL) + 1;
|
|
waittime.tv_nsec = 100;
|
|
status = sem_timedwait(&sems[2], &waittime);
|
|
fatal_posix_service_status( status, 0, "sem_timedwait semaphore 2");
|
|
/* sem[2].count = 0 */
|
|
|
|
puts( "Init: sem_timedwait - UNSUCCESSFUL (ETIMEDOUT)" );
|
|
status = sem_timedwait(&sems[2], &waittime);
|
|
fatal_posix_service_status( status, -1, "sem_timedwait error return status");
|
|
fatal_posix_service_status(
|
|
errno, ETIMEDOUT, "sem_timedwait errno ETIMEDOUT");
|
|
|
|
/*
|
|
* To do this case, we must be blocking when we want the semaphore.
|
|
* POSIX doesn't want you to check the error if you can get the resource.
|
|
*/
|
|
|
|
#if 1
|
|
puts( "Init: sem_timedwait - UNSUCCESSFUL (EINVAL) -- skipping" );
|
|
#else
|
|
puts( "Init: sem_timedwait - UNSUCCESSFUL (EINVAL)" );
|
|
waittime.tv_sec = 0;
|
|
waittime.tv_nsec = 0x7FFFFFFF;
|
|
status = sem_timedwait(&sems[2], &waittime);
|
|
fatal_posix_service_status( status, -1, "sem_timedwait error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_init errno EINVAL");
|
|
#endif
|
|
|
|
puts( "Init: sem_post - SUCCESSFUL" );
|
|
status = sem_post(&sems[2]);
|
|
fatal_posix_service_status( status, 0, "sem_post semaphore 2");
|
|
/* sem[2].count = 1 */
|
|
|
|
puts( "Init: sem_clockwait CLOCK_MONOTONIC - SUCCESSFUL" );
|
|
clock_id = CLOCK_MONOTONIC;
|
|
clock_gettime(clock_id, &waittime);
|
|
waittime.tv_sec += 1;
|
|
waittime.tv_nsec = 100;
|
|
status = sem_clockwait(&sems[2], clock_id, &waittime);
|
|
fatal_posix_service_status( status, 0, "sem_clockwait CLOCK_MONOTONIC semaphore 2");
|
|
/* sem[2].count = 0 */
|
|
|
|
puts( "Init: sem_clockwait CLOCK_MONOTONIC - UNSUCCESSFUL (ETIMEDOUT)" );
|
|
status = sem_clockwait(&sems[2], clock_id, &waittime);
|
|
fatal_posix_service_status( status, -1, "sem_clockwait CLOCK_MONOTONIC error return status");
|
|
fatal_posix_service_status(
|
|
errno, ETIMEDOUT, "sem_clockwait CLOCK_MONOTONIC errno ETIMEDOUT");
|
|
|
|
puts( "Init: sem_post - SUCCESSFUL" );
|
|
status = sem_post(&sems[2]);
|
|
fatal_posix_service_status( status, 0, "sem_post semaphore 2");
|
|
/* sem[2].count = 1 */
|
|
|
|
puts( "Init: sem_clockwait CLOCK_REALTIME - SUCCESSFUL" );
|
|
clock_id = CLOCK_REALTIME;
|
|
clock_gettime(clock_id, &waittime);
|
|
waittime.tv_sec += 1;
|
|
waittime.tv_nsec = 100;
|
|
status = sem_clockwait(&sems[2], clock_id, &waittime);
|
|
fatal_posix_service_status( status, 0, "sem_clockwait CLOCK_REALTIME semaphore 2");
|
|
/* sem[2].count = 0 */
|
|
|
|
puts( "Init: sem_clockwait CLOCK_REALTIME - UNSUCCESSFUL (ETIMEDOUT)" );
|
|
status = sem_clockwait(&sems[2], clock_id, &waittime);
|
|
fatal_posix_service_status( status, -1, "sem_clockwait CLOCK_REALTIME error return status");
|
|
fatal_posix_service_status(
|
|
errno, ETIMEDOUT, "sem_clockwait CLOCK_REALTIME errno ETIMEDOUT");
|
|
|
|
puts( "Init: sem_post - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_post(SEM_FAILED);
|
|
fatal_posix_service_status( status, -1, "sem_post error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_post errno EINVAL");
|
|
|
|
puts( "Init: sem_destroy - SUCCESSFUL" );
|
|
for (i = 1; i < MAX_SEMS; i++) {
|
|
status = sem_destroy(&sems[i]);
|
|
sprintf( failure_msg, "sem_destroy %d", i );
|
|
fatal_posix_service_status( status, 0, failure_msg );
|
|
}
|
|
|
|
/* Modes are currently unsupported */
|
|
|
|
/*
|
|
* Validate all sem_open return paths.
|
|
*/
|
|
|
|
puts( "Init: sem_open - UNSUCCESSFUL (ENAMETOOLONG)" );
|
|
n_sem1 = sem_open(Get_Too_Long_Name(), O_CREAT, 0777, 1 );
|
|
fatal_posix_sem( n_sem1, "sem_open error return status" );
|
|
fatal_posix_service_status(
|
|
errno, ENAMETOOLONG, "sem_open errorno ENAMETOOLONG" );
|
|
|
|
puts( "Init: sem_open - sem1 SUCCESSFUL" );
|
|
n_sem1 = sem_open( "sem1",O_CREAT, 0777, 1 );
|
|
rtems_test_assert( n_sem1 != SEM_FAILED );
|
|
|
|
puts( "Init: sem_destroy - named sem1 - EINVAL" );
|
|
status = sem_destroy(n_sem1);
|
|
fatal_posix_service_status( status, -1, "sem_destroy named semaphore");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_destroy named semaphore");
|
|
|
|
puts( "Init: sem_open - Create an Existing sem (EEXIST)" );
|
|
n_sem2 = sem_open("sem1", O_CREAT | O_EXCL, 0777, 1);
|
|
fatal_posix_sem( n_sem2, "sem_open error return status" );
|
|
fatal_posix_service_status( errno, EEXIST, "sem_open errno EEXIST");
|
|
|
|
puts( "Init: sem_open - Open new sem without create flag (ENOENT)" );
|
|
n_sem2 = sem_open("sem3", O_EXCL, 0777, 1);
|
|
fatal_posix_sem( n_sem2, "sem_open error return status" );
|
|
fatal_posix_service_status( errno, ENOENT, "sem_open errno EEXIST");
|
|
|
|
/*
|
|
* XXX - Could not hit the following errors:
|
|
* E_POSIX_Semaphore_Create_support only fails if
|
|
* ENOSYS - When semaphore is shared between processes.
|
|
* ENOSPC - When out of memory.
|
|
*/
|
|
|
|
/*
|
|
* Validate we can wait on a semaphore opened with sem_open.
|
|
*/
|
|
|
|
puts( "Init: sem_wait on sem1" );
|
|
status = sem_wait(n_sem1);
|
|
fatal_posix_service_status( status, 0, "sem_wait opened semaphore");
|
|
|
|
/*
|
|
* Validate a second open returns the same semaphore.
|
|
*/
|
|
|
|
puts( "Init: sem_open - Open an existing sem ( same id )" );
|
|
n_sem2 = sem_open("sem1", 0 );
|
|
rtems_test_assert( n_sem2 == n_sem1 );
|
|
|
|
/*
|
|
* Unlink the semaphore, then verify an open of the same name produces a
|
|
* different semaphore.
|
|
*/
|
|
|
|
puts( "Init: sem_unlink - sem1 SUCCESSFUL" );
|
|
status = sem_unlink( "sem1" );
|
|
fatal_posix_service_status( status, 0, "sem_unlink locked semaphore");
|
|
|
|
puts( "Init: sem_open - Reopen sem1 SUCCESSFUL with a different id" );
|
|
n_sem2 = sem_open( "sem1", O_CREAT | O_EXCL, 0777, 1);
|
|
rtems_test_assert( n_sem2 != SEM_FAILED );
|
|
rtems_test_assert( n_sem2 != n_sem1 );
|
|
|
|
/*
|
|
* Validate we can call close on a semaphore opened with sem_open.
|
|
*/
|
|
|
|
puts( "Init: sem_close (1) - SUCCESSFUL" );
|
|
status = sem_close( n_sem1 );
|
|
fatal_posix_service_status( status, 0, "sem_close semaphore");
|
|
|
|
/*
|
|
* Validate it n_sem2 (the last open for sem1 name can be
|
|
* correctly closed and unlinked.
|
|
*/
|
|
|
|
puts( "Init: sem_close (2) - SUCCESSFUL" );
|
|
status = sem_close( n_sem2 );
|
|
fatal_posix_service_status( status, 0, "sem_close semaphore");
|
|
|
|
puts( "Init: sem_unlink - sem1 (2) SUCCESSFUL" );
|
|
status = sem_unlink( "sem1" );
|
|
fatal_posix_service_status( status, 0, "sem_unlink locked semaphore");
|
|
|
|
puts( "Init: sem_close - UNSUCCESSFUL (EINVAL)" );
|
|
status = sem_close(n_sem2);
|
|
fatal_posix_service_status( status, -1, "sem_close error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_close errno EINVAL");
|
|
|
|
puts( "Init: sem_unlink - UNSUCCESSFUL (ENOENT)" );
|
|
status = sem_unlink("sem1");
|
|
fatal_posix_service_status( status, -1, "sem_unlink error return status");
|
|
fatal_posix_service_status( errno, ENOENT, "sem_close errno EINVAL");
|
|
|
|
|
|
/*
|
|
* Validate we can unlink (2)
|
|
*/
|
|
|
|
puts( "Init: sem_unlink (NULL) - EINVAL" );
|
|
status = sem_unlink( NULL );
|
|
fatal_posix_service_status( status, -1, "sem_unlink error return status");
|
|
fatal_posix_service_status( errno, EINVAL, "sem_unlink errno value");
|
|
|
|
puts( "Init: sem_unlink (\"\") - ENOENT" );
|
|
status = sem_unlink( "" );
|
|
fatal_posix_service_status( status, -1, "sem_unlink error return status");
|
|
fatal_posix_service_status( errno, ENOENT, "sem_unlink errno value");
|
|
|
|
/*
|
|
* XXX - Cant' create location OBJECTS_ERROR or OBJECTS_REMOTE.
|
|
* sem_close and sem_unlink.
|
|
*/
|
|
|
|
puts( "Init: sem_unlink - UNSUCCESSFUL (ENOENT)" );
|
|
status = sem_unlink("sem2");
|
|
fatal_posix_service_status( status, -1, "sem_unlink error return status");
|
|
fatal_posix_service_status( errno, ENOENT, "sem_unlink errno ENOENT");
|
|
rtems_test_assert( (status == -1) && (errno == ENOENT) );
|
|
|
|
test_named_sem_wait_during_delete();
|
|
test_sem_wait_during_delete();
|
|
test_sem_post_overflow();
|
|
test_sem_init_too_large_inital_value();
|
|
test_sem_null();
|
|
test_sem_not_initialized();
|
|
test_sem_invalid_copy();
|
|
|
|
/* Try adding in unlinking before closing... (can we still open?) */
|
|
|
|
TEST_END();
|
|
rtems_test_exit(0);
|
|
|
|
return NULL; /* just so the compiler thinks we returned something */
|
|
}
|
|
|
|
/* configuration information */
|
|
#define CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER
|
|
#define CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER
|
|
|
|
#define CONFIGURE_POSIX_INIT_THREAD_TABLE
|
|
|
|
#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION
|
|
|
|
#define CONFIGURE_MAXIMUM_POSIX_THREADS 2
|
|
#define CONFIGURE_MAXIMUM_POSIX_SEMAPHORES 2
|
|
|
|
#define CONFIGURE_POSIX_INIT_THREAD_TABLE
|
|
#define CONFIGURE_POSIX_INIT_THREAD_STACK_SIZE \
|
|
(RTEMS_MINIMUM_STACK_SIZE * 4)
|
|
|
|
#define CONFIGURE_INIT
|
|
#include <rtems/confdefs.h>
|