分離式冷氣機原理

分散式 ID 生成策略

作者 | 小牛 Java 工程師,關注服務端技術 對於系統中的一組資料而言,必不可少地對應有唯一標識。簡單的單體應用可以使用資料庫的自增 ID 作為唯一標識。而在複雜的分散式系統中,就需要一些

分散式事務有自己的架構語言嗎?TLA +簡介

TLA +是一種正式的規範語言。它是設計系統和演算法的工具,然後以程式設計方式驗證這些系統沒有嚴重錯誤。它是相當於藍圖的軟體。通常用於設計分散式事務系統,亞馬遜等公司普遍使用該語言規範設計他們的分散式事務中介軟

分散式事務之兩階段提交 (2PC)

1. 概述 在計算機網路以及資料庫領域內,二階段提交( Two-phase Commit )是指,為了使基於分散式系統架構下的 所有節點在進行事務提交時保持一致性 而設計的一種演算法。通常,二階段提交也被

開篇-分散式系統中的那些開源軟體

本文來自於我的慕課網手記:開篇-分散式系統中的那些開源軟體 ,轉載請保留連結 ;) 我們來討論一個大型話題,把分散式系統所能採用的開源或者商業軟體,方方面面都來討論一下。這裡做

分散式架構的資料一致性

最近在使用springboot搭建微服務架構,遇到資料一致性問題,今天就對它進行一個小結。 資料一致性是分散式系統中的一個關鍵需要解決的問題,雖然分散式系統帶來了擴充套件的彈性,但是帶來了資料不一致性的風險,

伺服器時間同步引發的"慘案"

很多時候我們都不用特別的關心伺服器時間的問題,比如後臺管理系統,如果伺服器時間出錯頂多會在頁面獲取錯誤的時間而已,影響不大。但有些程式對時間非常敏感,不能出一丁點錯誤,今天要講的是去年發生在自己身邊的事:由於

MapReduce 論文和實驗筆記

總結下 6.824 MapReduce lab 的論文筆記和實驗過程。本文程式碼: MIT6.824/mapreduce 前言 自己的 nsx PRC 框架 v0.2 需支援分散式環境下服務變更

1714609970.4796