SharedDictionary class

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

public static class SharedDictionary

Public Members

name	description
static Create<TKey,TValue>(…)	Creates a new shared dictionary. (2 methods)

Remarks

See also Sharing Objects.

See Also

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