使用轨迹事件

将 Fuchsia 组件插桩为跟踪提供方后,您可以创建和观察各种类型的事件。本文档介绍了各种事件类型之间的区别、每种事件类型的最佳用例、如何在组件中使用事件,以及您可以在跟踪事件中使用的各种实参。

事件

Fuchsia 事件类型可以是以下任一类型:

  • 即时事件 标记具有名称、类别和可选实参的时间点。
  • 时长事件 标记两个时间点,并且可以包含名称、类别和可选 实参。
  • 计数器事件 捕获通常在 Perfetto 中以 堆叠面积图表示的数值样本。
  • 流事件 描述线程之间和跨进程的流切换。
  • 异步事件 允许指定 id,将不同线程中的事件关联在一起 并将这些事件放在单个轨道上。

在最基本的形式中,跟踪事件具有类别(第一个形参)和名称(第二个形参)。

跟踪事件最多可以接受 15 个实参

使用跟踪事件时,务必了解类别的工作原理。 以下是与类别相关的一些关键概念:

  • 类别允许您对事件进行分组,以便您可以一起启用或停用这些事件。
  • 类别通常是 [A-Za-z-_:]+ 的简短 ASCII 字符串字面量,例如 gfxaudio
  • 类别是全局的。请考虑将它们命名空间化到您的组件。
  • 默认情况下,类别处于停用状态。如果您添加了类别,请确保在使用 --categories #default,your_category 捕获跟踪时指定该类别。
  • ffx trace 支持前缀匹配。如果您运行 ffx trace start --categories your_component::*,则会启用 your_component::category1your_component::category2 和任何其他关联的类别。

使用事件时,请确保在代码中包含相关库:

C

#include <lib/trace/event.h>

C++

#include <lib/trace/event.h>

Rust

use fuchsia_trace::{ArgValue, Scope, ...};

您还可以查看有关使用跟踪提供程序的 C++ 简单示例。

即时事件

这是最基本的事件。即时事件可以标记具有名称、类别和可选实参的时间点。

类别可以选择性地注册,但大多数跟踪提供程序不会注册。

至少,即时跟踪同时具有名称和类别,以便区分它们:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD);

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD);

Rust

instant!("trace_category", "trace_name", Scope::Thread);

您还可以创建包含其他实参的即时事件:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, argument_1, argument_1_value, argument_2, "argument_2_string");

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, argument_1, argument_1_value, argument_2, "argument_2_string");

Rust

instant!("trace_category", "trace_name", Scope::Thread, argument_1 => argument_1_value, argument_2 => "argument_2_string");

在 Perfetto 中,即时事件由一个小箭头表示,如以下屏幕截图所示。

Perfetto 轨迹查看器的屏幕截图,显示了在多个 CPU(CPU 0、CPU 1、CPU 2 和 CPU 3)上执行的进程的轨迹。该事件在 00:00:00.194617950 时发出,由于是即时事件,因此显示时长为 0 秒。该进程名为 `example_trace_provider.cm`。

时长事件

时长事件标记两个时间点,并且可以包含名称、类别和可选实参。时长事件还可以嵌套在另一个时长事件中,并相互堆叠。

至少,时长跟踪同时具有名称和类别,以便区分它们:

C

TRACE_DURATION_BEGIN("trace_category", "example_duration");
// Do some work
TRACE_DURATION_END("trace_category", "example_duration");

C++

TRACE_DURATION_BEGIN("trace_category", "example_duration");
// Do some work
TRACE_DURATION_END("trace_category", "example_duration");

Rust

duration_begin!("trace_category", "example_duration");
// Do some work
duration_end!("trace_category", "example_duration");

或者,您可以使用 RAII(资源获取即初始化)定义时长事件,并在该事件超出范围时自动关闭它,如下所示:

C

{
  TRACE_DURATION("trace_category", "example_duration_raii");
  // Do some work
  TRACE_DURATION("trace_category", "nested duration", "argument_3", argument_3_value, "argument_4", argument_4_string);
  // nested_duration closes due to RAII
  // trace_duration_raii closes due to RAII
}

C++

{
  TRACE_DURATION("trace_category", "example_duration_raii");
  // Do some work
  TRACE_DURATION("trace_category", "nested duration", "argument_3", argument_3_value, "argument_4", argument_4_string);
  // nested_duration closes due to RAII
  // trace_duration_raii closes due to RAII
}

Rust

