qemu/tests/test-thread-pool.c
<<
>>
Prefs
   1#include "qemu/osdep.h"
   2#include "qemu-common.h"
   3#include "block/aio.h"
   4#include "block/thread-pool.h"
   5#include "block/block.h"
   6#include "qapi/error.h"
   7#include "qemu/timer.h"
   8#include "qemu/error-report.h"
   9
  10static AioContext *ctx;
  11static ThreadPool *pool;
  12static int active;
  13
  14typedef struct {
  15    BlockAIOCB *aiocb;
  16    int n;
  17    int ret;
  18} WorkerTestData;
  19
  20static int worker_cb(void *opaque)
  21{
  22    WorkerTestData *data = opaque;
  23    return atomic_fetch_inc(&data->n);
  24}
  25
  26static int long_cb(void *opaque)
  27{
  28    WorkerTestData *data = opaque;
  29    atomic_inc(&data->n);
  30    g_usleep(2000000);
  31    atomic_inc(&data->n);
  32    return 0;
  33}
  34
  35static void done_cb(void *opaque, int ret)
  36{
  37    WorkerTestData *data = opaque;
  38    g_assert(data->ret == -EINPROGRESS || data->ret == -ECANCELED);
  39    data->ret = ret;
  40    data->aiocb = NULL;
  41
  42    /* Callbacks are serialized, so no need to use atomic ops.  */
  43    active--;
  44}
  45
  46static void test_submit(void)
  47{
  48    WorkerTestData data = { .n = 0 };
  49    thread_pool_submit(pool, worker_cb, &data);
  50    while (data.n == 0) {
  51        aio_poll(ctx, true);
  52    }
  53    g_assert_cmpint(data.n, ==, 1);
  54}
  55
  56static void test_submit_aio(void)
  57{
  58    WorkerTestData data = { .n = 0, .ret = -EINPROGRESS };
  59    data.aiocb = thread_pool_submit_aio(pool, worker_cb, &data,
  60                                        done_cb, &data);
  61
  62    /* The callbacks are not called until after the first wait.  */
  63    active = 1;
  64    g_assert_cmpint(data.ret, ==, -EINPROGRESS);
  65    while (data.ret == -EINPROGRESS) {
  66        aio_poll(ctx, true);
  67    }
  68    g_assert_cmpint(active, ==, 0);
  69    g_assert_cmpint(data.n, ==, 1);
  70    g_assert_cmpint(data.ret, ==, 0);
  71}
  72
  73static void co_test_cb(void *opaque)
  74{
  75    WorkerTestData *data = opaque;
  76
  77    active = 1;
  78    data->n = 0;
  79    data->ret = -EINPROGRESS;
  80    thread_pool_submit_co(pool, worker_cb, data);
  81
  82    /* The test continues in test_submit_co, after qemu_coroutine_enter... */
  83
  84    g_assert_cmpint(data->n, ==, 1);
  85    data->ret = 0;
  86    active--;
  87
  88    /* The test continues in test_submit_co, after aio_poll... */
  89}
  90
  91static void test_submit_co(void)
  92{
  93    WorkerTestData data;
  94    Coroutine *co = qemu_coroutine_create(co_test_cb, &data);
  95
  96    qemu_coroutine_enter(co);
  97
  98    /* Back here once the worker has started.  */
  99
 100    g_assert_cmpint(active, ==, 1);
 101    g_assert_cmpint(data.ret, ==, -EINPROGRESS);
 102
 103    /* aio_poll will execute the rest of the coroutine.  */
 104
 105    while (data.ret == -EINPROGRESS) {
 106        aio_poll(ctx, true);
 107    }
 108
 109    /* Back here after the coroutine has finished.  */
 110
 111    g_assert_cmpint(active, ==, 0);
 112    g_assert_cmpint(data.ret, ==, 0);
 113}
 114
 115static void test_submit_many(void)
 116{
 117    WorkerTestData data[100];
 118    int i;
 119
 120    /* Start more work items than there will be threads.  */
 121    for (i = 0; i < 100; i++) {
 122        data[i].n = 0;
 123        data[i].ret = -EINPROGRESS;
 124        thread_pool_submit_aio(pool, worker_cb, &data[i], done_cb, &data[i]);
 125    }
 126
 127    active = 100;
 128    while (active > 0) {
 129        aio_poll(ctx, true);
 130    }
 131    for (i = 0; i < 100; i++) {
 132        g_assert_cmpint(data[i].n, ==, 1);
 133        g_assert_cmpint(data[i].ret, ==, 0);
 134    }
 135}
 136
 137static void do_test_cancel(bool sync)
 138{
 139    WorkerTestData data[100];
 140    int num_canceled;
 141    int i;
 142
 143    /* Start more work items than there will be threads, to ensure
 144     * the pool is full.
 145     */
 146    test_submit_many();
 147
 148    /* Start long running jobs, to ensure we can cancel some.  */
 149    for (i = 0; i < 100; i++) {
 150        data[i].n = 0;
 151        data[i].ret = -EINPROGRESS;
 152        data[i].aiocb = thread_pool_submit_aio(pool, long_cb, &data[i],
 153                                               done_cb, &data[i]);
 154    }
 155
 156    /* Starting the threads may be left to a bottom half.  Let it
 157     * run, but do not waste too much time...
 158     */
 159    active = 100;
 160    aio_notify(ctx);
 161    aio_poll(ctx, false);
 162
 163    /* Wait some time for the threads to start, with some sanity
 164     * testing on the behavior of the scheduler...
 165     */
 166    g_assert_cmpint(active, ==, 100);
 167    g_usleep(1000000);
 168    g_assert_cmpint(active, >, 50);
 169
 170    /* Cancel the jobs that haven't been started yet.  */
 171    num_canceled = 0;
 172    for (i = 0; i < 100; i++) {
 173        if (atomic_cmpxchg(&data[i].n, 0, 3) == 0) {
 174            data[i].ret = -ECANCELED;
 175            if (sync) {
 176                bdrv_aio_cancel(data[i].aiocb);
 177            } else {
 178                bdrv_aio_cancel_async(data[i].aiocb);
 179            }
 180            num_canceled++;
 181        }
 182    }
 183    g_assert_cmpint(active, >, 0);
 184    g_assert_cmpint(num_canceled, <, 100);
 185
 186    for (i = 0; i < 100; i++) {
 187        if (data[i].aiocb && data[i].n != 3) {
 188            if (sync) {
 189                /* Canceling the others will be a blocking operation.  */
 190                bdrv_aio_cancel(data[i].aiocb);
 191            } else {
 192                bdrv_aio_cancel_async(data[i].aiocb);
 193            }
 194        }
 195    }
 196
 197    /* Finish execution and execute any remaining callbacks.  */
 198    while (active > 0) {
 199        aio_poll(ctx, true);
 200    }
 201    g_assert_cmpint(active, ==, 0);
 202    for (i = 0; i < 100; i++) {
 203        if (data[i].n == 3) {
 204            g_assert_cmpint(data[i].ret, ==, -ECANCELED);
 205            g_assert(data[i].aiocb == NULL);
 206        } else {
 207            g_assert_cmpint(data[i].n, ==, 2);
 208            g_assert(data[i].ret == 0 || data[i].ret == -ECANCELED);
 209            g_assert(data[i].aiocb == NULL);
 210        }
 211    }
 212}
 213
 214static void test_cancel(void)
 215{
 216    do_test_cancel(true);
 217}
 218
 219static void test_cancel_async(void)
 220{
 221    do_test_cancel(false);
 222}
 223
 224int main(int argc, char **argv)
 225{
 226    int ret;
 227    Error *local_error = NULL;
 228
 229    init_clocks();
 230
 231    ctx = aio_context_new(&local_error);
 232    if (!ctx) {
 233        error_reportf_err(local_error, "Failed to create AIO Context: ");
 234        exit(1);
 235    }
 236    pool = aio_get_thread_pool(ctx);
 237
 238    g_test_init(&argc, &argv, NULL);
 239    g_test_add_func("/thread-pool/submit", test_submit);
 240    g_test_add_func("/thread-pool/submit-aio", test_submit_aio);
 241    g_test_add_func("/thread-pool/submit-co", test_submit_co);
 242    g_test_add_func("/thread-pool/submit-many", test_submit_many);
 243    g_test_add_func("/thread-pool/cancel", test_cancel);
 244    g_test_add_func("/thread-pool/cancel-async", test_cancel_async);
 245
 246    ret = g_test_run();
 247
 248    aio_context_unref(ctx);
 249    return ret;
 250}
 251