xref: /qemu/job.c (revision b49f4755)
133e9e9bdSKevin Wolf /*
233e9e9bdSKevin Wolf  * Background jobs (long-running operations)
333e9e9bdSKevin Wolf  *
433e9e9bdSKevin Wolf  * Copyright (c) 2011 IBM Corp.
533e9e9bdSKevin Wolf  * Copyright (c) 2012, 2018 Red Hat, Inc.
633e9e9bdSKevin Wolf  *
733e9e9bdSKevin Wolf  * Permission is hereby granted, free of charge, to any person obtaining a copy
833e9e9bdSKevin Wolf  * of this software and associated documentation files (the "Software"), to deal
933e9e9bdSKevin Wolf  * in the Software without restriction, including without limitation the rights
1033e9e9bdSKevin Wolf  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1133e9e9bdSKevin Wolf  * copies of the Software, and to permit persons to whom the Software is
1233e9e9bdSKevin Wolf  * furnished to do so, subject to the following conditions:
1333e9e9bdSKevin Wolf  *
1433e9e9bdSKevin Wolf  * The above copyright notice and this permission notice shall be included in
1533e9e9bdSKevin Wolf  * all copies or substantial portions of the Software.
1633e9e9bdSKevin Wolf  *
1733e9e9bdSKevin Wolf  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
1833e9e9bdSKevin Wolf  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
1933e9e9bdSKevin Wolf  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
2033e9e9bdSKevin Wolf  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
2133e9e9bdSKevin Wolf  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
2233e9e9bdSKevin Wolf  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
2333e9e9bdSKevin Wolf  * THE SOFTWARE.
2433e9e9bdSKevin Wolf  */
2533e9e9bdSKevin Wolf 
2633e9e9bdSKevin Wolf #include "qemu/osdep.h"
2733e9e9bdSKevin Wolf #include "qapi/error.h"
2833e9e9bdSKevin Wolf #include "qemu/job.h"
2933e9e9bdSKevin Wolf #include "qemu/id.h"
301908a559SKevin Wolf #include "qemu/main-loop.h"
31de0fbe64SKevin Wolf #include "block/aio-wait.h"
32243af022SPaolo Bonzini #include "trace/trace-root.h"
331dac83f1SKevin Wolf #include "qapi/qapi-events-job.h"
3433e9e9bdSKevin Wolf 
3555c5a25aSEmanuele Giuseppe Esposito /*
36bf61c583SEmanuele Giuseppe Esposito  * The job API is composed of two categories of functions.
37bf61c583SEmanuele Giuseppe Esposito  *
38bf61c583SEmanuele Giuseppe Esposito  * The first includes functions used by the monitor.  The monitor is
39bf61c583SEmanuele Giuseppe Esposito  * peculiar in that it accesses the job list with job_get, and
40bf61c583SEmanuele Giuseppe Esposito  * therefore needs consistency across job_get and the actual operation
41bf61c583SEmanuele Giuseppe Esposito  * (e.g. job_user_cancel). To achieve this consistency, the caller
42bf61c583SEmanuele Giuseppe Esposito  * calls job_lock/job_unlock itself around the whole operation.
43bf61c583SEmanuele Giuseppe Esposito  *
44bf61c583SEmanuele Giuseppe Esposito  *
45bf61c583SEmanuele Giuseppe Esposito  * The second includes functions used by the job drivers and sometimes
46bf61c583SEmanuele Giuseppe Esposito  * by the core block layer. These delegate the locking to the callee instead.
47bf61c583SEmanuele Giuseppe Esposito  */
48bf61c583SEmanuele Giuseppe Esposito 
49bf61c583SEmanuele Giuseppe Esposito /*
5055c5a25aSEmanuele Giuseppe Esposito  * job_mutex protects the jobs list, but also makes the
5155c5a25aSEmanuele Giuseppe Esposito  * struct job fields thread-safe.
5255c5a25aSEmanuele Giuseppe Esposito  */
5355c5a25aSEmanuele Giuseppe Esposito QemuMutex job_mutex;
5455c5a25aSEmanuele Giuseppe Esposito 
55afe1e8a7SEmanuele Giuseppe Esposito /* Protected by job_mutex */
56e7c1d78bSKevin Wolf static QLIST_HEAD(, Job) jobs = QLIST_HEAD_INITIALIZER(jobs);
57e7c1d78bSKevin Wolf 
58a50c2ab8SKevin Wolf /* Job State Transition Table */
59a50c2ab8SKevin Wolf bool JobSTT[JOB_STATUS__MAX][JOB_STATUS__MAX] = {
60a50c2ab8SKevin Wolf                                     /* U, C, R, P, Y, S, W, D, X, E, N */
61a50c2ab8SKevin Wolf     /* U: */ [JOB_STATUS_UNDEFINED] = {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0},
62a50c2ab8SKevin Wolf     /* C: */ [JOB_STATUS_CREATED]   = {0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1},
63a50c2ab8SKevin Wolf     /* R: */ [JOB_STATUS_RUNNING]   = {0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0},
64a50c2ab8SKevin Wolf     /* P: */ [JOB_STATUS_PAUSED]    = {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0},
65a50c2ab8SKevin Wolf     /* Y: */ [JOB_STATUS_READY]     = {0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0},
66a50c2ab8SKevin Wolf     /* S: */ [JOB_STATUS_STANDBY]   = {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0},
67a50c2ab8SKevin Wolf     /* W: */ [JOB_STATUS_WAITING]   = {0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0},
68a50c2ab8SKevin Wolf     /* D: */ [JOB_STATUS_PENDING]   = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
69a50c2ab8SKevin Wolf     /* X: */ [JOB_STATUS_ABORTING]  = {0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0},
70a50c2ab8SKevin Wolf     /* E: */ [JOB_STATUS_CONCLUDED] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1},
71a50c2ab8SKevin Wolf     /* N: */ [JOB_STATUS_NULL]      = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
72a50c2ab8SKevin Wolf };
73a50c2ab8SKevin Wolf 
74a50c2ab8SKevin Wolf bool JobVerbTable[JOB_VERB__MAX][JOB_STATUS__MAX] = {
75a50c2ab8SKevin Wolf                                     /* U, C, R, P, Y, S, W, D, X, E, N */
76a50c2ab8SKevin Wolf     [JOB_VERB_CANCEL]               = {0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0},
77a50c2ab8SKevin Wolf     [JOB_VERB_PAUSE]                = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
78a50c2ab8SKevin Wolf     [JOB_VERB_RESUME]               = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
79a50c2ab8SKevin Wolf     [JOB_VERB_SET_SPEED]            = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
8053ddb9c8SMax Reitz     [JOB_VERB_COMPLETE]             = {0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0},
81a50c2ab8SKevin Wolf     [JOB_VERB_FINALIZE]             = {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0},
82a50c2ab8SKevin Wolf     [JOB_VERB_DISMISS]              = {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0},
8361a3a5a7SFiona Ebner     [JOB_VERB_CHANGE]               = {0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0},
84a50c2ab8SKevin Wolf };
85a50c2ab8SKevin Wolf 
867eaa8fb5SKevin Wolf /* Transactional group of jobs */
877eaa8fb5SKevin Wolf struct JobTxn {
887eaa8fb5SKevin Wolf 
897eaa8fb5SKevin Wolf     /* Is this txn being cancelled? */
907eaa8fb5SKevin Wolf     bool aborting;
917eaa8fb5SKevin Wolf 
927eaa8fb5SKevin Wolf     /* List of jobs */
937eaa8fb5SKevin Wolf     QLIST_HEAD(, Job) jobs;
947eaa8fb5SKevin Wolf 
957eaa8fb5SKevin Wolf     /* Reference count */
967eaa8fb5SKevin Wolf     int refcnt;
977eaa8fb5SKevin Wolf };
987eaa8fb5SKevin Wolf 
job_lock(void)9955c5a25aSEmanuele Giuseppe Esposito void job_lock(void)
10055c5a25aSEmanuele Giuseppe Esposito {
101da01ff7fSKevin Wolf     qemu_mutex_lock(&job_mutex);
102da01ff7fSKevin Wolf }
103da01ff7fSKevin Wolf 
job_unlock(void)1046f592e5aSEmanuele Giuseppe Esposito void job_unlock(void)
105da01ff7fSKevin Wolf {
106da01ff7fSKevin Wolf     qemu_mutex_unlock(&job_mutex);
107da01ff7fSKevin Wolf }
108da01ff7fSKevin Wolf 
job_init(void)109da01ff7fSKevin Wolf static void __attribute__((__constructor__)) job_init(void)
110da01ff7fSKevin Wolf {
111da01ff7fSKevin Wolf     qemu_mutex_init(&job_mutex);
112da01ff7fSKevin Wolf }
113da01ff7fSKevin Wolf 
job_txn_new(void)1147eaa8fb5SKevin Wolf JobTxn *job_txn_new(void)
1157eaa8fb5SKevin Wolf {
1167eaa8fb5SKevin Wolf     JobTxn *txn = g_new0(JobTxn, 1);
1177eaa8fb5SKevin Wolf     QLIST_INIT(&txn->jobs);
1187eaa8fb5SKevin Wolf     txn->refcnt = 1;
1197eaa8fb5SKevin Wolf     return txn;
1207eaa8fb5SKevin Wolf }
1217eaa8fb5SKevin Wolf 
122afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_txn_ref_locked(JobTxn * txn)123afe1e8a7SEmanuele Giuseppe Esposito static void job_txn_ref_locked(JobTxn *txn)
1247eaa8fb5SKevin Wolf {
1257eaa8fb5SKevin Wolf     txn->refcnt++;
1267eaa8fb5SKevin Wolf }
1277eaa8fb5SKevin Wolf 
job_txn_unref_locked(JobTxn * txn)128afe1e8a7SEmanuele Giuseppe Esposito void job_txn_unref_locked(JobTxn *txn)
1297eaa8fb5SKevin Wolf {
1307eaa8fb5SKevin Wolf     if (txn && --txn->refcnt == 0) {
1317eaa8fb5SKevin Wolf         g_free(txn);
1327eaa8fb5SKevin Wolf     }
1337eaa8fb5SKevin Wolf }
1347eaa8fb5SKevin Wolf 
job_txn_unref(JobTxn * txn)135afe1e8a7SEmanuele Giuseppe Esposito void job_txn_unref(JobTxn *txn)
136afe1e8a7SEmanuele Giuseppe Esposito {
137afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
138afe1e8a7SEmanuele Giuseppe Esposito     job_txn_unref_locked(txn);
139afe1e8a7SEmanuele Giuseppe Esposito }
140afe1e8a7SEmanuele Giuseppe Esposito 
141544f4d52SEmanuele Giuseppe Esposito /**
142544f4d52SEmanuele Giuseppe Esposito  * @txn: The transaction (may be NULL)
143544f4d52SEmanuele Giuseppe Esposito  * @job: Job to add to the transaction
144544f4d52SEmanuele Giuseppe Esposito  *
145544f4d52SEmanuele Giuseppe Esposito  * Add @job to the transaction.  The @job must not already be in a transaction.
146544f4d52SEmanuele Giuseppe Esposito  * The caller must call either job_txn_unref() or job_completed() to release
147544f4d52SEmanuele Giuseppe Esposito  * the reference that is automatically grabbed here.
148544f4d52SEmanuele Giuseppe Esposito  *
149544f4d52SEmanuele Giuseppe Esposito  * If @txn is NULL, the function does nothing.
150afe1e8a7SEmanuele Giuseppe Esposito  *
151afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
152544f4d52SEmanuele Giuseppe Esposito  */
job_txn_add_job_locked(JobTxn * txn,Job * job)153afe1e8a7SEmanuele Giuseppe Esposito static void job_txn_add_job_locked(JobTxn *txn, Job *job)
1547eaa8fb5SKevin Wolf {
1557eaa8fb5SKevin Wolf     if (!txn) {
1567eaa8fb5SKevin Wolf         return;
1577eaa8fb5SKevin Wolf     }
1587eaa8fb5SKevin Wolf 
1597eaa8fb5SKevin Wolf     assert(!job->txn);
1607eaa8fb5SKevin Wolf     job->txn = txn;
1617eaa8fb5SKevin Wolf 
1627eaa8fb5SKevin Wolf     QLIST_INSERT_HEAD(&txn->jobs, job, txn_list);
163afe1e8a7SEmanuele Giuseppe Esposito     job_txn_ref_locked(txn);
1647eaa8fb5SKevin Wolf }
1657eaa8fb5SKevin Wolf 
166afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_txn_del_job_locked(Job * job)167afe1e8a7SEmanuele Giuseppe Esposito static void job_txn_del_job_locked(Job *job)
1687eaa8fb5SKevin Wolf {
1697eaa8fb5SKevin Wolf     if (job->txn) {
1707eaa8fb5SKevin Wolf         QLIST_REMOVE(job, txn_list);
171afe1e8a7SEmanuele Giuseppe Esposito         job_txn_unref_locked(job->txn);
1727eaa8fb5SKevin Wolf         job->txn = NULL;
1737eaa8fb5SKevin Wolf     }
1747eaa8fb5SKevin Wolf }
1757eaa8fb5SKevin Wolf 
176afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily. */
job_txn_apply_locked(Job * job,int fn (Job *))177afe1e8a7SEmanuele Giuseppe Esposito static int job_txn_apply_locked(Job *job, int fn(Job *))
1787eaa8fb5SKevin Wolf {
179b660a84bSStefan Reiter     Job *other_job, *next;
180b660a84bSStefan Reiter     JobTxn *txn = job->txn;
1817eaa8fb5SKevin Wolf     int rc = 0;
1827eaa8fb5SKevin Wolf 
183b660a84bSStefan Reiter     /*
184b660a84bSStefan Reiter      * Similar to job_completed_txn_abort, we take each job's lock before
185b660a84bSStefan Reiter      * applying fn, but since we assume that outer_ctx is held by the caller,
186b660a84bSStefan Reiter      * we need to release it here to avoid holding the lock twice - which would
187b660a84bSStefan Reiter      * break AIO_WAIT_WHILE from within fn.
188b660a84bSStefan Reiter      */
189afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
190b660a84bSStefan Reiter 
191b660a84bSStefan Reiter     QLIST_FOREACH_SAFE(other_job, &txn->jobs, txn_list, next) {
192b660a84bSStefan Reiter         rc = fn(other_job);
1937eaa8fb5SKevin Wolf         if (rc) {
1947eaa8fb5SKevin Wolf             break;
1957eaa8fb5SKevin Wolf         }
1967eaa8fb5SKevin Wolf     }
197b660a84bSStefan Reiter 
198afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
1997eaa8fb5SKevin Wolf     return rc;
2007eaa8fb5SKevin Wolf }
2017eaa8fb5SKevin Wolf 
job_is_internal(Job * job)202456273b0SKevin Wolf bool job_is_internal(Job *job)
2031dac83f1SKevin Wolf {
2041dac83f1SKevin Wolf     return (job->id == NULL);
2051dac83f1SKevin Wolf }
2061dac83f1SKevin Wolf 
207afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_state_transition_locked(Job * job,JobStatus s1)208afe1e8a7SEmanuele Giuseppe Esposito static void job_state_transition_locked(Job *job, JobStatus s1)
209a50c2ab8SKevin Wolf {
210a50c2ab8SKevin Wolf     JobStatus s0 = job->status;
211c2032289SLiam Merwick     assert(s1 >= 0 && s1 < JOB_STATUS__MAX);
2124ad35181SKevin Wolf     trace_job_state_transition(job, job->ret,
213a50c2ab8SKevin Wolf                                JobSTT[s0][s1] ? "allowed" : "disallowed",
214a50c2ab8SKevin Wolf                                JobStatus_str(s0), JobStatus_str(s1));
215a50c2ab8SKevin Wolf     assert(JobSTT[s0][s1]);
216a50c2ab8SKevin Wolf     job->status = s1;
2171dac83f1SKevin Wolf 
2181dac83f1SKevin Wolf     if (!job_is_internal(job) && s1 != s0) {
2193ab72385SPeter Xu         qapi_event_send_job_status_change(job->id, job->status);
2201dac83f1SKevin Wolf     }
221a50c2ab8SKevin Wolf }
222a50c2ab8SKevin Wolf 
job_apply_verb_locked(Job * job,JobVerb verb,Error ** errp)223afe1e8a7SEmanuele Giuseppe Esposito int job_apply_verb_locked(Job *job, JobVerb verb, Error **errp)
224a50c2ab8SKevin Wolf {
225a50c2ab8SKevin Wolf     JobStatus s0 = job->status;
226c2032289SLiam Merwick     assert(verb >= 0 && verb < JOB_VERB__MAX);
227a50c2ab8SKevin Wolf     trace_job_apply_verb(job, JobStatus_str(s0), JobVerb_str(verb),
228a50c2ab8SKevin Wolf                          JobVerbTable[verb][s0] ? "allowed" : "prohibited");
229a50c2ab8SKevin Wolf     if (JobVerbTable[verb][s0]) {
230a50c2ab8SKevin Wolf         return 0;
231a50c2ab8SKevin Wolf     }
232a50c2ab8SKevin Wolf     error_setg(errp, "Job '%s' in state '%s' cannot accept command verb '%s'",
233a50c2ab8SKevin Wolf                job->id, JobStatus_str(s0), JobVerb_str(verb));
234a50c2ab8SKevin Wolf     return -EPERM;
235a50c2ab8SKevin Wolf }
236a50c2ab8SKevin Wolf 
job_type(const Job * job)237252291eaSKevin Wolf JobType job_type(const Job *job)
238252291eaSKevin Wolf {
239252291eaSKevin Wolf     return job->driver->job_type;
240252291eaSKevin Wolf }
241252291eaSKevin Wolf 
job_type_str(const Job * job)242252291eaSKevin Wolf const char *job_type_str(const Job *job)
243252291eaSKevin Wolf {
244252291eaSKevin Wolf     return JobType_str(job_type(job));
245252291eaSKevin Wolf }
246252291eaSKevin Wolf 
job_is_cancelled_locked(Job * job)247afe1e8a7SEmanuele Giuseppe Esposito bool job_is_cancelled_locked(Job *job)
248daa7f2f9SKevin Wolf {
249a640fa0eSHanna Reitz     /* force_cancel may be true only if cancelled is true, too */
250a640fa0eSHanna Reitz     assert(job->cancelled || !job->force_cancel);
251a640fa0eSHanna Reitz     return job->force_cancel;
25208b83bffSHanna Reitz }
25308b83bffSHanna Reitz 
job_is_cancelled(Job * job)254afe1e8a7SEmanuele Giuseppe Esposito bool job_is_cancelled(Job *job)
255afe1e8a7SEmanuele Giuseppe Esposito {
256afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
257afe1e8a7SEmanuele Giuseppe Esposito     return job_is_cancelled_locked(job);
258afe1e8a7SEmanuele Giuseppe Esposito }
259afe1e8a7SEmanuele Giuseppe Esposito 
260afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_cancel_requested_locked(Job * job)261afe1e8a7SEmanuele Giuseppe Esposito static bool job_cancel_requested_locked(Job *job)
26208b83bffSHanna Reitz {
263daa7f2f9SKevin Wolf     return job->cancelled;
264daa7f2f9SKevin Wolf }
265daa7f2f9SKevin Wolf 
job_cancel_requested(Job * job)266afe1e8a7SEmanuele Giuseppe Esposito bool job_cancel_requested(Job *job)
267afe1e8a7SEmanuele Giuseppe Esposito {
268afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
269afe1e8a7SEmanuele Giuseppe Esposito     return job_cancel_requested_locked(job);
270afe1e8a7SEmanuele Giuseppe Esposito }
271afe1e8a7SEmanuele Giuseppe Esposito 
job_is_ready_locked(Job * job)272afe1e8a7SEmanuele Giuseppe Esposito bool job_is_ready_locked(Job *job)
273df956ae2SKevin Wolf {
274df956ae2SKevin Wolf     switch (job->status) {
275df956ae2SKevin Wolf     case JOB_STATUS_UNDEFINED:
276df956ae2SKevin Wolf     case JOB_STATUS_CREATED:
277df956ae2SKevin Wolf     case JOB_STATUS_RUNNING:
278df956ae2SKevin Wolf     case JOB_STATUS_PAUSED:
279df956ae2SKevin Wolf     case JOB_STATUS_WAITING:
280df956ae2SKevin Wolf     case JOB_STATUS_PENDING:
281df956ae2SKevin Wolf     case JOB_STATUS_ABORTING:
282df956ae2SKevin Wolf     case JOB_STATUS_CONCLUDED:
283df956ae2SKevin Wolf     case JOB_STATUS_NULL:
284df956ae2SKevin Wolf         return false;
285df956ae2SKevin Wolf     case JOB_STATUS_READY:
286df956ae2SKevin Wolf     case JOB_STATUS_STANDBY:
287df956ae2SKevin Wolf         return true;
288df956ae2SKevin Wolf     default:
289df956ae2SKevin Wolf         g_assert_not_reached();
290df956ae2SKevin Wolf     }
291df956ae2SKevin Wolf     return false;
292df956ae2SKevin Wolf }
293df956ae2SKevin Wolf 
job_is_ready(Job * job)294afe1e8a7SEmanuele Giuseppe Esposito bool job_is_ready(Job *job)
295afe1e8a7SEmanuele Giuseppe Esposito {
296afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
297afe1e8a7SEmanuele Giuseppe Esposito     return job_is_ready_locked(job);
298afe1e8a7SEmanuele Giuseppe Esposito }
299afe1e8a7SEmanuele Giuseppe Esposito 
job_is_completed_locked(Job * job)300afe1e8a7SEmanuele Giuseppe Esposito bool job_is_completed_locked(Job *job)
301afe1e8a7SEmanuele Giuseppe Esposito {
302afe1e8a7SEmanuele Giuseppe Esposito     switch (job->status) {
303afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_UNDEFINED:
304afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_CREATED:
305afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_RUNNING:
306afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_PAUSED:
307afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_READY:
308afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_STANDBY:
309afe1e8a7SEmanuele Giuseppe Esposito         return false;
310afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_WAITING:
311afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_PENDING:
312afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_ABORTING:
313afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_CONCLUDED:
314afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_NULL:
315afe1e8a7SEmanuele Giuseppe Esposito         return true;
316afe1e8a7SEmanuele Giuseppe Esposito     default:
317afe1e8a7SEmanuele Giuseppe Esposito         g_assert_not_reached();
318afe1e8a7SEmanuele Giuseppe Esposito     }
319afe1e8a7SEmanuele Giuseppe Esposito     return false;
320afe1e8a7SEmanuele Giuseppe Esposito }
321afe1e8a7SEmanuele Giuseppe Esposito 
job_is_completed(Job * job)3229bd4d3c2SEmanuele Giuseppe Esposito static bool job_is_completed(Job *job)
323dbe5e6c1SKevin Wolf {
324afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
325afe1e8a7SEmanuele Giuseppe Esposito     return job_is_completed_locked(job);
326dbe5e6c1SKevin Wolf }
327dbe5e6c1SKevin Wolf 
job_started_locked(Job * job)328afe1e8a7SEmanuele Giuseppe Esposito static bool job_started_locked(Job *job)
329da01ff7fSKevin Wolf {
330da01ff7fSKevin Wolf     return job->co;
331da01ff7fSKevin Wolf }
332da01ff7fSKevin Wolf 
333afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_should_pause_locked(Job * job)334afe1e8a7SEmanuele Giuseppe Esposito static bool job_should_pause_locked(Job *job)
335da01ff7fSKevin Wolf {
336da01ff7fSKevin Wolf     return job->pause_count > 0;
337da01ff7fSKevin Wolf }
338da01ff7fSKevin Wolf 
job_next_locked(Job * job)339afe1e8a7SEmanuele Giuseppe Esposito Job *job_next_locked(Job *job)
340e7c1d78bSKevin Wolf {
341e7c1d78bSKevin Wolf     if (!job) {
342e7c1d78bSKevin Wolf         return QLIST_FIRST(&jobs);
343e7c1d78bSKevin Wolf     }
344e7c1d78bSKevin Wolf     return QLIST_NEXT(job, job_list);
345e7c1d78bSKevin Wolf }
346e7c1d78bSKevin Wolf 
job_next(Job * job)347afe1e8a7SEmanuele Giuseppe Esposito Job *job_next(Job *job)
348afe1e8a7SEmanuele Giuseppe Esposito {
349afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
350afe1e8a7SEmanuele Giuseppe Esposito     return job_next_locked(job);
351afe1e8a7SEmanuele Giuseppe Esposito }
352afe1e8a7SEmanuele Giuseppe Esposito 
job_get_locked(const char * id)353afe1e8a7SEmanuele Giuseppe Esposito Job *job_get_locked(const char *id)
354e7c1d78bSKevin Wolf {
355e7c1d78bSKevin Wolf     Job *job;
356e7c1d78bSKevin Wolf 
357e7c1d78bSKevin Wolf     QLIST_FOREACH(job, &jobs, job_list) {
358e7c1d78bSKevin Wolf         if (job->id && !strcmp(id, job->id)) {
359e7c1d78bSKevin Wolf             return job;
360e7c1d78bSKevin Wolf         }
361e7c1d78bSKevin Wolf     }
362e7c1d78bSKevin Wolf 
363e7c1d78bSKevin Wolf     return NULL;
364e7c1d78bSKevin Wolf }
365e7c1d78bSKevin Wolf 
job_set_aio_context(Job * job,AioContext * ctx)3663ed4f708SEmanuele Giuseppe Esposito void job_set_aio_context(Job *job, AioContext *ctx)
3673ed4f708SEmanuele Giuseppe Esposito {
3683ed4f708SEmanuele Giuseppe Esposito     /* protect against read in job_finish_sync_locked and job_start */
3693ed4f708SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
3703ed4f708SEmanuele Giuseppe Esposito     /* protect against read in job_do_yield_locked */
3713ed4f708SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
3723ed4f708SEmanuele Giuseppe Esposito     /* ensure the job is quiescent while the AioContext is changed */
3733ed4f708SEmanuele Giuseppe Esposito     assert(job->paused || job_is_completed_locked(job));
3743ed4f708SEmanuele Giuseppe Esposito     job->aio_context = ctx;
3753ed4f708SEmanuele Giuseppe Esposito }
3763ed4f708SEmanuele Giuseppe Esposito 
377afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex *not* held. */
job_sleep_timer_cb(void * opaque)3785d43e86eSKevin Wolf static void job_sleep_timer_cb(void *opaque)
3795d43e86eSKevin Wolf {
3805d43e86eSKevin Wolf     Job *job = opaque;
3815d43e86eSKevin Wolf 
3825d43e86eSKevin Wolf     job_enter(job);
3835d43e86eSKevin Wolf }
3845d43e86eSKevin Wolf 
job_create(const char * job_id,const JobDriver * driver,JobTxn * txn,AioContext * ctx,int flags,BlockCompletionFunc * cb,void * opaque,Error ** errp)3857eaa8fb5SKevin Wolf void *job_create(const char *job_id, const JobDriver *driver, JobTxn *txn,
3867eaa8fb5SKevin Wolf                  AioContext *ctx, int flags, BlockCompletionFunc *cb,
3877eaa8fb5SKevin Wolf                  void *opaque, Error **errp)
38833e9e9bdSKevin Wolf {
38933e9e9bdSKevin Wolf     Job *job;
39033e9e9bdSKevin Wolf 
391afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
392afe1e8a7SEmanuele Giuseppe Esposito 
39333e9e9bdSKevin Wolf     if (job_id) {
394bb02b65cSKevin Wolf         if (flags & JOB_INTERNAL) {
395bb02b65cSKevin Wolf             error_setg(errp, "Cannot specify job ID for internal job");
396bb02b65cSKevin Wolf             return NULL;
397bb02b65cSKevin Wolf         }
39833e9e9bdSKevin Wolf         if (!id_wellformed(job_id)) {
39933e9e9bdSKevin Wolf             error_setg(errp, "Invalid job ID '%s'", job_id);
40033e9e9bdSKevin Wolf             return NULL;
40133e9e9bdSKevin Wolf         }
402afe1e8a7SEmanuele Giuseppe Esposito         if (job_get_locked(job_id)) {
403e7c1d78bSKevin Wolf             error_setg(errp, "Job ID '%s' already in use", job_id);
404e7c1d78bSKevin Wolf             return NULL;
405e7c1d78bSKevin Wolf         }
406bb02b65cSKevin Wolf     } else if (!(flags & JOB_INTERNAL)) {
407bb02b65cSKevin Wolf         error_setg(errp, "An explicit job ID is required");
408bb02b65cSKevin Wolf         return NULL;
40933e9e9bdSKevin Wolf     }
41033e9e9bdSKevin Wolf 
41133e9e9bdSKevin Wolf     job = g_malloc0(driver->instance_size);
41233e9e9bdSKevin Wolf     job->driver        = driver;
41333e9e9bdSKevin Wolf     job->id            = g_strdup(job_id);
41480fa2c75SKevin Wolf     job->refcnt        = 1;
41508be6fe2SKevin Wolf     job->aio_context   = ctx;
416da01ff7fSKevin Wolf     job->busy          = false;
417da01ff7fSKevin Wolf     job->paused        = true;
418da01ff7fSKevin Wolf     job->pause_count   = 1;
419bb02b65cSKevin Wolf     job->auto_finalize = !(flags & JOB_MANUAL_FINALIZE);
420bb02b65cSKevin Wolf     job->auto_dismiss  = !(flags & JOB_MANUAL_DISMISS);
4214ad35181SKevin Wolf     job->cb            = cb;
4224ad35181SKevin Wolf     job->opaque        = opaque;
42333e9e9bdSKevin Wolf 
424a7b4f8fcSEmanuele Giuseppe Esposito     progress_init(&job->progress);
425a7b4f8fcSEmanuele Giuseppe Esposito 
426139a9f02SKevin Wolf     notifier_list_init(&job->on_finalize_cancelled);
427139a9f02SKevin Wolf     notifier_list_init(&job->on_finalize_completed);
428139a9f02SKevin Wolf     notifier_list_init(&job->on_pending);
4292e1795b5SKevin Wolf     notifier_list_init(&job->on_ready);
430252f4091SEmanuele Giuseppe Esposito     notifier_list_init(&job->on_idle);
431139a9f02SKevin Wolf 
432afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_CREATED);
4335d43e86eSKevin Wolf     aio_timer_init(qemu_get_aio_context(), &job->sleep_timer,
4345d43e86eSKevin Wolf                    QEMU_CLOCK_REALTIME, SCALE_NS,
4355d43e86eSKevin Wolf                    job_sleep_timer_cb, job);
436a50c2ab8SKevin Wolf 
437e7c1d78bSKevin Wolf     QLIST_INSERT_HEAD(&jobs, job, job_list);
438e7c1d78bSKevin Wolf 
4397eaa8fb5SKevin Wolf     /* Single jobs are modeled as single-job transactions for sake of
4407eaa8fb5SKevin Wolf      * consolidating the job management logic */
4417eaa8fb5SKevin Wolf     if (!txn) {
4427eaa8fb5SKevin Wolf         txn = job_txn_new();
443afe1e8a7SEmanuele Giuseppe Esposito         job_txn_add_job_locked(txn, job);
444afe1e8a7SEmanuele Giuseppe Esposito         job_txn_unref_locked(txn);
4457eaa8fb5SKevin Wolf     } else {
446afe1e8a7SEmanuele Giuseppe Esposito         job_txn_add_job_locked(txn, job);
4477eaa8fb5SKevin Wolf     }
4487eaa8fb5SKevin Wolf 
44933e9e9bdSKevin Wolf     return job;
45033e9e9bdSKevin Wolf }
451fd61a701SKevin Wolf 
job_ref_locked(Job * job)452afe1e8a7SEmanuele Giuseppe Esposito void job_ref_locked(Job *job)
453fd61a701SKevin Wolf {
45480fa2c75SKevin Wolf     ++job->refcnt;
45580fa2c75SKevin Wolf }
45680fa2c75SKevin Wolf 
job_unref_locked(Job * job)457afe1e8a7SEmanuele Giuseppe Esposito void job_unref_locked(Job *job)
45880fa2c75SKevin Wolf {
459c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
460c70b8031SEmanuele Giuseppe Esposito 
46180fa2c75SKevin Wolf     if (--job->refcnt == 0) {
46280fa2c75SKevin Wolf         assert(job->status == JOB_STATUS_NULL);
4635d43e86eSKevin Wolf         assert(!timer_pending(&job->sleep_timer));
4647eaa8fb5SKevin Wolf         assert(!job->txn);
46580fa2c75SKevin Wolf 
46680fa2c75SKevin Wolf         if (job->driver->free) {
467afe1e8a7SEmanuele Giuseppe Esposito             job_unlock();
46880fa2c75SKevin Wolf             job->driver->free(job);
469afe1e8a7SEmanuele Giuseppe Esposito             job_lock();
47080fa2c75SKevin Wolf         }
47180fa2c75SKevin Wolf 
472e7c1d78bSKevin Wolf         QLIST_REMOVE(job, job_list);
473e7c1d78bSKevin Wolf 
474a7b4f8fcSEmanuele Giuseppe Esposito         progress_destroy(&job->progress);
4753d1f8b07SJohn Snow         error_free(job->err);
476fd61a701SKevin Wolf         g_free(job->id);
477fd61a701SKevin Wolf         g_free(job);
478fd61a701SKevin Wolf     }
47980fa2c75SKevin Wolf }
4801908a559SKevin Wolf 
job_progress_update(Job * job,uint64_t done)48130a5c887SKevin Wolf void job_progress_update(Job *job, uint64_t done)
48230a5c887SKevin Wolf {
48301fe1ca9SVladimir Sementsov-Ogievskiy     progress_work_done(&job->progress, done);
48430a5c887SKevin Wolf }
48530a5c887SKevin Wolf 
job_progress_set_remaining(Job * job,uint64_t remaining)48630a5c887SKevin Wolf void job_progress_set_remaining(Job *job, uint64_t remaining)
48730a5c887SKevin Wolf {
48801fe1ca9SVladimir Sementsov-Ogievskiy     progress_set_remaining(&job->progress, remaining);
48930a5c887SKevin Wolf }
49030a5c887SKevin Wolf 
job_progress_increase_remaining(Job * job,uint64_t delta)49162f13600SMax Reitz void job_progress_increase_remaining(Job *job, uint64_t delta)
49262f13600SMax Reitz {
49301fe1ca9SVladimir Sementsov-Ogievskiy     progress_increase_remaining(&job->progress, delta);
49462f13600SMax Reitz }
49562f13600SMax Reitz 
496544f4d52SEmanuele Giuseppe Esposito /**
497544f4d52SEmanuele Giuseppe Esposito  * To be called when a cancelled job is finalised.
498afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
499544f4d52SEmanuele Giuseppe Esposito  */
job_event_cancelled_locked(Job * job)500afe1e8a7SEmanuele Giuseppe Esposito static void job_event_cancelled_locked(Job *job)
501139a9f02SKevin Wolf {
502139a9f02SKevin Wolf     notifier_list_notify(&job->on_finalize_cancelled, job);
503139a9f02SKevin Wolf }
504139a9f02SKevin Wolf 
505544f4d52SEmanuele Giuseppe Esposito /**
506544f4d52SEmanuele Giuseppe Esposito  * To be called when a successfully completed job is finalised.
507afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
508544f4d52SEmanuele Giuseppe Esposito  */
job_event_completed_locked(Job * job)509afe1e8a7SEmanuele Giuseppe Esposito static void job_event_completed_locked(Job *job)
510139a9f02SKevin Wolf {
511139a9f02SKevin Wolf     notifier_list_notify(&job->on_finalize_completed, job);
512139a9f02SKevin Wolf }
513139a9f02SKevin Wolf 
514afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_pending_locked(Job * job)515afe1e8a7SEmanuele Giuseppe Esposito static void job_event_pending_locked(Job *job)
516139a9f02SKevin Wolf {
517139a9f02SKevin Wolf     notifier_list_notify(&job->on_pending, job);
518139a9f02SKevin Wolf }
519139a9f02SKevin Wolf 
520afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_ready_locked(Job * job)521afe1e8a7SEmanuele Giuseppe Esposito static void job_event_ready_locked(Job *job)
5222e1795b5SKevin Wolf {
5232e1795b5SKevin Wolf     notifier_list_notify(&job->on_ready, job);
5242e1795b5SKevin Wolf }
5252e1795b5SKevin Wolf 
526afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_idle_locked(Job * job)527afe1e8a7SEmanuele Giuseppe Esposito static void job_event_idle_locked(Job *job)
52834dc97b9SKevin Wolf {
52934dc97b9SKevin Wolf     notifier_list_notify(&job->on_idle, job);
53034dc97b9SKevin Wolf }
53134dc97b9SKevin Wolf 
job_enter_cond_locked(Job * job,bool (* fn)(Job * job))532afe1e8a7SEmanuele Giuseppe Esposito void job_enter_cond_locked(Job *job, bool(*fn)(Job *job))
533da01ff7fSKevin Wolf {
534afe1e8a7SEmanuele Giuseppe Esposito     if (!job_started_locked(job)) {
535da01ff7fSKevin Wolf         return;
536da01ff7fSKevin Wolf     }
537da01ff7fSKevin Wolf     if (job->deferred_to_main_loop) {
538da01ff7fSKevin Wolf         return;
539da01ff7fSKevin Wolf     }
540da01ff7fSKevin Wolf 
541da01ff7fSKevin Wolf     if (job->busy) {
542da01ff7fSKevin Wolf         return;
543da01ff7fSKevin Wolf     }
544da01ff7fSKevin Wolf 
545da01ff7fSKevin Wolf     if (fn && !fn(job)) {
546da01ff7fSKevin Wolf         return;
547da01ff7fSKevin Wolf     }
548da01ff7fSKevin Wolf 
549da01ff7fSKevin Wolf     assert(!job->deferred_to_main_loop);
550da01ff7fSKevin Wolf     timer_del(&job->sleep_timer);
551da01ff7fSKevin Wolf     job->busy = true;
552afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
553ef02dac2SPaolo Bonzini     aio_co_wake(job->co);
554afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
555afe1e8a7SEmanuele Giuseppe Esposito }
556afe1e8a7SEmanuele Giuseppe Esposito 
job_enter(Job * job)5575d43e86eSKevin Wolf void job_enter(Job *job)
5585d43e86eSKevin Wolf {
559afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
560afe1e8a7SEmanuele Giuseppe Esposito     job_enter_cond_locked(job, NULL);
5615d43e86eSKevin Wolf }
5625d43e86eSKevin Wolf 
563da01ff7fSKevin Wolf /* Yield, and schedule a timer to reenter the coroutine after @ns nanoseconds.
5643d70ff53SKevin Wolf  * Reentering the job coroutine with job_enter() before the timer has expired
5653d70ff53SKevin Wolf  * is allowed and cancels the timer.
566da01ff7fSKevin Wolf  *
5673d70ff53SKevin Wolf  * If @ns is (uint64_t) -1, no timer is scheduled and job_enter() must be
568afe1e8a7SEmanuele Giuseppe Esposito  * called explicitly.
569afe1e8a7SEmanuele Giuseppe Esposito  *
570afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
571afe1e8a7SEmanuele Giuseppe Esposito  */
job_do_yield_locked(Job * job,uint64_t ns)572afe1e8a7SEmanuele Giuseppe Esposito static void coroutine_fn job_do_yield_locked(Job *job, uint64_t ns)
573da01ff7fSKevin Wolf {
574ef02dac2SPaolo Bonzini     AioContext *next_aio_context;
575ef02dac2SPaolo Bonzini 
576da01ff7fSKevin Wolf     if (ns != -1) {
577da01ff7fSKevin Wolf         timer_mod(&job->sleep_timer, ns);
578da01ff7fSKevin Wolf     }
579da01ff7fSKevin Wolf     job->busy = false;
580afe1e8a7SEmanuele Giuseppe Esposito     job_event_idle_locked(job);
581afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
582da01ff7fSKevin Wolf     qemu_coroutine_yield();
583afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
584da01ff7fSKevin Wolf 
585ef02dac2SPaolo Bonzini     next_aio_context = job->aio_context;
586ef02dac2SPaolo Bonzini     /*
587ef02dac2SPaolo Bonzini      * Coroutine has resumed, but in the meanwhile the job AioContext
588142e6907SEmanuele Giuseppe Esposito      * might have changed via bdrv_try_change_aio_context(), so we need to move
589ef02dac2SPaolo Bonzini      * the coroutine too in the new aiocontext.
590ef02dac2SPaolo Bonzini      */
591ef02dac2SPaolo Bonzini     while (qemu_get_current_aio_context() != next_aio_context) {
592ef02dac2SPaolo Bonzini         job_unlock();
593ef02dac2SPaolo Bonzini         aio_co_reschedule_self(next_aio_context);
594ef02dac2SPaolo Bonzini         job_lock();
595ef02dac2SPaolo Bonzini         next_aio_context = job->aio_context;
596ef02dac2SPaolo Bonzini     }
597ef02dac2SPaolo Bonzini 
598ef02dac2SPaolo Bonzini     /* Set by job_enter_cond_locked() before re-entering the coroutine.  */
599da01ff7fSKevin Wolf     assert(job->busy);
600da01ff7fSKevin Wolf }
601da01ff7fSKevin Wolf 
602afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily. */
job_pause_point_locked(Job * job)603afe1e8a7SEmanuele Giuseppe Esposito static void coroutine_fn job_pause_point_locked(Job *job)
604da01ff7fSKevin Wolf {
605afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job_started_locked(job));
606da01ff7fSKevin Wolf 
607afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
608da01ff7fSKevin Wolf         return;
609da01ff7fSKevin Wolf     }
610afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
611da01ff7fSKevin Wolf         return;
612da01ff7fSKevin Wolf     }
613da01ff7fSKevin Wolf 
614da01ff7fSKevin Wolf     if (job->driver->pause) {
615afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
616da01ff7fSKevin Wolf         job->driver->pause(job);
617afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
618da01ff7fSKevin Wolf     }
619da01ff7fSKevin Wolf 
620afe1e8a7SEmanuele Giuseppe Esposito     if (job_should_pause_locked(job) && !job_is_cancelled_locked(job)) {
621da01ff7fSKevin Wolf         JobStatus status = job->status;
622afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, status == JOB_STATUS_READY
623da01ff7fSKevin Wolf                                     ? JOB_STATUS_STANDBY
624da01ff7fSKevin Wolf                                     : JOB_STATUS_PAUSED);
625da01ff7fSKevin Wolf         job->paused = true;
626afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, -1);
627da01ff7fSKevin Wolf         job->paused = false;
628afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, status);
629da01ff7fSKevin Wolf     }
630da01ff7fSKevin Wolf 
631da01ff7fSKevin Wolf     if (job->driver->resume) {
632afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
633da01ff7fSKevin Wolf         job->driver->resume(job);
634afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
635da01ff7fSKevin Wolf     }
636da01ff7fSKevin Wolf }
637da01ff7fSKevin Wolf 
job_pause_point(Job * job)638afe1e8a7SEmanuele Giuseppe Esposito void coroutine_fn job_pause_point(Job *job)
639afe1e8a7SEmanuele Giuseppe Esposito {
640afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
641afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
642afe1e8a7SEmanuele Giuseppe Esposito }
643afe1e8a7SEmanuele Giuseppe Esposito 
job_yield(Job * job)6449bd4d3c2SEmanuele Giuseppe Esposito void coroutine_fn job_yield(Job *job)
645afe1e8a7SEmanuele Giuseppe Esposito {
6469bd4d3c2SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
647afe1e8a7SEmanuele Giuseppe Esposito     assert(job->busy);
648afe1e8a7SEmanuele Giuseppe Esposito 
649afe1e8a7SEmanuele Giuseppe Esposito     /* Check cancellation *before* setting busy = false, too!  */
650afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
651afe1e8a7SEmanuele Giuseppe Esposito         return;
652afe1e8a7SEmanuele Giuseppe Esposito     }
653afe1e8a7SEmanuele Giuseppe Esposito 
654afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
655afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, -1);
656afe1e8a7SEmanuele Giuseppe Esposito     }
657afe1e8a7SEmanuele Giuseppe Esposito 
658afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
659afe1e8a7SEmanuele Giuseppe Esposito }
660afe1e8a7SEmanuele Giuseppe Esposito 
job_sleep_ns(Job * job,int64_t ns)6615d43e86eSKevin Wolf void coroutine_fn job_sleep_ns(Job *job, int64_t ns)
6625d43e86eSKevin Wolf {
663afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
6645d43e86eSKevin Wolf     assert(job->busy);
6655d43e86eSKevin Wolf 
6665d43e86eSKevin Wolf     /* Check cancellation *before* setting busy = false, too!  */
667afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
6685d43e86eSKevin Wolf         return;
6695d43e86eSKevin Wolf     }
6705d43e86eSKevin Wolf 
671afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
672afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, qemu_clock_get_ns(QEMU_CLOCK_REALTIME) + ns);
6735d43e86eSKevin Wolf     }
6745d43e86eSKevin Wolf 
675afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
6765d43e86eSKevin Wolf }
6775d43e86eSKevin Wolf 
678afe1e8a7SEmanuele Giuseppe Esposito /* Assumes the job_mutex is held */
job_timer_not_pending_locked(Job * job)679afe1e8a7SEmanuele Giuseppe Esposito static bool job_timer_not_pending_locked(Job *job)
680b15de828SKevin Wolf {
681b15de828SKevin Wolf     return !timer_pending(&job->sleep_timer);
682b15de828SKevin Wolf }
683b15de828SKevin Wolf 
job_pause_locked(Job * job)684afe1e8a7SEmanuele Giuseppe Esposito void job_pause_locked(Job *job)
685b15de828SKevin Wolf {
686b15de828SKevin Wolf     job->pause_count++;
6873ee1483bSVladimir Sementsov-Ogievskiy     if (!job->paused) {
688afe1e8a7SEmanuele Giuseppe Esposito         job_enter_cond_locked(job, NULL);
6893ee1483bSVladimir Sementsov-Ogievskiy     }
690b15de828SKevin Wolf }
691b15de828SKevin Wolf 
job_pause(Job * job)692afe1e8a7SEmanuele Giuseppe Esposito void job_pause(Job *job)
693afe1e8a7SEmanuele Giuseppe Esposito {
694afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
695afe1e8a7SEmanuele Giuseppe Esposito     job_pause_locked(job);
696afe1e8a7SEmanuele Giuseppe Esposito }
697afe1e8a7SEmanuele Giuseppe Esposito 
job_resume_locked(Job * job)698afe1e8a7SEmanuele Giuseppe Esposito void job_resume_locked(Job *job)
699b15de828SKevin Wolf {
700b15de828SKevin Wolf     assert(job->pause_count > 0);
701b15de828SKevin Wolf     job->pause_count--;
702b15de828SKevin Wolf     if (job->pause_count) {
703b15de828SKevin Wolf         return;
704b15de828SKevin Wolf     }
705b15de828SKevin Wolf 
706b15de828SKevin Wolf     /* kick only if no timer is pending */
707afe1e8a7SEmanuele Giuseppe Esposito     job_enter_cond_locked(job, job_timer_not_pending_locked);
708b15de828SKevin Wolf }
709b15de828SKevin Wolf 
job_resume(Job * job)710afe1e8a7SEmanuele Giuseppe Esposito void job_resume(Job *job)
711b15de828SKevin Wolf {
712afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
713afe1e8a7SEmanuele Giuseppe Esposito     job_resume_locked(job);
714afe1e8a7SEmanuele Giuseppe Esposito }
715afe1e8a7SEmanuele Giuseppe Esposito 
job_user_pause_locked(Job * job,Error ** errp)716afe1e8a7SEmanuele Giuseppe Esposito void job_user_pause_locked(Job *job, Error **errp)
717afe1e8a7SEmanuele Giuseppe Esposito {
718afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_PAUSE, errp)) {
719b15de828SKevin Wolf         return;
720b15de828SKevin Wolf     }
721b15de828SKevin Wolf     if (job->user_paused) {
722b15de828SKevin Wolf         error_setg(errp, "Job is already paused");
723b15de828SKevin Wolf         return;
724b15de828SKevin Wolf     }
725b15de828SKevin Wolf     job->user_paused = true;
726afe1e8a7SEmanuele Giuseppe Esposito     job_pause_locked(job);
727b15de828SKevin Wolf }
728b15de828SKevin Wolf 
job_user_paused_locked(Job * job)729afe1e8a7SEmanuele Giuseppe Esposito bool job_user_paused_locked(Job *job)
730b15de828SKevin Wolf {
731b15de828SKevin Wolf     return job->user_paused;
732b15de828SKevin Wolf }
733b15de828SKevin Wolf 
job_user_resume_locked(Job * job,Error ** errp)734afe1e8a7SEmanuele Giuseppe Esposito void job_user_resume_locked(Job *job, Error **errp)
735b15de828SKevin Wolf {
736b15de828SKevin Wolf     assert(job);
737c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
738b15de828SKevin Wolf     if (!job->user_paused || job->pause_count <= 0) {
739b15de828SKevin Wolf         error_setg(errp, "Can't resume a job that was not paused");
740b15de828SKevin Wolf         return;
741b15de828SKevin Wolf     }
742afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_RESUME, errp)) {
743b15de828SKevin Wolf         return;
744b15de828SKevin Wolf     }
745b15de828SKevin Wolf     if (job->driver->user_resume) {
746afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
747b15de828SKevin Wolf         job->driver->user_resume(job);
748afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
749b15de828SKevin Wolf     }
750b15de828SKevin Wolf     job->user_paused = false;
751afe1e8a7SEmanuele Giuseppe Esposito     job_resume_locked(job);
752b15de828SKevin Wolf }
753b15de828SKevin Wolf 
754afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily. */
job_do_dismiss_locked(Job * job)755afe1e8a7SEmanuele Giuseppe Esposito static void job_do_dismiss_locked(Job *job)
7564ad35181SKevin Wolf {
7574ad35181SKevin Wolf     assert(job);
7584ad35181SKevin Wolf     job->busy = false;
7594ad35181SKevin Wolf     job->paused = false;
7604ad35181SKevin Wolf     job->deferred_to_main_loop = true;
7614ad35181SKevin Wolf 
762afe1e8a7SEmanuele Giuseppe Esposito     job_txn_del_job_locked(job);
7634ad35181SKevin Wolf 
764afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_NULL);
765afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
7664ad35181SKevin Wolf }
7674ad35181SKevin Wolf 
job_dismiss_locked(Job ** jobptr,Error ** errp)768afe1e8a7SEmanuele Giuseppe Esposito void job_dismiss_locked(Job **jobptr, Error **errp)
7695f9a6a08SKevin Wolf {
7705f9a6a08SKevin Wolf     Job *job = *jobptr;
7715f9a6a08SKevin Wolf     /* similarly to _complete, this is QMP-interface only. */
7725f9a6a08SKevin Wolf     assert(job->id);
773afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_DISMISS, errp)) {
7745f9a6a08SKevin Wolf         return;
7755f9a6a08SKevin Wolf     }
7765f9a6a08SKevin Wolf 
777afe1e8a7SEmanuele Giuseppe Esposito     job_do_dismiss_locked(job);
7785f9a6a08SKevin Wolf     *jobptr = NULL;
7795f9a6a08SKevin Wolf }
7805f9a6a08SKevin Wolf 
job_early_fail(Job * job)7814ad35181SKevin Wolf void job_early_fail(Job *job)
7824ad35181SKevin Wolf {
783afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
7844ad35181SKevin Wolf     assert(job->status == JOB_STATUS_CREATED);
785afe1e8a7SEmanuele Giuseppe Esposito     job_do_dismiss_locked(job);
7864ad35181SKevin Wolf }
7874ad35181SKevin Wolf 
788afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_conclude_locked(Job * job)789afe1e8a7SEmanuele Giuseppe Esposito static void job_conclude_locked(Job *job)
7904ad35181SKevin Wolf {
791afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_CONCLUDED);
792afe1e8a7SEmanuele Giuseppe Esposito     if (job->auto_dismiss || !job_started_locked(job)) {
793afe1e8a7SEmanuele Giuseppe Esposito         job_do_dismiss_locked(job);
7944ad35181SKevin Wolf     }
7954ad35181SKevin Wolf }
7964ad35181SKevin Wolf 
797afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_update_rc_locked(Job * job)798afe1e8a7SEmanuele Giuseppe Esposito static void job_update_rc_locked(Job *job)
7994ad35181SKevin Wolf {
800afe1e8a7SEmanuele Giuseppe Esposito     if (!job->ret && job_is_cancelled_locked(job)) {
8014ad35181SKevin Wolf         job->ret = -ECANCELED;
8024ad35181SKevin Wolf     }
8034ad35181SKevin Wolf     if (job->ret) {
8043d1f8b07SJohn Snow         if (!job->err) {
8053d1f8b07SJohn Snow             error_setg(&job->err, "%s", strerror(-job->ret));
8061266c9b9SKevin Wolf         }
807afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, JOB_STATUS_ABORTING);
8084ad35181SKevin Wolf     }
8094ad35181SKevin Wolf }
8104ad35181SKevin Wolf 
job_commit(Job * job)8114ad35181SKevin Wolf static void job_commit(Job *job)
8124ad35181SKevin Wolf {
8134ad35181SKevin Wolf     assert(!job->ret);
814c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8154ad35181SKevin Wolf     if (job->driver->commit) {
8164ad35181SKevin Wolf         job->driver->commit(job);
8174ad35181SKevin Wolf     }
8184ad35181SKevin Wolf }
8194ad35181SKevin Wolf 
job_abort(Job * job)8204ad35181SKevin Wolf static void job_abort(Job *job)
8214ad35181SKevin Wolf {
8224ad35181SKevin Wolf     assert(job->ret);
823c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8244ad35181SKevin Wolf     if (job->driver->abort) {
8254ad35181SKevin Wolf         job->driver->abort(job);
8264ad35181SKevin Wolf     }
8274ad35181SKevin Wolf }
8284ad35181SKevin Wolf 
job_clean(Job * job)8294ad35181SKevin Wolf static void job_clean(Job *job)
8304ad35181SKevin Wolf {
831c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8324ad35181SKevin Wolf     if (job->driver->clean) {
8334ad35181SKevin Wolf         job->driver->clean(job);
8344ad35181SKevin Wolf     }
8354ad35181SKevin Wolf }
8364ad35181SKevin Wolf 
8376f592e5aSEmanuele Giuseppe Esposito /*
8386f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
8396f592e5aSEmanuele Giuseppe Esposito  */
job_finalize_single_locked(Job * job)840afe1e8a7SEmanuele Giuseppe Esposito static int job_finalize_single_locked(Job *job)
8414ad35181SKevin Wolf {
842afe1e8a7SEmanuele Giuseppe Esposito     int job_ret;
843afe1e8a7SEmanuele Giuseppe Esposito 
844afe1e8a7SEmanuele Giuseppe Esposito     assert(job_is_completed_locked(job));
8454ad35181SKevin Wolf 
8464ad35181SKevin Wolf     /* Ensure abort is called for late-transactional failures */
847afe1e8a7SEmanuele Giuseppe Esposito     job_update_rc_locked(job);
8484ad35181SKevin Wolf 
849afe1e8a7SEmanuele Giuseppe Esposito     job_ret = job->ret;
850afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
851afe1e8a7SEmanuele Giuseppe Esposito 
852afe1e8a7SEmanuele Giuseppe Esposito     if (!job_ret) {
8534ad35181SKevin Wolf         job_commit(job);
8544ad35181SKevin Wolf     } else {
8554ad35181SKevin Wolf         job_abort(job);
8564ad35181SKevin Wolf     }
8574ad35181SKevin Wolf     job_clean(job);
8584ad35181SKevin Wolf 
8594ad35181SKevin Wolf     if (job->cb) {
860afe1e8a7SEmanuele Giuseppe Esposito         job->cb(job->opaque, job_ret);
8614ad35181SKevin Wolf     }
8624ad35181SKevin Wolf 
8636f592e5aSEmanuele Giuseppe Esposito     job_lock();
8646f592e5aSEmanuele Giuseppe Esposito 
8654ad35181SKevin Wolf     /* Emit events only if we actually started */
866afe1e8a7SEmanuele Giuseppe Esposito     if (job_started_locked(job)) {
867afe1e8a7SEmanuele Giuseppe Esposito         if (job_is_cancelled_locked(job)) {
868afe1e8a7SEmanuele Giuseppe Esposito             job_event_cancelled_locked(job);
8694ad35181SKevin Wolf         } else {
870afe1e8a7SEmanuele Giuseppe Esposito             job_event_completed_locked(job);
8714ad35181SKevin Wolf         }
8724ad35181SKevin Wolf     }
8734ad35181SKevin Wolf 
874afe1e8a7SEmanuele Giuseppe Esposito     job_txn_del_job_locked(job);
875afe1e8a7SEmanuele Giuseppe Esposito     job_conclude_locked(job);
8764ad35181SKevin Wolf     return 0;
8774ad35181SKevin Wolf }
8784ad35181SKevin Wolf 
8796f592e5aSEmanuele Giuseppe Esposito /*
8806f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
8816f592e5aSEmanuele Giuseppe Esposito  */
job_cancel_async_locked(Job * job,bool force)882afe1e8a7SEmanuele Giuseppe Esposito static void job_cancel_async_locked(Job *job, bool force)
8837eaa8fb5SKevin Wolf {
884c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8859820933bSVladimir Sementsov-Ogievskiy     if (job->driver->cancel) {
886afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
88773895f38SHanna Reitz         force = job->driver->cancel(job, force);
888afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
88973895f38SHanna Reitz     } else {
89073895f38SHanna Reitz         /* No .cancel() means the job will behave as if force-cancelled */
89173895f38SHanna Reitz         force = true;
8929820933bSVladimir Sementsov-Ogievskiy     }
89373895f38SHanna Reitz 
8947eaa8fb5SKevin Wolf     if (job->user_paused) {
8957eaa8fb5SKevin Wolf         /* Do not call job_enter here, the caller will handle it.  */
8967eaa8fb5SKevin Wolf         if (job->driver->user_resume) {
897afe1e8a7SEmanuele Giuseppe Esposito             job_unlock();
8987eaa8fb5SKevin Wolf             job->driver->user_resume(job);
899afe1e8a7SEmanuele Giuseppe Esposito             job_lock();
9007eaa8fb5SKevin Wolf         }
901e321c059SJeff Cody         job->user_paused = false;
9027eaa8fb5SKevin Wolf         assert(job->pause_count > 0);
9037eaa8fb5SKevin Wolf         job->pause_count--;
9047eaa8fb5SKevin Wolf     }
905401dd096SHanna Reitz 
906401dd096SHanna Reitz     /*
907401dd096SHanna Reitz      * Ignore soft cancel requests after the job is already done
908401dd096SHanna Reitz      * (We will still invoke job->driver->cancel() above, but if the
909401dd096SHanna Reitz      * job driver supports soft cancelling and the job is done, that
910401dd096SHanna Reitz      * should be a no-op, too.  We still call it so it can override
911401dd096SHanna Reitz      * @force.)
912401dd096SHanna Reitz      */
913401dd096SHanna Reitz     if (force || !job->deferred_to_main_loop) {
9147eaa8fb5SKevin Wolf         job->cancelled = true;
9157eaa8fb5SKevin Wolf         /* To prevent 'force == false' overriding a previous 'force == true' */
9167eaa8fb5SKevin Wolf         job->force_cancel |= force;
9177eaa8fb5SKevin Wolf     }
918401dd096SHanna Reitz }
9197eaa8fb5SKevin Wolf 
9206f592e5aSEmanuele Giuseppe Esposito /*
9216f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
9226f592e5aSEmanuele Giuseppe Esposito  */
job_completed_txn_abort_locked(Job * job)923afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_txn_abort_locked(Job *job)
9247eaa8fb5SKevin Wolf {
9257eaa8fb5SKevin Wolf     JobTxn *txn = job->txn;
9267eaa8fb5SKevin Wolf     Job *other_job;
9277eaa8fb5SKevin Wolf 
9287eaa8fb5SKevin Wolf     if (txn->aborting) {
9297eaa8fb5SKevin Wolf         /*
9307eaa8fb5SKevin Wolf          * We are cancelled by another job, which will handle everything.
9317eaa8fb5SKevin Wolf          */
9327eaa8fb5SKevin Wolf         return;
9337eaa8fb5SKevin Wolf     }
9347eaa8fb5SKevin Wolf     txn->aborting = true;
935afe1e8a7SEmanuele Giuseppe Esposito     job_txn_ref_locked(txn);
9367eaa8fb5SKevin Wolf 
937afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
9387eaa8fb5SKevin Wolf 
9397eaa8fb5SKevin Wolf     /* Other jobs are effectively cancelled by us, set the status for
9407eaa8fb5SKevin Wolf      * them; this job, however, may or may not be cancelled, depending
9417eaa8fb5SKevin Wolf      * on the caller, so leave it. */
9427eaa8fb5SKevin Wolf     QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
9437eaa8fb5SKevin Wolf         if (other_job != job) {
9441d4a43e9SHanna Reitz             /*
9451d4a43e9SHanna Reitz              * This is a transaction: If one job failed, no result will matter.
9461d4a43e9SHanna Reitz              * Therefore, pass force=true to terminate all other jobs as quickly
9471d4a43e9SHanna Reitz              * as possible.
9481d4a43e9SHanna Reitz              */
949afe1e8a7SEmanuele Giuseppe Esposito             job_cancel_async_locked(other_job, true);
9507eaa8fb5SKevin Wolf         }
9517eaa8fb5SKevin Wolf     }
9527eaa8fb5SKevin Wolf     while (!QLIST_EMPTY(&txn->jobs)) {
9537eaa8fb5SKevin Wolf         other_job = QLIST_FIRST(&txn->jobs);
954afe1e8a7SEmanuele Giuseppe Esposito         if (!job_is_completed_locked(other_job)) {
955afe1e8a7SEmanuele Giuseppe Esposito             assert(job_cancel_requested_locked(other_job));
956afe1e8a7SEmanuele Giuseppe Esposito             job_finish_sync_locked(other_job, NULL, NULL);
9577eaa8fb5SKevin Wolf         }
958afe1e8a7SEmanuele Giuseppe Esposito         job_finalize_single_locked(other_job);
9597eaa8fb5SKevin Wolf     }
9607eaa8fb5SKevin Wolf 
961afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
962afe1e8a7SEmanuele Giuseppe Esposito     job_txn_unref_locked(txn);
9637eaa8fb5SKevin Wolf }
9647eaa8fb5SKevin Wolf 
965afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily */
job_prepare_locked(Job * job)966afe1e8a7SEmanuele Giuseppe Esposito static int job_prepare_locked(Job *job)
9677eaa8fb5SKevin Wolf {
968afe1e8a7SEmanuele Giuseppe Esposito     int ret;
969afe1e8a7SEmanuele Giuseppe Esposito 
970c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
9716f592e5aSEmanuele Giuseppe Esposito 
9727eaa8fb5SKevin Wolf     if (job->ret == 0 && job->driver->prepare) {
973afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
974afe1e8a7SEmanuele Giuseppe Esposito         ret = job->driver->prepare(job);
975afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
976afe1e8a7SEmanuele Giuseppe Esposito         job->ret = ret;
977afe1e8a7SEmanuele Giuseppe Esposito         job_update_rc_locked(job);
9787eaa8fb5SKevin Wolf     }
9796f592e5aSEmanuele Giuseppe Esposito 
9807eaa8fb5SKevin Wolf     return job->ret;
9817eaa8fb5SKevin Wolf }
9827eaa8fb5SKevin Wolf 
983afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held */
job_needs_finalize_locked(Job * job)984afe1e8a7SEmanuele Giuseppe Esposito static int job_needs_finalize_locked(Job *job)
9857eaa8fb5SKevin Wolf {
9867eaa8fb5SKevin Wolf     return !job->auto_finalize;
9877eaa8fb5SKevin Wolf }
9887eaa8fb5SKevin Wolf 
989afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held */
job_do_finalize_locked(Job * job)990afe1e8a7SEmanuele Giuseppe Esposito static void job_do_finalize_locked(Job *job)
9917eaa8fb5SKevin Wolf {
9927eaa8fb5SKevin Wolf     int rc;
9937eaa8fb5SKevin Wolf     assert(job && job->txn);
9947eaa8fb5SKevin Wolf 
9957eaa8fb5SKevin Wolf     /* prepare the transaction to complete */
996afe1e8a7SEmanuele Giuseppe Esposito     rc = job_txn_apply_locked(job, job_prepare_locked);
9977eaa8fb5SKevin Wolf     if (rc) {
998afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_abort_locked(job);
9997eaa8fb5SKevin Wolf     } else {
1000afe1e8a7SEmanuele Giuseppe Esposito         job_txn_apply_locked(job, job_finalize_single_locked);
10017eaa8fb5SKevin Wolf     }
10027eaa8fb5SKevin Wolf }
10037eaa8fb5SKevin Wolf 
job_finalize_locked(Job * job,Error ** errp)1004afe1e8a7SEmanuele Giuseppe Esposito void job_finalize_locked(Job *job, Error **errp)
1005afe1e8a7SEmanuele Giuseppe Esposito {
1006afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job->id);
1007afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_FINALIZE, errp)) {
1008afe1e8a7SEmanuele Giuseppe Esposito         return;
1009afe1e8a7SEmanuele Giuseppe Esposito     }
1010afe1e8a7SEmanuele Giuseppe Esposito     job_do_finalize_locked(job);
1011afe1e8a7SEmanuele Giuseppe Esposito }
1012afe1e8a7SEmanuele Giuseppe Esposito 
1013afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_transition_to_pending_locked(Job * job)1014afe1e8a7SEmanuele Giuseppe Esposito static int job_transition_to_pending_locked(Job *job)
10157eaa8fb5SKevin Wolf {
1016afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_PENDING);
10177eaa8fb5SKevin Wolf     if (!job->auto_finalize) {
1018afe1e8a7SEmanuele Giuseppe Esposito         job_event_pending_locked(job);
10197eaa8fb5SKevin Wolf     }
10207eaa8fb5SKevin Wolf     return 0;
10217eaa8fb5SKevin Wolf }
10227eaa8fb5SKevin Wolf 
job_transition_to_ready(Job * job)10232e1795b5SKevin Wolf void job_transition_to_ready(Job *job)
10242e1795b5SKevin Wolf {
1025afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1026afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_READY);
1027afe1e8a7SEmanuele Giuseppe Esposito     job_event_ready_locked(job);
10282e1795b5SKevin Wolf }
10292e1795b5SKevin Wolf 
1030afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_completed_txn_success_locked(Job * job)1031afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_txn_success_locked(Job *job)
10327eaa8fb5SKevin Wolf {
10337eaa8fb5SKevin Wolf     JobTxn *txn = job->txn;
10347eaa8fb5SKevin Wolf     Job *other_job;
10357eaa8fb5SKevin Wolf 
1036afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_WAITING);
10377eaa8fb5SKevin Wolf 
10387eaa8fb5SKevin Wolf     /*
10397eaa8fb5SKevin Wolf      * Successful completion, see if there are other running jobs in this
10407eaa8fb5SKevin Wolf      * txn.
10417eaa8fb5SKevin Wolf      */
10427eaa8fb5SKevin Wolf     QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
1043afe1e8a7SEmanuele Giuseppe Esposito         if (!job_is_completed_locked(other_job)) {
10447eaa8fb5SKevin Wolf             return;
10457eaa8fb5SKevin Wolf         }
10467eaa8fb5SKevin Wolf         assert(other_job->ret == 0);
10477eaa8fb5SKevin Wolf     }
10487eaa8fb5SKevin Wolf 
1049afe1e8a7SEmanuele Giuseppe Esposito     job_txn_apply_locked(job, job_transition_to_pending_locked);
10507eaa8fb5SKevin Wolf 
10517eaa8fb5SKevin Wolf     /* If no jobs need manual finalization, automatically do so */
1052afe1e8a7SEmanuele Giuseppe Esposito     if (job_txn_apply_locked(job, job_needs_finalize_locked) == 0) {
1053afe1e8a7SEmanuele Giuseppe Esposito         job_do_finalize_locked(job);
10547eaa8fb5SKevin Wolf     }
10557eaa8fb5SKevin Wolf }
10567eaa8fb5SKevin Wolf 
1057afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_completed_locked(Job * job)1058afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_locked(Job *job)
10593d70ff53SKevin Wolf {
1060afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job->txn && !job_is_completed_locked(job));
10611266c9b9SKevin Wolf 
1062afe1e8a7SEmanuele Giuseppe Esposito     job_update_rc_locked(job);
1063404ff28dSJohn Snow     trace_job_completed(job, job->ret);
10643d70ff53SKevin Wolf     if (job->ret) {
1065afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_abort_locked(job);
10663d70ff53SKevin Wolf     } else {
1067afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_success_locked(job);
10683d70ff53SKevin Wolf     }
10693d70ff53SKevin Wolf }
10703d70ff53SKevin Wolf 
1071afe1e8a7SEmanuele Giuseppe Esposito /**
1072afe1e8a7SEmanuele Giuseppe Esposito  * Useful only as a type shim for aio_bh_schedule_oneshot.
1073afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex *not* held.
1074afe1e8a7SEmanuele Giuseppe Esposito  */
job_exit(void * opaque)1075ccbfb331SJohn Snow static void job_exit(void *opaque)
1076ccbfb331SJohn Snow {
1077ccbfb331SJohn Snow     Job *job = (Job *)opaque;
1078afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1079afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
1080b5a7a057SKevin Wolf 
1081b5a7a057SKevin Wolf     /* This is a lie, we're not quiescent, but still doing the completion
1082b5a7a057SKevin Wolf      * callbacks. However, completion callbacks tend to involve operations that
1083b5a7a057SKevin Wolf      * drain block nodes, and if .drained_poll still returned true, we would
1084b5a7a057SKevin Wolf      * deadlock. */
1085b5a7a057SKevin Wolf     job->busy = false;
1086afe1e8a7SEmanuele Giuseppe Esposito     job_event_idle_locked(job);
1087b5a7a057SKevin Wolf 
1088afe1e8a7SEmanuele Giuseppe Esposito     job_completed_locked(job);
1089afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
1090ccbfb331SJohn Snow }
1091ccbfb331SJohn Snow 
1092ccbfb331SJohn Snow /**
1093ccbfb331SJohn Snow  * All jobs must allow a pause point before entering their job proper. This
1094ccbfb331SJohn Snow  * ensures that jobs can be paused prior to being started, then resumed later.
1095ccbfb331SJohn Snow  */
job_co_entry(void * opaque)1096ccbfb331SJohn Snow static void coroutine_fn job_co_entry(void *opaque)
1097ccbfb331SJohn Snow {
1098ccbfb331SJohn Snow     Job *job = opaque;
1099afe1e8a7SEmanuele Giuseppe Esposito     int ret;
1100ccbfb331SJohn Snow 
1101ccbfb331SJohn Snow     assert(job && job->driver && job->driver->run);
1102afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1103c70b8031SEmanuele Giuseppe Esposito         assert(job->aio_context == qemu_get_current_aio_context());
1104afe1e8a7SEmanuele Giuseppe Esposito         job_pause_point_locked(job);
1105afe1e8a7SEmanuele Giuseppe Esposito     }
1106afe1e8a7SEmanuele Giuseppe Esposito     ret = job->driver->run(job, &job->err);
1107afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1108afe1e8a7SEmanuele Giuseppe Esposito         job->ret = ret;
1109ccbfb331SJohn Snow         job->deferred_to_main_loop = true;
1110b5a7a057SKevin Wolf         job->busy = true;
1111afe1e8a7SEmanuele Giuseppe Esposito     }
1112ccbfb331SJohn Snow     aio_bh_schedule_oneshot(qemu_get_aio_context(), job_exit, job);
1113ccbfb331SJohn Snow }
1114ccbfb331SJohn Snow 
job_start(Job * job)1115ccbfb331SJohn Snow void job_start(Job *job)
1116ccbfb331SJohn Snow {
1117afe1e8a7SEmanuele Giuseppe Esposito     assert(qemu_in_main_thread());
1118afe1e8a7SEmanuele Giuseppe Esposito 
1119afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1120afe1e8a7SEmanuele Giuseppe Esposito         assert(job && !job_started_locked(job) && job->paused &&
1121ccbfb331SJohn Snow             job->driver && job->driver->run);
1122ccbfb331SJohn Snow         job->co = qemu_coroutine_create(job_co_entry, job);
1123ccbfb331SJohn Snow         job->pause_count--;
1124ccbfb331SJohn Snow         job->busy = true;
1125ccbfb331SJohn Snow         job->paused = false;
1126afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, JOB_STATUS_RUNNING);
1127afe1e8a7SEmanuele Giuseppe Esposito     }
1128ccbfb331SJohn Snow     aio_co_enter(job->aio_context, job->co);
1129ccbfb331SJohn Snow }
1130ccbfb331SJohn Snow 
job_cancel_locked(Job * job,bool force)1131afe1e8a7SEmanuele Giuseppe Esposito void job_cancel_locked(Job *job, bool force)
11323d70ff53SKevin Wolf {
11333d70ff53SKevin Wolf     if (job->status == JOB_STATUS_CONCLUDED) {
1134afe1e8a7SEmanuele Giuseppe Esposito         job_do_dismiss_locked(job);
11353d70ff53SKevin Wolf         return;
11363d70ff53SKevin Wolf     }
1137afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_async_locked(job, force);
1138afe1e8a7SEmanuele Giuseppe Esposito     if (!job_started_locked(job)) {
1139afe1e8a7SEmanuele Giuseppe Esposito         job_completed_locked(job);
11403d70ff53SKevin Wolf     } else if (job->deferred_to_main_loop) {
1141401dd096SHanna Reitz         /*
1142401dd096SHanna Reitz          * job_cancel_async() ignores soft-cancel requests for jobs
1143401dd096SHanna Reitz          * that are already done (i.e. deferred to the main loop).  We
1144401dd096SHanna Reitz          * have to check again whether the job is really cancelled.
114508b83bffSHanna Reitz          * (job_cancel_requested() and job_is_cancelled() are equivalent
114608b83bffSHanna Reitz          * here, because job_cancel_async() will make soft-cancel
114708b83bffSHanna Reitz          * requests no-ops when deferred_to_main_loop is true.  We
114808b83bffSHanna Reitz          * choose to call job_is_cancelled() to show that we invoke
114908b83bffSHanna Reitz          * job_completed_txn_abort() only for force-cancelled jobs.)
1150401dd096SHanna Reitz          */
1151afe1e8a7SEmanuele Giuseppe Esposito         if (job_is_cancelled_locked(job)) {
1152afe1e8a7SEmanuele Giuseppe Esposito             job_completed_txn_abort_locked(job);
1153401dd096SHanna Reitz         }
11543d70ff53SKevin Wolf     } else {
1155afe1e8a7SEmanuele Giuseppe Esposito         job_enter_cond_locked(job, NULL);
11563d70ff53SKevin Wolf     }
11573d70ff53SKevin Wolf }
11583d70ff53SKevin Wolf 
job_user_cancel_locked(Job * job,bool force,Error ** errp)1159afe1e8a7SEmanuele Giuseppe Esposito void job_user_cancel_locked(Job *job, bool force, Error **errp)
1160afe1e8a7SEmanuele Giuseppe Esposito {
1161afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_CANCEL, errp)) {
1162afe1e8a7SEmanuele Giuseppe Esposito         return;
1163afe1e8a7SEmanuele Giuseppe Esposito     }
1164afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, force);
1165afe1e8a7SEmanuele Giuseppe Esposito }
1166afe1e8a7SEmanuele Giuseppe Esposito 
11679bd4d3c2SEmanuele Giuseppe Esposito /* A wrapper around job_cancel_locked() taking an Error ** parameter so it may
11689bd4d3c2SEmanuele Giuseppe Esposito  * be used with job_finish_sync_locked() without the need for (rather nasty)
11699bd4d3c2SEmanuele Giuseppe Esposito  * function pointer casts there.
1170afe1e8a7SEmanuele Giuseppe Esposito  *
1171afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
1172afe1e8a7SEmanuele Giuseppe Esposito  */
job_cancel_err_locked(Job * job,Error ** errp)1173afe1e8a7SEmanuele Giuseppe Esposito static void job_cancel_err_locked(Job *job, Error **errp)
11743d70ff53SKevin Wolf {
1175afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, false);
11763d70ff53SKevin Wolf }
11773d70ff53SKevin Wolf 
11784cfb3f05SHanna Reitz /**
11794cfb3f05SHanna Reitz  * Same as job_cancel_err(), but force-cancel.
1180afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
11814cfb3f05SHanna Reitz  */
job_force_cancel_err_locked(Job * job,Error ** errp)1182afe1e8a7SEmanuele Giuseppe Esposito static void job_force_cancel_err_locked(Job *job, Error **errp)
11833d70ff53SKevin Wolf {
1184afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, true);
1185afe1e8a7SEmanuele Giuseppe Esposito }
1186afe1e8a7SEmanuele Giuseppe Esposito 
job_cancel_sync_locked(Job * job,bool force)1187afe1e8a7SEmanuele Giuseppe Esposito int job_cancel_sync_locked(Job *job, bool force)
1188afe1e8a7SEmanuele Giuseppe Esposito {
1189afe1e8a7SEmanuele Giuseppe Esposito     if (force) {
1190afe1e8a7SEmanuele Giuseppe Esposito         return job_finish_sync_locked(job, &job_force_cancel_err_locked, NULL);
1191afe1e8a7SEmanuele Giuseppe Esposito     } else {
1192afe1e8a7SEmanuele Giuseppe Esposito         return job_finish_sync_locked(job, &job_cancel_err_locked, NULL);
1193afe1e8a7SEmanuele Giuseppe Esposito     }
11944cfb3f05SHanna Reitz }
11954cfb3f05SHanna Reitz 
job_cancel_sync(Job * job,bool force)11964cfb3f05SHanna Reitz int job_cancel_sync(Job *job, bool force)
11974cfb3f05SHanna Reitz {
1198afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1199afe1e8a7SEmanuele Giuseppe Esposito     return job_cancel_sync_locked(job, force);
12004cfb3f05SHanna Reitz }
12013d70ff53SKevin Wolf 
job_cancel_sync_all(void)12023d70ff53SKevin Wolf void job_cancel_sync_all(void)
12033d70ff53SKevin Wolf {
12043d70ff53SKevin Wolf     Job *job;
1205afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
12063d70ff53SKevin Wolf 
1207afe1e8a7SEmanuele Giuseppe Esposito     while ((job = job_next_locked(NULL))) {
1208afe1e8a7SEmanuele Giuseppe Esposito         job_cancel_sync_locked(job, true);
12093d70ff53SKevin Wolf     }
12103d70ff53SKevin Wolf }
12113d70ff53SKevin Wolf 
job_complete_sync_locked(Job * job,Error ** errp)1212afe1e8a7SEmanuele Giuseppe Esposito int job_complete_sync_locked(Job *job, Error **errp)
12133d70ff53SKevin Wolf {
1214afe1e8a7SEmanuele Giuseppe Esposito     return job_finish_sync_locked(job, job_complete_locked, errp);
12153d70ff53SKevin Wolf }
12163d70ff53SKevin Wolf 
job_complete_locked(Job * job,Error ** errp)1217afe1e8a7SEmanuele Giuseppe Esposito void job_complete_locked(Job *job, Error **errp)
12183453d972SKevin Wolf {
12193453d972SKevin Wolf     /* Should not be reachable via external interface for internal jobs */
12203453d972SKevin Wolf     assert(job->id);
1221c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
1222afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_COMPLETE, errp)) {
12233453d972SKevin Wolf         return;
12243453d972SKevin Wolf     }
1225afe1e8a7SEmanuele Giuseppe Esposito     if (job_cancel_requested_locked(job) || !job->driver->complete) {
12263453d972SKevin Wolf         error_setg(errp, "The active block job '%s' cannot be completed",
12273453d972SKevin Wolf                    job->id);
12283453d972SKevin Wolf         return;
12293453d972SKevin Wolf     }
12303453d972SKevin Wolf 
1231afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
12323453d972SKevin Wolf     job->driver->complete(job, errp);
1233afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
12343453d972SKevin Wolf }
12353453d972SKevin Wolf 
job_finish_sync_locked(Job * job,void (* finish)(Job *,Error ** errp),Error ** errp)1236afe1e8a7SEmanuele Giuseppe Esposito int job_finish_sync_locked(Job *job,
1237afe1e8a7SEmanuele Giuseppe Esposito                            void (*finish)(Job *, Error **errp),
1238afe1e8a7SEmanuele Giuseppe Esposito                            Error **errp)
12396a74c075SKevin Wolf {
12406a74c075SKevin Wolf     Error *local_err = NULL;
12416a74c075SKevin Wolf     int ret;
12423ed4f708SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
12436a74c075SKevin Wolf 
1244afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
12456a74c075SKevin Wolf 
12466a74c075SKevin Wolf     if (finish) {
12476a74c075SKevin Wolf         finish(job, &local_err);
12486a74c075SKevin Wolf     }
12496a74c075SKevin Wolf     if (local_err) {
12506a74c075SKevin Wolf         error_propagate(errp, local_err);
1251afe1e8a7SEmanuele Giuseppe Esposito         job_unref_locked(job);
12526a74c075SKevin Wolf         return -EBUSY;
12536a74c075SKevin Wolf     }
1254de0fbe64SKevin Wolf 
1255afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
12566f592e5aSEmanuele Giuseppe Esposito     AIO_WAIT_WHILE_UNLOCKED(job->aio_context,
1257bb0c9409SVladimir Sementsov-Ogievskiy                             (job_enter(job), !job_is_completed(job)));
1258afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
1259de0fbe64SKevin Wolf 
1260afe1e8a7SEmanuele Giuseppe Esposito     ret = (job_is_cancelled_locked(job) && job->ret == 0)
1261afe1e8a7SEmanuele Giuseppe Esposito           ? -ECANCELED : job->ret;
1262afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
12636a74c075SKevin Wolf     return ret;
12646a74c075SKevin Wolf }
1265