2
0

ASYNC_start_job.pod 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376
  1. =pod
  2. =head1 NAME
  3. ASYNC_get_wait_ctx,
  4. ASYNC_init_thread, ASYNC_cleanup_thread, ASYNC_start_job, ASYNC_pause_job,
  5. ASYNC_get_current_job, ASYNC_block_pause, ASYNC_unblock_pause, ASYNC_is_capable,
  6. ASYNC_stack_alloc_fn, ASYNC_stack_free_fn, ASYNC_set_mem_functions, ASYNC_get_mem_functions
  7. - asynchronous job management functions
  8. =head1 SYNOPSIS
  9. #include <openssl/async.h>
  10. int ASYNC_init_thread(size_t max_size, size_t init_size);
  11. void ASYNC_cleanup_thread(void);
  12. int ASYNC_start_job(ASYNC_JOB **job, ASYNC_WAIT_CTX *ctx, int *ret,
  13. int (*func)(void *), void *args, size_t size);
  14. int ASYNC_pause_job(void);
  15. ASYNC_JOB *ASYNC_get_current_job(void);
  16. ASYNC_WAIT_CTX *ASYNC_get_wait_ctx(ASYNC_JOB *job);
  17. void ASYNC_block_pause(void);
  18. void ASYNC_unblock_pause(void);
  19. int ASYNC_is_capable(void);
  20. typedef void *(*ASYNC_stack_alloc_fn)(size_t *num);
  21. typedef void (*ASYNC_stack_free_fn)(void *addr);
  22. int ASYNC_set_mem_functions(ASYNC_stack_alloc_fn alloc_fn,
  23. ASYNC_stack_free_fn free_fn);
  24. void ASYNC_get_mem_functions(ASYNC_stack_alloc_fn *alloc_fn,
  25. ASYNC_stack_free_fn *free_fn);
  26. =head1 DESCRIPTION
  27. OpenSSL implements asynchronous capabilities through an B<ASYNC_JOB>. This
  28. represents code that can be started and executes until some event occurs. At
  29. that point the code can be paused and control returns to user code until some
  30. subsequent event indicates that the job can be resumed. It's OpenSSL
  31. specific implementation of cooperative multitasking.
  32. The creation of an B<ASYNC_JOB> is a relatively expensive operation. Therefore,
  33. for efficiency reasons, jobs can be created up front and reused many times. They
  34. are held in a pool until they are needed, at which point they are removed from
  35. the pool, used, and then returned to the pool when the job completes. If the
  36. user application is multi-threaded, then ASYNC_init_thread() may be called for
  37. each thread that will initiate asynchronous jobs. Before
  38. user code exits per-thread resources need to be cleaned up. This will normally
  39. occur automatically (see L<OPENSSL_init_crypto(3)>) but may be explicitly
  40. initiated by using ASYNC_cleanup_thread(). No asynchronous jobs must be
  41. outstanding for the thread when ASYNC_cleanup_thread() is called. Failing to
  42. ensure this will result in memory leaks.
  43. The I<max_size> argument limits the number of B<ASYNC_JOB>s that will be held in
  44. the pool. If I<max_size> is set to 0 then no upper limit is set. When an
  45. B<ASYNC_JOB> is needed but there are none available in the pool already then one
  46. will be automatically created, as long as the total of B<ASYNC_JOB>s managed by
  47. the pool does not exceed I<max_size>. When the pool is first initialised
  48. I<init_size> B<ASYNC_JOB>s will be created immediately. If ASYNC_init_thread()
  49. is not called before the pool is first used then it will be called automatically
  50. with a I<max_size> of 0 (no upper limit) and an I<init_size> of 0 (no
  51. B<ASYNC_JOB>s created up front).
  52. An asynchronous job is started by calling the ASYNC_start_job() function.
  53. Initially I<*job> should be NULL. I<ctx> should point to an B<ASYNC_WAIT_CTX>
  54. object created through the L<ASYNC_WAIT_CTX_new(3)> function. I<ret> should
  55. point to a location where the return value of the asynchronous function should
  56. be stored on completion of the job. I<func> represents the function that should
  57. be started asynchronously. The data pointed to by I<args> and of size I<size>
  58. will be copied and then passed as an argument to I<func> when the job starts.
  59. ASYNC_start_job will return one of the following values:
  60. =over 4
  61. =item B<ASYNC_ERR>
  62. An error occurred trying to start the job. Check the OpenSSL error queue (e.g.
  63. see L<ERR_print_errors(3)>) for more details.
  64. =item B<ASYNC_NO_JOBS>
  65. There are no jobs currently available in the pool. This call can be retried
  66. again at a later time.
  67. =item B<ASYNC_PAUSE>
  68. The job was successfully started but was "paused" before it completed (see
  69. ASYNC_pause_job() below). A handle to the job is placed in I<*job>. Other work
  70. can be performed (if desired) and the job restarted at a later time. To restart
  71. a job call ASYNC_start_job() again passing the job handle in I<*job>. The
  72. I<func>, I<args> and I<size> parameters will be ignored when restarting a job.
  73. When restarting a job ASYNC_start_job() B<must> be called from the same thread
  74. that the job was originally started from. B<ASYNC_WAIT_CTX> is used to
  75. know when a job is ready to be restarted.
  76. =item B<ASYNC_FINISH>
  77. The job completed. I<*job> will be NULL and the return value from I<func> will
  78. be placed in I<*ret>.
  79. =back
  80. At any one time there can be a maximum of one job actively running per thread
  81. (you can have many that are paused). ASYNC_get_current_job() can be used to get
  82. a pointer to the currently executing B<ASYNC_JOB>. If no job is currently
  83. executing then this will return NULL.
  84. If executing within the context of a job (i.e. having been called directly or
  85. indirectly by the function "func" passed as an argument to ASYNC_start_job())
  86. then ASYNC_pause_job() will immediately return control to the calling
  87. application with B<ASYNC_PAUSE> returned from the ASYNC_start_job() call. A
  88. subsequent call to ASYNC_start_job passing in the relevant B<ASYNC_JOB> in the
  89. I<*job> parameter will resume execution from the ASYNC_pause_job() call. If
  90. ASYNC_pause_job() is called whilst not within the context of a job then no
  91. action is taken and ASYNC_pause_job() returns immediately.
  92. ASYNC_get_wait_ctx() can be used to get a pointer to the B<ASYNC_WAIT_CTX>
  93. for the I<job> (see L<ASYNC_WAIT_CTX_new(3)>).
  94. B<ASYNC_WAIT_CTX>s contain two different ways to notify
  95. applications that a job is ready to be resumed. One is a "wait" file
  96. descriptor, and the other is a "callback" mechanism.
  97. The "wait" file descriptor associated with B<ASYNC_WAIT_CTX> is used for
  98. applications to wait for the file descriptor to be ready for "read" using a
  99. system function call such as select(2) or poll(2) (being ready for "read"
  100. indicates
  101. that the job should be resumed). If no file descriptor is made available then
  102. an application will have to periodically "poll" the job by attempting to restart
  103. it to see if it is ready to continue.
  104. B<ASYNC_WAIT_CTX>s also have a "callback" mechanism to notify applications. The
  105. callback is set by an application, and it will be automatically called when an
  106. engine completes a cryptography operation, so that the application can resume
  107. the paused work flow without polling. An engine could be written to look whether
  108. the callback has been set. If it has then it would use the callback mechanism
  109. in preference to the file descriptor notifications. If a callback is not set
  110. then the engine may use file descriptor based notifications. Please note that
  111. not all engines may support the callback mechanism, so the callback may not be
  112. used even if it has been set. See ASYNC_WAIT_CTX_new() for more details.
  113. The ASYNC_block_pause() function will prevent the currently active job from
  114. pausing. The block will remain in place until a subsequent call to
  115. ASYNC_unblock_pause(). These functions can be nested, e.g. if you call
  116. ASYNC_block_pause() twice then you must call ASYNC_unblock_pause() twice in
  117. order to re-enable pausing. If these functions are called while there is no
  118. currently active job then they have no effect. This functionality can be useful
  119. to avoid deadlock scenarios. For example during the execution of an B<ASYNC_JOB>
  120. an application acquires a lock. It then calls some cryptographic function which
  121. invokes ASYNC_pause_job(). This returns control back to the code that created
  122. the B<ASYNC_JOB>. If that code then attempts to acquire the same lock before
  123. resuming the original job then a deadlock can occur. By calling
  124. ASYNC_block_pause() immediately after acquiring the lock and
  125. ASYNC_unblock_pause() immediately before releasing it then this situation cannot
  126. occur.
  127. Some platforms cannot support async operations. The ASYNC_is_capable() function
  128. can be used to detect whether the current platform is async capable or not.
  129. Custom memory allocation functions are supported for the POSIX platform.
  130. Custom memory allocation functions allow alternative methods of allocating
  131. stack memory such as mmap, or using stack memory from the current thread.
  132. Using an ASYNC_stack_alloc_fn callback also allows manipulation of the stack
  133. size, which defaults to 32k.
  134. The stack size can be altered by allocating a stack of a size different to
  135. the requested size, and passing back the new stack size in the callback's I<*num>
  136. parameter.
  137. =head1 RETURN VALUES
  138. ASYNC_init_thread returns 1 on success or 0 otherwise.
  139. ASYNC_start_job returns one of B<ASYNC_ERR>, B<ASYNC_NO_JOBS>, B<ASYNC_PAUSE> or
  140. B<ASYNC_FINISH> as described above.
  141. ASYNC_pause_job returns 0 if an error occurred or 1 on success. If called when
  142. not within the context of an B<ASYNC_JOB> then this is counted as success so 1
  143. is returned.
  144. ASYNC_get_current_job returns a pointer to the currently executing B<ASYNC_JOB>
  145. or NULL if not within the context of a job.
  146. ASYNC_get_wait_ctx() returns a pointer to the B<ASYNC_WAIT_CTX> for the job.
  147. ASYNC_is_capable() returns 1 if the current platform is async capable or 0
  148. otherwise.
  149. ASYNC_set_mem_functions returns 1 if custom stack allocators are supported by
  150. the current platform and no allocations have already occurred or 0 otherwise.
  151. =head1 NOTES
  152. On Windows platforms the F<< <openssl/async.h> >> header is dependent on some
  153. of the types customarily made available by including F<< <windows.h> >>. The
  154. application developer is likely to require control over when the latter
  155. is included, commonly as one of the first included headers. Therefore,
  156. it is defined as an application developer's responsibility to include
  157. F<< <windows.h> >> prior to F<< <openssl/async.h> >>.
  158. =head1 EXAMPLES
  159. The following example demonstrates how to use most of the core async APIs:
  160. #ifdef _WIN32
  161. # include <windows.h>
  162. #endif
  163. #include <stdio.h>
  164. #include <unistd.h>
  165. #include <openssl/async.h>
  166. #include <openssl/crypto.h>
  167. int unique = 0;
  168. void cleanup(ASYNC_WAIT_CTX *ctx, const void *key, OSSL_ASYNC_FD r, void *vw)
  169. {
  170. OSSL_ASYNC_FD *w = (OSSL_ASYNC_FD *)vw;
  171. close(r);
  172. close(*w);
  173. OPENSSL_free(w);
  174. }
  175. int jobfunc(void *arg)
  176. {
  177. ASYNC_JOB *currjob;
  178. unsigned char *msg;
  179. int pipefds[2] = {0, 0};
  180. OSSL_ASYNC_FD *wptr;
  181. char buf = 'X';
  182. currjob = ASYNC_get_current_job();
  183. if (currjob != NULL) {
  184. printf("Executing within a job\n");
  185. } else {
  186. printf("Not executing within a job - should not happen\n");
  187. return 0;
  188. }
  189. msg = (unsigned char *)arg;
  190. printf("Passed in message is: %s\n", msg);
  191. /*
  192. * Create a way to inform the calling thread when this job is ready
  193. * to resume, in this example we're using file descriptors.
  194. * For offloading the task to an asynchronous ENGINE it's not necessary,
  195. * the ENGINE should handle that internally.
  196. */
  197. if (pipe(pipefds) != 0) {
  198. printf("Failed to create pipe\n");
  199. return 0;
  200. }
  201. wptr = OPENSSL_malloc(sizeof(OSSL_ASYNC_FD));
  202. if (wptr == NULL) {
  203. printf("Failed to malloc\n");
  204. return 0;
  205. }
  206. *wptr = pipefds[1];
  207. ASYNC_WAIT_CTX_set_wait_fd(ASYNC_get_wait_ctx(currjob), &unique,
  208. pipefds[0], wptr, cleanup);
  209. /*
  210. * Normally some external event (like a network read being ready,
  211. * disk access being finished, or some hardware offload operation
  212. * completing) would cause this to happen at some
  213. * later point - but we do it here for demo purposes, i.e.
  214. * immediately signalling that the job is ready to be woken up after
  215. * we return to main via ASYNC_pause_job().
  216. */
  217. write(pipefds[1], &buf, 1);
  218. /*
  219. * Return control back to main just before calling a blocking
  220. * method. The main thread will wait until pipefds[0] is ready
  221. * for reading before returning control to this thread.
  222. */
  223. ASYNC_pause_job();
  224. /* Perform the blocking call (it won't block with this example code) */
  225. read(pipefds[0], &buf, 1);
  226. printf ("Resumed the job after a pause\n");
  227. return 1;
  228. }
  229. int main(void)
  230. {
  231. ASYNC_JOB *job = NULL;
  232. ASYNC_WAIT_CTX *ctx = NULL;
  233. int ret;
  234. OSSL_ASYNC_FD waitfd;
  235. fd_set waitfdset;
  236. size_t numfds;
  237. unsigned char msg[13] = "Hello world!";
  238. printf("Starting...\n");
  239. ctx = ASYNC_WAIT_CTX_new();
  240. if (ctx == NULL) {
  241. printf("Failed to create ASYNC_WAIT_CTX\n");
  242. abort();
  243. }
  244. for (;;) {
  245. switch (ASYNC_start_job(&job, ctx, &ret, jobfunc, msg, sizeof(msg))) {
  246. case ASYNC_ERR:
  247. case ASYNC_NO_JOBS:
  248. printf("An error occurred\n");
  249. goto end;
  250. case ASYNC_PAUSE:
  251. printf("Job was paused\n");
  252. break;
  253. case ASYNC_FINISH:
  254. printf("Job finished with return value %d\n", ret);
  255. goto end;
  256. }
  257. /* Get the file descriptor we can use to wait for the job
  258. * to be ready to be woken up
  259. */
  260. printf("Waiting for the job to be woken up\n");
  261. if (!ASYNC_WAIT_CTX_get_all_fds(ctx, NULL, &numfds)
  262. || numfds > 1) {
  263. printf("Unexpected number of fds\n");
  264. abort();
  265. }
  266. ASYNC_WAIT_CTX_get_all_fds(ctx, &waitfd, &numfds);
  267. FD_ZERO(&waitfdset);
  268. FD_SET(waitfd, &waitfdset);
  269. /* Wait for the job to be ready for wakeup */
  270. select(waitfd + 1, &waitfdset, NULL, NULL, NULL);
  271. }
  272. end:
  273. ASYNC_WAIT_CTX_free(ctx);
  274. printf("Finishing\n");
  275. return 0;
  276. }
  277. The expected output from executing the above example program is:
  278. Starting...
  279. Executing within a job
  280. Passed in message is: Hello world!
  281. Job was paused
  282. Waiting for the job to be woken up
  283. Resumed the job after a pause
  284. Job finished with return value 1
  285. Finishing
  286. =head1 SEE ALSO
  287. L<crypto(7)>, L<ERR_print_errors(3)>
  288. =head1 HISTORY
  289. ASYNC_init_thread, ASYNC_cleanup_thread,
  290. ASYNC_start_job, ASYNC_pause_job, ASYNC_get_current_job, ASYNC_get_wait_ctx(),
  291. ASYNC_block_pause(), ASYNC_unblock_pause() and ASYNC_is_capable() were first
  292. added in OpenSSL 1.1.0.
  293. =head1 COPYRIGHT
  294. Copyright 2015-2022 The OpenSSL Project Authors. All Rights Reserved.
  295. Licensed under the Apache License 2.0 (the "License"). You may not use
  296. this file except in compliance with the License. You can obtain a copy
  297. in the file LICENSE in the source distribution or at
  298. L<https://www.openssl.org/source/license.html>.
  299. =cut