diff --git a/TSPL.docc/LanguageGuide/Concurrency.md b/TSPL.docc/LanguageGuide/Concurrency.md index 6dc1193fc..5458be299 100644 --- a/TSPL.docc/LanguageGuide/Concurrency.md +++ b/TSPL.docc/LanguageGuide/Concurrency.md @@ -1455,8 +1455,8 @@ the part of a program that contains mutable state, like variables and properties, is called a *concurrency domain*. Some kinds of data can't be shared between concurrency domains, -because that data contains mutable state, -but it doesn't protect against overlapping access. +because that data contains mutable state +that is not protected against overlapping access. A type that can be shared from one concurrency domain to another is known as a *sendable* type. diff --git a/TSPL.docc/ReferenceManual/Attributes.md b/TSPL.docc/ReferenceManual/Attributes.md index a8e17605e..0c6247e93 100644 --- a/TSPL.docc/ReferenceManual/Attributes.md +++ b/TSPL.docc/ReferenceManual/Attributes.md @@ -1006,7 +1006,7 @@ which provides a shared instance of an actor. A global actor generalizes the concept of actor isolation to state that's spread out in several different places in code --- such as multiple types, files, and modules --- -and makes it possible to safely assess global variables from concurrent code. +and makes it possible to safely access global variables from concurrent code. The actor that the global actor provides as the value of its `shared` property serializes access to all this state.