podman

Commit Graph

Author	SHA1	Message	Date
Miloslav Trmač	5d303ca267	Reformulate sparseWriter to deal with starting/ending zeroes explicitly ... instead of using a multi-variable state machine. The net effect of this code is exactly the same as the previous implementation, except: - the operation after Write() returns an error might differ - If the file ends with zeroes, we don't Seek(-1), and we don't create a hole at all if it is too small, preferring to save a syscall. But this formulation is hopefully easier to prove correct. Signed-off-by: Miloslav Trmač <mitr@redhat.com>	2024-02-23 02:09:39 +01:00
Giuseppe Scrivano	0b861350c2	machine: add sparse file writer Signed-off-by: Giuseppe Scrivano <gscrivan@redhat.com>	2024-02-20 15:57:24 +01:00

Author

SHA1

Message

Date

Miloslav Trmač

5d303ca267

Reformulate sparseWriter to deal with starting/ending zeroes explicitly

... instead of using a multi-variable state machine.

The net effect of this code is exactly the same as the previous implementation,
except:
- the operation after Write() returns an error might differ
- If the file ends with zeroes, we don't Seek(-1), and
  we don't create a hole at all if it is too small, preferring
  to save a syscall.

But this formulation is hopefully easier to prove correct.

Signed-off-by: Miloslav Trmač <mitr@redhat.com>

2024-02-23 02:09:39 +01:00

Giuseppe Scrivano

0b861350c2

machine: add sparse file writer

Signed-off-by: Giuseppe Scrivano <gscrivan@redhat.com>

2024-02-20 15:57:24 +01:00

2 Commits