teslajuju

與鎖的比較 相同點 如果用鎖保護臨界區(qū)，那么同一時刻只會有一個線程在臨界區(qū)內搁凸，其他線程都在臨界區(qū)外面屠阻。lock-free 是所有線程都可以進臨界區(qū)，但是最后只有一個線程可以繼...

teslajuju

概述 概述為什么我們需要無鎖編程無鎖編程的相關概念 為什么我們需要無鎖編程 多核編程中策菜，我們常用鎖來避免多個線程同時修改同一個數(shù)據(jù)時產生的條件競爭晶疼。當鎖本身成為瓶頸時，我們又...

teslajuju

索引 索引為什么我們需要索引實現(xiàn)優(yōu)缺點怎么正確地使用索引 為什么我們需要索引 加快數(shù)據(jù)庫的查詢速度又憨。 實現(xiàn) 索引的基本原理：保存一些元數(shù)據(jù)作為路標翠霍，幫助我們快速查找數(shù)據(jù)。如果...

teslajuju

層級壓縮 為什么需要壓縮 因為 sstable 文件越來越多蠢莺，會耗盡磁盤空間寒匙，并且也會影響查找效率，所以需要壓縮和合并 sstable躏将。我們把修改锄弱、刪除都當作添加操作導致了 ...

teslajuju

leveldb 的基本原理 背景 leveldb 是一個持久化的鍵值存儲數(shù)據(jù)庫引擎。google 將 leveldb 和 paxos 結合祸憋，搞出了一個分布式存儲系統(tǒng) bigT...

teslajuju

安全性 安全性是指Raft需要保證每個狀態(tài)機需要以相同的順序執(zhí)行相同的命令会宪。我們前面所說的領導者選舉和日志復制的機制并不足以保證這個要求。 選舉約束 前面所講的選舉機制蚯窥，還存...

teslajuju

日志復制 問題 目的是什么掸鹅？ 保持集群中大多數(shù)服務器的狀態(tài)一致喜命。 復制過程的關鍵點是什么？處理日志不一致河劝。 日志 日志由一個個順序編號的日志項組成壁榕。每個日志項都存儲了： 領導...

teslajuju

領導者選舉 什么是領導者 Raft 首先選舉一個服務器作為領導者，然后讓這個領導者全面負責可復制日志的管理赎瞎。領導者需要從客戶端接受日志條目牌里，將這些日志條目復制到別的服務器，告...

teslajuju

基本概念 領導者 At any given time server is in the one of three states: Followers only respond...

teslajuju

Quorum NWR 自定義一致性 Quorum NWR 自定義一致性問題原理實現(xiàn)應用 問題 我們已經有一個 AP 型的 KV 系統(tǒng)了务甥，現(xiàn)在要求數(shù)據(jù)具有強一致性牡辽，怎么辦？重新...

teslajuju

Gossip 協(xié)議實現(xiàn)最終一致性 背景 有些系統(tǒng)對可用性比較敏感敞临，例如監(jiān)控主機和業(yè)務運行的告警系統(tǒng)态辛，我們希望系統(tǒng)在極端條件（例如集群中只有一個節(jié)點可用）下也能正常運行。根據(jù) ...

teslajuju

突破領導者的限制 突破領導者的限制問題哈希算法一致性哈希算法算法原理虛擬節(jié)點對比 問題 假設我們使用 Raft 算法實現(xiàn)了一個 KV 服務挺尿。雖然領導者簡化了共識協(xié)商奏黑，但是寫請...

teslajuju

Basic Paxos [TOC] 什么是Basic Paxos 確定一個值 Basic Paxos描述的是多個節(jié)點如何就某個值達成共識。 三種角色 在Basic Paxos...

teslajuju

BASE理論 為什么需要BASE理論 強一致性的分布式系統(tǒng)或者事務性的分布式系統(tǒng)使用起來非常方便编矾，不需要考慮太多熟史，就像單機系統(tǒng)一樣。但是窄俏，根據(jù)CAP理論蹂匹，強一致性必然會影響可...

teslajuju

事務的隔離性 事務的隔離性：多個事務并發(fā)執(zhí)行時不受到彼此干擾的特性。也就是說凹蜈，不同用戶的多個事務并發(fā)執(zhí)行限寞，一個用戶的事務不會被另一個用戶的事務干擾，多個并發(fā)事務間要相互隔離仰坦。...

teslajuju

ACID理論 背景 ACID理論是數(shù)據(jù)庫為了保證事務正確性而提出的一種理論履植，它包含四個約束： 原子性（Atomicity）：組成事務的一組操作，要么全部成功缎岗，要么全部失敗静尼，不...

teslajuju

CAP理論 為什么需要CAP理論 開發(fā)分布式系統(tǒng)時白粉，我們需要根據(jù)業(yè)務特點传泊，設計合適的分區(qū)容錯一致性模型，以實現(xiàn)集群能力鸭巴。這個問題的棘手點在于：當系統(tǒng)發(fā)生分區(qū)錯誤時眷细，應該如何保...

teslajuju

bthread_start_background 函數(shù)在后端創(chuàng)建一個bthread，但是該bthread沒有立刻運行鹃祖，而是等待空閑的worker pthread將其偷過來運行...

teslajuju

bthread概述 [TOC] TaskControl TaskControl用于管理brpc創(chuàng)建的worker pthread溪椎。 初始化 創(chuàng)建一個 TaskControl ...

teslajuju

butex butex是一種類似于futex的同步原語，由brpc實現(xiàn) 。但futex只能夠用于同步pthread校读，而butex除了pthread沼侣，還可以同步bthread。...