使用轨迹事件

将 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 个蓝色箭头,这些箭头表示即时事件。

自定义轨道事件

在跟踪记录中,即时事件和时长事件放置在生成它们的线程的轨道上。在某些情况下,您希望将相关事件(例如状态机转换、状态更改或电源级别)分组到与组件进程关联的专用命名轨道上。

借助自定义轨道事件,您可以定义 Track 对象一次,然后向该轨道发出即时事件和时长事件。在底层,这是使用虚拟线程 (VThread) 实现的。

如需使用自定义轨道,请执行以下操作:

  1. 在组件初始化期间创建 Track 对象。
  2. 使用 track_instant!track_duration!track_duration_begin!track_duration_end! 向轨道发出事件。

例如:

Rust

// 1. Create the track once (e.g., during component initialization)
let my_track = trace::Track::new("My State Machine");

// 2. Emit a scoped duration that automatically closes at the end of the block
{
    track_duration!("trace_category", my_track, "Idle State");
    // Do some work...
}

// 3. Emit a transient instant event on the track
track_instant!("trace_category", my_track, "Stimulus Received", "type" => "button_press");

// 4. Manual duration begin/end (e.g., for non-lexical scopes)
track_duration_begin!("trace_category", my_track, "Active State");
// Do some work...
track_duration_end!("trace_category", my_track, "Active State");

如果您的跟踪调用发生在多次执行的函数或帮助程序模块(例如请求处理程序、事务步骤或下载循环)内,则在函数内本地创建 Track 将为每次调用生成新的虚拟线程 ID。这会导致可视化工具在单独的轨道上呈现每次调用。

如需在整个进程范围内将所有事件分组到同一 可视轨道上,您应使用 std::sync::LazyLock 声明进程范围内的静态轨道:

Rust

// 1. Declare the track as a process-wide static using LazyLock
static DOWNLOAD_TRACK: std::sync::LazyLock<trace::Track> = std::sync::LazyLock::new(|| {
    trace::Track::new("http-client-download-blob")
});

// 2. Reference the static track in your function
async fn download_blob_impl(url: &str) {
    let track = &*DOWNLOAD_TRACK;

    // Scoped duration on the process-wide shared track
    track_duration!("trace_category", track, "http-client-download-blob", "url" => url);
}

在 Perfetto 中,自定义轨道干净地嵌套在组件的进程组内,与物理线程并列。轨道始终以 Track 对象名称(例如“My State Machine”)命名,状态显示为实心时长块,而即时事件则直接在轨道上显示为小菱形箭头。

Perfetto 跟踪记录查看器的屏幕截图,其中显示了名为

实参

您可以在 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);