SharedRegister<T> class

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

public class SharedRegister<T>
    where T : struct

parameter	description
T	The type of the value.

Public Members

name	description
virtual GetValue()	Gets current value of the register.
virtual SetValue(…)	Sets current value of the register.
virtual Update(…)	Reads and updates the register.

See Also

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