#Computer-Science
454 posts in tag “Computer-Science”.
A Rigorous Proof Of The Cap Theorem And Its Implications For Distributed Database Design
2019-04-09A comprehensive technical exploration of a rigorous proof of the cap theorem and its implications for distributed database design, covering key concepts, practical implementations, and real-world applications.
The Design And Implementation Of A Distributed Rate Limiter Using Token Buckets And Gossip Protocols
2019-04-09A comprehensive technical exploration of the design and implementation of a distributed rate limiter using token buckets and gossip protocols, covering key concepts, practical implementations, and real-world applications.
Building A Linearizability Tester For Distributed Systems: Monotonic Reads And Writes In Jetpack
2019-04-01A comprehensive technical exploration of building a linearizability tester for distributed systems: monotonic reads and writes in jetpack, covering key concepts, practical implementations, and real-world applications.
Analyzing The Performance Of Two Phase Commit (2Pc) And Three Phase Commit (3Pc) In Geo Distributed Systems
2019-03-27A comprehensive technical exploration of analyzing the performance of two phase commit (2pc) and three phase commit (3pc) in geo distributed systems, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Hash Table (Dht) Using Kademlia: Node Lookup, Routing, And Replication
2019-03-25A comprehensive technical exploration of implementing a distributed hash table (dht) using kademlia: node lookup, routing, and replication, covering key concepts, practical implementations, and real-world applications.
The Algorithmic Foundations Of Blockchain Consensus: Proof Of Work, Proof Of Stake, And Dag Based Approaches
2019-03-24A comprehensive technical exploration of the algorithmic foundations of blockchain consensus: proof of work, proof of stake, and dag based approaches, covering key concepts, practical implementations, and real-world applications.
Implementing A Lock Free Concurrent Hash Map: From Theoretical Foundations To Practical Performance Optimization In C++20
2019-03-16A comprehensive technical exploration of implementing a lock free concurrent hash map: from theoretical foundations to practical performance optimization in c++20, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into Corfu: A Distributed Shared Log With Object Storage And Multi Stripe Techniques
2019-03-09A comprehensive technical exploration of a deep dive into corfu: a distributed shared log with object storage and multi stripe techniques, covering key concepts, practical implementations, and real-world applications.
Building A Write Ahead Log From First Principles: Durability, Ordering, And Crash Recovery Strategies
2019-03-08A comprehensive technical exploration of building a write ahead log from first principles: durability, ordering, and crash recovery strategies, covering key concepts, practical implementations, and real-world applications.
Designing A Conflict Free Replicated Data Type (Crdt) For Collaborative Text Editing: Operational Transformation Vs. Crdt
2019-03-02A comprehensive technical exploration of designing a conflict free replicated data type (crdt) for collaborative text editing: operational transformation vs. crdt, covering key concepts, practical implementations, and real-world applications.
The Performance Of Paxos With Multi Paxos And Fast Paxos: A Benchmarking Study Across Data Centers
2019-02-27A comprehensive technical exploration of the performance of paxos with multi paxos and fast paxos: a benchmarking study across data centers, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Lock Service Using Redis Redlock And Its Consistency Guarantees Under Failures
2019-02-24A comprehensive technical exploration of implementing a distributed lock service using redis redlock and its consistency guarantees under failures, covering key concepts, practical implementations, and real-world applications.
A Comprehensive Analysis Of Zookeeper’S Zab Protocol: Atomic Broadcast And Recovery
2019-02-23A comprehensive technical exploration of a comprehensive analysis of zookeeper’s zab protocol: atomic broadcast and recovery, covering key concepts, practical implementations, and real-world applications.
Building A Sharded Database With Consistent Hashing: From Virtual Nodes To Rendezvous Hashing
2019-02-08A comprehensive technical exploration of building a sharded database with consistent hashing: from virtual nodes to rendezvous hashing, covering key concepts, practical implementations, and real-world applications.
Optimizing Distributed Join Algorithms For Large Scale Stream Processing With Apache Flink
2019-02-05A comprehensive technical exploration of optimizing distributed join algorithms for large scale stream processing with apache flink, covering key concepts, practical implementations, and real-world applications.
Scaling Eventual Consistency With Crdts: A Practical Implementation Of State Based And Operation Based Types
2019-01-28A comprehensive technical exploration of scaling eventual consistency with crdts: a practical implementation of state based and operation based types, covering key concepts, practical implementations, and real-world applications.
The Complexity Of Byzantine Fault Tolerance In Partially Synchronous Networks: Pbft And Its Variants
2019-01-18A comprehensive technical exploration of the complexity of byzantine fault tolerance in partially synchronous networks: pbft and its variants, covering key concepts, practical implementations, and real-world applications.
Designing A Dynamo Style Distributed Key Value Store With Merkle Trees For Conflict Resolution
2019-01-10A comprehensive technical exploration of designing a dynamo style distributed key value store with merkle trees for conflict resolution, covering key concepts, practical implementations, and real-world applications.
Deep Dive Into Paxos Vs. Raft: Trade Offs In Leader Election, Log Replication, And Safety Guarantees
2019-01-07A comprehensive technical exploration of deep dive into paxos vs. raft: trade offs in leader election, log replication, and safety guarantees, covering key concepts, practical implementations, and real-world applications.
Implementing Raft Consensus From Scratch In Go: A Step By Step Guide With Fault Injection Testing
2019-01-05A comprehensive technical exploration of implementing raft consensus from scratch in go: a step by step guide with fault injection testing, covering key concepts, practical implementations, and real-world applications.
Designing A Conflict Free Replicated Data Type (Crdt) For Collaborative Text Editing: A Deep Dive Into Rope Structures, Vector Clocks, And Operational Transformation Alternatives
2019-01-01A comprehensive technical exploration of designing a conflict free replicated data type (crdt) for collaborative text editing: a deep dive into rope structures, vector clocks, and operational transformation alternatives, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Consensus Protocol From Scratch: Raft With Leader Election, Log Replication, Membership Changes, And Cluster Reconfiguration In Go
2019-01-01A comprehensive technical exploration of implementing a distributed consensus protocol from scratch: raft with leader election, log replication, membership changes, and cluster reconfiguration in go, covering key concepts, practical implementations, and real-world applications.