[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Minios-devel] [UNIKRAFT PATCH v3 5/6] lib/ukblkdev: Synchronous requests interface
This patch introduces sync operations. It requires the use of semaphore in the implementation. Signed-off-by: Roxana Nicolescu <nicolescu.roxana1996@xxxxxxxxx> --- lib/ukblkdev/Config.uk | 9 +++++ lib/ukblkdev/blkdev.c | 58 +++++++++++++++++++++++++++ lib/ukblkdev/exportsyms.uk | 1 + lib/ukblkdev/include/uk/blkdev.h | 50 +++++++++++++++++++++++ lib/ukblkdev/include/uk/blkdev_core.h | 3 +- lib/ukblkdev/include/uk/blkreq.h | 40 ++++++++++++++++++ 6 files changed, 160 insertions(+), 1 deletion(-) diff --git a/lib/ukblkdev/Config.uk b/lib/ukblkdev/Config.uk index f0c89654..0b2c636c 100644 --- a/lib/ukblkdev/Config.uk +++ b/lib/ukblkdev/Config.uk @@ -25,4 +25,13 @@ if LIBUKBLKDEV When this option is enabled a dispatcher thread is allocated for each configured queue. libuksched is required for this option. + + config LIBUKBLKDEV_SYNC_IO_BLOCKED_WAITING + bool "Synchronous I/O API" + default n + select LIBUKSCHED + select LIBUKLOCK + select LIBUKLOCK_SEMAPHORE + help + Use semaphore for waiting after a request I/O is done. endif diff --git a/lib/ukblkdev/blkdev.c b/lib/ukblkdev/blkdev.c index fcc3d75e..8679e074 100644 --- a/lib/ukblkdev/blkdev.c +++ b/lib/ukblkdev/blkdev.c @@ -408,3 +408,61 @@ int uk_blkdev_queue_finish_reqs(struct uk_blkdev *dev, return dev->finish_reqs(dev, dev->_queue[queue_id]); } + +#if CONFIG_LIBUKBLKDEV_SYNC_IO_BLOCKED_WAITING +/** + * Used for sending a synchronous request. + */ +struct uk_blkdev_sync_io_request { + struct uk_blkreq req; /* Request structure. */ + + /* Semaphore used for waiting after the response is done. */ + struct uk_semaphore s; +}; + +static void __sync_io_callback(struct uk_blkreq *req, + void *cookie_callback) +{ + struct uk_blkdev_sync_io_request *sync_io_req; + + UK_ASSERT(req); + UK_ASSERT(cookie_callback); + + sync_io_req = (struct uk_blkdev_sync_io_request *)cookie_callback; + uk_semaphore_up(&sync_io_req->s); +} + +int uk_blkdev_sync_io(struct uk_blkdev *dev, + uint16_t queue_id, + enum uk_blkreq_op operation, + __sector start_sector, + __sector nb_sectors, + void *buf) +{ + struct uk_blkreq *req; + int rc = 0; + struct uk_blkdev_sync_io_request sync_io_req; + + UK_ASSERT(dev != NULL); + UK_ASSERT(queue_id < CONFIG_LIBUKBLKDEV_MAXNBQUEUES); + UK_ASSERT(dev->_data); + UK_ASSERT(dev->submit_one); + UK_ASSERT(dev->_data->state == UK_BLKDEV_RUNNING); + UK_ASSERT(!PTRISERR(dev->_queue[queue_id])); + + req = &sync_io_req.req; + uk_blkreq_init(req, operation, start_sector, nb_sectors, buf, + __sync_io_callback, (void *)&sync_io_req); + uk_semaphore_init(&sync_io_req.s, 0); + + rc = uk_blkdev_queue_submit_one(dev, queue_id, req); + if (unlikely(!uk_blkdev_status_successful(rc))) { + uk_pr_err("blkdev%"PRIu16"-q%"PRIu16": Failed to submit I/O req: %d\n", + dev->_data->id, queue_id, rc); + return rc; + } + + uk_semaphore_down(&sync_io_req.s); + return req->result; +} +#endif diff --git a/lib/ukblkdev/exportsyms.uk b/lib/ukblkdev/exportsyms.uk index 8cdb8757..5c05994a 100644 --- a/lib/ukblkdev/exportsyms.uk +++ b/lib/ukblkdev/exportsyms.uk @@ -11,3 +11,4 @@ uk_blkdev_queue_configure uk_blkdev_start uk_blkdev_queue_submit_one uk_blkdev_queue_finish_reqs +uk_blkdev_sync_io diff --git a/lib/ukblkdev/include/uk/blkdev.h b/lib/ukblkdev/include/uk/blkdev.h index b941911c..ad0f2629 100644 --- a/lib/ukblkdev/include/uk/blkdev.h +++ b/lib/ukblkdev/include/uk/blkdev.h @@ -421,6 +421,56 @@ int uk_blkdev_queue_submit_one(struct uk_blkdev *dev, uint16_t queue_id, */ int uk_blkdev_queue_finish_reqs(struct uk_blkdev *dev, uint16_t queue_id); +#if CONFIG_LIBUKBLKDEV_SYNC_IO_BLOCKED_WAITING +/** + * Make a sync io request on a specific queue. + * `uk_blkdev_queue_finish_reqs()` must be called in queue interrupt context + * or another thread context in order to avoid blocking of the thread forever. + * + * @param dev + * The Unikraft Block Device + * @param queue_id + * queue_id + * @param op + * Type of operation + * @param sector + * Start Sector + * @param nb_sectors + * Number of sectors + * @param buf + * Buffer where data is found + * @return + * - 0: Success + * - (<0): on error returned by driver + */ +int uk_blkdev_sync_io(struct uk_blkdev *dev, + uint16_t queue_id, + enum uk_blkreq_op op, + __sector sector, + __sector nb_sectors, + void *buf); + +/* + * Wrappers for uk_blkdev_sync_io + */ +#define uk_blkdev_sync_write(blkdev,\ + queue_id, \ + sector, \ + nb_sectors, \ + buf) \ + uk_blkdev_sync_io(blkdev, queue_id, UK_BLKDEV_WRITE, sector, \ + nb_sectors, buf) \ + +#define uk_blkdev_sync_read(blkdev,\ + queue_id, \ + sector, \ + nb_sectors, \ + buf) \ + uk_blkdev_sync_io(blkdev, queue_id, UK_BLKDEV_READ, sector, \ + nb_sectors, buf) \ + +#endif + #ifdef __cplusplus } #endif diff --git a/lib/ukblkdev/include/uk/blkdev_core.h b/lib/ukblkdev/include/uk/blkdev_core.h index ae8eb07f..b12e3eb1 100644 --- a/lib/ukblkdev/include/uk/blkdev_core.h +++ b/lib/ukblkdev/include/uk/blkdev_core.h @@ -40,7 +40,8 @@ #include <uk/config.h> #include <uk/blkreq.h> #include <fcntl.h> -#if defined(CONFIG_LIBUKBLKDEV_DISPATCHERTHREADS) +#if defined(CONFIG_LIBUKBLKDEV_DISPATCHERTHREADS) || \ + defined(CONFIG_LIBUKBLKDEV_SYNC_IO_BLOCKED_WAITING) #include <uk/sched.h> #include <uk/semaphore.h> #endif diff --git a/lib/ukblkdev/include/uk/blkreq.h b/lib/ukblkdev/include/uk/blkreq.h index 6467b7ee..2c4b9b99 100644 --- a/lib/ukblkdev/include/uk/blkreq.h +++ b/lib/ukblkdev/include/uk/blkreq.h @@ -105,6 +105,46 @@ struct uk_blkreq { }; +/** + * Initializes a request structure. + * + * @param req + * The request structure + * @param op + * The operation + * @param start + * The start sector + * @param nb_sectors + * Number of sectors + * @param aio_buf + * Data buffer + * @param cb + * Request callback + * @param cb_cookie + * Request callback parameters + **/ +static inline void uk_blkreq_init(struct uk_blkreq *req, + enum uk_blkreq_op op, __sector start, __sector nb_sectors, + void *aio_buf, uk_blkreq_event_t cb, void *cb_cookie) +{ + req->operation = op; + req->start_sector = start; + req->nb_sectors = nb_sectors; + req->aio_buf = aio_buf; + ukarch_store_n(&req->state.counter, UK_BLKDEV_REQ_UNFINISHED); + req->cb = cb; + req->cb_cookie = cb_cookie; +} + +/** + * Checks if request is finished. + * + * @param req + * uk_blkreq structure + **/ +#define uk_blkreq_is_done(req) \ + (ukarch_load_n(&(req)->state.counter) == UK_BLKDEV_REQ_FINISHED) + #ifdef __cplusplus } #endif -- 2.17.1 _______________________________________________ Minios-devel mailing list Minios-devel@xxxxxxxxxxxxxxxxxxxx https://lists.xenproject.org/mailman/listinfo/minios-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |