Skip to content

CID 1509000: Data race condition #10220

@maskit

Description

@maskit
249      if (m_messageQueue.empty()) {
     	CID 1508990: Thread deadlock (ORDER_REVERSAL) [[select issue](https://scan6.scan.coverity.com/defectInstanceId=34625625&fileInstanceId=157339966&mergedDefectId=1508990)]
250        ::sem_wait(&m_workerSem);
251        m_messageQueueMutex.unlock();
252        std::unique_lock<std::mutex> lock(q_mutex);
253        q_checker.wait(lock, [] { return q_ready; });
   	
CID 1509000 (#1 of 1): Data race condition (MISSING_LOCK)
5. missing_lock: Accessing q_ready without holding lock q_mutex. Elsewhere, q_ready is accessed with q_mutex held 3 out of 4 times (3 of these accesses strongly imply that it is necessary).
254        q_ready = false;
255        continue;
256      }

Metadata

Metadata

Assignees

Labels

Type

No type
No fields configured for issues without a type.

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions