Stabilizing Logs for Eventually Linearizable Shared Objects
Eventual linearizability allows a finite prefix of an execution to be inconsistent but demands linearizable behavior thereafter, making one-shot objects such as consensus easy while long-lived objects such as fetch-and-increment stay hard. We develop a Herlihy-style hierarchy for this setting, built...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | مقال |
| منشور في: |
2015
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://arxiv.org/abs/1512.08258 http://arxiv.org/abs/1512.08258 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|