小编RWi*_*co8的帖子

Khronos刚刚发布了他们的新内存模型扩展,但还没有进行非正式讨论,示例实现等等,所以我对基本细节感到困惑.

https://www.khronos.org/blog/vulkan-has-just-become-the-worlds-first-graphics-api-with-a-formal-memory-model.-so-what-is-a-memory - 模型 - 和 - 为什么 - 应该-I护理

https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#memory-model

这些新扩展试图准确解决什么？他们是在尝试解决语言级别的同步问题(比如在C++代码中删除繁琐的互斥体),还是一组新的复杂功能,让您可以更好地控制GPU如何在内部处理同步？

(推测性问题)在一般情况下学习和合并这个新模型是不是一个好主意,或者这个模型是否只适用于某些多线程模式并可能增加开销？

我正在查看最近开放源代码的NVidia PhysX 3.4，发现的全部都是C ++类-头版本或包装API是否仅是C？

我知道这通常是不好的做法（并且 ARM 可能说这是未定义的行为），但我正在尝试编写一个包含许多浮点数的快速文本解析器，将加载的文本包装成一个非常昂贵的受保护的类型，因为数据是逐字符检查的，并且可能有多达一百万个浮点数或在堆栈上传递一个切片。

鉴于数组从不写入而只读取，在 Ada (GNAT) 中是否有可能“安全地”划分未受保护的数组以供多个任务使用？

如：

 Text : array (1..1_000_000) of Character := ...
 begin
   Task_1.Initialize (Start_Index => 1, End_Index => 10_000);
   Task_2.Initialize (Start_Index => 10_001, End_Index => 20_000);
 ...

我正在研究一种模块化的方式来指定额外的制服和采样器（例如描述符集）供 Vulkan 着色器（使用泛型等）使用，但我收到多个验证错误，我无法破译它们的含义或 Vulkan 调用/要检查的数据。

我看不到在哪里触发了不匹配或为什么全局描述符需要（无）组件类型。

UNASSIGNED-CoreValidation-Shader-DescriptorTypeMismatch(ERROR / SPEC): msgNum: 0 - Type mismatch on descriptor slot 0.0 (expected `VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER, VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC, VK_DESCRIPTOR_TYPE_INLINE_UNIFORM_BLOCK_EXT`) but descriptor of type VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER
    Objects: 1
        [0] 0, type: 0, name: NULL
UNASSIGNED-CoreValidation-DrawState-DescriptorSetNotUpdated(ERROR / SPEC): msgNum: 0 - Descriptor set 0x52 bound as set #0 encountered the following validation error at vkCmdDrawIndexed() time: Descriptor in binding #0 at global descriptor index 0 requires (none) component type, but bound descriptor format is VK_FORMAT_R8G8B8A8_UNORM.
    Objects: 1
        [0] 0x52, type: …