| 1 | // ********************************************************************** | 
|---|
| 2 | // | 
|---|
| 3 | // Copyright (c) 2000 | 
|---|
| 4 | // Object Oriented Concepts, Inc. | 
|---|
| 5 | // Billerica, MA, USA | 
|---|
| 6 | // | 
|---|
| 7 | // All Rights Reserved | 
|---|
| 8 | // | 
|---|
| 9 | // ********************************************************************** | 
|---|
| 10 |  | 
|---|
| 11 | #include <JTC/Types.h> | 
|---|
| 12 | #include <JTC/Syscall.h> | 
|---|
| 13 | #include <JTC/Mutex.h> | 
|---|
| 14 | #include <JTC/Event.h> | 
|---|
| 15 | #include <JTC/Cond.h> | 
|---|
| 16 | #include <JTC/Handle.h> | 
|---|
| 17 | #include <JTC/HandleI.h> | 
|---|
| 18 | #include <JTC/Thread.h> | 
|---|
| 19 | #include <JTC/Monitor.h> | 
|---|
| 20 | #include <JTC/ThreadGroup.h> | 
|---|
| 21 | #include <JTC/Runnable.h> | 
|---|
| 22 | #include <JTC/Sync.h> | 
|---|
| 23 |  | 
|---|
| 24 | #include <errno.h> | 
|---|
| 25 |  | 
|---|
| 26 | #if defined(HAVE_POSIX_THREADS) | 
|---|
| 27 | #include <unistd.h> | 
|---|
| 28 | #include <sys/time.h> | 
|---|
| 29 | #endif | 
|---|
| 30 |  | 
|---|
| 31 | #ifdef HAVE_STD_IOSTREAM | 
|---|
| 32 | using namespace std; | 
|---|
| 33 | #endif | 
|---|
| 34 |  | 
|---|
| 35 | #ifndef WIN32 | 
|---|
| 36 | // | 
|---|
| 37 | // This helper class is used to re-acquire the the recursive mutex. | 
|---|
| 38 | // It's in place to help with robustness in the event of | 
|---|
| 39 | // pthread_cancel. | 
|---|
| 40 | // | 
|---|
| 41 | class JTCCondHelper | 
|---|
| 42 | { | 
|---|
| 43 | JTCRecursiveMutex& mut_; | 
|---|
| 44 | int count_; | 
|---|
| 45 |  | 
|---|
| 46 | public: | 
|---|
| 47 |  | 
|---|
| 48 | JTCCondHelper(JTCRecursiveMutex& m, | 
|---|
| 49 | int c) | 
|---|
| 50 | : mut_(m), count_(c) | 
|---|
| 51 | { | 
|---|
| 52 | } | 
|---|
| 53 |  | 
|---|
| 54 | ~JTCCondHelper() | 
|---|
| 55 | { | 
|---|
| 56 | // | 
|---|
| 57 | // We need to acquire the mutex rationally... We unlock the | 
|---|
| 58 | // mutexes critical section, and lock the mutex.  Restore | 
|---|
| 59 | // saved information. NOTE: It's not correct to set the count | 
|---|
| 60 | // and the owner of the mutex, the lock API method MUST be | 
|---|
| 61 | // called. | 
|---|
| 62 | // | 
|---|
| 63 | pthread_mutex_unlock(&mut_.crit_); | 
|---|
| 64 | mut_.lock(count_); | 
|---|
| 65 | } | 
|---|
| 66 | }; | 
|---|
| 67 | #endif | 
|---|
| 68 |  | 
|---|
| 69 | // ---------------------------------------------------------------------- | 
|---|
| 70 | // JTCCond private member implementation | 
|---|
| 71 | // ---------------------------------------------------------------------- | 
|---|
| 72 |  | 
|---|
| 73 | // | 
|---|
| 74 | // Wait for the condition variable to be signalled. The posix threads | 
|---|
| 75 | // and NT threads implementation are essentially the same, except that | 
|---|
| 76 | // the NT threads implementation uses an NT semaphore instead of a | 
|---|
| 77 | // native condition variable. | 
|---|
| 78 | // | 
|---|
| 79 | // A timeout value of -1 means wait forever. Otherwise, only wait for | 
|---|
| 80 | // timeout milliseconds. | 
|---|
| 81 | // | 
|---|
| 82 | void | 
|---|
| 83 | JTCCond::_wait(long timeout) | 
|---|
| 84 | { | 
|---|
| 85 | #if defined(HAVE_POSIX_THREADS) || defined(HAVE_DCE_THREADS) | 
|---|
| 86 | // | 
|---|
| 87 | // The mutex is locked at this point. We need to acquire internal, | 
|---|
| 88 | // save count. The cond_wait will unlock the mutexes critical | 
|---|
| 89 | // section. | 
|---|
| 90 | // | 
|---|
| 91 | // To see that this code is correct, consider the following cases: | 
|---|
| 92 | // | 
|---|
| 93 | // - If no thread is currently attempting to lock the mutex then code | 
|---|
| 94 | //   code is correct. | 
|---|
| 95 | // | 
|---|
| 96 | // - If another thread is attempting to unlock the mutex the | 
|---|
| 97 | //   application is in error, since the thread calling wait owns the | 
|---|
| 98 | //   mutex. | 
|---|
| 99 | // | 
|---|
| 100 | // - If thread B is attempting to lock the mutex, while thread A | 
|---|
| 101 | //   is calling wait then the following cases need to be considered: | 
|---|
| 102 | // | 
|---|
| 103 | //   - Thread B obtains lock on internal first. The mutex count | 
|---|
| 104 | //     will be 0, the owner will be nullThreadId. (set below) | 
|---|
| 105 | //     Thread B unlocks internal. Thread A can now obtain it's lock | 
|---|
| 106 | //     on internal. It locks internal, discovers count is 0, | 
|---|
| 107 | //     increments count, sets owner, and attempts to lock | 
|---|
| 108 | //     crit_. This lock cannot proceed until pthread_cond_wait below | 
|---|
| 109 | //     is called. | 
|---|
| 110 | // | 
|---|
| 111 | //   - Thread A obtains lock on internal first. Count is non-zero, | 
|---|
| 112 | //     and thread A does not own the mutex. Thread A attempts to | 
|---|
| 113 | //     lock crit_, which blocks until pthread_cond_wait below is | 
|---|
| 114 | //     called. | 
|---|
| 115 | // | 
|---|
| 116 |  | 
|---|
| 117 | int count; | 
|---|
| 118 | { | 
|---|
| 119 | JTCSynchronized guard(mutex_.internal_); | 
|---|
| 120 |  | 
|---|
| 121 | // | 
|---|
| 122 | // Save internal state information to be restored on method | 
|---|
| 123 | // exit. | 
|---|
| 124 | // | 
|---|
| 125 | count = mutex_.count_; | 
|---|
| 126 | mutex_.count_ = 0; | 
|---|
| 127 | mutex_.owner_ = JTCThreadId(); | 
|---|
| 128 | } | 
|---|
| 129 |  | 
|---|
| 130 | // | 
|---|
| 131 | // Calculate the timeout period. | 
|---|
| 132 | // | 
|---|
| 133 | struct timespec abstime; | 
|---|
| 134 | if(timeout >= 0) | 
|---|
| 135 | { | 
|---|
| 136 | struct timeval tv; | 
|---|
| 137 | gettimeofday(&tv, 0); | 
|---|
| 138 | //123456789 - 10^9 | 
|---|
| 139 | const long oneBillion = 1000000000; | 
|---|
| 140 | abstime.tv_sec = tv.tv_sec + (timeout/1000); | 
|---|
| 141 | abstime.tv_nsec = (tv.tv_usec * 1000) + ((timeout%1000) * 1000000); | 
|---|
| 142 | if(abstime.tv_nsec > oneBillion) | 
|---|
| 143 | { | 
|---|
| 144 | ++abstime.tv_sec; | 
|---|
| 145 | abstime.tv_nsec -= oneBillion; | 
|---|
| 146 | } | 
|---|
| 147 | } | 
|---|
| 148 |  | 
|---|
| 149 | try | 
|---|
| 150 | { | 
|---|
| 151 | JTCCondHelper unlock(mutex_, count); | 
|---|
| 152 |  | 
|---|
| 153 | if(timeout < 0) | 
|---|
| 154 | { | 
|---|
| 155 | JTC_SYSCALL_2(pthread_cond_wait, &cond_, &mutex_.crit_, < 0); | 
|---|
| 156 | } | 
|---|
| 157 | else | 
|---|
| 158 | { | 
|---|
| 159 | JTC_SYSCALL_3(pthread_cond_timedwait, &cond_, &mutex_.crit_, | 
|---|
| 160 | &abstime, < 0); | 
|---|
| 161 | } | 
|---|
| 162 | } | 
|---|
| 163 | catch(const JTCSystemCallException& e) | 
|---|
| 164 | { | 
|---|
| 165 | // | 
|---|
| 166 | // EINTR is translated to InterruptedException. | 
|---|
| 167 | // | 
|---|
| 168 | if(e.getError() == EINTR) | 
|---|
| 169 | throw JTCInterruptedException(); | 
|---|
| 170 | // | 
|---|
| 171 | // EAGAIN means that the wait time has passed. | 
|---|
| 172 | // | 
|---|
| 173 | else if (e.getError() == EAGAIN) | 
|---|
| 174 | return; | 
|---|
| 175 |  | 
|---|
| 176 | // | 
|---|
| 177 | // Rethrow caught exception. | 
|---|
| 178 | // | 
|---|
| 179 | throw; | 
|---|
| 180 | } | 
|---|
| 181 |  | 
|---|
| 182 | #endif | 
|---|
| 183 | #if defined(HAVE_WIN32_THREADS) | 
|---|
| 184 |  | 
|---|
| 185 | { | 
|---|
| 186 | JTCSynchronized guard(waitersMutex_); | 
|---|
| 187 | // | 
|---|
| 188 | // mutex_ is locked on entry. | 
|---|
| 189 | // | 
|---|
| 190 | ++waiters_; | 
|---|
| 191 | } | 
|---|
| 192 |  | 
|---|
| 193 | int count; | 
|---|
| 194 |  | 
|---|
| 195 | if(timeout < 0) | 
|---|
| 196 | timeout = INFINITE; | 
|---|
| 197 |  | 
|---|
| 198 | // | 
|---|
| 199 | // Save state information. | 
|---|
| 200 | // | 
|---|
| 201 | { | 
|---|
| 202 | JTCSynchronized guard(mutex_.internal_); | 
|---|
| 203 |  | 
|---|
| 204 | count = mutex_.count_; | 
|---|
| 205 | mutex_.count_ = 0; | 
|---|
| 206 | mutex_.owner_ = JTCThreadId(); | 
|---|
| 207 | LeaveCriticalSection(&mutex_.crit_); | 
|---|
| 208 | } | 
|---|
| 209 |  | 
|---|
| 210 | try | 
|---|
| 211 | { | 
|---|
| 212 | JTC_SYSCALL_2(WaitForSingleObject, sema_, timeout, == WAIT_ABANDONED); | 
|---|
| 213 | } | 
|---|
| 214 | catch(const JTCSystemCallException&) | 
|---|
| 215 | { | 
|---|
| 216 | // | 
|---|
| 217 | // Restore the mutex lock count times. | 
|---|
| 218 | // | 
|---|
| 219 | { | 
|---|
| 220 | JTCSynchronized guard(waitersMutex_); | 
|---|
| 221 | --waiters_; | 
|---|
| 222 | } | 
|---|
| 223 | mutex_.lock(count); | 
|---|
| 224 | throw; | 
|---|
| 225 | } | 
|---|
| 226 |  | 
|---|
| 227 | // | 
|---|
| 228 | // Restore the mutex lock count times. | 
|---|
| 229 | // | 
|---|
| 230 | { | 
|---|
| 231 | JTCSynchronized guard(waitersMutex_); | 
|---|
| 232 | --waiters_; | 
|---|
| 233 | if (waiters_ == 0 && haveBroadcast_) | 
|---|
| 234 | broadcastEvent_.post(); | 
|---|
| 235 | } | 
|---|
| 236 | mutex_.lock(count); | 
|---|
| 237 | #endif | 
|---|
| 238 | } | 
|---|
| 239 |  | 
|---|
| 240 |  | 
|---|
| 241 | // ---------------------------------------------------------------------- | 
|---|
| 242 | // JTCCond constructor and destructor | 
|---|
| 243 | // ---------------------------------------------------------------------- | 
|---|
| 244 |  | 
|---|
| 245 | JTCCond::JTCCond(JTCRecursiveMutex& mut) | 
|---|
| 246 | : mutex_(mut) | 
|---|
| 247 | { | 
|---|
| 248 | #if defined(HAVE_POSIX_THREADS) | 
|---|
| 249 | JTC_SYSCALL_2(pthread_cond_init, &cond_, 0, != 0) | 
|---|
| 250 | #endif | 
|---|
| 251 | #if defined(HAVE_DCE_THREADS) | 
|---|
| 252 | JTC_SYSCALL_2(pthread_cond_init, &cond_, pthread_condattr_default, != 0) | 
|---|
| 253 | #endif | 
|---|
| 254 | #if defined(HAVE_WIN32_THREADS) | 
|---|
| 255 | haveBroadcast_ = false; | 
|---|
| 256 | waiters_ = 0; | 
|---|
| 257 | JTC_SYSCALL_4(sema_ = CreateSemaphore, 0, 0, 0x7fffffff, 0, == INVALID_HANDLE_VALUE) | 
|---|
| 258 | #endif | 
|---|
| 259 | } | 
|---|
| 260 |  | 
|---|
| 261 | JTCCond::~JTCCond() | 
|---|
| 262 | { | 
|---|
| 263 | #if defined(HAVE_POSIX_THREADS) || defined(HAVE_DCE_THREADS) | 
|---|
| 264 | pthread_cond_destroy(&cond_); | 
|---|
| 265 | #endif | 
|---|
| 266 | #if defined(HAVE_WIN32_THREADS) | 
|---|
| 267 | CloseHandle(sema_); | 
|---|
| 268 | #endif | 
|---|
| 269 | } | 
|---|
| 270 |  | 
|---|
| 271 | // ---------------------------------------------------------------------- | 
|---|
| 272 | // JTCMonitor public member implementation | 
|---|
| 273 | // ---------------------------------------------------------------------- | 
|---|
| 274 |  | 
|---|
| 275 | // | 
|---|
| 276 | // Wait to be signalled for timeout milliseconds. | 
|---|
| 277 | // | 
|---|
| 278 | void | 
|---|
| 279 | JTCCond::wait(long timeout) | 
|---|
| 280 | { | 
|---|
| 281 | if(timeout < 0) | 
|---|
| 282 | throw JTCIllegalArgumentException("timeout value is negative"); | 
|---|
| 283 | _wait(timeout); | 
|---|
| 284 | } | 
|---|
| 285 |  | 
|---|
| 286 | // | 
|---|
| 287 | // Wait to be signalled. | 
|---|
| 288 | // | 
|---|
| 289 | void | 
|---|
| 290 | JTCCond::wait() | 
|---|
| 291 | { | 
|---|
| 292 | _wait(-1); | 
|---|
| 293 | } | 
|---|
| 294 |  | 
|---|
| 295 | // | 
|---|
| 296 | // Wake one waiting thread. | 
|---|
| 297 | // | 
|---|
| 298 | void | 
|---|
| 299 | JTCCond::signal() | 
|---|
| 300 | { | 
|---|
| 301 | #if defined(HAVE_POSIX_THREADS) || defined(HAVE_DCE_THREADS) | 
|---|
| 302 | JTC_SYSCALL_1(pthread_cond_signal,&cond_, != 0) | 
|---|
| 303 | #endif | 
|---|
| 304 | #if defined(HAVE_WIN32_THREADS) | 
|---|
| 305 | bool haveWaiters; | 
|---|
| 306 | { | 
|---|
| 307 | JTCSynchronized guard(waitersMutex_); | 
|---|
| 308 | haveWaiters = (waiters_ > 0); | 
|---|
| 309 | } | 
|---|
| 310 | if (haveWaiters) | 
|---|
| 311 | { | 
|---|
| 312 | JTC_SYSCALL_3(ReleaseSemaphore, sema_, 1, 0, == 0) | 
|---|
| 313 | } | 
|---|
| 314 | #endif | 
|---|
| 315 | } | 
|---|
| 316 |  | 
|---|
| 317 | // | 
|---|
| 318 | // Wake all waiting threads. | 
|---|
| 319 | // | 
|---|
| 320 | void | 
|---|
| 321 | JTCCond::broadcast() | 
|---|
| 322 | { | 
|---|
| 323 | #if defined(HAVE_POSIX_THREADS) || defined(HAVE_DCE_THREADS) | 
|---|
| 324 | JTC_SYSCALL_1(pthread_cond_broadcast,&cond_, != 0) | 
|---|
| 325 | #endif | 
|---|
| 326 | #if defined(HAVE_WIN32_THREADS) | 
|---|
| 327 | bool haveWaiters; | 
|---|
| 328 | int numWaiters; | 
|---|
| 329 | { | 
|---|
| 330 | JTCSynchronized guard(waitersMutex_); | 
|---|
| 331 | haveWaiters = (waiters_ > 0); | 
|---|
| 332 | numWaiters = waiters_; | 
|---|
| 333 | } | 
|---|
| 334 | if (haveWaiters) | 
|---|
| 335 | { | 
|---|
| 336 | // | 
|---|
| 337 | // This is a broadcast event, so set the flag and reset | 
|---|
| 338 | // the Event synchronization object. | 
|---|
| 339 | // | 
|---|
| 340 | haveBroadcast_ = true; | 
|---|
| 341 | broadcastEvent_.reset(); | 
|---|
| 342 |  | 
|---|
| 343 | // | 
|---|
| 344 | // Release the semaphore waiters_ times. | 
|---|
| 345 | // | 
|---|
| 346 | JTC_SYSCALL_3(ReleaseSemaphore, sema_, numWaiters, 0, == 0) | 
|---|
| 347 |  | 
|---|
| 348 | // | 
|---|
| 349 | // Wait for each thread to wake. | 
|---|
| 350 | // After reset the haveBroadcast_ flag. | 
|---|
| 351 | // | 
|---|
| 352 | broadcastEvent_.wait(); | 
|---|
| 353 | haveBroadcast_ = false; | 
|---|
| 354 | } | 
|---|
| 355 | #endif | 
|---|
| 356 | } | 
|---|