主頁 > 軟體設計 > 分布式系統常見問題

分布式系統常見問題

2023-05-14 08:31:54 軟體設計

一.概述

分布式系統存在網路,時鐘,以及許多不可預測的故障,分布式事務,一致性與共識問題,迄今為止仍沒有得到很好的解決方案,要想完美地解決分布式系統中的問題不太可能,但是實踐中應對特定問題仍有許多可靠的解決方案,本文不會談及諸如BASE, CAP, ACID 等空泛的理論,只基于實踐中遇到的問題提出可行的解決方案,

二.常見問題

1.讀自己的寫

現象: 用戶在發布頁發布了帖子,然后訪問自己的主頁查看帖子串列,并沒有馬上看到自己剛剛發布的帖子,等待1~2s后才看到

分析:后端db采取主從結構,復制任務在負載較高的情況下會有延遲,用戶讀取帖子串列查詢的是從節點,所以無法及時看到剛剛發布的帖子,一般情況下延遲1~2s是可以接受的,但是為了更好的體驗,可以做一些改進,

解決方案:

  • 如果用戶讀取的是自己的主頁,就訪問主節點,如果訪問是他人的主頁,就訪問從節點,只需要在db層路由即可,
  • 客戶端還可以記住最近更新時的時間戳,并附帶在讀請求中,據此資訊,系統可以確保對該用戶提供讀服務時都應該至少包含了該時間戳的更新,如果不夠新,要么交由另一個副本來處理,要么等待直到副本接收到了最近的更新

2.單調讀

現象:用戶查看某個帖子下面的評論,一會兒看到5條評論,一會兒看到6條評論,

分析:后端db采取主從結構,復制任務在負載較高的情況下會有延遲,用戶讀取評論串列查詢的是從節點,但是兩次讀的是不同的從節點,當某個從節點具有明顯延遲就會出現資料反復的現象,

解決方案:

  • 確保同一個用戶每次都是讀取同一個副本,可以在db層進行路由,這是一種典型的sticky 請求路由,

????replica = hash(user_id) % number_of_replica

3.負載傾斜與熱點問題

現象:某個磁區的資料明顯比其他磁區多,并且訪問頻率高,負載壓力大,

分析:在某些特殊的業務場景下,比如官方或者名人賬號有百萬粉絲,當這些賬號發布訊息事件時,人們會對該訊息進行評論,如果評論資料存盤使用事件id進行hash,就會造成某個磁區的負載產生傾斜,

解決:

  • ??在關鍵詞,比如訊息事件id,的開頭或者結尾添加一個亂數,只需一個兩位數的十進制亂數就可以將關鍵字的寫做操作分布到100個不同的關鍵字上,從而分片到不同的磁區上,這些特殊邏輯只應用在一些特殊賬號上,

4.fencing令牌

現象:在采用分布式鎖的情況下,資料庫中的事務重復執行,

分析:在分布式鎖環境中,客戶端A執行事務超時,分布式鎖被釋放,客戶端B執行事務插入資料,客戶端A恢復后繼續執行事務,重復插入資料,

解決方案:

  • 這不是分布式事務的范疇,可以采用fencing令牌來解決,我們假設每次鎖服務授予鎖或租約時,同時還會回傳一個fencing令牌,該令牌每授予一次就會遞增,然后,要求客戶端每次向存盤系統發生寫請求時,都必須包含所持有的fencing令牌,當使用zookeeper 作為鎖服務時,可以用事務標識zxid,或節點版本cversion來充當fencing令牌,這兩個都可以滿足單調遞增的要求,

5.Lamport時間戳

現象:客戶端從兩個磁區獲取兩條不同的資料,比如事件a, b;a的序號小于b,但事實上b比a先發生,

分析:常見的有以下幾種非因果序列發生器,產生的序列號與因果關系并不嚴格一致,

  • 每個節點單獨產生自己的一組序列號,
  • 把墻上時間戳資訊(物理時鐘)附加在每個操作上,
  • 預先分配好序列號的區間范圍,比如節點A負責區間1~1000的序列號,節點B負責1001~2000,

解決方案:

  • 使用Lamport時間戳,Lamport時間戳是一個kv對(計數器,節點ID),核心流程:每個節點以及每個客戶端都跟蹤迄今為止所見到的最大計數器,并在每個請求中附帶該最大計數器值,當節點收到請求(或者回復)時,如果發現請求內嵌的最大計數器大于節點自身的計數器,則它立即把自己的計數器修改為該最大值,

????

6.端到端的重復消除問題

