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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
|
/*-
* Copyright (c) 2014-2018 MongoDB, Inc.
* Copyright (c) 2008-2014 WiredTiger, Inc.
* All rights reserved.
*
* See the file LICENSE for redistribution information.
*/
#define WT_TXN_NONE 0 /* No txn running in a session. */
#define WT_TXN_FIRST 1 /* First transaction to run. */
#define WT_TXN_ABORTED UINT64_MAX /* Update rolled back, ignore. */
/* AUTOMATIC FLAG VALUE GENERATION START */
#define WT_TXN_LOG_CKPT_CLEANUP 0x01u
#define WT_TXN_LOG_CKPT_PREPARE 0x02u
#define WT_TXN_LOG_CKPT_START 0x04u
#define WT_TXN_LOG_CKPT_STOP 0x08u
#define WT_TXN_LOG_CKPT_SYNC 0x10u
/* AUTOMATIC FLAG VALUE GENERATION STOP */
/* AUTOMATIC FLAG VALUE GENERATION START */
#define WT_TXN_OLDEST_STRICT 0x1u
#define WT_TXN_OLDEST_WAIT 0x2u
/* AUTOMATIC FLAG VALUE GENERATION STOP */
/*
* Transaction ID comparison dealing with edge cases.
*
* WT_TXN_ABORTED is the largest possible ID (never visible to a running
* transaction), WT_TXN_NONE is smaller than any possible ID (visible to all
* running transactions).
*/
#define WT_TXNID_LE(t1, t2) \
((t1) <= (t2))
#define WT_TXNID_LT(t1, t2) \
((t1) < (t2))
#define WT_SESSION_TXN_STATE(s) (&S2C(s)->txn_global.states[(s)->id])
#define WT_SESSION_IS_CHECKPOINT(s) \
((s)->id != 0 && (s)->id == S2C(s)->txn_global.checkpoint_id)
/*
* Perform an operation at the specified isolation level.
*
* This is fiddly: we can't cope with operations that begin transactions
* (leaving an ID allocated), and operations must not move our published
* snap_min forwards (or updates we need could be freed while this operation is
* in progress). Check for those cases: the bugs they cause are hard to debug.
*/
#define WT_WITH_TXN_ISOLATION(s, iso, op) do { \
WT_TXN_ISOLATION saved_iso = (s)->isolation; \
WT_TXN_ISOLATION saved_txn_iso = (s)->txn.isolation; \
WT_TXN_STATE *txn_state = WT_SESSION_TXN_STATE(s); \
WT_TXN_STATE saved_state = *txn_state; \
(s)->txn.forced_iso++; \
(s)->isolation = (s)->txn.isolation = (iso); \
op; \
(s)->isolation = saved_iso; \
(s)->txn.isolation = saved_txn_iso; \
WT_ASSERT((s), (s)->txn.forced_iso > 0); \
(s)->txn.forced_iso--; \
WT_ASSERT((s), txn_state->id == saved_state.id && \
(txn_state->metadata_pinned == saved_state.metadata_pinned ||\
saved_state.metadata_pinned == WT_TXN_NONE) && \
(txn_state->pinned_id == saved_state.pinned_id || \
saved_state.pinned_id == WT_TXN_NONE)); \
txn_state->metadata_pinned = saved_state.metadata_pinned; \
txn_state->pinned_id = saved_state.pinned_id; \
} while (0)
struct __wt_named_snapshot {
const char *name;
TAILQ_ENTRY(__wt_named_snapshot) q;
uint64_t id, pinned_id, snap_min, snap_max;
uint64_t *snapshot;
uint32_t snapshot_count;
};
struct __wt_txn_state {
WT_CACHE_LINE_PAD_BEGIN
volatile uint64_t id;
volatile uint64_t pinned_id;
volatile uint64_t metadata_pinned;
WT_CACHE_LINE_PAD_END
};
struct __wt_txn_global {
volatile uint64_t current; /* Current transaction ID. */
/* The oldest running transaction ID (may race). */
volatile uint64_t last_running;
/*
* The oldest transaction ID that is not yet visible to some
* transaction in the system.
*/
volatile uint64_t oldest_id;
WT_DECL_TIMESTAMP(commit_timestamp)
WT_DECL_TIMESTAMP(last_ckpt_timestamp)
WT_DECL_TIMESTAMP(meta_ckpt_timestamp)
WT_DECL_TIMESTAMP(oldest_timestamp)
WT_DECL_TIMESTAMP(pinned_timestamp)
WT_DECL_TIMESTAMP(recovery_timestamp)
WT_DECL_TIMESTAMP(stable_timestamp)
bool has_commit_timestamp;
bool has_oldest_timestamp;
bool has_pinned_timestamp;
bool has_stable_timestamp;
bool oldest_is_pinned;
bool stable_is_pinned;
WT_SPINLOCK id_lock;
/* Protects the active transaction states. */
WT_RWLOCK rwlock;
/* Protects logging, checkpoints and transaction visibility. */
WT_RWLOCK visibility_rwlock;
/* List of transactions sorted by commit timestamp. */
WT_RWLOCK commit_timestamp_rwlock;
TAILQ_HEAD(__wt_txn_cts_qh, __wt_txn) commit_timestamph;
uint32_t commit_timestampq_len;
/* List of transactions sorted by read timestamp. */
WT_RWLOCK read_timestamp_rwlock;
TAILQ_HEAD(__wt_txn_rts_qh, __wt_txn) read_timestamph;
uint32_t read_timestampq_len;
/*
* Track information about the running checkpoint. The transaction
* snapshot used when checkpointing are special. Checkpoints can run
* for a long time so we keep them out of regular visibility checks.
* Eviction and checkpoint operations know when they need to be aware
* of checkpoint transactions.
*
* We rely on the fact that (a) the only table a checkpoint updates is
* the metadata; and (b) once checkpoint has finished reading a table,
* it won't revisit it.
*/
volatile bool checkpoint_running; /* Checkpoint running */
volatile uint32_t checkpoint_id; /* Checkpoint's session ID */
WT_TXN_STATE checkpoint_state; /* Checkpoint's txn state */
WT_DECL_TIMESTAMP(checkpoint_timestamp) /* Checkpoint's timestamp */
volatile uint64_t metadata_pinned; /* Oldest ID for metadata */
/* Named snapshot state. */
WT_RWLOCK nsnap_rwlock;
volatile uint64_t nsnap_oldest_id;
TAILQ_HEAD(__wt_nsnap_qh, __wt_named_snapshot) nsnaph;
WT_TXN_STATE *states; /* Per-session transaction states */
};
typedef enum __wt_txn_isolation {
WT_ISO_READ_COMMITTED,
WT_ISO_READ_UNCOMMITTED,
WT_ISO_SNAPSHOT
} WT_TXN_ISOLATION;
/*
* WT_TXN_OP --
* A transactional operation. Each transaction builds an in-memory array
* of these operations as it runs, then uses the array to either write log
* records during commit or undo the operations during rollback.
*/
struct __wt_txn_op {
WT_BTREE *btree;
enum {
WT_TXN_OP_NONE=0,
WT_TXN_OP_BASIC_COL,
WT_TXN_OP_BASIC_ROW,
WT_TXN_OP_INMEM_COL,
WT_TXN_OP_INMEM_ROW,
WT_TXN_OP_REF_DELETE,
WT_TXN_OP_TRUNCATE_COL,
WT_TXN_OP_TRUNCATE_ROW
} type;
union {
/* WT_TXN_OP_BASIC_ROW, WT_TXN_OP_INMEM_ROW */
struct {
WT_UPDATE *upd;
WT_ITEM key;
} op_row;
/* WT_TXN_OP_BASIC_COL, WT_TXN_OP_INMEM_COL */
struct {
WT_UPDATE *upd;
uint64_t recno;
} op_col;
/*
* upd is pointing to same memory in both op_row and op_col, so for simplicity
* just chose op_row upd
*/
#undef op_upd
#define op_upd op_row.upd
/* WT_TXN_OP_REF_DELETE */
WT_REF *ref;
/* WT_TXN_OP_TRUNCATE_COL */
struct {
uint64_t start, stop;
} truncate_col;
/* WT_TXN_OP_TRUNCATE_ROW */
struct {
WT_ITEM start, stop;
enum {
WT_TXN_TRUNC_ALL,
WT_TXN_TRUNC_BOTH,
WT_TXN_TRUNC_START,
WT_TXN_TRUNC_STOP
} mode;
} truncate_row;
} u;
};
/*
* WT_TXN --
* Per-session transaction context.
*/
struct __wt_txn {
uint64_t id;
WT_TXN_ISOLATION isolation;
uint32_t forced_iso; /* Isolation is currently forced. */
/*
* Snapshot data:
* ids < snap_min are visible,
* ids > snap_max are invisible,
* everything else is visible unless it is in the snapshot.
*/
uint64_t snap_min, snap_max;
uint64_t *snapshot;
uint32_t snapshot_count;
uint32_t txn_logsync; /* Log sync configuration */
/*
* Timestamp copied into updates created by this transaction.
*
* In some use cases, this can be updated while the transaction is
* running.
*/
WT_DECL_TIMESTAMP(commit_timestamp)
/*
* Set to the first commit timestamp used in the transaction and fixed
* while the transaction is on the public list of committed timestamps.
*/
WT_DECL_TIMESTAMP(first_commit_timestamp)
/*
* Timestamp copied into updates created by this transaction, when this
* transaction is prepared.
*/
WT_DECL_TIMESTAMP(prepare_timestamp)
/* Read updates committed as of this timestamp. */
WT_DECL_TIMESTAMP(read_timestamp)
TAILQ_ENTRY(__wt_txn) commit_timestampq;
TAILQ_ENTRY(__wt_txn) read_timestampq;
bool clear_commit_q; /* Set if need to clear from the commit queue */
bool clear_read_q; /* Set if need to clear from the read queue */
/* Array of modifications by this transaction. */
WT_TXN_OP *mod;
size_t mod_alloc;
u_int mod_count;
#ifdef HAVE_DIAGNOSTIC
/*
* Reference count of multiple updates processed, as part of a single
* transaction operation processing for resolving the indirect update
* references in a prepared transaction as part of commit.
*/
u_int multi_update_count;
#endif
/* Scratch buffer for in-memory log records. */
WT_ITEM *logrec;
/* Requested notification when transactions are resolved. */
WT_TXN_NOTIFY *notify;
/* Checkpoint status. */
WT_LSN ckpt_lsn;
uint32_t ckpt_nsnapshot;
WT_ITEM *ckpt_snapshot;
bool full_ckpt;
const char *rollback_reason; /* If rollback, the reason */
/* AUTOMATIC FLAG VALUE GENERATION START */
#define WT_TXN_AUTOCOMMIT 0x00001u
#define WT_TXN_ERROR 0x00002u
#define WT_TXN_HAS_ID 0x00004u
#define WT_TXN_HAS_SNAPSHOT 0x00008u
#define WT_TXN_HAS_TS_COMMIT 0x00010u
#define WT_TXN_HAS_TS_READ 0x00020u
#define WT_TXN_IGNORE_PREPARE 0x00040u
#define WT_TXN_NAMED_SNAPSHOT 0x00080u
#define WT_TXN_PREPARE 0x00100u
#define WT_TXN_PUBLIC_TS_COMMIT 0x00200u
#define WT_TXN_PUBLIC_TS_READ 0x00400u
#define WT_TXN_READONLY 0x00800u
#define WT_TXN_RUNNING 0x01000u
#define WT_TXN_SYNC_SET 0x02000u
#define WT_TXN_TS_COMMIT_ALWAYS 0x04000u
#define WT_TXN_TS_COMMIT_KEYS 0x08000u
#define WT_TXN_TS_COMMIT_NEVER 0x10000u
#define WT_TXN_UPDATE 0x20000u
/* AUTOMATIC FLAG VALUE GENERATION STOP */
uint32_t flags;
};
|