Pinboard (jm)
https://pinboard.in/u:jm/public/
recent bookmarks from jm"Trash Day: Coordinating Garbage Collection in Distributed Systems"2015-05-06T16:34:59+00:00
https://timharris.uk/papers/2015-hotos.pdf
jmblade via:adriancolyer papers gc distsys algorithms distributed java jvm latency spark cassandrahttps://pinboard.in/https://pinboard.in/u:jm/b:bf80614a2fb9/Exponential Backoff And Jitter2015-03-05T10:41:16+00:00
http://www.awsarchitectureblog.com/2015/03/backoff.html
jmmarc-brooker distsys networking backoff exponential jitter retrying retries reliability occhttps://pinboard.in/https://pinboard.in/u:jm/b:cc818bd51286/Smart Clients, haproxy, and Riak2014-10-29T17:58:44+00:00
http://blog.lusis.org/blog/2013/05/13/smart-clients/
jmclients libraries riak voldemort distsys haproxy client-server storagehttps://pinboard.in/https://pinboard.in/u:jm/b:89d61fd1b2cd/"Ark: A Real-World Consensus Implementation" [paper]2014-07-21T13:24:14+00:00
https://docs.google.com/gview?url=http://arxiv.org/pdf/1407.4765v1.pdf&&chrome=true
jmpaxos raft consensus algorithms distsys distributed leader-election mongodb tokumxhttps://pinboard.in/https://pinboard.in/u:jm/b:660d5a68f451/Use of Formal Methods at Amazon Web Services2014-06-17T13:33:47+00:00
http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf
jm
The success with DynamoDB gave us enough evidence to present TLA+ to the broader engineering community at Amazon. This raised a challenge; how to convey the purpose and benefits of formal methods to an audience of software engineers? Engineers think in terms of debugging rather than ‘verification’, so we called the presentation “Debugging Designs”.
Continuing that metaphor, we have found that software engineers more readily grasp the concept and practical value of TLA+ if we dub it 'Exhaustively-testable pseudo-code'.
We initially avoid the words ‘formal’, ‘verification’, and ‘proof’, due to the widespread view that formal methods are impractical. We also initially avoid mentioning what the acronym ‘TLA’ stands for, as doing so would give an incorrect impression of complexity.
More slides at http://tla2012.loria.fr/contributed/newcombe-slides.pdf ; proggit discussion at http://www.reddit.com/r/programming/comments/277fbh/use_of_formal_methods_at_amazon_web_services/]]>formal-methods model-checking tla tla+ programming distsys distcomp ebs s3 dynamodb aws ec2 marc-brooker chris-newcombehttps://pinboard.in/https://pinboard.in/u:jm/b:8758e4d5f996/fauxflake2014-04-02T09:17:04+00:00
https://github.com/rholder/fauxflake
jman easily embeddable, decentralized, k-ordered unique ID generator. It can use the same encoded ID format as Twitter's Snowflake or Boundary's Flake implementations as well as any other customized encoding without too much effort. The fauxflake-core module has no external dependencies and is meant to be about as light as possible while still delivering useful functionality. Essentially, if you want to be able to generate a unique identifier across your infrastructure with reasonable assurances about collisions, then you might find this useful.
From the same guy as the excellent Guava Retrier library; java, ASL2-licensed open source.]]>open-source java asl2 fauxflake tools libraries unique-ids ids unique snowflake distsyshttps://pinboard.in/https://pinboard.in/u:jm/b:6ee1aa79f108/