cosmos-sdk/db
Roy Crihfield 88f39ad8de
feat: ADR-040: Implement DBConnection.Revert (#10308)
Implements the `DBConnection.Revert` method which reverts DB state to the last saved version. This will be need to implement atomic commits with the KV store for https://github.com/cosmos/cosmos-sdk/pull/9892 (supports [ADR-040](eb7d939f86/docs/architecture/adr-040-storage-and-smt-state-commitments.md)).

Closes: https://github.com/cosmos/cosmos-sdk/pull/10308

---

### Author Checklist

*All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.*

I have...

- [x] included the correct [type prefix](https://github.com/commitizen/conventional-commit-types/blob/v3.0.0/index.json) in the PR title
- [ ] added `!` to the type prefix if API or client breaking change
- [x] targeted the correct branch (see [PR Targeting](https://github.com/cosmos/cosmos-sdk/blob/master/CONTRIBUTING.md#pr-targeting))
- [x] provided a link to the relevant issue or specification
- [ ] followed the guidelines for [building modules](https://github.com/cosmos/cosmos-sdk/blob/master/docs/building-modules)
- [x] included the necessary unit and integration [tests](https://github.com/cosmos/cosmos-sdk/blob/master/CONTRIBUTING.md#testing)
- [x] added a changelog entry to `CHANGELOG.md`
- [x] included comments for [documenting Go code](https://blog.golang.org/godoc)
- [x] updated the relevant documentation or specification
- [x] reviewed "Files changed" and left comments if necessary
- [ ] confirmed all CI checks have passed

### Reviewers Checklist

*All items are required. Please add a note if the item is not applicable and please add
your handle next to the items reviewed if you only reviewed selected items.*

I have...

- [ ] confirmed the correct [type prefix](https://github.com/commitizen/conventional-commit-types/blob/v3.0.0/index.json) in the PR title
- [ ] confirmed `!` in the type prefix if API or client breaking change
- [ ] confirmed all author checklist items have been addressed 
- [ ] reviewed state machine logic
- [ ] reviewed API design and naming
- [ ] reviewed documentation is accurate
- [ ] reviewed tests and test coverage
- [ ] manually tested (if applicable)
2021-10-08 10:44:37 +00:00
..
badgerdb feat: ADR-040: Implement DBConnection.Revert (#10308) 2021-10-08 10:44:37 +00:00
dbtest feat: ADR-040: Implement DBConnection.Revert (#10308) 2021-10-08 10:44:37 +00:00
internal feat: ADR-040: Implement RocksDB backend (#9851) 2021-10-05 15:39:55 +00:00
memdb feat: ADR-040: Implement DBConnection.Revert (#10308) 2021-10-08 10:44:37 +00:00
rocksdb feat: ADR-040: Implement DBConnection.Revert (#10308) 2021-10-08 10:44:37 +00:00
README.md feat: ADR-040: Implement RocksDB backend (#9851) 2021-10-05 15:39:55 +00:00
go.mod feat: ADR-040: Implement RocksDB backend (#9851) 2021-10-05 15:39:55 +00:00
go.sum feat: ADR-040: Implement RocksDB backend (#9851) 2021-10-05 15:39:55 +00:00
types.go feat: ADR-040: Implement DBConnection.Revert (#10308) 2021-10-08 10:44:37 +00:00
version_manager.go feat: ADR-040: Implement BadgerDB backend (#9848) 2021-09-15 02:58:10 +00:00
version_manager_test.go feat: ADR 040: Implement in-memory DB backend (#9952) 2021-08-31 08:09:37 +00:00

README.md

Key-Value Database

Databases supporting mappings of arbitrary byte sequences.

Interfaces

The database interface types consist of objects to encapsulate the singular connection to the DB, transactions being made to it, historical version state, and iteration.

DBConnection

This interface represents a connection to a versioned key-value database. All versioning operations are performed using methods on this type.

  • The Versions method returns a VersionSet which represents an immutable view of the version history at the current state.
  • Version history is modified via the {Save,Delete}Version methods.
  • Operations on version history do not modify any database contents.

DBReader, DBWriter, and DBReadWriter

These types represent transactions on the database contents. Their methods provide CRUD operations as well as iteration.

  • Writeable transactions call Commit flushes operations to the source DB.
  • All open transactions must be closed with Discard or Commit before a new version can be saved on the source DB.
  • The maximum number of safely concurrent transactions is dependent on the backend implementation.
  • A single transaction object is not safe for concurrent use.
  • Write conflicts on concurrent transactions will cause an error at commit time (optimistic concurrency control).

Iterator

  • An iterator is invalidated by any writes within its Domain to the source transaction while it is open.
  • An iterator must call Close before its source transaction is closed.

VersionSet

This represents a self-contained and immutable view of a database's version history state. It is therefore safe to retain and conccurently access any instance of this object.

Implementations

In-memory DB

The in-memory DB in the db/memdb package cannot be persisted to disk. It is implemented using the Google btree library.

  • This currently does not perform write conflict detection, so it only supports a single open write-transaction at a time. Multiple and concurrent read-transactions are supported.

BadgerDB

A BadgerDB-based backend. Internally, this uses BadgerDB's "managed" mode for version management. Note that Badger only recognizes write conflicts for rows that are read after a conflicting transaction was opened. In other words, the following will raise an error:

tx1, tx2 := db.Writer(), db.ReadWriter()
key := []byte("key")
tx2.Get(key)
tx1.Set(key, []byte("a"))
tx2.Set(key, []byte("b"))
tx1.Commit()        // ok
err := tx2.Commit() // err is non-nil

But this will not:

tx1, tx2 := db.Writer(), db.ReadWriter()
key := []byte("key")
tx1.Set(key, []byte("a"))
tx2.Set(key, []byte("b"))
tx1.Commit() // ok
tx2.Commit() // ok

RocksDB

A RocksDB-based backend. Internally this uses OptimisticTransactionDB to allow concurrent transactions with write conflict detection. Historical versioning is internally implemented with Checkpoints.