Swfift6数据安全

Swift 6 语言模型在编译时防止数据竟争来消除数据安全的问题。

The Swift 6 language mode eliminates these problems by preventing data races at compile time.

它是通过什么机制来实现的呢？

通过一种称为数据隔离的机制来实现这一点。data isolation

Data isolation 保证对 mutable state 的互斥访问。

它是同步的一种形式，概念上类似于锁。

但与锁不同的是，Data isolation 提供的保护发生在编译时。

Isolation Domains 隔离域

什么是隔离域?

数据隔离是用于保护共享可变状态的机制。

但谈论独立的隔离单元通常很有用。我们称为隔离域。

a single variable, or an entire subsystem, such as interface. 都是可以被保护的。 特定领域所保护的状态数据差距是比较大的。