| Line | Source Code | Coverage |
|---|
| 1 | /**************************************************************************** | - |
| 2 | ** | - |
| 3 | ** Copyright (C) 2013 Digia Plc and/or its subsidiary(-ies). | - |
| 4 | ** Copyright (C) 2012 Intel Corporation | - |
| 5 | ** Copyright (C) 2012 Olivier Goffart <ogoffart@woboq.com> | - |
| 6 | ** Contact: http://www.qt-project.org/legal | - |
| 7 | ** | - |
| 8 | ** This file is part of the QtCore module of the Qt Toolkit. | - |
| 9 | ** | - |
| 10 | ** $QT_BEGIN_LICENSE:LGPL$ | - |
| 11 | ** Commercial License Usage | - |
| 12 | ** Licensees holding valid commercial Qt licenses may use this file in | - |
| 13 | ** accordance with the commercial license agreement provided with the | - |
| 14 | ** Software or, alternatively, in accordance with the terms contained in | - |
| 15 | ** a written agreement between you and Digia. For licensing terms and | - |
| 16 | ** conditions see http://qt.digia.com/licensing. For further information | - |
| 17 | ** use the contact form at http://qt.digia.com/contact-us. | - |
| 18 | ** | - |
| 19 | ** GNU Lesser General Public License Usage | - |
| 20 | ** Alternatively, this file may be used under the terms of the GNU Lesser | - |
| 21 | ** General Public License version 2.1 as published by the Free Software | - |
| 22 | ** Foundation and appearing in the file LICENSE.LGPL included in the | - |
| 23 | ** packaging of this file. Please review the following information to | - |
| 24 | ** ensure the GNU Lesser General Public License version 2.1 requirements | - |
| 25 | ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html. | - |
| 26 | ** | - |
| 27 | ** In addition, as a special exception, Digia gives you certain additional | - |
| 28 | ** rights. These rights are described in the Digia Qt LGPL Exception | - |
| 29 | ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package. | - |
| 30 | ** | - |
| 31 | ** GNU General Public License Usage | - |
| 32 | ** Alternatively, this file may be used under the terms of the GNU | - |
| 33 | ** General Public License version 3.0 as published by the Free Software | - |
| 34 | ** Foundation and appearing in the file LICENSE.GPL included in the | - |
| 35 | ** packaging of this file. Please review the following information to | - |
| 36 | ** ensure the GNU General Public License version 3.0 requirements will be | - |
| 37 | ** met: http://www.gnu.org/copyleft/gpl.html. | - |
| 38 | ** | - |
| 39 | ** | - |
| 40 | ** $QT_END_LICENSE$ | - |
| 41 | ** | - |
| 42 | ****************************************************************************/ | - |
| 43 | | - |
| 44 | #include "qplatformdefs.h" | - |
| 45 | #include "qmutex.h" | - |
| 46 | #include <qdebug.h> | - |
| 47 | | - |
| 48 | #ifndef QT_NO_THREAD | - |
| 49 | #include "qatomic.h" | - |
| 50 | #include "qelapsedtimer.h" | - |
| 51 | #include "qthread.h" | - |
| 52 | #include "qmutex_p.h" | - |
| 53 | | - |
| 54 | #ifndef QT_LINUX_FUTEX | - |
| 55 | #include "private/qfreelist_p.h" | - |
| 56 | #endif | - |
| 57 | | - |
| 58 | QT_BEGIN_NAMESPACE | - |
| 59 | | - |
| 60 | static inline bool isRecursive(QMutexData *d) | - |
| 61 | { | - |
| 62 | register quintptr u = quintptr(d); executed (the execution status of this line is deduced): register quintptr u = quintptr(d); | - |
| 63 | if (Q_LIKELY(u <= 0x3)) evaluated: __builtin_expect(!!(u <= 0x3), true)| yes Evaluation Count:28807206 | yes Evaluation Count:2150349 |
| 2150349-28807206 |
| 64 | return false; executed: return false;Execution Count:28817391 | 28817391 |
| 65 | #ifdef QT_LINUX_FUTEX | - |
| 66 | Q_ASSERT(d->recursive); executed (the execution status of this line is deduced): qt_noop(); | - |
| 67 | return true; executed: return true;Execution Count:2150356 | 2150356 |
| 68 | #else | - |
| 69 | return d->recursive; | - |
| 70 | #endif | - |
| 71 | } | - |
| 72 | | - |
| 73 | class QRecursiveMutexPrivate : public QMutexData | - |
| 74 | { | - |
| 75 | public: | - |
| 76 | QRecursiveMutexPrivate() | - |
| 77 | : QMutexData(QMutex::Recursive), owner(0), count(0) {} executed: }Execution Count:2832 | 2832 |
| 78 | Qt::HANDLE owner; | - |
| 79 | uint count; | - |
| 80 | QMutex mutex; | - |
| 81 | | - |
| 82 | bool lock(int timeout) QT_MUTEX_LOCK_NOEXCEPT; | - |
| 83 | void unlock() Q_DECL_NOTHROW; | - |
| 84 | }; | - |
| 85 | | - |
| 86 | /* | - |
| 87 | \class QBasicMutex | - |
| 88 | \inmodule QtCore | - |
| 89 | \brief QMutex POD | - |
| 90 | \internal | - |
| 91 | | - |
| 92 | \ingroup thread | - |
| 93 | | - |
| 94 | - Can be used as global static object. | - |
| 95 | - Always non-recursive | - |
| 96 | - Do not use tryLock with timeout > 0, else you can have a leak (see the ~QMutex destructor) | - |
| 97 | */ | - |
| 98 | | - |
| 99 | /*! | - |
| 100 | \class QMutex | - |
| 101 | \inmodule QtCore | - |
| 102 | \brief The QMutex class provides access serialization between threads. | - |
| 103 | | - |
| 104 | \threadsafe | - |
| 105 | | - |
| 106 | \ingroup thread | - |
| 107 | | - |
| 108 | The purpose of a QMutex is to protect an object, data structure or | - |
| 109 | section of code so that only one thread can access it at a time | - |
| 110 | (this is similar to the Java \c synchronized keyword). It is | - |
| 111 | usually best to use a mutex with a QMutexLocker since this makes | - |
| 112 | it easy to ensure that locking and unlocking are performed | - |
| 113 | consistently. | - |
| 114 | | - |
| 115 | For example, say there is a method that prints a message to the | - |
| 116 | user on two lines: | - |
| 117 | | - |
| 118 | \snippet code/src_corelib_thread_qmutex.cpp 0 | - |
| 119 | | - |
| 120 | If these two methods are called in succession, the following happens: | - |
| 121 | | - |
| 122 | \snippet code/src_corelib_thread_qmutex.cpp 1 | - |
| 123 | | - |
| 124 | If these two methods are called simultaneously from two threads then the | - |
| 125 | following sequence could result: | - |
| 126 | | - |
| 127 | \snippet code/src_corelib_thread_qmutex.cpp 2 | - |
| 128 | | - |
| 129 | If we add a mutex, we should get the result we want: | - |
| 130 | | - |
| 131 | \snippet code/src_corelib_thread_qmutex.cpp 3 | - |
| 132 | | - |
| 133 | Then only one thread can modify \c number at any given time and | - |
| 134 | the result is correct. This is a trivial example, of course, but | - |
| 135 | applies to any other case where things need to happen in a | - |
| 136 | particular sequence. | - |
| 137 | | - |
| 138 | When you call lock() in a thread, other threads that try to call | - |
| 139 | lock() in the same place will block until the thread that got the | - |
| 140 | lock calls unlock(). A non-blocking alternative to lock() is | - |
| 141 | tryLock(). | - |
| 142 | | - |
| 143 | \sa QMutexLocker, QReadWriteLock, QSemaphore, QWaitCondition | - |
| 144 | */ | - |
| 145 | | - |
| 146 | /*! | - |
| 147 | \enum QMutex::RecursionMode | - |
| 148 | | - |
| 149 | \value Recursive In this mode, a thread can lock the same mutex | - |
| 150 | multiple times and the mutex won't be unlocked | - |
| 151 | until a corresponding number of unlock() calls | - |
| 152 | have been made. | - |
| 153 | | - |
| 154 | \value NonRecursive In this mode, a thread may only lock a mutex | - |
| 155 | once. | - |
| 156 | | - |
| 157 | \sa QMutex() | - |
| 158 | */ | - |
| 159 | | - |
| 160 | /*! | - |
| 161 | Constructs a new mutex. The mutex is created in an unlocked state. | - |
| 162 | | - |
| 163 | If \a mode is QMutex::Recursive, a thread can lock the same mutex | - |
| 164 | multiple times and the mutex won't be unlocked until a | - |
| 165 | corresponding number of unlock() calls have been made. Otherwise | - |
| 166 | a thread may only lock a mutex once. The default is | - |
| 167 | QMutex::NonRecursive. | - |
| 168 | | - |
| 169 | \sa lock(), unlock() | - |
| 170 | */ | - |
| 171 | QMutex::QMutex(RecursionMode mode) | - |
| 172 | { | - |
| 173 | d_ptr.store(mode == Recursive ? new QRecursiveMutexPrivate : 0); executed (the execution status of this line is deduced): d_ptr.store(mode == Recursive ? new QRecursiveMutexPrivate : 0); | - |
| 174 | } executed: }Execution Count:6100234 | 6100234 |
| 175 | | - |
| 176 | /*! | - |
| 177 | Destroys the mutex. | - |
| 178 | | - |
| 179 | \warning Destroying a locked mutex may result in undefined behavior. | - |
| 180 | */ | - |
| 181 | QMutex::~QMutex() | - |
| 182 | { | - |
| 183 | QMutexData *d = d_ptr.load(); executed (the execution status of this line is deduced): QMutexData *d = d_ptr.load(); | - |
| 184 | if (isRecursive()) { evaluated: isRecursive()| yes Evaluation Count:3976 | yes Evaluation Count:6099918 |
| 3976-6099918 |
| 185 | delete static_cast<QRecursiveMutexPrivate *>(d); executed (the execution status of this line is deduced): delete static_cast<QRecursiveMutexPrivate *>(d); | - |
| 186 | } else if (d) { executed: }Execution Count:3976 evaluated: d| yes Evaluation Count:1 | yes Evaluation Count:6099293 |
| 1-6099293 |
| 187 | #ifndef QT_LINUX_FUTEX | - |
| 188 | if (d != dummyLocked() && static_cast<QMutexPrivate *>(d)->possiblyUnlocked.load() | - |
| 189 | && tryLock()) { | - |
| 190 | unlock(); | - |
| 191 | return; | - |
| 192 | } | - |
| 193 | #endif | - |
| 194 | qWarning("QMutex: destroying locked mutex"); executed (the execution status of this line is deduced): QMessageLogger("thread/qmutex.cpp", 194, __PRETTY_FUNCTION__).warning("QMutex: destroying locked mutex"); | - |
| 195 | } executed: }Execution Count:1 | 1 |
| 196 | } | - |
| 197 | | - |
| 198 | /*! \fn void QMutex::lock() | - |
| 199 | Locks the mutex. If another thread has locked the mutex then this | - |
| 200 | call will block until that thread has unlocked it. | - |
| 201 | | - |
| 202 | Calling this function multiple times on the same mutex from the | - |
| 203 | same thread is allowed if this mutex is a | - |
| 204 | \l{QMutex::Recursive}{recursive mutex}. If this mutex is a | - |
| 205 | \l{QMutex::NonRecursive}{non-recursive mutex}, this function will | - |
| 206 | \e dead-lock when the mutex is locked recursively. | - |
| 207 | | - |
| 208 | \sa unlock() | - |
| 209 | */ | - |
| 210 | void QMutex::lock() QT_MUTEX_LOCK_NOEXCEPT | - |
| 211 | { | - |
| 212 | if (fastTryLock()) evaluated: fastTryLock()| yes Evaluation Count:83041693 | yes Evaluation Count:5693977 |
| 5693977-83041693 |
| 213 | return; executed: return;Execution Count:83027132 | 83027132 |
| 214 | QMutexData *current = d_ptr.loadAcquire(); executed (the execution status of this line is deduced): QMutexData *current = d_ptr.loadAcquire(); | - |
| 215 | if (QT_PREPEND_NAMESPACE(isRecursive)(current)) evaluated: ::isRecursive(current)| yes Evaluation Count:1067383 | yes Evaluation Count:4623445 |
| 1067383-4623445 |
| 216 | static_cast<QRecursiveMutexPrivate *>(current)->lock(-1); executed: static_cast<QRecursiveMutexPrivate *>(current)->lock(-1);Execution Count:1067379 | 1067379 |
| 217 | else | - |
| 218 | lockInternal(); executed: lockInternal();Execution Count:4621810 | 4621810 |
| 219 | } | - |
| 220 | | - |
| 221 | /*! \fn bool QMutex::tryLock(int timeout) | - |
| 222 | | - |
| 223 | Attempts to lock the mutex. This function returns true if the lock | - |
| 224 | was obtained; otherwise it returns false. If another thread has | - |
| 225 | locked the mutex, this function will wait for at most \a timeout | - |
| 226 | milliseconds for the mutex to become available. | - |
| 227 | | - |
| 228 | Note: Passing a negative number as the \a timeout is equivalent to | - |
| 229 | calling lock(), i.e. this function will wait forever until mutex | - |
| 230 | can be locked if \a timeout is negative. | - |
| 231 | | - |
| 232 | If the lock was obtained, the mutex must be unlocked with unlock() | - |
| 233 | before another thread can successfully lock it. | - |
| 234 | | - |
| 235 | Calling this function multiple times on the same mutex from the | - |
| 236 | same thread is allowed if this mutex is a | - |
| 237 | \l{QMutex::Recursive}{recursive mutex}. If this mutex is a | - |
| 238 | \l{QMutex::NonRecursive}{non-recursive mutex}, this function will | - |
| 239 | \e always return false when attempting to lock the mutex | - |
| 240 | recursively. | - |
| 241 | | - |
| 242 | \sa lock(), unlock() | - |
| 243 | */ | - |
| 244 | bool QMutex::tryLock(int timeout) QT_MUTEX_LOCK_NOEXCEPT | - |
| 245 | { | - |
| 246 | if (fastTryLock()) evaluated: fastTryLock()| yes Evaluation Count:5267752 | yes Evaluation Count:257876 |
| 257876-5267752 |
| 247 | return true; executed: return true;Execution Count:5267751 | 5267751 |
| 248 | QMutexData *current = d_ptr.loadAcquire(); executed (the execution status of this line is deduced): QMutexData *current = d_ptr.loadAcquire(); | - |
| 249 | if (QT_PREPEND_NAMESPACE(isRecursive)(current)) evaluated: ::isRecursive(current)| yes Evaluation Count:10819 | yes Evaluation Count:243072 |
| 10819-243072 |
| 250 | return static_cast<QRecursiveMutexPrivate *>(current)->lock(timeout); executed: return static_cast<QRecursiveMutexPrivate *>(current)->lock(timeout);Execution Count:10819 | 10819 |
| 251 | else | - |
| 252 | return lockInternal(timeout); executed: return lockInternal(timeout);Execution Count:241421 | 241421 |
| 253 | } | - |
| 254 | | - |
| 255 | /*! \fn void QMutex::unlock() | - |
| 256 | Unlocks the mutex. Attempting to unlock a mutex in a different | - |
| 257 | thread to the one that locked it results in an error. Unlocking a | - |
| 258 | mutex that is not locked results in undefined behavior. | - |
| 259 | | - |
| 260 | \sa lock() | - |
| 261 | */ | - |
| 262 | void QMutex::unlock() Q_DECL_NOTHROW | - |
| 263 | { | - |
| 264 | if (fastTryUnlock()) evaluated: fastTryUnlock()| yes Evaluation Count:85094430 | yes Evaluation Count:8946247 |
| 8946247-85094430 |
| 265 | return; executed: return;Execution Count:85079807 | 85079807 |
| 266 | QMutexData *current = d_ptr.loadAcquire(); executed (the execution status of this line is deduced): QMutexData *current = d_ptr.loadAcquire(); | - |
| 267 | if (QT_PREPEND_NAMESPACE(isRecursive)(current)) evaluated: ::isRecursive(current)| yes Evaluation Count:1068201 | yes Evaluation Count:7877992 |
| 1068201-7877992 |
| 268 | static_cast<QRecursiveMutexPrivate *>(current)->unlock(); executed: static_cast<QRecursiveMutexPrivate *>(current)->unlock();Execution Count:1068201 | 1068201 |
| 269 | else | - |
| 270 | unlockInternal(); executed: unlockInternal();Execution Count:7877982 | 7877982 |
| 271 | } | - |
| 272 | | - |
| 273 | /*! | - |
| 274 | \fn void QMutex::isRecursive() | - |
| 275 | \since 5.0 | - |
| 276 | | - |
| 277 | Returns true if the mutex is recursive | - |
| 278 | | - |
| 279 | */ | - |
| 280 | bool QBasicMutex::isRecursive() | - |
| 281 | { | - |
| 282 | return QT_PREPEND_NAMESPACE(isRecursive)(d_ptr.loadAcquire()); executed: return ::isRecursive(d_ptr.loadAcquire());Execution Count:16169411 | 16169411 |
| 283 | } | - |
| 284 | | - |
| 285 | | - |
| 286 | /*! | - |
| 287 | \class QMutexLocker | - |
| 288 | \inmodule QtCore | - |
| 289 | \brief The QMutexLocker class is a convenience class that simplifies | - |
| 290 | locking and unlocking mutexes. | - |
| 291 | | - |
| 292 | \threadsafe | - |
| 293 | | - |
| 294 | \ingroup thread | - |
| 295 | | - |
| 296 | Locking and unlocking a QMutex in complex functions and | - |
| 297 | statements or in exception handling code is error-prone and | - |
| 298 | difficult to debug. QMutexLocker can be used in such situations | - |
| 299 | to ensure that the state of the mutex is always well-defined. | - |
| 300 | | - |
| 301 | QMutexLocker should be created within a function where a | - |
| 302 | QMutex needs to be locked. The mutex is locked when QMutexLocker | - |
| 303 | is created. You can unlock and relock the mutex with \c unlock() | - |
| 304 | and \c relock(). If locked, the mutex will be unlocked when the | - |
| 305 | QMutexLocker is destroyed. | - |
| 306 | | - |
| 307 | For example, this complex function locks a QMutex upon entering | - |
| 308 | the function and unlocks the mutex at all the exit points: | - |
| 309 | | - |
| 310 | \snippet code/src_corelib_thread_qmutex.cpp 4 | - |
| 311 | | - |
| 312 | This example function will get more complicated as it is | - |
| 313 | developed, which increases the likelihood that errors will occur. | - |
| 314 | | - |
| 315 | Using QMutexLocker greatly simplifies the code, and makes it more | - |
| 316 | readable: | - |
| 317 | | - |
| 318 | \snippet code/src_corelib_thread_qmutex.cpp 5 | - |
| 319 | | - |
| 320 | Now, the mutex will always be unlocked when the QMutexLocker | - |
| 321 | object is destroyed (when the function returns since \c locker is | - |
| 322 | an auto variable). | - |
| 323 | | - |
| 324 | The same principle applies to code that throws and catches | - |
| 325 | exceptions. An exception that is not caught in the function that | - |
| 326 | has locked the mutex has no way of unlocking the mutex before the | - |
| 327 | exception is passed up the stack to the calling function. | - |
| 328 | | - |
| 329 | QMutexLocker also provides a \c mutex() member function that returns | - |
| 330 | the mutex on which the QMutexLocker is operating. This is useful | - |
| 331 | for code that needs access to the mutex, such as | - |
| 332 | QWaitCondition::wait(). For example: | - |
| 333 | | - |
| 334 | \snippet code/src_corelib_thread_qmutex.cpp 6 | - |
| 335 | | - |
| 336 | \sa QReadLocker, QWriteLocker, QMutex | - |
| 337 | */ | - |
| 338 | | - |
| 339 | /*! | - |
| 340 | \fn QMutexLocker::QMutexLocker(QMutex *mutex) | - |
| 341 | | - |
| 342 | Constructs a QMutexLocker and locks \a mutex. The mutex will be | - |
| 343 | unlocked when the QMutexLocker is destroyed. If \a mutex is zero, | - |
| 344 | QMutexLocker does nothing. | - |
| 345 | | - |
| 346 | \sa QMutex::lock() | - |
| 347 | */ | - |
| 348 | | - |
| 349 | /*! | - |
| 350 | \fn QMutexLocker::~QMutexLocker() | - |
| 351 | | - |
| 352 | Destroys the QMutexLocker and unlocks the mutex that was locked | - |
| 353 | in the constructor. | - |
| 354 | | - |
| 355 | \sa QMutex::unlock() | - |
| 356 | */ | - |
| 357 | | - |
| 358 | /*! | - |
| 359 | \fn void QMutexLocker::unlock() | - |
| 360 | | - |
| 361 | Unlocks this mutex locker. You can use \c relock() to lock | - |
| 362 | it again. It does not need to be locked when destroyed. | - |
| 363 | | - |
| 364 | \sa relock() | - |
| 365 | */ | - |
| 366 | | - |
| 367 | /*! | - |
| 368 | \fn void QMutexLocker::relock() | - |
| 369 | | - |
| 370 | Relocks an unlocked mutex locker. | - |
| 371 | | - |
| 372 | \sa unlock() | - |
| 373 | */ | - |
| 374 | | - |
| 375 | /*! | - |
| 376 | \fn QMutex *QMutexLocker::mutex() | - |
| 377 | | - |
| 378 | Returns the mutex on which the QMutexLocker is operating. | - |
| 379 | | - |
| 380 | */ | - |
| 381 | | - |
| 382 | #ifndef QT_LINUX_FUTEX //linux implementation is in qmutex_linux.cpp | - |
| 383 | | - |
| 384 | /* | - |
| 385 | For a rough introduction on how this works, refer to | - |
| 386 | http://woboq.com/blog/internals-of-qmutex-in-qt5.html | - |
| 387 | which explains a slightly simplified version of it. | - |
| 388 | The differences are that here we try to work with timeout (requires the | - |
| 389 | possiblyUnlocked flag) and that we only wake one thread when unlocking | - |
| 390 | (requires maintaining the waiters count) | - |
| 391 | We also support recursive mutexes which always have a valid d_ptr. | - |
| 392 | | - |
| 393 | The waiters flag represents the number of threads that are waiting or about | - |
| 394 | to wait on the mutex. There are two tricks to keep in mind: | - |
| 395 | We don't want to increment waiters after we checked no threads are waiting | - |
| 396 | (waiters == 0). That's why we atomically set the BigNumber flag on waiters when | - |
| 397 | we check waiters. Similarly, if waiters is decremented right after we checked, | - |
| 398 | the mutex would be unlocked (d->wakeUp() has (or will) be called), but there is | - |
| 399 | no thread waiting. This is only happening if there was a timeout in tryLock at the | - |
| 400 | same time as the mutex is unlocked. So when there was a timeout, we set the | - |
| 401 | possiblyUnlocked flag. | - |
| 402 | */ | - |
| 403 | | - |
| 404 | /*! | - |
| 405 | \internal helper for lock() | - |
| 406 | */ | - |
| 407 | void QBasicMutex::lockInternal() QT_MUTEX_LOCK_NOEXCEPT | - |
| 408 | { | - |
| 409 | lockInternal(-1); | - |
| 410 | } | - |
| 411 | | - |
| 412 | /*! | - |
| 413 | \internal helper for lock(int) | - |
| 414 | */ | - |
| 415 | bool QBasicMutex::lockInternal(int timeout) QT_MUTEX_LOCK_NOEXCEPT | - |
| 416 | { | - |
| 417 | Q_ASSERT(!isRecursive()); | - |
| 418 | | - |
| 419 | while (!fastTryLock()) { | - |
| 420 | QMutexData *copy = d_ptr.loadAcquire(); | - |
| 421 | if (!copy) // if d is 0, the mutex is unlocked | - |
| 422 | continue; | - |
| 423 | | - |
| 424 | if (copy == dummyLocked()) { | - |
| 425 | if (timeout == 0) | - |
| 426 | return false; | - |
| 427 | // The mutex is locked but does not have a QMutexPrivate yet. | - |
| 428 | // we need to allocate a QMutexPrivate | - |
| 429 | QMutexPrivate *newD = QMutexPrivate::allocate(); | - |
| 430 | if (!d_ptr.testAndSetOrdered(dummyLocked(), newD)) { | - |
| 431 | //Either the mutex is already unlocked, or another thread already set it. | - |
| 432 | newD->deref(); | - |
| 433 | continue; | - |
| 434 | } | - |
| 435 | copy = newD; | - |
| 436 | //the d->refCount is already 1 the deref will occurs when we unlock | - |
| 437 | } | - |
| 438 | | - |
| 439 | QMutexPrivate *d = static_cast<QMutexPrivate *>(copy); | - |
| 440 | if (timeout == 0 && !d->possiblyUnlocked.load()) | - |
| 441 | return false; | - |
| 442 | | - |
| 443 | // At this point we have a pointer to a QMutexPrivate. But the other thread | - |
| 444 | // may unlock the mutex at any moment and release the QMutexPrivate to the pool. | - |
| 445 | // We will try to reference it to avoid unlock to release it to the pool to make | - |
| 446 | // sure it won't be released. But if the refcount is already 0 it has been released. | - |
| 447 | if (!d->ref()) | - |
| 448 | continue; //that QMutexData was already released | - |
| 449 | | - |
| 450 | // We now hold a reference to the QMutexPrivate. It won't be released and re-used. | - |
| 451 | // But it is still possible that it was already re-used by another QMutex right before | - |
| 452 | // we did the ref(). So check if we still hold a pointer to the right mutex. | - |
| 453 | if (d != d_ptr.loadAcquire()) { | - |
| 454 | //Either the mutex is already unlocked, or relocked with another mutex | - |
| 455 | d->deref(); | - |
| 456 | continue; | - |
| 457 | } | - |
| 458 | | - |
| 459 | // In this part, we will try to increment the waiters count. | - |
| 460 | // We just need to take care of the case in which the old_waiters | - |
| 461 | // is set to the BigNumber magic value set in unlockInternal() | - |
| 462 | int old_waiters; | - |
| 463 | do { | - |
| 464 | old_waiters = d->waiters.load(); | - |
| 465 | if (old_waiters == -QMutexPrivate::BigNumber) { | - |
| 466 | // we are unlocking, and the thread that unlocks is about to change d to 0 | - |
| 467 | // we try to acquire the mutex by changing to dummyLocked() | - |
| 468 | if (d_ptr.testAndSetAcquire(d, dummyLocked())) { | - |
| 469 | // Mutex acquired | - |
| 470 | Q_ASSERT(d->waiters.load() == -QMutexPrivate::BigNumber || d->waiters.load() == 0); | - |
| 471 | d->waiters.store(0); | - |
| 472 | d->deref(); | - |
| 473 | return true; | - |
| 474 | } else { | - |
| 475 | Q_ASSERT(d != d_ptr.load()); //else testAndSetAcquire should have succeeded | - |
| 476 | // Mutex is likely to bo 0, we should continue the outer-loop, | - |
| 477 | // set old_waiters to the magic value of BigNumber | - |
| 478 | old_waiters = QMutexPrivate::BigNumber; | - |
| 479 | break; | - |
| 480 | } | - |
| 481 | } | - |
| 482 | } while (!d->waiters.testAndSetRelaxed(old_waiters, old_waiters + 1)); | - |
| 483 | | - |
| 484 | if (d != d_ptr.loadAcquire()) { | - |
| 485 | // The mutex was unlocked before we incremented waiters. | - |
| 486 | if (old_waiters != QMutexPrivate::BigNumber) { | - |
| 487 | //we did not break the previous loop | - |
| 488 | Q_ASSERT(d->waiters.load() >= 1); | - |
| 489 | d->waiters.deref(); | - |
| 490 | } | - |
| 491 | d->deref(); | - |
| 492 | continue; | - |
| 493 | } | - |
| 494 | | - |
| 495 | if (d->wait(timeout)) { | - |
| 496 | // reset the possiblyUnlocked flag if needed (and deref its corresponding reference) | - |
| 497 | if (d->possiblyUnlocked.load() && d->possiblyUnlocked.testAndSetRelaxed(true, false)) | - |
| 498 | d->deref(); | - |
| 499 | d->derefWaiters(1); | - |
| 500 | //we got the lock. (do not deref) | - |
| 501 | Q_ASSERT(d == d_ptr.load()); | - |
| 502 | return true; | - |
| 503 | } else { | - |
| 504 | Q_ASSERT(timeout >= 0); | - |
| 505 | //timeout | - |
| 506 | d->derefWaiters(1); | - |
| 507 | //There may be a race in which the mutex is unlocked right after we timed out, | - |
| 508 | // and before we deref the waiters, so maybe the mutex is actually unlocked. | - |
| 509 | // Set the possiblyUnlocked flag to indicate this possibility. | - |
| 510 | if (!d->possiblyUnlocked.testAndSetRelaxed(false, true)) { | - |
| 511 | // We keep a reference when possiblyUnlocked is true. | - |
| 512 | // but if possiblyUnlocked was already true, we don't need to keep the reference. | - |
| 513 | d->deref(); | - |
| 514 | } | - |
| 515 | return false; | - |
| 516 | } | - |
| 517 | } | - |
| 518 | Q_ASSERT(d_ptr.load() != 0); | - |
| 519 | return true; | - |
| 520 | } | - |
| 521 | | - |
| 522 | /*! | - |
| 523 | \internal | - |
| 524 | */ | - |
| 525 | void QBasicMutex::unlockInternal() Q_DECL_NOTHROW | - |
| 526 | { | - |
| 527 | QMutexData *copy = d_ptr.loadAcquire(); | - |
| 528 | Q_ASSERT(copy); //we must be locked | - |
| 529 | Q_ASSERT(copy != dummyLocked()); // testAndSetRelease(dummyLocked(), 0) failed | - |
| 530 | Q_ASSERT(!isRecursive()); | - |
| 531 | | - |
| 532 | QMutexPrivate *d = reinterpret_cast<QMutexPrivate *>(copy); | - |
| 533 | | - |
| 534 | // If no one is waiting for the lock anymore, we should reset d to 0x0. | - |
| 535 | // Using fetchAndAdd, we atomically check that waiters was equal to 0, and add a flag | - |
| 536 | // to the waiters variable (BigNumber). That way, we avoid the race in which waiters is | - |
| 537 | // incremented right after we checked, because we won't increment waiters if is | - |
| 538 | // equal to -BigNumber | - |
| 539 | if (d->waiters.fetchAndAddRelease(-QMutexPrivate::BigNumber) == 0) { | - |
| 540 | //there is no one waiting on this mutex anymore, set the mutex as unlocked (d = 0) | - |
| 541 | if (d_ptr.testAndSetRelease(d, 0)) { | - |
| 542 | // reset the possiblyUnlocked flag if needed (and deref its corresponding reference) | - |
| 543 | if (d->possiblyUnlocked.load() && d->possiblyUnlocked.testAndSetRelaxed(true, false)) | - |
| 544 | d->deref(); | - |
| 545 | } | - |
| 546 | d->derefWaiters(0); | - |
| 547 | } else { | - |
| 548 | d->derefWaiters(0); | - |
| 549 | //there are thread waiting, transfer the lock. | - |
| 550 | d->wakeUp(); | - |
| 551 | } | - |
| 552 | d->deref(); | - |
| 553 | } | - |
| 554 | | - |
| 555 | //The freelist management | - |
| 556 | namespace { | - |
| 557 | struct FreeListConstants : QFreeListDefaultConstants { | - |
| 558 | enum { BlockCount = 4, MaxIndex=0xffff }; | - |
| 559 | static const int Sizes[BlockCount]; | - |
| 560 | }; | - |
| 561 | const int FreeListConstants::Sizes[FreeListConstants::BlockCount] = { | - |
| 562 | 16, | - |
| 563 | 128, | - |
| 564 | 1024, | - |
| 565 | FreeListConstants::MaxIndex - (16-128-1024) | - |
| 566 | }; | - |
| 567 | | - |
| 568 | typedef QFreeList<QMutexPrivate, FreeListConstants> FreeList; | - |
| 569 | Q_GLOBAL_STATIC(FreeList, freelist); | - |
| 570 | } | - |
| 571 | | - |
| 572 | QMutexPrivate *QMutexPrivate::allocate() | - |
| 573 | { | - |
| 574 | int i = freelist()->next(); | - |
| 575 | QMutexPrivate *d = &(*freelist())[i]; | - |
| 576 | d->id = i; | - |
| 577 | Q_ASSERT(d->refCount.load() == 0); | - |
| 578 | Q_ASSERT(!d->recursive); | - |
| 579 | Q_ASSERT(!d->possiblyUnlocked.load()); | - |
| 580 | Q_ASSERT(d->waiters.load() == 0); | - |
| 581 | d->refCount.store(1); | - |
| 582 | return d; | - |
| 583 | } | - |
| 584 | | - |
| 585 | void QMutexPrivate::release() | - |
| 586 | { | - |
| 587 | Q_ASSERT(!recursive); | - |
| 588 | Q_ASSERT(refCount.load() == 0); | - |
| 589 | Q_ASSERT(!possiblyUnlocked.load()); | - |
| 590 | Q_ASSERT(waiters.load() == 0); | - |
| 591 | freelist()->release(id); | - |
| 592 | } | - |
| 593 | | - |
| 594 | // atomically subtract "value" to the waiters, and remove the QMutexPrivate::BigNumber flag | - |
| 595 | void QMutexPrivate::derefWaiters(int value) Q_DECL_NOTHROW | - |
| 596 | { | - |
| 597 | int old_waiters; | - |
| 598 | int new_waiters; | - |
| 599 | do { | - |
| 600 | old_waiters = waiters.load(); | - |
| 601 | new_waiters = old_waiters; | - |
| 602 | if (new_waiters < 0) { | - |
| 603 | new_waiters += QMutexPrivate::BigNumber; | - |
| 604 | } | - |
| 605 | new_waiters -= value; | - |
| 606 | } while (!waiters.testAndSetRelaxed(old_waiters, new_waiters)); | - |
| 607 | } | - |
| 608 | #endif | - |
| 609 | | - |
| 610 | /*! | - |
| 611 | \internal | - |
| 612 | */ | - |
| 613 | inline bool QRecursiveMutexPrivate::lock(int timeout) QT_MUTEX_LOCK_NOEXCEPT | - |
| 614 | { | - |
| 615 | Qt::HANDLE self = QThread::currentThreadId(); executed (the execution status of this line is deduced): Qt::HANDLE self = QThread::currentThreadId(); | - |
| 616 | if (owner == self) { evaluated: owner == self| yes Evaluation Count:2240 | yes Evaluation Count:1075954 |
| 2240-1075954 |
| 617 | ++count; executed (the execution status of this line is deduced): ++count; | - |
| 618 | Q_ASSERT_X(count != 0, "QMutex::lock", "Overflow in recursion counter"); executed (the execution status of this line is deduced): qt_noop(); | - |
| 619 | return true; executed: return true;Execution Count:2240 | 2240 |
| 620 | } | - |
| 621 | bool success = true; executed (the execution status of this line is deduced): bool success = true; | - |
| 622 | if (timeout == -1) { evaluated: timeout == -1| yes Evaluation Count:1065742 | yes Evaluation Count:10216 |
| 10216-1065742 |
| 623 | mutex.QBasicMutex::lock(); executed (the execution status of this line is deduced): mutex.QBasicMutex::lock(); | - |
| 624 | } else { executed: }Execution Count:1065759 | 1065759 |
| 625 | success = mutex.tryLock(timeout); executed (the execution status of this line is deduced): success = mutex.tryLock(timeout); | - |
| 626 | } executed: }Execution Count:10216 | 10216 |
| 627 | | - |
| 628 | if (success) evaluated: success| yes Evaluation Count:1065966 | yes Evaluation Count:10008 |
| 10008-1065966 |
| 629 | owner = self; executed: owner = self;Execution Count:1065942 | 1065942 |
| 630 | return success; executed: return success;Execution Count:1075972 | 1075972 |
| 631 | } | - |
| 632 | | - |
| 633 | /*! | - |
| 634 | \internal | - |
| 635 | */ | - |
| 636 | inline void QRecursiveMutexPrivate::unlock() Q_DECL_NOTHROW | - |
| 637 | { | - |
| 638 | if (count > 0) { evaluated: count > 0| yes Evaluation Count:2240 | yes Evaluation Count:1065953 |
| 2240-1065953 |
| 639 | count--; executed (the execution status of this line is deduced): count--; | - |
| 640 | } else { executed: }Execution Count:2240 | 2240 |
| 641 | owner = 0; executed (the execution status of this line is deduced): owner = 0; | - |
| 642 | mutex.QBasicMutex::unlock(); executed (the execution status of this line is deduced): mutex.QBasicMutex::unlock(); | - |
| 643 | } executed: }Execution Count:1065967 | 1065967 |
| 644 | } | - |
| 645 | | - |
| 646 | QT_END_NAMESPACE | - |
| 647 | | - |
| 648 | #ifdef QT_LINUX_FUTEX | - |
| 649 | # include "qmutex_linux.cpp" | - |
| 650 | #elif defined(Q_OS_MAC) | - |
| 651 | # include "qmutex_mac.cpp" | - |
| 652 | #elif defined(Q_OS_WIN) | - |
| 653 | # include "qmutex_win.cpp" | - |
| 654 | #else | - |
| 655 | # include "qmutex_unix.cpp" | - |
| 656 | #endif | - |
| 657 | | - |
| 658 | #endif // QT_NO_THREAD | - |
| 659 | | - |
| | |