133e9e9bdSKevin Wolf /* 233e9e9bdSKevin Wolf * Background jobs (long-running operations) 333e9e9bdSKevin Wolf * 433e9e9bdSKevin Wolf * Copyright (c) 2011 IBM Corp. 533e9e9bdSKevin Wolf * Copyright (c) 2012, 2018 Red Hat, Inc. 633e9e9bdSKevin Wolf * 733e9e9bdSKevin Wolf * Permission is hereby granted, free of charge, to any person obtaining a copy 833e9e9bdSKevin Wolf * of this software and associated documentation files (the "Software"), to deal 933e9e9bdSKevin Wolf * in the Software without restriction, including without limitation the rights 1033e9e9bdSKevin Wolf * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 1133e9e9bdSKevin Wolf * copies of the Software, and to permit persons to whom the Software is 1233e9e9bdSKevin Wolf * furnished to do so, subject to the following conditions: 1333e9e9bdSKevin Wolf * 1433e9e9bdSKevin Wolf * The above copyright notice and this permission notice shall be included in 1533e9e9bdSKevin Wolf * all copies or substantial portions of the Software. 1633e9e9bdSKevin Wolf * 1733e9e9bdSKevin Wolf * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 1833e9e9bdSKevin Wolf * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 1933e9e9bdSKevin Wolf * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 2033e9e9bdSKevin Wolf * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 2133e9e9bdSKevin Wolf * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 2233e9e9bdSKevin Wolf * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 2333e9e9bdSKevin Wolf * THE SOFTWARE. 2433e9e9bdSKevin Wolf */ 2533e9e9bdSKevin Wolf 2633e9e9bdSKevin Wolf #include "qemu/osdep.h" 2733e9e9bdSKevin Wolf #include "qemu-common.h" 2833e9e9bdSKevin Wolf #include "qapi/error.h" 2933e9e9bdSKevin Wolf #include "qemu/job.h" 3033e9e9bdSKevin Wolf #include "qemu/id.h" 311908a559SKevin Wolf #include "qemu/main-loop.h" 32a50c2ab8SKevin Wolf #include "trace-root.h" 3333e9e9bdSKevin Wolf 34e7c1d78bSKevin Wolf static QLIST_HEAD(, Job) jobs = QLIST_HEAD_INITIALIZER(jobs); 35e7c1d78bSKevin Wolf 36a50c2ab8SKevin Wolf /* Job State Transition Table */ 37a50c2ab8SKevin Wolf bool JobSTT[JOB_STATUS__MAX][JOB_STATUS__MAX] = { 38a50c2ab8SKevin Wolf /* U, C, R, P, Y, S, W, D, X, E, N */ 39a50c2ab8SKevin Wolf /* U: */ [JOB_STATUS_UNDEFINED] = {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, 40a50c2ab8SKevin Wolf /* C: */ [JOB_STATUS_CREATED] = {0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1}, 41a50c2ab8SKevin Wolf /* R: */ [JOB_STATUS_RUNNING] = {0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0}, 42a50c2ab8SKevin Wolf /* P: */ [JOB_STATUS_PAUSED] = {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0}, 43a50c2ab8SKevin Wolf /* Y: */ [JOB_STATUS_READY] = {0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0}, 44a50c2ab8SKevin Wolf /* S: */ [JOB_STATUS_STANDBY] = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0}, 45a50c2ab8SKevin Wolf /* W: */ [JOB_STATUS_WAITING] = {0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0}, 46a50c2ab8SKevin Wolf /* D: */ [JOB_STATUS_PENDING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0}, 47a50c2ab8SKevin Wolf /* X: */ [JOB_STATUS_ABORTING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0}, 48a50c2ab8SKevin Wolf /* E: */ [JOB_STATUS_CONCLUDED] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1}, 49a50c2ab8SKevin Wolf /* N: */ [JOB_STATUS_NULL] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, 50a50c2ab8SKevin Wolf }; 51a50c2ab8SKevin Wolf 52a50c2ab8SKevin Wolf bool JobVerbTable[JOB_VERB__MAX][JOB_STATUS__MAX] = { 53a50c2ab8SKevin Wolf /* U, C, R, P, Y, S, W, D, X, E, N */ 54a50c2ab8SKevin Wolf [JOB_VERB_CANCEL] = {0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0}, 55a50c2ab8SKevin Wolf [JOB_VERB_PAUSE] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0}, 56a50c2ab8SKevin Wolf [JOB_VERB_RESUME] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0}, 57a50c2ab8SKevin Wolf [JOB_VERB_SET_SPEED] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0}, 58a50c2ab8SKevin Wolf [JOB_VERB_COMPLETE] = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0}, 59a50c2ab8SKevin Wolf [JOB_VERB_FINALIZE] = {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0}, 60a50c2ab8SKevin Wolf [JOB_VERB_DISMISS] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0}, 61a50c2ab8SKevin Wolf }; 62a50c2ab8SKevin Wolf 63da01ff7fSKevin Wolf /* Right now, this mutex is only needed to synchronize accesses to job->busy 64da01ff7fSKevin Wolf * and job->sleep_timer, such as concurrent calls to job_do_yield and 65da01ff7fSKevin Wolf * job_enter. */ 66da01ff7fSKevin Wolf static QemuMutex job_mutex; 67da01ff7fSKevin Wolf 68da01ff7fSKevin Wolf static void job_lock(void) 69da01ff7fSKevin Wolf { 70da01ff7fSKevin Wolf qemu_mutex_lock(&job_mutex); 71da01ff7fSKevin Wolf } 72da01ff7fSKevin Wolf 73da01ff7fSKevin Wolf static void job_unlock(void) 74da01ff7fSKevin Wolf { 75da01ff7fSKevin Wolf qemu_mutex_unlock(&job_mutex); 76da01ff7fSKevin Wolf } 77da01ff7fSKevin Wolf 78da01ff7fSKevin Wolf static void __attribute__((__constructor__)) job_init(void) 79da01ff7fSKevin Wolf { 80da01ff7fSKevin Wolf qemu_mutex_init(&job_mutex); 81da01ff7fSKevin Wolf } 82da01ff7fSKevin Wolf 83a50c2ab8SKevin Wolf /* TODO Make static once the whole state machine is in job.c */ 84a50c2ab8SKevin Wolf void job_state_transition(Job *job, JobStatus s1) 85a50c2ab8SKevin Wolf { 86a50c2ab8SKevin Wolf JobStatus s0 = job->status; 87a50c2ab8SKevin Wolf assert(s1 >= 0 && s1 <= JOB_STATUS__MAX); 88*4ad35181SKevin Wolf trace_job_state_transition(job, job->ret, 89a50c2ab8SKevin Wolf JobSTT[s0][s1] ? "allowed" : "disallowed", 90a50c2ab8SKevin Wolf JobStatus_str(s0), JobStatus_str(s1)); 91a50c2ab8SKevin Wolf assert(JobSTT[s0][s1]); 92a50c2ab8SKevin Wolf job->status = s1; 93a50c2ab8SKevin Wolf } 94a50c2ab8SKevin Wolf 95a50c2ab8SKevin Wolf int job_apply_verb(Job *job, JobVerb verb, Error **errp) 96a50c2ab8SKevin Wolf { 97a50c2ab8SKevin Wolf JobStatus s0 = job->status; 98a50c2ab8SKevin Wolf assert(verb >= 0 && verb <= JOB_VERB__MAX); 99a50c2ab8SKevin Wolf trace_job_apply_verb(job, JobStatus_str(s0), JobVerb_str(verb), 100a50c2ab8SKevin Wolf JobVerbTable[verb][s0] ? "allowed" : "prohibited"); 101a50c2ab8SKevin Wolf if (JobVerbTable[verb][s0]) { 102a50c2ab8SKevin Wolf return 0; 103a50c2ab8SKevin Wolf } 104a50c2ab8SKevin Wolf error_setg(errp, "Job '%s' in state '%s' cannot accept command verb '%s'", 105a50c2ab8SKevin Wolf job->id, JobStatus_str(s0), JobVerb_str(verb)); 106a50c2ab8SKevin Wolf return -EPERM; 107a50c2ab8SKevin Wolf } 108a50c2ab8SKevin Wolf 109252291eaSKevin Wolf JobType job_type(const Job *job) 110252291eaSKevin Wolf { 111252291eaSKevin Wolf return job->driver->job_type; 112252291eaSKevin Wolf } 113252291eaSKevin Wolf 114252291eaSKevin Wolf const char *job_type_str(const Job *job) 115252291eaSKevin Wolf { 116252291eaSKevin Wolf return JobType_str(job_type(job)); 117252291eaSKevin Wolf } 118252291eaSKevin Wolf 119daa7f2f9SKevin Wolf bool job_is_cancelled(Job *job) 120daa7f2f9SKevin Wolf { 121daa7f2f9SKevin Wolf return job->cancelled; 122daa7f2f9SKevin Wolf } 123daa7f2f9SKevin Wolf 124dbe5e6c1SKevin Wolf bool job_is_completed(Job *job) 125dbe5e6c1SKevin Wolf { 126dbe5e6c1SKevin Wolf switch (job->status) { 127dbe5e6c1SKevin Wolf case JOB_STATUS_UNDEFINED: 128dbe5e6c1SKevin Wolf case JOB_STATUS_CREATED: 129dbe5e6c1SKevin Wolf case JOB_STATUS_RUNNING: 130dbe5e6c1SKevin Wolf case JOB_STATUS_PAUSED: 131dbe5e6c1SKevin Wolf case JOB_STATUS_READY: 132dbe5e6c1SKevin Wolf case JOB_STATUS_STANDBY: 133dbe5e6c1SKevin Wolf return false; 134dbe5e6c1SKevin Wolf case JOB_STATUS_WAITING: 135dbe5e6c1SKevin Wolf case JOB_STATUS_PENDING: 136dbe5e6c1SKevin Wolf case JOB_STATUS_ABORTING: 137dbe5e6c1SKevin Wolf case JOB_STATUS_CONCLUDED: 138dbe5e6c1SKevin Wolf case JOB_STATUS_NULL: 139dbe5e6c1SKevin Wolf return true; 140dbe5e6c1SKevin Wolf default: 141dbe5e6c1SKevin Wolf g_assert_not_reached(); 142dbe5e6c1SKevin Wolf } 143dbe5e6c1SKevin Wolf return false; 144dbe5e6c1SKevin Wolf } 145dbe5e6c1SKevin Wolf 146da01ff7fSKevin Wolf bool job_started(Job *job) 147da01ff7fSKevin Wolf { 148da01ff7fSKevin Wolf return job->co; 149da01ff7fSKevin Wolf } 150da01ff7fSKevin Wolf 151da01ff7fSKevin Wolf bool job_should_pause(Job *job) 152da01ff7fSKevin Wolf { 153da01ff7fSKevin Wolf return job->pause_count > 0; 154da01ff7fSKevin Wolf } 155da01ff7fSKevin Wolf 156e7c1d78bSKevin Wolf Job *job_next(Job *job) 157e7c1d78bSKevin Wolf { 158e7c1d78bSKevin Wolf if (!job) { 159e7c1d78bSKevin Wolf return QLIST_FIRST(&jobs); 160e7c1d78bSKevin Wolf } 161e7c1d78bSKevin Wolf return QLIST_NEXT(job, job_list); 162e7c1d78bSKevin Wolf } 163e7c1d78bSKevin Wolf 164e7c1d78bSKevin Wolf Job *job_get(const char *id) 165e7c1d78bSKevin Wolf { 166e7c1d78bSKevin Wolf Job *job; 167e7c1d78bSKevin Wolf 168e7c1d78bSKevin Wolf QLIST_FOREACH(job, &jobs, job_list) { 169e7c1d78bSKevin Wolf if (job->id && !strcmp(id, job->id)) { 170e7c1d78bSKevin Wolf return job; 171e7c1d78bSKevin Wolf } 172e7c1d78bSKevin Wolf } 173e7c1d78bSKevin Wolf 174e7c1d78bSKevin Wolf return NULL; 175e7c1d78bSKevin Wolf } 176e7c1d78bSKevin Wolf 1775d43e86eSKevin Wolf static void job_sleep_timer_cb(void *opaque) 1785d43e86eSKevin Wolf { 1795d43e86eSKevin Wolf Job *job = opaque; 1805d43e86eSKevin Wolf 1815d43e86eSKevin Wolf job_enter(job); 1825d43e86eSKevin Wolf } 1835d43e86eSKevin Wolf 18408be6fe2SKevin Wolf void *job_create(const char *job_id, const JobDriver *driver, AioContext *ctx, 185*4ad35181SKevin Wolf int flags, BlockCompletionFunc *cb, void *opaque, Error **errp) 18633e9e9bdSKevin Wolf { 18733e9e9bdSKevin Wolf Job *job; 18833e9e9bdSKevin Wolf 18933e9e9bdSKevin Wolf if (job_id) { 190bb02b65cSKevin Wolf if (flags & JOB_INTERNAL) { 191bb02b65cSKevin Wolf error_setg(errp, "Cannot specify job ID for internal job"); 192bb02b65cSKevin Wolf return NULL; 193bb02b65cSKevin Wolf } 19433e9e9bdSKevin Wolf if (!id_wellformed(job_id)) { 19533e9e9bdSKevin Wolf error_setg(errp, "Invalid job ID '%s'", job_id); 19633e9e9bdSKevin Wolf return NULL; 19733e9e9bdSKevin Wolf } 198e7c1d78bSKevin Wolf if (job_get(job_id)) { 199e7c1d78bSKevin Wolf error_setg(errp, "Job ID '%s' already in use", job_id); 200e7c1d78bSKevin Wolf return NULL; 201e7c1d78bSKevin Wolf } 202bb02b65cSKevin Wolf } else if (!(flags & JOB_INTERNAL)) { 203bb02b65cSKevin Wolf error_setg(errp, "An explicit job ID is required"); 204bb02b65cSKevin Wolf return NULL; 20533e9e9bdSKevin Wolf } 20633e9e9bdSKevin Wolf 20733e9e9bdSKevin Wolf job = g_malloc0(driver->instance_size); 20833e9e9bdSKevin Wolf job->driver = driver; 20933e9e9bdSKevin Wolf job->id = g_strdup(job_id); 21080fa2c75SKevin Wolf job->refcnt = 1; 21108be6fe2SKevin Wolf job->aio_context = ctx; 212da01ff7fSKevin Wolf job->busy = false; 213da01ff7fSKevin Wolf job->paused = true; 214da01ff7fSKevin Wolf job->pause_count = 1; 215bb02b65cSKevin Wolf job->auto_finalize = !(flags & JOB_MANUAL_FINALIZE); 216bb02b65cSKevin Wolf job->auto_dismiss = !(flags & JOB_MANUAL_DISMISS); 217*4ad35181SKevin Wolf job->cb = cb; 218*4ad35181SKevin Wolf job->opaque = opaque; 21933e9e9bdSKevin Wolf 220139a9f02SKevin Wolf notifier_list_init(&job->on_finalize_cancelled); 221139a9f02SKevin Wolf notifier_list_init(&job->on_finalize_completed); 222139a9f02SKevin Wolf notifier_list_init(&job->on_pending); 223139a9f02SKevin Wolf 224a50c2ab8SKevin Wolf job_state_transition(job, JOB_STATUS_CREATED); 2255d43e86eSKevin Wolf aio_timer_init(qemu_get_aio_context(), &job->sleep_timer, 2265d43e86eSKevin Wolf QEMU_CLOCK_REALTIME, SCALE_NS, 2275d43e86eSKevin Wolf job_sleep_timer_cb, job); 228a50c2ab8SKevin Wolf 229e7c1d78bSKevin Wolf QLIST_INSERT_HEAD(&jobs, job, job_list); 230e7c1d78bSKevin Wolf 23133e9e9bdSKevin Wolf return job; 23233e9e9bdSKevin Wolf } 233fd61a701SKevin Wolf 23480fa2c75SKevin Wolf void job_ref(Job *job) 235fd61a701SKevin Wolf { 23680fa2c75SKevin Wolf ++job->refcnt; 23780fa2c75SKevin Wolf } 23880fa2c75SKevin Wolf 23980fa2c75SKevin Wolf void job_unref(Job *job) 24080fa2c75SKevin Wolf { 24180fa2c75SKevin Wolf if (--job->refcnt == 0) { 24280fa2c75SKevin Wolf assert(job->status == JOB_STATUS_NULL); 2435d43e86eSKevin Wolf assert(!timer_pending(&job->sleep_timer)); 24480fa2c75SKevin Wolf 24580fa2c75SKevin Wolf if (job->driver->free) { 24680fa2c75SKevin Wolf job->driver->free(job); 24780fa2c75SKevin Wolf } 24880fa2c75SKevin Wolf 249e7c1d78bSKevin Wolf QLIST_REMOVE(job, job_list); 250e7c1d78bSKevin Wolf 251fd61a701SKevin Wolf g_free(job->id); 252fd61a701SKevin Wolf g_free(job); 253fd61a701SKevin Wolf } 25480fa2c75SKevin Wolf } 2551908a559SKevin Wolf 256139a9f02SKevin Wolf void job_event_cancelled(Job *job) 257139a9f02SKevin Wolf { 258139a9f02SKevin Wolf notifier_list_notify(&job->on_finalize_cancelled, job); 259139a9f02SKevin Wolf } 260139a9f02SKevin Wolf 261139a9f02SKevin Wolf void job_event_completed(Job *job) 262139a9f02SKevin Wolf { 263139a9f02SKevin Wolf notifier_list_notify(&job->on_finalize_completed, job); 264139a9f02SKevin Wolf } 265139a9f02SKevin Wolf 266139a9f02SKevin Wolf void job_event_pending(Job *job) 267139a9f02SKevin Wolf { 268139a9f02SKevin Wolf notifier_list_notify(&job->on_pending, job); 269139a9f02SKevin Wolf } 270139a9f02SKevin Wolf 271da01ff7fSKevin Wolf void job_enter_cond(Job *job, bool(*fn)(Job *job)) 272da01ff7fSKevin Wolf { 273da01ff7fSKevin Wolf if (!job_started(job)) { 274da01ff7fSKevin Wolf return; 275da01ff7fSKevin Wolf } 276da01ff7fSKevin Wolf if (job->deferred_to_main_loop) { 277da01ff7fSKevin Wolf return; 278da01ff7fSKevin Wolf } 279da01ff7fSKevin Wolf 280da01ff7fSKevin Wolf job_lock(); 281da01ff7fSKevin Wolf if (job->busy) { 282da01ff7fSKevin Wolf job_unlock(); 283da01ff7fSKevin Wolf return; 284da01ff7fSKevin Wolf } 285da01ff7fSKevin Wolf 286da01ff7fSKevin Wolf if (fn && !fn(job)) { 287da01ff7fSKevin Wolf job_unlock(); 288da01ff7fSKevin Wolf return; 289da01ff7fSKevin Wolf } 290da01ff7fSKevin Wolf 291da01ff7fSKevin Wolf assert(!job->deferred_to_main_loop); 292da01ff7fSKevin Wolf timer_del(&job->sleep_timer); 293da01ff7fSKevin Wolf job->busy = true; 294da01ff7fSKevin Wolf job_unlock(); 295da01ff7fSKevin Wolf aio_co_wake(job->co); 296da01ff7fSKevin Wolf } 297da01ff7fSKevin Wolf 2985d43e86eSKevin Wolf void job_enter(Job *job) 2995d43e86eSKevin Wolf { 3005d43e86eSKevin Wolf job_enter_cond(job, NULL); 3015d43e86eSKevin Wolf } 3025d43e86eSKevin Wolf 303da01ff7fSKevin Wolf /* Yield, and schedule a timer to reenter the coroutine after @ns nanoseconds. 304da01ff7fSKevin Wolf * Reentering the job coroutine with block_job_enter() before the timer has 305da01ff7fSKevin Wolf * expired is allowed and cancels the timer. 306da01ff7fSKevin Wolf * 307da01ff7fSKevin Wolf * If @ns is (uint64_t) -1, no timer is scheduled and block_job_enter() must be 308da01ff7fSKevin Wolf * called explicitly. */ 309da01ff7fSKevin Wolf void coroutine_fn job_do_yield(Job *job, uint64_t ns) 310da01ff7fSKevin Wolf { 311da01ff7fSKevin Wolf job_lock(); 312da01ff7fSKevin Wolf if (ns != -1) { 313da01ff7fSKevin Wolf timer_mod(&job->sleep_timer, ns); 314da01ff7fSKevin Wolf } 315da01ff7fSKevin Wolf job->busy = false; 316da01ff7fSKevin Wolf job_unlock(); 317da01ff7fSKevin Wolf qemu_coroutine_yield(); 318da01ff7fSKevin Wolf 319da01ff7fSKevin Wolf /* Set by job_enter_cond() before re-entering the coroutine. */ 320da01ff7fSKevin Wolf assert(job->busy); 321da01ff7fSKevin Wolf } 322da01ff7fSKevin Wolf 323da01ff7fSKevin Wolf void coroutine_fn job_pause_point(Job *job) 324da01ff7fSKevin Wolf { 325da01ff7fSKevin Wolf assert(job && job_started(job)); 326da01ff7fSKevin Wolf 327da01ff7fSKevin Wolf if (!job_should_pause(job)) { 328da01ff7fSKevin Wolf return; 329da01ff7fSKevin Wolf } 330da01ff7fSKevin Wolf if (job_is_cancelled(job)) { 331da01ff7fSKevin Wolf return; 332da01ff7fSKevin Wolf } 333da01ff7fSKevin Wolf 334da01ff7fSKevin Wolf if (job->driver->pause) { 335da01ff7fSKevin Wolf job->driver->pause(job); 336da01ff7fSKevin Wolf } 337da01ff7fSKevin Wolf 338da01ff7fSKevin Wolf if (job_should_pause(job) && !job_is_cancelled(job)) { 339da01ff7fSKevin Wolf JobStatus status = job->status; 340da01ff7fSKevin Wolf job_state_transition(job, status == JOB_STATUS_READY 341da01ff7fSKevin Wolf ? JOB_STATUS_STANDBY 342da01ff7fSKevin Wolf : JOB_STATUS_PAUSED); 343da01ff7fSKevin Wolf job->paused = true; 344da01ff7fSKevin Wolf job_do_yield(job, -1); 345da01ff7fSKevin Wolf job->paused = false; 346da01ff7fSKevin Wolf job_state_transition(job, status); 347da01ff7fSKevin Wolf } 348da01ff7fSKevin Wolf 349da01ff7fSKevin Wolf if (job->driver->resume) { 350da01ff7fSKevin Wolf job->driver->resume(job); 351da01ff7fSKevin Wolf } 352da01ff7fSKevin Wolf } 353da01ff7fSKevin Wolf 3545d43e86eSKevin Wolf void coroutine_fn job_sleep_ns(Job *job, int64_t ns) 3555d43e86eSKevin Wolf { 3565d43e86eSKevin Wolf assert(job->busy); 3575d43e86eSKevin Wolf 3585d43e86eSKevin Wolf /* Check cancellation *before* setting busy = false, too! */ 3595d43e86eSKevin Wolf if (job_is_cancelled(job)) { 3605d43e86eSKevin Wolf return; 3615d43e86eSKevin Wolf } 3625d43e86eSKevin Wolf 3635d43e86eSKevin Wolf if (!job_should_pause(job)) { 3645d43e86eSKevin Wolf job_do_yield(job, qemu_clock_get_ns(QEMU_CLOCK_REALTIME) + ns); 3655d43e86eSKevin Wolf } 3665d43e86eSKevin Wolf 3675d43e86eSKevin Wolf job_pause_point(job); 3685d43e86eSKevin Wolf } 3695d43e86eSKevin Wolf 370da01ff7fSKevin Wolf /** 371da01ff7fSKevin Wolf * All jobs must allow a pause point before entering their job proper. This 372da01ff7fSKevin Wolf * ensures that jobs can be paused prior to being started, then resumed later. 373da01ff7fSKevin Wolf */ 374da01ff7fSKevin Wolf static void coroutine_fn job_co_entry(void *opaque) 375da01ff7fSKevin Wolf { 376da01ff7fSKevin Wolf Job *job = opaque; 377da01ff7fSKevin Wolf 378da01ff7fSKevin Wolf assert(job && job->driver && job->driver->start); 379da01ff7fSKevin Wolf job_pause_point(job); 380da01ff7fSKevin Wolf job->driver->start(job); 381da01ff7fSKevin Wolf } 382da01ff7fSKevin Wolf 383da01ff7fSKevin Wolf 384da01ff7fSKevin Wolf void job_start(Job *job) 385da01ff7fSKevin Wolf { 386da01ff7fSKevin Wolf assert(job && !job_started(job) && job->paused && 387da01ff7fSKevin Wolf job->driver && job->driver->start); 388da01ff7fSKevin Wolf job->co = qemu_coroutine_create(job_co_entry, job); 389da01ff7fSKevin Wolf job->pause_count--; 390da01ff7fSKevin Wolf job->busy = true; 391da01ff7fSKevin Wolf job->paused = false; 392da01ff7fSKevin Wolf job_state_transition(job, JOB_STATUS_RUNNING); 393da01ff7fSKevin Wolf aio_co_enter(job->aio_context, job->co); 394da01ff7fSKevin Wolf } 395da01ff7fSKevin Wolf 396b15de828SKevin Wolf /* Assumes the block_job_mutex is held */ 397b15de828SKevin Wolf static bool job_timer_not_pending(Job *job) 398b15de828SKevin Wolf { 399b15de828SKevin Wolf return !timer_pending(&job->sleep_timer); 400b15de828SKevin Wolf } 401b15de828SKevin Wolf 402b15de828SKevin Wolf void job_pause(Job *job) 403b15de828SKevin Wolf { 404b15de828SKevin Wolf job->pause_count++; 405b15de828SKevin Wolf } 406b15de828SKevin Wolf 407b15de828SKevin Wolf void job_resume(Job *job) 408b15de828SKevin Wolf { 409b15de828SKevin Wolf assert(job->pause_count > 0); 410b15de828SKevin Wolf job->pause_count--; 411b15de828SKevin Wolf if (job->pause_count) { 412b15de828SKevin Wolf return; 413b15de828SKevin Wolf } 414b15de828SKevin Wolf 415b15de828SKevin Wolf /* kick only if no timer is pending */ 416b15de828SKevin Wolf job_enter_cond(job, job_timer_not_pending); 417b15de828SKevin Wolf } 418b15de828SKevin Wolf 419b15de828SKevin Wolf void job_user_pause(Job *job, Error **errp) 420b15de828SKevin Wolf { 421b15de828SKevin Wolf if (job_apply_verb(job, JOB_VERB_PAUSE, errp)) { 422b15de828SKevin Wolf return; 423b15de828SKevin Wolf } 424b15de828SKevin Wolf if (job->user_paused) { 425b15de828SKevin Wolf error_setg(errp, "Job is already paused"); 426b15de828SKevin Wolf return; 427b15de828SKevin Wolf } 428b15de828SKevin Wolf job->user_paused = true; 429b15de828SKevin Wolf job_pause(job); 430b15de828SKevin Wolf } 431b15de828SKevin Wolf 432b15de828SKevin Wolf bool job_user_paused(Job *job) 433b15de828SKevin Wolf { 434b15de828SKevin Wolf return job->user_paused; 435b15de828SKevin Wolf } 436b15de828SKevin Wolf 437b15de828SKevin Wolf void job_user_resume(Job *job, Error **errp) 438b15de828SKevin Wolf { 439b15de828SKevin Wolf assert(job); 440b15de828SKevin Wolf if (!job->user_paused || job->pause_count <= 0) { 441b15de828SKevin Wolf error_setg(errp, "Can't resume a job that was not paused"); 442b15de828SKevin Wolf return; 443b15de828SKevin Wolf } 444b15de828SKevin Wolf if (job_apply_verb(job, JOB_VERB_RESUME, errp)) { 445b15de828SKevin Wolf return; 446b15de828SKevin Wolf } 447b15de828SKevin Wolf if (job->driver->user_resume) { 448b15de828SKevin Wolf job->driver->user_resume(job); 449b15de828SKevin Wolf } 450b15de828SKevin Wolf job->user_paused = false; 451b15de828SKevin Wolf job_resume(job); 452b15de828SKevin Wolf } 453b15de828SKevin Wolf 454*4ad35181SKevin Wolf void job_do_dismiss(Job *job) 455*4ad35181SKevin Wolf { 456*4ad35181SKevin Wolf assert(job); 457*4ad35181SKevin Wolf job->busy = false; 458*4ad35181SKevin Wolf job->paused = false; 459*4ad35181SKevin Wolf job->deferred_to_main_loop = true; 460*4ad35181SKevin Wolf 461*4ad35181SKevin Wolf /* TODO Don't assume it's a BlockJob */ 462*4ad35181SKevin Wolf block_job_txn_del_job((BlockJob*) job); 463*4ad35181SKevin Wolf 464*4ad35181SKevin Wolf job_state_transition(job, JOB_STATUS_NULL); 465*4ad35181SKevin Wolf job_unref(job); 466*4ad35181SKevin Wolf } 467*4ad35181SKevin Wolf 468*4ad35181SKevin Wolf void job_early_fail(Job *job) 469*4ad35181SKevin Wolf { 470*4ad35181SKevin Wolf assert(job->status == JOB_STATUS_CREATED); 471*4ad35181SKevin Wolf job_do_dismiss(job); 472*4ad35181SKevin Wolf } 473*4ad35181SKevin Wolf 474*4ad35181SKevin Wolf static void job_conclude(Job *job) 475*4ad35181SKevin Wolf { 476*4ad35181SKevin Wolf job_state_transition(job, JOB_STATUS_CONCLUDED); 477*4ad35181SKevin Wolf if (job->auto_dismiss || !job_started(job)) { 478*4ad35181SKevin Wolf job_do_dismiss(job); 479*4ad35181SKevin Wolf } 480*4ad35181SKevin Wolf } 481*4ad35181SKevin Wolf 482*4ad35181SKevin Wolf void job_update_rc(Job *job) 483*4ad35181SKevin Wolf { 484*4ad35181SKevin Wolf if (!job->ret && job_is_cancelled(job)) { 485*4ad35181SKevin Wolf job->ret = -ECANCELED; 486*4ad35181SKevin Wolf } 487*4ad35181SKevin Wolf if (job->ret) { 488*4ad35181SKevin Wolf job_state_transition(job, JOB_STATUS_ABORTING); 489*4ad35181SKevin Wolf } 490*4ad35181SKevin Wolf } 491*4ad35181SKevin Wolf 492*4ad35181SKevin Wolf static void job_commit(Job *job) 493*4ad35181SKevin Wolf { 494*4ad35181SKevin Wolf assert(!job->ret); 495*4ad35181SKevin Wolf if (job->driver->commit) { 496*4ad35181SKevin Wolf job->driver->commit(job); 497*4ad35181SKevin Wolf } 498*4ad35181SKevin Wolf } 499*4ad35181SKevin Wolf 500*4ad35181SKevin Wolf static void job_abort(Job *job) 501*4ad35181SKevin Wolf { 502*4ad35181SKevin Wolf assert(job->ret); 503*4ad35181SKevin Wolf if (job->driver->abort) { 504*4ad35181SKevin Wolf job->driver->abort(job); 505*4ad35181SKevin Wolf } 506*4ad35181SKevin Wolf } 507*4ad35181SKevin Wolf 508*4ad35181SKevin Wolf static void job_clean(Job *job) 509*4ad35181SKevin Wolf { 510*4ad35181SKevin Wolf if (job->driver->clean) { 511*4ad35181SKevin Wolf job->driver->clean(job); 512*4ad35181SKevin Wolf } 513*4ad35181SKevin Wolf } 514*4ad35181SKevin Wolf 515*4ad35181SKevin Wolf int job_finalize_single(Job *job) 516*4ad35181SKevin Wolf { 517*4ad35181SKevin Wolf assert(job_is_completed(job)); 518*4ad35181SKevin Wolf 519*4ad35181SKevin Wolf /* Ensure abort is called for late-transactional failures */ 520*4ad35181SKevin Wolf job_update_rc(job); 521*4ad35181SKevin Wolf 522*4ad35181SKevin Wolf if (!job->ret) { 523*4ad35181SKevin Wolf job_commit(job); 524*4ad35181SKevin Wolf } else { 525*4ad35181SKevin Wolf job_abort(job); 526*4ad35181SKevin Wolf } 527*4ad35181SKevin Wolf job_clean(job); 528*4ad35181SKevin Wolf 529*4ad35181SKevin Wolf if (job->cb) { 530*4ad35181SKevin Wolf job->cb(job->opaque, job->ret); 531*4ad35181SKevin Wolf } 532*4ad35181SKevin Wolf 533*4ad35181SKevin Wolf /* Emit events only if we actually started */ 534*4ad35181SKevin Wolf if (job_started(job)) { 535*4ad35181SKevin Wolf if (job_is_cancelled(job)) { 536*4ad35181SKevin Wolf job_event_cancelled(job); 537*4ad35181SKevin Wolf } else { 538*4ad35181SKevin Wolf job_event_completed(job); 539*4ad35181SKevin Wolf } 540*4ad35181SKevin Wolf } 541*4ad35181SKevin Wolf 542*4ad35181SKevin Wolf /* TODO Don't assume it's a BlockJob */ 543*4ad35181SKevin Wolf block_job_txn_del_job((BlockJob*) job); 544*4ad35181SKevin Wolf job_conclude(job); 545*4ad35181SKevin Wolf return 0; 546*4ad35181SKevin Wolf } 547*4ad35181SKevin Wolf 548b15de828SKevin Wolf 5491908a559SKevin Wolf typedef struct { 5501908a559SKevin Wolf Job *job; 5511908a559SKevin Wolf JobDeferToMainLoopFn *fn; 5521908a559SKevin Wolf void *opaque; 5531908a559SKevin Wolf } JobDeferToMainLoopData; 5541908a559SKevin Wolf 5551908a559SKevin Wolf static void job_defer_to_main_loop_bh(void *opaque) 5561908a559SKevin Wolf { 5571908a559SKevin Wolf JobDeferToMainLoopData *data = opaque; 5581908a559SKevin Wolf Job *job = data->job; 5591908a559SKevin Wolf AioContext *aio_context = job->aio_context; 5601908a559SKevin Wolf 5611908a559SKevin Wolf aio_context_acquire(aio_context); 5621908a559SKevin Wolf data->fn(data->job, data->opaque); 5631908a559SKevin Wolf aio_context_release(aio_context); 5641908a559SKevin Wolf 5651908a559SKevin Wolf g_free(data); 5661908a559SKevin Wolf } 5671908a559SKevin Wolf 5681908a559SKevin Wolf void job_defer_to_main_loop(Job *job, JobDeferToMainLoopFn *fn, void *opaque) 5691908a559SKevin Wolf { 5701908a559SKevin Wolf JobDeferToMainLoopData *data = g_malloc(sizeof(*data)); 5711908a559SKevin Wolf data->job = job; 5721908a559SKevin Wolf data->fn = fn; 5731908a559SKevin Wolf data->opaque = opaque; 5741908a559SKevin Wolf job->deferred_to_main_loop = true; 5751908a559SKevin Wolf 5761908a559SKevin Wolf aio_bh_schedule_oneshot(qemu_get_aio_context(), 5771908a559SKevin Wolf job_defer_to_main_loop_bh, data); 5781908a559SKevin Wolf } 579