現象:訊息重復是非常普遍的,比如

  • 生產者發送訊息到消費者,消費者消費成功后宕機,但是卻沒有更新消費位置,消費者重啟后就會重新消費,
  • 常見的rpc呼叫,呼叫方因為網路問題沒有收到被呼叫方的回應,選擇重試,
  • 2PC 分布式事務中,因為網路問題,也可能出現重復事務的問題,
  • 用戶在頁面重復提交POST請求,

分析:端到端的重復問題是非常普遍的,在TCP 網路中也需要處理重復資料包的問題,有以下兩種解決辦法:

  • 最有效的辦法之一是使操作滿足冪等性,即無論執行一次還是多次,確保具有相同的結果,比如以下陳述句無論執行多少次效果都是一致的,

???update table set v = v2 where v = v1

  • 可以為操作生成一個唯一的識別符號如(UUID),服務端對此UUID 進行去重校驗,

??

  • 在典型的電商下單介面中采用了以上兩種方法的結合:使用唯一識別符號來進行去重,如果寫入例外回傳之前的訂單,
create table order(
  # ...
  dedup_key varchar(60) not null comment 'key to pretend order duplication',
  client_id,
  # ...
  unique uniq_dedup_key(dedup_key, client_id)
);


@Transactional
Order createOrder(Integer userId, String prodCode, Decimal amount, String dedupKey) {
  try {
    String orderId = createOrder(userId, prodCode, amount, deupKey); // insert a new order
    Order order = getOrderById(orderId); // read order from db
    order.setDuplicated(false); // 標記是否有重復下單
    return order;
  } catch(UniqueKeyViolationException e) {
    // if duplicated order has existed, return previous order
    Order order = getOrderByDedupKey(dedupKey, clientId);
    order.setDuplicated(true);
    return order;
  } catch (Exception e) {
    // hanlde other errors and rollback transaction ...
  }
}

7.唯一性約束

現象:在集群高并發的環境下,用戶A創建用戶marquezzzz,用戶B同時創建了用戶marquezzzz,兩者的用戶名相同,這違背了唯一性約束,

分析:創建用戶名的邏輯是,先去db中查詢是否有對應的用戶名(步驟1),如果沒有就創建,如果存在就更新用戶的其他資訊(步驟2),用戶A執行了步驟1, 用戶B執行了步驟1和2,然后用戶A執行了步驟2,這樣生成了兩個同名的用戶,

解決方案:

  • 串行化請求,將創建用戶的請求串行化,比如發送到佇列中,這樣可以確保全域唯一性,
  • 在db層進行唯一性約束,比如使用唯一索引,考慮到龐大的資料量,性能會下降,如果做了分表,唯一索引的方法也不太可行,
  • 使用分布式鎖,比如redis, zookeeper,redis偽代碼如下:
boolean r = redisClient.setnx("userName", currentThread, 10s); // 使用 setnx 原子命令
if (!r) {
    return false;
}

// 步驟1 查找db確保沒有重名

// 步驟2 插入用戶

redisClient.delete("userName");

8.時鐘問題

現象:在許多app中,客戶端會上報事件,但是事件的發生時間不準確

分析:app客戶端時鐘可能不準確,或者用戶手動調整過系統時鐘,

解決方案:

為了調整不正確的設備時鐘,一種方法是記錄三個時間戳:

  1. 根據設備的時鐘,記錄事件發生的時間, device_event_time
  2. 根據設備的時鐘,記錄將事件發生到服務器的時間, device_send_time
  3. 根據服務器時鐘,記錄服務器收到事件的時間, server_receive_time

事件真實發生時間 = device_event_time + (server_receive_time - device_send_time)

三.參考

《資料密集型應用系統設計》

https://cloud.tencent.com/developer/article/1121727

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/552393.html

標籤:架構設計

上一篇:詳解快取更新策略及如何選擇

下一篇:返回列表

標籤雲
其他(158996) Python(38129) JavaScript(25421) Java(18034) C(15226) 區塊鏈(8265) C#(7972) AI(7469) 爪哇(7425) MySQL(7181) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5871) 数组(5741) R(5409) Linux(5339) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4572) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2433) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) .NET技术(1972) 功能(1967) Web開發(1951) HtmlCss(1936) python-3.x(1918) C++(1915) 弹簧靴(1913) xml(1889) PostgreSQL(1875) .NETCore(1860) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 分布式系統常見問題

    一.概述 分布式系統存在網路,時鐘,以及許多不可預測的故障。分布式事務,一致性與共識問題,迄今為止仍沒有得到很好的解決方案。要想完美地解決分布式系統中的問題不太可能,但是實踐中應對特定問題仍有許多可靠的解決方案。本文不會談及諸如BASE, CAP, ACID 等空泛的理論,只基于實踐中遇到的問題提出 ......

    uj5u.com 2023-05-14 08:31:54 more
  • 詳解快取更新策略及如何選擇

    概述 快取更新是指在資料發生變化時,保持快取和資料庫的資料一致性的問題。如果快取和資料庫的資料不一致,會導致用戶看到過期或者錯誤的資料,影響業務邏輯和用戶體驗。 為了實作快取更新,我們可以采用以下四種方式其中的一種: Cache Aside策略:應用程式直接與資料庫和快取互動,并負責維護快取的一致性 ......

    uj5u.com 2023-05-13 08:54:04 more
  • Java設計模式【單例模式】

    Java設計模式【單例模式】 單例模式 單例模式(Singleton Pattern)是一種創建型設計模式,其主要目的是確保一個類只有一個實體,并提供對該實體的唯一訪問點。 優缺點 優點: 提供了對唯一實體的受控訪問。 由于在系統記憶體中只存在一個物件,因此可以節約系統資源。 缺點: 單例類的擴展有很 ......

    uj5u.com 2023-05-13 08:53:55 more
  • Java設計模式簡介(總結)

    Java設計模式簡介(總結) 什么是設計模式 Java設計模式是一組經過驗證的解決特定問題的編程技術,這些技術可以幫助開發人員快速、有效地開發高質量的軟體。使用設計模式是為了可重用代碼、讓代碼更容易被他人理解、保證代碼可靠性。 設計模式分類 設計模式一般分為三大類:創建型、結構型、行為型,具體分類如 ......

    uj5u.com 2023-05-13 08:53:48 more
  • 長文多圖一步步講清楚:DDD理論、建模與代碼實作全流程

    1 六個問題 1.1 為什么使用DDD DDD方法論核心是將問題不斷分解,把大問題分解為小問題,大業務分解小領域,簡而言之就是分而治之,各個擊破。 分而治之是指直接面對大業務我們無從下手,需要按照一定方法進行分解,分解為高內聚的小領域,使得業務有邊界清晰,而這些小領域是我們有能力處理的,這就是領域驅 ......

    uj5u.com 2023-05-13 08:53:43 more
  • Java設計模式【單例模式】

    Java設計模式【單例模式】 單例模式 單例模式(Singleton Pattern)是一種創建型設計模式,其主要目的是確保一個類只有一個實體,并提供對該實體的唯一訪問點。 優缺點 優點: 提供了對唯一實體的受控訪問。 由于在系統記憶體中只存在一個物件,因此可以節約系統資源。 缺點: 單例類的擴展有很 ......

    uj5u.com 2023-05-13 08:53:28 more
  • Java設計模式簡介(總結)

    Java設計模式簡介(總結) 什么是設計模式 Java設計模式是一組經過驗證的解決特定問題的編程技術,這些技術可以幫助開發人員快速、有效地開發高質量的軟體。使用設計模式是為了可重用代碼、讓代碼更容易被他人理解、保證代碼可靠性。 設計模式分類 設計模式一般分為三大類:創建型、結構型、行為型,具體分類如 ......

    uj5u.com 2023-05-13 08:53:20 more
  • 長文多圖一步步講清楚:DDD理論、建模與代碼實作全流程

    1 六個問題 1.1 為什么使用DDD DDD方法論核心是將問題不斷分解,把大問題分解為小問題,大業務分解小領域,簡而言之就是分而治之,各個擊破。 分而治之是指直接面對大業務我們無從下手,需要按照一定方法進行分解,分解為高內聚的小領域,使得業務有邊界清晰,而這些小領域是我們有能力處理的,這就是領域驅 ......

    uj5u.com 2023-05-13 08:53:07 more
  • 詳解快取更新策略及如何選擇

    概述 快取更新是指在資料發生變化時,保持快取和資料庫的資料一致性的問題。如果快取和資料庫的資料不一致,會導致用戶看到過期或者錯誤的資料,影響業務邏輯和用戶體驗。 為了實作快取更新,我們可以采用以下四種方式其中的一種: Cache Aside策略:應用程式直接與資料庫和快取互動,并負責維護快取的一致性 ......

    uj5u.com 2023-05-13 08:52:47 more
  • 結構型模式(Structural Pattern)

    模式介紹 結構型模式(Structural Pattern)的主要目的就是將不同的類和物件組合在一起,形成更大或者更復雜的結構體。該模式并不是簡單地將這些類或物件擺放在一起,而是要提供它們之間的關聯方式。不同的結構型模式從不同的角度來組合類或物件,它們盡可能滿足各種面向物件設計原則的同時為類或物件的 ......

    uj5u.com 2023-05-12 10:05:14 more