// Copyright (c) 2011-present, Facebook, Inc.  All rights reserved.

//  This source code is licensed under both the GPLv2 (found in the

//  COPYING file in the root directory) and Apache 2.0 License

//  (found in the LICENSE.Apache file in the root directory).

#pragma once

#include <algorithm>

#include <atomic>

#include <mutex>

#include <stack>

#include <string>

#include <unordered_map>

#include <vector>

#include "db/write_callback.h"

#include "rocksdb/db.h"

#include "rocksdb/slice.h"

#include "rocksdb/snapshot.h"

#include "rocksdb/status.h"

#include "rocksdb/types.h"

#include "rocksdb/utilities/transaction.h"

#include "rocksdb/utilities/transaction_db.h"

#include "rocksdb/utilities/write_batch_with_index.h"

#include "util/autovector.h"

#include "utilities/transactions/pessimistic_transaction.h"

#include "utilities/transactions/pessimistic_transaction_db.h"

#include "utilities/transactions/transaction_base.h"

#include "utilities/transactions/transaction_util.h"

namespace ROCKSDB_NAMESPACE {

class WritePreparedTxnDB;

// This impl could write to DB also uncommitted data and then later tell apart

// committed data from uncommitted data. Uncommitted data could be after the

// Prepare phase in 2PC (WritePreparedTxn) or before that

// (WriteUnpreparedTxnImpl).

class WritePreparedTxn : public PessimisticTransaction {

 public:

  WritePreparedTxn(WritePreparedTxnDB* db, const WriteOptions& write_options,

                   const TransactionOptions& txn_options);

  // No copying allowed

  WritePreparedTxn(const WritePreparedTxn&) = delete;

  void operator=(const WritePreparedTxn&) = delete;

  virtual ~WritePreparedTxn() {}

  // To make WAL commit markers visible, the snapshot will be based on the last

  // seq in the WAL that is also published, LastPublishedSequence, as opposed to

  // the last seq in the memtable.

  using Transaction::Get;

  Status Get(const ReadOptions& _read_options,

             ColumnFamilyHandle* column_family, const Slice& key,

             PinnableSlice* value) override;

  using Transaction::MultiGet;

  void MultiGet(const ReadOptions& _read_options,

                ColumnFamilyHandle* column_family, const size_t num_keys,

                const Slice* keys, PinnableSlice* values, Status* statuses,

                const bool sorted_input = false) override;

  // Note: The behavior is undefined in presence of interleaved writes to the

  // same transaction.

  // To make WAL commit markers visible, the snapshot will be

  // based on the last seq in the WAL that is also published,

  // LastPublishedSequence, as opposed to the last seq in the memtable.

  using Transaction::GetIterator;

  Iterator* GetIterator(const ReadOptions& options) override;

  Iterator* GetIterator(const ReadOptions& options,

                        ColumnFamilyHandle* column_family) override;

  std::unique_ptr<Iterator> GetCoalescingIterator(

      const ReadOptions& read_options,

      const std::vector<ColumnFamilyHandle*>& column_families) override;

  std::unique_ptr<AttributeGroupIterator> GetAttributeGroupIterator(

      const ReadOptions& read_options,

      const std::vector<ColumnFamilyHandle*>& column_families) override;

  void SetSnapshot() override;

 protected:

  void Initialize(const TransactionOptions& txn_options) override;

  // Override the protected SetId to make it visible to the friend class

  // WritePreparedTxnDB

  inline void SetId(uint64_t id) override { Transaction::SetId(id); }

 private:

  friend class WritePreparedTransactionTest_BasicRecoveryTest_Test;

  friend class WritePreparedTxnDB;

  friend class WriteUnpreparedTxnDB;

  friend class WriteUnpreparedTxn;

  using Transaction::GetImpl;

  Status GetImpl(const ReadOptions& options, ColumnFamilyHandle* column_family,

                 const Slice& key, PinnableSlice* value) override;

  Status PrepareInternal() override;

  Status CommitWithoutPrepareInternal() override;

  Status CommitBatchInternal(WriteBatch* batch, size_t batch_cnt) override;

  // Since the data is already written to memtables at the Prepare phase, the

  // commit entails writing only a commit marker in the WAL. The sequence number

  // of the commit marker is then the commit timestamp of the transaction. To

  // make WAL commit markers visible, the snapshot will be based on the last seq

  // in the WAL that is also published, LastPublishedSequence, as opposed to the

  // last seq in the memtable.

  Status CommitInternal() override;

  Status RollbackInternal() override;

  Status ValidateSnapshot(ColumnFamilyHandle* column_family, const Slice& key,

                          SequenceNumber* tracked_at_seq) override;

  Status RebuildFromWriteBatch(WriteBatch* src_batch) override;

  WritePreparedTxnDB* wpt_db_;

  // Number of sub-batches in prepare

  size_t prepare_batch_cnt_ = 0;

};

}  // namespace ROCKSDB_NAMESPACE