2018-04-12 15:29:59 +00:00
|
|
|
/*
|
|
|
|
* Background jobs (long-running operations)
|
|
|
|
*
|
|
|
|
* Copyright (c) 2011 IBM Corp.
|
|
|
|
* Copyright (c) 2012, 2018 Red Hat, Inc.
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
|
|
* in the Software without restriction, including without limitation the rights
|
|
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* 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 OR COPYRIGHT HOLDERS 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 "qemu/osdep.h"
|
|
|
|
#include "qapi/error.h"
|
|
|
|
#include "qemu/job.h"
|
|
|
|
#include "qemu/id.h"
|
2018-04-17 14:41:17 +00:00
|
|
|
#include "qemu/main-loop.h"
|
2018-08-17 12:58:49 +00:00
|
|
|
#include "block/aio-wait.h"
|
2020-02-04 11:20:10 +00:00
|
|
|
#include "trace/trace-root.h"
|
2018-04-30 17:09:46 +00:00
|
|
|
#include "qapi/qapi-events-job.h"
|
2018-04-12 15:29:59 +00:00
|
|
|
|
2022-09-26 09:31:59 +00:00
|
|
|
/*
|
|
|
|
* The job API is composed of two categories of functions.
|
|
|
|
*
|
|
|
|
* The first includes functions used by the monitor. The monitor is
|
|
|
|
* peculiar in that it accesses the job list with job_get, and
|
|
|
|
* therefore needs consistency across job_get and the actual operation
|
|
|
|
* (e.g. job_user_cancel). To achieve this consistency, the caller
|
|
|
|
* calls job_lock/job_unlock itself around the whole operation.
|
|
|
|
*
|
|
|
|
*
|
|
|
|
* The second includes functions used by the job drivers and sometimes
|
|
|
|
* by the core block layer. These delegate the locking to the callee instead.
|
|
|
|
*/
|
|
|
|
|
2022-09-26 09:31:54 +00:00
|
|
|
/*
|
|
|
|
* job_mutex protects the jobs list, but also makes the
|
|
|
|
* struct job fields thread-safe.
|
|
|
|
*/
|
|
|
|
QemuMutex job_mutex;
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Protected by job_mutex */
|
2018-04-12 15:54:37 +00:00
|
|
|
static QLIST_HEAD(, Job) jobs = QLIST_HEAD_INITIALIZER(jobs);
|
|
|
|
|
2018-04-13 15:19:31 +00:00
|
|
|
/* Job State Transition Table */
|
|
|
|
bool JobSTT[JOB_STATUS__MAX][JOB_STATUS__MAX] = {
|
|
|
|
/* U, C, R, P, Y, S, W, D, X, E, N */
|
|
|
|
/* U: */ [JOB_STATUS_UNDEFINED] = {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0},
|
|
|
|
/* C: */ [JOB_STATUS_CREATED] = {0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1},
|
|
|
|
/* R: */ [JOB_STATUS_RUNNING] = {0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0},
|
|
|
|
/* P: */ [JOB_STATUS_PAUSED] = {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0},
|
|
|
|
/* Y: */ [JOB_STATUS_READY] = {0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0},
|
|
|
|
/* S: */ [JOB_STATUS_STANDBY] = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0},
|
|
|
|
/* W: */ [JOB_STATUS_WAITING] = {0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0},
|
|
|
|
/* D: */ [JOB_STATUS_PENDING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
|
|
|
|
/* X: */ [JOB_STATUS_ABORTING] = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
|
|
|
|
/* E: */ [JOB_STATUS_CONCLUDED] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1},
|
|
|
|
/* N: */ [JOB_STATUS_NULL] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
|
|
|
|
};
|
|
|
|
|
|
|
|
bool JobVerbTable[JOB_VERB__MAX][JOB_STATUS__MAX] = {
|
|
|
|
/* U, C, R, P, Y, S, W, D, X, E, N */
|
|
|
|
[JOB_VERB_CANCEL] = {0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0},
|
|
|
|
[JOB_VERB_PAUSE] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
|
|
|
|
[JOB_VERB_RESUME] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
|
|
|
|
[JOB_VERB_SET_SPEED] = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
|
2021-04-09 12:04:20 +00:00
|
|
|
[JOB_VERB_COMPLETE] = {0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0},
|
2018-04-13 15:19:31 +00:00
|
|
|
[JOB_VERB_FINALIZE] = {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0},
|
|
|
|
[JOB_VERB_DISMISS] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0},
|
|
|
|
};
|
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
/* Transactional group of jobs */
|
|
|
|
struct JobTxn {
|
|
|
|
|
|
|
|
/* Is this txn being cancelled? */
|
|
|
|
bool aborting;
|
|
|
|
|
|
|
|
/* List of jobs */
|
|
|
|
QLIST_HEAD(, Job) jobs;
|
|
|
|
|
|
|
|
/* Reference count */
|
|
|
|
int refcnt;
|
|
|
|
};
|
|
|
|
|
2022-09-26 09:31:54 +00:00
|
|
|
void job_lock(void)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
|
|
|
qemu_mutex_lock(&job_mutex);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:11 +00:00
|
|
|
void job_unlock(void)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
|
|
|
qemu_mutex_unlock(&job_mutex);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void __attribute__((__constructor__)) job_init(void)
|
|
|
|
{
|
|
|
|
qemu_mutex_init(&job_mutex);
|
|
|
|
}
|
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
JobTxn *job_txn_new(void)
|
|
|
|
{
|
|
|
|
JobTxn *txn = g_new0(JobTxn, 1);
|
|
|
|
QLIST_INIT(&txn->jobs);
|
|
|
|
txn->refcnt = 1;
|
|
|
|
return txn;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_txn_ref_locked(JobTxn *txn)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
txn->refcnt++;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_txn_unref_locked(JobTxn *txn)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
if (txn && --txn->refcnt == 0) {
|
|
|
|
g_free(txn);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_txn_unref(JobTxn *txn)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_txn_unref_locked(txn);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:56 +00:00
|
|
|
/**
|
|
|
|
* @txn: The transaction (may be NULL)
|
|
|
|
* @job: Job to add to the transaction
|
|
|
|
*
|
|
|
|
* Add @job to the transaction. The @job must not already be in a transaction.
|
|
|
|
* The caller must call either job_txn_unref() or job_completed() to release
|
|
|
|
* the reference that is automatically grabbed here.
|
|
|
|
*
|
|
|
|
* If @txn is NULL, the function does nothing.
|
2022-09-26 09:31:58 +00:00
|
|
|
*
|
|
|
|
* Called with job_mutex held.
|
2022-09-26 09:31:56 +00:00
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_txn_add_job_locked(JobTxn *txn, Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
if (!txn) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(!job->txn);
|
|
|
|
job->txn = txn;
|
|
|
|
|
|
|
|
QLIST_INSERT_HEAD(&txn->jobs, job, txn_list);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_ref_locked(txn);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_txn_del_job_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
if (job->txn) {
|
|
|
|
QLIST_REMOVE(job, txn_list);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_unref_locked(job->txn);
|
2018-04-23 14:06:26 +00:00
|
|
|
job->txn = NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held, but releases it temporarily. */
|
|
|
|
static int job_txn_apply_locked(Job *job, int fn(Job *))
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
job: take each job's lock individually in job_txn_apply
All callers of job_txn_apply hold a single job's lock, but different
jobs within a transaction can have different contexts, thus we need to
lock each one individually before applying the callback function.
Similar to job_completed_txn_abort this also requires releasing the
caller's context before and reacquiring it after to avoid recursive
locks which might break AIO_WAIT_WHILE in the callback. This is safe, since
existing code would already have to take this into account, lest
job_completed_txn_abort might have broken.
This also brings to light a different issue: When a callback function in
job_txn_apply moves it's job to a different AIO context, callers will
try to release the wrong lock (now that we re-acquire the lock
correctly, previously it would just continue with the old lock, leaving
the job unlocked for the rest of the return path). Fix this by not caching
the job's context.
This is only necessary for qmp_block_job_finalize, qmp_job_finalize and
job_exit, since everyone else calls through job_exit.
One test needed adapting, since it calls job_finalize directly, so it
manually needs to acquire the correct context.
Signed-off-by: Stefan Reiter <s.reiter@proxmox.com>
Message-Id: <20200407115651.69472-2-s.reiter@proxmox.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2020-04-07 11:56:49 +00:00
|
|
|
Job *other_job, *next;
|
|
|
|
JobTxn *txn = job->txn;
|
2018-04-23 14:06:26 +00:00
|
|
|
int rc = 0;
|
|
|
|
|
job: take each job's lock individually in job_txn_apply
All callers of job_txn_apply hold a single job's lock, but different
jobs within a transaction can have different contexts, thus we need to
lock each one individually before applying the callback function.
Similar to job_completed_txn_abort this also requires releasing the
caller's context before and reacquiring it after to avoid recursive
locks which might break AIO_WAIT_WHILE in the callback. This is safe, since
existing code would already have to take this into account, lest
job_completed_txn_abort might have broken.
This also brings to light a different issue: When a callback function in
job_txn_apply moves it's job to a different AIO context, callers will
try to release the wrong lock (now that we re-acquire the lock
correctly, previously it would just continue with the old lock, leaving
the job unlocked for the rest of the return path). Fix this by not caching
the job's context.
This is only necessary for qmp_block_job_finalize, qmp_job_finalize and
job_exit, since everyone else calls through job_exit.
One test needed adapting, since it calls job_finalize directly, so it
manually needs to acquire the correct context.
Signed-off-by: Stefan Reiter <s.reiter@proxmox.com>
Message-Id: <20200407115651.69472-2-s.reiter@proxmox.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2020-04-07 11:56:49 +00:00
|
|
|
/*
|
|
|
|
* Similar to job_completed_txn_abort, we take each job's lock before
|
|
|
|
* applying fn, but since we assume that outer_ctx is held by the caller,
|
|
|
|
* we need to release it here to avoid holding the lock twice - which would
|
|
|
|
* break AIO_WAIT_WHILE from within fn.
|
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
job_ref_locked(job);
|
job: take each job's lock individually in job_txn_apply
All callers of job_txn_apply hold a single job's lock, but different
jobs within a transaction can have different contexts, thus we need to
lock each one individually before applying the callback function.
Similar to job_completed_txn_abort this also requires releasing the
caller's context before and reacquiring it after to avoid recursive
locks which might break AIO_WAIT_WHILE in the callback. This is safe, since
existing code would already have to take this into account, lest
job_completed_txn_abort might have broken.
This also brings to light a different issue: When a callback function in
job_txn_apply moves it's job to a different AIO context, callers will
try to release the wrong lock (now that we re-acquire the lock
correctly, previously it would just continue with the old lock, leaving
the job unlocked for the rest of the return path). Fix this by not caching
the job's context.
This is only necessary for qmp_block_job_finalize, qmp_job_finalize and
job_exit, since everyone else calls through job_exit.
One test needed adapting, since it calls job_finalize directly, so it
manually needs to acquire the correct context.
Signed-off-by: Stefan Reiter <s.reiter@proxmox.com>
Message-Id: <20200407115651.69472-2-s.reiter@proxmox.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2020-04-07 11:56:49 +00:00
|
|
|
|
|
|
|
QLIST_FOREACH_SAFE(other_job, &txn->jobs, txn_list, next) {
|
|
|
|
rc = fn(other_job);
|
2018-04-23 14:06:26 +00:00
|
|
|
if (rc) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
job: take each job's lock individually in job_txn_apply
All callers of job_txn_apply hold a single job's lock, but different
jobs within a transaction can have different contexts, thus we need to
lock each one individually before applying the callback function.
Similar to job_completed_txn_abort this also requires releasing the
caller's context before and reacquiring it after to avoid recursive
locks which might break AIO_WAIT_WHILE in the callback. This is safe, since
existing code would already have to take this into account, lest
job_completed_txn_abort might have broken.
This also brings to light a different issue: When a callback function in
job_txn_apply moves it's job to a different AIO context, callers will
try to release the wrong lock (now that we re-acquire the lock
correctly, previously it would just continue with the old lock, leaving
the job unlocked for the rest of the return path). Fix this by not caching
the job's context.
This is only necessary for qmp_block_job_finalize, qmp_job_finalize and
job_exit, since everyone else calls through job_exit.
One test needed adapting, since it calls job_finalize directly, so it
manually needs to acquire the correct context.
Signed-off-by: Stefan Reiter <s.reiter@proxmox.com>
Message-Id: <20200407115651.69472-2-s.reiter@proxmox.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2020-04-07 11:56:49 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unref_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
return rc;
|
|
|
|
}
|
|
|
|
|
2018-05-04 14:25:43 +00:00
|
|
|
bool job_is_internal(Job *job)
|
2018-04-30 17:09:46 +00:00
|
|
|
{
|
|
|
|
return (job->id == NULL);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_state_transition_locked(Job *job, JobStatus s1)
|
2018-04-13 15:19:31 +00:00
|
|
|
{
|
|
|
|
JobStatus s0 = job->status;
|
2018-11-05 21:38:35 +00:00
|
|
|
assert(s1 >= 0 && s1 < JOB_STATUS__MAX);
|
2018-04-19 15:30:16 +00:00
|
|
|
trace_job_state_transition(job, job->ret,
|
2018-04-13 15:19:31 +00:00
|
|
|
JobSTT[s0][s1] ? "allowed" : "disallowed",
|
|
|
|
JobStatus_str(s0), JobStatus_str(s1));
|
|
|
|
assert(JobSTT[s0][s1]);
|
|
|
|
job->status = s1;
|
2018-04-30 17:09:46 +00:00
|
|
|
|
|
|
|
if (!job_is_internal(job) && s1 != s0) {
|
2018-08-15 13:37:37 +00:00
|
|
|
qapi_event_send_job_status_change(job->id, job->status);
|
2018-04-30 17:09:46 +00:00
|
|
|
}
|
2018-04-13 15:19:31 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_apply_verb_locked(Job *job, JobVerb verb, Error **errp)
|
2018-04-13 15:19:31 +00:00
|
|
|
{
|
|
|
|
JobStatus s0 = job->status;
|
2018-11-05 21:38:35 +00:00
|
|
|
assert(verb >= 0 && verb < JOB_VERB__MAX);
|
2018-04-13 15:19:31 +00:00
|
|
|
trace_job_apply_verb(job, JobStatus_str(s0), JobVerb_str(verb),
|
|
|
|
JobVerbTable[verb][s0] ? "allowed" : "prohibited");
|
|
|
|
if (JobVerbTable[verb][s0]) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
error_setg(errp, "Job '%s' in state '%s' cannot accept command verb '%s'",
|
|
|
|
job->id, JobStatus_str(s0), JobVerb_str(verb));
|
|
|
|
return -EPERM;
|
|
|
|
}
|
|
|
|
|
2018-04-12 15:57:08 +00:00
|
|
|
JobType job_type(const Job *job)
|
|
|
|
{
|
|
|
|
return job->driver->job_type;
|
|
|
|
}
|
|
|
|
|
|
|
|
const char *job_type_str(const Job *job)
|
|
|
|
{
|
|
|
|
return JobType_str(job_type(job));
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
bool job_is_cancelled_locked(Job *job)
|
job: Add job_cancel_requested()
Most callers of job_is_cancelled() actually want to know whether the job
is on its way to immediate termination. For example, we refuse to pause
jobs that are cancelled; but this only makes sense for jobs that are
really actually cancelled.
A mirror job that is cancelled during READY with force=false should
absolutely be allowed to pause. This "cancellation" (which is actually
a kind of completion) may take an indefinite amount of time, and so
should behave like any job during normal operation. For example, with
on-target-error=stop, the job should stop on write errors. (In
contrast, force-cancelled jobs should not get write errors, as they
should just terminate and not do further I/O.)
Therefore, redefine job_is_cancelled() to only return true for jobs that
are force-cancelled (which as of HEAD^ means any job that interprets the
cancellation request as a request for immediate termination), and add
job_cancel_requested() as the general variant, which returns true for
any jobs which have been requested to be cancelled, whether it be
immediately or after an arbitrarily long completion phase.
Finally, here is a justification for how different job_is_cancelled()
invocations are treated by this patch:
- block/mirror.c (mirror_run()):
- The first invocation is a while loop that should loop until the job
has been cancelled or scheduled for completion. What kind of cancel
does not matter, only the fact that the job is supposed to end.
- The second invocation wants to know whether the job has been
soft-cancelled. Calling job_cancel_requested() is a bit too broad,
but if the job were force-cancelled, we should leave the main loop
as soon as possible anyway, so this should not matter here.
- The last two invocations already check force_cancel, so they should
continue to use job_is_cancelled().
- block/backup.c, block/commit.c, block/stream.c, anything in tests/:
These jobs know only force-cancel, so there is no difference between
job_is_cancelled() and job_cancel_requested(). We can continue using
job_is_cancelled().
- job.c:
- job_pause_point(), job_yield(), job_sleep_ns(): Only force-cancelled
jobs should be prevented from being paused. Continue using job_is_cancelled().
- job_update_rc(), job_finalize_single(), job_finish_sync(): These
functions are all called after the job has left its main loop. The
mirror job (the only job that can be soft-cancelled) will clear
.cancelled before leaving the main loop if it has been
soft-cancelled. Therefore, these functions will observe .cancelled
to be true only if the job has been force-cancelled. We can
continue to use job_is_cancelled().
(Furthermore, conceptually, a soft-cancelled mirror job should not
report to have been cancelled. It should report completion (see
also the block-job-cancel QAPI documentation). Therefore, it makes
sense for these functions not to distinguish between a
soft-cancelled mirror job and a job that has completed as normal.)
- job_completed_txn_abort(): All jobs other than @job have been
force-cancelled. job_is_cancelled() must be true for them.
Regarding @job itself: job_completed_txn_abort() is mostly called
when the job's return value is not 0. A soft-cancelled mirror has a
return value of 0, and so will not end up here then.
However, job_cancel() invokes job_completed_txn_abort() if the job
has been deferred to the main loop, which is mostly the case for
completed jobs (which skip the assertion), but not for sure.
To be safe, use job_cancel_requested() in this assertion.
- job_complete(): This is function eventually invoked by the user
(through qmp_block_job_complete() or qmp_job_complete(), or
job_complete_sync(), which comes from qemu-img). The intention here
is to prevent a user from invoking job-complete after the job has
been cancelled. This should also apply to soft cancelling: After a
mirror job has been soft-cancelled, the user should not be able to
decide otherwise and have it complete as normal (i.e. pivoting to
the target).
- job_cancel(): Both functions are equivalent (see comment there), but
we want to use job_is_cancelled(), because this shows that we call
job_completed_txn_abort() only for force-cancelled jobs. (As
explained for job_update_rc(), soft-cancelled jobs should be treated
as if they have completed as normal.)
Buglink: https://gitlab.com/qemu-project/qemu/-/issues/462
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Message-Id: <20211006151940.214590-9-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:35 +00:00
|
|
|
{
|
2021-10-06 15:19:39 +00:00
|
|
|
/* force_cancel may be true only if cancelled is true, too */
|
|
|
|
assert(job->cancelled || !job->force_cancel);
|
|
|
|
return job->force_cancel;
|
job: Add job_cancel_requested()
Most callers of job_is_cancelled() actually want to know whether the job
is on its way to immediate termination. For example, we refuse to pause
jobs that are cancelled; but this only makes sense for jobs that are
really actually cancelled.
A mirror job that is cancelled during READY with force=false should
absolutely be allowed to pause. This "cancellation" (which is actually
a kind of completion) may take an indefinite amount of time, and so
should behave like any job during normal operation. For example, with
on-target-error=stop, the job should stop on write errors. (In
contrast, force-cancelled jobs should not get write errors, as they
should just terminate and not do further I/O.)
Therefore, redefine job_is_cancelled() to only return true for jobs that
are force-cancelled (which as of HEAD^ means any job that interprets the
cancellation request as a request for immediate termination), and add
job_cancel_requested() as the general variant, which returns true for
any jobs which have been requested to be cancelled, whether it be
immediately or after an arbitrarily long completion phase.
Finally, here is a justification for how different job_is_cancelled()
invocations are treated by this patch:
- block/mirror.c (mirror_run()):
- The first invocation is a while loop that should loop until the job
has been cancelled or scheduled for completion. What kind of cancel
does not matter, only the fact that the job is supposed to end.
- The second invocation wants to know whether the job has been
soft-cancelled. Calling job_cancel_requested() is a bit too broad,
but if the job were force-cancelled, we should leave the main loop
as soon as possible anyway, so this should not matter here.
- The last two invocations already check force_cancel, so they should
continue to use job_is_cancelled().
- block/backup.c, block/commit.c, block/stream.c, anything in tests/:
These jobs know only force-cancel, so there is no difference between
job_is_cancelled() and job_cancel_requested(). We can continue using
job_is_cancelled().
- job.c:
- job_pause_point(), job_yield(), job_sleep_ns(): Only force-cancelled
jobs should be prevented from being paused. Continue using job_is_cancelled().
- job_update_rc(), job_finalize_single(), job_finish_sync(): These
functions are all called after the job has left its main loop. The
mirror job (the only job that can be soft-cancelled) will clear
.cancelled before leaving the main loop if it has been
soft-cancelled. Therefore, these functions will observe .cancelled
to be true only if the job has been force-cancelled. We can
continue to use job_is_cancelled().
(Furthermore, conceptually, a soft-cancelled mirror job should not
report to have been cancelled. It should report completion (see
also the block-job-cancel QAPI documentation). Therefore, it makes
sense for these functions not to distinguish between a
soft-cancelled mirror job and a job that has completed as normal.)
- job_completed_txn_abort(): All jobs other than @job have been
force-cancelled. job_is_cancelled() must be true for them.
Regarding @job itself: job_completed_txn_abort() is mostly called
when the job's return value is not 0. A soft-cancelled mirror has a
return value of 0, and so will not end up here then.
However, job_cancel() invokes job_completed_txn_abort() if the job
has been deferred to the main loop, which is mostly the case for
completed jobs (which skip the assertion), but not for sure.
To be safe, use job_cancel_requested() in this assertion.
- job_complete(): This is function eventually invoked by the user
(through qmp_block_job_complete() or qmp_job_complete(), or
job_complete_sync(), which comes from qemu-img). The intention here
is to prevent a user from invoking job-complete after the job has
been cancelled. This should also apply to soft cancelling: After a
mirror job has been soft-cancelled, the user should not be able to
decide otherwise and have it complete as normal (i.e. pivoting to
the target).
- job_cancel(): Both functions are equivalent (see comment there), but
we want to use job_is_cancelled(), because this shows that we call
job_completed_txn_abort() only for force-cancelled jobs. (As
explained for job_update_rc(), soft-cancelled jobs should be treated
as if they have completed as normal.)
Buglink: https://gitlab.com/qemu-project/qemu/-/issues/462
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Message-Id: <20211006151940.214590-9-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:35 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
bool job_is_cancelled(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_is_cancelled_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static bool job_cancel_requested_locked(Job *job)
|
2018-04-17 10:56:07 +00:00
|
|
|
{
|
|
|
|
return job->cancelled;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
bool job_cancel_requested(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_cancel_requested_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool job_is_ready_locked(Job *job)
|
2018-04-25 13:09:58 +00:00
|
|
|
{
|
|
|
|
switch (job->status) {
|
|
|
|
case JOB_STATUS_UNDEFINED:
|
|
|
|
case JOB_STATUS_CREATED:
|
|
|
|
case JOB_STATUS_RUNNING:
|
|
|
|
case JOB_STATUS_PAUSED:
|
|
|
|
case JOB_STATUS_WAITING:
|
|
|
|
case JOB_STATUS_PENDING:
|
|
|
|
case JOB_STATUS_ABORTING:
|
|
|
|
case JOB_STATUS_CONCLUDED:
|
|
|
|
case JOB_STATUS_NULL:
|
|
|
|
return false;
|
|
|
|
case JOB_STATUS_READY:
|
|
|
|
case JOB_STATUS_STANDBY:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
g_assert_not_reached();
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
bool job_is_ready(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_is_ready_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool job_is_completed_locked(Job *job)
|
2018-04-19 11:04:01 +00:00
|
|
|
{
|
|
|
|
switch (job->status) {
|
|
|
|
case JOB_STATUS_UNDEFINED:
|
|
|
|
case JOB_STATUS_CREATED:
|
|
|
|
case JOB_STATUS_RUNNING:
|
|
|
|
case JOB_STATUS_PAUSED:
|
|
|
|
case JOB_STATUS_READY:
|
|
|
|
case JOB_STATUS_STANDBY:
|
|
|
|
return false;
|
|
|
|
case JOB_STATUS_WAITING:
|
|
|
|
case JOB_STATUS_PENDING:
|
|
|
|
case JOB_STATUS_ABORTING:
|
|
|
|
case JOB_STATUS_CONCLUDED:
|
|
|
|
case JOB_STATUS_NULL:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
g_assert_not_reached();
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:14 +00:00
|
|
|
static bool job_is_completed(Job *job)
|
2022-09-26 09:31:58 +00:00
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_is_completed_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool job_started_locked(Job *job)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
|
|
|
return job->co;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static bool job_should_pause_locked(Job *job)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
|
|
|
return job->pause_count > 0;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
Job *job_next_locked(Job *job)
|
2018-04-12 15:54:37 +00:00
|
|
|
{
|
|
|
|
if (!job) {
|
|
|
|
return QLIST_FIRST(&jobs);
|
|
|
|
}
|
|
|
|
return QLIST_NEXT(job, job_list);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
Job *job_next(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_next_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
Job *job_get_locked(const char *id)
|
2018-04-12 15:54:37 +00:00
|
|
|
{
|
|
|
|
Job *job;
|
|
|
|
|
|
|
|
QLIST_FOREACH(job, &jobs, job_list) {
|
|
|
|
if (job->id && !strcmp(id, job->id)) {
|
|
|
|
return job;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:06 +00:00
|
|
|
void job_set_aio_context(Job *job, AioContext *ctx)
|
|
|
|
{
|
|
|
|
/* protect against read in job_finish_sync_locked and job_start */
|
|
|
|
GLOBAL_STATE_CODE();
|
|
|
|
/* protect against read in job_do_yield_locked */
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
/* ensure the job is quiescent while the AioContext is changed */
|
|
|
|
assert(job->paused || job_is_completed_locked(job));
|
|
|
|
job->aio_context = ctx;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex *not* held. */
|
2018-04-18 14:32:20 +00:00
|
|
|
static void job_sleep_timer_cb(void *opaque)
|
|
|
|
{
|
|
|
|
Job *job = opaque;
|
|
|
|
|
|
|
|
job_enter(job);
|
|
|
|
}
|
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
void *job_create(const char *job_id, const JobDriver *driver, JobTxn *txn,
|
|
|
|
AioContext *ctx, int flags, BlockCompletionFunc *cb,
|
|
|
|
void *opaque, Error **errp)
|
2018-04-12 15:29:59 +00:00
|
|
|
{
|
|
|
|
Job *job;
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
|
2018-04-12 15:29:59 +00:00
|
|
|
if (job_id) {
|
2018-04-19 15:54:56 +00:00
|
|
|
if (flags & JOB_INTERNAL) {
|
|
|
|
error_setg(errp, "Cannot specify job ID for internal job");
|
|
|
|
return NULL;
|
|
|
|
}
|
2018-04-12 15:29:59 +00:00
|
|
|
if (!id_wellformed(job_id)) {
|
|
|
|
error_setg(errp, "Invalid job ID '%s'", job_id);
|
|
|
|
return NULL;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_get_locked(job_id)) {
|
2018-04-12 15:54:37 +00:00
|
|
|
error_setg(errp, "Job ID '%s' already in use", job_id);
|
|
|
|
return NULL;
|
|
|
|
}
|
2018-04-19 15:54:56 +00:00
|
|
|
} else if (!(flags & JOB_INTERNAL)) {
|
|
|
|
error_setg(errp, "An explicit job ID is required");
|
|
|
|
return NULL;
|
2018-04-12 15:29:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
job = g_malloc0(driver->instance_size);
|
|
|
|
job->driver = driver;
|
|
|
|
job->id = g_strdup(job_id);
|
2018-04-13 16:50:05 +00:00
|
|
|
job->refcnt = 1;
|
2018-04-17 11:49:33 +00:00
|
|
|
job->aio_context = ctx;
|
2018-04-13 15:31:02 +00:00
|
|
|
job->busy = false;
|
|
|
|
job->paused = true;
|
|
|
|
job->pause_count = 1;
|
2018-04-19 15:54:56 +00:00
|
|
|
job->auto_finalize = !(flags & JOB_MANUAL_FINALIZE);
|
|
|
|
job->auto_dismiss = !(flags & JOB_MANUAL_DISMISS);
|
2018-04-19 15:30:16 +00:00
|
|
|
job->cb = cb;
|
|
|
|
job->opaque = opaque;
|
2018-04-12 15:29:59 +00:00
|
|
|
|
2021-06-14 08:11:29 +00:00
|
|
|
progress_init(&job->progress);
|
|
|
|
|
2018-04-23 16:04:57 +00:00
|
|
|
notifier_list_init(&job->on_finalize_cancelled);
|
|
|
|
notifier_list_init(&job->on_finalize_completed);
|
|
|
|
notifier_list_init(&job->on_pending);
|
2018-04-25 12:56:09 +00:00
|
|
|
notifier_list_init(&job->on_ready);
|
2021-11-03 16:21:55 +00:00
|
|
|
notifier_list_init(&job->on_idle);
|
2018-04-23 16:04:57 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, JOB_STATUS_CREATED);
|
2018-04-18 14:32:20 +00:00
|
|
|
aio_timer_init(qemu_get_aio_context(), &job->sleep_timer,
|
|
|
|
QEMU_CLOCK_REALTIME, SCALE_NS,
|
|
|
|
job_sleep_timer_cb, job);
|
2018-04-13 15:19:31 +00:00
|
|
|
|
2018-04-12 15:54:37 +00:00
|
|
|
QLIST_INSERT_HEAD(&jobs, job, job_list);
|
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
/* Single jobs are modeled as single-job transactions for sake of
|
|
|
|
* consolidating the job management logic */
|
|
|
|
if (!txn) {
|
|
|
|
txn = job_txn_new();
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_add_job_locked(txn, job);
|
|
|
|
job_txn_unref_locked(txn);
|
2018-04-23 14:06:26 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_add_job_locked(txn, job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2018-04-12 15:29:59 +00:00
|
|
|
return job;
|
|
|
|
}
|
2018-04-12 17:06:53 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_ref_locked(Job *job)
|
2018-04-12 17:06:53 +00:00
|
|
|
{
|
2018-04-13 16:50:05 +00:00
|
|
|
++job->refcnt;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_unref_locked(Job *job)
|
2018-04-13 16:50:05 +00:00
|
|
|
{
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
|
|
|
|
2018-04-13 16:50:05 +00:00
|
|
|
if (--job->refcnt == 0) {
|
|
|
|
assert(job->status == JOB_STATUS_NULL);
|
2018-04-18 14:32:20 +00:00
|
|
|
assert(!timer_pending(&job->sleep_timer));
|
2018-04-23 14:06:26 +00:00
|
|
|
assert(!job->txn);
|
2018-04-12 15:54:37 +00:00
|
|
|
|
2018-04-13 16:50:05 +00:00
|
|
|
if (job->driver->free) {
|
2022-09-26 09:32:11 +00:00
|
|
|
AioContext *aio_context = job->aio_context;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2022-09-26 09:32:11 +00:00
|
|
|
/* FIXME: aiocontext lock is required because cb calls blk_unref */
|
|
|
|
aio_context_acquire(aio_context);
|
2018-04-13 16:50:05 +00:00
|
|
|
job->driver->free(job);
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_release(aio_context);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-13 16:50:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
QLIST_REMOVE(job, job_list);
|
|
|
|
|
2021-06-14 08:11:29 +00:00
|
|
|
progress_destroy(&job->progress);
|
2018-08-30 01:57:27 +00:00
|
|
|
error_free(job->err);
|
2018-04-13 16:50:05 +00:00
|
|
|
g_free(job->id);
|
|
|
|
g_free(job);
|
|
|
|
}
|
2018-04-12 17:06:53 +00:00
|
|
|
}
|
2018-04-17 14:41:17 +00:00
|
|
|
|
2018-05-04 10:17:20 +00:00
|
|
|
void job_progress_update(Job *job, uint64_t done)
|
|
|
|
{
|
2020-03-11 10:29:56 +00:00
|
|
|
progress_work_done(&job->progress, done);
|
2018-05-04 10:17:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void job_progress_set_remaining(Job *job, uint64_t remaining)
|
|
|
|
{
|
2020-03-11 10:29:56 +00:00
|
|
|
progress_set_remaining(&job->progress, remaining);
|
2018-05-04 10:17:20 +00:00
|
|
|
}
|
|
|
|
|
2018-06-13 18:18:20 +00:00
|
|
|
void job_progress_increase_remaining(Job *job, uint64_t delta)
|
|
|
|
{
|
2020-03-11 10:29:56 +00:00
|
|
|
progress_increase_remaining(&job->progress, delta);
|
2018-06-13 18:18:20 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:56 +00:00
|
|
|
/**
|
|
|
|
* To be called when a cancelled job is finalised.
|
2022-09-26 09:31:58 +00:00
|
|
|
* Called with job_mutex held.
|
2022-09-26 09:31:56 +00:00
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_event_cancelled_locked(Job *job)
|
2018-04-23 16:04:57 +00:00
|
|
|
{
|
|
|
|
notifier_list_notify(&job->on_finalize_cancelled, job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:56 +00:00
|
|
|
/**
|
|
|
|
* To be called when a successfully completed job is finalised.
|
2022-09-26 09:31:58 +00:00
|
|
|
* Called with job_mutex held.
|
2022-09-26 09:31:56 +00:00
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_event_completed_locked(Job *job)
|
2018-04-23 16:04:57 +00:00
|
|
|
{
|
|
|
|
notifier_list_notify(&job->on_finalize_completed, job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_event_pending_locked(Job *job)
|
2018-04-23 16:04:57 +00:00
|
|
|
{
|
|
|
|
notifier_list_notify(&job->on_pending, job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_event_ready_locked(Job *job)
|
2018-04-25 12:56:09 +00:00
|
|
|
{
|
|
|
|
notifier_list_notify(&job->on_ready, job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_event_idle_locked(Job *job)
|
2018-08-17 12:53:05 +00:00
|
|
|
{
|
|
|
|
notifier_list_notify(&job->on_idle, job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_enter_cond_locked(Job *job, bool(*fn)(Job *job))
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_started_locked(job)) {
|
2018-04-13 15:31:02 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (job->deferred_to_main_loop) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (job->busy) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (fn && !fn(job)) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(!job->deferred_to_main_loop);
|
|
|
|
timer_del(&job->sleep_timer);
|
|
|
|
job->busy = true;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
job: detect change of aiocontext within job coroutine
We want to make sure access of job->aio_context is always done
under either BQL or job_mutex. The problem is that using
aio_co_enter(job->aiocontext, job->co) in job_start and job_enter_cond
makes the coroutine immediately resume, so we can't hold the job lock.
And caching it is not safe either, as it might change.
job_start is under BQL, so it can freely read job->aiocontext, but
job_enter_cond is not.
We want to avoid reading job->aio_context in job_enter_cond, therefore:
1) use aio_co_wake(), since it doesn't want an aiocontext as argument
but uses job->co->ctx
2) detect possible discrepancy between job->co->ctx and job->aio_context
by checking right after the coroutine resumes back from yielding if
job->aio_context has changed. If so, reschedule the coroutine to the
new context.
Calling bdrv_try_set_aio_context() will issue the following calls
(simplified):
* in terms of bdrv callbacks:
.drained_begin -> .set_aio_context -> .drained_end
* in terms of child_job functions:
child_job_drained_begin -> child_job_set_aio_context -> child_job_drained_end
* in terms of job functions:
job_pause_locked -> job_set_aio_context -> job_resume_locked
We can see that after setting the new aio_context, job_resume_locked
calls again job_enter_cond, which then invokes aio_co_wake(). But
while job->aiocontext has been set in job_set_aio_context,
job->co->ctx has not changed, so the coroutine would be entering in
the wrong aiocontext.
Using aio_co_schedule in job_resume_locked() might seem as a valid
alternative, but the problem is that the bh resuming the coroutine
is not scheduled immediately, and if in the meanwhile another
bdrv_try_set_aio_context() is run (see test_propagate_mirror() in
test-block-iothread.c), we would have the first schedule in the
wrong aiocontext, and the second set of drains won't even manage
to schedule the coroutine, as job->busy would still be true from
the previous job_resume_locked().
The solution is to stick with aio_co_wake() and detect every time
the coroutine resumes back from yielding if job->aio_context
has changed. If so, we can reschedule it to the new context.
Check for the aiocontext change in job_do_yield_locked because:
1) aio_co_reschedule_self requires to be in the running coroutine
2) since child_job_set_aio_context allows changing the aiocontext only
while the job is paused, this is the exact place where the coroutine
resumes, before running JobDriver's code.
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20220926093214.506243-13-eesposit@redhat.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2022-09-26 09:32:05 +00:00
|
|
|
aio_co_wake(job->co);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
|
|
|
}
|
|
|
|
|
2018-04-18 14:32:20 +00:00
|
|
|
void job_enter(Job *job)
|
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_enter_cond_locked(job, NULL);
|
2018-04-18 14:32:20 +00:00
|
|
|
}
|
|
|
|
|
2018-04-13 15:31:02 +00:00
|
|
|
/* Yield, and schedule a timer to reenter the coroutine after @ns nanoseconds.
|
2018-04-24 14:13:52 +00:00
|
|
|
* Reentering the job coroutine with job_enter() before the timer has expired
|
|
|
|
* is allowed and cancels the timer.
|
2018-04-13 15:31:02 +00:00
|
|
|
*
|
2018-04-24 14:13:52 +00:00
|
|
|
* If @ns is (uint64_t) -1, no timer is scheduled and job_enter() must be
|
2022-09-26 09:31:58 +00:00
|
|
|
* called explicitly.
|
|
|
|
*
|
|
|
|
* Called with job_mutex held, but releases it temporarily.
|
|
|
|
*/
|
|
|
|
static void coroutine_fn job_do_yield_locked(Job *job, uint64_t ns)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
job: detect change of aiocontext within job coroutine
We want to make sure access of job->aio_context is always done
under either BQL or job_mutex. The problem is that using
aio_co_enter(job->aiocontext, job->co) in job_start and job_enter_cond
makes the coroutine immediately resume, so we can't hold the job lock.
And caching it is not safe either, as it might change.
job_start is under BQL, so it can freely read job->aiocontext, but
job_enter_cond is not.
We want to avoid reading job->aio_context in job_enter_cond, therefore:
1) use aio_co_wake(), since it doesn't want an aiocontext as argument
but uses job->co->ctx
2) detect possible discrepancy between job->co->ctx and job->aio_context
by checking right after the coroutine resumes back from yielding if
job->aio_context has changed. If so, reschedule the coroutine to the
new context.
Calling bdrv_try_set_aio_context() will issue the following calls
(simplified):
* in terms of bdrv callbacks:
.drained_begin -> .set_aio_context -> .drained_end
* in terms of child_job functions:
child_job_drained_begin -> child_job_set_aio_context -> child_job_drained_end
* in terms of job functions:
job_pause_locked -> job_set_aio_context -> job_resume_locked
We can see that after setting the new aio_context, job_resume_locked
calls again job_enter_cond, which then invokes aio_co_wake(). But
while job->aiocontext has been set in job_set_aio_context,
job->co->ctx has not changed, so the coroutine would be entering in
the wrong aiocontext.
Using aio_co_schedule in job_resume_locked() might seem as a valid
alternative, but the problem is that the bh resuming the coroutine
is not scheduled immediately, and if in the meanwhile another
bdrv_try_set_aio_context() is run (see test_propagate_mirror() in
test-block-iothread.c), we would have the first schedule in the
wrong aiocontext, and the second set of drains won't even manage
to schedule the coroutine, as job->busy would still be true from
the previous job_resume_locked().
The solution is to stick with aio_co_wake() and detect every time
the coroutine resumes back from yielding if job->aio_context
has changed. If so, we can reschedule it to the new context.
Check for the aiocontext change in job_do_yield_locked because:
1) aio_co_reschedule_self requires to be in the running coroutine
2) since child_job_set_aio_context allows changing the aiocontext only
while the job is paused, this is the exact place where the coroutine
resumes, before running JobDriver's code.
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20220926093214.506243-13-eesposit@redhat.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2022-09-26 09:32:05 +00:00
|
|
|
AioContext *next_aio_context;
|
|
|
|
|
2018-04-13 15:31:02 +00:00
|
|
|
if (ns != -1) {
|
|
|
|
timer_mod(&job->sleep_timer, ns);
|
|
|
|
}
|
|
|
|
job->busy = false;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_event_idle_locked(job);
|
|
|
|
job_unlock();
|
2018-04-13 15:31:02 +00:00
|
|
|
qemu_coroutine_yield();
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-13 15:31:02 +00:00
|
|
|
|
job: detect change of aiocontext within job coroutine
We want to make sure access of job->aio_context is always done
under either BQL or job_mutex. The problem is that using
aio_co_enter(job->aiocontext, job->co) in job_start and job_enter_cond
makes the coroutine immediately resume, so we can't hold the job lock.
And caching it is not safe either, as it might change.
job_start is under BQL, so it can freely read job->aiocontext, but
job_enter_cond is not.
We want to avoid reading job->aio_context in job_enter_cond, therefore:
1) use aio_co_wake(), since it doesn't want an aiocontext as argument
but uses job->co->ctx
2) detect possible discrepancy between job->co->ctx and job->aio_context
by checking right after the coroutine resumes back from yielding if
job->aio_context has changed. If so, reschedule the coroutine to the
new context.
Calling bdrv_try_set_aio_context() will issue the following calls
(simplified):
* in terms of bdrv callbacks:
.drained_begin -> .set_aio_context -> .drained_end
* in terms of child_job functions:
child_job_drained_begin -> child_job_set_aio_context -> child_job_drained_end
* in terms of job functions:
job_pause_locked -> job_set_aio_context -> job_resume_locked
We can see that after setting the new aio_context, job_resume_locked
calls again job_enter_cond, which then invokes aio_co_wake(). But
while job->aiocontext has been set in job_set_aio_context,
job->co->ctx has not changed, so the coroutine would be entering in
the wrong aiocontext.
Using aio_co_schedule in job_resume_locked() might seem as a valid
alternative, but the problem is that the bh resuming the coroutine
is not scheduled immediately, and if in the meanwhile another
bdrv_try_set_aio_context() is run (see test_propagate_mirror() in
test-block-iothread.c), we would have the first schedule in the
wrong aiocontext, and the second set of drains won't even manage
to schedule the coroutine, as job->busy would still be true from
the previous job_resume_locked().
The solution is to stick with aio_co_wake() and detect every time
the coroutine resumes back from yielding if job->aio_context
has changed. If so, we can reschedule it to the new context.
Check for the aiocontext change in job_do_yield_locked because:
1) aio_co_reschedule_self requires to be in the running coroutine
2) since child_job_set_aio_context allows changing the aiocontext only
while the job is paused, this is the exact place where the coroutine
resumes, before running JobDriver's code.
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20220926093214.506243-13-eesposit@redhat.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2022-09-26 09:32:05 +00:00
|
|
|
next_aio_context = job->aio_context;
|
|
|
|
/*
|
|
|
|
* Coroutine has resumed, but in the meanwhile the job AioContext
|
2022-10-25 08:49:52 +00:00
|
|
|
* might have changed via bdrv_try_change_aio_context(), so we need to move
|
job: detect change of aiocontext within job coroutine
We want to make sure access of job->aio_context is always done
under either BQL or job_mutex. The problem is that using
aio_co_enter(job->aiocontext, job->co) in job_start and job_enter_cond
makes the coroutine immediately resume, so we can't hold the job lock.
And caching it is not safe either, as it might change.
job_start is under BQL, so it can freely read job->aiocontext, but
job_enter_cond is not.
We want to avoid reading job->aio_context in job_enter_cond, therefore:
1) use aio_co_wake(), since it doesn't want an aiocontext as argument
but uses job->co->ctx
2) detect possible discrepancy between job->co->ctx and job->aio_context
by checking right after the coroutine resumes back from yielding if
job->aio_context has changed. If so, reschedule the coroutine to the
new context.
Calling bdrv_try_set_aio_context() will issue the following calls
(simplified):
* in terms of bdrv callbacks:
.drained_begin -> .set_aio_context -> .drained_end
* in terms of child_job functions:
child_job_drained_begin -> child_job_set_aio_context -> child_job_drained_end
* in terms of job functions:
job_pause_locked -> job_set_aio_context -> job_resume_locked
We can see that after setting the new aio_context, job_resume_locked
calls again job_enter_cond, which then invokes aio_co_wake(). But
while job->aiocontext has been set in job_set_aio_context,
job->co->ctx has not changed, so the coroutine would be entering in
the wrong aiocontext.
Using aio_co_schedule in job_resume_locked() might seem as a valid
alternative, but the problem is that the bh resuming the coroutine
is not scheduled immediately, and if in the meanwhile another
bdrv_try_set_aio_context() is run (see test_propagate_mirror() in
test-block-iothread.c), we would have the first schedule in the
wrong aiocontext, and the second set of drains won't even manage
to schedule the coroutine, as job->busy would still be true from
the previous job_resume_locked().
The solution is to stick with aio_co_wake() and detect every time
the coroutine resumes back from yielding if job->aio_context
has changed. If so, we can reschedule it to the new context.
Check for the aiocontext change in job_do_yield_locked because:
1) aio_co_reschedule_self requires to be in the running coroutine
2) since child_job_set_aio_context allows changing the aiocontext only
while the job is paused, this is the exact place where the coroutine
resumes, before running JobDriver's code.
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20220926093214.506243-13-eesposit@redhat.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
2022-09-26 09:32:05 +00:00
|
|
|
* the coroutine too in the new aiocontext.
|
|
|
|
*/
|
|
|
|
while (qemu_get_current_aio_context() != next_aio_context) {
|
|
|
|
job_unlock();
|
|
|
|
aio_co_reschedule_self(next_aio_context);
|
|
|
|
job_lock();
|
|
|
|
next_aio_context = job->aio_context;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Set by job_enter_cond_locked() before re-entering the coroutine. */
|
2018-04-13 15:31:02 +00:00
|
|
|
assert(job->busy);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held, but releases it temporarily. */
|
|
|
|
static void coroutine_fn job_pause_point_locked(Job *job)
|
2018-04-13 15:31:02 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
assert(job && job_started_locked(job));
|
2018-04-13 15:31:02 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_should_pause_locked(job)) {
|
2018-04-13 15:31:02 +00:00
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_is_cancelled_locked(job)) {
|
2018-04-13 15:31:02 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (job->driver->pause) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2018-04-13 15:31:02 +00:00
|
|
|
job->driver->pause(job);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-13 15:31:02 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_should_pause_locked(job) && !job_is_cancelled_locked(job)) {
|
2018-04-13 15:31:02 +00:00
|
|
|
JobStatus status = job->status;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, status == JOB_STATUS_READY
|
|
|
|
? JOB_STATUS_STANDBY
|
|
|
|
: JOB_STATUS_PAUSED);
|
2018-04-13 15:31:02 +00:00
|
|
|
job->paused = true;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_do_yield_locked(job, -1);
|
2018-04-13 15:31:02 +00:00
|
|
|
job->paused = false;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, status);
|
2018-04-13 15:31:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (job->driver->resume) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2018-04-13 15:31:02 +00:00
|
|
|
job->driver->resume(job);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-13 15:31:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void coroutine_fn job_pause_point(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_pause_point_locked(job);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:14 +00:00
|
|
|
void coroutine_fn job_yield(Job *job)
|
2018-04-24 14:55:04 +00:00
|
|
|
{
|
2022-09-26 09:32:14 +00:00
|
|
|
JOB_LOCK_GUARD();
|
2018-04-24 14:55:04 +00:00
|
|
|
assert(job->busy);
|
|
|
|
|
|
|
|
/* Check cancellation *before* setting busy = false, too! */
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_is_cancelled_locked(job)) {
|
2018-04-24 14:55:04 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_should_pause_locked(job)) {
|
|
|
|
job_do_yield_locked(job, -1);
|
2018-04-24 14:55:04 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_pause_point_locked(job);
|
|
|
|
}
|
|
|
|
|
2018-04-18 14:32:20 +00:00
|
|
|
void coroutine_fn job_sleep_ns(Job *job, int64_t ns)
|
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
2018-04-18 14:32:20 +00:00
|
|
|
assert(job->busy);
|
|
|
|
|
|
|
|
/* Check cancellation *before* setting busy = false, too! */
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_is_cancelled_locked(job)) {
|
2018-04-18 14:32:20 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_should_pause_locked(job)) {
|
|
|
|
job_do_yield_locked(job, qemu_clock_get_ns(QEMU_CLOCK_REALTIME) + ns);
|
2018-04-18 14:32:20 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_pause_point_locked(job);
|
2018-04-18 14:32:20 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Assumes the job_mutex is held */
|
|
|
|
static bool job_timer_not_pending_locked(Job *job)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
|
|
|
return !timer_pending(&job->sleep_timer);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_pause_locked(Job *job)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
|
|
|
job->pause_count++;
|
2021-01-16 21:46:51 +00:00
|
|
|
if (!job->paused) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_enter_cond_locked(job, NULL);
|
2021-01-16 21:46:51 +00:00
|
|
|
}
|
2018-04-18 15:10:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_pause(Job *job)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_pause_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
void job_resume_locked(Job *job)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
|
|
|
assert(job->pause_count > 0);
|
|
|
|
job->pause_count--;
|
|
|
|
if (job->pause_count) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* kick only if no timer is pending */
|
2022-09-26 09:31:58 +00:00
|
|
|
job_enter_cond_locked(job, job_timer_not_pending_locked);
|
2018-04-18 15:10:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_resume(Job *job)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_resume_locked(job);
|
|
|
|
}
|
|
|
|
|
|
|
|
void job_user_pause_locked(Job *job, Error **errp)
|
|
|
|
{
|
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_PAUSE, errp)) {
|
2018-04-18 15:10:26 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (job->user_paused) {
|
|
|
|
error_setg(errp, "Job is already paused");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
job->user_paused = true;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_pause_locked(job);
|
2018-04-18 15:10:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
bool job_user_paused_locked(Job *job)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
|
|
|
return job->user_paused;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_user_resume_locked(Job *job, Error **errp)
|
2018-04-18 15:10:26 +00:00
|
|
|
{
|
|
|
|
assert(job);
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2018-04-18 15:10:26 +00:00
|
|
|
if (!job->user_paused || job->pause_count <= 0) {
|
|
|
|
error_setg(errp, "Can't resume a job that was not paused");
|
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_RESUME, errp)) {
|
2018-04-18 15:10:26 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (job->driver->user_resume) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2018-04-18 15:10:26 +00:00
|
|
|
job->driver->user_resume(job);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-18 15:10:26 +00:00
|
|
|
}
|
|
|
|
job->user_paused = false;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_resume_locked(job);
|
2018-04-18 15:10:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held, but releases it temporarily. */
|
|
|
|
static void job_do_dismiss_locked(Job *job)
|
2018-04-19 15:30:16 +00:00
|
|
|
{
|
|
|
|
assert(job);
|
|
|
|
job->busy = false;
|
|
|
|
job->paused = false;
|
|
|
|
job->deferred_to_main_loop = true;
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_del_job_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, JOB_STATUS_NULL);
|
|
|
|
job_unref_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_dismiss_locked(Job **jobptr, Error **errp)
|
2018-04-24 15:10:12 +00:00
|
|
|
{
|
|
|
|
Job *job = *jobptr;
|
|
|
|
/* similarly to _complete, this is QMP-interface only. */
|
|
|
|
assert(job->id);
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_DISMISS, errp)) {
|
2018-04-24 15:10:12 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_do_dismiss_locked(job);
|
2018-04-24 15:10:12 +00:00
|
|
|
*jobptr = NULL;
|
|
|
|
}
|
|
|
|
|
2018-04-19 15:30:16 +00:00
|
|
|
void job_early_fail(Job *job)
|
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
2018-04-19 15:30:16 +00:00
|
|
|
assert(job->status == JOB_STATUS_CREATED);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_do_dismiss_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_conclude_locked(Job *job)
|
2018-04-19 15:30:16 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, JOB_STATUS_CONCLUDED);
|
|
|
|
if (job->auto_dismiss || !job_started_locked(job)) {
|
|
|
|
job_do_dismiss_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_update_rc_locked(Job *job)
|
2018-04-19 15:30:16 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job->ret && job_is_cancelled_locked(job)) {
|
2018-04-19 15:30:16 +00:00
|
|
|
job->ret = -ECANCELED;
|
|
|
|
}
|
|
|
|
if (job->ret) {
|
2018-08-30 01:57:27 +00:00
|
|
|
if (!job->err) {
|
|
|
|
error_setg(&job->err, "%s", strerror(-job->ret));
|
2018-05-24 13:26:10 +00:00
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, JOB_STATUS_ABORTING);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void job_commit(Job *job)
|
|
|
|
{
|
|
|
|
assert(!job->ret);
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2018-04-19 15:30:16 +00:00
|
|
|
if (job->driver->commit) {
|
|
|
|
job->driver->commit(job);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void job_abort(Job *job)
|
|
|
|
{
|
|
|
|
assert(job->ret);
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2018-04-19 15:30:16 +00:00
|
|
|
if (job->driver->abort) {
|
|
|
|
job->driver->abort(job);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void job_clean(Job *job)
|
|
|
|
{
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2018-04-19 15:30:16 +00:00
|
|
|
if (job->driver->clean) {
|
|
|
|
job->driver->clean(job);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:11 +00:00
|
|
|
/*
|
|
|
|
* Called with job_mutex held, but releases it temporarily.
|
|
|
|
* Takes AioContext lock internally to invoke a job->driver callback.
|
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static int job_finalize_single_locked(Job *job)
|
2018-04-19 15:30:16 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_ret;
|
2022-09-26 09:32:11 +00:00
|
|
|
AioContext *ctx = job->aio_context;
|
2022-09-26 09:31:58 +00:00
|
|
|
|
|
|
|
assert(job_is_completed_locked(job));
|
2018-04-19 15:30:16 +00:00
|
|
|
|
|
|
|
/* Ensure abort is called for late-transactional failures */
|
2022-09-26 09:31:58 +00:00
|
|
|
job_update_rc_locked(job);
|
|
|
|
|
|
|
|
job_ret = job->ret;
|
|
|
|
job_unlock();
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_acquire(ctx);
|
2018-04-19 15:30:16 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_ret) {
|
2018-04-19 15:30:16 +00:00
|
|
|
job_commit(job);
|
|
|
|
} else {
|
|
|
|
job_abort(job);
|
|
|
|
}
|
|
|
|
job_clean(job);
|
|
|
|
|
|
|
|
if (job->cb) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job->cb(job->opaque, job_ret);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_release(ctx);
|
|
|
|
job_lock();
|
|
|
|
|
2018-04-19 15:30:16 +00:00
|
|
|
/* Emit events only if we actually started */
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_started_locked(job)) {
|
|
|
|
if (job_is_cancelled_locked(job)) {
|
|
|
|
job_event_cancelled_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_event_completed_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_del_job_locked(job);
|
|
|
|
job_conclude_locked(job);
|
2018-04-19 15:30:16 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:11 +00:00
|
|
|
/*
|
|
|
|
* Called with job_mutex held, but releases it temporarily.
|
|
|
|
* Takes AioContext lock internally to invoke a job->driver callback.
|
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_cancel_async_locked(Job *job, bool force)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
2022-09-26 09:32:11 +00:00
|
|
|
AioContext *ctx = job->aio_context;
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2021-02-05 16:37:14 +00:00
|
|
|
if (job->driver->cancel) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_acquire(ctx);
|
jobs: Give Job.force_cancel more meaning
We largely have two cancel modes for jobs:
First, there is actual cancelling. The job is terminated as soon as
possible, without trying to reach a consistent result.
Second, we have mirror in the READY state. Technically, the job is not
really cancelled, but it just is a different completion mode. The job
can still run for an indefinite amount of time while it tries to reach a
consistent result.
We want to be able to clearly distinguish which cancel mode a job is in
(when it has been cancelled). We can use Job.force_cancel for this, but
right now it only reflects cancel requests from the user with
force=true, but clearly, jobs that do not even distinguish between
force=false and force=true are effectively always force-cancelled.
So this patch has Job.force_cancel signify whether the job will
terminate as soon as possible (force_cancel=true) or whether it will
effectively remain running despite being "cancelled"
(force_cancel=false).
To this end, we let jobs that provide JobDriver.cancel() tell the
generic job code whether they will terminate as soon as possible or not,
and for jobs that do not provide that method we assume they will.
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20211006151940.214590-7-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:33 +00:00
|
|
|
force = job->driver->cancel(job, force);
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_release(ctx);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
jobs: Give Job.force_cancel more meaning
We largely have two cancel modes for jobs:
First, there is actual cancelling. The job is terminated as soon as
possible, without trying to reach a consistent result.
Second, we have mirror in the READY state. Technically, the job is not
really cancelled, but it just is a different completion mode. The job
can still run for an indefinite amount of time while it tries to reach a
consistent result.
We want to be able to clearly distinguish which cancel mode a job is in
(when it has been cancelled). We can use Job.force_cancel for this, but
right now it only reflects cancel requests from the user with
force=true, but clearly, jobs that do not even distinguish between
force=false and force=true are effectively always force-cancelled.
So this patch has Job.force_cancel signify whether the job will
terminate as soon as possible (force_cancel=true) or whether it will
effectively remain running despite being "cancelled"
(force_cancel=false).
To this end, we let jobs that provide JobDriver.cancel() tell the
generic job code whether they will terminate as soon as possible or not,
and for jobs that do not provide that method we assume they will.
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20211006151940.214590-7-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:33 +00:00
|
|
|
} else {
|
|
|
|
/* No .cancel() means the job will behave as if force-cancelled */
|
|
|
|
force = true;
|
2021-02-05 16:37:14 +00:00
|
|
|
}
|
jobs: Give Job.force_cancel more meaning
We largely have two cancel modes for jobs:
First, there is actual cancelling. The job is terminated as soon as
possible, without trying to reach a consistent result.
Second, we have mirror in the READY state. Technically, the job is not
really cancelled, but it just is a different completion mode. The job
can still run for an indefinite amount of time while it tries to reach a
consistent result.
We want to be able to clearly distinguish which cancel mode a job is in
(when it has been cancelled). We can use Job.force_cancel for this, but
right now it only reflects cancel requests from the user with
force=true, but clearly, jobs that do not even distinguish between
force=false and force=true are effectively always force-cancelled.
So this patch has Job.force_cancel signify whether the job will
terminate as soon as possible (force_cancel=true) or whether it will
effectively remain running despite being "cancelled"
(force_cancel=false).
To this end, we let jobs that provide JobDriver.cancel() tell the
generic job code whether they will terminate as soon as possible or not,
and for jobs that do not provide that method we assume they will.
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20211006151940.214590-7-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:33 +00:00
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
if (job->user_paused) {
|
|
|
|
/* Do not call job_enter here, the caller will handle it. */
|
|
|
|
if (job->driver->user_resume) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2018-04-23 14:06:26 +00:00
|
|
|
job->driver->user_resume(job);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
2018-08-21 16:26:19 +00:00
|
|
|
job->user_paused = false;
|
2018-04-23 14:06:26 +00:00
|
|
|
assert(job->pause_count > 0);
|
|
|
|
job->pause_count--;
|
|
|
|
}
|
2021-10-06 15:19:34 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Ignore soft cancel requests after the job is already done
|
|
|
|
* (We will still invoke job->driver->cancel() above, but if the
|
|
|
|
* job driver supports soft cancelling and the job is done, that
|
|
|
|
* should be a no-op, too. We still call it so it can override
|
|
|
|
* @force.)
|
|
|
|
*/
|
|
|
|
if (force || !job->deferred_to_main_loop) {
|
|
|
|
job->cancelled = true;
|
|
|
|
/* To prevent 'force == false' overriding a previous 'force == true' */
|
|
|
|
job->force_cancel |= force;
|
|
|
|
}
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:11 +00:00
|
|
|
/*
|
|
|
|
* Called with job_mutex held, but releases it temporarily.
|
|
|
|
* Takes AioContext lock internally to invoke a job->driver callback.
|
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_completed_txn_abort_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
JobTxn *txn = job->txn;
|
|
|
|
Job *other_job;
|
|
|
|
|
|
|
|
if (txn->aborting) {
|
|
|
|
/*
|
|
|
|
* We are cancelled by another job, which will handle everything.
|
|
|
|
*/
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
txn->aborting = true;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_ref_locked(txn);
|
2018-04-23 14:06:26 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_ref_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
|
|
|
|
/* Other jobs are effectively cancelled by us, set the status for
|
|
|
|
* them; this job, however, may or may not be cancelled, depending
|
|
|
|
* on the caller, so leave it. */
|
|
|
|
QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
|
|
|
|
if (other_job != job) {
|
2021-10-06 15:19:31 +00:00
|
|
|
/*
|
|
|
|
* This is a transaction: If one job failed, no result will matter.
|
|
|
|
* Therefore, pass force=true to terminate all other jobs as quickly
|
|
|
|
* as possible.
|
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
job_cancel_async_locked(other_job, true);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
while (!QLIST_EMPTY(&txn->jobs)) {
|
|
|
|
other_job = QLIST_FIRST(&txn->jobs);
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_is_completed_locked(other_job)) {
|
|
|
|
assert(job_cancel_requested_locked(other_job));
|
|
|
|
job_finish_sync_locked(other_job, NULL, NULL);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
job_finalize_single_locked(other_job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unref_locked(job);
|
|
|
|
job_txn_unref_locked(txn);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held, but releases it temporarily */
|
|
|
|
static int job_prepare_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
int ret;
|
2022-09-26 09:32:11 +00:00
|
|
|
AioContext *ctx = job->aio_context;
|
2022-09-26 09:31:58 +00:00
|
|
|
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2022-09-26 09:32:11 +00:00
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
if (job->ret == 0 && job->driver->prepare) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_acquire(ctx);
|
2022-09-26 09:31:58 +00:00
|
|
|
ret = job->driver->prepare(job);
|
2022-09-26 09:32:11 +00:00
|
|
|
aio_context_release(ctx);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
|
|
|
job->ret = ret;
|
|
|
|
job_update_rc_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
2022-09-26 09:32:11 +00:00
|
|
|
|
2018-04-23 14:06:26 +00:00
|
|
|
return job->ret;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held */
|
|
|
|
static int job_needs_finalize_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
return !job->auto_finalize;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held */
|
|
|
|
static void job_do_finalize_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
int rc;
|
|
|
|
assert(job && job->txn);
|
|
|
|
|
|
|
|
/* prepare the transaction to complete */
|
2022-09-26 09:31:58 +00:00
|
|
|
rc = job_txn_apply_locked(job, job_prepare_locked);
|
2018-04-23 14:06:26 +00:00
|
|
|
if (rc) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_completed_txn_abort_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_apply_locked(job, job_finalize_single_locked);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_finalize_locked(Job *job, Error **errp)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
assert(job && job->id);
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_FINALIZE, errp)) {
|
2018-04-23 14:06:26 +00:00
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
job_do_finalize_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static int job_transition_to_pending_locked(Job *job)
|
|
|
|
{
|
|
|
|
job_state_transition_locked(job, JOB_STATUS_PENDING);
|
2018-04-23 14:06:26 +00:00
|
|
|
if (!job->auto_finalize) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_event_pending_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2018-04-25 12:56:09 +00:00
|
|
|
void job_transition_to_ready(Job *job)
|
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_state_transition_locked(job, JOB_STATUS_READY);
|
|
|
|
job_event_ready_locked(job);
|
2018-04-25 12:56:09 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_completed_txn_success_locked(Job *job)
|
2018-04-23 14:06:26 +00:00
|
|
|
{
|
|
|
|
JobTxn *txn = job->txn;
|
|
|
|
Job *other_job;
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_state_transition_locked(job, JOB_STATUS_WAITING);
|
2018-04-23 14:06:26 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Successful completion, see if there are other running jobs in this
|
|
|
|
* txn.
|
|
|
|
*/
|
|
|
|
QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
|
2022-09-26 09:31:58 +00:00
|
|
|
if (!job_is_completed_locked(other_job)) {
|
2018-04-23 14:06:26 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
assert(other_job->ret == 0);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_txn_apply_locked(job, job_transition_to_pending_locked);
|
2018-04-23 14:06:26 +00:00
|
|
|
|
|
|
|
/* If no jobs need manual finalization, automatically do so */
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_txn_apply_locked(job, job_needs_finalize_locked) == 0) {
|
|
|
|
job_do_finalize_locked(job);
|
2018-04-23 14:06:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/* Called with job_mutex held. */
|
|
|
|
static void job_completed_locked(Job *job)
|
2018-04-24 14:13:52 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
assert(job && job->txn && !job_is_completed_locked(job));
|
2018-05-24 13:26:10 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_update_rc_locked(job);
|
2018-08-30 01:57:33 +00:00
|
|
|
trace_job_completed(job, job->ret);
|
2018-04-24 14:13:52 +00:00
|
|
|
if (job->ret) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_completed_txn_abort_locked(job);
|
2018-04-24 14:13:52 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_completed_txn_success_locked(job);
|
2018-04-24 14:13:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
/**
|
|
|
|
* Useful only as a type shim for aio_bh_schedule_oneshot.
|
|
|
|
* Called with job_mutex *not* held.
|
|
|
|
*/
|
2018-09-06 13:02:20 +00:00
|
|
|
static void job_exit(void *opaque)
|
|
|
|
{
|
|
|
|
Job *job = (Job *)opaque;
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
job_ref_locked(job);
|
2018-09-07 13:31:22 +00:00
|
|
|
|
|
|
|
/* This is a lie, we're not quiescent, but still doing the completion
|
|
|
|
* callbacks. However, completion callbacks tend to involve operations that
|
|
|
|
* drain block nodes, and if .drained_poll still returned true, we would
|
|
|
|
* deadlock. */
|
|
|
|
job->busy = false;
|
2022-09-26 09:31:58 +00:00
|
|
|
job_event_idle_locked(job);
|
2018-09-07 13:31:22 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_completed_locked(job);
|
|
|
|
job_unref_locked(job);
|
2018-09-06 13:02:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* All jobs must allow a pause point before entering their job proper. This
|
|
|
|
* ensures that jobs can be paused prior to being started, then resumed later.
|
|
|
|
*/
|
|
|
|
static void coroutine_fn job_co_entry(void *opaque)
|
|
|
|
{
|
|
|
|
Job *job = opaque;
|
2022-09-26 09:31:58 +00:00
|
|
|
int ret;
|
2018-09-06 13:02:20 +00:00
|
|
|
|
|
|
|
assert(job && job->driver && job->driver->run);
|
2022-09-26 09:31:58 +00:00
|
|
|
WITH_JOB_LOCK_GUARD() {
|
|
|
|
assert(job->aio_context == qemu_get_current_aio_context());
|
|
|
|
job_pause_point_locked(job);
|
|
|
|
}
|
|
|
|
ret = job->driver->run(job, &job->err);
|
|
|
|
WITH_JOB_LOCK_GUARD() {
|
|
|
|
job->ret = ret;
|
|
|
|
job->deferred_to_main_loop = true;
|
|
|
|
job->busy = true;
|
|
|
|
}
|
2018-09-06 13:02:20 +00:00
|
|
|
aio_bh_schedule_oneshot(qemu_get_aio_context(), job_exit, job);
|
|
|
|
}
|
|
|
|
|
|
|
|
void job_start(Job *job)
|
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
assert(qemu_in_main_thread());
|
|
|
|
|
|
|
|
WITH_JOB_LOCK_GUARD() {
|
|
|
|
assert(job && !job_started_locked(job) && job->paused &&
|
|
|
|
job->driver && job->driver->run);
|
|
|
|
job->co = qemu_coroutine_create(job_co_entry, job);
|
|
|
|
job->pause_count--;
|
|
|
|
job->busy = true;
|
|
|
|
job->paused = false;
|
|
|
|
job_state_transition_locked(job, JOB_STATUS_RUNNING);
|
|
|
|
}
|
2018-09-06 13:02:20 +00:00
|
|
|
aio_co_enter(job->aio_context, job->co);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_cancel_locked(Job *job, bool force)
|
2018-04-24 14:13:52 +00:00
|
|
|
{
|
|
|
|
if (job->status == JOB_STATUS_CONCLUDED) {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_do_dismiss_locked(job);
|
2018-04-24 14:13:52 +00:00
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
job_cancel_async_locked(job, force);
|
|
|
|
if (!job_started_locked(job)) {
|
|
|
|
job_completed_locked(job);
|
2018-04-24 14:13:52 +00:00
|
|
|
} else if (job->deferred_to_main_loop) {
|
2021-10-06 15:19:34 +00:00
|
|
|
/*
|
|
|
|
* job_cancel_async() ignores soft-cancel requests for jobs
|
|
|
|
* that are already done (i.e. deferred to the main loop). We
|
|
|
|
* have to check again whether the job is really cancelled.
|
job: Add job_cancel_requested()
Most callers of job_is_cancelled() actually want to know whether the job
is on its way to immediate termination. For example, we refuse to pause
jobs that are cancelled; but this only makes sense for jobs that are
really actually cancelled.
A mirror job that is cancelled during READY with force=false should
absolutely be allowed to pause. This "cancellation" (which is actually
a kind of completion) may take an indefinite amount of time, and so
should behave like any job during normal operation. For example, with
on-target-error=stop, the job should stop on write errors. (In
contrast, force-cancelled jobs should not get write errors, as they
should just terminate and not do further I/O.)
Therefore, redefine job_is_cancelled() to only return true for jobs that
are force-cancelled (which as of HEAD^ means any job that interprets the
cancellation request as a request for immediate termination), and add
job_cancel_requested() as the general variant, which returns true for
any jobs which have been requested to be cancelled, whether it be
immediately or after an arbitrarily long completion phase.
Finally, here is a justification for how different job_is_cancelled()
invocations are treated by this patch:
- block/mirror.c (mirror_run()):
- The first invocation is a while loop that should loop until the job
has been cancelled or scheduled for completion. What kind of cancel
does not matter, only the fact that the job is supposed to end.
- The second invocation wants to know whether the job has been
soft-cancelled. Calling job_cancel_requested() is a bit too broad,
but if the job were force-cancelled, we should leave the main loop
as soon as possible anyway, so this should not matter here.
- The last two invocations already check force_cancel, so they should
continue to use job_is_cancelled().
- block/backup.c, block/commit.c, block/stream.c, anything in tests/:
These jobs know only force-cancel, so there is no difference between
job_is_cancelled() and job_cancel_requested(). We can continue using
job_is_cancelled().
- job.c:
- job_pause_point(), job_yield(), job_sleep_ns(): Only force-cancelled
jobs should be prevented from being paused. Continue using job_is_cancelled().
- job_update_rc(), job_finalize_single(), job_finish_sync(): These
functions are all called after the job has left its main loop. The
mirror job (the only job that can be soft-cancelled) will clear
.cancelled before leaving the main loop if it has been
soft-cancelled. Therefore, these functions will observe .cancelled
to be true only if the job has been force-cancelled. We can
continue to use job_is_cancelled().
(Furthermore, conceptually, a soft-cancelled mirror job should not
report to have been cancelled. It should report completion (see
also the block-job-cancel QAPI documentation). Therefore, it makes
sense for these functions not to distinguish between a
soft-cancelled mirror job and a job that has completed as normal.)
- job_completed_txn_abort(): All jobs other than @job have been
force-cancelled. job_is_cancelled() must be true for them.
Regarding @job itself: job_completed_txn_abort() is mostly called
when the job's return value is not 0. A soft-cancelled mirror has a
return value of 0, and so will not end up here then.
However, job_cancel() invokes job_completed_txn_abort() if the job
has been deferred to the main loop, which is mostly the case for
completed jobs (which skip the assertion), but not for sure.
To be safe, use job_cancel_requested() in this assertion.
- job_complete(): This is function eventually invoked by the user
(through qmp_block_job_complete() or qmp_job_complete(), or
job_complete_sync(), which comes from qemu-img). The intention here
is to prevent a user from invoking job-complete after the job has
been cancelled. This should also apply to soft cancelling: After a
mirror job has been soft-cancelled, the user should not be able to
decide otherwise and have it complete as normal (i.e. pivoting to
the target).
- job_cancel(): Both functions are equivalent (see comment there), but
we want to use job_is_cancelled(), because this shows that we call
job_completed_txn_abort() only for force-cancelled jobs. (As
explained for job_update_rc(), soft-cancelled jobs should be treated
as if they have completed as normal.)
Buglink: https://gitlab.com/qemu-project/qemu/-/issues/462
Signed-off-by: Hanna Reitz <hreitz@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Message-Id: <20211006151940.214590-9-hreitz@redhat.com>
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
2021-10-06 15:19:35 +00:00
|
|
|
* (job_cancel_requested() and job_is_cancelled() are equivalent
|
|
|
|
* here, because job_cancel_async() will make soft-cancel
|
|
|
|
* requests no-ops when deferred_to_main_loop is true. We
|
|
|
|
* choose to call job_is_cancelled() to show that we invoke
|
|
|
|
* job_completed_txn_abort() only for force-cancelled jobs.)
|
2021-10-06 15:19:34 +00:00
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_is_cancelled_locked(job)) {
|
|
|
|
job_completed_txn_abort_locked(job);
|
2021-10-06 15:19:34 +00:00
|
|
|
}
|
2018-04-24 14:13:52 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
job_enter_cond_locked(job, NULL);
|
2018-04-24 14:13:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
void job_user_cancel_locked(Job *job, bool force, Error **errp)
|
|
|
|
{
|
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_CANCEL, errp)) {
|
2018-04-24 14:13:52 +00:00
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
job_cancel_locked(job, force);
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:32:14 +00:00
|
|
|
/* A wrapper around job_cancel_locked() taking an Error ** parameter so it may
|
|
|
|
* be used with job_finish_sync_locked() without the need for (rather nasty)
|
|
|
|
* function pointer casts there.
|
2022-09-26 09:31:58 +00:00
|
|
|
*
|
|
|
|
* Called with job_mutex held.
|
|
|
|
*/
|
|
|
|
static void job_cancel_err_locked(Job *job, Error **errp)
|
2018-04-24 14:13:52 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
job_cancel_locked(job, false);
|
2018-04-24 14:13:52 +00:00
|
|
|
}
|
|
|
|
|
2021-10-06 15:19:32 +00:00
|
|
|
/**
|
|
|
|
* Same as job_cancel_err(), but force-cancel.
|
2022-09-26 09:31:58 +00:00
|
|
|
* Called with job_mutex held.
|
2021-10-06 15:19:32 +00:00
|
|
|
*/
|
2022-09-26 09:31:58 +00:00
|
|
|
static void job_force_cancel_err_locked(Job *job, Error **errp)
|
2018-04-24 14:13:52 +00:00
|
|
|
{
|
2022-09-26 09:31:58 +00:00
|
|
|
job_cancel_locked(job, true);
|
2021-10-06 15:19:32 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_cancel_sync_locked(Job *job, bool force)
|
2021-10-06 15:19:32 +00:00
|
|
|
{
|
|
|
|
if (force) {
|
2022-09-26 09:31:58 +00:00
|
|
|
return job_finish_sync_locked(job, &job_force_cancel_err_locked, NULL);
|
2021-10-06 15:19:32 +00:00
|
|
|
} else {
|
2022-09-26 09:31:58 +00:00
|
|
|
return job_finish_sync_locked(job, &job_cancel_err_locked, NULL);
|
2021-10-06 15:19:32 +00:00
|
|
|
}
|
2018-04-24 14:13:52 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_cancel_sync(Job *job, bool force)
|
|
|
|
{
|
|
|
|
JOB_LOCK_GUARD();
|
|
|
|
return job_cancel_sync_locked(job, force);
|
|
|
|
}
|
|
|
|
|
2018-04-24 14:13:52 +00:00
|
|
|
void job_cancel_sync_all(void)
|
|
|
|
{
|
|
|
|
Job *job;
|
2022-09-26 09:31:58 +00:00
|
|
|
JOB_LOCK_GUARD();
|
2018-04-24 14:13:52 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
while ((job = job_next_locked(NULL))) {
|
|
|
|
job_cancel_sync_locked(job, true);
|
2018-04-24 14:13:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_complete_sync_locked(Job *job, Error **errp)
|
|
|
|
{
|
|
|
|
return job_finish_sync_locked(job, job_complete_locked, errp);
|
|
|
|
}
|
|
|
|
|
|
|
|
void job_complete_locked(Job *job, Error **errp)
|
2018-04-23 10:24:16 +00:00
|
|
|
{
|
|
|
|
/* Should not be reachable via external interface for internal jobs */
|
|
|
|
assert(job->id);
|
2022-03-03 15:16:16 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_apply_verb_locked(job, JOB_VERB_COMPLETE, errp)) {
|
2018-04-23 10:24:16 +00:00
|
|
|
return;
|
|
|
|
}
|
2022-09-26 09:31:58 +00:00
|
|
|
if (job_cancel_requested_locked(job) || !job->driver->complete) {
|
2018-04-23 10:24:16 +00:00
|
|
|
error_setg(errp, "The active block job '%s' cannot be completed",
|
|
|
|
job->id);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2018-04-23 10:24:16 +00:00
|
|
|
job->driver->complete(job, errp);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-04-23 10:24:16 +00:00
|
|
|
}
|
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
int job_finish_sync_locked(Job *job,
|
|
|
|
void (*finish)(Job *, Error **errp),
|
|
|
|
Error **errp)
|
2018-04-20 13:33:57 +00:00
|
|
|
{
|
|
|
|
Error *local_err = NULL;
|
|
|
|
int ret;
|
2022-09-26 09:32:06 +00:00
|
|
|
GLOBAL_STATE_CODE();
|
2018-04-20 13:33:57 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_ref_locked(job);
|
2018-04-20 13:33:57 +00:00
|
|
|
|
|
|
|
if (finish) {
|
|
|
|
finish(job, &local_err);
|
|
|
|
}
|
|
|
|
if (local_err) {
|
|
|
|
error_propagate(errp, local_err);
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unref_locked(job);
|
2018-04-20 13:33:57 +00:00
|
|
|
return -EBUSY;
|
|
|
|
}
|
2018-08-17 12:58:49 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
job_unlock();
|
2022-09-26 09:32:11 +00:00
|
|
|
AIO_WAIT_WHILE_UNLOCKED(job->aio_context,
|
|
|
|
(job_enter(job), !job_is_completed(job)));
|
2022-09-26 09:31:58 +00:00
|
|
|
job_lock();
|
2018-08-17 12:58:49 +00:00
|
|
|
|
2022-09-26 09:31:58 +00:00
|
|
|
ret = (job_is_cancelled_locked(job) && job->ret == 0)
|
|
|
|
? -ECANCELED : job->ret;
|
|
|
|
job_unref_locked(job);
|
2018-04-20 13:33:57 +00:00
|
|
|
return ret;
|
|
|
|
}
|