2017-04-07 15:23:14 +02:00
|
|
|
/****************************************************************************
|
2018-12-12 23:37:38 +01:00
|
|
|
* testing/ostest/pthread_rwlock.c
|
2017-04-07 15:23:14 +02:00
|
|
|
*
|
|
|
|
* Copyright (C) 2017 Mark Schulte. All rights reserved.
|
|
|
|
* Author: Mark Schulte <mark@mjs.pw>
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
* 3. Neither the name NuttX nor the names of its contributors may be
|
|
|
|
* used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Included Files
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#include <pthread.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <errno.h>
|
|
|
|
|
|
|
|
/****************************************************************************
|
|
|
|
* Private Types
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
struct race_cond_s
|
|
|
|
{
|
|
|
|
sem_t * sem1;
|
|
|
|
sem_t * sem2;
|
|
|
|
pthread_rwlock_t *rw_lock;
|
|
|
|
};
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* Private Data
|
|
|
|
****************************************************************************/
|
|
|
|
static int g_race_cond_thread_pos;
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* Private Functions
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
static FAR void *race_cond_thread1(FAR void *data)
|
|
|
|
{
|
|
|
|
FAR struct race_cond_s *rc = (FAR struct race_cond_s *) data;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
/* Runs 1st */
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
if (g_race_cond_thread_pos++ != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 0, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_rwlock_wrlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to lock for writing\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_post(rc->sem2);
|
|
|
|
sem_wait(rc->sem1);
|
|
|
|
|
|
|
|
/* Context Switch -> Runs 3rd */
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
if (g_race_cond_thread_pos++ != 2)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 2, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock lock held for writing\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_rdlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to open rwlock for reading. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_wait(rc->sem1);
|
|
|
|
|
|
|
|
/* Context Switch - Runs 5th */
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
if (g_race_cond_thread_pos++ != 4)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 4, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock lock held for writing\n");
|
|
|
|
}
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
status = pthread_rwlock_rdlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to open rwlock for reading. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_post(rc->sem2);
|
|
|
|
sem_wait(rc->sem1);
|
|
|
|
|
|
|
|
/* Context switch - Runs 7th */
|
|
|
|
|
|
|
|
if (g_race_cond_thread_pos++ != 6)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 6, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock lock held for reading. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
static FAR void *race_cond_thread2(FAR void *data)
|
|
|
|
{
|
|
|
|
FAR struct race_cond_s *rc = (FAR struct race_cond_s *) data;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
status = sem_wait(rc->sem2);
|
|
|
|
|
|
|
|
/* Runs 2nd */
|
|
|
|
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to wait on semaphore. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
if (g_race_cond_thread_pos++ != 1)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 1, got %d", g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_rwlock_tryrdlock(rc->rw_lock);
|
|
|
|
if (status != EBUSY)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Opened rw_lock for rd when locked for writing: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_trywrlock(rc->rw_lock);
|
|
|
|
if (status != EBUSY)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Opened rw_lock for wr when locked for writing: %d\n", status);
|
|
|
|
}
|
|
|
|
sem_post(rc->sem1);
|
|
|
|
status = pthread_rwlock_rdlock(rc->rw_lock);
|
|
|
|
|
|
|
|
/* Context - Switch Runs 4th */
|
|
|
|
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to open rwlock for reading. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
if (g_race_cond_thread_pos++ != 3)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 3, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock lock held for writing\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_post(rc->sem1);
|
2017-04-07 23:47:16 +02:00
|
|
|
sem_wait(rc->sem2);
|
|
|
|
|
|
|
|
/* Context switch Runs 6th */
|
|
|
|
|
|
|
|
if (g_race_cond_thread_pos++ != 5)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 5, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_post(rc->sem1);
|
|
|
|
status = pthread_rwlock_wrlock(rc->rw_lock);
|
|
|
|
|
|
|
|
/* Context switch runs 8th */
|
|
|
|
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to open rwlock for reading. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (g_race_cond_thread_pos++ != 7)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Thread order unexpected. Expected 7, got %d",
|
|
|
|
g_race_cond_thread_pos);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock lock held for writing. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void test_two_threads(void)
|
|
|
|
{
|
|
|
|
pthread_rwlock_t rw_lock;
|
|
|
|
struct race_cond_s rc;
|
|
|
|
pthread_t thread1;
|
|
|
|
pthread_t thread2;
|
|
|
|
sem_t sem1;
|
|
|
|
sem_t sem2;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
status = pthread_rwlock_init(&rw_lock, NULL);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR pthread_rwlock_init failed, status=%d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = sem_init(&sem1, 0, 0);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR sem_init failed, status=%d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = sem_init(&sem2, 0, 0);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR sem_init failed, status=%d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
rc.sem1 = &sem1;
|
|
|
|
rc.sem2 = &sem2;
|
|
|
|
rc.rw_lock = &rw_lock;
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
g_race_cond_thread_pos = 0;
|
2017-04-07 15:23:14 +02:00
|
|
|
status = pthread_create(&thread1, NULL, race_cond_thread1, &rc);
|
|
|
|
status = pthread_create(&thread2, NULL, race_cond_thread2, &rc);
|
2020-01-02 13:09:50 +01:00
|
|
|
pthread_join(thread1, NULL);
|
|
|
|
pthread_join(thread2, NULL);
|
2017-04-07 15:23:14 +02:00
|
|
|
}
|
|
|
|
|
2017-04-07 23:47:16 +02:00
|
|
|
static void * timeout_thread1(FAR void * data)
|
|
|
|
{
|
|
|
|
FAR struct race_cond_s * rc = (FAR struct race_cond_s *) data;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
status = pthread_rwlock_wrlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to acquire rw_lock. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
sem_wait(rc->sem1);
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to unlock rw_lock. Status: %d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void * timeout_thread2(FAR void * data)
|
|
|
|
{
|
|
|
|
FAR struct race_cond_s * rc = (FAR struct race_cond_s *) data;
|
|
|
|
struct timespec time;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
status = clock_gettime(CLOCK_REALTIME, &time);
|
|
|
|
time.tv_sec += 2;
|
|
|
|
|
|
|
|
status = pthread_rwlock_timedwrlock(rc->rw_lock, &time);
|
|
|
|
if (status != ETIMEDOUT)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to properly timeout write lock\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
status = clock_gettime(CLOCK_REALTIME, &time);
|
|
|
|
time.tv_sec += 2;
|
|
|
|
|
|
|
|
status = pthread_rwlock_timedrdlock(rc->rw_lock, &time);
|
|
|
|
if (status != ETIMEDOUT)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to properly timeout rd lock\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
status = clock_gettime(CLOCK_REALTIME, &time);
|
|
|
|
time.tv_sec += 2;
|
|
|
|
|
|
|
|
sem_post(rc->sem1);
|
|
|
|
status = pthread_rwlock_timedrdlock(rc->rw_lock, &time);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to properly acquire rdlock\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(rc->rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: Failed to release rdlock\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void test_timeout(void)
|
|
|
|
{
|
|
|
|
pthread_rwlock_t rw_lock;
|
|
|
|
struct race_cond_s rc;
|
|
|
|
pthread_t thread1;
|
|
|
|
pthread_t thread2;
|
|
|
|
int status;
|
|
|
|
sem_t sem1;
|
|
|
|
sem_t sem2;
|
|
|
|
|
|
|
|
status = pthread_rwlock_init(&rw_lock, NULL);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR pthread_rwlock_init failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = sem_init(&sem1, 0, 0);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR sem_init failed, status=%d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = sem_init(&sem2, 0, 0);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: ERROR sem_init failed, status=%d\n", status);
|
|
|
|
}
|
|
|
|
|
|
|
|
rc.sem1 = &sem1;
|
|
|
|
rc.sem2 = &sem2;
|
|
|
|
rc.rw_lock = &rw_lock;
|
|
|
|
|
|
|
|
status = pthread_create(&thread1, NULL, timeout_thread1, &rc);
|
|
|
|
status = pthread_create(&thread2, NULL, timeout_thread2, &rc);
|
|
|
|
|
2020-01-02 13:09:50 +01:00
|
|
|
pthread_join(thread1, NULL);
|
|
|
|
pthread_join(thread2, NULL);
|
2017-04-07 23:47:16 +02:00
|
|
|
}
|
|
|
|
|
2017-04-07 15:23:14 +02:00
|
|
|
/****************************************************************************
|
|
|
|
* Public Functions
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
void pthread_rwlock_test(void)
|
|
|
|
{
|
|
|
|
pthread_rwlock_t rw_lock;
|
|
|
|
int status;
|
|
|
|
|
|
|
|
printf("pthread_rwlock: Initializing rwlock\n");
|
|
|
|
|
|
|
|
status = pthread_rwlock_init(&rw_lock, NULL);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR pthread_rwlock_init failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_trywrlock(&rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR pthread_rwlock_trywrlock failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(&rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR pthread_rwlock_unlock failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_trywrlock(&rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR pthread_rwlock_trywrlock failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_trywrlock(&rw_lock);
|
|
|
|
if (status != EBUSY)
|
|
|
|
{
|
2017-04-10 15:20:48 +02:00
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR able to acquire write lock when write lock already acquired\n");
|
2017-04-07 15:23:14 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_tryrdlock(&rw_lock);
|
|
|
|
if (status != EBUSY)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
2017-04-10 15:20:48 +02:00
|
|
|
"ERROR able to acquire read lock when write lock already acquired\n");
|
2017-04-07 15:23:14 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
status = pthread_rwlock_unlock(&rw_lock);
|
|
|
|
if (status != 0)
|
|
|
|
{
|
|
|
|
printf("pthread_rwlock: "
|
|
|
|
"ERROR pthread_rwlock_unlock failed, status=%d\n",
|
|
|
|
status);
|
|
|
|
}
|
|
|
|
|
|
|
|
test_two_threads();
|
2017-04-07 23:47:16 +02:00
|
|
|
|
|
|
|
test_timeout();
|
2017-04-07 15:23:14 +02:00
|
|
|
}
|