blob: 37d828f964669c75d1d6ee42eaa246b30026cd3c [file] [log] [blame]
Kevin Wolf33e9e9b2018-04-12 17:29:59 +02001/*
2 * Background jobs (long-running operations)
3 *
4 * Copyright (c) 2011 IBM Corp.
5 * Copyright (c) 2012, 2018 Red Hat, Inc.
6 *
7 * Permission is hereby granted, free of charge, to any person obtaining a copy
8 * of this software and associated documentation files (the "Software"), to deal
9 * in the Software without restriction, including without limitation the rights
10 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 * copies of the Software, and to permit persons to whom the Software is
12 * furnished to do so, subject to the following conditions:
13 *
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
16 *
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23 * THE SOFTWARE.
24 */
25
26#include "qemu/osdep.h"
27#include "qemu-common.h"
28#include "qapi/error.h"
29#include "qemu/job.h"
30#include "qemu/id.h"
Kevin Wolf1908a552018-04-17 16:41:17 +020031#include "qemu/main-loop.h"
Kevin Wolfa50c2ab2018-04-13 17:19:31 +020032#include "trace-root.h"
Kevin Wolf1dac83f2018-04-30 19:09:46 +020033#include "qapi/qapi-events-job.h"
Kevin Wolf33e9e9b2018-04-12 17:29:59 +020034
Kevin Wolfe7c1d782018-04-12 17:54:37 +020035static QLIST_HEAD(, Job) jobs = QLIST_HEAD_INITIALIZER(jobs);
36
Kevin Wolfa50c2ab2018-04-13 17:19:31 +020037/* Job State Transition Table */
38bool JobSTT[JOB_STATUS__MAX][JOB_STATUS__MAX] = {
39 /* U, C, R, P, Y, S, W, D, X, E, N */
40 /* U: */ [JOB_STATUS_UNDEFINED] = {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0},
41 /* C: */ [JOB_STATUS_CREATED] = {0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1},
42 /* R: */ [JOB_STATUS_RUNNING] = {0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0},
43 /* P: */ [JOB_STATUS_PAUSED] = {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0},
44 /* Y: */ [JOB_STATUS_READY] = {0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0},
45 /* S: */ [JOB_STATUS_STANDBY] = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0},
46 /* W: */ [JOB_STATUS_WAITING] = {0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0},
47 /* D: */ [JOB_STATUS_PENDING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
48 /* X: */ [JOB_STATUS_ABORTING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
49 /* E: */ [JOB_STATUS_CONCLUDED] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1},
50 /* N: */ [JOB_STATUS_NULL] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
51};
52
53bool JobVerbTable[JOB_VERB__MAX][JOB_STATUS__MAX] = {
54 /* U, C, R, P, Y, S, W, D, X, E, N */
55 [JOB_VERB_CANCEL] = {0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0},
56 [JOB_VERB_PAUSE] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
57 [JOB_VERB_RESUME] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
58 [JOB_VERB_SET_SPEED] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
59 [JOB_VERB_COMPLETE] = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0},
60 [JOB_VERB_FINALIZE] = {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0},
61 [JOB_VERB_DISMISS] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0},
62};
63
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +020064/* Transactional group of jobs */
65struct JobTxn {
66
67 /* Is this txn being cancelled? */
68 bool aborting;
69
70 /* List of jobs */
71 QLIST_HEAD(, Job) jobs;
72
73 /* Reference count */
74 int refcnt;
75};
76
Kevin Wolfda01ff72018-04-13 17:31:02 +020077/* Right now, this mutex is only needed to synchronize accesses to job->busy
78 * and job->sleep_timer, such as concurrent calls to job_do_yield and
79 * job_enter. */
80static QemuMutex job_mutex;
81
82static void job_lock(void)
83{
84 qemu_mutex_lock(&job_mutex);
85}
86
87static void job_unlock(void)
88{
89 qemu_mutex_unlock(&job_mutex);
90}
91
92static void __attribute__((__constructor__)) job_init(void)
93{
94 qemu_mutex_init(&job_mutex);
95}
96
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +020097JobTxn *job_txn_new(void)
98{
99 JobTxn *txn = g_new0(JobTxn, 1);
100 QLIST_INIT(&txn->jobs);
101 txn->refcnt = 1;
102 return txn;
103}
104
105static void job_txn_ref(JobTxn *txn)
106{
107 txn->refcnt++;
108}
109
110void job_txn_unref(JobTxn *txn)
111{
112 if (txn && --txn->refcnt == 0) {
113 g_free(txn);
114 }
115}
116
117void job_txn_add_job(JobTxn *txn, Job *job)
118{
119 if (!txn) {
120 return;
121 }
122
123 assert(!job->txn);
124 job->txn = txn;
125
126 QLIST_INSERT_HEAD(&txn->jobs, job, txn_list);
127 job_txn_ref(txn);
128}
129
130static void job_txn_del_job(Job *job)
131{
132 if (job->txn) {
133 QLIST_REMOVE(job, txn_list);
134 job_txn_unref(job->txn);
135 job->txn = NULL;
136 }
137}
138
139static int job_txn_apply(JobTxn *txn, int fn(Job *), bool lock)
140{
141 AioContext *ctx;
142 Job *job, *next;
143 int rc = 0;
144
145 QLIST_FOREACH_SAFE(job, &txn->jobs, txn_list, next) {
146 if (lock) {
147 ctx = job->aio_context;
148 aio_context_acquire(ctx);
149 }
150 rc = fn(job);
151 if (lock) {
152 aio_context_release(ctx);
153 }
154 if (rc) {
155 break;
156 }
157 }
158 return rc;
159}
160
Kevin Wolf456273b2018-05-04 16:25:43 +0200161bool job_is_internal(Job *job)
Kevin Wolf1dac83f2018-04-30 19:09:46 +0200162{
163 return (job->id == NULL);
164}
165
Kevin Wolf2e1795b2018-04-25 14:56:09 +0200166static void job_state_transition(Job *job, JobStatus s1)
Kevin Wolfa50c2ab2018-04-13 17:19:31 +0200167{
168 JobStatus s0 = job->status;
169 assert(s1 >= 0 && s1 <= JOB_STATUS__MAX);
Kevin Wolf4ad35182018-04-19 17:30:16 +0200170 trace_job_state_transition(job, job->ret,
Kevin Wolfa50c2ab2018-04-13 17:19:31 +0200171 JobSTT[s0][s1] ? "allowed" : "disallowed",
172 JobStatus_str(s0), JobStatus_str(s1));
173 assert(JobSTT[s0][s1]);
174 job->status = s1;
Kevin Wolf1dac83f2018-04-30 19:09:46 +0200175
176 if (!job_is_internal(job) && s1 != s0) {
177 qapi_event_send_job_status_change(job->id, job->status, &error_abort);
178 }
Kevin Wolfa50c2ab2018-04-13 17:19:31 +0200179}
180
181int job_apply_verb(Job *job, JobVerb verb, Error **errp)
182{
183 JobStatus s0 = job->status;
184 assert(verb >= 0 && verb <= JOB_VERB__MAX);
185 trace_job_apply_verb(job, JobStatus_str(s0), JobVerb_str(verb),
186 JobVerbTable[verb][s0] ? "allowed" : "prohibited");
187 if (JobVerbTable[verb][s0]) {
188 return 0;
189 }
190 error_setg(errp, "Job '%s' in state '%s' cannot accept command verb '%s'",
191 job->id, JobStatus_str(s0), JobVerb_str(verb));
192 return -EPERM;
193}
194
Kevin Wolf252291e2018-04-12 17:57:08 +0200195JobType job_type(const Job *job)
196{
197 return job->driver->job_type;
198}
199
200const char *job_type_str(const Job *job)
201{
202 return JobType_str(job_type(job));
203}
204
Kevin Wolfdaa7f2f2018-04-17 12:56:07 +0200205bool job_is_cancelled(Job *job)
206{
207 return job->cancelled;
208}
209
Kevin Wolfdf956ae2018-04-25 15:09:58 +0200210bool job_is_ready(Job *job)
211{
212 switch (job->status) {
213 case JOB_STATUS_UNDEFINED:
214 case JOB_STATUS_CREATED:
215 case JOB_STATUS_RUNNING:
216 case JOB_STATUS_PAUSED:
217 case JOB_STATUS_WAITING:
218 case JOB_STATUS_PENDING:
219 case JOB_STATUS_ABORTING:
220 case JOB_STATUS_CONCLUDED:
221 case JOB_STATUS_NULL:
222 return false;
223 case JOB_STATUS_READY:
224 case JOB_STATUS_STANDBY:
225 return true;
226 default:
227 g_assert_not_reached();
228 }
229 return false;
230}
231
Kevin Wolfdbe5e6c2018-04-19 13:04:01 +0200232bool job_is_completed(Job *job)
233{
234 switch (job->status) {
235 case JOB_STATUS_UNDEFINED:
236 case JOB_STATUS_CREATED:
237 case JOB_STATUS_RUNNING:
238 case JOB_STATUS_PAUSED:
239 case JOB_STATUS_READY:
240 case JOB_STATUS_STANDBY:
241 return false;
242 case JOB_STATUS_WAITING:
243 case JOB_STATUS_PENDING:
244 case JOB_STATUS_ABORTING:
245 case JOB_STATUS_CONCLUDED:
246 case JOB_STATUS_NULL:
247 return true;
248 default:
249 g_assert_not_reached();
250 }
251 return false;
252}
253
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200254static bool job_started(Job *job)
Kevin Wolfda01ff72018-04-13 17:31:02 +0200255{
256 return job->co;
257}
258
Kevin Wolf198c49c2018-04-24 16:55:04 +0200259static bool job_should_pause(Job *job)
Kevin Wolfda01ff72018-04-13 17:31:02 +0200260{
261 return job->pause_count > 0;
262}
263
Kevin Wolfe7c1d782018-04-12 17:54:37 +0200264Job *job_next(Job *job)
265{
266 if (!job) {
267 return QLIST_FIRST(&jobs);
268 }
269 return QLIST_NEXT(job, job_list);
270}
271
272Job *job_get(const char *id)
273{
274 Job *job;
275
276 QLIST_FOREACH(job, &jobs, job_list) {
277 if (job->id && !strcmp(id, job->id)) {
278 return job;
279 }
280 }
281
282 return NULL;
283}
284
Kevin Wolf5d43e862018-04-18 16:32:20 +0200285static void job_sleep_timer_cb(void *opaque)
286{
287 Job *job = opaque;
288
289 job_enter(job);
290}
291
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200292void *job_create(const char *job_id, const JobDriver *driver, JobTxn *txn,
293 AioContext *ctx, int flags, BlockCompletionFunc *cb,
294 void *opaque, Error **errp)
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200295{
296 Job *job;
297
298 if (job_id) {
Kevin Wolfbb02b652018-04-19 17:54:56 +0200299 if (flags & JOB_INTERNAL) {
300 error_setg(errp, "Cannot specify job ID for internal job");
301 return NULL;
302 }
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200303 if (!id_wellformed(job_id)) {
304 error_setg(errp, "Invalid job ID '%s'", job_id);
305 return NULL;
306 }
Kevin Wolfe7c1d782018-04-12 17:54:37 +0200307 if (job_get(job_id)) {
308 error_setg(errp, "Job ID '%s' already in use", job_id);
309 return NULL;
310 }
Kevin Wolfbb02b652018-04-19 17:54:56 +0200311 } else if (!(flags & JOB_INTERNAL)) {
312 error_setg(errp, "An explicit job ID is required");
313 return NULL;
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200314 }
315
316 job = g_malloc0(driver->instance_size);
317 job->driver = driver;
318 job->id = g_strdup(job_id);
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200319 job->refcnt = 1;
Kevin Wolf08be6fe2018-04-17 13:49:33 +0200320 job->aio_context = ctx;
Kevin Wolfda01ff72018-04-13 17:31:02 +0200321 job->busy = false;
322 job->paused = true;
323 job->pause_count = 1;
Kevin Wolfbb02b652018-04-19 17:54:56 +0200324 job->auto_finalize = !(flags & JOB_MANUAL_FINALIZE);
325 job->auto_dismiss = !(flags & JOB_MANUAL_DISMISS);
Kevin Wolf4ad35182018-04-19 17:30:16 +0200326 job->cb = cb;
327 job->opaque = opaque;
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200328
Kevin Wolf139a9f02018-04-23 18:04:57 +0200329 notifier_list_init(&job->on_finalize_cancelled);
330 notifier_list_init(&job->on_finalize_completed);
331 notifier_list_init(&job->on_pending);
Kevin Wolf2e1795b2018-04-25 14:56:09 +0200332 notifier_list_init(&job->on_ready);
Kevin Wolf139a9f02018-04-23 18:04:57 +0200333
Kevin Wolfa50c2ab2018-04-13 17:19:31 +0200334 job_state_transition(job, JOB_STATUS_CREATED);
Kevin Wolf5d43e862018-04-18 16:32:20 +0200335 aio_timer_init(qemu_get_aio_context(), &job->sleep_timer,
336 QEMU_CLOCK_REALTIME, SCALE_NS,
337 job_sleep_timer_cb, job);
Kevin Wolfa50c2ab2018-04-13 17:19:31 +0200338
Kevin Wolfe7c1d782018-04-12 17:54:37 +0200339 QLIST_INSERT_HEAD(&jobs, job, job_list);
340
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200341 /* Single jobs are modeled as single-job transactions for sake of
342 * consolidating the job management logic */
343 if (!txn) {
344 txn = job_txn_new();
345 job_txn_add_job(txn, job);
346 job_txn_unref(txn);
347 } else {
348 job_txn_add_job(txn, job);
349 }
350
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200351 return job;
352}
Kevin Wolffd61a702018-04-12 19:06:53 +0200353
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200354void job_ref(Job *job)
Kevin Wolffd61a702018-04-12 19:06:53 +0200355{
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200356 ++job->refcnt;
357}
Kevin Wolfe7c1d782018-04-12 17:54:37 +0200358
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200359void job_unref(Job *job)
360{
361 if (--job->refcnt == 0) {
362 assert(job->status == JOB_STATUS_NULL);
Kevin Wolf5d43e862018-04-18 16:32:20 +0200363 assert(!timer_pending(&job->sleep_timer));
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200364 assert(!job->txn);
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200365
366 if (job->driver->free) {
367 job->driver->free(job);
368 }
369
370 QLIST_REMOVE(job, job_list);
371
John Snow3d1f8b02018-08-29 21:57:27 -0400372 error_free(job->err);
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200373 g_free(job->id);
374 g_free(job);
375 }
Kevin Wolffd61a702018-04-12 19:06:53 +0200376}
Kevin Wolf1908a552018-04-17 16:41:17 +0200377
Kevin Wolf30a5c882018-05-04 12:17:20 +0200378void job_progress_update(Job *job, uint64_t done)
379{
380 job->progress_current += done;
381}
382
383void job_progress_set_remaining(Job *job, uint64_t remaining)
384{
385 job->progress_total = job->progress_current + remaining;
386}
387
Max Reitz62f13602018-06-13 20:18:20 +0200388void job_progress_increase_remaining(Job *job, uint64_t delta)
389{
390 job->progress_total += delta;
391}
392
Kevin Wolf139a9f02018-04-23 18:04:57 +0200393void job_event_cancelled(Job *job)
394{
395 notifier_list_notify(&job->on_finalize_cancelled, job);
396}
397
398void job_event_completed(Job *job)
399{
400 notifier_list_notify(&job->on_finalize_completed, job);
401}
402
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200403static void job_event_pending(Job *job)
Kevin Wolf139a9f02018-04-23 18:04:57 +0200404{
405 notifier_list_notify(&job->on_pending, job);
406}
407
Kevin Wolf2e1795b2018-04-25 14:56:09 +0200408static void job_event_ready(Job *job)
409{
410 notifier_list_notify(&job->on_ready, job);
411}
412
Kevin Wolfda01ff72018-04-13 17:31:02 +0200413void job_enter_cond(Job *job, bool(*fn)(Job *job))
414{
415 if (!job_started(job)) {
416 return;
417 }
418 if (job->deferred_to_main_loop) {
419 return;
420 }
421
422 job_lock();
423 if (job->busy) {
424 job_unlock();
425 return;
426 }
427
428 if (fn && !fn(job)) {
429 job_unlock();
430 return;
431 }
432
433 assert(!job->deferred_to_main_loop);
434 timer_del(&job->sleep_timer);
435 job->busy = true;
436 job_unlock();
437 aio_co_wake(job->co);
438}
439
Kevin Wolf5d43e862018-04-18 16:32:20 +0200440void job_enter(Job *job)
441{
442 job_enter_cond(job, NULL);
443}
444
Kevin Wolfda01ff72018-04-13 17:31:02 +0200445/* Yield, and schedule a timer to reenter the coroutine after @ns nanoseconds.
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200446 * Reentering the job coroutine with job_enter() before the timer has expired
447 * is allowed and cancels the timer.
Kevin Wolfda01ff72018-04-13 17:31:02 +0200448 *
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200449 * If @ns is (uint64_t) -1, no timer is scheduled and job_enter() must be
Kevin Wolfda01ff72018-04-13 17:31:02 +0200450 * called explicitly. */
Kevin Wolf198c49c2018-04-24 16:55:04 +0200451static void coroutine_fn job_do_yield(Job *job, uint64_t ns)
Kevin Wolfda01ff72018-04-13 17:31:02 +0200452{
453 job_lock();
454 if (ns != -1) {
455 timer_mod(&job->sleep_timer, ns);
456 }
457 job->busy = false;
458 job_unlock();
459 qemu_coroutine_yield();
460
461 /* Set by job_enter_cond() before re-entering the coroutine. */
462 assert(job->busy);
463}
464
465void coroutine_fn job_pause_point(Job *job)
466{
467 assert(job && job_started(job));
468
469 if (!job_should_pause(job)) {
470 return;
471 }
472 if (job_is_cancelled(job)) {
473 return;
474 }
475
476 if (job->driver->pause) {
477 job->driver->pause(job);
478 }
479
480 if (job_should_pause(job) && !job_is_cancelled(job)) {
481 JobStatus status = job->status;
482 job_state_transition(job, status == JOB_STATUS_READY
483 ? JOB_STATUS_STANDBY
484 : JOB_STATUS_PAUSED);
485 job->paused = true;
486 job_do_yield(job, -1);
487 job->paused = false;
488 job_state_transition(job, status);
489 }
490
491 if (job->driver->resume) {
492 job->driver->resume(job);
493 }
494}
495
Kevin Wolf198c49c2018-04-24 16:55:04 +0200496void job_yield(Job *job)
497{
498 assert(job->busy);
499
500 /* Check cancellation *before* setting busy = false, too! */
501 if (job_is_cancelled(job)) {
502 return;
503 }
504
505 if (!job_should_pause(job)) {
506 job_do_yield(job, -1);
507 }
508
509 job_pause_point(job);
510}
511
Kevin Wolf5d43e862018-04-18 16:32:20 +0200512void coroutine_fn job_sleep_ns(Job *job, int64_t ns)
513{
514 assert(job->busy);
515
516 /* Check cancellation *before* setting busy = false, too! */
517 if (job_is_cancelled(job)) {
518 return;
519 }
520
521 if (!job_should_pause(job)) {
522 job_do_yield(job, qemu_clock_get_ns(QEMU_CLOCK_REALTIME) + ns);
523 }
524
525 job_pause_point(job);
526}
527
Kevin Wolfb69f7772018-04-20 17:00:29 +0200528void job_drain(Job *job)
529{
530 /* If job is !busy this kicks it into the next pause point. */
531 job_enter(job);
532
533 if (job->driver->drain) {
534 job->driver->drain(job);
535 }
536}
537
John Snow404ff282018-08-29 21:57:33 -0400538static void job_completed(Job *job);
539
John Snow00359a72018-08-29 21:57:28 -0400540static void job_exit(void *opaque)
541{
542 Job *job = (Job *)opaque;
543 AioContext *aio_context = job->aio_context;
544
545 if (job->driver->exit) {
546 aio_context_acquire(aio_context);
547 job->driver->exit(job);
548 aio_context_release(aio_context);
549 }
John Snow404ff282018-08-29 21:57:33 -0400550 job_completed(job);
John Snow00359a72018-08-29 21:57:28 -0400551}
Kevin Wolfb69f7772018-04-20 17:00:29 +0200552
Kevin Wolfda01ff72018-04-13 17:31:02 +0200553/**
554 * All jobs must allow a pause point before entering their job proper. This
555 * ensures that jobs can be paused prior to being started, then resumed later.
556 */
557static void coroutine_fn job_co_entry(void *opaque)
558{
559 Job *job = opaque;
560
John Snowf67432a2018-08-29 21:57:26 -0400561 assert(job && job->driver && job->driver->run);
Kevin Wolfda01ff72018-04-13 17:31:02 +0200562 job_pause_point(job);
John Snow3d1f8b02018-08-29 21:57:27 -0400563 job->ret = job->driver->run(job, &job->err);
John Snow00359a72018-08-29 21:57:28 -0400564 if (!job->deferred_to_main_loop) {
565 job->deferred_to_main_loop = true;
566 aio_bh_schedule_oneshot(qemu_get_aio_context(),
567 job_exit,
568 job);
569 }
Kevin Wolfda01ff72018-04-13 17:31:02 +0200570}
571
572
573void job_start(Job *job)
574{
575 assert(job && !job_started(job) && job->paused &&
John Snowf67432a2018-08-29 21:57:26 -0400576 job->driver && job->driver->run);
Kevin Wolfda01ff72018-04-13 17:31:02 +0200577 job->co = qemu_coroutine_create(job_co_entry, job);
578 job->pause_count--;
579 job->busy = true;
580 job->paused = false;
581 job_state_transition(job, JOB_STATUS_RUNNING);
582 aio_co_enter(job->aio_context, job->co);
583}
584
Kevin Wolfb15de822018-04-18 17:10:26 +0200585/* Assumes the block_job_mutex is held */
586static bool job_timer_not_pending(Job *job)
587{
588 return !timer_pending(&job->sleep_timer);
589}
590
591void job_pause(Job *job)
592{
593 job->pause_count++;
594}
595
596void job_resume(Job *job)
597{
598 assert(job->pause_count > 0);
599 job->pause_count--;
600 if (job->pause_count) {
601 return;
602 }
603
604 /* kick only if no timer is pending */
605 job_enter_cond(job, job_timer_not_pending);
606}
607
608void job_user_pause(Job *job, Error **errp)
609{
610 if (job_apply_verb(job, JOB_VERB_PAUSE, errp)) {
611 return;
612 }
613 if (job->user_paused) {
614 error_setg(errp, "Job is already paused");
615 return;
616 }
617 job->user_paused = true;
618 job_pause(job);
619}
620
621bool job_user_paused(Job *job)
622{
623 return job->user_paused;
624}
625
626void job_user_resume(Job *job, Error **errp)
627{
628 assert(job);
629 if (!job->user_paused || job->pause_count <= 0) {
630 error_setg(errp, "Can't resume a job that was not paused");
631 return;
632 }
633 if (job_apply_verb(job, JOB_VERB_RESUME, errp)) {
634 return;
635 }
636 if (job->driver->user_resume) {
637 job->driver->user_resume(job);
638 }
639 job->user_paused = false;
640 job_resume(job);
641}
642
Kevin Wolf5f9a6a02018-04-24 17:10:12 +0200643static void job_do_dismiss(Job *job)
Kevin Wolf4ad35182018-04-19 17:30:16 +0200644{
645 assert(job);
646 job->busy = false;
647 job->paused = false;
648 job->deferred_to_main_loop = true;
649
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200650 job_txn_del_job(job);
Kevin Wolf4ad35182018-04-19 17:30:16 +0200651
652 job_state_transition(job, JOB_STATUS_NULL);
653 job_unref(job);
654}
655
Kevin Wolf5f9a6a02018-04-24 17:10:12 +0200656void job_dismiss(Job **jobptr, Error **errp)
657{
658 Job *job = *jobptr;
659 /* similarly to _complete, this is QMP-interface only. */
660 assert(job->id);
661 if (job_apply_verb(job, JOB_VERB_DISMISS, errp)) {
662 return;
663 }
664
665 job_do_dismiss(job);
666 *jobptr = NULL;
667}
668
Kevin Wolf4ad35182018-04-19 17:30:16 +0200669void job_early_fail(Job *job)
670{
671 assert(job->status == JOB_STATUS_CREATED);
672 job_do_dismiss(job);
673}
674
675static void job_conclude(Job *job)
676{
677 job_state_transition(job, JOB_STATUS_CONCLUDED);
678 if (job->auto_dismiss || !job_started(job)) {
679 job_do_dismiss(job);
680 }
681}
682
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200683static void job_update_rc(Job *job)
Kevin Wolf4ad35182018-04-19 17:30:16 +0200684{
685 if (!job->ret && job_is_cancelled(job)) {
686 job->ret = -ECANCELED;
687 }
688 if (job->ret) {
John Snow3d1f8b02018-08-29 21:57:27 -0400689 if (!job->err) {
690 error_setg(&job->err, "%s", strerror(-job->ret));
Kevin Wolf1266c9b2018-05-24 15:26:10 +0200691 }
Kevin Wolf4ad35182018-04-19 17:30:16 +0200692 job_state_transition(job, JOB_STATUS_ABORTING);
693 }
694}
695
696static void job_commit(Job *job)
697{
698 assert(!job->ret);
699 if (job->driver->commit) {
700 job->driver->commit(job);
701 }
702}
703
704static void job_abort(Job *job)
705{
706 assert(job->ret);
707 if (job->driver->abort) {
708 job->driver->abort(job);
709 }
710}
711
712static void job_clean(Job *job)
713{
714 if (job->driver->clean) {
715 job->driver->clean(job);
716 }
717}
718
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200719static int job_finalize_single(Job *job)
Kevin Wolf4ad35182018-04-19 17:30:16 +0200720{
721 assert(job_is_completed(job));
722
723 /* Ensure abort is called for late-transactional failures */
724 job_update_rc(job);
725
726 if (!job->ret) {
727 job_commit(job);
728 } else {
729 job_abort(job);
730 }
731 job_clean(job);
732
733 if (job->cb) {
734 job->cb(job->opaque, job->ret);
735 }
736
737 /* Emit events only if we actually started */
738 if (job_started(job)) {
739 if (job_is_cancelled(job)) {
740 job_event_cancelled(job);
741 } else {
742 job_event_completed(job);
743 }
744 }
745
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200746 job_txn_del_job(job);
Kevin Wolf4ad35182018-04-19 17:30:16 +0200747 job_conclude(job);
748 return 0;
749}
750
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200751static void job_cancel_async(Job *job, bool force)
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200752{
753 if (job->user_paused) {
754 /* Do not call job_enter here, the caller will handle it. */
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200755 if (job->driver->user_resume) {
756 job->driver->user_resume(job);
757 }
Jeff Codye321c052018-08-21 12:26:19 -0400758 job->user_paused = false;
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200759 assert(job->pause_count > 0);
760 job->pause_count--;
761 }
762 job->cancelled = true;
763 /* To prevent 'force == false' overriding a previous 'force == true' */
764 job->force_cancel |= force;
765}
766
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200767static void job_completed_txn_abort(Job *job)
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200768{
769 AioContext *ctx;
770 JobTxn *txn = job->txn;
771 Job *other_job;
772
773 if (txn->aborting) {
774 /*
775 * We are cancelled by another job, which will handle everything.
776 */
777 return;
778 }
779 txn->aborting = true;
780 job_txn_ref(txn);
781
782 /* We are the first failed job. Cancel other jobs. */
783 QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
784 ctx = other_job->aio_context;
785 aio_context_acquire(ctx);
786 }
787
788 /* Other jobs are effectively cancelled by us, set the status for
789 * them; this job, however, may or may not be cancelled, depending
790 * on the caller, so leave it. */
791 QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
792 if (other_job != job) {
793 job_cancel_async(other_job, false);
794 }
795 }
796 while (!QLIST_EMPTY(&txn->jobs)) {
797 other_job = QLIST_FIRST(&txn->jobs);
798 ctx = other_job->aio_context;
799 if (!job_is_completed(other_job)) {
800 assert(job_is_cancelled(other_job));
801 job_finish_sync(other_job, NULL, NULL);
802 }
803 job_finalize_single(other_job);
804 aio_context_release(ctx);
805 }
806
807 job_txn_unref(txn);
808}
809
810static int job_prepare(Job *job)
811{
812 if (job->ret == 0 && job->driver->prepare) {
813 job->ret = job->driver->prepare(job);
Kevin Wolf1266c9b2018-05-24 15:26:10 +0200814 job_update_rc(job);
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200815 }
816 return job->ret;
817}
818
819static int job_needs_finalize(Job *job)
820{
821 return !job->auto_finalize;
822}
823
824static void job_do_finalize(Job *job)
825{
826 int rc;
827 assert(job && job->txn);
828
829 /* prepare the transaction to complete */
830 rc = job_txn_apply(job->txn, job_prepare, true);
831 if (rc) {
832 job_completed_txn_abort(job);
833 } else {
834 job_txn_apply(job->txn, job_finalize_single, true);
835 }
836}
837
838void job_finalize(Job *job, Error **errp)
839{
840 assert(job && job->id);
841 if (job_apply_verb(job, JOB_VERB_FINALIZE, errp)) {
842 return;
843 }
844 job_do_finalize(job);
845}
846
847static int job_transition_to_pending(Job *job)
848{
849 job_state_transition(job, JOB_STATUS_PENDING);
850 if (!job->auto_finalize) {
851 job_event_pending(job);
852 }
853 return 0;
854}
855
Kevin Wolf2e1795b2018-04-25 14:56:09 +0200856void job_transition_to_ready(Job *job)
857{
858 job_state_transition(job, JOB_STATUS_READY);
859 job_event_ready(job);
860}
861
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200862static void job_completed_txn_success(Job *job)
Kevin Wolf7eaa8fb2018-04-23 16:06:26 +0200863{
864 JobTxn *txn = job->txn;
865 Job *other_job;
866
867 job_state_transition(job, JOB_STATUS_WAITING);
868
869 /*
870 * Successful completion, see if there are other running jobs in this
871 * txn.
872 */
873 QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
874 if (!job_is_completed(other_job)) {
875 return;
876 }
877 assert(other_job->ret == 0);
878 }
879
880 job_txn_apply(txn, job_transition_to_pending, false);
881
882 /* If no jobs need manual finalization, automatically do so */
883 if (job_txn_apply(txn, job_needs_finalize, false) == 0) {
884 job_do_finalize(job);
885 }
886}
887
John Snow404ff282018-08-29 21:57:33 -0400888static void job_completed(Job *job)
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200889{
890 assert(job && job->txn && !job_is_completed(job));
Kevin Wolf1266c9b2018-05-24 15:26:10 +0200891
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200892 job_update_rc(job);
John Snow404ff282018-08-29 21:57:33 -0400893 trace_job_completed(job, job->ret);
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200894 if (job->ret) {
895 job_completed_txn_abort(job);
896 } else {
897 job_completed_txn_success(job);
898 }
899}
900
901void job_cancel(Job *job, bool force)
902{
903 if (job->status == JOB_STATUS_CONCLUDED) {
904 job_do_dismiss(job);
905 return;
906 }
907 job_cancel_async(job, force);
908 if (!job_started(job)) {
John Snow404ff282018-08-29 21:57:33 -0400909 job_completed(job);
Kevin Wolf3d70ff52018-04-24 16:13:52 +0200910 } else if (job->deferred_to_main_loop) {
911 job_completed_txn_abort(job);
912 } else {
913 job_enter(job);
914 }
915}
916
917void job_user_cancel(Job *job, bool force, Error **errp)
918{
919 if (job_apply_verb(job, JOB_VERB_CANCEL, errp)) {
920 return;
921 }
922 job_cancel(job, force);
923}
924
925/* A wrapper around job_cancel() taking an Error ** parameter so it may be
926 * used with job_finish_sync() without the need for (rather nasty) function
927 * pointer casts there. */
928static void job_cancel_err(Job *job, Error **errp)
929{
930 job_cancel(job, false);
931}
932
933int job_cancel_sync(Job *job)
934{
935 return job_finish_sync(job, &job_cancel_err, NULL);
936}
937
938void job_cancel_sync_all(void)
939{
940 Job *job;
941 AioContext *aio_context;
942
943 while ((job = job_next(NULL))) {
944 aio_context = job->aio_context;
945 aio_context_acquire(aio_context);
946 job_cancel_sync(job);
947 aio_context_release(aio_context);
948 }
949}
950
951int job_complete_sync(Job *job, Error **errp)
952{
953 return job_finish_sync(job, job_complete, errp);
954}
955
Kevin Wolf3453d972018-04-23 12:24:16 +0200956void job_complete(Job *job, Error **errp)
957{
958 /* Should not be reachable via external interface for internal jobs */
959 assert(job->id);
960 if (job_apply_verb(job, JOB_VERB_COMPLETE, errp)) {
961 return;
962 }
963 if (job->pause_count || job_is_cancelled(job) || !job->driver->complete) {
964 error_setg(errp, "The active block job '%s' cannot be completed",
965 job->id);
966 return;
967 }
968
969 job->driver->complete(job, errp);
970}
971
Kevin Wolfb15de822018-04-18 17:10:26 +0200972
Kevin Wolf1908a552018-04-17 16:41:17 +0200973typedef struct {
974 Job *job;
975 JobDeferToMainLoopFn *fn;
976 void *opaque;
977} JobDeferToMainLoopData;
978
979static void job_defer_to_main_loop_bh(void *opaque)
980{
981 JobDeferToMainLoopData *data = opaque;
982 Job *job = data->job;
983 AioContext *aio_context = job->aio_context;
984
985 aio_context_acquire(aio_context);
986 data->fn(data->job, data->opaque);
987 aio_context_release(aio_context);
988
989 g_free(data);
990}
991
992void job_defer_to_main_loop(Job *job, JobDeferToMainLoopFn *fn, void *opaque)
993{
994 JobDeferToMainLoopData *data = g_malloc(sizeof(*data));
995 data->job = job;
996 data->fn = fn;
997 data->opaque = opaque;
998 job->deferred_to_main_loop = true;
999
1000 aio_bh_schedule_oneshot(qemu_get_aio_context(),
1001 job_defer_to_main_loop_bh, data);
1002}
Kevin Wolf6a74c072018-04-20 15:33:57 +02001003
1004int job_finish_sync(Job *job, void (*finish)(Job *, Error **errp), Error **errp)
1005{
1006 Error *local_err = NULL;
1007 int ret;
1008
1009 job_ref(job);
1010
1011 if (finish) {
1012 finish(job, &local_err);
1013 }
1014 if (local_err) {
1015 error_propagate(errp, local_err);
1016 job_unref(job);
1017 return -EBUSY;
1018 }
1019 /* job_drain calls job_enter, and it should be enough to induce progress
1020 * until the job completes or moves to the main thread. */
1021 while (!job->deferred_to_main_loop && !job_is_completed(job)) {
1022 job_drain(job);
1023 }
1024 while (!job_is_completed(job)) {
1025 aio_poll(qemu_get_aio_context(), true);
1026 }
1027 ret = (job_is_cancelled(job) && job->ret == 0) ? -ECANCELED : job->ret;
1028 job_unref(job);
1029 return ret;
1030}