Markers ======= Markers are packets of arbitrary data that are added to a profile by the Firefox code, usually to indicate something important happening at a point in time, or during an interval of time. Each marker has a name, a category, some common optional information (timing, backtrace, etc.), and an optional payload of a specific type (containing arbitrary data relevant to that type). .. note:: This guide explains C++ markers in depth. To learn more about how to add a marker in JavaScript or Rust, please take a look at their documentation in :doc:`instrumenting-javascript` or :doc:`instrumenting-rust` respectively. Example ------- Short example, details below. Note: Most marker-related identifiers are in the ``mozilla`` namespace, to be added where necessary. .. code-block:: cpp // Record a simple marker with the category of DOM. PROFILER_MARKER_UNTYPED("Marker Name", DOM); // Create a marker with some additional text information. (Be wary of printf!) PROFILER_MARKER_TEXT("Marker Name", JS, MarkerOptions{}, "Additional text information."); // Record a custom marker of type `ExampleNumberMarker` (see definition below). PROFILER_MARKER("Number", OTHER, MarkerOptions{}, ExampleNumberMarker, 42); .. code-block:: cpp // Marker type definition. struct ExampleNumberMarker : public BaseMarkerType { // Unique marker type name. static constexpr const char* Name = "number"; // Marker description. static constexpr const char* Description = "This is a number marker."; // For convenience. using MS = MarkerSchema; // Fields of payload for the marker. static constexpr MS::PayloadField PayloadFields[] = { {"number", MS::InputType::Uint32t, "Number", MS::Format::Integer}}; // Locations this marker should be displayed. static constexpr MS::Location Locations[] = {MS::Location::MarkerChart, MS::Location::MarkerTable}; // Location specific label for this marker. static constexpr const char* ChartLabel = "Number: {marker.data.number}"; // Data specific to this marker type, as passed to PROFILER_MARKER/profiler_add_marker. static void StreamJSONMarkerData(SpliceableJSONWriter& aWriter, uint32_t a number) { // Custom writer for marker fields, or using the default parent // implementation if the function arguments match the schema. StreamJSONMarkerDataImpl(aWriter, a number); } }; When adding a marker whose arguments differ from the schema, a translator function and a custom implementation of StreamJSONMarkerData can be used. .. code-block:: c++ // Marker type definition. struct ExampleBooleanMarker : public BaseMarkerType { // Unique marker type name. static constexpr const char* Name = "boolean"; // Marker description. static constexpr const char* Description = "This is a boolean marker."; // For convenience. using MS = MarkerSchema; // Fields of payload for the marker. static constexpr MS::PayloadField PayloadFields[] = { {"boolean", MS::InputType::CString, "Boolean"}}; // Locations this marker should be displayed. static constexpr MS::Location Locations[] = {MS::Location::MarkerChart, MS::Location::MarkerTable}; // Location specific label for this marker. static constexpr const char* ChartLabel = "Boolean: {marker.data.boolean}"; // Data specific to this marker type, as passed to PROFILER_MARKER/profiler_add_marker. static void StreamJSONMarkerData(SpliceableJSONWriter& aWriter, bool aBoolean) { // Note the schema expects a string, we cannot use the default implementation. if (aBoolean) { aWriter.StringProperty("boolean", "true"); } else { aWriter.StringProperty("boolean", "false"); } } // The translation to the schema must also be defined in a translator function. // The argument list should match that to PROFILER_MARKER/profiler_add_marker. static void TranslateMarkerInputToSchema(void* aContext, bool aBoolean) { // This should call ETW::OutputMarkerSchema with an argument list matching the schema. if (aIsStart) { ETW::OutputMarkerSchema(aContext, ExampleBooleanMarker{}, ProfilerStringView("true")); } else { ETW::OutputMarkerSchema(aContext, ExampleBooleanMarker{}, ProfilerStringView("false")); } } }; A more detailed description is offered below. How to Record Markers --------------------- Header to Include ^^^^^^^^^^^^^^^^^ If the compilation unit only defines and records untyped, text, and/or its own markers, include `the main profiler markers header `_: .. code-block:: cpp #include "mozilla/ProfilerMarkers.h" If it also records one of the other common markers defined in `ProfilerMarkerTypes.h `_, include that one instead: .. code-block:: cpp #include "mozilla/ProfilerMarkerTypes.h" And if it uses any other profiler functions (e.g., labels), use `the main Gecko Profiler header `_ instead: .. code-block:: cpp #include "GeckoProfiler.h" The above works from source files that end up in libxul, which is true for the majority of Firefox source code. But some files live outside of libxul, such as mfbt, in which case the advice is the same but the equivalent headers are from the Base Profiler instead: .. code-block:: cpp #include "mozilla/BaseProfilerMarkers.h" // Only own/untyped/text markers #include "mozilla/BaseProfilerMarkerTypes.h" // Only common markers #include "BaseProfiler.h" // Markers and other profiler functions Untyped Markers ^^^^^^^^^^^^^^^ Untyped markers don't carry any information apart from common marker data: Name, category, options. .. code-block:: cpp PROFILER_MARKER_UNTYPED( // Name, and category pair. "Marker Name", OTHER, // Marker options, may be omitted if all defaults are acceptable. MarkerOptions(MarkerStack::Capture(), ...)); ``PROFILER_MARKER_UNTYPED`` is a macro that simplifies the use of the main ``profiler_add_marker`` function, by adding the appropriate namespaces, and a surrounding ``#ifdef MOZ_GECKO_PROFILER`` guard. 1. Marker name The first argument is the name of this marker. This will be displayed in most places the marker is shown. It can be a literal C string, or any dynamic string object. 2. `Category pair name `_ Choose a category + subcategory from the `the list of categories `_. This is the second parameter of each ``SUBCATEGORY`` line, for instance ``LAYOUT_Reflow``. (Internally, this is really a `MarkerCategory `_ object, in case you need to construct it elsewhere.) 3. `MarkerOptions `_ See the options below. It can be omitted if there are no other arguments, ``{}``, or ``MarkerOptions()`` (no specified options); only one of the following option types alone; or ``MarkerOptions(...)`` with one or more of the following options types: * `MarkerThreadId `_ Rarely used, as it defaults to the current thread. Otherwise it specifies the target "thread id" (aka "track") where the marker should appear; This may be useful when referring to something that happened on another thread (use ``profiler_current_thread_id()`` from the original thread to get its id); or for some important markers, they may be sent to the "main thread", which can be specified with ``MarkerThreadId::MainThread()``. * `MarkerTiming `_ This specifies an instant or interval of time. It defaults to the current instant if left unspecified. Otherwise use ``MarkerTiming::InstantAt(timestamp)`` or ``MarkerTiming::Interval(ts1, ts2)``; timestamps are usually captured with ``TimeStamp::Now()``. It is also possible to record only the start or the end of an interval, pairs of start/end markers will be matched by their name. *Note: The upcoming "marker sets" feature will make this pairing more reliable, and also allow more than two markers to be connected*. * `MarkerStack `_ By default, markers do not record a "stack" (or "backtrace"). To record a stack at this point, in the most efficient manner, specify ``MarkerStack::Capture()``. To record a previously captured stack, first store a stack into a ``UniquePtr`` with ``profiler_capture_backtrace()``, then pass it to the marker with ``MarkerStack::TakeBacktrace(std::move(stack))``. * `MarkerInnerWindowId `_ If you have access to an "inner window id", consider specifying it as an option, to help profiler.firefox.com to classify them by tab. "Auto" Scoped Interval Markers ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ To capture time intervals around some important operations, it is common to store a timestamp, do the work, and then record a marker, e.g.: .. code-block:: cpp void DoTimedWork() { TimeStamp start = TimeStamp::Now(); DoWork(); PROFILER_MARKER_TEXT("Timed work", OTHER, MarkerTiming::IntervalUntilNowFrom(start), "Details"); } `RAII `_ objects automate this, by recording the time when the object is constructed, and later recording the marker when the object is destroyed at the end of its C++ scope. This is especially useful if there are multiple scope exit points. ``AUTO_PROFILER_MARKER_TEXT`` is `the only one implemented `__ * However, if there is a XUL dependency, then it needs to be defined in the Gecko Profiler: `tools/profiler/public/ProfilerMarkerTypes.h `__ .. _how-to-define-new-marker-types: How to Define New Marker Types ------------------------------ Each marker type must be defined once and only once. The definition is a C++ ``struct``, that inherits from ``BaseMarkerType``, its identifier is used when recording markers of that type in C++. By convention, the suffix "Marker" is recommended to better distinguish them from non-profiler entities in the source. .. code-block:: cpp struct YourMarker : BaseMarkerType { Marker Type Name & Description ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ A marker type must have a unique name, it is used to keep track of the type of markers in the profiler storage, and to identify them uniquely on profiler.firefox.com. (It does not need to be the same as the ``struct``'s name.) This type name is defined in a special static data member ``Name``: .. code-block:: cpp // … static constexpr const char* Name = "YourMarker"; In addition you must add a description of your marker in a special static data member ``Description``: .. code-block:: cpp // … static constexpr const char* Description = "This is my marker!"; If you expect users to be passing unique names for individual instances of the marker, you may want to add the following to ensure those names get stored when using ETW: .. code-block:: cpp // … static constexpr bool StoreName = true; Marker Type Data ^^^^^^^^^^^^^^^^ All markers of any type have some common data: A name, a category, options like timing, etc. as previously explained. In addition, a certain marker type may carry zero of more arbitrary pieces of information, and they are always the same for all markers of that type. These are defined in a special static member data array of ``PayloadField`` s. Each payload field specifies a key, a C++ type description, a label, a format, and optionally some additional options (see the ``PayloadField`` type). The most important fields are: * Key: Element property name as streamed in ``StreamJSONMarkerData``. * Type: An enum value describing the C++ type specified to PROFILER_MARKER/profiler_add_marker. * Label: Prefix to display to label the field. * Format: How to format the data element value, see `MarkerSchema::Format for details `_. .. code-block:: cpp // … // This will be used repeatedly and is done for convenience. using MS = MarkerSchema; static constexpr MS::PayloadField PayloadFields[] = { {"number", MS::InputType::Uint32t, "Number", MS::Format::Integer}}; In addition, a ``StreamJSONMarkerData`` function must be defined that matches the C++ argument types to PROFILER_MARKER. The first function parameters is always ``SpliceableJSONWriter& aWriter``, it will be used to stream the data as JSON, to later be read by profiler.firefox.com. .. code-block:: cpp // … static void StreamJSONMarkerData(SpliceableJSONWriter& aWriter, The following function parameters is how the data is received as C++ objects from the call sites. * Most C/C++ `POD (Plain Old Data) `_ and `trivially-copyable `_ types should work as-is, including ``TimeStamp``. * Character strings should be passed using ``const ProfilerString8View&`` (this handles literal strings, and various ``std::string`` and ``nsCString`` types, and spans with or without null terminator). Use ``const ProfilerString16View&`` for 16-bit strings such as ``nsString``. * Other types can be used if they define specializations for ``ProfileBufferEntryWriter::Serializer`` and ``ProfileBufferEntryReader::Deserializer``. You should rarely need to define new ones, but if needed see how existing specializations are written, or contact the `perf-tools team for help `_. Passing by value or by reference-to-const is recommended, because arguments are serialized in binary form (i.e., there are no optimizable ``move`` operations). For example, here's how to handle a string, a 64-bit number, another string, and a timestamp: .. code-block:: cpp // … const ProfilerString8View& aString, const int64_t aBytes, const ProfilerString8View& aURL, const TimeStamp& aTime) { Then the body of the function turns these parameters into a JSON stream. If these parameter types match the types specified in the schema, both in order and number. It can simply call the default implementation. .. code-block:: cpp // … static void StreamJSONMarkerData(SpliceableJSONWriter& aWriter, const ProfilerString8View& aString, const int64_t aBytes, const ProfilerString8View& aURL, const TimeStamp& aTime) { StreamJSONMarkerDataImpl(aWrite, aString, aBytes, aURL, aTime); } If the parameters passed to PROFILER_MARKER do not match the schema, some additional work is required. When this function is called, the writer has just started a JSON object, so everything that is written should be a named object property. Use ``SpliceableJSONWriter`` functions, in most cases ``...Property`` functions from its parent class ``JSONWriter``: ``NullProperty``, ``BoolProperty``, ``IntProperty``, ``DoubleProperty``, ``StringProperty``. (Other nested JSON types like arrays or objects are not supported by the profiler.) As a special case, ``TimeStamps`` must be streamed using ``aWriter.TimeProperty(timestamp)``. The property names will be used to identify where each piece of data is stored and how it should be displayed on profiler.firefox.com (see next section). Suppose our marker schema defines a string for a boolean, here is how that could be streamed. .. code-block:: cpp // … static void StreamJSONMarkerData(SpliceableJSONWriter& aWriter, bool aBoolean) { aWriter.StringProperty("myBoolean", aBoolean ? "true" : "false"); } In addition, a ``TranslateMarkerInputToSchema`` function must be added to ensure correct output to ETW. .. code-block:: c++ // The translation to the schema must also be defined in a translator function. // The argument list should match that to PROFILER_MARKER/profiler_add_marker. static void TranslateMarkerInputToSchema(void* aContext, bool aBoolean) { // This should call ETW::OutputMarkerSchema with an argument list matching the schema. if (aIsStart) { ETW::OutputMarkerSchema(aContext, YourMarker{}, ProfilerStringView("true")); } else { ETW::OutputMarkerSchema(aContext, YourMarker{}, ProfilerStringView("false")); } } .. _marker-type-display-schema: Marker Type Display Schema ^^^^^^^^^^^^^^^^^^^^^^^^^^ Now that we have defined how to stream type-specific data (from Firefox to profiler.firefox.com), we need to describe where and how this data will be displayed on profiler.firefox.com. The location data member determines where this marker will be displayed in the profiler.firefox.com UI. See the `MarkerSchema::Location enumeration for the full list `_. Here is the most common set of locations, showing markers of that type in both the Marker Chart and the Marker Table panels: .. code-block:: cpp // … static constexpr MS::Location Locations[] = {MS::Location::MarkerChart, MS::Location::MarkerTable}; Some labels can optionally be specified, to display certain information in different locations: ``ChartLabel``, ``TooltipLabel``, and ``TableLabel``; or ``AllLabels`` to define all of them the same way. The arguments is a string that may refer to marker data within braces: * ``{marker.name}``: Marker name. * ``{marker.data.X}``: Type-specific data, as streamed with property name "X" from ``StreamJSONMarkerData`` (e.g., ``aWriter.IntProperty("X", a number);`` For example, here's how to set the Marker Chart label to show the marker name and the ``myBytes`` number of bytes: .. code-block:: cpp // … static constexpr const char* ChartLabel = "{marker.name} – {marker.data.myBytes}"; profiler.firefox.com will apply the label with the data in a consistent manner. For example, with this label definition, it could display marker information like the following in the Firefox Profiler's Marker Chart: * "Marker Name – 10B" * "Marker Name – 25.204KB" * "Marker Name – 512.54MB" For implementation details on this processing, see `src/profiler-logic/marker-schema.js `_ in the profiler's front-end. Any other ``struct`` member function is ignored. There could be utility functions used by the above compulsory functions, to make the code clearer. And that is the end of the marker definition ``struct``. .. code-block:: cpp // … }; Performance Considerations -------------------------- During profiling, it is best to reduce the amount of work spent doing profiler operations, as they can influence the performance of the code that you want to profile. Whenever possible, consider passing simple types to marker functions, such that ``StreamJSONMarkerData`` will do the minimum amount of work necessary to serialize the marker type-specific arguments to its internal buffer representation. POD types (numbers) and strings are the easiest and cheapest to serialize. Look at the corresponding ``ProfileBufferEntryWriter::Serializer`` specializations if you want to better understand the work done. Avoid doing expensive operations when recording markers. E.g.: ``printf`` of different things into a string, or complex computations; instead pass the ``printf``/computation arguments straight through to the marker function, so that ``StreamJSONMarkerData`` can do the expensive work at the end of the profiling session. Marker Architecture Description ------------------------------- The above sections should give all the information needed for adding your own marker types. However, if you are wanting to work on the marker architecture itself, this section will describe how the system works. TODO: * Briefly describe the buffer and serialization. * Describe the template strategy for generating marker types * Describe the serialization and link to profiler front-end docs on marker processing (if they exist)