From: Vladimir Davydov <vdavydov.dev@gmail.com> To: kostja@tarantool.org Cc: tarantool-patches@freelists.org Subject: [RFC PATCH 18/23] vinyl: store pointer to scheduler in struct vy_task Date: Sun, 8 Jul 2018 19:48:49 +0300 [thread overview] Message-ID: <dffd4fe092b0410d559120d0744ca8a445794f09.1531065648.git.vdavydov.dev@gmail.com> (raw) In-Reply-To: <cover.1531065648.git.vdavydov.dev@gmail.com> In-Reply-To: <cover.1531065648.git.vdavydov.dev@gmail.com> Currently, we don't really need it, but once we switch communication channel between the scheduler and workers from pthread mutex/cond to cbus (needed for #2129), tasks won't be completed on behalf of the scheduler fiber and hence we will need a back pointer from vy_task to vy_scheduler. Needed for #2129 --- src/box/vy_scheduler.c | 74 ++++++++++++++++++++++++++------------------------ 1 file changed, 39 insertions(+), 35 deletions(-) diff --git a/src/box/vy_scheduler.c b/src/box/vy_scheduler.c index c175bea8..5684f4d4 100644 --- a/src/box/vy_scheduler.c +++ b/src/box/vy_scheduler.c @@ -72,24 +72,27 @@ struct vy_task_ops { * which is too heavy for the tx thread (like IO or compression). * Returns 0 on success. On failure returns -1 and sets diag. */ - int (*execute)(struct vy_scheduler *scheduler, struct vy_task *task); + int (*execute)(struct vy_task *task); /** * This function is called by the scheduler upon task completion. * It may be used to finish the task from the tx thread context. * * Returns 0 on success. On failure returns -1 and sets diag. */ - int (*complete)(struct vy_scheduler *scheduler, struct vy_task *task); + int (*complete)(struct vy_task *task); /** * This function is called by the scheduler if either ->execute * or ->complete failed. It may be used to undo changes done to * the LSM tree when preparing the task. */ - void (*abort)(struct vy_scheduler *scheduler, struct vy_task *task); + void (*abort)(struct vy_task *task); }; struct vy_task { + /** Virtual method table. */ const struct vy_task_ops *ops; + /** Pointer to the scheduler. */ + struct vy_scheduler *scheduler; /** Return code of ->execute. */ int status; /** If ->execute fails, the error is stored here. */ @@ -138,10 +141,10 @@ struct vy_task { * does not free it from under us. */ static struct vy_task * -vy_task_new(struct mempool *pool, struct vy_lsm *lsm, +vy_task_new(struct vy_scheduler *scheduler, struct vy_lsm *lsm, const struct vy_task_ops *ops) { - struct vy_task *task = mempool_alloc(pool); + struct vy_task *task = mempool_alloc(&scheduler->task_pool); if (task == NULL) { diag_set(OutOfMemory, sizeof(*task), "mempool", "struct vy_task"); @@ -149,16 +152,17 @@ vy_task_new(struct mempool *pool, struct vy_lsm *lsm, } memset(task, 0, sizeof(*task)); task->ops = ops; + task->scheduler = scheduler; task->lsm = lsm; task->cmp_def = key_def_dup(lsm->cmp_def); if (task->cmp_def == NULL) { - mempool_free(pool, task); + mempool_free(&scheduler->task_pool, task); return NULL; } task->key_def = key_def_dup(lsm->key_def); if (task->key_def == NULL) { key_def_delete(task->cmp_def); - mempool_free(pool, task); + mempool_free(&scheduler->task_pool, task); return NULL; } vy_lsm_ref(lsm); @@ -168,14 +172,13 @@ vy_task_new(struct mempool *pool, struct vy_lsm *lsm, /** Free a task allocated with vy_task_new(). */ static void -vy_task_delete(struct mempool *pool, struct vy_task *task) +vy_task_delete(struct vy_task *task) { key_def_delete(task->cmp_def); key_def_delete(task->key_def); vy_lsm_unref(task->lsm); diag_destroy(&task->diag); - TRASH(task); - mempool_free(pool, task); + mempool_free(&task->scheduler->task_pool, task); } static bool @@ -643,7 +646,7 @@ vy_run_discard(struct vy_run *run) } static int -vy_task_write_run(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_write_run(struct vy_task *task) { struct vy_lsm *lsm = task->lsm; struct vy_stmt_stream *wi = task->wi; @@ -676,7 +679,7 @@ vy_task_write_run(struct vy_scheduler *scheduler, struct vy_task *task) if (rc != 0) break; - if (!scheduler->is_worker_pool_running) { + if (!task->scheduler->is_worker_pool_running) { diag_set(FiberIsCancelled); rc = -1; break; @@ -698,14 +701,15 @@ fail: } static int -vy_task_dump_execute(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_dump_execute(struct vy_task *task) { - return vy_task_write_run(scheduler, task); + return vy_task_write_run(task); } static int -vy_task_dump_complete(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_dump_complete(struct vy_task *task) { + struct vy_scheduler *scheduler = task->scheduler; struct vy_lsm *lsm = task->lsm; struct vy_run *new_run = task->new_run; int64_t dump_lsn = new_run->dump_lsn; @@ -871,8 +875,9 @@ fail: } static void -vy_task_dump_abort(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_dump_abort(struct vy_task *task) { + struct vy_scheduler *scheduler = task->scheduler; struct vy_lsm *lsm = task->lsm; assert(lsm->is_dumping); @@ -975,8 +980,7 @@ vy_task_dump_new(struct vy_scheduler *scheduler, struct vy_lsm *lsm, return 0; } - struct vy_task *task = vy_task_new(&scheduler->task_pool, - lsm, &dump_ops); + struct vy_task *task = vy_task_new(scheduler, lsm, &dump_ops); if (task == NULL) goto err; @@ -1031,7 +1035,7 @@ err_wi_sub: err_wi: vy_run_discard(new_run); err_run: - vy_task_delete(&scheduler->task_pool, task); + vy_task_delete(task); err: diag_log(); say_error("%s: could not start dump", vy_lsm_name(lsm)); @@ -1039,14 +1043,15 @@ err: } static int -vy_task_compact_execute(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_compact_execute(struct vy_task *task) { - return vy_task_write_run(scheduler, task); + return vy_task_write_run(task); } static int -vy_task_compact_complete(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_compact_complete(struct vy_task *task) { + struct vy_scheduler *scheduler = task->scheduler; struct vy_lsm *lsm = task->lsm; struct vy_range *range = task->range; struct vy_run *new_run = task->new_run; @@ -1191,8 +1196,9 @@ vy_task_compact_complete(struct vy_scheduler *scheduler, struct vy_task *task) } static void -vy_task_compact_abort(struct vy_scheduler *scheduler, struct vy_task *task) +vy_task_compact_abort(struct vy_task *task) { + struct vy_scheduler *scheduler = task->scheduler; struct vy_lsm *lsm = task->lsm; struct vy_range *range = task->range; @@ -1243,8 +1249,7 @@ vy_task_compact_new(struct vy_scheduler *scheduler, struct vy_lsm *lsm, return 0; } - struct vy_task *task = vy_task_new(&scheduler->task_pool, - lsm, &compact_ops); + struct vy_task *task = vy_task_new(scheduler, lsm, &compact_ops); if (task == NULL) goto err_task; @@ -1303,7 +1308,7 @@ err_wi_sub: err_wi: vy_run_discard(new_run); err_run: - vy_task_delete(&scheduler->task_pool, task); + vy_task_delete(task); err_task: diag_log(); say_error("%s: could not start compacting range %s: %s", @@ -1444,12 +1449,11 @@ fail: } static int -vy_scheduler_complete_task(struct vy_scheduler *scheduler, - struct vy_task *task) +vy_task_complete(struct vy_task *task) { if (task->lsm->is_dropped) { if (task->ops->abort) - task->ops->abort(scheduler, task); + task->ops->abort(task); return 0; } @@ -1464,7 +1468,7 @@ vy_scheduler_complete_task(struct vy_scheduler *scheduler, diag_move(diag_get(), diag); goto fail; }); if (task->ops->complete && - task->ops->complete(scheduler, task) != 0) { + task->ops->complete(task) != 0) { assert(!diag_is_empty(diag_get())); diag_move(diag_get(), diag); goto fail; @@ -1472,8 +1476,8 @@ vy_scheduler_complete_task(struct vy_scheduler *scheduler, return 0; fail: if (task->ops->abort) - task->ops->abort(scheduler, task); - diag_move(diag, &scheduler->diag); + task->ops->abort(task); + diag_move(diag, &task->scheduler->diag); return -1; } @@ -1510,11 +1514,11 @@ vy_scheduler_f(va_list va) /* Complete and delete all processed tasks. */ stailq_foreach_entry_safe(task, next, &output_queue, link) { - if (vy_scheduler_complete_task(scheduler, task) != 0) + if (vy_task_complete(task) != 0) tasks_failed++; else tasks_done++; - vy_task_delete(&scheduler->task_pool, task); + vy_task_delete(task); scheduler->workers_available++; assert(scheduler->workers_available <= scheduler->worker_pool_size); @@ -1615,7 +1619,7 @@ vy_worker_f(void *arg) assert(task != NULL); /* Execute task */ - task->status = task->ops->execute(scheduler, task); + task->status = task->ops->execute(task); if (task->status != 0) { struct diag *diag = diag_get(); assert(!diag_is_empty(diag)); -- 2.11.0
next prev parent reply other threads:[~2018-07-08 16:48 UTC|newest] Thread overview: 65+ messages / expand[flat|nested] mbox.gz Atom feed top 2018-07-08 16:48 [RFC PATCH 02/23] vinyl: always get full tuple from pk after reading from secondary index Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 00/23] vinyl: eliminate read on REPLACE/DELETE Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 01/23] vinyl: do not turn REPLACE into INSERT when processing DML request Vladimir Davydov 2018-07-10 12:15 ` Konstantin Osipov 2018-07-10 12:19 ` Vladimir Davydov 2018-07-10 18:39 ` Konstantin Osipov 2018-07-11 7:57 ` Vladimir Davydov 2018-07-11 10:25 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 03/23] vinyl: use vy_mem_iterator for point lookup Vladimir Davydov 2018-07-17 10:14 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 04/23] vinyl: make point lookup always return the latest tuple version Vladimir Davydov 2018-07-10 16:19 ` Konstantin Osipov 2018-07-10 16:43 ` Vladimir Davydov 2018-07-11 16:33 ` Vladimir Davydov 2018-07-31 19:17 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 05/23] vinyl: fold vy_replace_one and vy_replace_impl Vladimir Davydov 2018-07-31 20:28 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 06/23] vinyl: fold vy_delete_impl Vladimir Davydov 2018-07-31 20:28 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 07/23] vinyl: refactor unique check Vladimir Davydov 2018-07-31 20:28 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 08/23] vinyl: check key uniqueness before modifying tx write set Vladimir Davydov 2018-07-31 20:34 ` Konstantin Osipov 2018-08-01 10:42 ` Vladimir Davydov 2018-08-09 20:26 ` Konstantin Osipov 2018-08-10 8:26 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 09/23] vinyl: remove env argument of vy_check_is_unique_{primary,secondary} Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 10/23] vinyl: store full tuples in secondary index cache Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 11/23] xrow: allow to store flags in DML requests Vladimir Davydov 2018-07-31 20:36 ` Konstantin Osipov 2018-08-01 14:10 ` Vladimir Davydov 2018-08-17 13:34 ` Vladimir Davydov 2018-08-17 13:34 ` [PATCH 1/2] xrow: allow to store tuple metadata in request Vladimir Davydov 2018-08-17 13:34 ` [PATCH 2/2] vinyl: introduce statement flags Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 12/23] vinyl: do not pass region explicitly to write iterator functions Vladimir Davydov 2018-07-17 10:16 ` Vladimir Davydov 2018-07-31 20:38 ` Konstantin Osipov 2018-08-01 14:14 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 13/23] vinyl: fix potential use-after-free in vy_read_view_merge Vladimir Davydov 2018-07-17 10:16 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 14/23] test: unit/vy_write_iterator: minor refactoring Vladimir Davydov 2018-07-17 10:17 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 15/23] vinyl: teach write iterator to return overwritten tuples Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 16/23] vinyl: allow to skip certain statements on read Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 17/23] vinyl: do not free pending tasks on shutdown Vladimir Davydov 2018-07-08 16:48 ` Vladimir Davydov [this message] 2018-07-31 20:39 ` [RFC PATCH 18/23] vinyl: store pointer to scheduler in struct vy_task Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 19/23] vinyl: rename some members of vy_scheduler and vy_task struct Vladimir Davydov 2018-07-31 20:40 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 20/23] vinyl: use cbus for communication between scheduler and worker threads Vladimir Davydov 2018-07-31 20:43 ` Konstantin Osipov 2018-08-01 14:26 ` Vladimir Davydov 2018-07-08 16:48 ` [RFC PATCH 21/23] vinyl: zap vy_scheduler::is_worker_pool_running Vladimir Davydov 2018-07-31 20:43 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 22/23] vinyl: rename vy_task::status to is_failed Vladimir Davydov 2018-07-31 20:44 ` Konstantin Osipov 2018-07-08 16:48 ` [RFC PATCH 23/23] vinyl: eliminate read on REPLACE/DELETE Vladimir Davydov 2018-07-13 10:53 ` Vladimir Davydov 2018-07-13 10:53 ` [PATCH 1/3] stailq: add stailq_insert function Vladimir Davydov 2018-07-15 7:02 ` Konstantin Osipov 2018-07-15 13:17 ` Vladimir Davydov 2018-07-15 18:40 ` Konstantin Osipov 2018-07-17 10:18 ` Vladimir Davydov 2018-07-13 10:53 ` [PATCH 2/3] vinyl: link all indexes of the same space Vladimir Davydov 2018-07-13 10:53 ` [PATCH 3/3] vinyl: generate deferred DELETEs on tx commit Vladimir Davydov
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=dffd4fe092b0410d559120d0744ca8a445794f09.1531065648.git.vdavydov.dev@gmail.com \ --to=vdavydov.dev@gmail.com \ --cc=kostja@tarantool.org \ --cc=tarantool-patches@freelists.org \ --subject='Re: [RFC PATCH 18/23] vinyl: store pointer to scheduler in struct vy_task' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox