From: Mathieu Desnoyers Date: Sun, 24 Nov 2013 09:23:14 +0000 (-0500) Subject: Clarify timestamp begin/end inequalities X-Git-Tag: v1.8.3~16 X-Git-Url: http://git.efficios.com/?p=ctf.git;a=commitdiff_plain;h=3f584fe331287845c9f90253b38b1b461d579d9b Clarify timestamp begin/end inequalities Signed-off-by: Mathieu Desnoyers --- diff --git a/common-trace-format-specification.txt b/common-trace-format-specification.txt index 46c1013..00ffe4a 100644 --- a/common-trace-format-specification.txt +++ b/common-trace-format-specification.txt @@ -717,7 +717,11 @@ Event packet context (all fields are optional, specified by TSDL meta-data): 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