lttng-dev.lists.lttng.org archive mirror
 help / color / mirror / Atom feed
* [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed
@ 2020-04-28 19:12 Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
                   ` (3 more replies)
  0 siblings, 4 replies; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index fd49e59..d6d196c 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -464,6 +464,9 @@ enum {
 }
 ~~~
 
+An enumeration field can have an integral value which its type does not
+map to a string.
+
 ### 4.2 Compound types
 
 Compound are aggregation of type declarations. Compound types include
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [lttng-dev] [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed
  2020-04-28 19:12 [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12 ` Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin Mathieu Desnoyers via lttng-dev
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index fd49e59..d6d196c 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -464,6 +464,9 @@ enum {
 }
 ~~~
 
+An enumeration field can have an integral value which its type does not
+map to a string.
+
 ### 4.2 Compound types
 
 Compound are aggregation of type declarations. Compound types include
-- 
2.11.0

_______________________________________________
lttng-dev mailing list
lttng-dev@lists.lttng.org
https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin
  2020-04-28 19:12 [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12 ` Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal" Mathieu Desnoyers via lttng-dev
  3 siblings, 1 reply; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index d6d196c..55d0601 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -836,10 +836,12 @@ TSDL metadata):
     range between these timestamps should include all event timestamps
     assigned to events contained within the packet. 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 [Clocks](#spec8) for more detail.
+    timestamp at the end of that event packet. The timestamp at the
+    beginning of an event packet is guaranteed to be above or equal the
+    timestamps at the beginning of any prior packet within the same
+    stream. 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 [Clocks](#spec8) 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 the last event in
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [lttng-dev] [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin
  2020-04-28 19:12 ` [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12   ` Mathieu Desnoyers via lttng-dev
  0 siblings, 0 replies; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index d6d196c..55d0601 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -836,10 +836,12 @@ TSDL metadata):
     range between these timestamps should include all event timestamps
     assigned to events contained within the packet. 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 [Clocks](#spec8) for more detail.
+    timestamp at the end of that event packet. The timestamp at the
+    beginning of an event packet is guaranteed to be above or equal the
+    timestamps at the beginning of any prior packet within the same
+    stream. 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 [Clocks](#spec8) 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 the last event in
-- 
2.11.0

_______________________________________________
lttng-dev mailing list
lttng-dev@lists.lttng.org
https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values
  2020-04-28 19:12 [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12 ` Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12 ` [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal" Mathieu Desnoyers via lttng-dev
  3 siblings, 1 reply; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index 55d0601..5732e92 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -837,11 +837,12 @@ TSDL metadata):
     assigned to events contained within the packet. 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
-    beginning of an event packet is guaranteed to be above or equal the
-    timestamps at the beginning of any prior packet within the same
-    stream. 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 [Clocks](#spec8) for more detail.
+    beginning of an event packet is guaranteed to be grater than or
+    equal to timestamps at the beginning of any prior packet within the
+    same stream. The timestamp at the end of an event packet is
+    guaranteed to be less than or equal to the timestamps at the end of
+    any following packet within the same stream. See [Clocks](#spec8)
+    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 the last event in
@@ -1580,7 +1581,8 @@ stream {
 };
 ~~~
 
-For a N-bit integer type referring to a clock, if the integer overflows
+Within the stream event context, event context, and event payload,
+fields of N-bit integer type referring to a clock, if the integer overflows
 compared to the N low order bits of the clock prior value found in the
 same stream, then it is assumed that one, and only one, overflow
 occurred. It is therefore important that events encoding time on a small
@@ -1589,8 +1591,8 @@ N-bit overflow occurs.
 
 In a packet context, clock field names ending with `_begin` and `_end`
 have a special meaning: this refers to the timestamps at, respectively,
-the beginning and the end of each packet.
-
+the beginning and the end of each packet. Those are required to be
+complete representations of the clock value.
 
 ## A. Helper macros
 
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [lttng-dev] [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values
  2020-04-28 19:12 ` [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12   ` Mathieu Desnoyers via lttng-dev
  0 siblings, 0 replies; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index 55d0601..5732e92 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -837,11 +837,12 @@ TSDL metadata):
     assigned to events contained within the packet. 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
-    beginning of an event packet is guaranteed to be above or equal the
-    timestamps at the beginning of any prior packet within the same
-    stream. 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 [Clocks](#spec8) for more detail.
+    beginning of an event packet is guaranteed to be grater than or
+    equal to timestamps at the beginning of any prior packet within the
+    same stream. The timestamp at the end of an event packet is
+    guaranteed to be less than or equal to the timestamps at the end of
+    any following packet within the same stream. See [Clocks](#spec8)
+    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 the last event in
@@ -1580,7 +1581,8 @@ stream {
 };
 ~~~
 
-For a N-bit integer type referring to a clock, if the integer overflows
+Within the stream event context, event context, and event payload,
+fields of N-bit integer type referring to a clock, if the integer overflows
 compared to the N low order bits of the clock prior value found in the
 same stream, then it is assumed that one, and only one, overflow
 occurred. It is therefore important that events encoding time on a small
@@ -1589,8 +1591,8 @@ N-bit overflow occurs.
 
 In a packet context, clock field names ending with `_begin` and `_end`
 have a special meaning: this refers to the timestamps at, respectively,
-the beginning and the end of each packet.
-
+the beginning and the end of each packet. Those are required to be
+complete representations of the clock value.
 
 ## A. Helper macros
 
-- 
2.11.0

_______________________________________________
lttng-dev mailing list
lttng-dev@lists.lttng.org
https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal"
  2020-04-28 19:12 [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed Mathieu Desnoyers via lttng-dev
                   ` (2 preceding siblings ...)
  2020-04-28 19:12 ` [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12 ` Mathieu Desnoyers via lttng-dev
  2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
  3 siblings, 1 reply; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index 5732e92..8a3a745 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -835,9 +835,9 @@ TSDL metadata):
     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. 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
-    beginning of an event packet is guaranteed to be grater than or
+    beginning of an event packet is guaranteed to be less than or equal
+    to the timestamp at the end of that event packet. The timestamp at
+    the beginning of an event packet is guaranteed to be grater than or
     equal to timestamps at the beginning of any prior packet within the
     same stream. The timestamp at the end of an event packet is
     guaranteed to be less than or equal to the timestamps at the end of
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 8+ messages in thread

* [lttng-dev] [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal"
  2020-04-28 19:12 ` [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal" Mathieu Desnoyers via lttng-dev
@ 2020-04-28 19:12   ` Mathieu Desnoyers via lttng-dev
  0 siblings, 0 replies; 8+ messages in thread
From: Mathieu Desnoyers via lttng-dev @ 2020-04-28 19:12 UTC (permalink / raw)
  To: diamon-discuss
  Cc: Jeremie Galarneau, lttng-dev, Philippe Proulx, Genevieve Bastien

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---
 common-trace-format-specification.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/common-trace-format-specification.md b/common-trace-format-specification.md
index 5732e92..8a3a745 100644
--- a/common-trace-format-specification.md
+++ b/common-trace-format-specification.md
@@ -835,9 +835,9 @@ TSDL metadata):
     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. 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
-    beginning of an event packet is guaranteed to be grater than or
+    beginning of an event packet is guaranteed to be less than or equal
+    to the timestamp at the end of that event packet. The timestamp at
+    the beginning of an event packet is guaranteed to be grater than or
     equal to timestamps at the beginning of any prior packet within the
     same stream. The timestamp at the end of an event packet is
     guaranteed to be less than or equal to the timestamps at the end of
-- 
2.11.0

_______________________________________________
lttng-dev mailing list
lttng-dev@lists.lttng.org
https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev

^ permalink raw reply related	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2020-04-28 19:12 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-28 19:12 [RFC PATCH CTF 1/4] Clarify that unlisted enumeration values are allowed Mathieu Desnoyers via lttng-dev
2020-04-28 19:12 ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
2020-04-28 19:12 ` [RFC PATCH CTF 2/4] Clarify monotonicity requirement on timestamp begin Mathieu Desnoyers via lttng-dev
2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
2020-04-28 19:12 ` [RFC PATCH CTF 3/4] Clarify that timestamp begin/end need to be complete clock values Mathieu Desnoyers via lttng-dev
2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev
2020-04-28 19:12 ` [RFC PATCH CTF 4/4] Use the formulation "less than or equal to" rather than "below or equal" Mathieu Desnoyers via lttng-dev
2020-04-28 19:12   ` [lttng-dev] " Mathieu Desnoyers via lttng-dev

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).