diff options
author | Stefan Hajnoczi <stefanha@linux.vnet.ibm.com> | 2011-11-30 12:23:42 +0000 |
---|---|---|
committer | Kevin Wolf <kwolf@redhat.com> | 2011-12-05 14:52:34 +0100 |
commit | 5f8b6491f20732e0a31e64bbf75b62def579e044 (patch) | |
tree | 2da9621db484711a4d29fdbf2df729c0545d0dcc | |
parent | bd9533e36ea3d6c964f65b8e407bad00dab59e5d (diff) | |
download | qemu-5f8b6491f20732e0a31e64bbf75b62def579e044.zip qemu-5f8b6491f20732e0a31e64bbf75b62def579e044.tar.gz qemu-5f8b6491f20732e0a31e64bbf75b62def579e044.tar.bz2 |
block: wait_for_overlapping_requests() deadlock detection
Debugging a reentrant request deadlock was fun but in the future we need
a quick and obvious way of detecting such bugs. Add an assert that
checks we are not about to deadlock when waiting for another request.
Suggested-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Stefan Hajnoczi <stefanha@linux.vnet.ibm.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
-rw-r--r-- | block.c | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1099,6 +1099,7 @@ struct BdrvTrackedRequest { int nb_sectors; bool is_write; QLIST_ENTRY(BdrvTrackedRequest) list; + Coroutine *co; /* owner, used for deadlock detection */ CoQueue wait_queue; /* coroutines blocked on this request */ }; @@ -1126,6 +1127,7 @@ static void tracked_request_begin(BdrvTrackedRequest *req, .sector_num = sector_num, .nb_sectors = nb_sectors, .is_write = is_write, + .co = qemu_coroutine_self(), }; qemu_co_queue_init(&req->wait_queue); @@ -1189,6 +1191,12 @@ static void coroutine_fn wait_for_overlapping_requests(BlockDriverState *bs, QLIST_FOREACH(req, &bs->tracked_requests, list) { if (tracked_request_overlaps(req, cluster_sector_num, cluster_nb_sectors)) { + /* Hitting this means there was a reentrant request, for + * example, a block driver issuing nested requests. This must + * never happen since it means deadlock. + */ + assert(qemu_coroutine_self() != req->co); + qemu_co_queue_wait(&req->wait_queue); retry = true; break; |