lbug 0.22.0

An in-process property graph database management system built for query speed and scalability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

#pragma once

#include "common/data_chunk/sel_vector.h"
#include "common/types/types.h"

namespace lbug {
namespace transaction {
class Transaction;
} // namespace transaction

namespace storage {

class ChunkedNodeGroup;
struct VectorVersionInfo;

class LBUG_API VersionInfo {
public:
    VersionInfo();
    ~VersionInfo();
    DELETE_BOTH_COPY(VersionInfo);

    void append(common::transaction_t transactionID, common::row_idx_t startRow,
        common::row_idx_t numRows);
    bool delete_(common::transaction_t transactionID, common::row_idx_t rowIdx);

    bool isSelected(common::transaction_t startTS, common::transaction_t transactionID,
        common::row_idx_t rowIdx) const;
    void getSelVectorToScan(common::transaction_t startTS, common::transaction_t transactionID,
        common::SelectionVector& selVector, common::row_idx_t startRow,
        common::row_idx_t numRows) const;

    void clearVectorInfo(common::idx_t vectorIdx);

    bool hasDeletions() const;
    // Rows whose delete the transaction can see. Insert stamps are not checked.
    common::row_idx_t getNumDeletions(const transaction::Transaction* transaction,
        common::row_idx_t startRow, common::length_t numRows) const;
    common::row_idx_t getNumVisibleRows(const transaction::Transaction* transaction,
        common::row_idx_t startRow, common::length_t numRows) const;
    // Rows whose insert the transaction can see, deleted or not.
    common::row_idx_t getNumInsertedRows(const transaction::Transaction* transaction,
        common::row_idx_t startRow, common::length_t numRows) const;
    // Appends to `rows` the rows in [startRow, startRow + numRows) whose delete the transaction can
    // see, as row indices in the group, not offsets from startRow. Insert stamps are not checked.
    void getDeletedRows(const transaction::Transaction* transaction, common::row_idx_t startRow,
        common::length_t numRows, std::vector<common::row_idx_t>& rows) const;
    bool hasInsertions() const;
    bool isDeleted(const transaction::Transaction* transaction, common::row_idx_t rowInChunk) const;
    bool isInserted(const transaction::Transaction* transaction,
        common::row_idx_t rowInChunk) const;

    bool hasDeletions(const transaction::Transaction* transaction) const;

    common::idx_t getNumVectors() const { return vectorsInfo.size(); }

    // Insert/delete commit timestamp of a single row, or INVALID_TRANSACTION when the row
    // carries no entry (baked pre-history). Uncommitted entries surface as their writer ID.
    common::transaction_t getInsertCommitTS(common::row_idx_t rowInChunk) const;
    common::transaction_t getDeleteCommitTS(common::row_idx_t rowInChunk) const;
    // Records a retained insert stamp on a checkpoint-built VersionInfo. Rows never stamped
    // stay baked-visible (fresh vectors default to visible); only stamped rows filter.
    void stampInsertCommitTS(common::row_idx_t rowInChunk, common::transaction_t commitTS);
    void stampDeleteCommitTS(common::row_idx_t rowInChunk, common::transaction_t commitTS);
    // True when any entry still filters readers at the horizon (committed at/after it, or
    // uncommitted). Baked entries (0) and absent entries do not count.
    bool hasRetainedEntries(common::transaction_t horizon) const;

    void commitInsert(common::row_idx_t startRow, common::row_idx_t numRows,
        common::transaction_t commitTS);
    void rollbackInsert(common::row_idx_t startRow, common::row_idx_t numRows);
    void commitDelete(common::row_idx_t startRow, common::row_idx_t numRows,
        common::transaction_t commitTS);
    void rollbackDelete(common::row_idx_t startRow, common::row_idx_t numRows);

    void serialize(common::Serializer& serializer) const;
    static std::unique_ptr<VersionInfo> deserialize(common::Deserializer& deSer);

private:
    // Return nullptr when vectorIdx is out of range or when the vector is not created.
    VectorVersionInfo* getVectorVersionInfo(common::idx_t vectorIdx) const;
    VectorVersionInfo& getOrCreateVersionInfo(common::idx_t vectorIdx);

    std::vector<std::unique_ptr<VectorVersionInfo>> vectorsInfo;
};

} // namespace storage
} // namespace lbug