/*-
 * Public Domain 2014-present MongoDB, Inc.
 * Public Domain 2008-2014 WiredTiger, Inc.
 *
 * This is free and unencumbered software released into the public domain.
 *
 * Anyone is free to copy, modify, publish, use, compile, sell, or
 * distribute this software, either in source code form or as a compiled
 * binary, for any purpose, commercial or non-commercial, and by any
 * means.
 *
 * In jurisdictions that recognize copyright laws, the author or authors
 * of this software dedicate any and all copyright interest in the
 * software to the public domain. We make this dedication for the benefit
 * of the public at large and to the detriment of our heirs and
 * successors. We intend this dedication to be an overt act of
 * relinquishment in perpetuity of all present and future rights to this
 * software under copyright law.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 * IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
 * OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 * OTHER DEALINGS IN THE SOFTWARE.
 */

#include "test_checkpoint.h"

#define MAX_MODIFY_ENTRIES 5

static char modify_repl[256];
static int real_worker(void);
static WT_THREAD_RET worker(void *);

/*
 * create_table --
 *     Create a WiredTiger table of the configured type for this cookie.
 */
static int
create_table(WT_SESSION *session, COOKIE *cookie)
{
    int ret;
    char config[256];

    /*
     * If we're using timestamps, turn off logging for the table.
     */
    if (g.use_timestamps)
        testutil_check(__wt_snprintf(config, sizeof(config),
          "key_format=%s,value_format=S,allocation_size=512,"
          "leaf_page_max=1KB,internal_page_max=1KB,"
          "memory_page_max=64KB,log=(enabled=false),%s",
          cookie->type == COL ? "r" : "q", cookie->type == LSM ? ",type=lsm" : ""));
    else
        testutil_check(__wt_snprintf(config, sizeof(config), "key_format=%s,value_format=S,%s",
          cookie->type == COL ? "r" : "q", cookie->type == LSM ? ",type=lsm" : ""));

    if ((ret = session->create(session, cookie->uri, config)) != 0)
        if (ret != EEXIST)
            return (log_print_err("session.create", ret, 1));
    ++g.ntables_created;
    return (0);
}

/*
 * modify_repl_init --
 *     Initialize the replacement information.
 */
static void
modify_repl_init(void)
{
    size_t i;

    for (i = 0; i < sizeof(modify_repl); ++i)
        modify_repl[i] = "0123456789"[i % 10];
}

/*
 * start_workers --
 *     Setup the configuration for the tables being populated, then start the worker thread(s) and
 *     wait for them to finish.
 */
int
start_workers(void)
{
    struct timeval start, stop;
    WT_SESSION *session;
    wt_thread_t *tids;
    double seconds;
    int i, ret;

    ret = 0;

    modify_repl_init();

    /* Create statistics and thread structures. */
    if ((tids = calloc((size_t)(g.nworkers), sizeof(*tids))) == NULL)
        return (log_print_err("calloc", errno, 1));

    if ((ret = g.conn->open_session(g.conn, NULL, NULL, &session)) != 0) {
        (void)log_print_err("conn.open_session", ret, 1);
        goto err;
    }

    /* Create tables */
    for (i = 0; i < g.ntables; ++i) {
        /* Should probably be atomic to avoid races. */
        if ((ret = create_table(session, &g.cookies[i])) != 0)
            goto err;
    }

    testutil_check(session->close(session, NULL));

    (void)gettimeofday(&start, NULL);

    /* Create threads. */
    for (i = 0; i < g.nworkers; ++i)
        testutil_check(__wt_thread_create(NULL, &tids[i], worker, &g.cookies[i]));

    /* Wait for the threads. */
    for (i = 0; i < g.nworkers; ++i)
        testutil_check(__wt_thread_join(NULL, &tids[i]));

    (void)gettimeofday(&stop, NULL);
    seconds = (stop.tv_sec - start.tv_sec) + (stop.tv_usec - start.tv_usec) * 1e-6;
    printf("Ran workers for: %f seconds\n", seconds);

err:
    free(tids);

    return (ret);
}

/*
 * modify_build --
 *     Generate a set of modify vectors.
 */
static void
modify_build(WT_MODIFY *entries, int *nentriesp, u_int seed)
{
    int i, nentries;

    /* Deterministically generate modifies based on the seed. */
    nentries = (int)seed % MAX_MODIFY_ENTRIES + 1;
    for (i = 0; i < nentries; ++i) {
        entries[i].data.data = modify_repl + seed % 10;
        entries[i].data.size = seed % 8 + 1;
        entries[i].offset = seed % 40;
        entries[i].size = seed % 10 + 1;
    }

    *nentriesp = (int)nentries;
}

/*
 * worker_mm_delete --
 *     Delete a key with a mixed mode timestamp.
 */
static inline int
worker_mm_delete(WT_CURSOR *cursor, uint64_t keyno)
{
    int ret;

    cursor->set_key(cursor, keyno);
    ret = cursor->search(cursor);
    if (ret == 0)
        ret = cursor->remove(cursor);
    else if (ret == WT_NOTFOUND)
        ret = 0;

    return (ret);
}

