diff options
author | Anthony Towns <aj@erisian.com.au> | 2022-04-20 16:47:29 +1000 |
---|---|---|
committer | Anthony Towns <aj@erisian.com.au> | 2022-05-12 02:25:55 +1000 |
commit | 7d73f58e9cea8f4b0bc16512983898fddde3d764 (patch) | |
tree | f66b9dd960d017efd1af4a56c626e439d121890f /src/httpserver.cpp | |
parent | 9db941d7737406b8593024ba130c3f9c186af4c6 (diff) |
Increase threadsafety annotation coverage
Diffstat (limited to 'src/httpserver.cpp')
-rw-r--r-- | src/httpserver.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/httpserver.cpp b/src/httpserver.cpp index 96bee8640d..dba66becc0 100644 --- a/src/httpserver.cpp +++ b/src/httpserver.cpp @@ -87,7 +87,7 @@ public: { } /** Enqueue a work item */ - bool Enqueue(WorkItem* item) + bool Enqueue(WorkItem* item) EXCLUSIVE_LOCKS_REQUIRED(!cs) { LOCK(cs); if (!running || queue.size() >= maxDepth) { @@ -98,7 +98,7 @@ public: return true; } /** Thread function */ - void Run() + void Run() EXCLUSIVE_LOCKS_REQUIRED(!cs) { while (true) { std::unique_ptr<WorkItem> i; @@ -115,7 +115,7 @@ public: } } /** Interrupt and exit loops */ - void Interrupt() + void Interrupt() EXCLUSIVE_LOCKS_REQUIRED(!cs) { LOCK(cs); running = false; |