稀疏文件是特定于实现的。我们可以假设孔粒度取决于文件系统I/O块大小。
我修改了你的程序来做一些测试：

#define _GNU_SOURCE
#include <stdio.h>
#include <fcntl.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdlib.h>
#include <stdint.h>

static void test(off_t offset)
{
    int write_value = 0x22;

    int fh = open("dummy", O_CREAT | O_TRUNC | O_RDWR, 0644);

    off_t os     = lseek(fh, offset, SEEK_SET);
    ssize_t wret = write(fh, &write_value, sizeof(write_value));
    off_t os2    = lseek(fh, 0, SEEK_DATA);

    struct stat statbuf;
    int ret = fstat(fh, &statbuf);

    printf("% 6jd | % 6jd | % 6zd | % 6jd\n",
        (intmax_t)os, (intmax_t)os2, wret,
        (intmax_t)(ret == 0 ? statbuf.st_blocks*512 : -1));

    close(fh);

    unlink("dummy");
}

int main(int, char **argv)
{
    printf("   os  |   os2  |  wret  |  used \n"
           "----------------------------------\n");

    while (*++argv)
    {
        test(atol(*argv));
    }

    return 0;
}

文件系统块大小通常为：

$ stat -f -c "%s" .
4096

结果：

$ ./holes 10 4095 4096 8191 8192 8193
   os  |   os2  |  wret  |  used 
----------------------------------
    10 |      0 |      4 |   4096
  4095 |      0 |      4 |   8192
  4096 |   4096 |      4 |   4096
  8191 |   4096 |      4 |   8192
  8192 |   8192 |      4 |   4096
  8193 |   8192 |      4 |   4096

分析：
写入偏移10：| data |
0块孔，1块数据。数据块从开头开始：os2 == 0。
写入偏移4095：| data | data |
0块孔，2块数据。数据块从开头开始：os2 == 0。
写入偏移4096：| hole | data |
1个孔块，1个数据块。数据块从秒开始，os 2 == 4096。
写入偏移量8191：| hole | data | data |
1块孔，2块数据。数据块从秒开始，os 2 == 4096
写入偏移8192：| hole | hole | data |
2块孔，1块数据。数据块从第三个开始，os 2 == 8192
写入偏移量8193：和8192一样。
观察结果符合预期。