If filesystem has to guarantee write ordering, it has to serialize write request. So, only when 'A' is written to the block (completion received from block driver) filesystem can dispatch 'B' not before that. Remember that there could be failures too. So if 'A' is failed, request for 'B' is pending, would a filesystem fail that too? I guess not. Usually page cache absorbs such overwrites first than issues a single merged IO to block device, but what about direct IO? If applications need consistency guarantee against such failures, it should serialize writes. So to summarize, write ordering effort from each layers Block driver: none Filesystem: best effort Application: full Rajat ------------------------------ From: neha naik Sent: 03-08-2013 02:40 To: Greg Freemyer Cc: Rajat Sharma; kernelnewbies Subject: Re: Conceptual questions about device driver Thanks for the responses. I have one more question for Greg. I come from filesystem background and not device driver so i may be a bit confused about the write order fidelity. I know that filesystems guarantee that. Looking from filesystem perspective, no write will be allowed on the same block until the first write finishes. So, if 'B' is written after 'A' you can always guarantee that you will see 'B' at the end of the two writes. Now imagine not having a filesystem, and doing a write directly on the device. Do device drivers honour it. Should they? I imagine device driver as a kind of queue. So any writes are always queued up one after the other so that it gives write order fidelity whether it wants to or not. Am i missing something here. Regards, Neha On Fri, Aug 2, 2013 at 1:56 PM, Greg Freemyer <greg.freemyer@gmail.com>wrote:
On Fri, Aug 2, 2013 at 1:32 AM, Rajat Sharma <fs.rajat@gmail.com> wrote:
On Fri, Aug 2, 2013 at 2:25 AM, neha naik <nehanaik27@gmail.com> wrote:
Hi, I have some conceptual questions about device driver :
1. Write order fidelity should be maintained when submitting requests from device driver to disk below. However, acknowledging these requests it is okay if we don't necessarily maintain that order, right?
Yes it should not matter as long as application can rely on data being written is in order of submission.
But it can't ..... unless the write cache is turned off and it is known the the cache is truly off.
There is no guarantee of write order in the block stack. Not between the filesystem and the driver. Not between the driver and the drive.
There are at least 2 elevators shuffling the order of writes to optimize performance.
Rajat, did you get confused? Or were you trying to say something else?
Greg