{
  duration!("trace_category", "example_duration_raii");
  // Do some work
  duration!("trace_category", "nested duration", argument_3 => argument_3_value, argument_4 => argument_4_string);
  // nested_duration closes due to RAII
  // trace_duration_raii closes due to RAII
}

在 Perfetto 中,嵌套的时长堆栈如下所示:

Perfetto 轨迹查看器的屏幕截图,显示了事件的时间轴,时间从左到右。顶部栏显示文本“example_trace_provider.com 1617970”。在此之下,时间轴分为两个部分:“initial-thread 1617972”。每个线程都有一个条形图,用于显示与该线程关联的事件的持续时间。具有不同名称的持续时间事件会以不同的颜色显示:橄榄色、绿色、蓝色和深绿色。时长事件向下堆叠,因此较短的时长包含在上方较长的时长内。

计数器事件

计数器事件捕获通常在 Perfetto 中以堆叠面积图表示的数值样本。使用计数器事件时,您可以使用 id 来区分系统进程中共享相同类别和名称的计数器的多个实例。您可以将 1-15 个数值实参与事件相关联,每个实参都被解释为不同的时间序列。

此示例显示了传递给计数器事件的 counter_id 值和数据系列:

C

trace_counter_id_t counter_id = 555;
uint32_t data = get_some_data();
TRACE_COUNTER("trace_category", "trace_name", counter_id, "data_series", data);

C++

trace_counter_id_t counter_id = 555;
uint32_t data = get_some_data();
TRACE_COUNTER("trace_category", "trace_name", counter_id, "data_series", data);

Rust

let counter_id = 555;
let data = get_some_data();
counter!("trace_category", "trace_name", counter_id, "data_series" => data);

在 Perfetto 中,计数器事件如下所示:

Perfetto 轨迹查看器的屏幕截图,其中显示了 `example_counter:somedataseries` 计数器事件。在计数器事件名称的右侧,有一个随时间上升的图表,显示计数器的值在增加。

流事件

流事件描述线程之间和跨进程的流切换。这些事件必须包含在时长事件中,该时长事件表示流切换发生的位置。每个流事件还可以附加实参。流开始 (TRACE_FLOW_BEGINflow_begin) 事件后可能会跟流步骤 (TRACE_FLOW_STEPflow_step) 事件。

Perfetto 要求流事件 ID 在跟踪中是全局的。

例如:

C

trace_flow_id_t flow_id = 555;
TRACE_FLOW_BEGIN("trace_category", "trace_flow_name", flow_id, "argument_1", argument_1_value);
TRACE_FLOW_STEP("trace_category", "trace_flow_step_name", flow_id);
TRACE_FLOW_END("trace_category", "trace_flow_name", flow_id);

C++

trace_flow_id_t flow_id = 555;
TRACE_FLOW_BEGIN("trace_category", "trace_flow_name", flow_id, "argument_1", argument_1_value);
TRACE_FLOW_STEP("trace_category", "trace_flow_step_name", flow_id);
TRACE_FLOW_END("trace_category", "trace_flow_name", flow_id);

Rust

let flow_id = 555;
flow_begin!("trace_category", "trace_flow_name", flow_id, "argument_1" => argument_1_value);
flow_step!("trace_category", "trace_flow_step_name", flow_id);
flow_end!("trace_category", "trace_flow_name", flow_id);

流事件在 Perfetto 中表示为箭头,例如:

Perfetto 轨迹查看器的屏幕截图,显示了不同线程上的事件的流事件。横条表示事件,其长度表示持续时间。每个线程都通过一条弯曲的箭头连接,表示这些线程中的事件序列。

异步事件

在跟踪中,即时事件和时长事件放置在生成它们的线程的轨道上。使用基于多线程异步或线程池的代码时,事件可能会在不同的线程上开始和结束。异步事件允许指定 id,将不同线程中的事件关联在一起,并将这些事件放在单个轨道上。

异步开始 (TRACE_ASYNC_BEGINasync_begin) 事件后可能会跟异步即时 (TRACE_ASYNC_INSTANTasync_instant) 事件,并且必须与具有相同类别、名称和 id 的异步结束 (TRACE_ASYNC_ENDasync_end) 事件匹配。

异步事件描述异步发生的工作,这些工作可能会跨多个线程。id 有助于关联同一进程中共享相同类别和名称的不同异步操作的进度。同一进程中具有匹配类别和 ID 的异步事件是嵌套的。

您可以将 0-15 个实参与异步事件相关联,每个实参都用于使用其他信息对异步操作进行注释。您提供给匹配的异步开始、异步即时和异步结束事件的实参在跟踪中组合在一起;您无需重复这些实参。

