log-internal.h 14.8 KB
Newer Older
1 2
/* -*- mode: C++; c-basic-offset: 4; indent-tabs-mode: nil -*- */
// vim: ft=cpp:expandtab:ts=8:sw=4:softtabstop=4:
3 4 5
#ifndef LOG_INTERNAL_H
#define LOG_INTERNAL_H

Bradley C. Kuszmaul's avatar
Bradley C. Kuszmaul committed
6
#ident "$Id$"
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
/*
COPYING CONDITIONS NOTICE:

  This program is free software; you can redistribute it and/or modify
  it under the terms of version 2 of the GNU General Public License as
  published by the Free Software Foundation, and provided that the
  following conditions are met:

      * Redistributions of source code must retain this COPYING
        CONDITIONS NOTICE, the COPYRIGHT NOTICE (below), the
        DISCLAIMER (below), the UNIVERSITY PATENT NOTICE (below), the
        PATENT MARKING NOTICE (below), and the PATENT RIGHTS
        GRANT (below).

      * Redistributions in binary form must reproduce this COPYING
        CONDITIONS NOTICE, the COPYRIGHT NOTICE (below), the
        DISCLAIMER (below), the UNIVERSITY PATENT NOTICE (below), the
        PATENT MARKING NOTICE (below), and the PATENT RIGHTS
        GRANT (below) in the documentation and/or other materials
        provided with the distribution.

  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  02110-1301, USA.

COPYRIGHT NOTICE:

  TokuDB, Tokutek Fractal Tree Indexing Library.
  Copyright (C) 2007-2013 Tokutek, Inc.

DISCLAIMER:

  This program is distributed in the hope that it will be useful, but
  WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  General Public License for more details.

UNIVERSITY PATENT NOTICE:

  The technology is licensed by the Massachusetts Institute of
  Technology, Rutgers State University of New Jersey, and the Research
  Foundation of State University of New York at Stony Brook under
  United States of America Serial No. 11/760379 and to the patents
  and/or patent applications resulting from it.

PATENT MARKING NOTICE:

  This software is covered by US Patent No. 8,185,551.

PATENT RIGHTS GRANT:

59
  "THIS IMPLEMENTATION" means the copyrightable works distributed by
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
  Tokutek as part of the Fractal Tree project.

  "PATENT CLAIMS" means the claims of patents that are owned or
  licensable by Tokutek, both currently or in the future; and that in
  the absence of this license would be infringed by THIS
  IMPLEMENTATION or by using or running THIS IMPLEMENTATION.

  "PATENT CHALLENGE" shall mean a challenge to the validity,
  patentability, enforceability and/or non-infringement of any of the
  PATENT CLAIMS or otherwise opposing any of the PATENT CLAIMS.

  Tokutek hereby grants to you, for the term and geographical scope of
  the PATENT CLAIMS, a non-exclusive, no-charge, royalty-free,
  irrevocable (except as stated in this section) patent license to
  make, have made, use, offer to sell, sell, import, transfer, and
  otherwise run, modify, and propagate the contents of THIS
  IMPLEMENTATION, where such license applies only to the PATENT
  CLAIMS.  This grant does not include claims that would be infringed
  only as a consequence of further modifications of THIS
  IMPLEMENTATION.  If you or your agent or licensee institute or order
  or agree to the institution of patent litigation against any entity
  (including a cross-claim or counterclaim in a lawsuit) alleging that
  THIS IMPLEMENTATION constitutes direct or contributory patent
  infringement, or inducement of patent infringement, then any rights
  granted to you under this License shall terminate as of the date
  such litigation is filed.  If you or your agent or exclusive
  licensee institute or order or agree to the institution of a PATENT
  CHALLENGE, then Tokutek may terminate any rights granted to you
  under this License.
*/

91
#ident "Copyright (c) 2007-2013 Tokutek Inc.  All rights reserved."
92
#ident "The technology is licensed by the Massachusetts Institute of Technology, Rutgers State University of New Jersey, and the Research Foundation of State University of New York at Stony Brook under United States of America Serial No. 11/760379 and to the patents and/or patent applications resulting from it."
93

94 95 96 97
#include <stdio.h>
#include <sys/types.h>
#include <string.h>
#include <dirent.h>
98
#include "ft-internal.h"
99
#include "log.h"
100
#include "toku_list.h"
101
#include "memarena.h"
102
#include "logfilemgr.h"
103
#include "txn.h"
104
#include "txn_manager.h"
105 106
#include <portability/toku_pthread.h>
#include <util/omt.h>
Zardosht Kasheff's avatar
Zardosht Kasheff committed
107
#include "rollback_log_node_cache.h"
108
#include "txn_child_manager.h"
Bradley C. Kuszmaul's avatar
Bradley C. Kuszmaul committed
109

