On 11/14/2014 06:12 AM, Markus Armbruster wrote: >> 0-length file: >> lseek(fd, 0, SEEK_HOLE) => -1 ENXIO >> lseek(fd, 0, SEEK_DATA) => -1 ENXIO >> conclusion: 0 is at EOF > > Isn't this a special case of the next one? > >> file of any size: >> lseek(fd, size_or_larger, SEEK_HOLE) => -1 ENXIO >> lseek(fd, size_or_larger, SEEK_DATA) => -1 ENXIO >> conclusion: size_or_larger is at or beyond EOF
Yes. >> >> The two calls are both necessary, in order to learn which extant type >> offset belongs to, and to tell where that extant ends; and the behaviors >> are distinguishable (if both lseek() succeed, we have both numbers we >> want; if both fail with ENXIO, we know the offset is at or beyond EOF; >> and if only SEEK_HOLE fails with ENXIO, we know we have a trailing >> hole); and we can tell at runtime what to do about a trailing hole (if >> the return value is offset, we need one more lseek(fd, 0, SEEK_END) to >> find EOF; if the return value is larger than offset, we have EOF for >> free). You can optimize by calling SEEK_HOLE first (if it fails with >> ENXIO, there is no need to try SEEK_DATA); but SEEK_HOLE in isolation is >> insufficient to give you all the information you need. > > Not discussed: how to handle failures other than ENXIO. > > The appended code still avoids a second seek in one case. Useful mostly > because it saves us from handling a second seek's contradictory > information. Slick - I focused on SEEK_HOLE first, but you focused on SEEK_DATA first. Your comments make all the difference. > > > /* > * Find allocation range in @bs around offset @start. > * May change underlying file descriptor's file offset. > * If @start is not in a hole, store @start in @data, and the > * beginning of the next hole in @hole, and return 0. > * If @start is in a non-trailing hole, store @start in @hole and the > * beginning of the next non-hole in @data, and return 0. > * If @start is in a trailing hole or beyond EOF, return -ENXIO. And caller can blindly and safely treat that as a trailing hole, as needed. > * If we can't find out, return a negative errno other than -ENXIO. > */ > static int find_allocation(BlockDriverState *bs, off_t start, > off_t *data, off_t *hole) > { > #if defined SEEK_HOLE && defined SEEK_DATA I seriously doubt you'd find a system with one but not both of these constants defined. But it doesn't hurt to check both. > BDRVRawState *s = bs->opaque; > off_t offs; > > /* > * SEEK_DATA cases: > * D1. offs == start: start is in data > * D2. offs > start: start is in a hole, next data at offs > * D3. offs < 0, errno = ENXIO: either start is in a trailing hole > * or start is beyond EOF > * If the latter happens, the file has been truncated behind > * our back since we opened it. Best we can do is treat like > * a trailing hole. > * D4. offs < 0, errno != ENXIO: we learned nothing > */ Correct. > offs = lseek(s->fd, start, SEEK_DATA); > if (offs < 0) { > return -errno; /* D3 or D4 */ > } > assert(offs >= start); > > if (offs > start) { > /* D2: in hole, next data at offs */ > *hole = start; > *data = offs; > return 0; > } > > /* D1: in data, end not yet known */ > > /* > * SEEK_HOLE cases: > * H1. offs == start: start is in a hole > * If this happens here, a hole has been dug behind our back > * since the previous lseek(). > * H2. offs > start: either start is in data, next hole at offs, > * or start is in trailing hole, EOF at offs > * Linux treats trailing holes like any other hole: offs == > * start. Solaris seeks to EOF instead: offs > start (blech). Correct in isolation. Coupled with the additional knowledge that we are in state D1 (and already treated D3 as a trailing hole with early exit),... > * If that happens here, a hole has been dug behind our back > * since the previous lseek(). ...this is further true for this function. > * H3. offs < 0, errno = ENXIO: start is beyond EOF > * If this happens, the file has been truncated behind our > * back since we opened it. Treat it like a trailing hole. > * H4. offs < 0, errno != ENXIO: we learned nothing > * Pretend we know nothing at all, i.e. "forget" about D1. > */ > offs = lseek(s->fd, start, SEEK_HOLE); > if (offs < 0) { > return -errno; /* D1 and (H3 or H4) */ > } > assert(offs >= start); > > if (offs > start) { > /* > * D1 and H2: either in data, next hole at offs, or it was in > * data but is now in a trailing hole. Treating the latter as > * if it there was data extending to EOF is safe, so simply do > * that. > */ > *data = start; > *hole = offs; > return 0; > } Reasonable. > > /* D1 and H1 */ > return -EBUSY; > #else > return -ENOTSUP; > #endif > } I like it. Maybe we could do better than -ENOTSUP (by treating the entire file as data and the hole at EOF), but if the caller handles ENOTSUP differently from ENXIO, you don't necessarily need to do it here. Looking forward to this in an actual v3 patch. -- Eric Blake eblake redhat com +1-919-301-3266 Libvirt virtualization library http://libvirt.org
signature.asc
Description: OpenPGP digital signature