/*
 * worker_op --
 *     Write operation.
 */
static inline int
worker_op(WT_CURSOR *cursor, uint64_t keyno, u_int new_val)
{
    WT_MODIFY entries[MAX_MODIFY_ENTRIES];
    int cmp, ret;
    int nentries;
    char valuebuf[64];

    cursor->set_key(cursor, keyno);
    /* Roughly half inserts, then balanced inserts / range removes. */
    if (new_val > g.nops / 2 && new_val % 39 == 0) {
        if ((ret = cursor->search_near(cursor, &cmp)) != 0) {
            if (ret == WT_NOTFOUND)
                return (0);
            if (ret == WT_ROLLBACK || ret == WT_PREPARE_CONFLICT)
                return (WT_ROLLBACK);
            return (log_print_err("cursor.search_near", ret, 1));
        }
        if (cmp < 0) {
            if ((ret = cursor->next(cursor)) != 0) {
                if (ret == WT_NOTFOUND)
                    return (0);
                if (ret == WT_ROLLBACK)
                    return (WT_ROLLBACK);
                return (log_print_err("cursor.next", ret, 1));
            }
        }
        for (int i = 10; i > 0; i--) {
            if ((ret = cursor->remove(cursor)) != 0) {
                if (ret == WT_ROLLBACK)
                    return (WT_ROLLBACK);
                return (log_print_err("cursor.remove", ret, 1));
            }
            if ((ret = cursor->next(cursor)) != 0) {
                if (ret == WT_NOTFOUND)
                    return (0);
                if (ret == WT_ROLLBACK)
                    return (WT_ROLLBACK);
                return (log_print_err("cursor.next", ret, 1));
            }
        }
        if (g.sweep_stress)
            testutil_check(cursor->reset(cursor));
    } else if (new_val % 39 < 10) {
        if ((ret = cursor->search(cursor)) != 0 && ret != WT_NOTFOUND) {
            if (ret == WT_ROLLBACK || ret == WT_PREPARE_CONFLICT)
                return (WT_ROLLBACK);
            return (log_print_err("cursor.search", ret, 1));
        }
        if (g.sweep_stress)
            testutil_check(cursor->reset(cursor));
    } else {
        if (new_val % 39 < 30) {
            // Do modify
            ret = cursor->search(cursor);
            if (ret == 0) {
                modify_build(entries, &nentries, new_val);
                if ((ret = cursor->modify(cursor, entries, nentries)) != 0) {
                    if (ret == WT_ROLLBACK)
                        return (WT_ROLLBACK);
                    return (log_print_err("cursor.modify", ret, 1));
                }
            } else if (ret != WT_NOTFOUND) {
                if (ret == WT_ROLLBACK || ret == WT_PREPARE_CONFLICT)
                    return (WT_ROLLBACK);
                return (log_print_err("cursor.search", ret, 1));
            }
        }

        // If key doesn't exist, turn modify into an insert.
        testutil_check(__wt_snprintf(valuebuf, sizeof(valuebuf), "%052u", new_val));
        cursor->set_value(cursor, valuebuf);
        if ((ret = cursor->insert(cursor)) != 0) {
            if (ret == WT_ROLLBACK)
                return (WT_ROLLBACK);
            return (log_print_err("cursor.insert", ret, 1));
        }
    }

    return (0);
}

/*
 * worker --
 *     Worker thread start function.
 */
static WT_THREAD_RET
worker(void *arg)
{
    char tid[128];

    WT_UNUSED(arg);

    testutil_check(__wt_thread_str(tid, sizeof(tid)));
    printf("worker thread starting: tid: %s\n", tid);

    (void)real_worker();
    return (WT_THREAD_RET_VALUE);
}

/*
 * real_worker --
 *     A single worker thread that transactionally updates all tables with consistent values.
 */
static int
real_worker(void)
{
    WT_CURSOR **cursors;
    WT_RAND_STATE rnd;
    WT_SESSION *session;
    u_int i, keyno, next_rnd;
    int j, ret, t_ret;
    char buf[128];
    const char *begin_cfg;
    bool reopen_cursors, new_txn, start_txn;

    ret = t_ret = 0;
    reopen_cursors = false;
    start_txn = true;
    new_txn = false;

    if ((cursors = calloc((size_t)(g.ntables), sizeof(WT_CURSOR *))) == NULL)
        return (log_print_err("malloc", ENOMEM, 1));

    if ((ret = g.conn->open_session(g.conn, NULL, "isolation=snapshot", &session)) != 0) {
        (void)log_print_err("conn.open_session", ret, 1);
        goto err;
    }

    if (g.use_timestamps)
        begin_cfg = "read_timestamp=1,roundup_timestamps=(read=true)";
    else
        begin_cfg = NULL;

    __wt_random_init_seed((WT_SESSION_IMPL *)session, &rnd);

    for (j = 0; j < g.ntables; j++)
        if ((ret = session->open_cursor(session, g.cookies[j].uri, NULL, NULL, &cursors[j])) != 0) {
            (void)log_print_err("session.open_cursor", ret, 1);
            goto err;
        }

    for (i = 0; i < g.nops && g.running; ++i, __wt_yield()) {
        if (start_txn) {
            if ((ret = session->begin_transaction(session, begin_cfg)) != 0) {
                (void)log_print_err("real_worker:begin_transaction", ret, 1);
                goto err;
            }
            new_txn = true;
            start_txn = false;
        }
        keyno = __wt_random(&rnd) % g.nkeys + 1;
        /* If we have specified to run with mix mode deletes we need to do it in it's own txn. */
        if (g.use_timestamps && g.mixed_mode_deletes && new_txn && __wt_random(&rnd) % 72 == 0) {
            new_txn = false;
            for (j = 0; j < g.ntables; j++) {
                ret = worker_mm_delete(cursors[j], keyno);
                if (ret == WT_ROLLBACK || ret == WT_PREPARE_CONFLICT)
                    break;
                else if (ret != 0)
                    goto err;
            }

            if (ret == 0) {
                if ((ret = session->commit_transaction(session, NULL)) != 0) {
                    (void)log_print_err("real_worker:commit_mm_transaction", ret, 1);
                    goto err;
                }
            } else {
                if ((ret = session->rollback_transaction(session, NULL)) != 0) {
                    (void)log_print_err("real_worker:rollback_transaction", ret, 1);
                    goto err;
                }
            }
            start_txn = true;
            continue;
        } else
            new_txn = false;

        for (j = 0; ret == 0 && j < g.ntables; j++)
            ret = worker_op(cursors[j], keyno, i);
        if (ret != 0 && ret != WT_ROLLBACK) {
            (void)log_print_err("worker op failed", ret, 1);
            goto err;
        } else if (ret == 0) {
            next_rnd = __wt_random(&rnd);
            if (next_rnd % 7 == 0) {
                if (g.use_timestamps) {
                    if (__wt_try_readlock((WT_SESSION_IMPL *)session, &g.clock_lock) == 0) {
                        next_rnd = __wt_random(&rnd);
                        if (g.prepare && next_rnd % 2 == 0) {
                            testutil_check(__wt_snprintf(
                              buf, sizeof(buf), "prepare_timestamp=%x", g.ts_stable + 1));
                            if ((ret = session->prepare_transaction(session, buf)) != 0) {
                                __wt_readunlock((WT_SESSION_IMPL *)session, &g.clock_lock);
                                (void)log_print_err("real_worker:prepare_transaction", ret, 1);
                                goto err;
                            }
                            testutil_check(__wt_snprintf(buf, sizeof(buf),
                              "durable_timestamp=%x,commit_timestamp=%x", g.ts_stable + 3,
                              g.ts_stable + 1));
                        } else
                            testutil_check(__wt_snprintf(
                              buf, sizeof(buf), "commit_timestamp=%x", g.ts_stable + 1));

                        // Commit majority of times
                        if (next_rnd % 49 != 0) {
                            if ((ret = session->commit_transaction(session, buf)) != 0) {
                                __wt_readunlock((WT_SESSION_IMPL *)session, &g.clock_lock);
                                (void)log_print_err("real_worker:commit_transaction", ret, 1);
                                goto err;
                            }
                        } else {
                            if ((ret = session->rollback_transaction(session, NULL)) != 0) {
                                __wt_readunlock((WT_SESSION_IMPL *)session, &g.clock_lock);
                                (void)log_print_err("real_worker:rollback_transaction", ret, 1);
                                goto err;
                            }
                        }
                        __wt_readunlock((WT_SESSION_IMPL *)session, &g.clock_lock);
                        start_txn = true;
                        /* Occasionally reopen cursors after transaction finish. */
                        if (next_rnd % 13 == 0)
                            reopen_cursors = true;
                    }
                } else {
                    // Commit majority of times
                    if (next_rnd % 49 != 0) {
                        if ((ret = session->commit_transaction(session, NULL)) != 0) {
                            (void)log_print_err("real_worker:commit_transaction", ret, 1);
                            goto err;
                        }
                    } else {
                        if ((ret = session->rollback_transaction(session, NULL)) != 0) {
                            (void)log_print_err("real_worker:rollback_transaction", ret, 1);
                            goto err;
                        }
                    }
                    start_txn = true;
                }
            } else if (next_rnd % 15 == 0)
                /* Occasionally reopen cursors during a running transaction. */
                reopen_cursors = true;
        } else {
            if ((ret = session->rollback_transaction(session, NULL)) != 0) {
                (void)log_print_err("real_worker:rollback_transaction", ret, 1);
                goto err;
            }
            start_txn = true;
        }
        if (reopen_cursors) {
            for (j = 0; j < g.ntables; j++) {
                testutil_check(cursors[j]->close(cursors[j]));
                if ((ret = session->open_cursor(
                       session, g.cookies[j].uri, NULL, NULL, &cursors[j])) != 0) {
                    (void)log_print_err("session.open_cursor", ret, 1);
                    goto err;
                }
            }
            reopen_cursors = false;
        }
    }

err:
    if (session != NULL && (t_ret = session->close(session, NULL)) != 0 && ret == 0) {
        ret = t_ret;
        (void)log_print_err("session.close", ret, 1);
    }
    free(cursors);

    return (ret);
}