110
using namespace toku;
111 112 113 114 115 116
// Locking for the logger
//  For most purposes we use the big ydb lock.
// To log: grab the buf lock
//  If the buf would overflow, then grab the file lock, swap file&buf, release buf lock, write the file, write the entry, release the file lock
//  else append to buf & release lock

117
#define LOGGER_MIN_BUF_SIZE (1<<24)
118 119

struct mylock {
120
    toku_mutex_t lock;
121 122
};

123 124
static inline void ml_init(struct mylock *l) {
    toku_mutex_init(&l->lock, 0);
125
}
126 127
static inline void ml_lock(struct mylock *l) {
    toku_mutex_lock(&l->lock);
128
}
129 130
static inline void ml_unlock(struct mylock *l) {
    toku_mutex_unlock(&l->lock);
131
}
132 133
static inline void ml_destroy(struct mylock *l) {
    toku_mutex_destroy(&l->lock);
134 135
}

136 137 138 139 140 141
struct logbuf {
    int n_in_buf;
    int buf_size;
    char *buf;
    LSN  max_lsn_in_buf;
};
142

143
struct tokulogger {
144 145
    struct mylock  input_lock;

146 147
    toku_mutex_t output_condition_lock; // if you need both this lock and input_lock, acquire the output_lock first, then input_lock. More typical is to get the output_is_available condition to be false, and then acquire the input_lock.
    toku_cond_t  output_condition;      //
Yoni Fogel's avatar
Yoni Fogel committed
148
    bool output_is_available;           // this is part of the predicate for the output condition.  It's true if no thread is modifying the output (either doing an fsync or otherwise fiddling with the output).
149

Yoni Fogel's avatar
Yoni Fogel committed
150 151 152
    bool is_open;
    bool write_log_files;
    bool trim_log_files; // for test purposes
153
    char *directory;  // file system directory
Dave Wells's avatar
Dave Wells committed
154
    DIR *dir; // descriptor for directory
Bradley C. Kuszmaul's avatar
Bradley C. Kuszmaul committed
155
    int fd;
156
    CACHETABLE ct;
157
    int lg_max; // The size of the single file in the log.  Default is 100MB in TokuDB
158 159 160

    // To access these, you must have the input lock
    LSN lsn; // the next available lsn
161
    struct logbuf inbuf; // data being accumulated for the write
162

163
    // To access these, you must have the output condition lock.
164
    LSN written_lsn; // the last lsn written
165
    LSN fsynced_lsn; // What is the LSN of the highest fsynced log entry  (accessed only while holding the output lock, and updated only when the output lock and output permission are held)
166
    LSN last_completed_checkpoint_lsn;     // What is the LSN of the most recent completed checkpoint.
167
    long long next_log_file_number;
168 169
    struct logbuf outbuf; // data being written to the file
    int  n_in_file; // The amount of data in the current file
170

171
    // To access the logfilemgr you must have the output condition lock.
172 173
    TOKULOGFILEMGR logfilemgr;

Yoni Fogel's avatar
Yoni Fogel committed
174
    uint32_t write_block_size;       // How big should the blocks be written to various logs?
175

Yoni Fogel's avatar
Yoni Fogel committed
176 177 178
    uint64_t input_lock_ctr;             // how many times has input_lock been taken and released
    uint64_t output_condition_lock_ctr;  // how many times has output_condition_lock been taken and released
    uint64_t swap_ctr;                   // how many times have input/output log buffers been swapped
179 180 181 182
    uint64_t num_writes_to_disk;         // how many times did we write to disk?
    uint64_t bytes_written_to_disk;        // how many bytes have been written to disk?
    tokutime_t time_spent_writing_to_disk; // how much tokutime did we spend writing to disk?

183 184
    void (*remove_finalize_callback) (DICTIONARY_ID, void*);  // ydb-level callback to be called when a transaction that ...
    void * remove_finalize_callback_extra;                    // ... deletes a file is committed or when one that creates a file is aborted.
185
    CACHEFILE rollback_cachefile;
Zardosht Kasheff's avatar
Zardosht Kasheff committed
186
    rollback_log_node_cache rollback_cache;
187
    TXN_MANAGER txn_manager;
188
};
189

