xref: /qemu/job.c (revision c302660920acf48425a1317d56122ea8af60fbc4)
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_paused(Job * job)254*f8222bfbSVitalii Mordan bool job_is_paused(Job *job)
255*f8222bfbSVitalii Mordan {
256*f8222bfbSVitalii Mordan     JOB_LOCK_GUARD();
257*f8222bfbSVitalii Mordan     return job->paused;
258*f8222bfbSVitalii Mordan }
259*f8222bfbSVitalii Mordan 
job_is_cancelled(Job * job)260afe1e8a7SEmanuele Giuseppe Esposito bool job_is_cancelled(Job *job)
261afe1e8a7SEmanuele Giuseppe Esposito {
262afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
263afe1e8a7SEmanuele Giuseppe Esposito     return job_is_cancelled_locked(job);
264afe1e8a7SEmanuele Giuseppe Esposito }
265afe1e8a7SEmanuele Giuseppe Esposito 
266afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_cancel_requested_locked(Job * job)267afe1e8a7SEmanuele Giuseppe Esposito static bool job_cancel_requested_locked(Job *job)
26808b83bffSHanna Reitz {
269daa7f2f9SKevin Wolf     return job->cancelled;
270daa7f2f9SKevin Wolf }
271daa7f2f9SKevin Wolf 
job_cancel_requested(Job * job)272afe1e8a7SEmanuele Giuseppe Esposito bool job_cancel_requested(Job *job)
273afe1e8a7SEmanuele Giuseppe Esposito {
274afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
275afe1e8a7SEmanuele Giuseppe Esposito     return job_cancel_requested_locked(job);
276afe1e8a7SEmanuele Giuseppe Esposito }
277afe1e8a7SEmanuele Giuseppe Esposito 
job_is_ready_locked(Job * job)278afe1e8a7SEmanuele Giuseppe Esposito bool job_is_ready_locked(Job *job)
279df956ae2SKevin Wolf {
280df956ae2SKevin Wolf     switch (job->status) {
281df956ae2SKevin Wolf     case JOB_STATUS_UNDEFINED:
282df956ae2SKevin Wolf     case JOB_STATUS_CREATED:
283df956ae2SKevin Wolf     case JOB_STATUS_RUNNING:
284df956ae2SKevin Wolf     case JOB_STATUS_PAUSED:
285df956ae2SKevin Wolf     case JOB_STATUS_WAITING:
286df956ae2SKevin Wolf     case JOB_STATUS_PENDING:
287df956ae2SKevin Wolf     case JOB_STATUS_ABORTING:
288df956ae2SKevin Wolf     case JOB_STATUS_CONCLUDED:
289df956ae2SKevin Wolf     case JOB_STATUS_NULL:
290df956ae2SKevin Wolf         return false;
291df956ae2SKevin Wolf     case JOB_STATUS_READY:
292df956ae2SKevin Wolf     case JOB_STATUS_STANDBY:
293df956ae2SKevin Wolf         return true;
294df956ae2SKevin Wolf     default:
295df956ae2SKevin Wolf         g_assert_not_reached();
296df956ae2SKevin Wolf     }
297df956ae2SKevin Wolf     return false;
298df956ae2SKevin Wolf }
299df956ae2SKevin Wolf 
job_is_ready(Job * job)300afe1e8a7SEmanuele Giuseppe Esposito bool job_is_ready(Job *job)
301afe1e8a7SEmanuele Giuseppe Esposito {
302afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
303afe1e8a7SEmanuele Giuseppe Esposito     return job_is_ready_locked(job);
304afe1e8a7SEmanuele Giuseppe Esposito }
305afe1e8a7SEmanuele Giuseppe Esposito 
job_is_completed_locked(Job * job)306afe1e8a7SEmanuele Giuseppe Esposito bool job_is_completed_locked(Job *job)
307afe1e8a7SEmanuele Giuseppe Esposito {
308afe1e8a7SEmanuele Giuseppe Esposito     switch (job->status) {
309afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_UNDEFINED:
310afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_CREATED:
311afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_RUNNING:
312afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_PAUSED:
313afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_READY:
314afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_STANDBY:
315afe1e8a7SEmanuele Giuseppe Esposito         return false;
316afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_WAITING:
317afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_PENDING:
318afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_ABORTING:
319afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_CONCLUDED:
320afe1e8a7SEmanuele Giuseppe Esposito     case JOB_STATUS_NULL:
321afe1e8a7SEmanuele Giuseppe Esposito         return true;
322afe1e8a7SEmanuele Giuseppe Esposito     default:
323afe1e8a7SEmanuele Giuseppe Esposito         g_assert_not_reached();
324afe1e8a7SEmanuele Giuseppe Esposito     }
325afe1e8a7SEmanuele Giuseppe Esposito     return false;
326afe1e8a7SEmanuele Giuseppe Esposito }
327afe1e8a7SEmanuele Giuseppe Esposito 
job_is_completed(Job * job)3289bd4d3c2SEmanuele Giuseppe Esposito static bool job_is_completed(Job *job)
329dbe5e6c1SKevin Wolf {
330afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
331afe1e8a7SEmanuele Giuseppe Esposito     return job_is_completed_locked(job);
332dbe5e6c1SKevin Wolf }
333dbe5e6c1SKevin Wolf 
job_started_locked(Job * job)334afe1e8a7SEmanuele Giuseppe Esposito static bool job_started_locked(Job *job)
335da01ff7fSKevin Wolf {
336da01ff7fSKevin Wolf     return job->co;
337da01ff7fSKevin Wolf }
338da01ff7fSKevin Wolf 
339afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_should_pause_locked(Job * job)340afe1e8a7SEmanuele Giuseppe Esposito static bool job_should_pause_locked(Job *job)
341da01ff7fSKevin Wolf {
342da01ff7fSKevin Wolf     return job->pause_count > 0;
343da01ff7fSKevin Wolf }
344da01ff7fSKevin Wolf 
job_next_locked(Job * job)345afe1e8a7SEmanuele Giuseppe Esposito Job *job_next_locked(Job *job)
346e7c1d78bSKevin Wolf {
347e7c1d78bSKevin Wolf     if (!job) {
348e7c1d78bSKevin Wolf         return QLIST_FIRST(&jobs);
349e7c1d78bSKevin Wolf     }
350e7c1d78bSKevin Wolf     return QLIST_NEXT(job, job_list);
351e7c1d78bSKevin Wolf }
352e7c1d78bSKevin Wolf 
job_next(Job * job)353afe1e8a7SEmanuele Giuseppe Esposito Job *job_next(Job *job)
354afe1e8a7SEmanuele Giuseppe Esposito {
355afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
356afe1e8a7SEmanuele Giuseppe Esposito     return job_next_locked(job);
357afe1e8a7SEmanuele Giuseppe Esposito }
358afe1e8a7SEmanuele Giuseppe Esposito 
job_get_locked(const char * id)359afe1e8a7SEmanuele Giuseppe Esposito Job *job_get_locked(const char *id)
360e7c1d78bSKevin Wolf {
361e7c1d78bSKevin Wolf     Job *job;
362e7c1d78bSKevin Wolf 
363e7c1d78bSKevin Wolf     QLIST_FOREACH(job, &jobs, job_list) {
364e7c1d78bSKevin Wolf         if (job->id && !strcmp(id, job->id)) {
365e7c1d78bSKevin Wolf             return job;
366e7c1d78bSKevin Wolf         }
367e7c1d78bSKevin Wolf     }
368e7c1d78bSKevin Wolf 
369e7c1d78bSKevin Wolf     return NULL;
370e7c1d78bSKevin Wolf }
371e7c1d78bSKevin Wolf 
job_set_aio_context(Job * job,AioContext * ctx)3723ed4f708SEmanuele Giuseppe Esposito void job_set_aio_context(Job *job, AioContext *ctx)
3733ed4f708SEmanuele Giuseppe Esposito {
3743ed4f708SEmanuele Giuseppe Esposito     /* protect against read in job_finish_sync_locked and job_start */
3753ed4f708SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
3763ed4f708SEmanuele Giuseppe Esposito     /* protect against read in job_do_yield_locked */
3773ed4f708SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
3783ed4f708SEmanuele Giuseppe Esposito     /* ensure the job is quiescent while the AioContext is changed */
3793ed4f708SEmanuele Giuseppe Esposito     assert(job->paused || job_is_completed_locked(job));
3803ed4f708SEmanuele Giuseppe Esposito     job->aio_context = ctx;
3813ed4f708SEmanuele Giuseppe Esposito }
3823ed4f708SEmanuele Giuseppe Esposito 
383afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex *not* held. */
job_sleep_timer_cb(void * opaque)3845d43e86eSKevin Wolf static void job_sleep_timer_cb(void *opaque)
3855d43e86eSKevin Wolf {
3865d43e86eSKevin Wolf     Job *job = opaque;
3875d43e86eSKevin Wolf 
3885d43e86eSKevin Wolf     job_enter(job);
3895d43e86eSKevin Wolf }
3905d43e86eSKevin Wolf 
job_create(const char * job_id,const JobDriver * driver,JobTxn * txn,AioContext * ctx,int flags,BlockCompletionFunc * cb,void * opaque,Error ** errp)3917eaa8fb5SKevin Wolf void *job_create(const char *job_id, const JobDriver *driver, JobTxn *txn,
3927eaa8fb5SKevin Wolf                  AioContext *ctx, int flags, BlockCompletionFunc *cb,
3937eaa8fb5SKevin Wolf                  void *opaque, Error **errp)
39433e9e9bdSKevin Wolf {
39533e9e9bdSKevin Wolf     Job *job;
39633e9e9bdSKevin Wolf 
397afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
398afe1e8a7SEmanuele Giuseppe Esposito 
39933e9e9bdSKevin Wolf     if (job_id) {
400bb02b65cSKevin Wolf         if (flags & JOB_INTERNAL) {
401bb02b65cSKevin Wolf             error_setg(errp, "Cannot specify job ID for internal job");
402bb02b65cSKevin Wolf             return NULL;
403bb02b65cSKevin Wolf         }
40433e9e9bdSKevin Wolf         if (!id_wellformed(job_id)) {
40533e9e9bdSKevin Wolf             error_setg(errp, "Invalid job ID '%s'", job_id);
40633e9e9bdSKevin Wolf             return NULL;
40733e9e9bdSKevin Wolf         }
408afe1e8a7SEmanuele Giuseppe Esposito         if (job_get_locked(job_id)) {
409e7c1d78bSKevin Wolf             error_setg(errp, "Job ID '%s' already in use", job_id);
410e7c1d78bSKevin Wolf             return NULL;
411e7c1d78bSKevin Wolf         }
412bb02b65cSKevin Wolf     } else if (!(flags & JOB_INTERNAL)) {
413bb02b65cSKevin Wolf         error_setg(errp, "An explicit job ID is required");
414bb02b65cSKevin Wolf         return NULL;
41533e9e9bdSKevin Wolf     }
41633e9e9bdSKevin Wolf 
41733e9e9bdSKevin Wolf     job = g_malloc0(driver->instance_size);
41833e9e9bdSKevin Wolf     job->driver        = driver;
41933e9e9bdSKevin Wolf     job->id            = g_strdup(job_id);
42080fa2c75SKevin Wolf     job->refcnt        = 1;
42108be6fe2SKevin Wolf     job->aio_context   = ctx;
422da01ff7fSKevin Wolf     job->busy          = false;
423da01ff7fSKevin Wolf     job->paused        = true;
424da01ff7fSKevin Wolf     job->pause_count   = 1;
425bb02b65cSKevin Wolf     job->auto_finalize = !(flags & JOB_MANUAL_FINALIZE);
426bb02b65cSKevin Wolf     job->auto_dismiss  = !(flags & JOB_MANUAL_DISMISS);
4274ad35181SKevin Wolf     job->cb            = cb;
4284ad35181SKevin Wolf     job->opaque        = opaque;
42933e9e9bdSKevin Wolf 
430a7b4f8fcSEmanuele Giuseppe Esposito     progress_init(&job->progress);
431a7b4f8fcSEmanuele Giuseppe Esposito 
432139a9f02SKevin Wolf     notifier_list_init(&job->on_finalize_cancelled);
433139a9f02SKevin Wolf     notifier_list_init(&job->on_finalize_completed);
434139a9f02SKevin Wolf     notifier_list_init(&job->on_pending);
4352e1795b5SKevin Wolf     notifier_list_init(&job->on_ready);
436252f4091SEmanuele Giuseppe Esposito     notifier_list_init(&job->on_idle);
437139a9f02SKevin Wolf 
438afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_CREATED);
4395d43e86eSKevin Wolf     aio_timer_init(qemu_get_aio_context(), &job->sleep_timer,
4405d43e86eSKevin Wolf                    QEMU_CLOCK_REALTIME, SCALE_NS,
4415d43e86eSKevin Wolf                    job_sleep_timer_cb, job);
442a50c2ab8SKevin Wolf 
443e7c1d78bSKevin Wolf     QLIST_INSERT_HEAD(&jobs, job, job_list);
444e7c1d78bSKevin Wolf 
4457eaa8fb5SKevin Wolf     /* Single jobs are modeled as single-job transactions for sake of
4467eaa8fb5SKevin Wolf      * consolidating the job management logic */
4477eaa8fb5SKevin Wolf     if (!txn) {
4487eaa8fb5SKevin Wolf         txn = job_txn_new();
449afe1e8a7SEmanuele Giuseppe Esposito         job_txn_add_job_locked(txn, job);
450afe1e8a7SEmanuele Giuseppe Esposito         job_txn_unref_locked(txn);
4517eaa8fb5SKevin Wolf     } else {
452afe1e8a7SEmanuele Giuseppe Esposito         job_txn_add_job_locked(txn, job);
4537eaa8fb5SKevin Wolf     }
4547eaa8fb5SKevin Wolf 
45533e9e9bdSKevin Wolf     return job;
45633e9e9bdSKevin Wolf }
457fd61a701SKevin Wolf 
job_ref_locked(Job * job)458afe1e8a7SEmanuele Giuseppe Esposito void job_ref_locked(Job *job)
459fd61a701SKevin Wolf {
46080fa2c75SKevin Wolf     ++job->refcnt;
46180fa2c75SKevin Wolf }
46280fa2c75SKevin Wolf 
job_unref_locked(Job * job)463afe1e8a7SEmanuele Giuseppe Esposito void job_unref_locked(Job *job)
46480fa2c75SKevin Wolf {
465c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
466c70b8031SEmanuele Giuseppe Esposito 
46780fa2c75SKevin Wolf     if (--job->refcnt == 0) {
46880fa2c75SKevin Wolf         assert(job->status == JOB_STATUS_NULL);
4695d43e86eSKevin Wolf         assert(!timer_pending(&job->sleep_timer));
4707eaa8fb5SKevin Wolf         assert(!job->txn);
47180fa2c75SKevin Wolf 
47280fa2c75SKevin Wolf         if (job->driver->free) {
473afe1e8a7SEmanuele Giuseppe Esposito             job_unlock();
47480fa2c75SKevin Wolf             job->driver->free(job);
475afe1e8a7SEmanuele Giuseppe Esposito             job_lock();
47680fa2c75SKevin Wolf         }
47780fa2c75SKevin Wolf 
478e7c1d78bSKevin Wolf         QLIST_REMOVE(job, job_list);
479e7c1d78bSKevin Wolf 
480a7b4f8fcSEmanuele Giuseppe Esposito         progress_destroy(&job->progress);
4813d1f8b07SJohn Snow         error_free(job->err);
482fd61a701SKevin Wolf         g_free(job->id);
483fd61a701SKevin Wolf         g_free(job);
484fd61a701SKevin Wolf     }
48580fa2c75SKevin Wolf }
4861908a559SKevin Wolf 
job_progress_update(Job * job,uint64_t done)48730a5c887SKevin Wolf void job_progress_update(Job *job, uint64_t done)
48830a5c887SKevin Wolf {
48901fe1ca9SVladimir Sementsov-Ogievskiy     progress_work_done(&job->progress, done);
49030a5c887SKevin Wolf }
49130a5c887SKevin Wolf 
job_progress_set_remaining(Job * job,uint64_t remaining)49230a5c887SKevin Wolf void job_progress_set_remaining(Job *job, uint64_t remaining)
49330a5c887SKevin Wolf {
49401fe1ca9SVladimir Sementsov-Ogievskiy     progress_set_remaining(&job->progress, remaining);
49530a5c887SKevin Wolf }
49630a5c887SKevin Wolf 
job_progress_increase_remaining(Job * job,uint64_t delta)49762f13600SMax Reitz void job_progress_increase_remaining(Job *job, uint64_t delta)
49862f13600SMax Reitz {
49901fe1ca9SVladimir Sementsov-Ogievskiy     progress_increase_remaining(&job->progress, delta);
50062f13600SMax Reitz }
50162f13600SMax Reitz 
502544f4d52SEmanuele Giuseppe Esposito /**
503544f4d52SEmanuele Giuseppe Esposito  * To be called when a cancelled job is finalised.
504afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
505544f4d52SEmanuele Giuseppe Esposito  */
job_event_cancelled_locked(Job * job)506afe1e8a7SEmanuele Giuseppe Esposito static void job_event_cancelled_locked(Job *job)
507139a9f02SKevin Wolf {
508139a9f02SKevin Wolf     notifier_list_notify(&job->on_finalize_cancelled, job);
509139a9f02SKevin Wolf }
510139a9f02SKevin Wolf 
511544f4d52SEmanuele Giuseppe Esposito /**
512544f4d52SEmanuele Giuseppe Esposito  * To be called when a successfully completed job is finalised.
513afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
514544f4d52SEmanuele Giuseppe Esposito  */
job_event_completed_locked(Job * job)515afe1e8a7SEmanuele Giuseppe Esposito static void job_event_completed_locked(Job *job)
516139a9f02SKevin Wolf {
517139a9f02SKevin Wolf     notifier_list_notify(&job->on_finalize_completed, job);
518139a9f02SKevin Wolf }
519139a9f02SKevin Wolf 
520afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_pending_locked(Job * job)521afe1e8a7SEmanuele Giuseppe Esposito static void job_event_pending_locked(Job *job)
522139a9f02SKevin Wolf {
523139a9f02SKevin Wolf     notifier_list_notify(&job->on_pending, job);
524139a9f02SKevin Wolf }
525139a9f02SKevin Wolf 
526afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_ready_locked(Job * job)527afe1e8a7SEmanuele Giuseppe Esposito static void job_event_ready_locked(Job *job)
5282e1795b5SKevin Wolf {
5292e1795b5SKevin Wolf     notifier_list_notify(&job->on_ready, job);
5302e1795b5SKevin Wolf }
5312e1795b5SKevin Wolf 
532afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_event_idle_locked(Job * job)533afe1e8a7SEmanuele Giuseppe Esposito static void job_event_idle_locked(Job *job)
53434dc97b9SKevin Wolf {
53534dc97b9SKevin Wolf     notifier_list_notify(&job->on_idle, job);
53634dc97b9SKevin Wolf }
53734dc97b9SKevin Wolf 
job_enter_cond_locked(Job * job,bool (* fn)(Job * job))538afe1e8a7SEmanuele Giuseppe Esposito void job_enter_cond_locked(Job *job, bool(*fn)(Job *job))
539da01ff7fSKevin Wolf {
540afe1e8a7SEmanuele Giuseppe Esposito     if (!job_started_locked(job)) {
541da01ff7fSKevin Wolf         return;
542da01ff7fSKevin Wolf     }
543da01ff7fSKevin Wolf     if (job->deferred_to_main_loop) {
544da01ff7fSKevin Wolf         return;
545da01ff7fSKevin Wolf     }
546da01ff7fSKevin Wolf 
547da01ff7fSKevin Wolf     if (job->busy) {
548da01ff7fSKevin Wolf         return;
549da01ff7fSKevin Wolf     }
550da01ff7fSKevin Wolf 
551da01ff7fSKevin Wolf     if (fn && !fn(job)) {
552da01ff7fSKevin Wolf         return;
553da01ff7fSKevin Wolf     }
554da01ff7fSKevin Wolf 
555da01ff7fSKevin Wolf     assert(!job->deferred_to_main_loop);
556da01ff7fSKevin Wolf     timer_del(&job->sleep_timer);
557da01ff7fSKevin Wolf     job->busy = true;
558afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
559ef02dac2SPaolo Bonzini     aio_co_wake(job->co);
560afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
561afe1e8a7SEmanuele Giuseppe Esposito }
562afe1e8a7SEmanuele Giuseppe Esposito 
job_enter(Job * job)5635d43e86eSKevin Wolf void job_enter(Job *job)
5645d43e86eSKevin Wolf {
565afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
566afe1e8a7SEmanuele Giuseppe Esposito     job_enter_cond_locked(job, NULL);
5675d43e86eSKevin Wolf }
5685d43e86eSKevin Wolf 
569da01ff7fSKevin Wolf /* Yield, and schedule a timer to reenter the coroutine after @ns nanoseconds.
5703d70ff53SKevin Wolf  * Reentering the job coroutine with job_enter() before the timer has expired
5713d70ff53SKevin Wolf  * is allowed and cancels the timer.
572da01ff7fSKevin Wolf  *
5733d70ff53SKevin Wolf  * If @ns is (uint64_t) -1, no timer is scheduled and job_enter() must be
574afe1e8a7SEmanuele Giuseppe Esposito  * called explicitly.
575afe1e8a7SEmanuele Giuseppe Esposito  *
576afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
577afe1e8a7SEmanuele Giuseppe Esposito  */
job_do_yield_locked(Job * job,uint64_t ns)578afe1e8a7SEmanuele Giuseppe Esposito static void coroutine_fn job_do_yield_locked(Job *job, uint64_t ns)
579da01ff7fSKevin Wolf {
580ef02dac2SPaolo Bonzini     AioContext *next_aio_context;
581ef02dac2SPaolo Bonzini 
582da01ff7fSKevin Wolf     if (ns != -1) {
583da01ff7fSKevin Wolf         timer_mod(&job->sleep_timer, ns);
584da01ff7fSKevin Wolf     }
585da01ff7fSKevin Wolf     job->busy = false;
586afe1e8a7SEmanuele Giuseppe Esposito     job_event_idle_locked(job);
587afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
588da01ff7fSKevin Wolf     qemu_coroutine_yield();
589afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
590da01ff7fSKevin Wolf 
591ef02dac2SPaolo Bonzini     next_aio_context = job->aio_context;
592ef02dac2SPaolo Bonzini     /*
593ef02dac2SPaolo Bonzini      * Coroutine has resumed, but in the meanwhile the job AioContext
594142e6907SEmanuele Giuseppe Esposito      * might have changed via bdrv_try_change_aio_context(), so we need to move
595ef02dac2SPaolo Bonzini      * the coroutine too in the new aiocontext.
596ef02dac2SPaolo Bonzini      */
597ef02dac2SPaolo Bonzini     while (qemu_get_current_aio_context() != next_aio_context) {
598ef02dac2SPaolo Bonzini         job_unlock();
599ef02dac2SPaolo Bonzini         aio_co_reschedule_self(next_aio_context);
600ef02dac2SPaolo Bonzini         job_lock();
601ef02dac2SPaolo Bonzini         next_aio_context = job->aio_context;
602ef02dac2SPaolo Bonzini     }
603ef02dac2SPaolo Bonzini 
604ef02dac2SPaolo Bonzini     /* Set by job_enter_cond_locked() before re-entering the coroutine.  */
605da01ff7fSKevin Wolf     assert(job->busy);
606da01ff7fSKevin Wolf }
607da01ff7fSKevin Wolf 
608afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily. */
job_pause_point_locked(Job * job)609afe1e8a7SEmanuele Giuseppe Esposito static void coroutine_fn job_pause_point_locked(Job *job)
610da01ff7fSKevin Wolf {
611afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job_started_locked(job));
612da01ff7fSKevin Wolf 
613afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
614da01ff7fSKevin Wolf         return;
615da01ff7fSKevin Wolf     }
616afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
617da01ff7fSKevin Wolf         return;
618da01ff7fSKevin Wolf     }
619da01ff7fSKevin Wolf 
620da01ff7fSKevin Wolf     if (job->driver->pause) {
621afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
622da01ff7fSKevin Wolf         job->driver->pause(job);
623afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
624da01ff7fSKevin Wolf     }
625da01ff7fSKevin Wolf 
626afe1e8a7SEmanuele Giuseppe Esposito     if (job_should_pause_locked(job) && !job_is_cancelled_locked(job)) {
627da01ff7fSKevin Wolf         JobStatus status = job->status;
628afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, status == JOB_STATUS_READY
629da01ff7fSKevin Wolf                                     ? JOB_STATUS_STANDBY
630da01ff7fSKevin Wolf                                     : JOB_STATUS_PAUSED);
631da01ff7fSKevin Wolf         job->paused = true;
632afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, -1);
633da01ff7fSKevin Wolf         job->paused = false;
634afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, status);
635da01ff7fSKevin Wolf     }
636da01ff7fSKevin Wolf 
637da01ff7fSKevin Wolf     if (job->driver->resume) {
638afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
639da01ff7fSKevin Wolf         job->driver->resume(job);
640afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
641da01ff7fSKevin Wolf     }
642da01ff7fSKevin Wolf }
643da01ff7fSKevin Wolf 
job_pause_point(Job * job)644afe1e8a7SEmanuele Giuseppe Esposito void coroutine_fn job_pause_point(Job *job)
645afe1e8a7SEmanuele Giuseppe Esposito {
646afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
647afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
648afe1e8a7SEmanuele Giuseppe Esposito }
649afe1e8a7SEmanuele Giuseppe Esposito 
job_yield(Job * job)6509bd4d3c2SEmanuele Giuseppe Esposito void coroutine_fn job_yield(Job *job)
651afe1e8a7SEmanuele Giuseppe Esposito {
6529bd4d3c2SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
653afe1e8a7SEmanuele Giuseppe Esposito     assert(job->busy);
654afe1e8a7SEmanuele Giuseppe Esposito 
655afe1e8a7SEmanuele Giuseppe Esposito     /* Check cancellation *before* setting busy = false, too!  */
656afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
657afe1e8a7SEmanuele Giuseppe Esposito         return;
658afe1e8a7SEmanuele Giuseppe Esposito     }
659afe1e8a7SEmanuele Giuseppe Esposito 
660afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
661afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, -1);
662afe1e8a7SEmanuele Giuseppe Esposito     }
663afe1e8a7SEmanuele Giuseppe Esposito 
664afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
665afe1e8a7SEmanuele Giuseppe Esposito }
666afe1e8a7SEmanuele Giuseppe Esposito 
job_sleep_ns(Job * job,int64_t ns)6675d43e86eSKevin Wolf void coroutine_fn job_sleep_ns(Job *job, int64_t ns)
6685d43e86eSKevin Wolf {
669afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
6705d43e86eSKevin Wolf     assert(job->busy);
6715d43e86eSKevin Wolf 
6725d43e86eSKevin Wolf     /* Check cancellation *before* setting busy = false, too!  */
673afe1e8a7SEmanuele Giuseppe Esposito     if (job_is_cancelled_locked(job)) {
6745d43e86eSKevin Wolf         return;
6755d43e86eSKevin Wolf     }
6765d43e86eSKevin Wolf 
677afe1e8a7SEmanuele Giuseppe Esposito     if (!job_should_pause_locked(job)) {
678afe1e8a7SEmanuele Giuseppe Esposito         job_do_yield_locked(job, qemu_clock_get_ns(QEMU_CLOCK_REALTIME) + ns);
6795d43e86eSKevin Wolf     }
6805d43e86eSKevin Wolf 
681afe1e8a7SEmanuele Giuseppe Esposito     job_pause_point_locked(job);
6825d43e86eSKevin Wolf }
6835d43e86eSKevin Wolf 
684afe1e8a7SEmanuele Giuseppe Esposito /* Assumes the job_mutex is held */
job_timer_not_pending_locked(Job * job)685afe1e8a7SEmanuele Giuseppe Esposito static bool job_timer_not_pending_locked(Job *job)
686b15de828SKevin Wolf {
687b15de828SKevin Wolf     return !timer_pending(&job->sleep_timer);
688b15de828SKevin Wolf }
689b15de828SKevin Wolf 
job_pause_locked(Job * job)690afe1e8a7SEmanuele Giuseppe Esposito void job_pause_locked(Job *job)
691b15de828SKevin Wolf {
692b15de828SKevin Wolf     job->pause_count++;
6933ee1483bSVladimir Sementsov-Ogievskiy     if (!job->paused) {
694afe1e8a7SEmanuele Giuseppe Esposito         job_enter_cond_locked(job, NULL);
6953ee1483bSVladimir Sementsov-Ogievskiy     }
696b15de828SKevin Wolf }
697b15de828SKevin Wolf 
job_pause(Job * job)698afe1e8a7SEmanuele Giuseppe Esposito void job_pause(Job *job)
699afe1e8a7SEmanuele Giuseppe Esposito {
700afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
701afe1e8a7SEmanuele Giuseppe Esposito     job_pause_locked(job);
702afe1e8a7SEmanuele Giuseppe Esposito }
703afe1e8a7SEmanuele Giuseppe Esposito 
job_resume_locked(Job * job)704afe1e8a7SEmanuele Giuseppe Esposito void job_resume_locked(Job *job)
705b15de828SKevin Wolf {
706b15de828SKevin Wolf     assert(job->pause_count > 0);
707b15de828SKevin Wolf     job->pause_count--;
708b15de828SKevin Wolf     if (job->pause_count) {
709b15de828SKevin Wolf         return;
710b15de828SKevin Wolf     }
711b15de828SKevin Wolf 
712b15de828SKevin Wolf     /* kick only if no timer is pending */
713afe1e8a7SEmanuele Giuseppe Esposito     job_enter_cond_locked(job, job_timer_not_pending_locked);
714b15de828SKevin Wolf }
715b15de828SKevin Wolf 
job_resume(Job * job)716afe1e8a7SEmanuele Giuseppe Esposito void job_resume(Job *job)
717b15de828SKevin Wolf {
718afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
719afe1e8a7SEmanuele Giuseppe Esposito     job_resume_locked(job);
720afe1e8a7SEmanuele Giuseppe Esposito }
721afe1e8a7SEmanuele Giuseppe Esposito 
job_user_pause_locked(Job * job,Error ** errp)722afe1e8a7SEmanuele Giuseppe Esposito void job_user_pause_locked(Job *job, Error **errp)
723afe1e8a7SEmanuele Giuseppe Esposito {
724afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_PAUSE, errp)) {
725b15de828SKevin Wolf         return;
726b15de828SKevin Wolf     }
727b15de828SKevin Wolf     if (job->user_paused) {
728b15de828SKevin Wolf         error_setg(errp, "Job is already paused");
729b15de828SKevin Wolf         return;
730b15de828SKevin Wolf     }
731b15de828SKevin Wolf     job->user_paused = true;
732afe1e8a7SEmanuele Giuseppe Esposito     job_pause_locked(job);
733b15de828SKevin Wolf }
734b15de828SKevin Wolf 
job_user_paused_locked(Job * job)735afe1e8a7SEmanuele Giuseppe Esposito bool job_user_paused_locked(Job *job)
736b15de828SKevin Wolf {
737b15de828SKevin Wolf     return job->user_paused;
738b15de828SKevin Wolf }
739b15de828SKevin Wolf 
job_user_resume_locked(Job * job,Error ** errp)740afe1e8a7SEmanuele Giuseppe Esposito void job_user_resume_locked(Job *job, Error **errp)
741b15de828SKevin Wolf {
742b15de828SKevin Wolf     assert(job);
743c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
744b15de828SKevin Wolf     if (!job->user_paused || job->pause_count <= 0) {
745b15de828SKevin Wolf         error_setg(errp, "Can't resume a job that was not paused");
746b15de828SKevin Wolf         return;
747b15de828SKevin Wolf     }
748afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_RESUME, errp)) {
749b15de828SKevin Wolf         return;
750b15de828SKevin Wolf     }
751b15de828SKevin Wolf     if (job->driver->user_resume) {
752afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
753b15de828SKevin Wolf         job->driver->user_resume(job);
754afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
755b15de828SKevin Wolf     }
756b15de828SKevin Wolf     job->user_paused = false;
757afe1e8a7SEmanuele Giuseppe Esposito     job_resume_locked(job);
758b15de828SKevin Wolf }
759b15de828SKevin Wolf 
760afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily. */
job_do_dismiss_locked(Job * job)761afe1e8a7SEmanuele Giuseppe Esposito static void job_do_dismiss_locked(Job *job)
7624ad35181SKevin Wolf {
7634ad35181SKevin Wolf     assert(job);
7644ad35181SKevin Wolf     job->busy = false;
7654ad35181SKevin Wolf     job->paused = false;
7664ad35181SKevin Wolf     job->deferred_to_main_loop = true;
7674ad35181SKevin Wolf 
768afe1e8a7SEmanuele Giuseppe Esposito     job_txn_del_job_locked(job);
7694ad35181SKevin Wolf 
770afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_NULL);
771afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
7724ad35181SKevin Wolf }
7734ad35181SKevin Wolf 
job_dismiss_locked(Job ** jobptr,Error ** errp)774afe1e8a7SEmanuele Giuseppe Esposito void job_dismiss_locked(Job **jobptr, Error **errp)
7755f9a6a08SKevin Wolf {
7765f9a6a08SKevin Wolf     Job *job = *jobptr;
7775f9a6a08SKevin Wolf     /* similarly to _complete, this is QMP-interface only. */
7785f9a6a08SKevin Wolf     assert(job->id);
779afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_DISMISS, errp)) {
7805f9a6a08SKevin Wolf         return;
7815f9a6a08SKevin Wolf     }
7825f9a6a08SKevin Wolf 
783afe1e8a7SEmanuele Giuseppe Esposito     job_do_dismiss_locked(job);
7845f9a6a08SKevin Wolf     *jobptr = NULL;
7855f9a6a08SKevin Wolf }
7865f9a6a08SKevin Wolf 
job_early_fail(Job * job)7874ad35181SKevin Wolf void job_early_fail(Job *job)
7884ad35181SKevin Wolf {
789afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
7904ad35181SKevin Wolf     assert(job->status == JOB_STATUS_CREATED);
791afe1e8a7SEmanuele Giuseppe Esposito     job_do_dismiss_locked(job);
7924ad35181SKevin Wolf }
7934ad35181SKevin Wolf 
794afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_conclude_locked(Job * job)795afe1e8a7SEmanuele Giuseppe Esposito static void job_conclude_locked(Job *job)
7964ad35181SKevin Wolf {
797afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_CONCLUDED);
798afe1e8a7SEmanuele Giuseppe Esposito     if (job->auto_dismiss || !job_started_locked(job)) {
799afe1e8a7SEmanuele Giuseppe Esposito         job_do_dismiss_locked(job);
8004ad35181SKevin Wolf     }
8014ad35181SKevin Wolf }
8024ad35181SKevin Wolf 
803afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_update_rc_locked(Job * job)804afe1e8a7SEmanuele Giuseppe Esposito static void job_update_rc_locked(Job *job)
8054ad35181SKevin Wolf {
806afe1e8a7SEmanuele Giuseppe Esposito     if (!job->ret && job_is_cancelled_locked(job)) {
8074ad35181SKevin Wolf         job->ret = -ECANCELED;
8084ad35181SKevin Wolf     }
8094ad35181SKevin Wolf     if (job->ret) {
8103d1f8b07SJohn Snow         if (!job->err) {
8113d1f8b07SJohn Snow             error_setg(&job->err, "%s", strerror(-job->ret));
8121266c9b9SKevin Wolf         }
813afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, JOB_STATUS_ABORTING);
8144ad35181SKevin Wolf     }
8154ad35181SKevin Wolf }
8164ad35181SKevin Wolf 
job_commit(Job * job)8174ad35181SKevin Wolf static void job_commit(Job *job)
8184ad35181SKevin Wolf {
8194ad35181SKevin Wolf     assert(!job->ret);
820c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8214ad35181SKevin Wolf     if (job->driver->commit) {
8224ad35181SKevin Wolf         job->driver->commit(job);
8234ad35181SKevin Wolf     }
8244ad35181SKevin Wolf }
8254ad35181SKevin Wolf 
job_abort(Job * job)8264ad35181SKevin Wolf static void job_abort(Job *job)
8274ad35181SKevin Wolf {
8284ad35181SKevin Wolf     assert(job->ret);
829c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8304ad35181SKevin Wolf     if (job->driver->abort) {
8314ad35181SKevin Wolf         job->driver->abort(job);
8324ad35181SKevin Wolf     }
8334ad35181SKevin Wolf }
8344ad35181SKevin Wolf 
job_clean(Job * job)8354ad35181SKevin Wolf static void job_clean(Job *job)
8364ad35181SKevin Wolf {
837c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8384ad35181SKevin Wolf     if (job->driver->clean) {
8394ad35181SKevin Wolf         job->driver->clean(job);
8404ad35181SKevin Wolf     }
8414ad35181SKevin Wolf }
8424ad35181SKevin Wolf 
8436f592e5aSEmanuele Giuseppe Esposito /*
8446f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
8456f592e5aSEmanuele Giuseppe Esposito  */
job_finalize_single_locked(Job * job)846afe1e8a7SEmanuele Giuseppe Esposito static int job_finalize_single_locked(Job *job)
8474ad35181SKevin Wolf {
848afe1e8a7SEmanuele Giuseppe Esposito     int job_ret;
849afe1e8a7SEmanuele Giuseppe Esposito 
850afe1e8a7SEmanuele Giuseppe Esposito     assert(job_is_completed_locked(job));
8514ad35181SKevin Wolf 
8524ad35181SKevin Wolf     /* Ensure abort is called for late-transactional failures */
853afe1e8a7SEmanuele Giuseppe Esposito     job_update_rc_locked(job);
8544ad35181SKevin Wolf 
855afe1e8a7SEmanuele Giuseppe Esposito     job_ret = job->ret;
856afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
857afe1e8a7SEmanuele Giuseppe Esposito 
858afe1e8a7SEmanuele Giuseppe Esposito     if (!job_ret) {
8594ad35181SKevin Wolf         job_commit(job);
8604ad35181SKevin Wolf     } else {
8614ad35181SKevin Wolf         job_abort(job);
8624ad35181SKevin Wolf     }
8634ad35181SKevin Wolf     job_clean(job);
8644ad35181SKevin Wolf 
8654ad35181SKevin Wolf     if (job->cb) {
866afe1e8a7SEmanuele Giuseppe Esposito         job->cb(job->opaque, job_ret);
8674ad35181SKevin Wolf     }
8684ad35181SKevin Wolf 
8696f592e5aSEmanuele Giuseppe Esposito     job_lock();
8706f592e5aSEmanuele Giuseppe Esposito 
8714ad35181SKevin Wolf     /* Emit events only if we actually started */
872afe1e8a7SEmanuele Giuseppe Esposito     if (job_started_locked(job)) {
873afe1e8a7SEmanuele Giuseppe Esposito         if (job_is_cancelled_locked(job)) {
874afe1e8a7SEmanuele Giuseppe Esposito             job_event_cancelled_locked(job);
8754ad35181SKevin Wolf         } else {
876afe1e8a7SEmanuele Giuseppe Esposito             job_event_completed_locked(job);
8774ad35181SKevin Wolf         }
8784ad35181SKevin Wolf     }
8794ad35181SKevin Wolf 
880afe1e8a7SEmanuele Giuseppe Esposito     job_txn_del_job_locked(job);
881afe1e8a7SEmanuele Giuseppe Esposito     job_conclude_locked(job);
8824ad35181SKevin Wolf     return 0;
8834ad35181SKevin Wolf }
8844ad35181SKevin Wolf 
8856f592e5aSEmanuele Giuseppe Esposito /*
8866f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
8876f592e5aSEmanuele Giuseppe Esposito  */
job_cancel_async_locked(Job * job,bool force)888afe1e8a7SEmanuele Giuseppe Esposito static void job_cancel_async_locked(Job *job, bool force)
8897eaa8fb5SKevin Wolf {
890c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
8919820933bSVladimir Sementsov-Ogievskiy     if (job->driver->cancel) {
892afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
89373895f38SHanna Reitz         force = job->driver->cancel(job, force);
894afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
89573895f38SHanna Reitz     } else {
89673895f38SHanna Reitz         /* No .cancel() means the job will behave as if force-cancelled */
89773895f38SHanna Reitz         force = true;
8989820933bSVladimir Sementsov-Ogievskiy     }
89973895f38SHanna Reitz 
9007eaa8fb5SKevin Wolf     if (job->user_paused) {
9017eaa8fb5SKevin Wolf         /* Do not call job_enter here, the caller will handle it.  */
9027eaa8fb5SKevin Wolf         if (job->driver->user_resume) {
903afe1e8a7SEmanuele Giuseppe Esposito             job_unlock();
9047eaa8fb5SKevin Wolf             job->driver->user_resume(job);
905afe1e8a7SEmanuele Giuseppe Esposito             job_lock();
9067eaa8fb5SKevin Wolf         }
907e321c059SJeff Cody         job->user_paused = false;
9087eaa8fb5SKevin Wolf         assert(job->pause_count > 0);
9097eaa8fb5SKevin Wolf         job->pause_count--;
9107eaa8fb5SKevin Wolf     }
911401dd096SHanna Reitz 
912401dd096SHanna Reitz     /*
913401dd096SHanna Reitz      * Ignore soft cancel requests after the job is already done
914401dd096SHanna Reitz      * (We will still invoke job->driver->cancel() above, but if the
915401dd096SHanna Reitz      * job driver supports soft cancelling and the job is done, that
916401dd096SHanna Reitz      * should be a no-op, too.  We still call it so it can override
917401dd096SHanna Reitz      * @force.)
918401dd096SHanna Reitz      */
919401dd096SHanna Reitz     if (force || !job->deferred_to_main_loop) {
9207eaa8fb5SKevin Wolf         job->cancelled = true;
9217eaa8fb5SKevin Wolf         /* To prevent 'force == false' overriding a previous 'force == true' */
9227eaa8fb5SKevin Wolf         job->force_cancel |= force;
9237eaa8fb5SKevin Wolf     }
924401dd096SHanna Reitz }
9257eaa8fb5SKevin Wolf 
9266f592e5aSEmanuele Giuseppe Esposito /*
9276f592e5aSEmanuele Giuseppe Esposito  * Called with job_mutex held, but releases it temporarily.
9286f592e5aSEmanuele Giuseppe Esposito  */
job_completed_txn_abort_locked(Job * job)929afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_txn_abort_locked(Job *job)
9307eaa8fb5SKevin Wolf {
9317eaa8fb5SKevin Wolf     JobTxn *txn = job->txn;
9327eaa8fb5SKevin Wolf     Job *other_job;
9337eaa8fb5SKevin Wolf 
9347eaa8fb5SKevin Wolf     if (txn->aborting) {
9357eaa8fb5SKevin Wolf         /*
9367eaa8fb5SKevin Wolf          * We are cancelled by another job, which will handle everything.
9377eaa8fb5SKevin Wolf          */
9387eaa8fb5SKevin Wolf         return;
9397eaa8fb5SKevin Wolf     }
9407eaa8fb5SKevin Wolf     txn->aborting = true;
941afe1e8a7SEmanuele Giuseppe Esposito     job_txn_ref_locked(txn);
9427eaa8fb5SKevin Wolf 
943afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
9447eaa8fb5SKevin Wolf 
9457eaa8fb5SKevin Wolf     /* Other jobs are effectively cancelled by us, set the status for
9467eaa8fb5SKevin Wolf      * them; this job, however, may or may not be cancelled, depending
9477eaa8fb5SKevin Wolf      * on the caller, so leave it. */
9487eaa8fb5SKevin Wolf     QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
9497eaa8fb5SKevin Wolf         if (other_job != job) {
9501d4a43e9SHanna Reitz             /*
9511d4a43e9SHanna Reitz              * This is a transaction: If one job failed, no result will matter.
9521d4a43e9SHanna Reitz              * Therefore, pass force=true to terminate all other jobs as quickly
9531d4a43e9SHanna Reitz              * as possible.
9541d4a43e9SHanna Reitz              */
955afe1e8a7SEmanuele Giuseppe Esposito             job_cancel_async_locked(other_job, true);
9567eaa8fb5SKevin Wolf         }
9577eaa8fb5SKevin Wolf     }
9587eaa8fb5SKevin Wolf     while (!QLIST_EMPTY(&txn->jobs)) {
9597eaa8fb5SKevin Wolf         other_job = QLIST_FIRST(&txn->jobs);
960afe1e8a7SEmanuele Giuseppe Esposito         if (!job_is_completed_locked(other_job)) {
961afe1e8a7SEmanuele Giuseppe Esposito             assert(job_cancel_requested_locked(other_job));
962afe1e8a7SEmanuele Giuseppe Esposito             job_finish_sync_locked(other_job, NULL, NULL);
9637eaa8fb5SKevin Wolf         }
964afe1e8a7SEmanuele Giuseppe Esposito         job_finalize_single_locked(other_job);
9657eaa8fb5SKevin Wolf     }
9667eaa8fb5SKevin Wolf 
967afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
968afe1e8a7SEmanuele Giuseppe Esposito     job_txn_unref_locked(txn);
9697eaa8fb5SKevin Wolf }
9707eaa8fb5SKevin Wolf 
971afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held, but releases it temporarily */
job_prepare_locked(Job * job)972afe1e8a7SEmanuele Giuseppe Esposito static int job_prepare_locked(Job *job)
9737eaa8fb5SKevin Wolf {
974afe1e8a7SEmanuele Giuseppe Esposito     int ret;
975afe1e8a7SEmanuele Giuseppe Esposito 
976c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
9776f592e5aSEmanuele Giuseppe Esposito 
9787eaa8fb5SKevin Wolf     if (job->ret == 0 && job->driver->prepare) {
979afe1e8a7SEmanuele Giuseppe Esposito         job_unlock();
980afe1e8a7SEmanuele Giuseppe Esposito         ret = job->driver->prepare(job);
981afe1e8a7SEmanuele Giuseppe Esposito         job_lock();
982afe1e8a7SEmanuele Giuseppe Esposito         job->ret = ret;
983afe1e8a7SEmanuele Giuseppe Esposito         job_update_rc_locked(job);
9847eaa8fb5SKevin Wolf     }
9856f592e5aSEmanuele Giuseppe Esposito 
9867eaa8fb5SKevin Wolf     return job->ret;
9877eaa8fb5SKevin Wolf }
9887eaa8fb5SKevin Wolf 
989afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held */
job_needs_finalize_locked(Job * job)990afe1e8a7SEmanuele Giuseppe Esposito static int job_needs_finalize_locked(Job *job)
9917eaa8fb5SKevin Wolf {
9927eaa8fb5SKevin Wolf     return !job->auto_finalize;
9937eaa8fb5SKevin Wolf }
9947eaa8fb5SKevin Wolf 
995afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held */
job_do_finalize_locked(Job * job)996afe1e8a7SEmanuele Giuseppe Esposito static void job_do_finalize_locked(Job *job)
9977eaa8fb5SKevin Wolf {
9987eaa8fb5SKevin Wolf     int rc;
9997eaa8fb5SKevin Wolf     assert(job && job->txn);
10007eaa8fb5SKevin Wolf 
10017eaa8fb5SKevin Wolf     /* prepare the transaction to complete */
1002afe1e8a7SEmanuele Giuseppe Esposito     rc = job_txn_apply_locked(job, job_prepare_locked);
10037eaa8fb5SKevin Wolf     if (rc) {
1004afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_abort_locked(job);
10057eaa8fb5SKevin Wolf     } else {
1006afe1e8a7SEmanuele Giuseppe Esposito         job_txn_apply_locked(job, job_finalize_single_locked);
10077eaa8fb5SKevin Wolf     }
10087eaa8fb5SKevin Wolf }
10097eaa8fb5SKevin Wolf 
job_finalize_locked(Job * job,Error ** errp)1010afe1e8a7SEmanuele Giuseppe Esposito void job_finalize_locked(Job *job, Error **errp)
1011afe1e8a7SEmanuele Giuseppe Esposito {
1012afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job->id);
1013afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_FINALIZE, errp)) {
1014afe1e8a7SEmanuele Giuseppe Esposito         return;
1015afe1e8a7SEmanuele Giuseppe Esposito     }
1016afe1e8a7SEmanuele Giuseppe Esposito     job_do_finalize_locked(job);
1017afe1e8a7SEmanuele Giuseppe Esposito }
1018afe1e8a7SEmanuele Giuseppe Esposito 
1019afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_transition_to_pending_locked(Job * job)1020afe1e8a7SEmanuele Giuseppe Esposito static int job_transition_to_pending_locked(Job *job)
10217eaa8fb5SKevin Wolf {
1022afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_PENDING);
10237eaa8fb5SKevin Wolf     if (!job->auto_finalize) {
1024afe1e8a7SEmanuele Giuseppe Esposito         job_event_pending_locked(job);
10257eaa8fb5SKevin Wolf     }
10267eaa8fb5SKevin Wolf     return 0;
10277eaa8fb5SKevin Wolf }
10287eaa8fb5SKevin Wolf 
job_transition_to_ready(Job * job)10292e1795b5SKevin Wolf void job_transition_to_ready(Job *job)
10302e1795b5SKevin Wolf {
1031afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1032afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_READY);
1033afe1e8a7SEmanuele Giuseppe Esposito     job_event_ready_locked(job);
10342e1795b5SKevin Wolf }
10352e1795b5SKevin Wolf 
1036afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_completed_txn_success_locked(Job * job)1037afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_txn_success_locked(Job *job)
10387eaa8fb5SKevin Wolf {
10397eaa8fb5SKevin Wolf     JobTxn *txn = job->txn;
10407eaa8fb5SKevin Wolf     Job *other_job;
10417eaa8fb5SKevin Wolf 
1042afe1e8a7SEmanuele Giuseppe Esposito     job_state_transition_locked(job, JOB_STATUS_WAITING);
10437eaa8fb5SKevin Wolf 
10447eaa8fb5SKevin Wolf     /*
10457eaa8fb5SKevin Wolf      * Successful completion, see if there are other running jobs in this
10467eaa8fb5SKevin Wolf      * txn.
10477eaa8fb5SKevin Wolf      */
10487eaa8fb5SKevin Wolf     QLIST_FOREACH(other_job, &txn->jobs, txn_list) {
1049afe1e8a7SEmanuele Giuseppe Esposito         if (!job_is_completed_locked(other_job)) {
10507eaa8fb5SKevin Wolf             return;
10517eaa8fb5SKevin Wolf         }
10527eaa8fb5SKevin Wolf         assert(other_job->ret == 0);
10537eaa8fb5SKevin Wolf     }
10547eaa8fb5SKevin Wolf 
1055afe1e8a7SEmanuele Giuseppe Esposito     job_txn_apply_locked(job, job_transition_to_pending_locked);
10567eaa8fb5SKevin Wolf 
10577eaa8fb5SKevin Wolf     /* If no jobs need manual finalization, automatically do so */
1058afe1e8a7SEmanuele Giuseppe Esposito     if (job_txn_apply_locked(job, job_needs_finalize_locked) == 0) {
1059afe1e8a7SEmanuele Giuseppe Esposito         job_do_finalize_locked(job);
10607eaa8fb5SKevin Wolf     }
10617eaa8fb5SKevin Wolf }
10627eaa8fb5SKevin Wolf 
1063afe1e8a7SEmanuele Giuseppe Esposito /* Called with job_mutex held. */
job_completed_locked(Job * job)1064afe1e8a7SEmanuele Giuseppe Esposito static void job_completed_locked(Job *job)
10653d70ff53SKevin Wolf {
1066afe1e8a7SEmanuele Giuseppe Esposito     assert(job && job->txn && !job_is_completed_locked(job));
10671266c9b9SKevin Wolf 
1068afe1e8a7SEmanuele Giuseppe Esposito     job_update_rc_locked(job);
1069404ff28dSJohn Snow     trace_job_completed(job, job->ret);
10703d70ff53SKevin Wolf     if (job->ret) {
1071afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_abort_locked(job);
10723d70ff53SKevin Wolf     } else {
1073afe1e8a7SEmanuele Giuseppe Esposito         job_completed_txn_success_locked(job);
10743d70ff53SKevin Wolf     }
10753d70ff53SKevin Wolf }
10763d70ff53SKevin Wolf 
1077afe1e8a7SEmanuele Giuseppe Esposito /**
1078afe1e8a7SEmanuele Giuseppe Esposito  * Useful only as a type shim for aio_bh_schedule_oneshot.
1079afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex *not* held.
1080afe1e8a7SEmanuele Giuseppe Esposito  */
job_exit(void * opaque)1081ccbfb331SJohn Snow static void job_exit(void *opaque)
1082ccbfb331SJohn Snow {
1083ccbfb331SJohn Snow     Job *job = (Job *)opaque;
1084afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1085afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
1086b5a7a057SKevin Wolf 
1087b5a7a057SKevin Wolf     /* This is a lie, we're not quiescent, but still doing the completion
1088b5a7a057SKevin Wolf      * callbacks. However, completion callbacks tend to involve operations that
1089b5a7a057SKevin Wolf      * drain block nodes, and if .drained_poll still returned true, we would
1090b5a7a057SKevin Wolf      * deadlock. */
1091b5a7a057SKevin Wolf     job->busy = false;
1092afe1e8a7SEmanuele Giuseppe Esposito     job_event_idle_locked(job);
1093b5a7a057SKevin Wolf 
1094afe1e8a7SEmanuele Giuseppe Esposito     job_completed_locked(job);
1095afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
1096ccbfb331SJohn Snow }
1097ccbfb331SJohn Snow 
1098ccbfb331SJohn Snow /**
1099ccbfb331SJohn Snow  * All jobs must allow a pause point before entering their job proper. This
1100ccbfb331SJohn Snow  * ensures that jobs can be paused prior to being started, then resumed later.
1101ccbfb331SJohn Snow  */
job_co_entry(void * opaque)1102ccbfb331SJohn Snow static void coroutine_fn job_co_entry(void *opaque)
1103ccbfb331SJohn Snow {
1104ccbfb331SJohn Snow     Job *job = opaque;
1105afe1e8a7SEmanuele Giuseppe Esposito     int ret;
1106ccbfb331SJohn Snow 
1107ccbfb331SJohn Snow     assert(job && job->driver && job->driver->run);
1108afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1109c70b8031SEmanuele Giuseppe Esposito         assert(job->aio_context == qemu_get_current_aio_context());
1110afe1e8a7SEmanuele Giuseppe Esposito         job_pause_point_locked(job);
1111afe1e8a7SEmanuele Giuseppe Esposito     }
1112afe1e8a7SEmanuele Giuseppe Esposito     ret = job->driver->run(job, &job->err);
1113afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1114afe1e8a7SEmanuele Giuseppe Esposito         job->ret = ret;
1115ccbfb331SJohn Snow         job->deferred_to_main_loop = true;
1116b5a7a057SKevin Wolf         job->busy = true;
1117afe1e8a7SEmanuele Giuseppe Esposito     }
1118ccbfb331SJohn Snow     aio_bh_schedule_oneshot(qemu_get_aio_context(), job_exit, job);
1119ccbfb331SJohn Snow }
1120ccbfb331SJohn Snow 
job_start(Job * job)1121ccbfb331SJohn Snow void job_start(Job *job)
1122ccbfb331SJohn Snow {
1123afe1e8a7SEmanuele Giuseppe Esposito     assert(qemu_in_main_thread());
1124afe1e8a7SEmanuele Giuseppe Esposito 
1125afe1e8a7SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
1126afe1e8a7SEmanuele Giuseppe Esposito         assert(job && !job_started_locked(job) && job->paused &&
1127ccbfb331SJohn Snow             job->driver && job->driver->run);
1128ccbfb331SJohn Snow         job->co = qemu_coroutine_create(job_co_entry, job);
1129ccbfb331SJohn Snow         job->pause_count--;
1130ccbfb331SJohn Snow         job->busy = true;
1131ccbfb331SJohn Snow         job->paused = false;
1132afe1e8a7SEmanuele Giuseppe Esposito         job_state_transition_locked(job, JOB_STATUS_RUNNING);
1133afe1e8a7SEmanuele Giuseppe Esposito     }
1134ccbfb331SJohn Snow     aio_co_enter(job->aio_context, job->co);
1135ccbfb331SJohn Snow }
1136ccbfb331SJohn Snow 
job_cancel_locked(Job * job,bool force)1137afe1e8a7SEmanuele Giuseppe Esposito void job_cancel_locked(Job *job, bool force)
11383d70ff53SKevin Wolf {
11393d70ff53SKevin Wolf     if (job->status == JOB_STATUS_CONCLUDED) {
1140afe1e8a7SEmanuele Giuseppe Esposito         job_do_dismiss_locked(job);
11413d70ff53SKevin Wolf         return;
11423d70ff53SKevin Wolf     }
1143afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_async_locked(job, force);
1144afe1e8a7SEmanuele Giuseppe Esposito     if (!job_started_locked(job)) {
1145afe1e8a7SEmanuele Giuseppe Esposito         job_completed_locked(job);
11463d70ff53SKevin Wolf     } else if (job->deferred_to_main_loop) {
1147401dd096SHanna Reitz         /*
1148401dd096SHanna Reitz          * job_cancel_async() ignores soft-cancel requests for jobs
1149401dd096SHanna Reitz          * that are already done (i.e. deferred to the main loop).  We
1150401dd096SHanna Reitz          * have to check again whether the job is really cancelled.
115108b83bffSHanna Reitz          * (job_cancel_requested() and job_is_cancelled() are equivalent
115208b83bffSHanna Reitz          * here, because job_cancel_async() will make soft-cancel
115308b83bffSHanna Reitz          * requests no-ops when deferred_to_main_loop is true.  We
115408b83bffSHanna Reitz          * choose to call job_is_cancelled() to show that we invoke
115508b83bffSHanna Reitz          * job_completed_txn_abort() only for force-cancelled jobs.)
1156401dd096SHanna Reitz          */
1157afe1e8a7SEmanuele Giuseppe Esposito         if (job_is_cancelled_locked(job)) {
1158afe1e8a7SEmanuele Giuseppe Esposito             job_completed_txn_abort_locked(job);
1159401dd096SHanna Reitz         }
11603d70ff53SKevin Wolf     } else {
1161afe1e8a7SEmanuele Giuseppe Esposito         job_enter_cond_locked(job, NULL);
11623d70ff53SKevin Wolf     }
11633d70ff53SKevin Wolf }
11643d70ff53SKevin Wolf 
job_user_cancel_locked(Job * job,bool force,Error ** errp)1165afe1e8a7SEmanuele Giuseppe Esposito void job_user_cancel_locked(Job *job, bool force, Error **errp)
1166afe1e8a7SEmanuele Giuseppe Esposito {
1167afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_CANCEL, errp)) {
1168afe1e8a7SEmanuele Giuseppe Esposito         return;
1169afe1e8a7SEmanuele Giuseppe Esposito     }
1170afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, force);
1171afe1e8a7SEmanuele Giuseppe Esposito }
1172afe1e8a7SEmanuele Giuseppe Esposito 
11739bd4d3c2SEmanuele Giuseppe Esposito /* A wrapper around job_cancel_locked() taking an Error ** parameter so it may
11749bd4d3c2SEmanuele Giuseppe Esposito  * be used with job_finish_sync_locked() without the need for (rather nasty)
11759bd4d3c2SEmanuele Giuseppe Esposito  * function pointer casts there.
1176afe1e8a7SEmanuele Giuseppe Esposito  *
1177afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
1178afe1e8a7SEmanuele Giuseppe Esposito  */
job_cancel_err_locked(Job * job,Error ** errp)1179afe1e8a7SEmanuele Giuseppe Esposito static void job_cancel_err_locked(Job *job, Error **errp)
11803d70ff53SKevin Wolf {
1181afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, false);
11823d70ff53SKevin Wolf }
11833d70ff53SKevin Wolf 
11844cfb3f05SHanna Reitz /**
11854cfb3f05SHanna Reitz  * Same as job_cancel_err(), but force-cancel.
1186afe1e8a7SEmanuele Giuseppe Esposito  * Called with job_mutex held.
11874cfb3f05SHanna Reitz  */
job_force_cancel_err_locked(Job * job,Error ** errp)1188afe1e8a7SEmanuele Giuseppe Esposito static void job_force_cancel_err_locked(Job *job, Error **errp)
11893d70ff53SKevin Wolf {
1190afe1e8a7SEmanuele Giuseppe Esposito     job_cancel_locked(job, true);
1191afe1e8a7SEmanuele Giuseppe Esposito }
1192afe1e8a7SEmanuele Giuseppe Esposito 
job_cancel_sync_locked(Job * job,bool force)1193afe1e8a7SEmanuele Giuseppe Esposito int job_cancel_sync_locked(Job *job, bool force)
1194afe1e8a7SEmanuele Giuseppe Esposito {
1195afe1e8a7SEmanuele Giuseppe Esposito     if (force) {
1196afe1e8a7SEmanuele Giuseppe Esposito         return job_finish_sync_locked(job, &job_force_cancel_err_locked, NULL);
1197afe1e8a7SEmanuele Giuseppe Esposito     } else {
1198afe1e8a7SEmanuele Giuseppe Esposito         return job_finish_sync_locked(job, &job_cancel_err_locked, NULL);
1199afe1e8a7SEmanuele Giuseppe Esposito     }
12004cfb3f05SHanna Reitz }
12014cfb3f05SHanna Reitz 
job_cancel_sync(Job * job,bool force)12024cfb3f05SHanna Reitz int job_cancel_sync(Job *job, bool force)
12034cfb3f05SHanna Reitz {
1204afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
1205afe1e8a7SEmanuele Giuseppe Esposito     return job_cancel_sync_locked(job, force);
12064cfb3f05SHanna Reitz }
12073d70ff53SKevin Wolf 
job_cancel_sync_all(void)12083d70ff53SKevin Wolf void job_cancel_sync_all(void)
12093d70ff53SKevin Wolf {
12103d70ff53SKevin Wolf     Job *job;
1211afe1e8a7SEmanuele Giuseppe Esposito     JOB_LOCK_GUARD();
12123d70ff53SKevin Wolf 
1213afe1e8a7SEmanuele Giuseppe Esposito     while ((job = job_next_locked(NULL))) {
1214afe1e8a7SEmanuele Giuseppe Esposito         job_cancel_sync_locked(job, true);
12153d70ff53SKevin Wolf     }
12163d70ff53SKevin Wolf }
12173d70ff53SKevin Wolf 
job_complete_sync_locked(Job * job,Error ** errp)1218afe1e8a7SEmanuele Giuseppe Esposito int job_complete_sync_locked(Job *job, Error **errp)
12193d70ff53SKevin Wolf {
1220afe1e8a7SEmanuele Giuseppe Esposito     return job_finish_sync_locked(job, job_complete_locked, errp);
12213d70ff53SKevin Wolf }
12223d70ff53SKevin Wolf 
job_complete_locked(Job * job,Error ** errp)1223afe1e8a7SEmanuele Giuseppe Esposito void job_complete_locked(Job *job, Error **errp)
12243453d972SKevin Wolf {
12253453d972SKevin Wolf     /* Should not be reachable via external interface for internal jobs */
12263453d972SKevin Wolf     assert(job->id);
1227c70b8031SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
1228afe1e8a7SEmanuele Giuseppe Esposito     if (job_apply_verb_locked(job, JOB_VERB_COMPLETE, errp)) {
12293453d972SKevin Wolf         return;
12303453d972SKevin Wolf     }
1231afe1e8a7SEmanuele Giuseppe Esposito     if (job_cancel_requested_locked(job) || !job->driver->complete) {
12323453d972SKevin Wolf         error_setg(errp, "The active block job '%s' cannot be completed",
12333453d972SKevin Wolf                    job->id);
12343453d972SKevin Wolf         return;
12353453d972SKevin Wolf     }
12363453d972SKevin Wolf 
1237afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
12383453d972SKevin Wolf     job->driver->complete(job, errp);
1239afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
12403453d972SKevin Wolf }
12413453d972SKevin Wolf 
job_finish_sync_locked(Job * job,void (* finish)(Job *,Error ** errp),Error ** errp)1242afe1e8a7SEmanuele Giuseppe Esposito int job_finish_sync_locked(Job *job,
1243afe1e8a7SEmanuele Giuseppe Esposito                            void (*finish)(Job *, Error **errp),
1244afe1e8a7SEmanuele Giuseppe Esposito                            Error **errp)
12456a74c075SKevin Wolf {
12466a74c075SKevin Wolf     Error *local_err = NULL;
12476a74c075SKevin Wolf     int ret;
12483ed4f708SEmanuele Giuseppe Esposito     GLOBAL_STATE_CODE();
12496a74c075SKevin Wolf 
1250afe1e8a7SEmanuele Giuseppe Esposito     job_ref_locked(job);
12516a74c075SKevin Wolf 
12526a74c075SKevin Wolf     if (finish) {
12536a74c075SKevin Wolf         finish(job, &local_err);
12546a74c075SKevin Wolf     }
12556a74c075SKevin Wolf     if (local_err) {
12566a74c075SKevin Wolf         error_propagate(errp, local_err);
1257afe1e8a7SEmanuele Giuseppe Esposito         job_unref_locked(job);
12586a74c075SKevin Wolf         return -EBUSY;
12596a74c075SKevin Wolf     }
1260de0fbe64SKevin Wolf 
1261afe1e8a7SEmanuele Giuseppe Esposito     job_unlock();
12626f592e5aSEmanuele Giuseppe Esposito     AIO_WAIT_WHILE_UNLOCKED(job->aio_context,
1263bb0c9409SVladimir Sementsov-Ogievskiy                             (job_enter(job), !job_is_completed(job)));
1264afe1e8a7SEmanuele Giuseppe Esposito     job_lock();
1265de0fbe64SKevin Wolf 
1266afe1e8a7SEmanuele Giuseppe Esposito     ret = (job_is_cancelled_locked(job) && job->ret == 0)
1267afe1e8a7SEmanuele Giuseppe Esposito           ? -ECANCELED : job->ret;
1268afe1e8a7SEmanuele Giuseppe Esposito     job_unref_locked(job);
12696a74c075SKevin Wolf     return ret;
12706a74c075SKevin Wolf }
1271