while (or before) writing the first event and while (or after) writing the
last event in the packet. The inclusive range between these timestamps should
include all event timestamps assigned to events contained within the packet.
- See Section 8. Clocks for more detail.
+ The timestamp at the beginning of an event packet is guaranteed to be
+ below or equal the timestamp at the end of that event packet.
+ The timestamp at the end of an event packet is guaranteed to be below
+ or equal the timestamps at the end of any following packet within the
+ same stream. See Section 8. Clocks for more detail.
- Events discarded count
- Snapshot of a per-stream free-running counter, counting the number of
events discarded that were supposed to be written in the stream after
above) can refer to the fields of outer structures (with lower number in
the listing above). See Section 7.3 TSDL Scopes for more detail.
+The total length of an event is defined as the difference between the
+end of its Event Payload and the end of the previous event's Event
+Payload. Therefore, it includes the event header alignment padding, and
+all its fields and their respective alignment padding. Events of length
+0 are forbidden.
+
6.1 Event Header
Event headers can be described within the meta-data. We hereby propose, as an