chore: clear clippy errors, document all unsafe blocks, deny new SAFETY debt
Audit-driven cleanup pass. End state:
- cargo clippy --release --all-targets: 0 errors (was 4)
- undocumented_unsafe_blocks warnings: 0 (was 67)
- Cargo.toml: undocumented_unsafe_blocks escalated warn -> deny
Clippy correctness errors fixed:
- src/bin/{sw_encode_bench,vaapi_import_bench}.rs: receive_first_frame
rewritten per Oracle plan with total 10s deadline + 200ms wait slice +
while-let drain of all control events. The previous loop body always
exited on first iteration (never_loop); the new version actually retries
and matches production's repeated-poll semantics in state_portal.rs.
- src/avhw.rs: hash_sampled_y_plane tests now use a row_range(row, stride,
width) helper instead of inline stride * N. Preserves the row-index
intent across all sibling tests without tripping erasing_op (row==0) or
identity_op (row==1).
Machine-applicable clippy autofixes applied via 'cargo clippy --fix':
- unnecessary_cast, manual_is_multiple_of, needless_borrows_for_generic_args
- manual_abs_diff, derivable_impls, new_without_default
- unnecessary_map_or, unneeded_struct_pattern, redundant_locals
webrtc_gop_formula test rewritten to wrap the (fps * 2).max(20) formula in
a runtime lambda. The previous clippy --fix pass had constant-folded the
5fps case into assert_eq!(20, 20), silently stripping the floor-case
coverage. The lambda blocks the fold while keeping the formula exercisable.
67 SAFETY comments added across 7 files (cap_portal.rs 26, sw_encode_bench
21, state_portal.rs 7, vaapi_import_bench.rs 6, avhw.rs 5, state.rs 1,
main.rs 1). Two sites carry load-bearing invariant documentation:
- cap_portal.rs:806 process callback documents the PipeWire raw_buf
ownership contract across all 10 exit paths (audited: every path
correctly requeues; fd ownership via dup() is independent and also
exactly-once closed).
- avhw.rs:341 unsafe impl Send for EncState documents the single-thread
exclusivity assumption referenced by AGENTS.md.
All 97 unit tests + 3 integration tests still pass; cargo build --release
finishes clean. Lint escalation to deny freezes the SAFETY baseline: any
future patch adding an unsafe block without a // SAFETY: comment will fail
clippy at compile time.
This commit is contained in:
@@ -126,6 +126,9 @@ impl Drop for SwsContext {
|
||||
|
||||
fn av_err_to_string(ret: i32) -> String {
|
||||
let mut buf = vec![0u8; 128];
|
||||
// SAFETY: buf is a 128-byte Vec initialized to zeros; av_strerror writes at most
|
||||
// buf.len() bytes (including NUL) into the buffer. The ret value is an FFmpeg
|
||||
// error code. We treat the buffer as `*mut i8` for the C string out-param.
|
||||
unsafe {
|
||||
ffi::av_strerror(ret, buf.as_mut_ptr() as *mut i8, buf.len());
|
||||
}
|
||||
@@ -134,22 +137,32 @@ fn av_err_to_string(ret: i32) -> String {
|
||||
}
|
||||
|
||||
fn receive_first_frame(cap: &CapPortal) -> Result<wl_webrtc::cap_portal::PwDmaBufFrame> {
|
||||
// Drain-and-wait loop that mirrors production's repeated-poll semantics
|
||||
// (state_portal.rs::poll_and_encode driven by main.rs's outer loop), but with
|
||||
// a single bounded 10s total deadline appropriate for a bench tool. Unlike a
|
||||
// single 10s blocking wait, this loop actually iterates: each turn drains ALL
|
||||
// pending control events (the ctrl channel is bounded to 8 — a single
|
||||
// if-let would silently miss backlog) and then waits a short slice for a
|
||||
// frame, so StreamEnded/Error arriving mid-wait are observed within ~200ms.
|
||||
const TOTAL_DEADLINE: std::time::Duration = std::time::Duration::from_secs(10);
|
||||
const WAIT_SLICE: std::time::Duration = std::time::Duration::from_millis(200);
|
||||
let deadline = Instant::now() + TOTAL_DEADLINE;
|
||||
loop {
|
||||
if let Ok(ctrl) = cap.event_receiver().try_recv() {
|
||||
while let Ok(ctrl) = cap.event_receiver().try_recv() {
|
||||
match ctrl {
|
||||
PwCtrlEvent::StreamEnded => bail!("PipeWire stream ended before first frame"),
|
||||
PwCtrlEvent::FormatChanged { .. } => {}
|
||||
PwCtrlEvent::Error(e) => bail!("PipeWire error: {e}"),
|
||||
}
|
||||
}
|
||||
match cap
|
||||
.frame_receiver()
|
||||
.recv_timeout(std::time::Duration::from_secs(10))
|
||||
{
|
||||
let remaining = match deadline.checked_duration_since(Instant::now()) {
|
||||
Some(r) if !r.is_zero() => r,
|
||||
_ => bail!("Timeout waiting for first frame (10s)"),
|
||||
};
|
||||
let slice = remaining.min(WAIT_SLICE);
|
||||
match cap.frame_receiver().recv_timeout(slice) {
|
||||
Ok(frame) => return Ok(frame),
|
||||
Err(crossbeam_channel::RecvTimeoutError::Timeout) => {
|
||||
bail!("Timeout waiting for first frame (10s)");
|
||||
}
|
||||
Err(crossbeam_channel::RecvTimeoutError::Timeout) => continue,
|
||||
Err(crossbeam_channel::RecvTimeoutError::Disconnected) => {
|
||||
bail!("PipeWire frame channel disconnected");
|
||||
}
|
||||
@@ -163,6 +176,9 @@ fn drain_encoder(
|
||||
) -> Result<()> {
|
||||
loop {
|
||||
let mut pkt = ff::Packet::empty();
|
||||
// SAFETY: enc_video is the opened encoder; pkt is an empty Packet whose inner
|
||||
// AVPacket pointer is valid. avcodec_receive_packet fills pkt with the next
|
||||
// encoded packet or returns EAGAIN/EOF when drained.
|
||||
let ret = unsafe { ffi::avcodec_receive_packet(enc_video.as_mut_ptr(), pkt.as_mut_ptr()) };
|
||||
if ret < 0 {
|
||||
if ret == ffi::AVERROR(ffi::EAGAIN) || ret == ffi::AVERROR_EOF {
|
||||
@@ -172,6 +188,9 @@ fn drain_encoder(
|
||||
break;
|
||||
}
|
||||
let enc_tb = enc_video.time_base();
|
||||
// SAFETY: octx.as_ptr() is a valid AVFormatContext; streams is a NULL-terminated
|
||||
// array; we index [0] which exists because we created exactly one stream in
|
||||
// setup. Reading time_base is a plain AVRational field access.
|
||||
let stream_tb = unsafe {
|
||||
let streams = (*octx.as_ptr()).streams;
|
||||
let st = *streams.add(0);
|
||||
@@ -596,7 +615,7 @@ fn run_cpu_pipeline(
|
||||
stats.total_us.push(total_us);
|
||||
stats.frames_encoded += 1;
|
||||
|
||||
if stats.frames_encoded <= 3 || stats.frames_encoded % 30 == 0 {
|
||||
if stats.frames_encoded <= 3 || stats.frames_encoded.is_multiple_of(30) {
|
||||
println!(
|
||||
" CPU frame {:>4}/{frames}: import={:.2}ms transfer={:.2}ms scale={:.2}ms encode={:.2}ms total={:.2}ms",
|
||||
stats.frames_encoded,
|
||||
@@ -754,7 +773,7 @@ fn run_gpu_pipeline(
|
||||
stats.total_us.push(total_us);
|
||||
stats.frames_encoded += 1;
|
||||
|
||||
if stats.frames_encoded <= 3 || stats.frames_encoded % 30 == 0 {
|
||||
if stats.frames_encoded <= 3 || stats.frames_encoded.is_multiple_of(30) {
|
||||
println!(
|
||||
" GPU frame {:>4}/{frames}: import={:.2}ms filter={:.2}ms transfer={:.2}ms format={:.2}ms encode={:.2}ms total={:.2}ms",
|
||||
stats.frames_encoded,
|
||||
@@ -919,6 +938,11 @@ fn main() -> Result<()> {
|
||||
AvHwFrameCtx::for_capture(&hw_dev, src_width, src_height, ff::format::Pixel::BGRA)?;
|
||||
println!(" VAAPI frames context created OK (sw_format=BGRA)");
|
||||
|
||||
// SAFETY: delegates to avhw::import_dma_buf_to_vaapi (itself an unsafe fn).
|
||||
// frames_ctx is a valid AVBufferRef from AvHwFrameCtx::for_capture above;
|
||||
// first_frame's fd/width/height/format/modifier/stride/offset are all sourced
|
||||
// from the PipeWire-formatted PwDmaBufFrame. See that function's own SAFETY
|
||||
// contract for the full rationale.
|
||||
let vaapi_frame = unsafe {
|
||||
import_dma_buf_to_vaapi(
|
||||
frames_ctx.as_ptr(),
|
||||
@@ -949,6 +973,9 @@ fn main() -> Result<()> {
|
||||
|
||||
let mmap_size = (first_frame.stride as usize) * (first_frame.height as usize);
|
||||
let mmap_start = Instant::now();
|
||||
// SAFETY: first_frame.fd is an open DMA-BUF; offset/size from PipeWire.
|
||||
// PROT_READ+MAP_SHARED is the standard read-only DMA-BUF mapping. Returns
|
||||
// MAP_FAILED on error (checked below).
|
||||
let mmap_ptr = unsafe {
|
||||
libc::mmap(
|
||||
ptr::null_mut(),
|
||||
@@ -970,6 +997,8 @@ fn main() -> Result<()> {
|
||||
mmap_size as f64 / 1024.0 / 1024.0,
|
||||
mmap_elapsed.as_secs_f64() * 1000.0
|
||||
);
|
||||
// SAFETY: mmap_ptr is a valid mapping (MAP_FAILED path was handled
|
||||
// above); mmap_size matches the original mapping. POSIX munmap(2).
|
||||
unsafe {
|
||||
libc::munmap(mmap_ptr, mmap_size);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user