Implement reading persistent state

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

https://distcompiler.github.io/

Apache License 2.0

174 stars 14 forks source link

Open shayanh opened 2 years ago

shayanh commented 2 years ago

Currently, this is the persistent resource interface:

type PersistableResource interface {
    distsys.ArchetypeResource
    GetState() ([]byte, error)
}

And it just supports persisting the state. Reading and recovery from the stored state has been implemented yet.