使用轨迹事件

将 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!(c"trace_category", c"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!(c"trace_category", c"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!(c"trace_category", c"example_duration");
// Do some work
duration_end!(c"trace_category", c"example_duration");

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

C

{
  TRACE_DURATION("trace_category", "example_duration_raii");
  // Do some work
  TRACE_DURATION(c"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(c"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!(c"trace_category", c"example_duration_raii");
  // Do some work
  duration!(c"trace_category", c"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!(c"trace_category", c"trace_flow_name", flow_id, "argument_1" => argument_1_value);
flow_step!(c"trace_category", c"trace_flow_step_name", flow_id);
flow_end!(c"trace_category", c"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, c"trace_category", c"trace_async_name", "argument_1" => argument_1_value);
async_instant!(async_id, c"trace_category", c"trace_async_instant_name");
async_end!(async_id, c"trace_category", c"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!(c"trace_category", c"trace_name", Scope::Thread, c"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!(c"trace_category", c"trace_name", Scope::Thread, c"Someuint32" => 2145);
instant!(c"trace_category", c"trace_name", Scope::Thread, c"Someuint64" => 423621626134123415);
instant!(c"trace_category", c"trace_name", Scope::Thread, c"Someint32" => -7);
instant!(c"trace_category", c"trace_name", Scope::Thread, c"Someint64" => -234516543631231);
// Doubles
instant!(c"trace_category", c"trace_name", Scope::Thread, c"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!(c"trace_category", c"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!(c"trace_category", c"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!(c"trace_category", c"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!(c"trace_category", c"trace_name", Scope::Thread, "somebool" => true);
instant!(c"trace_category", c"trace_name", Scope::Thread, "someotherbool" => false);