From: Xuehan Xu <xxhdx1985126@gmail.com>
Date: Fri, 17 Dec 2021 05:53:16 +0000 (+0800)
Subject: crimson/os/seastore/transaction: make sure the transaction's write_set is a subset... 
X-Git-Tag: v17.1.0~219^2~1
X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=0dd693cc2b06d9c7a30e7c642b23179d1e6861ce;p=ceph-ci.git

crimson/os/seastore/transaction: make sure the transaction's write_set is a subset of its read_set

Signed-off-by: Xuehan Xu <xxhdx1985126@gmail.com>
---

diff --git a/src/crimson/os/seastore/transaction.h b/src/crimson/os/seastore/transaction.h
index 0d9cb02c0bd..a3789cb9374 100644
--- a/src/crimson/os/seastore/transaction.h
+++ b/src/crimson/os/seastore/transaction.h
@@ -132,6 +132,7 @@ public:
   void add_mutated_extent(CachedExtentRef ref) {
     LOG_PREFIX(Transaction::add_mutated_extent);
     ceph_assert(!is_weak());
+    assert(read_set.count(ref->prior_instance->get_paddr()));
     mutated_block_list.push_back(ref);
     TRACET("adding {} to write_set", *this, *ref);
     write_set.insert(*ref);