Miri项目新增对macOS 14.4+ futex API的支持

在操作系统并发编程领域，futex（快速用户空间互斥锁）是一种重要的同步原语，它通过结合用户空间和内核空间的协作机制，实现了高效的线程同步。最近，苹果公司在macOS 14.4及更高版本中引入了一套公开的futex-like接口，这为Rust标准库在苹果平台上的并发性能优化提供了新的可能性。

这套新API位于os/os_sync_wait_on_address.h头文件中，包含了一系列关键函数：

• os_sync_wait_on_address
• os_sync_wait_on_address_with_timeout
• os_sync_wake_by_address_any
• os_sync_wake_by_address_all

这些函数提供了类似Linux futex的功能，允许线程在用户空间高效地等待和唤醒。与Linux的futex实现相比，macOS的这套API在设计上有其独特性，但核心思想都是减少不必要的内核空间切换，从而提高并发性能。

Miri作为Rust的内存检查工具，需要对这些系统调用进行模拟（shim）才能正确分析使用这些API的Rust程序。实现这些shim的主要挑战在于：

1. 苹果官方文档不完整，需要从源代码中理解API行为
2. 需要正确处理各种参数组合和返回值
3. 需要模拟真实的并发语义，包括等待队列和唤醒机制

为了确保实现的正确性，开发过程中通常会构建专门的测试用例，验证基本功能和使用场景。这些测试会模拟真实的标准库使用方式，但直接调用底层API以便于隔离测试。

这套新API的支持将使Rust标准库能够在macOS平台上实现更高效的线程同步原语，如条件变量、互斥锁等。相比之前可能使用的替代方案，如基于pthread的同步机制，futex-like API通常能提供更好的性能，特别是在低竞争场景下。

值得注意的是，这套API是macOS 14.4+新增的，这意味着向后兼容性需要考虑。在实际应用中，标准库可能会实现多级回退机制，在新API不可用时自动切换到传统实现方式。Miri的模拟实现也需要考虑这种版本差异和回退逻辑。

随着这一支持的加入，Rust开发者在macOS平台上进行并发编程时将获得更一致和高效的体验，同时也为Miri在这些平台上的内存检查能力提供了更完整的覆盖。