xref: /qemu/include/qemu/job.h (revision 65a6d8dd3f322e91efa320f2811bec83dde36b6b)
1 /*
2  * Declarations for background jobs
3  *
4  * Copyright (c) 2011 IBM Corp.
5  * Copyright (c) 2012, 2018 Red Hat, Inc.
6  *
7  * Permission is hereby granted, free of charge, to any person obtaining a copy
8  * of this software and associated documentation files (the "Software"), to deal
9  * in the Software without restriction, including without limitation the rights
10  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11  * copies of the Software, and to permit persons to whom the Software is
12  * furnished to do so, subject to the following conditions:
13  *
14  * The above copyright notice and this permission notice shall be included in
15  * all copies or substantial portions of the Software.
16  *
17  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23  * THE SOFTWARE.
24  */
25 
26 #ifndef JOB_H
27 #define JOB_H
28 
29 #include "qapi/qapi-types-block-core.h"
30 #include "qemu/queue.h"
31 #include "qemu/coroutine.h"
32 #include "block/aio.h"
33 
34 typedef struct JobDriver JobDriver;
35 typedef struct JobTxn JobTxn;
36 
37 
38 /**
39  * Long-running operation.
40  */
41 typedef struct Job {
42     /** The ID of the job. May be NULL for internal jobs. */
43     char *id;
44 
45     /** The type of this job. */
46     const JobDriver *driver;
47 
48     /** Reference count of the block job */
49     int refcnt;
50 
51     /** Current state; See @JobStatus for details. */
52     JobStatus status;
53 
54     /** AioContext to run the job coroutine in */
55     AioContext *aio_context;
56 
57     /**
58      * The coroutine that executes the job.  If not NULL, it is reentered when
59      * busy is false and the job is cancelled.
60      */
61     Coroutine *co;
62 
63     /**
64      * Timer that is used by @job_sleep_ns. Accessed under job_mutex (in
65      * job.c).
66      */
67     QEMUTimer sleep_timer;
68 
69     /**
70      * Counter for pause request. If non-zero, the block job is either paused,
71      * or if busy == true will pause itself as soon as possible.
72      */
73     int pause_count;
74 
75     /**
76      * Set to false by the job while the coroutine has yielded and may be
77      * re-entered by job_enter(). There may still be I/O or event loop activity
78      * pending. Accessed under block_job_mutex (in blockjob.c).
79      */
80     bool busy;
81 
82     /**
83      * Set to true by the job while it is in a quiescent state, where
84      * no I/O or event loop activity is pending.
85      */
86     bool paused;
87 
88     /**
89      * Set to true if the job is paused by user.  Can be unpaused with the
90      * block-job-resume QMP command.
91      */
92     bool user_paused;
93 
94     /**
95      * Set to true if the job should cancel itself.  The flag must
96      * always be tested just before toggling the busy flag from false
97      * to true.  After a job has been cancelled, it should only yield
98      * if #aio_poll will ("sooner or later") reenter the coroutine.
99      */
100     bool cancelled;
101 
102     /**
103      * Set to true if the job should abort immediately without waiting
104      * for data to be in sync.
105      */
106     bool force_cancel;
107 
108     /** Set to true when the job has deferred work to the main loop. */
109     bool deferred_to_main_loop;
110 
111     /** True if this job should automatically finalize itself */
112     bool auto_finalize;
113 
114     /** True if this job should automatically dismiss itself */
115     bool auto_dismiss;
116 
117     /**
118      * Current progress. The unit is arbitrary as long as the ratio between
119      * progress_current and progress_total represents the estimated percentage
120      * of work already done.
121      */
122     int64_t progress_current;
123 
124     /** Estimated progress_current value at the completion of the job */
125     int64_t progress_total;
126 
127     /** ret code passed to job_completed. */
128     int ret;
129 
130     /** The completion function that will be called when the job completes.  */
131     BlockCompletionFunc *cb;
132 
133     /** The opaque value that is passed to the completion function.  */
134     void *opaque;
135 
136     /** Notifiers called when a cancelled job is finalised */
137     NotifierList on_finalize_cancelled;
138 
139     /** Notifiers called when a successfully completed job is finalised */
140     NotifierList on_finalize_completed;
141 
142     /** Notifiers called when the job transitions to PENDING */
143     NotifierList on_pending;
144 
145     /** Notifiers called when the job transitions to READY */
146     NotifierList on_ready;
147 
148     /** Element of the list of jobs */
149     QLIST_ENTRY(Job) job_list;
150 
151     /** Transaction this job is part of */
152     JobTxn *txn;
153 
154     /** Element of the list of jobs in a job transaction */
155     QLIST_ENTRY(Job) txn_list;
156 } Job;
157 
158 /**
159  * Callbacks and other information about a Job driver.
160  */
161 struct JobDriver {
162     /** Derived Job struct size */
163     size_t instance_size;
164 
165     /** Enum describing the operation */
166     JobType job_type;
167 
168     /** Mandatory: Entrypoint for the Coroutine. */
169     CoroutineEntry *start;
170 
171     /**
172      * If the callback is not NULL, it will be invoked when the job transitions
173      * into the paused state.  Paused jobs must not perform any asynchronous
174      * I/O or event loop activity.  This callback is used to quiesce jobs.
175      */
176     void coroutine_fn (*pause)(Job *job);
177 
178     /**
179      * If the callback is not NULL, it will be invoked when the job transitions
180      * out of the paused state.  Any asynchronous I/O or event loop activity
181      * should be restarted from this callback.
182      */
183     void coroutine_fn (*resume)(Job *job);
184 
185     /**
186      * Called when the job is resumed by the user (i.e. user_paused becomes
187      * false). .user_resume is called before .resume.
188      */
189     void (*user_resume)(Job *job);
190 
191     /**
192      * Optional callback for job types whose completion must be triggered
193      * manually.
194      */
195     void (*complete)(Job *job, Error **errp);
196 
197     /*
198      * If the callback is not NULL, it will be invoked when the job has to be
199      * synchronously cancelled or completed; it should drain any activities
200      * as required to ensure progress.
201      */
202     void (*drain)(Job *job);
203 
204     /**
205      * If the callback is not NULL, prepare will be invoked when all the jobs
206      * belonging to the same transaction complete; or upon this job's completion
207      * if it is not in a transaction.
208      *
209      * This callback will not be invoked if the job has already failed.
210      * If it fails, abort and then clean will be called.
211      */
212     int (*prepare)(Job *job);
213 
214     /**
215      * If the callback is not NULL, it will be invoked when all the jobs
216      * belonging to the same transaction complete; or upon this job's
217      * completion if it is not in a transaction. Skipped if NULL.
218      *
219      * All jobs will complete with a call to either .commit() or .abort() but
220      * never both.
221      */
222     void (*commit)(Job *job);
223 
224     /**
225      * If the callback is not NULL, it will be invoked when any job in the
226      * same transaction fails; or upon this job's failure (due to error or
227      * cancellation) if it is not in a transaction. Skipped if NULL.
228      *
229      * All jobs will complete with a call to either .commit() or .abort() but
230      * never both.
231      */
232     void (*abort)(Job *job);
233 
234     /**
235      * If the callback is not NULL, it will be invoked after a call to either
236      * .commit() or .abort(). Regardless of which callback is invoked after
237      * completion, .clean() will always be called, even if the job does not
238      * belong to a transaction group.
239      */
240     void (*clean)(Job *job);
241 
242 
243     /** Called when the job is freed */
244     void (*free)(Job *job);
245 };
246 
247 typedef enum JobCreateFlags {
248     /* Default behavior */
249     JOB_DEFAULT = 0x00,
250     /* Job is not QMP-created and should not send QMP events */
251     JOB_INTERNAL = 0x01,
252     /* Job requires manual finalize step */
253     JOB_MANUAL_FINALIZE = 0x02,
254     /* Job requires manual dismiss step */
255     JOB_MANUAL_DISMISS = 0x04,
256 } JobCreateFlags;
257 
258 /**
259  * Allocate and return a new job transaction. Jobs can be added to the
260  * transaction using job_txn_add_job().
261  *
262  * The transaction is automatically freed when the last job completes or is
263  * cancelled.
264  *
265  * All jobs in the transaction either complete successfully or fail/cancel as a
266  * group.  Jobs wait for each other before completing.  Cancelling one job
267  * cancels all jobs in the transaction.
268  */
269 JobTxn *job_txn_new(void);
270 
271 /**
272  * Release a reference that was previously acquired with job_txn_add_job or
273  * job_txn_new. If it's the last reference to the object, it will be freed.
274  */
275 void job_txn_unref(JobTxn *txn);
276 
277 /**
278  * @txn: The transaction (may be NULL)
279  * @job: Job to add to the transaction
280  *
281  * Add @job to the transaction.  The @job must not already be in a transaction.
282  * The caller must call either job_txn_unref() or job_completed() to release
283  * the reference that is automatically grabbed here.
284  *
285  * If @txn is NULL, the function does nothing.
286  */
287 void job_txn_add_job(JobTxn *txn, Job *job);
288 
289 /**
290  * Create a new long-running job and return it.
291  *
292  * @job_id: The id of the newly-created job, or %NULL for internal jobs
293  * @driver: The class object for the newly-created job.
294  * @txn: The transaction this job belongs to, if any. %NULL otherwise.
295  * @ctx: The AioContext to run the job coroutine in.
296  * @flags: Creation flags for the job. See @JobCreateFlags.
297  * @cb: Completion function for the job.
298  * @opaque: Opaque pointer value passed to @cb.
299  * @errp: Error object.
300  */
301 void *job_create(const char *job_id, const JobDriver *driver, JobTxn *txn,
302                  AioContext *ctx, int flags, BlockCompletionFunc *cb,
303                  void *opaque, Error **errp);
304 
305 /**
306  * Add a reference to Job refcnt, it will be decreased with job_unref, and then
307  * be freed if it comes to be the last reference.
308  */
309 void job_ref(Job *job);
310 
311 /**
312  * Release a reference that was previously acquired with job_ref() or
313  * job_create(). If it's the last reference to the object, it will be freed.
314  */
315 void job_unref(Job *job);
316 
317 /**
318  * @job: The job that has made progress
319  * @done: How much progress the job made since the last call
320  *
321  * Updates the progress counter of the job.
322  */
323 void job_progress_update(Job *job, uint64_t done);
324 
325 /**
326  * @job: The job whose expected progress end value is set
327  * @remaining: Missing progress (on top of the current progress counter value)
328  *             until the new expected end value is reached
329  *
330  * Sets the expected end value of the progress counter of a job so that a
331  * completion percentage can be calculated when the progress is updated.
332  */
333 void job_progress_set_remaining(Job *job, uint64_t remaining);
334 
335 /** To be called when a cancelled job is finalised. */
336 void job_event_cancelled(Job *job);
337 
338 /** To be called when a successfully completed job is finalised. */
339 void job_event_completed(Job *job);
340 
341 /**
342  * Conditionally enter the job coroutine if the job is ready to run, not
343  * already busy and fn() returns true. fn() is called while under the job_lock
344  * critical section.
345  */
346 void job_enter_cond(Job *job, bool(*fn)(Job *job));
347 
348 /**
349  * @job: A job that has not yet been started.
350  *
351  * Begins execution of a job.
352  * Takes ownership of one reference to the job object.
353  */
354 void job_start(Job *job);
355 
356 /**
357  * @job: The job to enter.
358  *
359  * Continue the specified job by entering the coroutine.
360  */
361 void job_enter(Job *job);
362 
363 /**
364  * @job: The job that is ready to pause.
365  *
366  * Pause now if job_pause() has been called. Jobs that perform lots of I/O
367  * must call this between requests so that the job can be paused.
368  */
369 void coroutine_fn job_pause_point(Job *job);
370 
371 /**
372  * @job: The job that calls the function.
373  *
374  * Yield the job coroutine.
375  */
376 void job_yield(Job *job);
377 
378 /**
379  * @job: The job that calls the function.
380  * @ns: How many nanoseconds to stop for.
381  *
382  * Put the job to sleep (assuming that it wasn't canceled) for @ns
383  * %QEMU_CLOCK_REALTIME nanoseconds.  Canceling the job will immediately
384  * interrupt the wait.
385  */
386 void coroutine_fn job_sleep_ns(Job *job, int64_t ns);
387 
388 
389 /** Returns the JobType of a given Job. */
390 JobType job_type(const Job *job);
391 
392 /** Returns the enum string for the JobType of a given Job. */
393 const char *job_type_str(const Job *job);
394 
395 /** Returns true if the job should not be visible to the management layer. */
396 bool job_is_internal(Job *job);
397 
398 /** Returns whether the job is scheduled for cancellation. */
399 bool job_is_cancelled(Job *job);
400 
401 /** Returns whether the job is in a completed state. */
402 bool job_is_completed(Job *job);
403 
404 /** Returns whether the job is ready to be completed. */
405 bool job_is_ready(Job *job);
406 
407 /**
408  * Request @job to pause at the next pause point. Must be paired with
409  * job_resume(). If the job is supposed to be resumed by user action, call
410  * job_user_pause() instead.
411  */
412 void job_pause(Job *job);
413 
414 /** Resumes a @job paused with job_pause. */
415 void job_resume(Job *job);
416 
417 /**
418  * Asynchronously pause the specified @job.
419  * Do not allow a resume until a matching call to job_user_resume.
420  */
421 void job_user_pause(Job *job, Error **errp);
422 
423 /** Returns true if the job is user-paused. */
424 bool job_user_paused(Job *job);
425 
426 /**
427  * Resume the specified @job.
428  * Must be paired with a preceding job_user_pause.
429  */
430 void job_user_resume(Job *job, Error **errp);
431 
432 /*
433  * Drain any activities as required to ensure progress. This can be called in a
434  * loop to synchronously complete a job.
435  */
436 void job_drain(Job *job);
437 
438 /**
439  * Get the next element from the list of block jobs after @job, or the
440  * first one if @job is %NULL.
441  *
442  * Returns the requested job, or %NULL if there are no more jobs left.
443  */
444 Job *job_next(Job *job);
445 
446 /**
447  * Get the job identified by @id (which must not be %NULL).
448  *
449  * Returns the requested job, or %NULL if it doesn't exist.
450  */
451 Job *job_get(const char *id);
452 
453 /**
454  * Check whether the verb @verb can be applied to @job in its current state.
455  * Returns 0 if the verb can be applied; otherwise errp is set and -EPERM
456  * returned.
457  */
458 int job_apply_verb(Job *job, JobVerb verb, Error **errp);
459 
460 /** The @job could not be started, free it. */
461 void job_early_fail(Job *job);
462 
463 /** Moves the @job from RUNNING to READY */
464 void job_transition_to_ready(Job *job);
465 
466 /**
467  * @job: The job being completed.
468  * @ret: The status code.
469  *
470  * Marks @job as completed. If @ret is non-zero, the job transaction it is part
471  * of is aborted. If @ret is zero, the job moves into the WAITING state. If it
472  * is the last job to complete in its transaction, all jobs in the transaction
473  * move from WAITING to PENDING.
474  */
475 void job_completed(Job *job, int ret);
476 
477 /** Asynchronously complete the specified @job. */
478 void job_complete(Job *job, Error **errp);
479 
480 /**
481  * Asynchronously cancel the specified @job. If @force is true, the job should
482  * be cancelled immediately without waiting for a consistent state.
483  */
484 void job_cancel(Job *job, bool force);
485 
486 /**
487  * Cancels the specified job like job_cancel(), but may refuse to do so if the
488  * operation isn't meaningful in the current state of the job.
489  */
490 void job_user_cancel(Job *job, bool force, Error **errp);
491 
492 /**
493  * Synchronously cancel the @job.  The completion callback is called
494  * before the function returns.  The job may actually complete
495  * instead of canceling itself; the circumstances under which this
496  * happens depend on the kind of job that is active.
497  *
498  * Returns the return value from the job if the job actually completed
499  * during the call, or -ECANCELED if it was canceled.
500  */
501 int job_cancel_sync(Job *job);
502 
503 /** Synchronously cancels all jobs using job_cancel_sync(). */
504 void job_cancel_sync_all(void);
505 
506 /**
507  * @job: The job to be completed.
508  * @errp: Error object which may be set by job_complete(); this is not
509  *        necessarily set on every error, the job return value has to be
510  *        checked as well.
511  *
512  * Synchronously complete the job.  The completion callback is called before the
513  * function returns, unless it is NULL (which is permissible when using this
514  * function).
515  *
516  * Returns the return value from the job.
517  */
518 int job_complete_sync(Job *job, Error **errp);
519 
520 /**
521  * For a @job that has finished its work and is pending awaiting explicit
522  * acknowledgement to commit its work, this will commit that work.
523  *
524  * FIXME: Make the below statement universally true:
525  * For jobs that support the manual workflow mode, all graph changes that occur
526  * as a result will occur after this command and before a successful reply.
527  */
528 void job_finalize(Job *job, Error **errp);
529 
530 /**
531  * Remove the concluded @job from the query list and resets the passed pointer
532  * to %NULL. Returns an error if the job is not actually concluded.
533  */
534 void job_dismiss(Job **job, Error **errp);
535 
536 typedef void JobDeferToMainLoopFn(Job *job, void *opaque);
537 
538 /**
539  * @job: The job
540  * @fn: The function to run in the main loop
541  * @opaque: The opaque value that is passed to @fn
542  *
543  * This function must be called by the main job coroutine just before it
544  * returns.  @fn is executed in the main loop with the job AioContext acquired.
545  *
546  * Block jobs must call bdrv_unref(), bdrv_close(), and anything that uses
547  * bdrv_drain_all() in the main loop.
548  *
549  * The @job AioContext is held while @fn executes.
550  */
551 void job_defer_to_main_loop(Job *job, JobDeferToMainLoopFn *fn, void *opaque);
552 
553 /**
554  * Synchronously finishes the given @job. If @finish is given, it is called to
555  * trigger completion or cancellation of the job.
556  *
557  * Returns 0 if the job is successfully completed, -ECANCELED if the job was
558  * cancelled before completing, and -errno in other error cases.
559  */
560 int job_finish_sync(Job *job, void (*finish)(Job *, Error **errp), Error **errp);
561 
562 #endif
563