Model Checking a Decentralized Storage Deduplication Protocol
- Citation:
- Paulo J, Pereira JO. 2011. Model Checking a Decentralized Storage Deduplication Protocol. Fast Abstract in Latin-American Symposium on Dependable Computing. :1.
Date Presented:
AprilAbstract:
Deduplication of live storage volumes in a cloud computing environment is better done by post-processing: by delaying discovery and removal of duplicate data after I/O requests have been concluded, impact in latency can be minimized. When compared to traditional deduplication in backup systems, which can be done in-line and in a centralized fashion, distribution and concurrency lead to increased complexity. This paper outlines a deduplication algorithm for a typical cloud infrastructure with a common storage pool and summarizes how model-checking with the TLA+ toolset was used to uncover and correct some subtle concurrency issues.
Citation Key:
PP11
Contacts
| Address: Departamento de Informática Universidade do Minho Campus de Gualtar 4710-057 Braga Portugal |
| Phone: +351 253 604 477 / Internal: 604 477 |
| Fax: +351 253 604 471 |
|
E-mail: jtpaulo at inesctec.pt |
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.