MySQL 8.0.43
Source Code Documentation
ddl0impl-buffer.h
Go to the documentation of this file.
1/*****************************************************************************
2
3Copyright (c) 2020, 2025, Oracle and/or its affiliates.
4
5This program is free software; you can redistribute it and/or modify it under
6the terms of the GNU General Public License, version 2.0, as published by the
7Free Software Foundation.
8
9This program is designed to work with certain software (including
10but not limited to OpenSSL) that is licensed under separate terms,
11as designated in a particular file or component or in included license
12documentation. The authors of MySQL hereby grant you an additional
13permission to link the program and your derivative works with the
14separately licensed software that they have either included with
15the program or referenced in the documentation.
16
17This program is distributed in the hope that it will be useful, but WITHOUT
18ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
19FOR A PARTICULAR PURPOSE. See the GNU General Public License, version 2.0,
20for more details.
21
22You should have received a copy of the GNU General Public License along with
23this program; if not, write to the Free Software Foundation, Inc.,
2451 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
25
26*****************************************************************************/
27
28/** @file include/ddl0impl-buffer.h
29 DDL buffer infrastructure.
30 Created 2020-11-01 by Sunny Bains. */
31
32#ifndef ddl0impl_buffer_h
33#define ddl0impl_buffer_h
34
35#include "ddl0impl.h"
36#include "dict0dict.h"
37
38namespace ddl {
39/** Buffer for sorting in main memory. */
41 /** Callback for writing serialized data to to disk.
42 @param[in] io_buffer Buffer to persist - aligned to IO_BLOCK_SIZE.
43 @return DB_SUCCES or error code. */
44 using Function = std::function<dberr_t(IO_buffer io_buffer)>;
45
46 /** Constructor.
47 @param[in,out] index Sort buffer is for this index.
48 @param[in] size Sort buffer size in bytes. */
49 explicit Key_sort_buffer(dict_index_t *index, size_t size) noexcept;
50
51 /** Destructor. */
53
54 /** Sort the elements in m_dtuples.
55 @param[in,out] dup For collecting the duplicate rows. */
56 void sort(ddl::Dup *dup) noexcept;
57
58 /** Serialize the contents for storing to disk.
59 @param[in] io_buffer Buffer for serializing.
60 @param[in] persist Function for persisting the data.
61 @return DB_SUCCESS or error code. */
62 dberr_t serialize(IO_buffer io_buffer, Function persist) noexcept;
63
64 /** Reset the sort buffer. clear the heap and entries. */
65 void clear() noexcept;
66
67 /** @return true if the index is clustered. */
68 [[nodiscard]] bool is_clustered() const noexcept {
69 return m_index->is_clustered();
70 }
71
72 /** @return true if the index is an FTS index. */
73 [[nodiscard]] bool is_fts() const noexcept {
74 return m_index->type & DICT_FTS;
75 }
76
77 /** @return true if the index has a unique constraint. */
78 [[nodiscard]] bool is_unique() const noexcept {
80 }
81
82 /** @return the heap to use. */
83 [[nodiscard]] mem_heap_t *heap() noexcept { return m_heap; }
84
85 /** @return number of tuples stored so far. */
86 [[nodiscard]] size_t size() const noexcept { return m_n_tuples; }
87
88 /** @return true if the buffer is empty. */
89 [[nodiscard]] bool empty() const noexcept { return size() == 0; }
90
91 /** @return a references to the last element. */
92 [[nodiscard]] dfield_t *&back() noexcept {
93 ut_a(!empty());
94 return m_dtuples[size() - 1];
95 }
96
97 /** Allocate fields from the heap.
98 @param[in] n Number of fields to allocate.
99 @return an array of n dfields. */
100 dfield_t *alloc(size_t n) noexcept {
101 const auto sz = sizeof(dfield_t) * n;
102 m_total_size += sz;
103 return static_cast<dfield_t *>(mem_heap_alloc(m_heap, sz));
104 }
105
106 /** Check if n bytes will fit in the buffer.
107 @param[in] n Number of bytes to check.
108 @return true if n bytes will fit in the buffer. */
109 bool will_fit(size_t n) const noexcept {
110 /* Reserve one byte for the end marker and adjust for meta-data overhead. */
111 return m_total_size + m_dtuples.size() * 2 * sizeof(m_dtuples[0]) + n <=
112 m_buffer_size - 1;
113 }
114
115 /** Deep copy the field data starting from the back.
116 @param[in] n_fields Number of fields to copy.
117 @param[in] data_size Size in bytes of the data to copy. */
118 void deep_copy(size_t n_fields, size_t data_size) noexcept;
119
120 /** Compare two merge data tuples.
121 @param[in] lhs Fields to compare on the LHS
122 @param[in] rhs Fields to compare on the RHS
123 @param[in,out] dup For capturing duplicates (or nullptr).
124 @retval +ve - if lhs > rhs
125 @retval -ve - if lhs < rhs
126 @retval 0 - if lhs == rhs */
127 [[nodiscard]] static int compare(const dfield_t *lhs, const dfield_t *rhs,
128 Dup *dup) noexcept;
129
130 using DTuple = dfield_t *;
131 using DTuples = std::vector<DTuple, ut::allocator<DTuple>>;
132
133 /** Memory heap where allocated */
135
136 /** The index the tuples belong to */
138
139 /** Total amount of data allocated from m_heap, which includes:
140 i. one dfield_t[n_fields] array per row, allocated via alloc(n_fields) calls
141 ii. actual field's data cloned into the m_heap, via deep_clone(...,) calls
142 This is updated by alloc() and deep_clone().
143 It should roughly match the value of:
144 mem_heap_get_size(m_heap)-mem_block_get_free(UT_LIST_GET_LAST(m_heap->base)).
145 This, when combined with the memory consumption of m_dtuples, should not
146 exceed the m_buffer_size budget */
147 size_t m_total_size{};
148
149 /** Number of data tuples */
150 size_t m_n_tuples{};
151
152 /** Array of data tuples */
154
155 /** Buffer size. */
157};
158
159} // namespace ddl
160
161#endif /* !ddl0impl_buffer_h */
A utility class which, if inherited from, prevents the descendant class from being copied,...
Definition: ut0class_life_cycle.h:41
dberr_t
Definition: db0err.h:39
DDL implementation include file.
Data dictionary system.
static ulint dict_index_is_unique(const dict_index_t *index)
Check whether the index is unique.
constexpr uint32_t DICT_FTS
FTS index; can't be combined with the other flags.
Definition: dict0mem.h:104
static void * mem_heap_alloc(mem_heap_t *heap, ulint n)
Allocates n bytes of memory from a memory heap.
static void mem_heap_free(mem_heap_t *heap)
Frees the space occupied by a memory heap.
The general architecture is that the work is done in two phases, roughly the read and write phase.
Definition: btr0load.cc:42
std::pair< byte *, os_offset_t > IO_buffer
Block size for DDL I/O operations.
Definition: ddl0impl.h:47
Structure for reporting duplicate records.
Definition: ddl0ddl.h:132
Buffer for sorting in main memory.
Definition: ddl0impl-buffer.h:40
std::function< dberr_t(IO_buffer io_buffer)> Function
Callback for writing serialized data to to disk.
Definition: ddl0impl-buffer.h:44
bool is_fts() const noexcept
Definition: ddl0impl-buffer.h:73
bool will_fit(size_t n) const noexcept
Check if n bytes will fit in the buffer.
Definition: ddl0impl-buffer.h:109
Key_sort_buffer(dict_index_t *index, size_t size) noexcept
Constructor.
Definition: ddl0buffer.cc:81
size_t m_buffer_size
Buffer size.
Definition: ddl0impl-buffer.h:156
size_t size() const noexcept
Definition: ddl0impl-buffer.h:86
dfield_t * alloc(size_t n) noexcept
Allocate fields from the heap.
Definition: ddl0impl-buffer.h:100
std::vector< DTuple, ut::allocator< DTuple > > DTuples
Definition: ddl0impl-buffer.h:131
static int compare(const dfield_t *lhs, const dfield_t *rhs, Dup *dup) noexcept
Compare two merge data tuples.
Definition: ddl0buffer.cc:245
bool is_clustered() const noexcept
Definition: ddl0impl-buffer.h:68
dberr_t serialize(IO_buffer io_buffer, Function persist) noexcept
Serialize the contents for storing to disk.
Definition: ddl0buffer.cc:116
size_t m_n_tuples
Number of data tuples.
Definition: ddl0impl-buffer.h:150
bool is_unique() const noexcept
Definition: ddl0impl-buffer.h:78
size_t m_total_size
Total amount of data allocated from m_heap, which includes: i.
Definition: ddl0impl-buffer.h:147
mem_heap_t * heap() noexcept
Definition: ddl0impl-buffer.h:83
dict_index_t * m_index
The index the tuples belong to.
Definition: ddl0impl-buffer.h:137
void deep_copy(size_t n_fields, size_t data_size) noexcept
Deep copy the field data starting from the back.
Definition: ddl0buffer.cc:86
DTuples m_dtuples
Array of data tuples.
Definition: ddl0impl-buffer.h:153
dfield_t *& back() noexcept
Definition: ddl0impl-buffer.h:92
~Key_sort_buffer() noexcept
Destructor.
Definition: ddl0impl-buffer.h:52
mem_heap_t * m_heap
Memory heap where allocated.
Definition: ddl0impl-buffer.h:134
void sort(ddl::Dup *dup) noexcept
Sort the elements in m_dtuples.
Definition: ddl0buffer.cc:103
void clear() noexcept
Reset the sort buffer.
Definition: ddl0buffer.cc:96
bool empty() const noexcept
Definition: ddl0impl-buffer.h:89
Structure for an SQL data field.
Definition: data0data.h:617
Data structure for an index.
Definition: dict0mem.h:1046
unsigned type
index type (DICT_CLUSTERED, DICT_UNIQUE, DICT_IBUF, DICT_CORRUPT)
Definition: dict0mem.h:1073
bool is_clustered() const
Definition: dict0mem.h:1311
The info structure stored at the beginning of a heap block.
Definition: mem0mem.h:302
#define ut_a(EXPR)
Abort execution if EXPR does not evaluate to nonzero.
Definition: ut0dbg.h:57
int n
Definition: xcom_base.cc:509