Come BLite implementa l'isolamento delle transazioni usando due dizionari in memoria — un WAL cache per le scritture uncommitted e un WAL index per le pagine committed-ma-non-ancora-checkpointed — e dove questo approccio si discosta dal vero MVCC.
> Leggi di piùCome BLite codifica il tipo di file, lo slot di collection e il numero di pagina locale in un singolo uint — e perché questo page ID auto-descrittivo permette allo storage engine di instradare letture e scritture su più file memory-mapped con una bitmask e senza lookup di schema.
> Leggi di piùCome BLite implementa l'algoritmo HNSW per la ricerca nearest-neighbor — assegnazione dei livelli, traversata greedy per layer, selezione dei vicini con l'Algoritmo 4 e i dettagli .NET che mantengono le allocazioni sotto controllo.
> Leggi di piùUna panoramica sull'implementazione del B+Tree in BLite: nodi allineati alle pagine, header come struct, splitting dei nodi con ArrayPool, range scan su foglie doubly-linked, e il trucco stackalloc nel path di lettura.
> Leggi di piùCome BLite usa un Write-Ahead Log per garantire la durabilità, e il pattern Group Commit — basato su System.Threading.Channels e TaskCompletionSource — che ammortizza il costo di fsync tra transazioni concorrenti.
> Leggi di piùCome BLite traduce le espressioni LINQ in page lookup sul B-Tree — ExpressionVisitor, fusione dei predicati, fallback in-memory e il trucco con Task.Run per lo streaming asincrono.
> Leggi di piùDue sfide ingegneristiche in BLite: supportare campi privati, costruttori privati e collection annidate senza reflection a runtime — e gestire i buffer di serializzazione senza pressione sul GC.
> Leggi di piùPerché ho sostituito i nomi di campo null-terminated di BSON con ID interi a 2 byte, come funziona il sistema di dizionario, e un'analisi onesta dei trade-off.
> Leggi di piùAn introduction to MrDevRobot: my personal space for architecture deep-dives, open source stories, and technical writing.
> Leggi di più