[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Any examples of a specification of an S3-like object store API?



I really want set a wall time when objects are created.

In your original post you said you wanted to be able to model that for example ~GET(path), PUT(path), GET(path) wasn't guaranteed to get what you put.  What else do you need to model, that you'd need a wall time for?