summaryrefslogtreecommitdiff
path: root/cpukit/posix/src/mutexunlock.c
blob: ead310981249114dcc14a2658e45e72d7e392c4c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
/**
 * @file
 *
 * @brief Locking and Unlocking a Mutex
 * @ingroup POSIXAPI
 */

/*
 *  COPYRIGHT (c) 1989-2007.
 *  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.
 */

#if HAVE_CONFIG_H
#include "config.h"
#endif

#include <rtems/posix/muteximpl.h>
#include <rtems/posix/posixapi.h>

#include <string.h>

bool _POSIX_Mutex_Auto_initialization( POSIX_Mutex_Control *the_mutex )
{
  unsigned long zero;
  unsigned long flags;

  /* We cannot use memset() and memcmp() due to structure internal padding */
  zero = 0;
  zero |= the_mutex->flags;
#if defined(RTEMS_SMP)
  zero |= _Atomic_Load_uint(
    &the_mutex->Recursive.Mutex.Queue.Queue.Lock.next_ticket,
    ATOMIC_ORDER_RELAXED
  );
  zero |= _Atomic_Load_uint(
    &the_mutex->Recursive.Mutex.Queue.Queue.Lock.now_serving,
    ATOMIC_ORDER_RELAXED
  );
#else
  zero |= the_mutex->Recursive.Mutex.Queue.reserved[ 0 ];
  zero |= the_mutex->Recursive.Mutex.Queue.reserved[ 1 ];
#endif
  zero |= (unsigned long) the_mutex->Recursive.Mutex.Queue.Queue.heads;
  zero |= (unsigned long) the_mutex->Recursive.Mutex.Queue.Queue.owner;
  zero |= (unsigned long) the_mutex->Recursive.Mutex.Queue.Queue.name;
  zero |= the_mutex->Recursive.nest_level;
  zero |= (unsigned long) the_mutex->Priority_ceiling.Node.RBTree.Node.rbe_left;
  zero |= (unsigned long) the_mutex->Priority_ceiling.Node.RBTree.Node.rbe_right;
  zero |= (unsigned long) the_mutex->Priority_ceiling.Node.RBTree.Node.rbe_parent;
  zero |= (unsigned long) the_mutex->Priority_ceiling.Node.RBTree.Node.rbe_color;
  zero |= (unsigned long) the_mutex->Priority_ceiling.priority;
  zero |= (unsigned long) (the_mutex->Priority_ceiling.priority >> 32);
  zero |= (unsigned long) the_mutex->scheduler;

  if ( zero != 0 ) {
    return false;
  }

  flags = (uintptr_t) the_mutex ^ POSIX_MUTEX_MAGIC;
  flags &= ~POSIX_MUTEX_FLAGS_MASK;
  the_mutex->flags = flags;
  return true;
}

/*
 *  11.3.3 Locking and Unlocking a Mutex, P1003.1c/Draft 10, p. 93
 *
 *  NOTE: P1003.4b/D8 adds pthread_mutex_timedlock(), p. 29
 */

int pthread_mutex_unlock(
  pthread_mutex_t           *mutex
)
{
  POSIX_Mutex_Control  *the_mutex;
  unsigned long         flags;
  Thread_queue_Context  queue_context;
  Thread_Control       *executing;
  Status_Control        status;

  the_mutex = _POSIX_Mutex_Get( mutex );
  POSIX_MUTEX_VALIDATE_OBJECT( the_mutex, flags );

  executing = _POSIX_Mutex_Acquire( the_mutex, &queue_context );

  switch ( _POSIX_Mutex_Get_protocol( flags ) ) {
    case POSIX_MUTEX_PRIORITY_CEILING:
      status = _POSIX_Mutex_Ceiling_surrender(
        the_mutex,
        executing,
        &queue_context
      );
      break;
    case POSIX_MUTEX_NO_PROTOCOL:
      status = _POSIX_Mutex_Surrender(
        the_mutex,
        POSIX_MUTEX_NO_PROTOCOL_TQ_OPERATIONS,
        executing,
        &queue_context
      );
      break;
    default:
      _Assert(
        _POSIX_Mutex_Get_protocol( flags ) == POSIX_MUTEX_PRIORITY_INHERIT
      );
      status = _POSIX_Mutex_Surrender(
        the_mutex,
        POSIX_MUTEX_PRIORITY_INHERIT_TQ_OPERATIONS,
        executing,
        &queue_context
      );
      break;
  }

  return _POSIX_Get_error( status );
}