C

trace_async_id_t async_id = 555;
TRACE_ASYNC_BEGIN("trace_category", "trace_async_name", async_id, "argument_1", argument_1_value);
TRACE_ASYNC_INSTANT("trace_category", "trace_async_instant_name", async_id);
TRACE_ASYNC_END("trace_category", "trace_async_name", async_id);

C++

trace_async_id_t async_id = 555;
TRACE_ASYNC_BEGIN("trace_category", "trace_async_name", async_id, "argument_1", argument_1_value);
TRACE_ASYNC_INSTANT("trace_category", "trace_async_instant_name", async_id);
TRACE_ASYNC_END("trace_category", "trace_async_name", async_id);

Rust

let async_id = 555;
async_begin!(async_id, "trace_category", "trace_async_name", "argument_1" => argument_1_value);
async_instant!(async_id, "trace_category", "trace_async_instant_name");
async_end!(async_id, "trace_category", "trace_async_name");

在 Perfetto 中,异步事件放置在自己的命名轨道上,而不是放置在发出该事件的线程的轨道上。异步事件如下所示:

Perfetto 轨迹查看器的屏幕截图,显示了两个异步事件:`example_async` 和 `example_async2`。`example_async` 事件下方显示了 `example_nested_async`。屏幕截图还显示了 `example_async` 事件中的 2 个蓝色箭头和 `example_async2` 事件中的 2 个蓝色箭头,这些箭头表示即时事件。

实参

您可以在 Fuchsia 跟踪中使用以下类型的事件:

  • Null 实参
  • 数值类型
  • 字符串类型
  • 指针
  • KOID
  • 布尔值

Null 实参

Null 实参只是一个名称,没有数据。

例如:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "SomeNullArg", TA_NULL());

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "SomeNullArg", nullptr);

Rust

instant!("trace_category", "trace_name", Scope::Thread, "SomeNullArg" => ());

数值类型

数值类型是任何 intfloat 数据类型。

例如:

C

// Standard int types
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someuint32", TA_UINT32(2145));
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someuint64", TA_UINT64(423621626134123415));
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someint32", TA_INT32(-7));
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someint64", TA_INT64(-234516543631231));
// Doubles
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Somedouble", TA_DOUBLE(3.1415));

C++

// Standard int types
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someuint32", 2145);
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someuint64", 423621626134123415);
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someint32", -7);
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Someint64", -234516543631231);
// Doubles
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "Somedouble", 3.1415);

Rust

// Standard int types
instant!("trace_category", "trace_name", Scope::Thread, "Someuint32" => 2145);
instant!("trace_category", "trace_name", Scope::Thread, "Someuint64" => 423621626134123415);
instant!("trace_category", "trace_name", Scope::Thread, "Someint32" => -7);
instant!("trace_category", "trace_name", Scope::Thread, "Someint64" => -234516543631231);
// Doubles
instant!("trace_category", "trace_name", Scope::Thread, "Somedouble" => 3.1415);

字符串类型

字符串类型是任何 string 数据类型。

例如:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "ping", "pong");

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "ping", "pong");

Rust

instant!("trace_category", "trace_name", Scope::Thread, "ping" => "pong");

指针

指针在 Perfetto 查看器中以十六进制格式显示。您还可以专门指定跟踪实参类型,以防类型推断解析为错误的数据类型。

例如:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somepointer", &i, "someotherpointer", &i, TA_POINTER(0xABCD));

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somepointer", &i, "someotherpointer", &i, 0xABCD);

Rust

let x: u64 = 123;
instant!("trace_category", "trace_name", Scope::Thread, "SomeOtherPointer" => &x as *const u64);

KOID

KOID 是内核对象的 ID,并且有自己的数据类型,以便将其与常规 u64 数据类型区分开。

例如:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somekoid", TA_KOID(0x0012));

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somekoid", TA_KOID(0x0012));

Rust

let koid: zx::Koid = vmo.get_koid()?;
instant!("trace_category", "trace_name", Scope::Thread, "somekoid" => koid);

布尔值

布尔值显示为 truefalse

例如:

C

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somebool", TA_BOOL(true));
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "someotherbool", TA_BOOL(false));

C++

TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "somebool", true);
TRACE_INSTANT("trace_category", "trace_name", TRACE_SCOPE_THREAD, "someotherbool", false);

Rust

instant!("trace_category", "trace_name", Scope::Thread, "somebool" => true);
instant!("trace_category", "trace_name", Scope::Thread, "someotherbool" => false);