RANDOMBLOGS (RSS)

muratbuffalo.blogspot.com


25. 10. 2024DDIA: Chp 9. Consistency and Consensus – muratbuffalo.blogspot.com
16. 10. 2024Auto-WLM: machine learning enhanced workload management in Amazon Redshift – muratbuffalo.blogspot.com
12. 10. 2024DDIA: Chp 8. The Trouble with Distributed Systems – muratbuffalo.blogspot.com
9. 10. 2024DDIA: Chp 7. Transactions (Part 2): Serializability – muratbuffalo.blogspot.com
8. 10. 2024DDIA: Chp 7. Transactions (Part 1) – muratbuffalo.blogspot.com
4. 10. 2024700 – muratbuffalo.blogspot.com
4. 10. 2024SRDS Day 2 – muratbuffalo.blogspot.com
4. 10. 2024SRDS Day 1 – muratbuffalo.blogspot.com
25. 9. 2024DDIA: Chp 6. Partitioning – muratbuffalo.blogspot.com
24. 9. 2024HPTS day 2, part 2 – muratbuffalo.blogspot.com
23. 9. 2024HPTS day 2, part 1 – muratbuffalo.blogspot.com
23. 9. 2024Transactional storage for geo-replicated systems – muratbuffalo.blogspot.com
20. 9. 2024HPTS'24 day 1, part 2 – muratbuffalo.blogspot.com
20. 9. 2024HPTS'24 Day 1, part 1 – muratbuffalo.blogspot.com
19. 9. 2024DDIA: Chp 5. Replication (Part 2) – muratbuffalo.blogspot.com
12. 9. 2024DDIA: Chp 5. Replication (Part 1) – muratbuffalo.blogspot.com
6. 9. 2024FlexiRaft: Flexible Quorums with Raft – muratbuffalo.blogspot.com
4. 9. 2024DDIA: Chp 4. Encoding and Evolution (Part 2) – muratbuffalo.blogspot.com
31. 8. 2024Taming Consensus in the Wild (with the Shared Log Abstraction) – muratbuffalo.blogspot.com
28. 8. 2024DDIA: Chp 4. Encoding and Evolution (Part 1) – muratbuffalo.blogspot.com
24. 8. 2024Looming Liability Machines (LLMs) – muratbuffalo.blogspot.com
21. 8. 2024DDIA: Chp 3. Storage and Retrieval (Part 2) – muratbuffalo.blogspot.com
20. 8. 2024DDIA: Chp 3. Storage and Retrieval (Part 1) – muratbuffalo.blogspot.com
20. 8. 2024Making database systems usable – muratbuffalo.blogspot.com
9. 8. 2024Linearizability: A Correctness Condition for Concurrent Objects – muratbuffalo.blogspot.com
6. 8. 2024Designing Data Intensive Applications Book – muratbuffalo.blogspot.com
6. 8. 2024Index for the Transaction Processing Book – muratbuffalo.blogspot.com
30. 7. 2024Advice to the young – muratbuffalo.blogspot.com
23. 7. 2024Understanding the Performance Implications of Storage-Disaggregated Databases – muratbuffalo.blogspot.com
3. 7. 2024Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple – muratbuffalo.blogspot.com
28. 6. 2024Optimizing Distributed Protocols with Query Rewrites – muratbuffalo.blogspot.com
19. 6. 2024Always Measure One Level Deeper – muratbuffalo.blogspot.com
15. 6. 2024TLA+ modeling of a single replicaset transaction modeling – muratbuffalo.blogspot.com
7. 6. 2024Know Yourself – muratbuffalo.blogspot.com
1. 6. 2024Understanding Inconsistency in Azure Cosmos DB with TLA+ – muratbuffalo.blogspot.com
23. 5. 2024Amazon MemoryDB: A Fast and Durable Memory-First Cloud Database – muratbuffalo.blogspot.com
2. 5. 2024Recent reads (Mar-Apr 2024) – muratbuffalo.blogspot.com
23. 4. 2024Linux OSSNA'24 – muratbuffalo.blogspot.com
20. 4. 2024TLA+ conference 2024 – muratbuffalo.blogspot.com
12. 4. 2024OLTP Through the Looking Glass, and What We Found There – muratbuffalo.blogspot.com
8. 4. 2024Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases (OSDI'23) – muratbuffalo.blogspot.com
4. 4. 2024A critique of ANSI SQL Isolation layers (Transaction Processing Book followup) – muratbuffalo.blogspot.com
3. 4. 2024Implementation of Cluster-wide Logical Clock and Causal Consistency in MongoDB – muratbuffalo.blogspot.com
28. 3. 2024Isolation Concepts (Chp. 7, part 2, Transaction processing book) – muratbuffalo.blogspot.com
20. 3. 2024Isolation Concepts (Chp 7: Transaction processing book) – muratbuffalo.blogspot.com
15. 3. 2024The demise of coding is greatly exaggerated – muratbuffalo.blogspot.com
14. 3. 2024Checking Causal Consistency of MongoDB – muratbuffalo.blogspot.com
9. 3. 2024Transaction Processing Monitors (Chapter 5. Transaction processing book) – muratbuffalo.blogspot.com
8. 3. 2024Why I blog – muratbuffalo.blogspot.com
28. 2. 2024Transaction models (Chapter 4. Transaction processing book) – muratbuffalo.blogspot.com
27. 2. 2024Recent reads (Feb 2024) – muratbuffalo.blogspot.com
22. 2. 2024TLA+ modeling of MongoDB logless reconfiguration – muratbuffalo.blogspot.com
21. 2. 2024Adapting TPC-C Benchmark to Measure Performance of Multi-Document Transactions in MongoDB – muratbuffalo.blogspot.com
20. 2. 2024Fault tolerance (Transaction processing book) – muratbuffalo.blogspot.com
17. 2. 2024Transaction Processing Book, Gray/Reuter 1992 – muratbuffalo.blogspot.com
13. 2. 2024Verifying Transactional Consistency of MongoDB – muratbuffalo.blogspot.com
9. 2. 2024Tunable Consistency in MongoDB – muratbuffalo.blogspot.com
4. 2. 2024Design and Analysis of a Logless Dynamic Reconfiguration Protocol – muratbuffalo.blogspot.com
30. 1. 2024Fault-Tolerant Replication with Pull-Based Consensus in MongoDB – muratbuffalo.blogspot.com
19. 1. 2024Looking Back at Postgres – muratbuffalo.blogspot.com
18. 1. 2024Scalable OLTP in the Cloud: What’s the BIG DEAL? – muratbuffalo.blogspot.com
12. 1. 2024Oblivious Paxos: Privacy-Preserving Consensus Over Secret-Shares – muratbuffalo.blogspot.com
10. 1. 2024Dude, where's my Emacs? – muratbuffalo.blogspot.com
5. 1. 2024Recent reads – muratbuffalo.blogspot.com
3. 1. 2024The checklist manifesto (Dr. Atul Gawande, 2009) – muratbuffalo.blogspot.com
18. 12. 2023Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks – muratbuffalo.blogspot.com
5. 12. 2023Best of Metadata in 2023 – muratbuffalo.blogspot.com
5. 12. 2023Lifting the veil on Meta’s microservice architecture: Analyses of topology and request workflows – muratbuffalo.blogspot.com
29. 11. 2023Our Florida vacation – muratbuffalo.blogspot.com
22. 11. 2023Towards Modern Development of Cloud Applications – muratbuffalo.blogspot.com
15. 11. 2023Epoxy: ACID Transactions Across Diverse Data Stores – muratbuffalo.blogspot.com
4. 11. 2023PolarDB-SCC: A Cloud-Native Database Ensuring Low Latency for Strongly Consistent Reads – muratbuffalo.blogspot.com
23. 10. 2023Cabbage, Goat, and Wolf Puzzle in TLA+ – muratbuffalo.blogspot.com
20. 10. 2023Kora: A Cloud-Native Event Streaming Platform For Kafka – muratbuffalo.blogspot.com
3. 10. 2023TiDB: A Raft-based HTAP Database – muratbuffalo.blogspot.com
2. 10. 2023Hints for Distributed Systems Design – muratbuffalo.blogspot.com
14. 9. 2023Beyond the Code: TLA+ and the Art of Abstraction – muratbuffalo.blogspot.com
12. 9. 2023Metastable failures in the wild – muratbuffalo.blogspot.com
4. 9. 2023Review: Performance Modeling and Design of Computer Systems: Queueing Theory in Action – muratbuffalo.blogspot.com
1. 9. 2023A snapshot isolated database modeling in TLA+ – muratbuffalo.blogspot.com
28. 8. 2023Model Checking Guided Testing for Distributed Systems – muratbuffalo.blogspot.com
24. 8. 2023Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate – muratbuffalo.blogspot.com
17. 8. 2023Distributed Transactions at Scale in Amazon DynamoDB – muratbuffalo.blogspot.com
2. 8. 2023Going Beyond an Incident Report with TLA+ – muratbuffalo.blogspot.com
24. 7. 2023Spanner: Becoming a SQL system – muratbuffalo.blogspot.com
19. 7. 2023F1: A Distributed SQL Database That Scales – muratbuffalo.blogspot.com
13. 7. 2023Detock: High Performance Multi-region Transactions at Scale (Sigmod 2023) – muratbuffalo.blogspot.com
7. 7. 2023SIGMOD'23: Industry talks, and Ted Codd Innovation Award – muratbuffalo.blogspot.com
6. 7. 2023SIGMOD panel: Future of Database System Architectures – muratbuffalo.blogspot.com
21. 6. 2023SIGMOD/PODS Day 2 – muratbuffalo.blogspot.com
20. 6. 2023SIGMOD/PODS Day 1 – muratbuffalo.blogspot.com
15. 5. 2023New directions in cloud programming – muratbuffalo.blogspot.com
15. 5. 2023Keep CALM and CRDT On – muratbuffalo.blogspot.com
1. 5. 2023Open Versus Closed: A Cautionary Tale – muratbuffalo.blogspot.com
24. 4. 2023Empowering Azure Storage with RDMA – muratbuffalo.blogspot.com
10. 4. 2023The end of a myth: Distributed transactions can scale – muratbuffalo.blogspot.com
6. 4. 2023ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks – muratbuffalo.blogspot.com
21. 3. 2023Getting schooled by AI, colleges must evolve – muratbuffalo.blogspot.com
13. 3. 2023Characterizing Microservice Dependency and Performance: Alibaba Trace Analysis – muratbuffalo.blogspot.com
6. 3. 2023Aria: A Fast and Practical Deterministic OLTP Database – muratbuffalo.blogspot.com
24. 2. 2023Speedy Transactions in Multicore In-Memory Databases – muratbuffalo.blogspot.com
21. 2. 2023Polyjuice: High-Performance Transactions via Learned Concurrency Control (OSDI'21) – muratbuffalo.blogspot.com
14. 2. 2023Books I read recently – muratbuffalo.blogspot.com
10. 2. 2023Designing Access Methods: The RUM Conjecture – muratbuffalo.blogspot.com
6. 2. 2023A Study of Database Performance Sensitivity to Experiment Settings – muratbuffalo.blogspot.com
27. 1. 2023TPC-E vs. TPC-C: Characterizing the New TPC-E Benchmark via an I/O Comparison Study – muratbuffalo.blogspot.com
23. 1. 2023Is Scalable OLTP in the Cloud a Solved Problem? (CIDR 2023) – muratbuffalo.blogspot.com
7. 1. 2023Reconfiguring Replicated Atomic Storage – muratbuffalo.blogspot.com
22. 12. 2022Best of Metadata in 2022 – muratbuffalo.blogspot.com
14. 12. 2022Noria: dynamic, partially-stateful dataflow for high-performance web applications – muratbuffalo.blogspot.com
14. 12. 2022NoSQL: The Hangover of Dropping ACID – muratbuffalo.blogspot.com
1. 12. 2022Vertical Paxos and Primary-Backup Replication – muratbuffalo.blogspot.com
21. 11. 2022OceanBase: A 707 Million tpmC Distributed Relational Database System – muratbuffalo.blogspot.com
14. 11. 2022Highly Available Transactions: Virtues and Limitations – muratbuffalo.blogspot.com
8. 11. 2022Practical uses of synchronized clocks in distributed systems – muratbuffalo.blogspot.com
1. 11. 2022Timestamp-based Algorithms for Concurrency Control in Distributed Database Systems – muratbuffalo.blogspot.com
3. 10. 2022Checking statistical properties of protocols using TLA+ – muratbuffalo.blogspot.com
27. 9. 2022TLA+ Conference and StrangeLoop 2022 – muratbuffalo.blogspot.com
26. 9. 2022Amazon Redshift Re-invented – muratbuffalo.blogspot.com
19. 9. 2022SQLite: Past, Present, and Future – muratbuffalo.blogspot.com
12. 9. 2022Memory-Optimized Multi-Version Concurrency Control for Disk-Based Database Systems – muratbuffalo.blogspot.com
29. 8. 2022Socrates: The New SQL Server in the Cloud (Sigmod 2019) – muratbuffalo.blogspot.com
22. 8. 2022Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems – muratbuffalo.blogspot.com
15. 8. 2022Hekaton: SQL Server’s Memory-Optimized OLTP Engine – muratbuffalo.blogspot.com
8. 8. 2022The Seattle Report on Database Research (2022) – muratbuffalo.blogspot.com
3. 8. 2022Strict-serializability, but at what cost, for what purpose? – muratbuffalo.blogspot.com
31. 7. 2022TAOBench: An End-to-End Benchmark for Social Network Workloads – muratbuffalo.blogspot.com
28. 7. 2022Automated Validation of State-Based Client-Centric Isolation with TLA+ (2021) – muratbuffalo.blogspot.com
19. 7. 2022Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service (USENIX ATC 2022) – muratbuffalo.blogspot.com
18. 7. 2022High Throughput Replication with Integrated Membership Management (USENIX ATC 2022) – muratbuffalo.blogspot.com
15. 7. 2022OSDI2022, continued – muratbuffalo.blogspot.com
15. 7. 2022OSDI 2022: nature is healing – muratbuffalo.blogspot.com
16. 6. 2022Seeing is Believing: A Client-Centric Specification of Database Isolation – muratbuffalo.blogspot.com
15. 6. 2022Enabling the Next Generation of Multi-Region Applications with CockroachDB (Sigmod 22) – muratbuffalo.blogspot.com
2. 6. 2022Consus: Taming the Paxi – muratbuffalo.blogspot.com
28. 5. 2022Why should this paper be published? – muratbuffalo.blogspot.com
23. 5. 2022Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity – muratbuffalo.blogspot.com
4. 5. 2022Warp: Lightweight Multi-Key Transactions for Key-Value Stores – muratbuffalo.blogspot.com
29. 4. 2022Anna: A Key-Value Store For Any Scale – muratbuffalo.blogspot.com
22. 4. 2022An Empirical Evaluation of In-Memory MultiVersion Concurrency Control – muratbuffalo.blogspot.com
20. 4. 2022An Evaluation of Distributed Concurrency Control – muratbuffalo.blogspot.com
12. 4. 2022Calvin: Fast Distributed Transactions for Partitioned Database Systems – muratbuffalo.blogspot.com
21. 3. 2022Amazon Aurora: Design Considerations + On Avoiding Distributed Consensus for I/Os, Commits, and Membership Changes – muratbuffalo.blogspot.com
11. 3. 2022FoundationDB: A Distributed Unbundled Transactional Key Value Store (Sigmod 2021) – muratbuffalo.blogspot.com
4. 3. 2022CockroachDB: The Resilient Geo-Distributed SQL Database – muratbuffalo.blogspot.com
15. 2. 2022Efficient Replication via Timestamp Stability (EuroSys 2021) – muratbuffalo.blogspot.com
9. 2. 2022Deep reading – muratbuffalo.blogspot.com
3. 2. 2022RAMP-TAO: Layering Atomic Transactions on Facebook’s Online TAO Data Store (VLDB'21) – muratbuffalo.blogspot.com
29. 1. 2022Decoupled Transactions: Low Tail Latency Online Transactions Atop Jittery Servers (CIDR 2022) – muratbuffalo.blogspot.com
14. 1. 2022Clear communication – muratbuffalo.blogspot.com
7. 1. 2022Reasons I hate conferences, and suggestions for fixing them – muratbuffalo.blogspot.com
24. 12. 2021Best of metadata in 2021 – muratbuffalo.blogspot.com
18. 12. 2021Learning a technical subject – muratbuffalo.blogspot.com
16. 12. 2021A read-only transaction anomaly under snapshot isolation – muratbuffalo.blogspot.com
15. 12. 2021Humans of Computer Systems: Ted – muratbuffalo.blogspot.com
4. 12. 2021Graviton2 and Graviton3 – muratbuffalo.blogspot.com
30. 11. 2021Chess – muratbuffalo.blogspot.com
18. 11. 2021What’s Really New with NewSQL? – muratbuffalo.blogspot.com
3. 11. 2021Rabia: Simplifying State-Machine Replication Through Randomization (SOSP'21) – muratbuffalo.blogspot.com
30. 10. 2021Log structured protocols in Delos (SOSP21) – muratbuffalo.blogspot.com
29. 10. 2021David G. Andersen AMA (SOSP Day 3) – muratbuffalo.blogspot.com
28. 10. 2021Jon Howell AMA at SOSP21 (Day 2) – muratbuffalo.blogspot.com
28. 10. 2021SOSP21 conference (Day 1) – muratbuffalo.blogspot.com
7. 10. 2021Linearizability – muratbuffalo.blogspot.com
3. 10. 2021Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (SOSP21) – muratbuffalo.blogspot.com
28. 9. 2021Book review: Fountainhead – muratbuffalo.blogspot.com
28. 8. 2021Matchmaker Paxos: A Reconfigurable Consensus Protocol – muratbuffalo.blogspot.com
17. 8. 2021There is plenty of room at the bottom – muratbuffalo.blogspot.com
9. 8. 2021Do tightly synchronized clocks help consensus? – muratbuffalo.blogspot.com
7. 8. 2021Progress beats perfect – muratbuffalo.blogspot.com
6. 7. 2021Humans of Computer Systems: Frenchie – muratbuffalo.blogspot.com
1. 7. 2021Humans of Computer Systems: Goku – muratbuffalo.blogspot.com
29. 6. 2021Humans of Computer Systems: IndianDev – muratbuffalo.blogspot.com
28. 6. 2021Humans of Computer Systems: Dalecooper – muratbuffalo.blogspot.com
24. 6. 2021Humans of Computer Systems: Obdurodon – muratbuffalo.blogspot.com
23. 6. 2021Humans of Computer Systems: A. Jesse Jiryu Davis – muratbuffalo.blogspot.com
22. 6. 2021Humans of Computer Systems: afk – muratbuffalo.blogspot.com
21. 6. 2021Humans of Computer Systems: Rafael – muratbuffalo.blogspot.com
20. 6. 2021Humans of Computer Systems: Arcot – muratbuffalo.blogspot.com
19. 6. 2021Humans of computer systems – muratbuffalo.blogspot.com
19. 6. 2021FoundationDB Record Layer: A Multi-Tenant Structured Datastore – muratbuffalo.blogspot.com
17. 6. 2021Genius: The Life and Science of Richard Feynman – muratbuffalo.blogspot.com
12. 6. 2021Silent data corruptions at scale – muratbuffalo.blogspot.com
7. 6. 2021Cores that don't count – muratbuffalo.blogspot.com
30. 5. 2021Tale of two cities – muratbuffalo.blogspot.com
2. 4. 2021Building Distributed Systems With Stateright – muratbuffalo.blogspot.com
29. 3. 2021Book review. Storyworthy: Engage, Teach, Persuade, and Change Your Life through the Power of Storytelling – muratbuffalo.blogspot.com
21. 3. 2021Sundial: Fault-tolerant Clock Synchronization for Datacenters – muratbuffalo.blogspot.com
13. 3. 2021Your attitude determines your success – muratbuffalo.blogspot.com
6. 3. 2021Defending Computer Science & Engineering in a life raft debate – muratbuffalo.blogspot.com
27. 2. 2021Foundational distributed systems papers – muratbuffalo.blogspot.com
20. 2. 2021Read papers, Not too much, Mostly foundational ones – muratbuffalo.blogspot.com
13. 2. 2021How to make Zoom teaching suck less – muratbuffalo.blogspot.com
8. 2. 2021How I lost 20 pounds – muratbuffalo.blogspot.com
30. 1. 2021A chair named Cherry – muratbuffalo.blogspot.com
@kaja47, 0xDEADBEEF funkcionálně.cz, k47.cz