Cache Coherency
Callback promise:
- Token from Vice server.
- Guarantee that Venus will be notified if file is modified.
2 states:
- valid:callback promise as received from server upon open call.
- cancelled: callback was issued when somebody issued an update to file.
Callback promise is checked whenever client opens file in cache.
What about callbacks that are lost?
Callback renewals with current timestamp of file.