Algorithms

• The Formal Semantics Of The Go Memory Model: Happens Before, Data Races, And Synchronization Primitives · 2023-01-25

  A comprehensive technical exploration of the formal semantics of the go memory model: happens before, data races, and synchronization primitives, covering key concepts, practical implementations, and real-world applications.

• Implementing A Non Blocking Universal Construction (Herlihy’S Method) Using Compare And Swap And Help First · 2023-01-08

  A comprehensive technical exploration of implementing a non blocking universal construction (herlihy’s method) using compare and swap and help first, covering key concepts, practical implementations, and real-world applications.

• A Comprehensive Comparison Of Lock Free And Wait Free Data Structures: Definitions, Progress Conditions, And Examples · 2023-01-07

  A comprehensive technical exploration of a comprehensive comparison of lock free and wait free data structures: definitions, progress conditions, and examples, covering key concepts, practical implementations, and real-world applications.

• Designing A Consistent Hashing With Load Bounds: Google’S Maglev Hasher And Its Use In Load Balancing · 2022-12-31

  A comprehensive technical exploration of designing a consistent hashing with load bounds: google’s maglev hasher and its use in load balancing, covering key concepts, practical implementations, and real-world applications.

• The Theory Of Capacity Aware Load Balancing: Power Of Two Random Choices Vs. Join Shortest Queue · 2022-12-30

  A comprehensive technical exploration of the theory of capacity aware load balancing: power of two random choices vs. join shortest queue, covering key concepts, practical implementations, and real-world applications.

• Building A Distributed Monitor For System Health: Heartbeat, Failure Detection, And Log Collection With Kafka · 2022-12-26

  A comprehensive technical exploration of building a distributed monitor for system health: heartbeat, failure detection, and log collection with kafka, covering key concepts, practical implementations, and real-world applications.

• Implementing A Lock Free Memory Pool With Epoch Based Reclamation For Hazard Pointer Mitigation · 2022-12-14

  A comprehensive technical exploration of implementing a lock free memory pool with epoch based reclamation for hazard pointer mitigation, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Gpu Stream Assisted Asynchronous Multiplications For Deep Neural Networks · 2022-12-09

  A comprehensive technical exploration of the performance of gpu stream assisted asynchronous multiplications for deep neural networks, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Cuda Thread Hierarchy And Memory Model: Global, Shared, Local, And Uniform · 2022-11-21

  A comprehensive technical exploration of a deep dive into the cuda thread hierarchy and memory model: global, shared, local, and uniform, covering key concepts, practical implementations, and real-world applications.

• Designing A Task Based Parallelism Runtime: Openmp Tasks, Dependencies, And Scheduling Algorithm · 2022-11-12

  A comprehensive technical exploration of designing a task based parallelism runtime: openmp tasks, dependencies, and scheduling algorithm, covering key concepts, practical implementations, and real-world applications.

• The Complexity Of Markov Decision Processes: Value Iteration Vs. Policy Iteration With Optimistic Initialization · 2022-11-10

  A comprehensive technical exploration of the complexity of markov decision processes: value iteration vs. policy iteration with optimistic initialization, covering key concepts, practical implementations, and real-world applications.

• From Lru To Arc: A Technical Survey Of Cache Eviction Policies And Their Performance In Web Scale Distributed Caches · 2022-10-30

  A comprehensive technical exploration of cache eviction policies, from LRU to ARC, covering their performance in web-scale distributed caches, key concepts, practical implementations, and real-world applications.

• A Rigorous Analysis Of The Texas Hold’Em Poker Endgame: Nash Equilibrium And Cfr+ (Counterfactual Regret Minimization) · 2022-10-28

  A comprehensive technical exploration of a rigorous analysis of the texas hold’em poker endgame: nash equilibrium and cfr+ (counterfactual regret minimization), covering key concepts, practical implementations, and real-world applications.

• Implementing A Persistent Memory Log With Concurrency And Fault Recovery Across System Crashes · 2022-10-26

  A comprehensive technical exploration of implementing a persistent memory log with concurrency and fault recovery across system crashes, covering key concepts, practical implementations, and real-world applications.

• The Algorithm Of The Buddy Memory Allocation System: Binary Trees And O(1) Free Block Coalescing · 2022-10-20

  A comprehensive technical exploration of the algorithm of the buddy memory allocation system: binary trees and o(1) free block coalescing, covering key concepts, practical implementations, and real-world applications.

• Building A Custom Memory Allocator With Size Classes, Thread Caching, And Segregated Lists (Tcmalloc) · 2022-10-17

  A comprehensive technical exploration of building a custom memory allocator with size classes, thread caching, and segregated lists (tcmalloc), covering key concepts, practical implementations, and real-world applications.

• Designing A Buffer Pool With Prefetching And Replacement Policies: Statistical Lru, Fbr, And Lirs · 2022-10-17

  A comprehensive technical exploration of designing a buffer pool with prefetching and replacement policies: statistical lru, fbr, and lirs, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Memory Mapping Vs. Traditional Read/Write For Database Files On Modern Nvme Drives · 2022-10-10

  A comprehensive technical exploration of the performance of memory mapping vs. traditional read/write for database files on modern nvme drives, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Sha 3 Sponge Construction: Keccak F Permutation, Padding, And Security Margins · 2022-09-26

  A comprehensive technical exploration of a deep dive into the sha 3 sponge construction: keccak f permutation, padding, and security margins, covering key concepts, practical implementations, and real-world applications.

• Implementing A Fully Homomorphic Encryption Scheme With Boosted Bootstrapping (Fhew/Tfhe) · 2022-09-11

  A comprehensive technical exploration of implementing a fully homomorphic encryption scheme with boosted bootstrapping (fhew/tfhe), covering key concepts, practical implementations, and real-world applications.

• The Complexity Of Lattice Reduction For Lwe: Basis Reduction Algorithms Bkz And G6K · 2022-08-31

  A comprehensive technical exploration of the complexity of lattice reduction for lwe: basis reduction algorithms bkz and g6k, covering key concepts, practical implementations, and real-world applications.

• Building A Side Channel Secure Elliptic Curve Scalar Multiplication Using Montgomery Ladder · 2022-08-26

  A comprehensive technical exploration of building a side channel secure elliptic curve scalar multiplication using montgomery ladder, covering key concepts, practical implementations, and real-world applications.

• A Detailed Look At The Openssl Implementation Of Aes: Key Schedule, S Box, And Counter Mode · 2022-08-20

  A comprehensive technical exploration of a detailed look at the openssl implementation of aes: key schedule, s box, and counter mode, covering key concepts, practical implementations, and real-world applications.

• Designing A Distributed Sequential Consistency Model With Virtual Synchrony And Views · 2022-08-20

  A comprehensive technical exploration of designing a distributed sequential consistency model with virtual synchrony and views, covering key concepts, practical implementations, and real-world applications.