Receipt the callback fills. More...

#include <execution_observer.h>

Data Fields
uint32_t	struct_size

uint32_t	version

uint64_t	run_generation

uint32_t	frame_bytes

uint32_t	handed_bytes

uint32_t	export_requested

uint32_t	reserved

Detailed Description

Receipt the callback fills.

Before the callback the kernel sets the receipt's struct_size, version and run_generation, frame_bytes to UINT32_MAX, and handed_bytes, export_requested and reserved to 0.

The callback must overwrite the UINT32_MAX frame_bytes sentinel even when nothing is exported. It succeeds only if it returns 0 with no exception and no earlier failure cause, and then:

struct_size, version and run_generation are unchanged;
reserved is 0;
export_requested is exactly 0 or exactly 1;
export_requested 0: frame_bytes and handed_bytes are both 0;
export_requested 1: 1 <= frame_bytes <= 1024 (the whole frame), and handed_bytes equals frame_bytes.

handed_bytes does not claim a parent ACK. Any failure leaves the generation sealed, with no result work and no retry.

Definition at line 57 of file execution_observer.h.

Field Documentation

◆ struct_size

uint32_t pf_boundary_receipt_v1::struct_size

Definition at line 58 of file execution_observer.h.

◆ version

uint32_t pf_boundary_receipt_v1::version

Definition at line 59 of file execution_observer.h.

◆ run_generation

uint64_t pf_boundary_receipt_v1::run_generation

Definition at line 60 of file execution_observer.h.

◆ frame_bytes

uint32_t pf_boundary_receipt_v1::frame_bytes

Definition at line 61 of file execution_observer.h.

◆ handed_bytes

uint32_t pf_boundary_receipt_v1::handed_bytes

Definition at line 62 of file execution_observer.h.

◆ export_requested

uint32_t pf_boundary_receipt_v1::export_requested

Definition at line 63 of file execution_observer.h.

◆ reserved

uint32_t pf_boundary_receipt_v1::reserved

Definition at line 64 of file execution_observer.h.

The documentation for this struct was generated from the following file:

execution_observer.h

Data Fields