嚴格的可序列化示例說明？
[英]Strict serializability example clarification?
我正在嘗試學習不同的一致性模型，但遇到了這些幻燈片。 但是，我無法解釋下面關於嚴格序列化的幻燈片，其中第 4 張幻燈片說讀取看到最新的寫入。 W(x)b是否意味着write b in x ？ 交易順序是從左向右移動的嗎？ 如果是這樣，如果P1已經將written b in x中，那么為什么嚴格可 ...
節點宕機時如何進行強一致性讀
[英]How to strong consistency read when a node goes down
據我了解，當 Vr + Vw > V 時，可以實現強一致性。Vr 是讀取仲裁 (Vr)，Vw 是寫入仲裁。 假設 V = 3。 將值（val = 2）寫入數據庫時，只需將成功寫入2台機器（例如機器A和B）。 從 DB 中讀取一個值時，如果它們返回相同的版本值，則只需要從 2 台機器中讀取，以實 ...
這個 A* 偽代碼是否理所當然地考慮了可接受的廣告一致啟發式 function 假設的條件？
[英]Is this A* pseudocode taking the condition of admisible ad consistent heuristic function hypothesis for granted?
這是來自 wiki ( https://en.wikipedia.org/wiki/A*_search_algorithm ) 的 A* 的偽代碼： 我想知道這個算法是否假設啟發式 function 是可接受的（從不高估實現目標的實際成本）並且一致（h（x）≤d（x，y）+ h（y））？ 因為我發 ...
創建霍夫曼樹時的不一致
[英]Inconsistencies when creating Huffman tree
在 Wikipedia 上，Huffman 樹的構造是這樣描述的： 最簡單的構造算法使用優先級隊列，其中概率最低的節點被賦予最高優先級： 為每個符號創建一個葉節點並將其添加到優先級隊列中。 當隊列中有多個節點時： 從隊列中移除最高優先級（最低概率）的兩個節點創建一個新的內部節點，將這兩個節點作為子節 ...
Django 模型規范化
[英]Django models normalization
有一個像這樣的簡單普通模型 適用於我的情況，但由於同時最多只有 1 個active訂單，因此保持一致是一個挑戰。 不想使用transaction ，因此分離active屬性的想法將是一個解決方案。 我想知道有沒有更好的主意？ 例如，將active添加為與數據庫相關的屬性或類似鈎子的東西（當我說我 ...
DDD - 數量並發
[英]DDD - Concurrency with quantity
大家好， 我有點迷失在以 ddd 方式思考的問題。 想象一下，您有一個銷售音樂會門票的應用程序。 因此，您有一個名為 Concert 的實體，其中包含數量編號和購買門票的方法。 class Concert { constructor( public id: string, p ...
強一致性和復制因子
[英]Strong consistency and replication factor
我正在努力提高我在分布式數據庫方面的知識以及可以實現的各種級別的一致性。 首先，讓我定義一些我將使用的術語（如果我錯了，請告訴我）： 強一致性：如博士報告。 Kleppmann 在“設計數據密集型應用程序”中，它是“線性化”的同義詞，這是一種一致性級別，它使復制的數據存儲表現得好像只有一個數據項 ...
DDD - 我們可以在保存存儲庫方法中使用增量數據庫功能更新值以避免並發嗎？
[英]DDD - Can we update a value with incremental database feature in the save repository method to avoid concurrency?
大家好， 我不明白為什么當我們在 DDD 中討論聚合的並發性時，我們不會使用增量數據庫功能（當我們可以時）強制它。 想象一下，我必須在實體 Concert 中處理一定數量的演唱會門票（編號）。 這里的不變量是：數量不能低於0（邏輯）。 async execute(command: BookCon ...
給定兩個將軍問題，強一致性如何可能
[英]How is strong consistency possible given two generals problem
許多分布式系統（例如數據庫）表示它們可以提供強一致性。 例如，假設數據有N個副本，要求W個節點確認寫入和R副本響應讀取，Cassandra 文檔說只要R + W > N就會獲得強一致性。 直覺上，這是有道理的。 但是后來我開始在單個消息級別上考慮這個問題，但我實際上無法理解它是如何實現的。 具 ...
順序一致性是否意味着緩存一致性？
[英]Does sequential consistency implies cache coherence?
緩存一致性的定義說： 讀取必須返回最近的寫入。 每次寫入最終都必須可以通過讀取訪問。 所有處理器以相同的順序看到對給定位置的寫入在順序一致性所有操作都有一個總順序每個操作都是原子的。 總順序應遵循程序順序。 如果我們遵循順序一致性，緩存一致性的每一個條件似乎都得到了滿足。 所以我猜順序一致性意味 ...
防止用戶在用戶數據庫中使用“dbo” SQL 服務器
[英]Prevent User Usage of "dbo" in User Databases SQL Server
我試圖阻止在我的 SQL 服務器數據庫中使用默認模式“dbo”。 這被應用於一個現有的長期項目，並進行持續維護，開發人員還管理 SQL 服務器（都是系統管理員）。 這是為了允許更好地跟蹤代碼和 SQL 服務器對象之間的依賴關系，以便我們可以慢慢遷移到更好的命名約定。 例如。 數據庫中的“dbo.Us ...
如果在 Cassandra 次寫入中寫入 memtable 失敗但寫入提交日志成功會怎樣？
[英]What will happen if write to memtable fails but write to commit log succeeds in Cassandra writes?
我對 Cassandra 中的 WAL + memtable 寫入有疑問。默認情況下，直到 WAL 和 memtable 都更新，Cassandra 不會將寫入標記為完成。 但是，如果WAL成功，memtable寫入失敗，Cassandra不就和state不一致了嗎？ 我的意思是 memtable ...
Cosmos DB - 查詢的一致性級別覆蓋 - 它實際上只有 3 個選項嗎？
[英]Cosmos DB - consistency level override for query - does it actually have only 3 options?
我正在閱讀文檔並遇到這部分： 一致性等級法定人數讀取仲裁寫入強的當地少數民族全球多數有界陳舊當地少數民族本地多數 Session 單個副本（使用 session 代幣） 本地多數一致的前綴單個副本本地多數最終的單個副本本地多數因此，假設我將強一致性設置為默認值（用於寫入）。 我想為某些查詢覆蓋它。 ...
Memory 語義 java.lang.ref.Reference 方法
[英]Memory semantics of java.lang.ref.Reference methods
我正在開發一些處理引用對象的並發算法。 我正在使用 java 17。 問題是我不知道 memory get、clear 或 referTo 等操作的語義是什么。 它沒有記錄在 Javadoc 中。 查看OpenJdk的源代碼，引用對象沒有修飾符，例如volatile（而引用隊列的下一個指針是vola ...
DynamoDB 讀取是否有可能返回比之前讀取返回的 state 更早的 state？
[英]Is it possible for a DynamoDB read to return state that is older than the state returned by a previous read?
假設有一個值為0的 DynamoDB 鍵，並且有一個進程使用最終一致性讀取重復讀取該鍵。 在進行這些讀取時，第二個進程將該鍵的值設置為1 。 讀取過程是否有可能在第一次讀取1后讀取0 ？ 在 DynamoDB 的最終一致性 model 中，客戶端是否有可能成功讀取鍵的完全最新值，但隨后在后續請求中 ...
Couchbase 中的故障轉移和強一致性
[英]Failover and strong consistency in Couchbase
我們有一個三節點 Couchbase 集群，具有兩個副本和持久性級別 MAJORITY。 這意味着在確認成功之前，突變將被復制到活動節點（ node A ）和兩個副本之一（ node B ）。 在一致性方面，如果node A變得不可用並且硬故障轉移過程在node A設法將突變復制到node C之前提 ...
Azure 服務總線替代事務發件箱模式
[英]Azure Service Bus alternative to transactional outbox pattern
假設我有這個通用的傳奇場景（給定三個不同的微服務 A、B 和 C，與消息通信）： 我的理解是，雖然整個工作流程應該最終保持一致，但您要確保本地操作（ a和b ）在事務上是一致的，以避免丟失消息（或者如果相反，避免發送消息但無法持久化操作更改） . 如果我沒記錯的話，這就是事務發件箱模式旨在解決的問題 ...
MongoDB 分片集群寫入的記錄多於插入的記錄
[英]MongoDB sharded cluster writing more records than inserted
我有一個火花 dataframe 大約有 4300 萬條記錄，我正在嘗試將其寫入 Mongo 集合。 當我將它寫入非分片集合時， output記錄與我嘗試插入的記錄相同。 但是當我將相同的數據寫入分片集合（散列）時，記錄數增加了 3 百萬。 有趣的是，即使在我的 spark 工作完成后，記錄的數量仍 ...
禁止在 SQLite 的 rowid 中插入 integer （保持有向無環圖表一致）
[英]Forbidding insertion of integer not in rowid in SQLite (keep directed acyclic graph table consistent)
我想表達： “禁止在插入后插入 'rowid' 中未包含的 'parent' 值的記錄。” 我的目的是使表內部保持一致，作為有向無環圖，每條記錄都是一個引用其父節點的節點（根節點是它們自己的父節點）。 我怎樣才能做到這一點？ 這是我所擁有的（使用 rowid 作為主鍵）： ...
x86 TSO memory consistency model 當一些被觀察的商店來自商店轉發時如何工作？
[英]How does the x86 TSO memory consistency model work when some of the stores being observed come from store-forwarding?
我有一個關於 x86 TSO memory 一致性 model 的問題。從“Memory 一致性和緩存一致性入門”開始，在我看來，“全局存儲順序”（即 memory 中的全局存儲順序不同於順序）可能是所涉及核心的觀點。 假設您有 2 個內核，每個內核都有一個 FIFO 寫入緩沖區，如下面的 mod ...