MySQL 9.1.0
Source Code Documentation
clone0repl.h
Go to the documentation of this file.
1/*****************************************************************************
2
3Copyright (c) 2018, 2024, 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/clone0repl.h
29 GTID persistence interface
30
31 *******************************************************/
32
33#ifndef CLONE_REPL_INCLUDE
34#define CLONE_REPL_INCLUDE
35
36#include <vector>
37#include "clone0monitor.h"
38#include "os0thread-create.h"
39#include "sql/rpl_gtid.h"
40#include "srv0srv.h"
41#include "srv0start.h"
42#include "trx0sys.h"
43
45
46/** Serialized GTID information size */
47inline constexpr size_t GTID_INFO_SIZE = 64;
48
49/** GTID format version. */
50inline constexpr uint32_t GTID_VERSION = 2;
51
52/** Serialized GTID */
53using Gtid_info = std::array<unsigned char, GTID_INFO_SIZE>;
54
55struct Gtid_desc;
56
57/** List of GTIDs */
58using Gtid_info_list = std::vector<Gtid_desc>;
59
60/** GTID descriptor with version information. */
61struct Gtid_desc {
62 /** If GTID descriptor is set. */
64 /** Serialized GTID information. */
66 /* GTID version. */
67 uint32_t m_version;
68};
69
70/** Persist GTID along with transaction commit */
72 public:
73 /** Constructor: start gtid thread */
76 /* No background is created yet. */
77 m_thread_active.store(false);
78 m_gtid_trx_no.store(0);
79 m_flush_number.store(0);
80 m_explicit_request.store(false);
81 m_active_number.store(m_flush_number.load() + 1);
82 /* We accept GTID even before the background service is started. This
83 is needed because we add GTIDs from undo log during recovery. */
84 m_active.store(true);
85 m_num_gtid_mem.store(0);
86 m_flush_in_progress.store(false);
87 m_close_thread.store(false);
88 }
89
90 /** Destructor: stop gtid thread */
92 ut_ad(!m_thread_active.load());
93 stop();
95 }
96
97 /** Start GTID persistence and background thread.
98 @return true, if successful. */
99 bool start();
100
101 /* Stop GTID persistence. */
102 void stop();
103
104 /* Wait for immediate flush.
105 @param[in] compress_gtid request GTID compression.
106 @param[in] early_timeout don't wait long if flush is blocked.
107 @param[in] cbk alert callback for long wait. */
108 void wait_flush(bool compress_gtid, bool early_timeout, Clone_Alert_Func cbk);
109
110 /**@return true, if GTID persistence is active. */
111 bool is_active() const { return (m_active.load()); }
112
113 /**@return true, if GTID thread is active. */
114 bool is_thread_active() const { return (m_thread_active.load()); }
115
116 /** Get oldest transaction number for which GTID is not persisted to table.
117 Transactions committed after this point should not be purged.
118 @return oldest transaction number. */
120 trx_id_t ret_no = m_gtid_trx_no.load();
121 /* Should never be zero. It can be set to max only before
122 GTID persister is active and no GTID is persisted. */
124 if (ret_no == TRX_ID_MAX) {
126 ut_ad(m_num_gtid_mem.load() == 0);
127 } else if (m_num_gtid_mem.load() == 0) {
128 /* For all transactions that are committed before this function is called
129 have their GTID flushed if flush is not in progress. "flush not in
130 progress" is sufficient but not necessary condition here. This is mainly
131 for cases when there is no GTID and purge doesn't need to wait. */
132 if (!m_flush_in_progress.load()) {
133 ret_no = TRX_ID_MAX;
134 }
135 }
136 return (ret_no);
137 }
138
139 /** Set oldest transaction number for which GTID is not persisted to table.
140 This is set during recovery from persisted value.
141 @param[in] max_trx_no transaction number */
143 ib::info(ER_IB_CLONE_GTID_PERSIST)
144 << "GTID recovery trx_no: " << max_trx_no;
145 /* Zero is special value. It is from old database without GTID
146 persistence. */
147 if (max_trx_no == 0) {
148 max_trx_no = TRX_ID_MAX;
149 }
150 m_gtid_trx_no.store(max_trx_no);
151 }
152
153 /** Get transaction GTID information.
154 @param[in,out] trx innodb transaction
155 @param[out] gtid_desc descriptor with serialized GTID */
156 void get_gtid_info(trx_t *trx, Gtid_desc &gtid_desc);
157
158 /** Set transaction flag to persist GTID and check if space need to be
159 allocated for GTID.
160 @param[in,out] trx current innodb transaction
161 @param[in] prepare if operation is Prepare
162 @param[in] rollback if operation is Rollback
163 @param[out] set_explicit if explicitly set to persist GTID
164 @return true, if undo space needs to be allocated. */
165 bool trx_check_set(trx_t *trx, bool prepare, bool rollback,
166 bool &set_explicit);
167
168 /** Check if current transaction has GTID.
169 @param[in] trx innodb transaction
170 @param[in,out] thd session THD
171 @param[out] passed_check true if transaction is good for GTID
172 @return true, if transaction has valid GTID. */
173 bool has_gtid(trx_t *trx, THD *&thd, bool &passed_check);
174
175 /** Check if GTID persistence is set
176 @param[in] trx current innnodb transaction
177 @return GTID storage type. */
179
180 /** Set or reset GTID persist flag in THD.
181 @param[in,out] trx current innnodb transaction
182 @param[in] set true, if need to set */
183 void set_persist_gtid(trx_t *trx, bool set);
184
185 /** Add GTID to in memory list.
186 @param[in] gtid_desc Descriptor with serialized GTID */
187 void add(const Gtid_desc &gtid_desc);
188
189 /** Write GTIDs periodically to disk table. */
190 void periodic_write();
191
192 /** Write GTIDs of non Innodb transactions to table. */
193 int write_other_gtids();
194
195 /** Disable copy construction */
197
198 /** Disable assignment */
200
201 private:
202 /** Check if GTID needs to persist at XA prepare.
203 @param[in] thd session THD
204 @param[in,out] trx current innnodb transaction
205 @param[in] found_gtid session is owning GTID
206 @param[in,out] alloc in:transaction checks are passed
207 out:GTID space need to be allocated
208 @return true, if GTID needs to be persisted */
209 bool check_gtid_prepare(THD *thd, trx_t *trx, bool found_gtid, bool &alloc);
210
211 /** Check if GTID needs to persist at commit.
212 @param[in] thd session THD
213 @param[in] found_gtid session is owning GTID
214 @param[out] set_explicit if explicitly set to persist GTID
215 @return true, if GTID needs to be persisted */
216 bool check_gtid_commit(THD *thd, bool found_gtid, bool &set_explicit);
217
218 /** Check if GTID needs to persist at rollback.
219 @param[in] thd session THD
220 @param[in,out] trx current innnodb transaction
221 @param[in] found_gtid session is owning GTID
222 @return true, if GTID needs to be persisted */
223 bool check_gtid_rollback(THD *thd, trx_t *trx, bool found_gtid);
224
225 /** Wait for gtid thread to start, finish or flush.
226 @param[in] start if waiting for start
227 @param[in] flush wait for immediate flush
228 @param[in] flush_number wait flush to reach this number
229 @param[in] compress wait also for compression
230 @param[in] early_timeout don't wait long if flush is blocked
231 @param[in] cbk alert callback for long wait
232 @return true if successful. */
233 bool wait_thread(bool start, bool flush, uint64_t flush_number, bool compress,
234 bool early_timeout, Clone_Alert_Func cbk);
235
236 /** @return current active GTID list */
239 return (get_list(m_active_number));
240 }
241
242 /** @return GTID list by number.
243 @param[in] list_number list number
244 @return GTID list reference. */
245 Gtid_info_list &get_list(uint64_t list_number) {
246 int list_index = (list_number & static_cast<uint64_t>(1));
247 return (m_gtids[list_index]);
248 }
249
250 /** Check if we need to skip write or compression based on debug variables.
251 @param[in] compression check for compression
252 @return true, if we should skip. */
253 bool debug_skip_write(bool compression);
254
255 /** Request immediate flush of all GTIDs accumulated.
256 @param[in] compress request compression of GTID table
257 @return flush list number to track and wait for flush to complete. */
260 /* We want to flush all GTIDs. */
261 uint64_t request_number = m_active_number.load();
262 /* If no GTIDs added to active, wait for previous index. */
263 if (m_num_gtid_mem.load() == 0) {
264 ut_a(request_number > 0);
265 --request_number;
266 }
267 m_flush_request_number = request_number;
269
270 if (compress) {
271 m_explicit_request.store(true);
272 }
273 return (request_number);
274 }
275
276 /** Check if flush has finished up to a list number.
277 @param[in] request_number flush request number
278 @return true, if it is already flushed. */
279 bool check_flushed(uint64_t request_number) const {
280 return (m_flush_number >= request_number);
281 }
282
283 /** @return true, iff background needs to flush immediately. */
284 bool flush_immediate() const {
286 }
287
288 /** Check if GTID compression is necessary based on threshold.
289 @return true, if GTID table needs to be compressed. */
290 bool check_compress();
291
292 /** Switch active GTID list. */
294 /* Switch active list under transaction system mutex. */
296 uint64_t flush_number = m_active_number;
299 m_num_gtid_mem.store(0);
300#ifdef UNIV_DEBUG
301 /* The new active list must have no elements. */
302 auto &active_list = get_active_list();
303 ut_ad(active_list.size() == 0);
304#endif
305 return (flush_number);
306 }
307
308 /** Persist GTID to gtid_executed table.
309 @param[in] flush_list_number list number to flush
310 @param[in,out] table_gtid_set GTIDs in table during recovery
311 @param[in,out] tsid_map TSID map for GTIDs
312 @return mysql error code. */
313 int write_to_table(uint64_t flush_list_number, Gtid_set &table_gtid_set,
314 Tsid_map &tsid_map);
315
316 /** Update transaction number up to which GTIDs are flushed to table.
317 @param[in] new_gtid_trx_no GTID transaction number */
318 void update_gtid_trx_no(trx_id_t new_gtid_trx_no);
319
320 /** Write all GTIDs to table and update GTID transaction number.
321 @param[in,out] thd current session thread */
322 void flush_gtids(THD *thd);
323
324 /** @return true iff number of GTIDs in active list exceeded threshold. */
326
327 private:
328 /** Time threshold to trigger persisting GTID. Insert GTID once per 1k
329 transactions or every 100 millisecond. */
330 static constexpr std::chrono::milliseconds s_time_threshold{100};
331
332 /** Threshold for the count for compressing GTID. */
333 const static uint32_t s_compression_threshold = 50;
334
335 /** Number of transaction/GTID threshold for writing to disk table. */
336 const static int s_gtid_threshold = 1024;
337
338 /** Maximum Number of transaction/GTID to hold. Transaction commits
339 must wait beyond this point. Not expected to happen as GTIDs are
340 compressed and written together. */
341 const static int s_max_gtid_threshold = 1024 * 1024;
342
343 /** Two lists of GTID. One of them is active where running transactions
344 add their GTIDs. Other list is used to persist them to table from time
345 to time. */
347
348 /** Number of the current GTID list. Increased when list is switched */
349 std::atomic<uint64_t> m_active_number;
350
351 /** Number up to which GTIDs are flushed. Increased when list is flushed.*/
352 std::atomic<uint64_t> m_flush_number;
353
354 /** If explicit request to flush is made. */
355 std::atomic<bool> m_explicit_request;
356
357 /** Number for which last flush request was made. */
359
360 /** Event for GTID background thread. */
362
363 /** Counter to keep track of the number of writes till it reaches
364 compression threshold. */
366
367 /** Counter to keep number of GTIDs flushed before compression. */
369
370 /* Oldest transaction number for which GTID is not persisted. */
371 std::atomic<uint64_t> m_gtid_trx_no;
372
373 /** Number of GTID accumulated in memory */
374 std::atomic<int> m_num_gtid_mem;
375
376 /** Flush of GTID is in progress. */
377 std::atomic<bool> m_flush_in_progress;
378
379 /** Set to true, when the background thread is asked to exit. */
380 std::atomic<bool> m_close_thread;
381
382 /** true, if background thread is active.*/
383 std::atomic<bool> m_thread_active;
384
385 /** true, if GTID persistence is active.*/
386 std::atomic<bool> m_active;
387};
388
389#endif /* CLONE_REPL_INCLUDE */
Persist GTID along with transaction commit.
Definition: clone0repl.h:71
std::atomic< bool > m_flush_in_progress
Flush of GTID is in progress.
Definition: clone0repl.h:377
trx_id_t get_oldest_trx_no()
Get oldest transaction number for which GTID is not persisted to table.
Definition: clone0repl.h:119
static const int s_max_gtid_threshold
Maximum Number of transaction/GTID to hold.
Definition: clone0repl.h:341
Clone_persist_gtid & operator=(Clone_persist_gtid const &)=delete
Disable assignment.
bool wait_thread(bool start, bool flush, uint64_t flush_number, bool compress, bool early_timeout, Clone_Alert_Func cbk)
Wait for gtid thread to start, finish or flush.
Definition: clone0repl.cc:651
bool start()
Start GTID persistence and background thread.
Definition: clone0repl.cc:719
void stop()
Definition: clone0repl.cc:738
bool has_gtid(trx_t *trx, THD *&thd, bool &passed_check)
Check if current transaction has GTID.
Definition: clone0repl.cc:280
trx_undo_t::Gtid_storage persists_gtid(const trx_t *trx)
Check if GTID persistence is set.
Definition: clone0repl.cc:87
static const int s_gtid_threshold
Number of transaction/GTID threshold for writing to disk table.
Definition: clone0repl.h:336
void set_persist_gtid(trx_t *trx, bool set)
Set or reset GTID persist flag in THD.
Definition: clone0repl.cc:108
std::atomic< bool > m_explicit_request
If explicit request to flush is made.
Definition: clone0repl.h:355
bool is_active() const
Definition: clone0repl.h:111
void update_gtid_trx_no(trx_id_t new_gtid_trx_no)
Update transaction number up to which GTIDs are flushed to table.
Definition: clone0repl.cc:484
static constexpr std::chrono::milliseconds s_time_threshold
Time threshold to trigger persisting GTID.
Definition: clone0repl.h:330
std::atomic< int > m_num_gtid_mem
Number of GTID accumulated in memory.
Definition: clone0repl.h:374
Gtid_info_list & get_active_list()
Definition: clone0repl.h:237
Gtid_info_list m_gtids[2]
Two lists of GTID.
Definition: clone0repl.h:346
bool check_gtid_rollback(THD *thd, trx_t *trx, bool found_gtid)
Check if GTID needs to persist at rollback.
Definition: clone0repl.cc:242
bool check_flushed(uint64_t request_number) const
Check if flush has finished up to a list number.
Definition: clone0repl.h:279
bool debug_skip_write(bool compression)
Check if we need to skip write or compression based on debug variables.
Definition: clone0repl.cc:408
void periodic_write()
Write GTIDs periodically to disk table.
Definition: clone0repl.cc:587
Clone_persist_gtid()
Constructor: start gtid thread.
Definition: clone0repl.h:74
std::atomic< uint64_t > m_active_number
Number of the current GTID list.
Definition: clone0repl.h:349
os_event_t m_event
Event for GTID background thread.
Definition: clone0repl.h:361
uint64_t m_flush_request_number
Number for which last flush request was made.
Definition: clone0repl.h:358
bool check_compress()
Check if GTID compression is necessary based on threshold.
Definition: clone0repl.cc:384
void set_oldest_trx_no_recovery(trx_id_t max_trx_no)
Set oldest transaction number for which GTID is not persisted to table.
Definition: clone0repl.h:142
uint32_t m_compression_counter
Counter to keep track of the number of writes till it reaches compression threshold.
Definition: clone0repl.h:365
static const uint32_t s_compression_threshold
Threshold for the count for compressing GTID.
Definition: clone0repl.h:333
void flush_gtids(THD *thd)
Write all GTIDs to table and update GTID transaction number.
Definition: clone0repl.cc:501
bool check_max_gtid_threshold()
Definition: clone0repl.cc:579
bool trx_check_set(trx_t *trx, bool prepare, bool rollback, bool &set_explicit)
Set transaction flag to persist GTID and check if space need to be allocated for GTID.
Definition: clone0repl.cc:162
bool check_gtid_prepare(THD *thd, trx_t *trx, bool found_gtid, bool &alloc)
Check if GTID needs to persist at XA prepare.
Definition: clone0repl.cc:191
std::atomic< bool > m_thread_active
true, if background thread is active.
Definition: clone0repl.h:383
std::atomic< uint64_t > m_gtid_trx_no
Definition: clone0repl.h:371
~Clone_persist_gtid()
Destructor: stop gtid thread.
Definition: clone0repl.h:91
Clone_persist_gtid(Clone_persist_gtid const &)=delete
Disable copy construction.
void add(const Gtid_desc &gtid_desc)
Add GTID to in memory list.
Definition: clone0repl.cc:45
std::atomic< bool > m_close_thread
Set to true, when the background thread is asked to exit.
Definition: clone0repl.h:380
uint64_t request_immediate_flush(bool compress)
Request immediate flush of all GTIDs accumulated.
Definition: clone0repl.h:258
uint64_t switch_active_list()
Switch active GTID list.
Definition: clone0repl.h:293
void get_gtid_info(trx_t *trx, Gtid_desc &gtid_desc)
Get transaction GTID information.
Definition: clone0repl.cc:336
int write_other_gtids()
Write GTIDs of non Innodb transactions to table.
Definition: clone0repl.cc:376
bool flush_immediate() const
Definition: clone0repl.h:284
std::atomic< bool > m_active
true, if GTID persistence is active.
Definition: clone0repl.h:386
Gtid_info_list & get_list(uint64_t list_number)
Definition: clone0repl.h:245
int write_to_table(uint64_t flush_list_number, Gtid_set &table_gtid_set, Tsid_map &tsid_map)
Persist GTID to gtid_executed table.
Definition: clone0repl.cc:419
std::atomic< uint64_t > m_flush_number
Number up to which GTIDs are flushed.
Definition: clone0repl.h:352
void wait_flush(bool compress_gtid, bool early_timeout, Clone_Alert_Func cbk)
Definition: clone0repl.cc:747
bool check_gtid_commit(THD *thd, bool found_gtid, bool &set_explicit)
Check if GTID needs to persist at commit.
Definition: clone0repl.cc:229
uint32_t m_compression_gtid_counter
Counter to keep number of GTIDs flushed before compression.
Definition: clone0repl.h:368
bool is_thread_active() const
Definition: clone0repl.h:114
Represents a set of GTIDs.
Definition: rpl_gtid.h:1557
For each client connection we create a separate thread with THD serving as a thread/connection descri...
Definition: sql_lexer_thd.h:36
Represents a bidirectional map between TSID and SIDNO.
Definition: rpl_gtid.h:750
The class info is used to emit informational log messages.
Definition: ut0log.h:189
Performance Schema stage instrumentation to monitor clone progress.
std::function< int()> Clone_Alert_Func
Function to alert caller for long wait.
Definition: clone0monitor.h:43
constexpr uint32_t GTID_VERSION
GTID format version.
Definition: clone0repl.h:50
std::vector< Gtid_desc > Gtid_info_list
List of GTIDs.
Definition: clone0repl.h:58
constexpr size_t GTID_INFO_SIZE
Serialized GTID information size.
Definition: clone0repl.h:47
std::array< unsigned char, GTID_INFO_SIZE > Gtid_info
Serialized GTID.
Definition: clone0repl.h:53
static int compress(PACK_MRG_INFO *file, char *join_name)
Definition: myisampack.cc:467
static mysql_service_status_t flush(reference_caching_cache cache) noexcept
Definition: component.cc:114
std::set< Key, Compare, ut::allocator< Key > > set
Specialization of set which uses ut_allocator.
Definition: ut0new.h:2884
os_event_t os_event_create()
Creates an event semaphore, i.e., a semaphore which may just have two states: signaled and nonsignale...
Definition: os0event.cc:528
void os_event_destroy(os_event_t &event)
Frees an event object.
Definition: os0event.cc:595
The interface to the threading wrapper.
static bool rollback(THD *thd)
Abort the current statement and transaction.
Definition: sql_cmd_srs.cc:140
The server main program.
@ SRV_FORCE_NO_UNDO_LOG_SCAN
do not look at undo logs when starting the database: InnoDB will treat even incomplete transactions a...
Definition: srv0srv.h:935
ulong srv_force_recovery
Normally 0.
Definition: srv0srv.cc:537
Starts the Innobase database server.
GTID descriptor with version information.
Definition: clone0repl.h:61
uint32_t m_version
Definition: clone0repl.h:67
bool m_is_set
If GTID descriptor is set.
Definition: clone0repl.h:63
Gtid_info m_info
Serialized GTID information.
Definition: clone0repl.h:65
InnoDB condition variable.
Definition: os0event.cc:63
Definition: trx0trx.h:675
Gtid_storage
Undo log may could be allocated to store transaction GTIDs.
Definition: trx0undo.h:341
Transaction system.
static void trx_sys_serialisation_mutex_exit()
Release the trx_sys->serialisation_mutex.
Definition: trx0sys.h:621
static void trx_sys_serialisation_mutex_enter()
Acquire the trx_sys->serialisation_mutex.
Definition: trx0sys.h:616
static bool trx_sys_serialisation_mutex_own()
Test if trx_sys->serialisation_mutex is owned.
Definition: trx0sys.h:610
constexpr trx_id_t TRX_ID_MAX
Maximum transaction identifier.
Definition: trx0types.h:145
ib_id_t trx_id_t
Transaction identifier (DB_TRX_ID, DATA_TRX_ID)
Definition: trx0types.h:138
#define ut_ad(EXPR)
Debug assertion.
Definition: ut0dbg.h:105
#define ut_a(EXPR)
Abort execution if EXPR does not evaluate to nonzero.
Definition: ut0dbg.h:93
static void prepare(pax_msg *p, pax_op op)
Definition: xcom_base.cc:1588