Merge branch 'rwlock'
This commit is contained in:
commit
d29a953915
@ -71,6 +71,7 @@ endif
|
||||
|
||||
ifneq ($(CONFIG_DISABLE_PTHREAD),y)
|
||||
CSRCS += cancel.c cond.c mutex.c sem.c semtimed.c barrier.c timedwait.c
|
||||
CSRCS += pthread_rwlock.c
|
||||
|
||||
ifneq ($(CONFIG_PTHREAD_MUTEX_UNSAFE),y)
|
||||
CSRCS += robust.c
|
||||
|
@ -216,6 +216,10 @@ void sporadic_test(void);
|
||||
|
||||
void tls_test(void);
|
||||
|
||||
/* pthread_rwlock.c ****************************************************************/
|
||||
|
||||
void pthread_rwlock_test(void);
|
||||
|
||||
/* barrier.c ****************************************************************/
|
||||
|
||||
void barrier_test(void);
|
||||
|
@ -424,7 +424,13 @@ static int user_main(int argc, char *argv[])
|
||||
cond_test();
|
||||
check_test_memory_usage();
|
||||
#endif
|
||||
#endif
|
||||
|
||||
/* Verify pthreads rwlock interfaces */
|
||||
|
||||
printf("\nuser_main: pthread_rwlock test\n");
|
||||
pthread_rwlock_test();
|
||||
check_test_memory_usage();
|
||||
#endif /* !CONFIG_DISABLE_PTHREAD */
|
||||
|
||||
#ifndef CONFIG_DISABLE_PTHREAD
|
||||
/* Verify pthreads and condition variable timed waits */
|
||||
|
447
examples/ostest/pthread_rwlock.c
Normal file
447
examples/ostest/pthread_rwlock.c
Normal file
@ -0,0 +1,447 @@
|
||||
/****************************************************************************
|
||||
* apps/examples/pthread_rwlock.c
|
||||
*
|
||||
* 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;
|
||||
};
|
||||
|
||||
/****************************************************************************
|
||||
* Private Data
|
||||
****************************************************************************/
|
||||
static int g_race_cond_thread_pos;
|
||||
|
||||
/****************************************************************************
|
||||
* 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 */
|
||||
|
||||
if (g_race_cond_thread_pos++ != 0)
|
||||
{
|
||||
printf("pthread_rwlock: Thread order unexpected. Expected 0, got %d",
|
||||
g_race_cond_thread_pos);
|
||||
}
|
||||
|
||||
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 */
|
||||
|
||||
if (g_race_cond_thread_pos++ != 2)
|
||||
{
|
||||
printf("pthread_rwlock: Thread order unexpected. Expected 2, 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\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 */
|
||||
|
||||
if (g_race_cond_thread_pos++ != 4)
|
||||
{
|
||||
printf("pthread_rwlock: Thread order unexpected. Expected 4, 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\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_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);
|
||||
}
|
||||
|
||||
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);
|
||||
}
|
||||
|
||||
if (g_race_cond_thread_pos++ != 1)
|
||||
{
|
||||
printf("pthread_rwlock: Thread order unexpected. Expected 1, got %d", g_race_cond_thread_pos);
|
||||
}
|
||||
|
||||
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);
|
||||
}
|
||||
|
||||
if (g_race_cond_thread_pos++ != 3)
|
||||
{
|
||||
printf("pthread_rwlock: Thread order unexpected. Expected 3, 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\n");
|
||||
}
|
||||
|
||||
sem_post(rc->sem1);
|
||||
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);
|
||||
}
|
||||
|
||||
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;
|
||||
|
||||
g_race_cond_thread_pos = 0;
|
||||
status = pthread_create(&thread1, NULL, race_cond_thread1, &rc);
|
||||
status = pthread_create(&thread2, NULL, race_cond_thread2, &rc);
|
||||
(void) pthread_join(thread1, NULL);
|
||||
(void) pthread_join(thread2, NULL);
|
||||
}
|
||||
|
||||
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);
|
||||
|
||||
(void) pthread_join(thread1, NULL);
|
||||
(void) pthread_join(thread2, NULL);
|
||||
}
|
||||
|
||||
/****************************************************************************
|
||||
* 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)
|
||||
{
|
||||
printf("pthread_rwlock: ""ERROR able to acquire to write locks\n");
|
||||
}
|
||||
|
||||
status = pthread_rwlock_tryrdlock(&rw_lock);
|
||||
if (status != EBUSY)
|
||||
{
|
||||
printf("pthread_rwlock: "
|
||||
"ERROR able to acquire read lock when read lock already acquired\n");
|
||||
}
|
||||
|
||||
status = pthread_rwlock_unlock(&rw_lock);
|
||||
if (status != 0)
|
||||
{
|
||||
printf("pthread_rwlock: "
|
||||
"ERROR pthread_rwlock_unlock failed, status=%d\n",
|
||||
status);
|
||||
}
|
||||
|
||||
test_two_threads();
|
||||
|
||||
test_timeout();
|
||||
}
|
@ -127,7 +127,7 @@ static void get_primes(int *count, int *last)
|
||||
|
||||
static FAR void *get_primes_thread(FAR void *parameter)
|
||||
{
|
||||
int id = (int)parameter;
|
||||
int id = (int)((intptr_t)parameter);
|
||||
int count;
|
||||
int last;
|
||||
int i;
|
||||
|
Loading…
Reference in New Issue
Block a user