提交 174e27c6 编写于 作者: C Chen, Kenneth W 提交者: Linus Torvalds

[PATCH] direct-io: bug fix in dio handling write error

There is a bug in direct-io on propagating write error up to the higher I/O
layer.  When performing an async ODIRECT write to a block device, if a
device error occurred (like media error or disk is pulled), the error code
is only propagated from device driver to the DIO layer.  The error code
stops at finished_one_bio().  The aysnc write, however, is supposedly have
a corresponding AIO event with appropriate return code (in this case -EIO).
 Application which waits on the async write event, will hang forever since
such AIO event is lost forever (if such app did not use the timeout option
in io_getevents call.  Regardless, an AIO event is lost).

The discovery of above bug leads to another discovery of potential race
window with dio->result.  The fundamental problem is that dio->result is
overloaded with dual use: an indicator of fall back path for partial dio
write, and an error indicator used in the I/O completion path.  In the
event of device error, the setting of -EIO to dio->result clashes with
value used to track partial write that activates the fall back path.

It was also pointed out that it is impossible to use dio->result to track
partial write and at the same time to track error returned from device
driver.  Because direct_io_work can only determines whether it is a partial
write at the end of io submission and in mid stream of those io submission,
a return code could be coming back from the driver.  Thus messing up all
the subsequent logic.

Proposed fix is to separating out error code returned by the IO completion
path from partial IO submit tracking.  A new variable is added to dio
structure specifically to track io error returned in the completion path.
Signed-off-by: NKen Chen <kenneth.w.chen@intel.com>
Acked-by: NZach Brown <zach.brown@oracle.com>
Acked-by: NSuparna Bhattacharya <suparna@in.ibm.com>
Cc: Badari Pulavarty <pbadari@us.ibm.com>
Signed-off-by: NAndrew Morton <akpm@osdl.org>
Signed-off-by: NLinus Torvalds <torvalds@osdl.org>
上级 0e6b3e5e
...@@ -129,6 +129,7 @@ struct dio { ...@@ -129,6 +129,7 @@ struct dio {
/* AIO related stuff */ /* AIO related stuff */
struct kiocb *iocb; /* kiocb */ struct kiocb *iocb; /* kiocb */
int is_async; /* is IO async ? */ int is_async; /* is IO async ? */
int io_error; /* IO error in completion path */
ssize_t result; /* IO result */ ssize_t result; /* IO result */
}; };
...@@ -250,6 +251,10 @@ static void finished_one_bio(struct dio *dio) ...@@ -250,6 +251,10 @@ static void finished_one_bio(struct dio *dio)
((offset + transferred) > dio->i_size)) ((offset + transferred) > dio->i_size))
transferred = dio->i_size - offset; transferred = dio->i_size - offset;
/* check for error in completion path */
if (dio->io_error)
transferred = dio->io_error;
dio_complete(dio, offset, transferred); dio_complete(dio, offset, transferred);
/* Complete AIO later if falling back to buffered i/o */ /* Complete AIO later if falling back to buffered i/o */
...@@ -406,7 +411,7 @@ static int dio_bio_complete(struct dio *dio, struct bio *bio) ...@@ -406,7 +411,7 @@ static int dio_bio_complete(struct dio *dio, struct bio *bio)
int page_no; int page_no;
if (!uptodate) if (!uptodate)
dio->result = -EIO; dio->io_error = -EIO;
if (dio->is_async && dio->rw == READ) { if (dio->is_async && dio->rw == READ) {
bio_check_pages_dirty(bio); /* transfers ownership */ bio_check_pages_dirty(bio); /* transfers ownership */
...@@ -971,6 +976,7 @@ direct_io_worker(int rw, struct kiocb *iocb, struct inode *inode, ...@@ -971,6 +976,7 @@ direct_io_worker(int rw, struct kiocb *iocb, struct inode *inode,
dio->next_block_for_io = -1; dio->next_block_for_io = -1;
dio->page_errors = 0; dio->page_errors = 0;
dio->io_error = 0;
dio->result = 0; dio->result = 0;
dio->iocb = iocb; dio->iocb = iocb;
dio->i_size = i_size_read(inode); dio->i_size = i_size_read(inode);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册