Transcription of Using Lightweight Formal Methods to Validate a Key-Value ...
{{id}} {{{paragraph}}}
Example: air traffic controller
Using Lightweight Formal Methods to Validate a Key-Value ...
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. James Bornholt Rajeev Joshi Vytautas Astrauskas Amazon Web Services Amazon Web Services ETH Zurich & The University of Texas at Austin Brendan Cully Bernhard Kragl Seth Markle Amazon Web Services Amazon Web Services Amazon Web Services Kyle Sauri Drew Schleit Grant Slatton Amazon Web Services Amazon Web Services Amazon Web Services Serdar Tasiran Jacob Van Geffen Andrew Warfield Amazon Web Services University of Washington Amazon Web Services Abstract Using Lightweight Formal Methods to Validate a Key-Value Storage This paper reports our experience
storage node. Each storage node stores shards of customer objects, which are replicated across multiple nodes for dura-bility, and so storage nodes need not replicate their stored data internally. ShardStore is API-compatible with our exist-ing storage node software, and so requests can be served by either ShardStore or our existing key-value ...
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: