1 files changed, 140 insertions, 3 deletions
diff --git a/testsuites/psxtests/psx08/init.c b/testsuites/psxtests/psx08/init.c
index 781ac1ed30..3af6f83d7f 100644
--- a/testsuites/psxtests/psx08/init.c
+++ b/testsuites/psxtests/psx08/init.c
@@ -1,10 +1,31 @@
+/* SPDX-License-Identifier: BSD-2-Clause */
+
 /*
  *  COPYRIGHT (c) 1989-2009.
  *  On-Line Applications Research Corporation (OAR).
  *
- *  The license and distribution terms for this file may be
- *  found in the file LICENSE in this distribution or at
- *  http://www.rtems.org/license/LICENSE.
+ * Copyright (C) 2022 embedded brains GmbH & Co. KG
+ *
+ * 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
@@ -17,6 +38,119 @@
 
 const char rtems_test_name[] = "PSX 8";
 
+static void *async_join_thread( void *arg )
+{
+  pthread_t *th;
+  int        eno;
+  int        type;
+
+  th = arg;
+
+  type = PTHREAD_CANCEL_ASYNCHRONOUS;
+  eno = pthread_setcanceltype( type, &type );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( type == PTHREAD_CANCEL_DEFERRED );
+
+  (void) pthread_join( *th, NULL );
+  rtems_test_assert( 0 );
+}
+
+static void test_join_deadlock( void )
+{
+  pthread_t td;
+  pthread_t self;
+  int       eno;
+  void     *value;
+
+  self = pthread_self();
+
+  eno = pthread_create( &td, NULL, async_join_thread, &self );
+  rtems_test_assert( eno == 0 );
+
+  sched_yield();
+
+  eno = pthread_join( td, NULL );
+  rtems_test_assert( eno == EDEADLK );
+
+  eno = pthread_cancel( td );
+  rtems_test_assert( eno == 0 );
+
+  value = NULL;
+  eno = pthread_join( td, &value );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( value == PTHREAD_CANCELED );
+}
+
+typedef struct {
+  pthread_t protected_join;
+  pthread_t deleter;
+  rtems_status_code delete_status;
+} delete_deadlock_context;
+
+static void *protected_join_thread( void *arg )
+{
+  delete_deadlock_context *ctx;
+  int                      state;
+  int                      eno;
+  void                    *value;
+
+  ctx = arg;
+
+  state = PTHREAD_CANCEL_DISABLE;
+  eno = pthread_setcancelstate( state, &state );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( state == PTHREAD_CANCEL_ENABLE );
+
+  value = NULL;
+  eno = pthread_join( ctx->deleter, &value );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( value == &ctx->deleter );
+
+  state = PTHREAD_CANCEL_ENABLE;
+  eno = pthread_setcancelstate( state, &state );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( state == PTHREAD_CANCEL_DISABLE );
+
+  pthread_testcancel();
+  rtems_test_assert( 0 );
+}
+
+static void *deleter_thread( void *arg )
+{
+  delete_deadlock_context *ctx;
+
+  ctx = arg;
+  ctx->delete_status = rtems_task_delete( ctx->protected_join );
+  return &ctx->deleter;
+}
+
+static void test_delete_deadlock( void )
+{
+  delete_deadlock_context ctx;
+  int                     eno;
+  void                   *value;
+
+  ctx.delete_status = RTEMS_NOT_IMPLEMENTED;
+
+  eno = pthread_create(
+    &ctx.protected_join,
+    NULL,
+    protected_join_thread,
+    &ctx
+  );
+  rtems_test_assert( eno == 0 );
+
+  eno = pthread_create( &ctx.deleter, NULL, deleter_thread, &ctx );
+  rtems_test_assert( eno == 0 );
+
+  value = NULL;
+  eno = pthread_join( ctx.protected_join, &value );
+  rtems_test_assert( eno == 0 );
+  rtems_test_assert( value == PTHREAD_CANCELED );
+
+  rtems_test_assert( ctx.delete_status == RTEMS_INCORRECT_STATE );
+}
+
 void *POSIX_Init(
   void *argument
 )
@@ -35,6 +169,9 @@ void *POSIX_Init(
   Init_id = pthread_self();
   printf( "Init's ID is 0x%08" PRIxpthread_t "\n", Init_id );
 
+  test_join_deadlock();
+  test_delete_deadlock();
+
   puts( "Init: pthread_detach - ESRCH (invalid id)" );
   status = pthread_detach( (pthread_t) -1 );
   rtems_test_assert( status == ESRCH );