Zac Policzer comments

Repositories
Issues
Comments

Results 12 comments of


                                            Zac Policzer

[Core] Allow GCS && runtime env agent to self-assign ports and report via pipe

> GCS Fault tolerance: GCS fault tolerance requires GCS to restart using exactly the same port, even if it initially starts with a dynamically assigned port (0). Before this PR,...

[Specs] Add TLA+ Specification for a Bounded Collection Operation

> Interesting idea, and seemingly useful as well. I think the way we would implement this would likely be to have some sort of annotation in the schema which defines...