Add core functions to enable Timeline semaphores

generator/vk_layer/source/device.cpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -39,6 +39,9 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Device>> g_devices;
 
+/* See header for documentation. */
+const std::vector<std::string> Device::extraExtensions { };
+
 /* See header for documentation. */
 void Device::store(
     VkDevice handle,

generator/vk_layer/source/device.hpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -132,6 +132,17 @@ class Device
     ~Device() = default;
 
 public:
+    /**
+     * @brief The driver function dispatch table.
+     */
+    DeviceDispatchTable driver {};
+
+    /**
+     * @brief The minimum set of device extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
+
+private:
     /**
      * @brief The instance this device is created with.
      */
@@ -146,9 +157,4 @@ class Device
      * @brief The device handle this device is created with.
      */
     const VkDevice device;
-
-    /**
-     * @brief The driver function dispatch table.
-     */
-    DeviceDispatchTable driver {};
 };

generator/vk_layer/source/instance.cpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -34,6 +34,14 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Instance>> g_instances;
 
+/* See header for documentation. */
+const APIVersion Instance::minAPIVersion { 1, 1 };
+
+/* See header for documentation. */
+const std::vector<std::string> Instance::extraExtensions {
+    "VK_EXT_debug_utils"
+};
+
 /* See header for documentation. */
 void Instance::store(
     VkInstance handle,

generator/vk_layer/source/instance.hpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -131,4 +131,14 @@ class Instance
      * @brief The driver function dispatch table.
      */
     InstanceDispatchTable driver {};
+
+    /**
+     * @brief The minimum API version needed by this layer.
+     */
+    static const APIVersion minAPIVersion;
+
+    /**
+     * @brief The minimum set of instance extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
 };

layer_example/source/device.cpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -39,6 +39,9 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Device>> g_devices;
 
+/* See header for documentation. */
+const std::vector<std::string> Device::extraExtensions { };
+
 /* See header for documentation. */
 void Device::store(
     VkDevice handle,

layer_example/source/device.hpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -132,6 +132,17 @@ class Device
     ~Device() = default;
 
 public:
+    /**
+     * @brief The driver function dispatch table.
+     */
+    DeviceDispatchTable driver {};
+
+    /**
+     * @brief The minimum set of device extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
+
+private:
     /**
      * @brief The instance this device is created with.
      */
@@ -146,9 +157,4 @@ class Device
      * @brief The device handle this device is created with.
      */
     const VkDevice device;
-
-    /**
-     * @brief The driver function dispatch table.
-     */
-    DeviceDispatchTable driver {};
 };

layer_example/source/instance.cpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -34,6 +34,14 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Instance>> g_instances;
 
+/* See header for documentation. */
+const APIVersion Instance::minAPIVersion { 1, 1 };
+
+/* See header for documentation. */
+const std::vector<std::string> Instance::extraExtensions {
+    "VK_EXT_debug_utils"
+};
+
 /* See header for documentation. */
 void Instance::store(
     VkInstance handle,

layer_example/source/instance.hpp

@@ -1,7 +1,7 @@
 /*
  * SPDX-License-Identifier: MIT
  * ----------------------------------------------------------------------------
- * Copyright (c) 2024 Arm Limited
+ * Copyright (c) 2024-2025 Arm Limited
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to
@@ -131,4 +131,14 @@ class Instance
      * @brief The driver function dispatch table.
      */
     InstanceDispatchTable driver {};
+
+    /**
+     * @brief The minimum API version needed by this layer.
+     */
+    static const APIVersion minAPIVersion;
+
+    /**
+     * @brief The minimum set of instance extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
 };

layer_gpu_support/source/device.cpp

@@ -33,6 +33,11 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Device>> g_devices;
 
+/* See header for documentation. */
+const std::vector<std::string> Device::extraExtensions {
+    "VK_KHR_timeline_semaphore"
+};
+
 /* See header for documentation. */
 void Device::store(
     VkDevice handle,
@@ -88,4 +93,25 @@ Device::Device(
     device(_device)
 {
     initDriverDeviceDispatchTable(device, nlayerGetProcAddress, driver);
+
+    VkSemaphoreTypeCreateInfo timelineCreateInfo {
+        .sType = VK_STRUCTURE_TYPE_SEMAPHORE_TYPE_CREATE_INFO,
+        .pNext = nullptr,
+        .semaphoreType = VK_SEMAPHORE_TYPE_TIMELINE,
+        .initialValue = queueSerializationTimelineSemCount
+    };
+
+    VkSemaphoreCreateInfo createInfo {
+        .sType = VK_STRUCTURE_TYPE_SEMAPHORE_CREATE_INFO,
+        .pNext = &timelineCreateInfo,
+        .flags = 0
+    };
+
+    auto result = driver.vkCreateSemaphore(
+        device, &createInfo, nullptr, &queueSerializationTimelineSem);
+    if (result != VK_SUCCESS)
+    {
+        LAYER_ERR("Failed vkCreateSemaphore() for queue serialization");
+        queueSerializationTimelineSem = nullptr;
+    }
 }

layer_gpu_support/source/device.hpp

@@ -137,6 +137,27 @@ class Device
      */
     const Instance* instance;
 
+    /**
+     * @brief The driver function dispatch table.
+     */
+    DeviceDispatchTable driver {};
+
+    /**
+     * @brief The minimum set of device extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
+
+    /**
+     * @brief The timeline sem use for queue serialization.
+     */
+    VkSemaphore queueSerializationTimelineSem { nullptr };
+
+    /**
+     * @brief The current timeline sem target value the next use waits for.
+     */
+    uint64_t queueSerializationTimelineSemCount { 0 };
+
+private:
     /**
      * @brief The physical device this device is created with.
      */
@@ -146,9 +167,4 @@ class Device
      * @brief The device handle this device is created with.
      */
     const VkDevice device;
-
-    /**
-     * @brief The driver function dispatch table.
-     */
-    DeviceDispatchTable driver {};
 };

layer_gpu_support/source/instance.cpp

@@ -34,6 +34,14 @@
  */
 static std::unordered_map<void*, std::unique_ptr<Instance>> g_instances;
 
+/* See header for documentation. */
+const APIVersion Instance::minAPIVersion { 1, 1 };
+
+/* See header for documentation. */
+const std::vector<std::string> Instance::extraExtensions {
+    "VK_EXT_debug_utils"
+};
+
 /* See header for documentation. */
 void Instance::store(
     VkInstance handle,

layer_gpu_support/source/instance.hpp

@@ -137,4 +137,14 @@ class Instance
      * @brief The layer configuration.
      */
     const LayerConfig config;
+
+    /**
+     * @brief The minimum API version needed by this layer.
+     */
+    static const APIVersion minAPIVersion;
+
+    /**
+     * @brief The minimum set of instance extensions needed by this layer.
+     */
+    static const std::vector<std::string> extraExtensions;
 };