* Man page doc for SEEK_DATA/SEEK_HOLE @ 2011-09-18 7:07 Michael Kerrisk [not found] ` <CAKgNAkhZSb0UfZz7N+gKRQD0r7gnC_3-VCB_ORio8ojczbCDvQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> 2011-09-19 18:04 ` Sunil Mushran 0 siblings, 2 replies; 10+ messages in thread From: Michael Kerrisk @ 2011-09-18 7:07 UTC (permalink / raw) To: Josef Bacik; +Cc: linux-man, Eric Blake, linux-fsdevel, linux-kernel Hello Josef, For Linux 3.1, you've added SEEK_HOLE + SEEK_DATA. I've attempted to document these as below for the lseek.2 man page. Could you please review? Thanks, Michael diff --git a/man2/lseek.2 b/man2/lseek.2 index 26943e2..941ea08 100644 --- a/man2/lseek.2 +++ b/man2/lseek.2 @@ -85,6 +85,69 @@ of the file (but this does not change the size of the file). If data is later written at this point, subsequent reads of the data in the gap (a "hole") return null bytes (\(aq\\0\(aq) until data is actually written into the gap. +.SS Seeking file data and holes +Since version 3.1, Linux supports the following additional values for +.IR whence : +.TP +.B SEEK_DATA +Adjust the file offset to the next region +in the file greater than or equal to +.I offset +containing data. +If +.I offset +points to data, +then the file offset is set to +.IR offset . +.TP +.B SEEK_HOLE +Adjust the file offset to the next hole in the file +greater than or equal to +.IR offset . +If +.I offset +points into the middle of a hole, +then the file offset is set to +.IR offset . +If there is no hole past +.IR offset , +then the file offset is adjusted to the end of the file +(i.e., there is an implicit hole at the end of any file). +.PP +In both of the above cases, +.BR lseek () +fails if +.I offset +points past the end of the file. + +These operations allow applications to map holes in a sparsely +allocated file. +This can be useful for applications such as file backup tools, +which can save space when creating backups and preserve holes, +if they have a mechanism for discovering holes. + +For the purposes of these operations, a hole is a sequence of zeroes that +(normally) has not been allocated in the underlying file storage. +However, a file system is not obliged to report holes, +so these operations are not a guaranteed mechanism for +mapping the storage space actually allocated to a file. +(Furthermore, a sequence of zeroes that actually has been written +to the underlying storage normally won't be reported as a hole.) +In the simplest implementation, +a file system can support the operations by making +.BR SEEK_HOLE +always return the offset of the end of the file, +and making +.BR SEEK_DATA +always return +return +.IR offset +(i.e., even if the location referred to by +.I offset +is a hole, +it can be considered to consist of data that is a sequence of zeroes). +.\" https://lkml.org/lkml/2011/4/22/79 +.\" http://lwn.net/Articles/440255/ +.\" http://blogs.oracle.com/bonwick/entry/seek_hole_and_seek_data .SH "RETURN VALUE" Upon successful completion, .BR lseek () @@ -101,11 +164,14 @@ is not an open file descriptor. .TP .B EINVAL .I whence -is not one of -.BR SEEK_SET , -.BR SEEK_CUR , -.BR SEEK_END ; -or the resulting file offset would be negative, +is not valid (this error may be returned if +.I whence +is +.BR SEEK_DATA +or +.BR SEEK_HOLE +and the underlying file system does not support the operation). +Or: the resulting file offset would be negative, or beyond the end of a seekable device. .\" Some systems may allow negative offsets for character devices .\" and/or for remote file systems. @@ -118,8 +184,21 @@ The resulting file offset cannot be represented in an .B ESPIPE .I fd is associated with a pipe, socket, or FIFO. +.TP +.B ENXIO +.I whence +is +.B SEEK_DATA +or +.BR SEEK_HOLE , +and the current file offset is beyond the end of the file. .SH "CONFORMING TO" SVr4, 4.3BSD, POSIX.1-2001. + +.BR SEEK_DATA +and +.BR SEEK_HOLE +are nonstandard extensions also present in Solaris. .SH NOTES Some devices are incapable of seeking and POSIX does not specify which devices must support ^ permalink raw reply related [flat|nested] 10+ messages in thread
[parent not found: <CAKgNAkhZSb0UfZz7N+gKRQD0r7gnC_3-VCB_ORio8ojczbCDvQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>]
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <CAKgNAkhZSb0UfZz7N+gKRQD0r7gnC_3-VCB_ORio8ojczbCDvQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> @ 2011-09-19 17:57 ` Eric Blake [not found] ` <4E77827C.3030202-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> 0 siblings, 1 reply; 10+ messages in thread From: Eric Blake @ 2011-09-19 17:57 UTC (permalink / raw) To: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w Cc: Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA On 09/18/2011 01:07 AM, Michael Kerrisk wrote: > + > +.BR SEEK_DATA > +and > +.BR SEEK_HOLE > +are nonstandard extensions also present in Solaris. Looks good to me, but you may also want to link to the proposed wording for mandating SEEK_HOLE/SEEK_DATA in the eventual POSIX Issue 8 (POSIX 2008 is Issue 7): http://austingroupbugs.net/view.php?id=415 Also, it seems a shame that the kernel can fail with EINVAL instead of properly emulating SEEK_HOLE and SEEK_DATA even on file systems with no underlying support for reporting holes. -- Eric Blake eblake-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org +1-801-349-2682 Libvirt virtualization library http://libvirt.org -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
[parent not found: <4E77827C.3030202-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>]
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <4E77827C.3030202-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> @ 2011-09-19 18:27 ` Sunil Mushran [not found] ` <4E7789A1.4080501-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> 2011-09-20 5:24 ` Michael Kerrisk 1 sibling, 1 reply; 10+ messages in thread From: Sunil Mushran @ 2011-09-19 18:27 UTC (permalink / raw) To: Eric Blake Cc: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w, Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA On 09/19/2011 10:57 AM, Eric Blake wrote: > On 09/18/2011 01:07 AM, Michael Kerrisk wrote: >> + >> +.BR SEEK_DATA >> +and >> +.BR SEEK_HOLE >> +are nonstandard extensions also present in Solaris. > > Looks good to me, but you may also want to link to the proposed wording for mandating SEEK_HOLE/SEEK_DATA in the eventual POSIX Issue 8 (POSIX 2008 is Issue 7): > http://austingroupbugs.net/view.php?id=415 > > Also, it seems a shame that the kernel can fail with EINVAL instead of properly emulating SEEK_HOLE and SEEK_DATA even on file systems with no underlying support for reporting holes. > Why do you say that? If I am reading generic_file_llseek_unlocked() correctly, the default behavior is treat offset < i_size as data. -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
[parent not found: <4E7789A1.4080501-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org>]
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <4E7789A1.4080501-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> @ 2011-09-19 18:44 ` Eric Blake 2011-09-19 18:57 ` Sunil Mushran 2011-09-20 5:47 ` Michael Kerrisk 0 siblings, 2 replies; 10+ messages in thread From: Eric Blake @ 2011-09-19 18:44 UTC (permalink / raw) To: Sunil Mushran Cc: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w, Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA On 09/19/2011 12:27 PM, Sunil Mushran wrote: > On 09/19/2011 10:57 AM, Eric Blake wrote: >> Also, it seems a shame that the kernel can fail with EINVAL instead of >> properly emulating SEEK_HOLE and SEEK_DATA even on file systems with >> no underlying support for reporting holes. >> > > Why do you say that? If I am reading generic_file_llseek_unlocked() > correctly, the default behavior is treat offset < i_size as data. The proposed wording states: > .B EINVAL > .I whence > -is not one of > -.BR SEEK_SET , > -.BR SEEK_CUR , > -.BR SEEK_END ; > -or the resulting file offset would be negative, > +is not valid (this error may be returned if > +.I whence > +is > +.BR SEEK_DATA > +or > +.BR SEEK_HOLE > +and the underlying file system does not support the operation). I guess it should instead read: EINVAL whence is not valid (this error may be returned if whence is SEEK_DATA or SEEK_HOLE but the kernel does not support the operation). Given your argument that new enough kernels understand SEEK_DATA and SEEK_HOLE for all file systems. I agree that EINVAL will occur if you compile against new enough glibc that exposes the constants, but then run against an older kernel that does not yet understand them. But I want the text to be clarified to be bullet-proof that if I am running against kernel 3.1 or newer, the only way I will ever get EINVAL for these two constants is if I do something else invalid, like a negative offset. -- Eric Blake eblake-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org +1-801-349-2682 Libvirt virtualization library http://libvirt.org -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Man page doc for SEEK_DATA/SEEK_HOLE 2011-09-19 18:44 ` Eric Blake @ 2011-09-19 18:57 ` Sunil Mushran 2011-09-20 5:47 ` Michael Kerrisk 1 sibling, 0 replies; 10+ messages in thread From: Sunil Mushran @ 2011-09-19 18:57 UTC (permalink / raw) To: Eric Blake Cc: mtk.manpages, Josef Bacik, linux-man, linux-fsdevel, linux-kernel On 09/19/2011 11:44 AM, Eric Blake wrote: > I guess it should instead read: > > EINVAL whence is not valid (this error may be returned if whence is SEEK_DATA or SEEK_HOLE but the kernel does not support the operation). Sure. Maybe add the kernel version. Support has been added in 3.1. ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Man page doc for SEEK_DATA/SEEK_HOLE 2011-09-19 18:44 ` Eric Blake 2011-09-19 18:57 ` Sunil Mushran @ 2011-09-20 5:47 ` Michael Kerrisk 1 sibling, 0 replies; 10+ messages in thread From: Michael Kerrisk @ 2011-09-20 5:47 UTC (permalink / raw) To: Eric Blake Cc: Sunil Mushran, Josef Bacik, linux-man, linux-fsdevel, linux-kernel Hello Eric, Sunil, On Mon, Sep 19, 2011 at 8:44 PM, Eric Blake <eblake@redhat.com> wrote: > On 09/19/2011 12:27 PM, Sunil Mushran wrote: >> >> On 09/19/2011 10:57 AM, Eric Blake wrote: >>> >>> Also, it seems a shame that the kernel can fail with EINVAL instead of >>> properly emulating SEEK_HOLE and SEEK_DATA even on file systems with >>> no underlying support for reporting holes. >>> >> >> Why do you say that? If I am reading generic_file_llseek_unlocked() >> correctly, the default behavior is treat offset < i_size as data. > > The proposed wording states: > >> .B EINVAL >> .I whence >> -is not one of >> -.BR SEEK_SET , >> -.BR SEEK_CUR , >> -.BR SEEK_END ; >> -or the resulting file offset would be negative, >> +is not valid (this error may be returned if >> +.I whence >> +is >> +.BR SEEK_DATA >> +or >> +.BR SEEK_HOLE >> +and the underlying file system does not support the operation). > > I guess it should instead read: > > EINVAL whence is not valid (this error may be returned if whence is > SEEK_DATA or SEEK_HOLE but the kernel does not support the operation). > > Given your argument that new enough kernels understand SEEK_DATA and > SEEK_HOLE for all file systems. I think I added this because of the following, which is current (or at least was 3 days ago when I last pulled and wrote the page). From fs/hpfs/dir.c: ==== static loff_t hpfs_dir_lseek(struct file *filp, loff_t off, int whence) { loff_t new_off = off + (whence == 1 ? filp->f_pos : 0); loff_t pos; struct quad_buffer_head qbh; struct inode *i = filp->f_path.dentry->d_inode; struct hpfs_inode_info *hpfs_inode = hpfs_i(i); struct super_block *s = i->i_sb; /* Somebody else will have to figure out what to do here */ if (whence == SEEK_DATA || whence == SEEK_HOLE) return -EINVAL; ==== In other words, there's at least one file system that does produce EINVAL. Perhaps that file system needs to be fixed so that it falls back to the generic implementation? That said, I take the point that this probably doesn't need to be documented in the man page, and I removed that text. > I agree that EINVAL will occur if you compile against new enough glibc that > exposes the constants, but then run against an older kernel that does not > yet understand them. But I want the text to be clarified to be bullet-proof > that if I am running against kernel 3.1 or newer, the only way I will ever > get EINVAL for these two constants is if I do something else invalid, like a > negative offset. Revised patch below. Cheers, Michael diff --git a/man2/lseek.2 b/man2/lseek.2 index 26943e2..9e62bc6 100644 --- a/man2/lseek.2 +++ b/man2/lseek.2 @@ -85,6 +85,70 @@ of the file (but this does not change the size of the file). If data is later written at this point, subsequent reads of the data in the gap (a "hole") return null bytes (\(aq\\0\(aq) until data is actually written into the gap. +.SS Seeking file data and holes +Since version 3.1, Linux supports the following additional values for +.IR whence : +.TP +.B SEEK_DATA +Adjust the file offset to the next location +in the file greater than or equal to +.I offset +containing data. +If +.I offset +points to data, +then the file offset is set to +.IR offset . +.TP +.B SEEK_HOLE +Adjust the file offset to the next hole in the file +greater than or equal to +.IR offset . +If +.I offset +points into the middle of a hole, +then the file offset is set to +.IR offset . +If there is no hole past +.IR offset , +then the file offset is adjusted to the end of the file +(i.e., there is an implicit hole at the end of any file). +.PP +In both of the above cases, +.BR lseek () +fails if +.I offset +points past the end of the file. + +These operations allow applications to map holes in a sparsely +allocated file. +This can be useful for applications such as file backup tools, +which can save space when creating backups and preserve holes, +if they have a mechanism for discovering holes. + +For the purposes of these operations, a hole is a sequence of zeroes that +(normally) has not been allocated in the underlying file storage. +However, a file system is not obliged to report holes, +so these operations are not a guaranteed mechanism for +mapping the storage space actually allocated to a file. +(Furthermore, a sequence of zeroes that actually has been written +to the underlying storage may not be reported as a hole.) +In the simplest implementation, +a file system can support the operations by making +.BR SEEK_HOLE +always return the offset of the end of the file, +and making +.BR SEEK_DATA +always return +return +.IR offset +(i.e., even if the location referred to by +.I offset +is a hole, +it can be considered to consist of data that is a sequence of zeroes). +.\" https://lkml.org/lkml/2011/4/22/79 +.\" http://lwn.net/Articles/440255/ +.\" http://blogs.oracle.com/bonwick/entry/seek_hole_and_seek_data .SH "RETURN VALUE" Upon successful completion, .BR lseek () @@ -101,11 +165,8 @@ is not an open file descriptor. .TP .B EINVAL .I whence -is not one of -.BR SEEK_SET , -.BR SEEK_CUR , -.BR SEEK_END ; -or the resulting file offset would be negative, +is not valid. +Or: the resulting file offset would be negative, or beyond the end of a seekable device. .\" Some systems may allow negative offsets for character devices .\" and/or for remote file systems. @@ -118,8 +179,23 @@ The resulting file offset cannot be represented in an .B ESPIPE .I fd is associated with a pipe, socket, or FIFO. +.TP +.B ENXIO +.I whence +is +.B SEEK_DATA +or +.BR SEEK_HOLE , +and the current file offset is beyond the end of the file. .SH "CONFORMING TO" SVr4, 4.3BSD, POSIX.1-2001. + +.BR SEEK_DATA +and +.BR SEEK_HOLE +are nonstandard extensions also present in Solaris; +they are proposed for inclusion in the next POSIX revision (Issue 8). +.\" FIXME . Review http://austingroupbugs.net/view.php?id=415 in the future .SH NOTES Some devices are incapable of seeking and POSIX does not specify which devices must support -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Author of "The Linux Programming Interface"; http://man7.org/tlpi/ -- To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply related [flat|nested] 10+ messages in thread
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <4E77827C.3030202-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> 2011-09-19 18:27 ` Sunil Mushran @ 2011-09-20 5:24 ` Michael Kerrisk 1 sibling, 0 replies; 10+ messages in thread From: Michael Kerrisk @ 2011-09-20 5:24 UTC (permalink / raw) To: Eric Blake Cc: Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA Hello Eric On Mon, Sep 19, 2011 at 7:57 PM, Eric Blake <eblake-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> wrote: > On 09/18/2011 01:07 AM, Michael Kerrisk wrote: >> >> + >> +.BR SEEK_DATA >> +and >> +.BR SEEK_HOLE >> +are nonstandard extensions also present in Solaris. > > Looks good to me, but you may also want to link to the proposed wording for > mandating SEEK_HOLE/SEEK_DATA in the eventual POSIX Issue 8 (POSIX 2008 is > Issue 7): > http://austingroupbugs.net/view.php?id=415 > > Also, it seems a shame that the kernel can fail with EINVAL instead of > properly emulating SEEK_HOLE and SEEK_DATA even on file systems with no > underlying support for reporting holes. Thanks for catching that. I've added that point. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Author of "The Linux Programming Interface"; http://man7.org/tlpi/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Man page doc for SEEK_DATA/SEEK_HOLE 2011-09-18 7:07 Man page doc for SEEK_DATA/SEEK_HOLE Michael Kerrisk [not found] ` <CAKgNAkhZSb0UfZz7N+gKRQD0r7gnC_3-VCB_ORio8ojczbCDvQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> @ 2011-09-19 18:04 ` Sunil Mushran [not found] ` <4E778434.6040905-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> 1 sibling, 1 reply; 10+ messages in thread From: Sunil Mushran @ 2011-09-19 18:04 UTC (permalink / raw) To: mtk.manpages Cc: Josef Bacik, linux-man, Eric Blake, linux-fsdevel, linux-kernel On 09/18/2011 12:07 AM, Michael Kerrisk wrote: > Hello Josef, > > For Linux 3.1, you've added SEEK_HOLE + SEEK_DATA. I've attempted to > document these as below for the lseek.2 man page. Could you please > review? > > Thanks, > > Michael > > > diff --git a/man2/lseek.2 b/man2/lseek.2 > index 26943e2..941ea08 100644 > --- a/man2/lseek.2 > +++ b/man2/lseek.2 > @@ -85,6 +85,69 @@ of the file (but this does not change the size of the file). > If data is later written at this point, subsequent reads of the data > in the gap (a "hole") return null bytes (\(aq\\0\(aq) until > data is actually written into the gap. > +.SS Seeking file data and holes > +Since version 3.1, Linux supports the following additional values for > +.IR whence : > +.TP > +.B SEEK_DATA > +Adjust the file offset to the next region > +in the file greater than or equal to > +.I offset I would recommend dropping the word next as it is confusing considering the offset returned could be the offset passed in. > +containing data. > +If > +.I offset > +points to data, > +then the file offset is set to > +.IR offset . > +.TP > +.B SEEK_HOLE > +Adjust the file offset to the next hole in the file > +greater than or equal to > +.IR offset . Same here. > +If > +.I offset > +points into the middle of a hole, > +then the file offset is set to > +.IR offset . > +If there is no hole past > +.IR offset , > +then the file offset is adjusted to the end of the file > +(i.e., there is an implicit hole at the end of any file). > +.PP > +In both of the above cases, > +.BR lseek () > +fails if > +.I offset > +points past the end of the file. > + > +These operations allow applications to map holes in a sparsely > +allocated file. > +This can be useful for applications such as file backup tools, > +which can save space when creating backups and preserve holes, > +if they have a mechanism for discovering holes. > + > +For the purposes of these operations, a hole is a sequence of zeroes that > +(normally) has not been allocated in the underlying file storage. > +However, a file system is not obliged to report holes, > +so these operations are not a guaranteed mechanism for > +mapping the storage space actually allocated to a file. > +(Furthermore, a sequence of zeroes that actually has been written > +to the underlying storage normally won't be reported as a hole.) Instead of "won't be", make it "may not be". The interface should not limit the file system/block device. > +In the simplest implementation, > +a file system can support the operations by making > +.BR SEEK_HOLE > +always return the offset of the end of the file, > +and making > +.BR SEEK_DATA > +always return > +return > +.IR offset > +(i.e., even if the location referred to by > +.I offset > +is a hole, > +it can be considered to consist of data that is a sequence of zeroes). > +.\" https://lkml.org/lkml/2011/4/22/79 > +.\" http://lwn.net/Articles/440255/ > +.\" http://blogs.oracle.com/bonwick/entry/seek_hole_and_seek_data > > .SH "RETURN VALUE" > Upon successful completion, > .BR lseek () > @@ -101,11 +164,14 @@ is not an open file descriptor. > .TP > .B EINVAL > .I whence > -is not one of > -.BR SEEK_SET , > -.BR SEEK_CUR , > -.BR SEEK_END ; > -or the resulting file offset would be negative, > +is not valid (this error may be returned if > +.I whence > +is > +.BR SEEK_DATA > +or > +.BR SEEK_HOLE > +and the underlying file system does not support the operation). > +Or: the resulting file offset would be negative, > or beyond the end of a seekable device. > .\" Some systems may allow negative offsets for character devices > .\" and/or for remote file systems. > @@ -118,8 +184,21 @@ The resulting file offset cannot be represented in an > .B ESPIPE > .I fd > is associated with a pipe, socket, or FIFO. > +.TP > +.B ENXIO > +.I whence > +is > +.B SEEK_DATA > +or > +.BR SEEK_HOLE , > +and the current file offset is beyond the end of the file. > .SH "CONFORMING TO" > SVr4, 4.3BSD, POSIX.1-2001. > + > +.BR SEEK_DATA > +and > +.BR SEEK_HOLE > +are nonstandard extensions also present in Solaris. > .SH NOTES > Some devices are incapable of seeking and POSIX does not specify which > devices must support > -- > To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in > the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
[parent not found: <4E778434.6040905-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org>]
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <4E778434.6040905-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> @ 2011-09-20 5:32 ` Michael Kerrisk [not found] ` <CAKgNAkgeNBgWEx0-BbSbf83Jtk-AXd+W-YHL-4gTwA6Y_nbR0g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> 0 siblings, 1 reply; 10+ messages in thread From: Michael Kerrisk @ 2011-09-20 5:32 UTC (permalink / raw) To: Sunil Mushran Cc: Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, Eric Blake, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA Hi Sunil, On Mon, Sep 19, 2011 at 8:04 PM, Sunil Mushran <sunil.mushran-QHcLZuEGTsthl2p70BpVqQ@public.gmane.orgm> wrote: > On 09/18/2011 12:07 AM, Michael Kerrisk wrote: >> >> Hello Josef, >> >> For Linux 3.1, you've added SEEK_HOLE + SEEK_DATA. I've attempted to >> document these as below for the lseek.2 man page. Could you please >> review? >> >> Thanks, >> >> Michael >> >> >> diff --git a/man2/lseek.2 b/man2/lseek.2 >> index 26943e2..941ea08 100644 >> --- a/man2/lseek.2 >> +++ b/man2/lseek.2 >> @@ -85,6 +85,69 @@ of the file (but this does not change the size of the >> file). >> If data is later written at this point, subsequent reads of the data >> in the gap (a "hole") return null bytes (\(aq\\0\(aq) until >> data is actually written into the gap. >> +.SS Seeking file data and holes >> +Since version 3.1, Linux supports the following additional values for >> +.IR whence : >> +.TP >> +.B SEEK_DATA >> +Adjust the file offset to the next region >> +in the file greater than or equal to >> +.I offset > > I would recommend dropping the word next as it is confusing considering the > offset returned could be the offset passed in. I changed "region" to "location", but otherwise left this unchanged. I couldn't see a good alternative formulation, and also the next sentence of the page makes your point clear. >> +containing data. >> +If >> +.I offset >> +points to data, >> +then the file offset is set to >> +.IR offset . >> +.TP >> +.B SEEK_HOLE >> +Adjust the file offset to the next hole in the file >> +greater than or equal to >> +.IR offset . > > Same here. See above; no change. >> +If >> +.I offset >> +points into the middle of a hole, >> +then the file offset is set to >> +.IR offset . >> +If there is no hole past >> +.IR offset , >> +then the file offset is adjusted to the end of the file >> +(i.e., there is an implicit hole at the end of any file). >> +.PP >> +In both of the above cases, >> +.BR lseek () >> +fails if >> +.I offset >> +points past the end of the file. >> + >> +These operations allow applications to map holes in a sparsely >> +allocated file. >> +This can be useful for applications such as file backup tools, >> +which can save space when creating backups and preserve holes, >> +if they have a mechanism for discovering holes. >> + >> +For the purposes of these operations, a hole is a sequence of zeroes that >> +(normally) has not been allocated in the underlying file storage. >> +However, a file system is not obliged to report holes, >> +so these operations are not a guaranteed mechanism for >> +mapping the storage space actually allocated to a file. >> +(Furthermore, a sequence of zeroes that actually has been written >> +to the underlying storage normally won't be reported as a hole.) > > Instead of "won't be", make it "may not be". The interface should not limit > the file system/block device. Yes, better. Changed. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Author of "The Linux Programming Interface"; http://man7.org/tlpi/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
[parent not found: <CAKgNAkgeNBgWEx0-BbSbf83Jtk-AXd+W-YHL-4gTwA6Y_nbR0g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>]
* Re: Man page doc for SEEK_DATA/SEEK_HOLE [not found] ` <CAKgNAkgeNBgWEx0-BbSbf83Jtk-AXd+W-YHL-4gTwA6Y_nbR0g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> @ 2011-09-20 15:59 ` Sunil Mushran 0 siblings, 0 replies; 10+ messages in thread From: Sunil Mushran @ 2011-09-20 15:59 UTC (permalink / raw) To: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w Cc: Josef Bacik, linux-man-u79uwXL29TY76Z2rM5mHXA, Eric Blake, linux-fsdevel-u79uwXL29TY76Z2rM5mHXA, linux-kernel-u79uwXL29TY76Z2rM5mHXA On 09/19/2011 10:32 PM, Michael Kerrisk wrote: > Hi Sunil, > > On Mon, Sep 19, 2011 at 8:04 PM, Sunil Mushran<sunil.mushran-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> wrote: >> On 09/18/2011 12:07 AM, Michael Kerrisk wrote: >>> Hello Josef, >>> >>> For Linux 3.1, you've added SEEK_HOLE + SEEK_DATA. I've attempted to >>> document these as below for the lseek.2 man page. Could you please >>> review? >>> >>> Thanks, >>> >>> Michael >>> >>> >>> diff --git a/man2/lseek.2 b/man2/lseek.2 >>> index 26943e2..941ea08 100644 >>> --- a/man2/lseek.2 >>> +++ b/man2/lseek.2 >>> @@ -85,6 +85,69 @@ of the file (but this does not change the size of the >>> file). >>> If data is later written at this point, subsequent reads of the data >>> in the gap (a "hole") return null bytes (\(aq\\0\(aq) until >>> data is actually written into the gap. >>> +.SS Seeking file data and holes >>> +Since version 3.1, Linux supports the following additional values for >>> +.IR whence : >>> +.TP >>> +.B SEEK_DATA >>> +Adjust the file offset to the next region >>> +in the file greater than or equal to >>> +.I offset >> I would recommend dropping the word next as it is confusing considering the >> offset returned could be the offset passed in. > I changed "region" to "location", but otherwise left this unchanged. I > couldn't see a good alternative formulation, and also the next > sentence of the page makes your point clear. Fine by me. -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html ^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2011-09-20 15:59 UTC | newest] Thread overview: 10+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2011-09-18 7:07 Man page doc for SEEK_DATA/SEEK_HOLE Michael Kerrisk [not found] ` <CAKgNAkhZSb0UfZz7N+gKRQD0r7gnC_3-VCB_ORio8ojczbCDvQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> 2011-09-19 17:57 ` Eric Blake [not found] ` <4E77827C.3030202-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> 2011-09-19 18:27 ` Sunil Mushran [not found] ` <4E7789A1.4080501-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> 2011-09-19 18:44 ` Eric Blake 2011-09-19 18:57 ` Sunil Mushran 2011-09-20 5:47 ` Michael Kerrisk 2011-09-20 5:24 ` Michael Kerrisk 2011-09-19 18:04 ` Sunil Mushran [not found] ` <4E778434.6040905-QHcLZuEGTsvQT0dZR+AlfA@public.gmane.org> 2011-09-20 5:32 ` Michael Kerrisk [not found] ` <CAKgNAkgeNBgWEx0-BbSbf83Jtk-AXd+W-YHL-4gTwA6Y_nbR0g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org> 2011-09-20 15:59 ` Sunil Mushran
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).