190
int toku_logger_find_next_unused_log_file(const char *directory, long long *result);
191
int toku_logger_find_logfiles (const char *directory, char ***resultp, int *n_logfiles);
Bradley C. Kuszmaul's avatar
Bradley C. Kuszmaul committed
192

193
struct txn_roll_info {
194 195 196 197 198 199 200 201 202
    // these are number of rollback nodes and rollback entries for this txn.
    //
    // the current rollback node below has sequence number num_rollback_nodes - 1
    // (because they are numbered 0...num-1). often, the current rollback is
    // already set to this block num, which means it exists and is available to
    // log some entries. if the current rollback is NONE and the number of
    // rollback nodes for this transaction is non-zero, then we will use
    // the number of rollback nodes to know which sequence number to assign
    // to a new one we create
203 204 205 206
    uint64_t num_rollback_nodes;
    uint64_t num_rollentries;
    uint64_t num_rollentries_processed;
    uint64_t rollentry_raw_count;  // the total count of every byte in the transaction and all its children.
207 208 209 210 211 212

    // spilled rollback nodes are rollback nodes that were gorged by this
    // transaction, retired, and saved in a list.

    // the spilled rollback head is the block number of the first rollback node
    // that makes up the rollback log chain
213 214
    BLOCKNUM spilled_rollback_head;
    uint32_t spilled_rollback_head_hash;
215 216
    // the spilled rollback is the block number of the last rollback node that
    // makes up the rollback log chain. 
217 218
    BLOCKNUM spilled_rollback_tail;
    uint32_t spilled_rollback_tail_hash;
219 220
    // the current rollback node block number we may use. if this is ROLLBACK_NONE,
    // then we need to create one and set it here before using it.
221 222 223
    BLOCKNUM current_rollback; 
    uint32_t current_rollback_hash;
};
224

225 226
struct tokutxn {
    // These don't change after create:
227 228 229 230

    TXNID_PAIR txnid;

    uint64_t snapshot_txnid64; // this is the lsn of the snapshot
231
    const TXN_SNAPSHOT_TYPE snapshot_type;
232
    const bool for_recovery;
233 234
    const TOKULOGGER logger;
    const TOKUTXN parent;
235 236 237 238 239 240 241 242 243 244 245 246 247 248 249
    // The child txn is protected by the child_txn_manager lock
    // and by the user contract. The user contract states (and is
    // enforced at the ydb layer) that a child txn should not be created
    // while another child exists. The txn_child_manager will protect
    // other threads from trying to read this value while another
    // thread commits/aborts the child
    TOKUTXN child;
    // statically allocated child manager, if this 
    // txn is a root txn, this manager will be used and set to 
    // child_manager for this transaction and all of its children
    txn_child_manager child_manager_s;
    // child manager for this transaction, all of its children,
    // and all of its ancestors
    txn_child_manager* child_manager;
    // These don't change but they're created in a way that's hard to make
250 251
    // strictly const.
    DB_TXN *container_db_txn; // reference to DB_TXN that contains this tokutxn
252
    xid_omt_t *live_root_txn_list; // the root txns live when the root ancestor (self if a root) started.
253
    XIDS xids; // Represents the xid list
Zardosht Kasheff's avatar
Zardosht Kasheff committed
254
    TXNID oldest_referenced_xid;
255

Zardosht Kasheff's avatar
Zardosht Kasheff committed
256 257 258
    TOKUTXN snapshot_next;
    TOKUTXN snapshot_prev;

259
    bool begin_was_logged;
260
    bool declared_read_only; // true if the txn was declared read only when began
261 262
    // These are not read until a commit, prepare, or abort starts, and
    // they're "monotonic" (only go false->true) during operation:
Yoni Fogel's avatar
Yoni Fogel committed
263 264
    bool do_fsync;
    bool force_fsync_on_commit;  //This transaction NEEDS an fsync once (if) it commits.  (commit means root txn)
265 266 267 268 269 270 271 272 273

    // Not used until commit, prepare, or abort starts:
    LSN do_fsync_lsn;
    TOKU_XA_XID xa_xid; // for prepared transactions
    TXN_PROGRESS_POLL_FUNCTION progress_poll_fun;
    void *progress_poll_fun_extra;

    toku_mutex_t txn_lock;
    // Protected by the txn lock:
274
    omt<FT> open_fts; // a collection of the fts that we touched.  Indexed by filenum.
275 276
    struct txn_roll_info roll_info; // Info used to manage rollback entries

277 278 279 280 281 282 283
    // mutex that protects the transition of the state variable
    // the rest of the variables are used by the txn code and 
    // hot indexing to ensure that when hot indexing is processing a 
    // leafentry, a TOKUTXN cannot dissappear or change state out from
    // underneath it
    toku_mutex_t state_lock;
    toku_cond_t state_cond;
284
    TOKUTXN_STATE state;
285 286
    uint32_t num_pin; // number of threads (all hot indexes) that want this
                      // txn to not transition to commit or abort
287 288
};

289 290 291 292 293 294 295 296 297 298
static inline int
txn_has_current_rollback_log(TOKUTXN txn) {
    return txn->roll_info.current_rollback.b != ROLLBACK_NONE.b;
}

static inline int
txn_has_spilled_rollback_logs(TOKUTXN txn) {
    return txn->roll_info.spilled_rollback_tail.b != ROLLBACK_NONE.b;
}

299 300
struct txninfo {
    uint64_t   rollentry_raw_count;  // the total count of every byte in the transaction and all its children.
301 302
    uint32_t   num_fts;
    FT *open_fts;
Yoni Fogel's avatar
Yoni Fogel committed
303
    bool       force_fsync_on_commit;  //This transaction NEEDS an fsync once (if) it commits.  (commit means root txn)
304 305 306 307 308
    uint64_t   num_rollback_nodes;
    uint64_t   num_rollentries;
    BLOCKNUM   spilled_rollback_head;
    BLOCKNUM   spilled_rollback_tail;
    BLOCKNUM   current_rollback;
Bradley C. Kuszmaul's avatar
Bradley C. Kuszmaul committed
309
};
310

Yoni Fogel's avatar
Yoni Fogel committed
311
static inline int toku_logsizeof_uint8_t (uint32_t v __attribute__((__unused__))) {
312 313 314
    return 1;
}

Yoni Fogel's avatar
Yoni Fogel committed
315
static inline int toku_logsizeof_uint32_t (uint32_t v __attribute__((__unused__))) {
316 317 318
    return 4;
}

Yoni Fogel's avatar
Yoni Fogel committed
319
static inline int toku_logsizeof_uint64_t (uint32_t v __attribute__((__unused__))) {
320 321 322
    return 8;
}

Yoni Fogel's avatar
Yoni Fogel committed
323
static inline int toku_logsizeof_bool (uint32_t v __attribute__((__unused__))) {
324 325 326
    return 1;
}

327 328 329 330 331 332 333
static inline int toku_logsizeof_FILENUM (FILENUM v __attribute__((__unused__))) {
    return 4;
}

static inline int toku_logsizeof_DISKOFF (DISKOFF v __attribute__((__unused__))) {
    return 8;
}
334 335 336
static inline int toku_logsizeof_BLOCKNUM (BLOCKNUM v __attribute__((__unused__))) {
    return 8;
}
337

338 339 340 341
static inline int toku_logsizeof_LSN (LSN lsn __attribute__((__unused__))) {
    return 8;
}

342 343 344 345
static inline int toku_logsizeof_TXNID (TXNID txnid __attribute__((__unused__))) {
    return 8;
}

346 347 348 349
static inline int toku_logsizeof_TXNID_PAIR (TXNID_PAIR txnid __attribute__((__unused__))) {
    return 16;
}

350 351 352 353 354 355 356 357
static inline int toku_logsizeof_XIDP (XIDP xid) {
    assert(0<=xid->gtrid_length && xid->gtrid_length<=64);
    assert(0<=xid->bqual_length && xid->bqual_length<=64);
    return xid->gtrid_length
	+ xid->bqual_length
	+ 4  // formatID
	+ 1  // gtrid_length
	+ 1; // bqual_length
358 359
}

360
static inline int toku_logsizeof_FILENUMS (FILENUMS fs) {
Yoni Fogel's avatar
Yoni Fogel committed
361
    static const FILENUM f = {0}; //fs could have .num==0 and then we cannot dereference
362
    return 4 + fs.num * toku_logsizeof_FILENUM(f);
363 364
}

365
static inline int toku_logsizeof_BYTESTRING (BYTESTRING bs) {
366
    return 4+bs.len;
367 368
}

369 370
static inline char *fixup_fname(BYTESTRING *f) {
    assert(f->len>0);
371
    char *fname = (char*)toku_xmalloc(f->len+1);
372 373 374 375
    memcpy(fname, f->data, f->len);
    fname[f->len]=0;
    return fname;
}
376

377
#endif