secondary_index_mixin.h 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601
  1. // Copyright (c) Meta Platforms, Inc. and affiliates.
  2. //
  3. // This source code is licensed under both the GPLv2 (found in the
  4. // COPYING file in the root directory) and Apache 2.0 License
  5. // (found in the LICENSE.Apache file in the root directory).
  6. #pragma once
  7. #include <cassert>
  8. #include <memory>
  9. #include <optional>
  10. #include <string>
  11. #include <vector>
  12. #include "db/wide/wide_columns_helper.h"
  13. #include "rocksdb/options.h"
  14. #include "rocksdb/utilities/secondary_index.h"
  15. #include "rocksdb/wide_columns.h"
  16. #include "util/autovector.h"
  17. #include "utilities/secondary_index/secondary_index_helper.h"
  18. namespace ROCKSDB_NAMESPACE {
  19. template <typename Txn>
  20. class SecondaryIndexMixin : public Txn {
  21. public:
  22. template <typename... Args>
  23. explicit SecondaryIndexMixin(
  24. const std::vector<std::shared_ptr<SecondaryIndex>>* secondary_indices,
  25. Args&&... args)
  26. : Txn(std::forward<Args>(args)...),
  27. secondary_indices_(secondary_indices) {
  28. assert(secondary_indices_);
  29. assert(!secondary_indices_->empty());
  30. }
  31. using Txn::Put;
  32. Status Put(ColumnFamilyHandle* column_family, const Slice& key,
  33. const Slice& value, const bool assume_tracked = false) override {
  34. return PerformWithSavePoint([&]() {
  35. const bool do_validate = !assume_tracked;
  36. return PutWithSecondaryIndices(column_family, key, value, do_validate);
  37. });
  38. }
  39. Status Put(ColumnFamilyHandle* column_family, const SliceParts& key,
  40. const SliceParts& value,
  41. const bool assume_tracked = false) override {
  42. std::string key_str;
  43. const Slice key_slice(key, &key_str);
  44. std::string value_str;
  45. const Slice value_slice(value, &value_str);
  46. return Put(column_family, key_slice, value_slice, assume_tracked);
  47. }
  48. Status PutEntity(ColumnFamilyHandle* column_family, const Slice& key,
  49. const WideColumns& columns,
  50. bool assume_tracked = false) override {
  51. return PerformWithSavePoint([&]() {
  52. const bool do_validate = !assume_tracked;
  53. return PutEntityWithSecondaryIndices(column_family, key, columns,
  54. do_validate);
  55. });
  56. }
  57. using Txn::Merge;
  58. Status Merge(ColumnFamilyHandle* /* column_family */, const Slice& /* key */,
  59. const Slice& /* value */,
  60. const bool /* assume_tracked */ = false) override {
  61. return Status::NotSupported(
  62. "Merge with secondary indices not yet supported");
  63. }
  64. using Txn::Delete;
  65. Status Delete(ColumnFamilyHandle* column_family, const Slice& key,
  66. const bool assume_tracked = false) override {
  67. return PerformWithSavePoint([&]() {
  68. const bool do_validate = !assume_tracked;
  69. return DeleteWithSecondaryIndices(column_family, key, do_validate);
  70. });
  71. }
  72. Status Delete(ColumnFamilyHandle* column_family, const SliceParts& key,
  73. const bool assume_tracked = false) override {
  74. std::string key_str;
  75. const Slice key_slice(key, &key_str);
  76. return Delete(column_family, key_slice, assume_tracked);
  77. }
  78. using Txn::SingleDelete;
  79. Status SingleDelete(ColumnFamilyHandle* column_family, const Slice& key,
  80. const bool assume_tracked = false) override {
  81. return PerformWithSavePoint([&]() {
  82. const bool do_validate = !assume_tracked;
  83. return SingleDeleteWithSecondaryIndices(column_family, key, do_validate);
  84. });
  85. }
  86. Status SingleDelete(ColumnFamilyHandle* column_family, const SliceParts& key,
  87. const bool assume_tracked = false) override {
  88. std::string key_str;
  89. const Slice key_slice(key, &key_str);
  90. return SingleDelete(column_family, key_slice, assume_tracked);
  91. }
  92. using Txn::PutUntracked;
  93. Status PutUntracked(ColumnFamilyHandle* column_family, const Slice& key,
  94. const Slice& value) override {
  95. return PerformWithSavePoint([&]() {
  96. constexpr bool do_validate = false;
  97. return PutWithSecondaryIndices(column_family, key, value, do_validate);
  98. });
  99. }
  100. Status PutUntracked(ColumnFamilyHandle* column_family, const SliceParts& key,
  101. const SliceParts& value) override {
  102. std::string key_str;
  103. const Slice key_slice(key, &key_str);
  104. std::string value_str;
  105. const Slice value_slice(value, &value_str);
  106. return PutUntracked(column_family, key_slice, value_slice);
  107. }
  108. Status PutEntityUntracked(ColumnFamilyHandle* column_family, const Slice& key,
  109. const WideColumns& columns) override {
  110. return PerformWithSavePoint([&]() {
  111. constexpr bool do_validate = false;
  112. return PutEntityWithSecondaryIndices(column_family, key, columns,
  113. do_validate);
  114. });
  115. }
  116. using Txn::MergeUntracked;
  117. Status MergeUntracked(ColumnFamilyHandle* /* column_family */,
  118. const Slice& /* key */,
  119. const Slice& /* value */) override {
  120. return Status::NotSupported(
  121. "MergeUntracked with secondary indices not yet supported");
  122. }
  123. using Txn::DeleteUntracked;
  124. Status DeleteUntracked(ColumnFamilyHandle* column_family,
  125. const Slice& key) override {
  126. return PerformWithSavePoint([&]() {
  127. constexpr bool do_validate = false;
  128. return DeleteWithSecondaryIndices(column_family, key, do_validate);
  129. });
  130. }
  131. Status DeleteUntracked(ColumnFamilyHandle* column_family,
  132. const SliceParts& key) override {
  133. std::string key_str;
  134. const Slice key_slice(key, &key_str);
  135. return DeleteUntracked(column_family, key_slice);
  136. }
  137. using Txn::SingleDeleteUntracked;
  138. Status SingleDeleteUntracked(ColumnFamilyHandle* column_family,
  139. const Slice& key) override {
  140. return PerformWithSavePoint([&]() {
  141. constexpr bool do_validate = false;
  142. return SingleDeleteWithSecondaryIndices(column_family, key, do_validate);
  143. });
  144. }
  145. private:
  146. class IndexData {
  147. public:
  148. IndexData(const SecondaryIndex* index, const Slice& previous_column_value)
  149. : index_(index), previous_column_value_(previous_column_value) {
  150. assert(index_);
  151. }
  152. const SecondaryIndex* index() const { return index_; }
  153. const Slice& previous_column_value() const {
  154. return previous_column_value_;
  155. }
  156. std::optional<std::variant<Slice, std::string>>& updated_column_value() {
  157. return updated_column_value_;
  158. }
  159. Slice primary_column_value() const {
  160. return updated_column_value_.has_value()
  161. ? SecondaryIndexHelper::AsSlice(*updated_column_value_)
  162. : previous_column_value_;
  163. }
  164. private:
  165. const SecondaryIndex* index_;
  166. Slice previous_column_value_;
  167. std::optional<std::variant<Slice, std::string>> updated_column_value_;
  168. };
  169. template <typename Operation>
  170. Status PerformWithSavePoint(Operation&& operation) {
  171. Txn::SetSavePoint();
  172. const Status s = operation();
  173. if (!s.ok()) {
  174. [[maybe_unused]] const Status st = Txn::RollbackToSavePoint();
  175. assert(st.ok());
  176. return s;
  177. }
  178. [[maybe_unused]] const Status st = Txn::PopSavePoint();
  179. assert(st.ok());
  180. return Status::OK();
  181. }
  182. Status GetPrimaryEntryForUpdate(ColumnFamilyHandle* column_family,
  183. const Slice& primary_key,
  184. PinnableWideColumns* existing_primary_columns,
  185. bool do_validate) {
  186. assert(column_family);
  187. assert(existing_primary_columns);
  188. constexpr bool exclusive = true;
  189. return Txn::GetEntityForUpdate(ReadOptions(), column_family, primary_key,
  190. existing_primary_columns, exclusive,
  191. do_validate);
  192. }
  193. Status RemoveSecondaryEntry(const SecondaryIndex* secondary_index,
  194. const Slice& primary_key,
  195. const Slice& existing_primary_column_value) {
  196. assert(secondary_index);
  197. std::variant<Slice, std::string> secondary_key_prefix;
  198. {
  199. const Status s = secondary_index->GetSecondaryKeyPrefix(
  200. primary_key, existing_primary_column_value, &secondary_key_prefix);
  201. if (!s.ok()) {
  202. return s;
  203. }
  204. }
  205. {
  206. const Status s =
  207. secondary_index->FinalizeSecondaryKeyPrefix(&secondary_key_prefix);
  208. if (!s.ok()) {
  209. return s;
  210. }
  211. }
  212. const std::string secondary_key =
  213. SecondaryIndexHelper::AsString(secondary_key_prefix) +
  214. primary_key.ToString();
  215. return Txn::SingleDelete(secondary_index->GetSecondaryColumnFamily(),
  216. secondary_key);
  217. }
  218. Status AddPrimaryEntry(ColumnFamilyHandle* column_family,
  219. const Slice& primary_key, const Slice& primary_value) {
  220. assert(column_family);
  221. constexpr bool assume_tracked = true;
  222. return Txn::Put(column_family, primary_key, primary_value, assume_tracked);
  223. }
  224. Status AddPrimaryEntry(ColumnFamilyHandle* column_family,
  225. const Slice& primary_key,
  226. const WideColumns& primary_columns) {
  227. assert(column_family);
  228. constexpr bool assume_tracked = true;
  229. return Txn::PutEntity(column_family, primary_key, primary_columns,
  230. assume_tracked);
  231. }
  232. Status AddSecondaryEntry(const SecondaryIndex* secondary_index,
  233. const Slice& primary_key,
  234. const Slice& primary_column_value,
  235. const Slice& previous_column_value) {
  236. assert(secondary_index);
  237. std::variant<Slice, std::string> secondary_key_prefix;
  238. {
  239. const Status s = secondary_index->GetSecondaryKeyPrefix(
  240. primary_key, primary_column_value, &secondary_key_prefix);
  241. if (!s.ok()) {
  242. return s;
  243. }
  244. }
  245. {
  246. const Status s =
  247. secondary_index->FinalizeSecondaryKeyPrefix(&secondary_key_prefix);
  248. if (!s.ok()) {
  249. return s;
  250. }
  251. }
  252. std::optional<std::variant<Slice, std::string>> secondary_value;
  253. {
  254. const Status s = secondary_index->GetSecondaryValue(
  255. primary_key, primary_column_value, previous_column_value,
  256. &secondary_value);
  257. if (!s.ok()) {
  258. return s;
  259. }
  260. }
  261. {
  262. const std::string secondary_key =
  263. SecondaryIndexHelper::AsString(secondary_key_prefix) +
  264. primary_key.ToString();
  265. const Status s =
  266. Txn::Put(secondary_index->GetSecondaryColumnFamily(), secondary_key,
  267. secondary_value.has_value()
  268. ? SecondaryIndexHelper::AsSlice(*secondary_value)
  269. : Slice());
  270. if (!s.ok()) {
  271. return s;
  272. }
  273. }
  274. return Status::OK();
  275. }
  276. Status RemoveSecondaryEntries(ColumnFamilyHandle* column_family,
  277. const Slice& primary_key,
  278. const WideColumns& existing_columns) {
  279. assert(column_family);
  280. for (const auto& secondary_index : *secondary_indices_) {
  281. assert(secondary_index);
  282. if (secondary_index->GetPrimaryColumnFamily() != column_family) {
  283. continue;
  284. }
  285. const auto it = WideColumnsHelper::Find(
  286. existing_columns.cbegin(), existing_columns.cend(),
  287. secondary_index->GetPrimaryColumnName());
  288. if (it == existing_columns.cend()) {
  289. continue;
  290. }
  291. const Status st =
  292. RemoveSecondaryEntry(secondary_index.get(), primary_key, it->value());
  293. if (!st.ok()) {
  294. return st;
  295. }
  296. }
  297. return Status::OK();
  298. }
  299. Status UpdatePrimaryColumnValues(ColumnFamilyHandle* column_family,
  300. const Slice& primary_key,
  301. Slice& primary_value,
  302. autovector<IndexData>& applicable_indices) {
  303. assert(column_family);
  304. assert(applicable_indices.empty());
  305. applicable_indices.reserve(secondary_indices_->size());
  306. for (const auto& secondary_index : *secondary_indices_) {
  307. assert(secondary_index);
  308. if (secondary_index->GetPrimaryColumnFamily() != column_family) {
  309. continue;
  310. }
  311. if (secondary_index->GetPrimaryColumnName() != kDefaultWideColumnName) {
  312. continue;
  313. }
  314. applicable_indices.emplace_back(
  315. IndexData(secondary_index.get(), primary_value));
  316. auto& index_data = applicable_indices.back();
  317. const Status s = secondary_index->UpdatePrimaryColumnValue(
  318. primary_key, index_data.previous_column_value(),
  319. &index_data.updated_column_value());
  320. if (!s.ok()) {
  321. return s;
  322. }
  323. primary_value = index_data.primary_column_value();
  324. }
  325. return Status::OK();
  326. }
  327. Status UpdatePrimaryColumnValues(ColumnFamilyHandle* column_family,
  328. const Slice& primary_key,
  329. WideColumns& primary_columns,
  330. autovector<IndexData>& applicable_indices) {
  331. assert(column_family);
  332. assert(applicable_indices.empty());
  333. // TODO: as an optimization, we can avoid calling SortColumns a second time
  334. // in WriteBatchInternal::PutEntity
  335. WideColumnsHelper::SortColumns(primary_columns);
  336. applicable_indices.reserve(secondary_indices_->size());
  337. for (const auto& secondary_index : *secondary_indices_) {
  338. assert(secondary_index);
  339. if (secondary_index->GetPrimaryColumnFamily() != column_family) {
  340. continue;
  341. }
  342. const auto it = WideColumnsHelper::Find(
  343. primary_columns.begin(), primary_columns.end(),
  344. secondary_index->GetPrimaryColumnName());
  345. if (it == primary_columns.end()) {
  346. continue;
  347. }
  348. applicable_indices.emplace_back(
  349. IndexData(secondary_index.get(), it->value()));
  350. auto& index_data = applicable_indices.back();
  351. const Status s = secondary_index->UpdatePrimaryColumnValue(
  352. primary_key, index_data.previous_column_value(),
  353. &index_data.updated_column_value());
  354. if (!s.ok()) {
  355. return s;
  356. }
  357. it->value() = index_data.primary_column_value();
  358. }
  359. return Status::OK();
  360. }
  361. Status AddSecondaryEntries(const Slice& primary_key,
  362. const autovector<IndexData>& applicable_indices) {
  363. for (const auto& index_data : applicable_indices) {
  364. const Status s = AddSecondaryEntry(index_data.index(), primary_key,
  365. index_data.primary_column_value(),
  366. index_data.previous_column_value());
  367. if (!s.ok()) {
  368. return s;
  369. }
  370. }
  371. return Status::OK();
  372. }
  373. template <typename Value>
  374. Status PutWithSecondaryIndicesImpl(ColumnFamilyHandle* column_family,
  375. const Slice& key,
  376. const Value& value_or_columns,
  377. bool do_validate) {
  378. // TODO: we could avoid removing and recreating secondary entries for
  379. // which neither the secondary key prefix nor the value has changed
  380. if (!column_family) {
  381. column_family = Txn::DefaultColumnFamily();
  382. }
  383. const Slice& primary_key = key;
  384. {
  385. PinnableWideColumns existing_primary_columns;
  386. const Status s = GetPrimaryEntryForUpdate(
  387. column_family, primary_key, &existing_primary_columns, do_validate);
  388. if (!s.ok()) {
  389. if (!s.IsNotFound()) {
  390. return s;
  391. }
  392. } else {
  393. const Status st = RemoveSecondaryEntries(
  394. column_family, primary_key, existing_primary_columns.columns());
  395. if (!st.ok()) {
  396. return st;
  397. }
  398. }
  399. }
  400. auto primary_value_or_columns = value_or_columns;
  401. autovector<IndexData> applicable_indices;
  402. {
  403. const Status s = UpdatePrimaryColumnValues(column_family, primary_key,
  404. primary_value_or_columns,
  405. applicable_indices);
  406. if (!s.ok()) {
  407. return s;
  408. }
  409. }
  410. {
  411. const Status s =
  412. AddPrimaryEntry(column_family, primary_key, primary_value_or_columns);
  413. if (!s.ok()) {
  414. return s;
  415. }
  416. }
  417. {
  418. const Status s = AddSecondaryEntries(primary_key, applicable_indices);
  419. if (!s.ok()) {
  420. return s;
  421. }
  422. }
  423. return Status::OK();
  424. }
  425. Status PutWithSecondaryIndices(ColumnFamilyHandle* column_family,
  426. const Slice& key, const Slice& value,
  427. bool do_validate) {
  428. return PutWithSecondaryIndicesImpl(column_family, key, value, do_validate);
  429. }
  430. Status PutEntityWithSecondaryIndices(ColumnFamilyHandle* column_family,
  431. const Slice& key,
  432. const WideColumns& columns,
  433. bool do_validate) {
  434. return PutWithSecondaryIndicesImpl(column_family, key, columns,
  435. do_validate);
  436. }
  437. template <typename Operation>
  438. Status DeleteWithSecondaryIndicesImpl(ColumnFamilyHandle* column_family,
  439. const Slice& key, bool do_validate,
  440. Operation&& operation) {
  441. if (!column_family) {
  442. column_family = Txn::DefaultColumnFamily();
  443. }
  444. {
  445. PinnableWideColumns existing_primary_columns;
  446. const Status s = GetPrimaryEntryForUpdate(
  447. column_family, key, &existing_primary_columns, do_validate);
  448. if (!s.ok()) {
  449. if (!s.IsNotFound()) {
  450. return s;
  451. }
  452. return Status::OK();
  453. } else {
  454. const Status st = RemoveSecondaryEntries(
  455. column_family, key, existing_primary_columns.columns());
  456. if (!st.ok()) {
  457. return st;
  458. }
  459. }
  460. }
  461. {
  462. const Status s = operation(column_family, key);
  463. if (!s.ok()) {
  464. return s;
  465. }
  466. }
  467. return Status::OK();
  468. }
  469. Status DeleteWithSecondaryIndices(ColumnFamilyHandle* column_family,
  470. const Slice& key, bool do_validate) {
  471. return DeleteWithSecondaryIndicesImpl(
  472. column_family, key, do_validate,
  473. [&](ColumnFamilyHandle* cfh, const Slice& primary_key) {
  474. assert(cfh);
  475. constexpr bool assume_tracked = true;
  476. return Txn::Delete(cfh, primary_key, assume_tracked);
  477. });
  478. }
  479. Status SingleDeleteWithSecondaryIndices(ColumnFamilyHandle* column_family,
  480. const Slice& key, bool do_validate) {
  481. return DeleteWithSecondaryIndicesImpl(
  482. column_family, key, do_validate,
  483. [&](ColumnFamilyHandle* cfh, const Slice& primary_key) {
  484. assert(cfh);
  485. constexpr bool assume_tracked = true;
  486. return Txn::SingleDelete(cfh, primary_key, assume_tracked);
  487. });
  488. }
  489. const std::vector<std::shared_ptr<SecondaryIndex>>* secondary_indices_;
  490. };
  491. } // namespace ROCKSDB_NAMESPACE