Theory
536 posts in category “Theory”.
The Mathematics Of The Birch Reduction: Min Wise Hashing For Document Similarity At Scale
2024-05-03A comprehensive technical exploration of the mathematics of the birch reduction: min wise hashing for document similarity at scale, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Voldemort Key Value Store: Partitioning, Replication, And Version Vectors
2024-04-30A comprehensive technical exploration of a deep dive into the voldemort key value store: partitioning, replication, and version vectors, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Time Series Data Store With Distributed B Tree: Architecture And Write Amplification
2024-04-23A comprehensive technical exploration of building a distributed time series data store with distributed b tree: architecture and write amplification, covering key concepts, practical implementations, and real-world applications.
The Performance Of Asynchronous Replication Vs. Synchronous Replication In Distributed Databases
2024-04-07A comprehensive technical exploration of the performance of asynchronous replication vs. synchronous replication in distributed databases, covering key concepts, practical implementations, and real-world applications.
A Rigorous Proof Of The Liveness Property In The Bakery Algorithm: Starvation Freedom And Fairness
2024-03-31A comprehensive technical exploration of a rigorous proof of the liveness property in the bakery algorithm: starvation freedom and fairness, covering key concepts, practical implementations, and real-world applications.
Interconnects: PCIe, CXL, NVLink, and the Emerging Composable-Disaggregated Architecture
2024-03-08A deep technical survey of modern interconnects—PCIe generations 1-6, CXL.io/cache/memory protocols, NVLink and NVSwitch—and how they enable composable-disaggregated infrastructure.
Implementing A Deterministic Finite Automaton (Dfa) Minimization: Hopcroft’S Algorithm With Partition Refinement
2024-03-05A comprehensive technical exploration of implementing a deterministic finite automaton (dfa) minimization: hopcroft’s algorithm with partition refinement, covering key concepts, practical implementations, and real-world applications.
The Algorithm For Network Topology Discovery Using Snmp And Lldp With Graph Building
2024-02-27A comprehensive technical exploration of the algorithm for network topology discovery using snmp and lldp with graph building, covering key concepts, practical implementations, and real-world applications.
Transactional Memory: HTM, STM, and Why Intel TSX Kept Getting Disabled
2024-02-25A deep analysis of transactional memory—hardware (Intel TSX, IBM POWER), software (STM), the transactional lock elision pattern, and the bug saga that repeatedly forced Intel to disable TSX via microcode.
Designing A P2P Live Streaming System With Tree Based And Mesh Based Overlays
2024-02-12A comprehensive technical exploration of designing a p2p live streaming system with tree based and mesh based overlays, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The On Line Second Price Auction For Sponsored Search: Myerson Olkin Lemma
2024-02-11A comprehensive technical exploration of the complexity of the on line second price auction for sponsored search: myerson olkin lemma, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Kafka Streams Dsl: State Stores, Windowed Aggregations, And Exactly Once Semantics
2024-02-07A comprehensive technical exploration of a deep dive into the kafka streams dsl: state stores, windowed aggregations, and exactly once semantics, covering key concepts, practical implementations, and real-world applications.
Building A High Throughput Log Analyzer Using Parser Combinators And Finite Automaton
2024-02-06A comprehensive technical exploration of building a high throughput log analyzer using parser combinators and finite automaton, covering key concepts, practical implementations, and real-world applications.
Simultaneous Multithreading: Resource Sharing, Security Implications, and the SMT Performance-Security Tradeoff
2024-02-01A deep dive into SMT/Hyper-Threading: how frontend and backend resources are shared between threads, the security vulnerabilities like PortSmash and TLBleed, and the evolving performance-security tradeoff.
Designing An Lsh Based Approximate Nearest Neighbor Search For High Dimensional Vectors: Random Projections
2024-01-29A comprehensive technical exploration of designing an lsh based approximate nearest neighbor search for high dimensional vectors: random projections, covering key concepts, practical implementations, and real-world applications.
The Performance Of Differential Evolution Vs. Particle Swarm In Numerical Optimization
2024-01-25A comprehensive technical exploration of the performance of differential evolution vs. particle swarm in numerical optimization, covering key concepts, practical implementations, and real-world applications.
A Comprehensive Look At The Zgc (Z Garbage Collector) Design: Colored Pointers And Load Barriers
2024-01-23A comprehensive technical exploration of a comprehensive look at the zgc (z garbage collector) design: colored pointers and load barriers, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Garbage First Garbage Collector In The Hotspot Jvm: G1Heapregion, Satb, And Remembered Sets
2024-01-17A comprehensive technical exploration of the implementation of a garbage first garbage collector in the hotspot jvm: g1heapregion, satb, and remembered sets, covering key concepts, practical implementations, and real-world applications.
VLIW and EPIC: The Multiflow Trace, Itanium, and Why Static Scheduling Lost to Out-of-Order
2024-01-14A historical and technical analysis of VLIW and EPIC architectures—the Multiflow Trace, Intel Itanium—examining static scheduling, predication, rotating registers, and why out-of-order superscalar won the commercial battle.
Building A Distributed Data Cleaner Using Deduplication And Bloom Filters At Scale
2024-01-06A comprehensive technical exploration of building a distributed data cleaner using deduplication and bloom filters at scale, covering key concepts, practical implementations, and real-world applications.
The Theory Of Count Min Sketch With Conservative Update For Frequency Estimation Under Skewed Distributions
2023-12-31A comprehensive technical exploration of the theory of count min sketch with conservative update for frequency estimation under skewed distributions, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Data Stream Sampling Algorithm: Reservoir Sampling Vs. Priority Sampling
2023-12-26A comprehensive technical exploration of a rigorous analysis of the data stream sampling algorithm: reservoir sampling vs. priority sampling, covering key concepts, practical implementations, and real-world applications.
Implementing A Non Volatile Memory Friendly Hash Table: Nvhtm With Failure Atomic Operations
2023-12-18A comprehensive technical exploration of implementing a non volatile memory friendly hash table: nvhtm with failure atomic operations, covering key concepts, practical implementations, and real-world applications.
The Performance Of Multi Version Concurrency Control With Snapshot Isolation Under Contention
2023-12-14A comprehensive technical exploration of the performance of multi version concurrency control with snapshot isolation under contention, covering key concepts, practical implementations, and real-world applications.