From: "Max R. Carrara" <m.carrara@proxmox.com>
To: "Robert Obkircher" <r.obkircher@proxmox.com>
Cc: pbs-devel@lists.proxmox.com
Subject: Re: [PATCH proxmox v2 02/10] proxmox-alloc: document undefined behavior regarding custom allocs
Date: Mon, 07 Sep 2026 13:44:33 +0200 [thread overview]
Message-ID: <DL9240KXS47B.ETCZVVGICBSQ@proxmox.com> (raw)
In-Reply-To: <178836583424.294173.6954096291117410170.b4-review@b4>
On Wed Sep 2, 2026 at 6:17 PM CEST, Robert Obkircher wrote:
> > ... to `TapeBlock` and `TapeBlockFlags`, since `BlockHeader` is a bit
> > of a misnomer -- each tape block has a header followed by a data
> > payload, so it makes sense to just name it after what it is.
> >
> > Also adapt the docstring for `BlockHeader`.
> >
> > Signed-off-by: Max R. Carrara <m.carrara@proxmox.com>
> >
> > diff --git a/pbs-tape/src/blocked_reader.rs b/pbs-tape/src/blocked_reader.rs
> > index 22803371c..3e3f7095c 100644
> > --- a/pbs-tape/src/blocked_reader.rs
> > +++ b/pbs-tape/src/blocked_reader.rs
> > @@ -1,7 +1,7 @@
> > use std::io::Read;
> >
> > use crate::{
> > - BlockHeader, BlockHeaderFlags, BlockRead, BlockReadError, PROXMOX_TAPE_BLOCK_HEADER_MAGIC_1_0,
> > + BlockRead, BlockReadError, PROXMOX_TAPE_BLOCK_HEADER_MAGIC_1_0, TapeBlock, TapeBlockFlags,
> > TapeRead,
> > };
> >
> > @@ -18,7 +18,7 @@ use crate::{
> > /// the end of the stream).
> > pub struct BlockedReader<R> {
> > reader: R,
> > - buffer: Box<BlockHeader>,
> > + buffer: Box<TapeBlock>,
> > seq_nr: u32,
> > found_end_marker: bool,
> > incomplete: bool,
> > @@ -33,7 +33,7 @@ impl<R: BlockRead> BlockedReader<R> {
> > /// This tries to read the first block. Please inspect the error
> > /// to detect EOF and EOT.
> > pub fn open(mut reader: R) -> Result<Self, BlockReadError> {
> > - let mut buffer = BlockHeader::new();
> > + let mut buffer = TapeBlock::new();
> >
> > Self::read_block_frame(&mut buffer, &mut reader)?;
> >
> > @@ -43,7 +43,7 @@ impl<R: BlockRead> BlockedReader<R> {
> > let mut got_eod = false;
> >
> > if found_end_marker {
> > - incomplete = buffer.flags.contains(BlockHeaderFlags::INCOMPLETE);
> > + incomplete = buffer.flags.contains(TapeBlockFlags::INCOMPLETE);
> > Self::consume_eof_marker(&mut reader)?;
> > got_eod = true;
> > }
> > @@ -60,7 +60,7 @@ impl<R: BlockRead> BlockedReader<R> {
> > })
> > }
> >
> > - fn check_buffer(buffer: &BlockHeader, seq_nr: u32) -> Result<(usize, bool), std::io::Error> {
> > + fn check_buffer(buffer: &TapeBlock, seq_nr: u32) -> Result<(usize, bool), std::io::Error> {
> > if buffer.magic != PROXMOX_TAPE_BLOCK_HEADER_MAGIC_1_0 {
> > proxmox_lang::io_bail!(
> > "got tape block with unknown magic number - not written by PBS or incompatible LTO version"
> > @@ -76,7 +76,7 @@ impl<R: BlockRead> BlockedReader<R> {
> > }
> >
> > let size = buffer.size();
> > - let found_end_marker = buffer.flags.contains(BlockHeaderFlags::END_OF_STREAM);
> > + let found_end_marker = buffer.flags.contains(TapeBlockFlags::END_OF_STREAM);
> >
> > if size > buffer.payload.len() {
> > proxmox_lang::io_bail!(
> > @@ -91,17 +91,14 @@ impl<R: BlockRead> BlockedReader<R> {
> > Ok((size, found_end_marker))
> > }
> >
> > - fn read_block_frame(buffer: &mut BlockHeader, reader: &mut R) -> Result<(), BlockReadError> {
> > + fn read_block_frame(buffer: &mut TapeBlock, reader: &mut R) -> Result<(), BlockReadError> {
> > let data = unsafe {
> > - std::slice::from_raw_parts_mut(
> > - (buffer as *mut BlockHeader) as *mut u8,
> > - BlockHeader::SIZE,
> > - )
> > + std::slice::from_raw_parts_mut((buffer as *mut TapeBlock) as *mut u8, TapeBlock::SIZE)
> > };
> >
> > let bytes = reader.read_block(data)?;
> >
> > - if bytes != BlockHeader::SIZE {
> > + if bytes != TapeBlock::SIZE {
> > return Err(proxmox_lang::io_format_err!("got wrong block size").into());
> > }
> >
> > @@ -147,7 +144,7 @@ impl<R: BlockRead> BlockedReader<R> {
> > if found_end_marker {
> > // consume EOF mark
> > self.found_end_marker = true;
> > - self.incomplete = self.buffer.flags.contains(BlockHeaderFlags::INCOMPLETE);
> > + self.incomplete = self.buffer.flags.contains(TapeBlockFlags::INCOMPLETE);
> > Self::consume_eof_marker(&mut self.reader)?;
> > self.got_eod = true;
> > }
> > diff --git a/pbs-tape/src/blocked_writer.rs b/pbs-tape/src/blocked_writer.rs
> > index 7380af243..9aba7b832 100644
> > --- a/pbs-tape/src/blocked_writer.rs
> > +++ b/pbs-tape/src/blocked_writer.rs
> > @@ -1,6 +1,6 @@
> > use proxmox_io::vec;
> >
> > -use crate::{BlockHeader, BlockHeaderFlags, BlockWrite, TapeWrite};
> > +use crate::{BlockWrite, TapeBlock, TapeBlockFlags, TapeWrite};
> >
> > /// Assemble and write blocks of data
> > ///
> > @@ -9,7 +9,7 @@ use crate::{BlockHeader, BlockHeaderFlags, BlockWrite, TapeWrite};
> > /// to the underlying writer.
> > pub struct BlockedWriter<W: BlockWrite> {
> > writer: W,
> > - buffer: Box<BlockHeader>,
> > + buffer: Box<TapeBlock>,
> > buffer_pos: usize,
> > seq_nr: u32,
> > logical_end_of_media: bool,
> > @@ -36,7 +36,7 @@ impl<W: BlockWrite> BlockedWriter<W> {
> > pub fn new(writer: W) -> Self {
> > Self {
> > writer,
> > - buffer: BlockHeader::new(),
> > + buffer: TapeBlock::new(),
> > buffer_pos: 0,
> > seq_nr: 0,
> > logical_end_of_media: false,
> > @@ -45,12 +45,9 @@ impl<W: BlockWrite> BlockedWriter<W> {
> > }
> > }
> >
> > - fn write_block(buffer: &BlockHeader, writer: &mut W) -> Result<bool, std::io::Error> {
> > + fn write_block(buffer: &TapeBlock, writer: &mut W) -> Result<bool, std::io::Error> {
> > let data = unsafe {
> > - std::slice::from_raw_parts(
> > - (buffer as *const BlockHeader) as *const u8,
> > - BlockHeader::SIZE,
> > - )
> > + std::slice::from_raw_parts((buffer as *const TapeBlock) as *const u8, TapeBlock::SIZE)
> > };
> > writer.write_block(data)
> > }
> > @@ -77,7 +74,7 @@ impl<W: BlockWrite> BlockedWriter<W> {
> > let rest = rest - bytes;
> >
> > if rest == 0 {
> > - self.buffer.flags = BlockHeaderFlags::empty();
> > + self.buffer.flags = TapeBlockFlags::empty();
> > self.buffer.set_size(self.buffer.payload.len());
> > self.buffer.set_seq_nr(self.seq_nr);
> > self.seq_nr += 1;
> > @@ -86,7 +83,7 @@ impl<W: BlockWrite> BlockedWriter<W> {
> > self.logical_end_of_media = true;
> > }
> > self.buffer_pos = 0;
> > - self.bytes_written += BlockHeader::SIZE;
> > + self.bytes_written += TapeBlock::SIZE;
> > } else {
> > self.buffer_pos += bytes;
> > }
> > @@ -116,14 +113,14 @@ impl<W: BlockWrite> TapeWrite for BlockedWriter<W> {
> > /// END_OF_STREAM flag.
> > fn finish(&mut self, incomplete: bool) -> Result<bool, std::io::Error> {
> > vec::clear(&mut self.buffer.payload[self.buffer_pos..]);
> > - self.buffer.flags = BlockHeaderFlags::END_OF_STREAM;
> > + self.buffer.flags = TapeBlockFlags::END_OF_STREAM;
> > if incomplete {
> > - self.buffer.flags |= BlockHeaderFlags::INCOMPLETE;
> > + self.buffer.flags |= TapeBlockFlags::INCOMPLETE;
> > }
> > self.buffer.set_size(self.buffer_pos);
> > self.buffer.set_seq_nr(self.seq_nr);
> > self.seq_nr += 1;
> > - self.bytes_written += BlockHeader::SIZE;
> > + self.bytes_written += TapeBlock::SIZE;
> > let leom = Self::write_block(&self.buffer, &mut self.writer)?;
> > self.write_eof()?;
> > Ok(leom)
> > diff --git a/pbs-tape/src/lib.rs b/pbs-tape/src/lib.rs
> > index 6cff175dd..1b6dc94cc 100644
> > --- a/pbs-tape/src/lib.rs
> > +++ b/pbs-tape/src/lib.rs
> > @@ -20,7 +20,7 @@ mod blocked_writer;
> > pub use blocked_writer::BlockedWriter;
> >
> > mod tape_block;
> > -pub(crate) use tape_block::{BlockHeader, BlockHeaderFlags};
> > +pub(crate) use tape_block::{TapeBlock, TapeBlockFlags};
> >
> > mod tape_write;
> > pub use tape_write::*;
> > diff --git a/pbs-tape/src/tape_block.rs b/pbs-tape/src/tape_block.rs
> > index 4f9c2192f..4ab1f5ce9 100644
> > --- a/pbs-tape/src/tape_block.rs
> > +++ b/pbs-tape/src/tape_block.rs
> > @@ -3,23 +3,22 @@ use bitflags::bitflags;
> > use crate::PROXMOX_TAPE_BLOCK_HEADER_MAGIC_1_0;
> > use crate::PROXMOX_TAPE_BLOCK_SIZE;
> >
> > -/// Tape Block Header with data payload
> > +/// A [`TapeBlock`] consists of a tape header followed by a data payload.
> > ///
> > /// All tape files are written as sequence of blocks.
> > ///
> > -/// Note: this struct is large, never put this on the stack!
> > -/// so we use an unsized type to avoid that.
> > +/// Note: This struct is a dynamically sized type and can therefore only ever
> > +/// exist as a heap-allocated value.
> nit: the important part was that it is large. You can definitely have
> DSTs on the stack via unsize coercsion (or alloca).
Ah, I think this was meant to be a response to patch #04?
Anyway, I agree; will correct this in v2. Thanks!
next prev parent reply other threads:[~2026-09-07 11:44 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-21 14:02 [PATCH proxmox{,-backup} v2 00/10] Fix Undefined Behavior in Tape Block Header Deallocation Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox v2 01/10] proxmox-alloc: introduce proxmox-alloc with `LayoutAwareBox<T>` type Max R. Carrara
2026-09-02 16:14 ` Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara
2026-09-07 12:50 ` Robert Obkircher
2026-09-07 13:40 ` Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox v2 02/10] proxmox-alloc: document undefined behavior regarding custom allocs Max R. Carrara
2026-09-02 16:14 ` Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara
2026-09-02 16:17 ` Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara [this message]
2026-08-21 14:02 ` [PATCH proxmox-backup v2 03/10] tape: move tape block structs into separate file module Max R. Carrara
2026-09-02 16:17 ` Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 04/10] tape: rename `BlockHeader` and `BlockHeaderFlags` Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 05/10] tape: blocked_{reader,writer}: rename `buffer` to `tape_block` Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 06/10] tape: tape block: represent tape block header with its own struct Max R. Carrara
2026-09-02 16:17 ` Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara
2026-09-07 13:03 ` Robert Obkircher
2026-08-21 14:02 ` [PATCH proxmox-backup v2 07/10] tape: tape block: make `payload` field private Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 08/10] tape: blocked_{reader,writer}: remove haphazard `unsafe` blocks Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 09/10] tape: tape block: fix undefined behavior on tape block deallocation Max R. Carrara
2026-08-21 14:02 ` [PATCH proxmox-backup v2 10/10] tape: sgutils2: fix undefined behavior in dealloc of buffer Max R. Carrara
2026-09-02 16:36 ` [PATCH proxmox{,-backup} v2 00/10] Fix Undefined Behavior in Tape Block Header Deallocation Robert Obkircher
2026-09-07 11:44 ` Max R. Carrara
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DL9240KXS47B.ETCZVVGICBSQ@proxmox.com \
--to=m.carrara@proxmox.com \
--cc=pbs-devel@lists.proxmox.com \
--cc=r.obkircher@proxmox.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox