2012-11-23 16:13:24 +01:00
|
|
|
#include <glib.h>
|
|
|
|
#include "qemu-common.h"
|
2012-12-17 18:19:44 +01:00
|
|
|
#include "block/aio.h"
|
|
|
|
#include "block/thread-pool.h"
|
|
|
|
#include "block/block.h"
|
2012-11-23 16:13:24 +01:00
|
|
|
|
2013-03-07 13:41:49 +01:00
|
|
|
static AioContext *ctx;
|
|
|
|
static ThreadPool *pool;
|
2012-11-23 16:13:24 +01:00
|
|
|
static int active;
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
BlockDriverAIOCB *aiocb;
|
|
|
|
int n;
|
|
|
|
int ret;
|
|
|
|
} WorkerTestData;
|
|
|
|
|
|
|
|
static int worker_cb(void *opaque)
|
|
|
|
{
|
|
|
|
WorkerTestData *data = opaque;
|
|
|
|
return __sync_fetch_and_add(&data->n, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int long_cb(void *opaque)
|
|
|
|
{
|
|
|
|
WorkerTestData *data = opaque;
|
|
|
|
__sync_fetch_and_add(&data->n, 1);
|
|
|
|
g_usleep(2000000);
|
|
|
|
__sync_fetch_and_add(&data->n, 1);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void done_cb(void *opaque, int ret)
|
|
|
|
{
|
|
|
|
WorkerTestData *data = opaque;
|
|
|
|
g_assert_cmpint(data->ret, ==, -EINPROGRESS);
|
|
|
|
data->ret = ret;
|
|
|
|
data->aiocb = NULL;
|
|
|
|
|
|
|
|
/* Callbacks are serialized, so no need to use atomic ops. */
|
|
|
|
active--;
|
|
|
|
}
|
|
|
|
|
2012-12-04 16:12:19 +01:00
|
|
|
/* Wait until all aio and bh activity has finished */
|
|
|
|
static void qemu_aio_wait_all(void)
|
|
|
|
{
|
2013-03-07 13:41:49 +01:00
|
|
|
while (aio_poll(ctx, true)) {
|
2012-12-04 16:12:19 +01:00
|
|
|
/* Do nothing */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-11-23 16:13:24 +01:00
|
|
|
static void test_submit(void)
|
|
|
|
{
|
|
|
|
WorkerTestData data = { .n = 0 };
|
2013-03-07 13:41:49 +01:00
|
|
|
thread_pool_submit(pool, worker_cb, &data);
|
2012-12-04 16:12:19 +01:00
|
|
|
qemu_aio_wait_all();
|
2012-11-23 16:13:24 +01:00
|
|
|
g_assert_cmpint(data.n, ==, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void test_submit_aio(void)
|
|
|
|
{
|
|
|
|
WorkerTestData data = { .n = 0, .ret = -EINPROGRESS };
|
2013-03-07 13:41:49 +01:00
|
|
|
data.aiocb = thread_pool_submit_aio(pool, worker_cb, &data,
|
|
|
|
done_cb, &data);
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
/* The callbacks are not called until after the first wait. */
|
|
|
|
active = 1;
|
|
|
|
g_assert_cmpint(data.ret, ==, -EINPROGRESS);
|
2012-12-04 16:12:19 +01:00
|
|
|
qemu_aio_wait_all();
|
2012-11-23 16:13:24 +01:00
|
|
|
g_assert_cmpint(active, ==, 0);
|
|
|
|
g_assert_cmpint(data.n, ==, 1);
|
|
|
|
g_assert_cmpint(data.ret, ==, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void co_test_cb(void *opaque)
|
|
|
|
{
|
|
|
|
WorkerTestData *data = opaque;
|
|
|
|
|
|
|
|
active = 1;
|
|
|
|
data->n = 0;
|
|
|
|
data->ret = -EINPROGRESS;
|
2013-03-07 13:41:49 +01:00
|
|
|
thread_pool_submit_co(pool, worker_cb, data);
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
/* The test continues in test_submit_co, after qemu_coroutine_enter... */
|
|
|
|
|
|
|
|
g_assert_cmpint(data->n, ==, 1);
|
|
|
|
data->ret = 0;
|
|
|
|
active--;
|
|
|
|
|
2012-12-04 16:12:19 +01:00
|
|
|
/* The test continues in test_submit_co, after qemu_aio_wait_all... */
|
2012-11-23 16:13:24 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static void test_submit_co(void)
|
|
|
|
{
|
|
|
|
WorkerTestData data;
|
|
|
|
Coroutine *co = qemu_coroutine_create(co_test_cb);
|
|
|
|
|
|
|
|
qemu_coroutine_enter(co, &data);
|
|
|
|
|
|
|
|
/* Back here once the worker has started. */
|
|
|
|
|
|
|
|
g_assert_cmpint(active, ==, 1);
|
|
|
|
g_assert_cmpint(data.ret, ==, -EINPROGRESS);
|
|
|
|
|
2012-12-04 16:12:19 +01:00
|
|
|
/* qemu_aio_wait_all will execute the rest of the coroutine. */
|
2012-11-23 16:13:24 +01:00
|
|
|
|
2012-12-04 16:12:19 +01:00
|
|
|
qemu_aio_wait_all();
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
/* Back here after the coroutine has finished. */
|
|
|
|
|
|
|
|
g_assert_cmpint(active, ==, 0);
|
|
|
|
g_assert_cmpint(data.ret, ==, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void test_submit_many(void)
|
|
|
|
{
|
|
|
|
WorkerTestData data[100];
|
|
|
|
int i;
|
|
|
|
|
|
|
|
/* Start more work items than there will be threads. */
|
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
data[i].n = 0;
|
|
|
|
data[i].ret = -EINPROGRESS;
|
2013-03-07 13:41:49 +01:00
|
|
|
thread_pool_submit_aio(pool, worker_cb, &data[i], done_cb, &data[i]);
|
2012-11-23 16:13:24 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
active = 100;
|
|
|
|
while (active > 0) {
|
2013-03-07 13:41:49 +01:00
|
|
|
aio_poll(ctx, true);
|
2012-11-23 16:13:24 +01:00
|
|
|
}
|
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
g_assert_cmpint(data[i].n, ==, 1);
|
|
|
|
g_assert_cmpint(data[i].ret, ==, 0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void test_cancel(void)
|
|
|
|
{
|
|
|
|
WorkerTestData data[100];
|
2012-11-27 09:51:48 +01:00
|
|
|
int num_canceled;
|
2012-11-23 16:13:24 +01:00
|
|
|
int i;
|
|
|
|
|
|
|
|
/* Start more work items than there will be threads, to ensure
|
|
|
|
* the pool is full.
|
|
|
|
*/
|
|
|
|
test_submit_many();
|
|
|
|
|
|
|
|
/* Start long running jobs, to ensure we can cancel some. */
|
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
data[i].n = 0;
|
|
|
|
data[i].ret = -EINPROGRESS;
|
2013-03-07 13:41:49 +01:00
|
|
|
data[i].aiocb = thread_pool_submit_aio(pool, long_cb, &data[i],
|
2012-11-23 16:13:24 +01:00
|
|
|
done_cb, &data[i]);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Starting the threads may be left to a bottom half. Let it
|
|
|
|
* run, but do not waste too much time...
|
|
|
|
*/
|
|
|
|
active = 100;
|
2013-03-07 13:41:49 +01:00
|
|
|
aio_notify(ctx);
|
|
|
|
aio_poll(ctx, false);
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
/* Wait some time for the threads to start, with some sanity
|
|
|
|
* testing on the behavior of the scheduler...
|
|
|
|
*/
|
|
|
|
g_assert_cmpint(active, ==, 100);
|
|
|
|
g_usleep(1000000);
|
|
|
|
g_assert_cmpint(active, >, 50);
|
|
|
|
|
|
|
|
/* Cancel the jobs that haven't been started yet. */
|
2012-11-27 09:51:48 +01:00
|
|
|
num_canceled = 0;
|
2012-11-23 16:13:24 +01:00
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
if (__sync_val_compare_and_swap(&data[i].n, 0, 3) == 0) {
|
|
|
|
data[i].ret = -ECANCELED;
|
|
|
|
bdrv_aio_cancel(data[i].aiocb);
|
|
|
|
active--;
|
2012-11-27 09:51:48 +01:00
|
|
|
num_canceled++;
|
2012-11-23 16:13:24 +01:00
|
|
|
}
|
|
|
|
}
|
2012-11-27 09:51:48 +01:00
|
|
|
g_assert_cmpint(active, >, 0);
|
|
|
|
g_assert_cmpint(num_canceled, <, 100);
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
/* Canceling the others will be a blocking operation. */
|
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
if (data[i].n != 3) {
|
|
|
|
bdrv_aio_cancel(data[i].aiocb);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Finish execution and execute any remaining callbacks. */
|
2012-12-04 16:12:19 +01:00
|
|
|
qemu_aio_wait_all();
|
2012-11-23 16:13:24 +01:00
|
|
|
g_assert_cmpint(active, ==, 0);
|
|
|
|
for (i = 0; i < 100; i++) {
|
|
|
|
if (data[i].n == 3) {
|
|
|
|
g_assert_cmpint(data[i].ret, ==, -ECANCELED);
|
|
|
|
g_assert(data[i].aiocb != NULL);
|
|
|
|
} else {
|
|
|
|
g_assert_cmpint(data[i].n, ==, 2);
|
|
|
|
g_assert_cmpint(data[i].ret, ==, 0);
|
|
|
|
g_assert(data[i].aiocb == NULL);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
int main(int argc, char **argv)
|
|
|
|
{
|
2013-03-07 13:41:49 +01:00
|
|
|
int ret;
|
|
|
|
|
|
|
|
ctx = aio_context_new();
|
|
|
|
pool = aio_get_thread_pool(ctx);
|
2012-11-23 16:13:24 +01:00
|
|
|
|
|
|
|
g_test_init(&argc, &argv, NULL);
|
|
|
|
g_test_add_func("/thread-pool/submit", test_submit);
|
|
|
|
g_test_add_func("/thread-pool/submit-aio", test_submit_aio);
|
|
|
|
g_test_add_func("/thread-pool/submit-co", test_submit_co);
|
|
|
|
g_test_add_func("/thread-pool/submit-many", test_submit_many);
|
|
|
|
g_test_add_func("/thread-pool/cancel", test_cancel);
|
2013-03-07 13:41:49 +01:00
|
|
|
|
|
|
|
ret = g_test_run();
|
|
|
|
|
|
|
|
aio_context_unref(ctx);
|
|
|
|
return ret;
|
2012-11-23 16:13:24 +01:00
|
|
|
}
|