SharedRegister class

A thread-safe register that can be shared in-memory by actors.

public static class SharedRegister

Public Members

name	description
static Create<T>(…)	Creates a new shared register.

Remarks

See also Sharing Objects.

See Also

• namespace Microsoft.Coyote.Actors.SharedObjects
• assembly Microsoft.Coyote.Actors