二項分佈

MapReduce 論文和實驗筆記

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

分散式系列七: 分散式事務理論

分散式系列七: 分散式事務理論 事務是將一組操作作為一個整體執行, 這組操作要麼成功,要麼失敗, 不存在部分成功的情況, 分散式事務是為了解決在分散式環境下各節點之間的資料一致性問題. 資料庫本地事務

中國二手車生死局

編者按:本文來自微信公眾號 “懂財帝”(ID:znfinance) ,作者 朱瓊華,36氪經授權釋出。 去年,二手車平臺人人車創始人李健曾與滴滴創始人程維有過一番對話。 程維問:“你們2016年Q3

BASE理論

BASE理論 BASE是Basically Available(基本可用)、Soft state(軟狀態)和Eventually consistent(最終一致性)三個短語的簡寫,BASE是對

架構師技術棧體系

整理的一份架構師進階課程思維導圖,內容來自於咕泡學院的Java架構師培訓公開課程。圖片下面包含匯出的文位元組點,需要的同學可以匯入到自己的腦圖中。 image.png

一文徹底搞懂面試中常問的各種 “鎖”

前言 鎖,顧名思義就是鎖住一些資源,當只有我們拿到鑰匙的時候,才能操作鎖住的資源。在我們的Java,資料庫,還有一些分散式的環境中,總是充斥著各種各樣的鎖讓人頭疼,例如“公平鎖”、“自旋鎖”、“

基於學習的快取一致性協議帶參驗證

一、背景 帶參系統存在於許多應用領域中,比如快取一致協議等。因為它的研究價值,驗證這樣的系統的也就吸引來了形式化驗證、模型檢測和定理證明等社群的關注。要想驗證帶參系統的正確性,就必須驗證任意例項大小的系統中

1746071273.5426