blob: 1a04a62fade9ac4c16f844962c040032d1e9007b [file] [log] [blame]
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -07001/* Copyright (c) 2015-2016 The Khronos Group Inc.
2 * Copyright (c) 2015-2016 Valve Corporation
3 * Copyright (c) 2015-2016 LunarG, Inc.
Mike Stroyan3712d5c2015-04-02 11:59:05 -06004 *
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -07005 * Permission is hereby granted, free of charge, to any person obtaining a copy
6 * of this software and/or associated documentation files (the "Materials"), to
7 * deal in the Materials without restriction, including without limitation the
8 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
9 * sell copies of the Materials, and to permit persons to whom the Materials
10 * are furnished to do so, subject to the following conditions:
Mike Stroyan3712d5c2015-04-02 11:59:05 -060011 *
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -070012 * The above copyright notice(s) and this permission notice shall be included
13 * in all copies or substantial portions of the Materials.
Mike Stroyan3712d5c2015-04-02 11:59:05 -060014 *
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -070015 * THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
Mike Stroyan3712d5c2015-04-02 11:59:05 -060016 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -070017 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
18 *
19 * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
20 * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
21 * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE MATERIALS OR THE
22 * USE OR OTHER DEALINGS IN THE MATERIALS
Courtney Goeltzenleuchter05559522015-10-30 11:14:30 -060023 *
24 * Author: Cody Northrop <cody@lunarg.com>
25 * Author: Mike Stroyan <mike@LunarG.com>
Mike Stroyan3712d5c2015-04-02 11:59:05 -060026 */
Mark Lobodzinski6eda00a2016-02-02 15:55:36 -070027
Mike Stroyan313f7e62015-08-10 16:42:53 -060028#ifndef THREADING_H
29#define THREADING_H
Mike Stroyan845bdc42015-11-02 15:30:20 -070030#include <vector>
Mike Stroyan313f7e62015-08-10 16:42:53 -060031#include "vk_layer_config.h"
32#include "vk_layer_logging.h"
Mike Stroyan3712d5c2015-04-02 11:59:05 -060033
Mike Stroyan31c50c82016-01-29 15:09:04 -070034#if defined(__LP64__) || defined(_WIN64) || defined(__x86_64__) || defined(_M_X64) || defined(__ia64) || defined (_M_IA64) || defined(__aarch64__) || defined(__powerpc64__)
35// If pointers are 64-bit, then there can be separate counters for each
36// NONDISPATCHABLE_HANDLE type. Otherwise they are all typedef uint64_t.
37#define DISTINCT_NONDISPATCHABLE_HANDLES
38#endif
39
Mike Stroyan3712d5c2015-04-02 11:59:05 -060040// Draw State ERROR codes
Mark Lobodzinski1ed594e2016-02-03 09:57:14 -070041typedef enum _THREADING_CHECKER_ERROR
42{
43 THREADING_CHECKER_NONE, // Used for INFO & other non-error messages
44 THREADING_CHECKER_MULTIPLE_THREADS, // Object used simultaneously by multiple threads
45 THREADING_CHECKER_SINGLE_THREAD_REUSE, // Object used simultaneously by recursion in single thread
Mike Stroyan3712d5c2015-04-02 11:59:05 -060046} THREADING_CHECKER_ERROR;
47
Mike Stroyan845bdc42015-11-02 15:30:20 -070048struct object_use_data {
49 loader_platform_thread_id thread;
50 int reader_count;
51 int writer_count;
52};
53
54struct layer_data;
Mike Stroyan845bdc42015-11-02 15:30:20 -070055
56static int threadingLockInitialized = 0;
57static loader_platform_thread_mutex threadingLock;
58static loader_platform_thread_cond threadingCond;
59
60template <typename T> class counter {
61 public:
62 const char *typeName;
63 VkDebugReportObjectTypeEXT objectType;
Mike Stroyan1a080012016-01-29 15:33:21 -070064 std::unordered_map<T, object_use_data> uses;
Mike Stroyan845bdc42015-11-02 15:30:20 -070065 void startWrite(debug_report_data *report_data, T object)
66 {
67 VkBool32 skipCall = VK_FALSE;
68 loader_platform_thread_id tid = loader_platform_get_thread_id();
69 loader_platform_thread_lock_mutex(&threadingLock);
70 if (uses.find(object) == uses.end()) {
71 // There is no current use of the object. Record writer thread.
72 struct object_use_data *use_data = &uses[object];
73 use_data->reader_count = 0;
74 use_data->writer_count = 1;
75 use_data->thread = tid;
76 } else {
77 struct object_use_data *use_data = &uses[object];
78 if (use_data->reader_count == 0) {
79 // There are no readers. Two writers just collided.
80 if (use_data->thread != tid) {
Dustin Graves37bef952016-02-05 16:06:21 -070081 skipCall |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, objectType, (uint64_t)(object),
Mike Stroyan845bdc42015-11-02 15:30:20 -070082 /*location*/ 0, THREADING_CHECKER_MULTIPLE_THREADS, "THREADING",
83 "THREADING ERROR : object of type %s is simultaneously used in thread %ld and thread %ld",
84 typeName, use_data->thread, tid);
85 if (skipCall) {
86 // Wait for thread-safe access to object instead of skipping call.
87 while (uses.find(object) != uses.end()) {
88 loader_platform_thread_cond_wait(&threadingCond, &threadingLock);
89 }
90 // There is now no current use of the object. Record writer thread.
91 struct object_use_data *use_data = &uses[object];
92 use_data->thread = tid ;
93 use_data->reader_count = 0;
94 use_data->writer_count = 1;
95 } else {
96 // Continue with an unsafe use of the object.
Mike Stroyanc8774502016-02-05 09:11:32 -070097 use_data->thread = tid ;
Mike Stroyan845bdc42015-11-02 15:30:20 -070098 use_data->writer_count += 1;
99 }
100 } else {
Mike Stroyanc8774502016-02-05 09:11:32 -0700101 // This is either safe multiple use in one call, or recursive use.
Mike Stroyan845bdc42015-11-02 15:30:20 -0700102 // There is no way to make recursion safe. Just forge ahead.
103 use_data->writer_count += 1;
104 }
105 } else {
106 // There are readers. This writer collided with them.
107 if (use_data->thread != tid) {
Dustin Graves37bef952016-02-05 16:06:21 -0700108 skipCall |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, objectType, (uint64_t)(object),
Mike Stroyan845bdc42015-11-02 15:30:20 -0700109 /*location*/ 0, THREADING_CHECKER_MULTIPLE_THREADS, "THREADING",
110 "THREADING ERROR : object of type %s is simultaneously used in thread %ld and thread %ld",
111 typeName, use_data->thread, tid);
112 if (skipCall) {
113 // Wait for thread-safe access to object instead of skipping call.
114 while (uses.find(object) != uses.end()) {
115 loader_platform_thread_cond_wait(&threadingCond, &threadingLock);
116 }
117 // There is now no current use of the object. Record writer thread.
118 struct object_use_data *use_data = &uses[object];
119 use_data->thread = tid ;
120 use_data->reader_count = 0;
121 use_data->writer_count = 1;
122 } else {
123 // Continue with an unsafe use of the object.
Mike Stroyanc8774502016-02-05 09:11:32 -0700124 use_data->thread = tid ;
Mike Stroyan845bdc42015-11-02 15:30:20 -0700125 use_data->writer_count += 1;
126 }
127 } else {
Mike Stroyanc8774502016-02-05 09:11:32 -0700128 // This is either safe multiple use in one call, or recursive use.
Mike Stroyan845bdc42015-11-02 15:30:20 -0700129 // There is no way to make recursion safe. Just forge ahead.
130 use_data->writer_count += 1;
131 }
132 }
133 }
134 loader_platform_thread_unlock_mutex(&threadingLock);
135 }
136
137 void finishWrite(T object)
138 {
139 // Object is no longer in use
140 loader_platform_thread_lock_mutex(&threadingLock);
141 uses[object].writer_count -= 1;
142 if ((uses[object].reader_count == 0) && (uses[object].writer_count == 0)) {
143 uses.erase(object);
144 }
145 // Notify any waiting threads that this object may be safe to use
146 loader_platform_thread_cond_broadcast(&threadingCond);
147 loader_platform_thread_unlock_mutex(&threadingLock);
148 }
149
150 void startRead(debug_report_data *report_data, T object) {
151 VkBool32 skipCall = VK_FALSE;
152 loader_platform_thread_id tid = loader_platform_get_thread_id();
153 loader_platform_thread_lock_mutex(&threadingLock);
154 if (uses.find(object) == uses.end()) {
155 // There is no current use of the object. Record reader count
156 struct object_use_data *use_data = &uses[object];
157 use_data->reader_count = 1;
158 use_data->writer_count = 0;
159 use_data->thread = tid;
Mike Stroyanc8774502016-02-05 09:11:32 -0700160 } else if (uses[object].writer_count > 0 && uses[object].thread != tid) {
Mike Stroyan845bdc42015-11-02 15:30:20 -0700161 // There is a writer of the object.
Dustin Graves37bef952016-02-05 16:06:21 -0700162 skipCall |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, objectType, (uint64_t)(object),
Mike Stroyan845bdc42015-11-02 15:30:20 -0700163 /*location*/ 0, THREADING_CHECKER_MULTIPLE_THREADS, "THREADING",
164 "THREADING ERROR : object of type %s is simultaneously used in thread %ld and thread %ld",
165 typeName, uses[object].thread, tid);
166 if (skipCall) {
167 // Wait for thread-safe access to object instead of skipping call.
168 while (uses.find(object) != uses.end()) {
169 loader_platform_thread_cond_wait(&threadingCond, &threadingLock);
170 }
171 // There is no current use of the object. Record reader count
172 struct object_use_data *use_data = &uses[object];
173 use_data->reader_count = 1;
174 use_data->writer_count = 0;
175 use_data->thread = tid;
176 } else {
177 uses[object].reader_count += 1;
178 }
179 } else {
180 // There are other readers of the object. Increase reader count
181 uses[object].reader_count += 1;
182 }
183 loader_platform_thread_unlock_mutex(&threadingLock);
184 }
185 void finishRead(T object) {
186 loader_platform_thread_lock_mutex(&threadingLock);
187 uses[object].reader_count -= 1;
188 if ((uses[object].reader_count == 0) && (uses[object].writer_count == 0)) {
189 uses.erase(object);
190 }
191 // Notify and waiting threads that this object may be safe to use
192 loader_platform_thread_cond_broadcast(&threadingCond);
193 loader_platform_thread_unlock_mutex(&threadingLock);
194 }
195 counter(const char *name = "",
196 VkDebugReportObjectTypeEXT type=VK_DEBUG_REPORT_OBJECT_TYPE_UNKNOWN_EXT) {
197 typeName = name;
198 objectType=type;
199 }
200};
201
Cody Northrop55443ef2015-09-28 15:09:32 -0600202struct layer_data {
Mike Stroyan313f7e62015-08-10 16:42:53 -0600203 debug_report_data *report_data;
Mike Stroyan845bdc42015-11-02 15:30:20 -0700204 std::vector<VkDebugReportCallbackEXT> logging_callback;
205 VkLayerDispatchTable* device_dispatch_table;
206 VkLayerInstanceDispatchTable* instance_dispatch_table;
207 counter<VkCommandBuffer> c_VkCommandBuffer;
208 counter<VkDevice> c_VkDevice;
209 counter<VkInstance> c_VkInstance;
210 counter<VkQueue> c_VkQueue;
Mike Stroyan31c50c82016-01-29 15:09:04 -0700211#ifdef DISTINCT_NONDISPATCHABLE_HANDLES
Mike Stroyan845bdc42015-11-02 15:30:20 -0700212 counter<VkBuffer> c_VkBuffer;
213 counter<VkBufferView> c_VkBufferView;
214 counter<VkCommandPool> c_VkCommandPool;
215 counter<VkDescriptorPool> c_VkDescriptorPool;
216 counter<VkDescriptorSet> c_VkDescriptorSet;
217 counter<VkDescriptorSetLayout> c_VkDescriptorSetLayout;
218 counter<VkDeviceMemory> c_VkDeviceMemory;
219 counter<VkEvent> c_VkEvent;
220 counter<VkFence> c_VkFence;
221 counter<VkFramebuffer> c_VkFramebuffer;
222 counter<VkImage> c_VkImage;
223 counter<VkImageView> c_VkImageView;
224 counter<VkPipeline> c_VkPipeline;
225 counter<VkPipelineCache> c_VkPipelineCache;
226 counter<VkPipelineLayout> c_VkPipelineLayout;
227 counter<VkQueryPool> c_VkQueryPool;
228 counter<VkRenderPass> c_VkRenderPass;
229 counter<VkSampler> c_VkSampler;
230 counter<VkSemaphore> c_VkSemaphore;
231 counter<VkShaderModule> c_VkShaderModule;
232 counter<VkDebugReportCallbackEXT> c_VkDebugReportCallbackEXT;
Mike Stroyan31c50c82016-01-29 15:09:04 -0700233#else // DISTINCT_NONDISPATCHABLE_HANDLES
234 counter<uint64_t> c_uint64_t;
235#endif // DISTINCT_NONDISPATCHABLE_HANDLES
Mike Stroyan845bdc42015-11-02 15:30:20 -0700236 layer_data():
Mark Lobodzinski1ed594e2016-02-03 09:57:14 -0700237 report_data(nullptr),
Mike Stroyan845bdc42015-11-02 15:30:20 -0700238 c_VkCommandBuffer("VkCommandBuffer", VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT),
239 c_VkDevice("VkDevice", VK_DEBUG_REPORT_OBJECT_TYPE_DEVICE_EXT),
240 c_VkInstance("VkInstance", VK_DEBUG_REPORT_OBJECT_TYPE_INSTANCE_EXT),
241 c_VkQueue("VkQueue", VK_DEBUG_REPORT_OBJECT_TYPE_QUEUE_EXT),
Mike Stroyan31c50c82016-01-29 15:09:04 -0700242#ifdef DISTINCT_NONDISPATCHABLE_HANDLES
Mike Stroyan845bdc42015-11-02 15:30:20 -0700243 c_VkBuffer("VkBuffer", VK_DEBUG_REPORT_OBJECT_TYPE_BUFFER_EXT),
244 c_VkBufferView("VkBufferView", VK_DEBUG_REPORT_OBJECT_TYPE_BUFFER_VIEW_EXT),
245 c_VkCommandPool("VkCommandPool", VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_POOL_EXT),
246 c_VkDescriptorPool("VkDescriptorPool", VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_POOL_EXT),
247 c_VkDescriptorSet("VkDescriptorSet", VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT),
248 c_VkDescriptorSetLayout("VkDescriptorSetLayout", VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_LAYOUT_EXT),
249 c_VkDeviceMemory("VkDeviceMemory", VK_DEBUG_REPORT_OBJECT_TYPE_DEVICE_MEMORY_EXT),
250 c_VkEvent("VkEvent", VK_DEBUG_REPORT_OBJECT_TYPE_EVENT_EXT),
251 c_VkFence("VkFence", VK_DEBUG_REPORT_OBJECT_TYPE_FENCE_EXT),
252 c_VkFramebuffer("VkFramebuffer", VK_DEBUG_REPORT_OBJECT_TYPE_FRAMEBUFFER_EXT),
253 c_VkImage("VkImage", VK_DEBUG_REPORT_OBJECT_TYPE_IMAGE_EXT),
254 c_VkImageView("VkImageView", VK_DEBUG_REPORT_OBJECT_TYPE_IMAGE_VIEW_EXT),
255 c_VkPipeline("VkPipeline", VK_DEBUG_REPORT_OBJECT_TYPE_PIPELINE_EXT),
256 c_VkPipelineCache("VkPipelineCache", VK_DEBUG_REPORT_OBJECT_TYPE_PIPELINE_CACHE_EXT),
257 c_VkPipelineLayout("VkPipelineLayout", VK_DEBUG_REPORT_OBJECT_TYPE_PIPELINE_LAYOUT_EXT),
258 c_VkQueryPool("VkQueryPool", VK_DEBUG_REPORT_OBJECT_TYPE_QUERY_POOL_EXT),
259 c_VkRenderPass("VkRenderPass", VK_DEBUG_REPORT_OBJECT_TYPE_RENDER_PASS_EXT),
260 c_VkSampler("VkSampler", VK_DEBUG_REPORT_OBJECT_TYPE_SAMPLER_EXT),
261 c_VkSemaphore("VkSemaphore", VK_DEBUG_REPORT_OBJECT_TYPE_SEMAPHORE_EXT),
262 c_VkShaderModule("VkShaderModule", VK_DEBUG_REPORT_OBJECT_TYPE_SHADER_MODULE_EXT),
263 c_VkDebugReportCallbackEXT("VkDebugReportCallbackEXT", VK_DEBUG_REPORT_OBJECT_TYPE_DEBUG_REPORT_EXT)
Mike Stroyan31c50c82016-01-29 15:09:04 -0700264#else // DISTINCT_NONDISPATCHABLE_HANDLES
265 c_uint64_t("NON_DISPATCHABLE_HANDLE", VK_DEBUG_REPORT_OBJECT_TYPE_UNKNOWN_EXT)
266#endif // DISTINCT_NONDISPATCHABLE_HANDLES
Mark Lobodzinski1ed594e2016-02-03 09:57:14 -0700267 {};
Cody Northrop55443ef2015-09-28 15:09:32 -0600268};
Mike Stroyan313f7e62015-08-10 16:42:53 -0600269
Mike Stroyan845bdc42015-11-02 15:30:20 -0700270#define WRAPPER(type) \
271static void startWriteObject(struct layer_data *my_data, type object){my_data->c_##type.startWrite(my_data->report_data, object);}\
272static void finishWriteObject(struct layer_data *my_data, type object){my_data->c_##type.finishWrite(object);}\
273static void startReadObject(struct layer_data *my_data, type object){my_data->c_##type.startRead(my_data->report_data, object);}\
274static void finishReadObject(struct layer_data *my_data, type object){my_data->c_##type.finishRead(object);}
Mike Stroyan313f7e62015-08-10 16:42:53 -0600275
Mike Stroyan845bdc42015-11-02 15:30:20 -0700276WRAPPER(VkDevice)
277WRAPPER(VkInstance)
278WRAPPER(VkQueue)
Mike Stroyan31c50c82016-01-29 15:09:04 -0700279#ifdef DISTINCT_NONDISPATCHABLE_HANDLES
Mike Stroyan845bdc42015-11-02 15:30:20 -0700280WRAPPER(VkBuffer)
281WRAPPER(VkBufferView)
282WRAPPER(VkCommandPool)
283WRAPPER(VkDescriptorPool)
284WRAPPER(VkDescriptorSet)
285WRAPPER(VkDescriptorSetLayout)
286WRAPPER(VkDeviceMemory)
287WRAPPER(VkEvent)
288WRAPPER(VkFence)
289WRAPPER(VkFramebuffer)
290WRAPPER(VkImage)
291WRAPPER(VkImageView)
292WRAPPER(VkPipeline)
293WRAPPER(VkPipelineCache)
294WRAPPER(VkPipelineLayout)
295WRAPPER(VkQueryPool)
296WRAPPER(VkRenderPass)
297WRAPPER(VkSampler)
298WRAPPER(VkSemaphore)
299WRAPPER(VkShaderModule)
300WRAPPER(VkDebugReportCallbackEXT)
Mike Stroyan31c50c82016-01-29 15:09:04 -0700301#else // DISTINCT_NONDISPATCHABLE_HANDLES
302WRAPPER(uint64_t)
303#endif // DISTINCT_NONDISPATCHABLE_HANDLES
Mike Stroyan845bdc42015-11-02 15:30:20 -0700304
305static std::unordered_map<void*, layer_data *> layer_data_map;
306static std::unordered_map<VkCommandBuffer, VkCommandPool> command_pool_map;
307
308// VkCommandBuffer needs check for implicit use of command pool
309static void startWriteObject(struct layer_data *my_data, VkCommandBuffer object, bool lockPool=true)
Mark Lobodzinski1ed594e2016-02-03 09:57:14 -0700310{
Mike Stroyan845bdc42015-11-02 15:30:20 -0700311 if (lockPool) {
Mike Stroyanae8e8a72016-02-08 10:27:55 -0700312 loader_platform_thread_lock_mutex(&threadingLock);
313 VkCommandPool pool = command_pool_map[object];
314 loader_platform_thread_unlock_mutex(&threadingLock);
315 startWriteObject(my_data, pool);
Mike Stroyan845bdc42015-11-02 15:30:20 -0700316 }
317 my_data->c_VkCommandBuffer.startWrite(my_data->report_data, object);
318}
319static void finishWriteObject(struct layer_data *my_data, VkCommandBuffer object, bool lockPool=true)
320{
321 my_data->c_VkCommandBuffer.finishWrite(object);
322 if (lockPool) {
Mike Stroyanae8e8a72016-02-08 10:27:55 -0700323 loader_platform_thread_lock_mutex(&threadingLock);
324 VkCommandPool pool = command_pool_map[object];
325 loader_platform_thread_unlock_mutex(&threadingLock);
326 finishWriteObject(my_data, pool);
Mike Stroyan845bdc42015-11-02 15:30:20 -0700327 }
328}
Mike Stroyane567ae62016-02-05 09:46:01 -0700329static void startReadObject(struct layer_data *my_data, VkCommandBuffer object)
Mike Stroyan845bdc42015-11-02 15:30:20 -0700330{
Mike Stroyanae8e8a72016-02-08 10:27:55 -0700331 loader_platform_thread_lock_mutex(&threadingLock);
332 VkCommandPool pool = command_pool_map[object];
333 loader_platform_thread_unlock_mutex(&threadingLock);
334 startReadObject(my_data, pool);
Mike Stroyan845bdc42015-11-02 15:30:20 -0700335 my_data->c_VkCommandBuffer.startRead(my_data->report_data, object);
336}
Mike Stroyane567ae62016-02-05 09:46:01 -0700337static void finishReadObject(struct layer_data *my_data, VkCommandBuffer object)
Mike Stroyan845bdc42015-11-02 15:30:20 -0700338{
339 my_data->c_VkCommandBuffer.finishRead(object);
Mike Stroyanae8e8a72016-02-08 10:27:55 -0700340 loader_platform_thread_lock_mutex(&threadingLock);
341 VkCommandPool pool = command_pool_map[object];
342 loader_platform_thread_unlock_mutex(&threadingLock);
343 finishReadObject(my_data, pool);
Mike Stroyan313f7e62015-08-10 16:42:53 -0600344}
345#endif // THREADING_H