Shayan Hosseini

I believe it's still possible to get a much better performance from RaftKVS.

`ArchetypeResourceMaker` was introduced to help with persistence at first. We didn't implement anything at that time until later we implemented persistence with another idea. The resource maker interface now doesn't...

This makes debugging much easier.

I suggest using [logrus](https://github.com/sirupsen/logrus) or [zap](https://github.com/uber-go/zap).

Add static analysis tools to CI

2

Preferably both for Go and Scala codes.

I believe CI failures are due to two problems in the tcp mailboxes that I describe them below. 1. Receiving duplicate commit messages causes negative wait group count and a...

Currently, most systems are in the `test/files/general/` and some of them are in the `benchmark/` folder. I think the large systems are not test cases anymore and they should have...

Currently, this is the persistent resource interface: ```go type PersistableResource interface { distsys.ArchetypeResource GetState() ([]byte, error) } ``` And it just supports persisting the state. Reading and recovery from the...

Suggestion to improve readability of the compiled Go code

4

I suggest changing API of `Read` and `Write` methods of `ArchetypeInterface`. Current API: ```go func (iface ArchetypeInterface) Write(handle ArchetypeResourceHandle, indices []tla.TLAValue, value tla.TLAValue) (err error) func (iface ArchetypeInterface) Read(handle ArchetypeResourceHandle,...