[lttng-tools.git] / src / bin / lttng-sessiond / tsdl-trace-class-visitor.cpp

/*
 * Copyright (C) 2022 Jérémie Galarneau <jeremie.galarneau@efficios.com>
 *
 * SPDX-License-Identifier: GPL-2.0-only
 *
 */

#include "tsdl-trace-class-visitor.hpp"
#include "clock-class.hpp"

#include <common/exception.hpp>
#include <common/format.hpp>
#include <common/make-unique.hpp>
#include <common/uuid.hpp>

#include <vendor/optional.hpp>

#include <algorithm>
#include <array>
#include <locale>
#include <queue>
#include <set>
#include <stack>

namespace lst = lttng::sessiond::trace;
namespace tsdl = lttng::sessiond::tsdl;

namespace {
const auto ctf_spec_major = 1;
const auto ctf_spec_minor = 8;

/*
 * Although the CTF v1.8 specification recommends ignoring any leading underscore, Some readers,
 * such as Babeltrace 1.x, expect special identifiers without a prepended underscore.
 */
const std::set<std::string> safe_tsdl_identifiers = {
	"stream_id",
	"packet_size",
	"content_size",
	"id",
	"v",
	"timestamp",
	"events_discarded",
	"packet_seq_num",
	"timestamp_begin",
	"timestamp_end",
	"cpu_id",
	"magic",
	"uuid",
	"stream_instance_id"
};

/*
 * A previous implementation always prepended '_' to the identifiers in order to
 * side-step the problem of escaping TSDL keywords and ensuring identifiers
 * started with an alphabetic character.
 *
 * Changing this behaviour to a smarter algorithm would break readers that have
 * come to expect this initial underscore.
 */
std::string escape_tsdl_identifier(const std::string& original_identifier)
{
	if (original_identifier.size() == 0) {
		LTTNG_THROW_ERROR("Invalid 0-length identifier used in trace description");
	}

	if (safe_tsdl_identifiers.find(original_identifier) != safe_tsdl_identifiers.end()) {
		return original_identifier;
	}

	std::string new_identifier;
	/* Optimisticly assume most identifiers are valid and allocate the same length. */
	new_identifier.reserve(original_identifier.size());
	new_identifier = "_";

	/* Replace illegal characters by '_'. */
	std::locale c_locale{"C"};
	for (const auto current_char : original_identifier) {
		if (!std::isalnum(current_char, c_locale) && current_char != '_') {
			new_identifier += '_';
		} else {
			new_identifier += current_char;
		}
	}

	return new_identifier;
}

std::string escape_tsdl_env_string_value(const std::string& original_string)
{
	std::string escaped_string;

	escaped_string.reserve(original_string.size());

	for (const auto c : original_string) {
		switch (c) {
		case '\n':
			escaped_string += "\\n";
			break;
		case '\\':
			escaped_string += "\\\\";
			break;
		case '"':
			escaped_string += "\"";
			break;
		default:
			escaped_string += c;
			break;
		}
	}

	return escaped_string;
}

class tsdl_field_visitor : public lttng::sessiond::trace::field_visitor,
			   public lttng::sessiond::trace::type_visitor {
public:
	tsdl_field_visitor(const lst::abi& abi,
			unsigned int indentation_level,
			const nonstd::optional<std::string>& in_default_clock_class_name =
					nonstd::nullopt) :
		_indentation_level{indentation_level},
		_trace_abi{abi},
		_bypass_identifier_escape{false},
		_default_clock_class_name{in_default_clock_class_name ?
						in_default_clock_class_name->c_str() :
						nullptr}
	{
	}

	std::string& get_description()
	{
		return _description;
	}

private:
	virtual void visit(const lst::field& field) override final
	{
		/*
		 * Hack: keep the name of the field being visited since
		 * the tracers can express sequences, variants, and arrays with an alignment
		 * constraint, which is not expressible in TSDL. To work around this limitation, an
		 * empty structure declaration is inserted when needed to express the aligment
		 * constraint. The name of this structure is generated using the field's name.
		 */
		_current_field_name.push(_bypass_identifier_escape ?
				field.name : escape_tsdl_identifier(field.name));

		field.get_type().accept(*this);
		_description += " ";
		_description += _current_field_name.top();
		_current_field_name.pop();

		/*
		 * Some types requires suffixes to be appended (e.g. the length of arrays
		 * and sequences, the mappings of enumerations).
		 */
		while (!_type_suffixes.empty()) {
			_description += _type_suffixes.front();
			_type_suffixes.pop();
		}

		_description += ";";
	}

	virtual void visit(const lst::integer_type& type) override final
	{
		_description += "integer { ";

		/* Mandatory properties (no defaults). */
		_description += fmt::format("size = {size}; align = {alignment};",
				fmt::arg("size", type.size),
				fmt::arg("alignment", type.alignment));

		/* Defaults to unsigned. */
		if (type.signedness_ == lst::integer_type::signedness::SIGNED) {
			_description += " signed = true;";
		}

		/* Defaults to 10. */
		if (type.base_ != lst::integer_type::base::DECIMAL) {
			unsigned int base;

			switch (type.base_) {
			case lst::integer_type::base::BINARY:
				base = 2;
				break;
			case lst::integer_type::base::OCTAL:
				base = 8;
				break;
			case lst::integer_type::base::HEXADECIMAL:
				base = 16;
				break;
			default:
				LTTNG_THROW_ERROR(fmt::format(
						"Unexpected base encountered while serializing integer type to TSDL: base = {}",
						(int) type.base_));
			}

			_description += fmt::format(" base = {};", base);
		}

		/* Defaults to the trace's native byte order. */
		if (type.byte_order != _trace_abi.byte_order) {
			const auto byte_order_str = type.byte_order == lst::byte_order::BIG_ENDIAN_ ? "be" : "le";

			_description += fmt::format(" byte_order = {};", byte_order_str);
		}

		if (_current_integer_encoding_override) {
			const char *encoding_str;

			switch (*_current_integer_encoding_override) {
			case lst::string_type::encoding::ASCII:
				encoding_str = "ASCII";
				break;
			case lst::string_type::encoding::UTF8:
				encoding_str = "UTF8";
				break;
			default:
				LTTNG_THROW_ERROR(fmt::format(
						"Unexpected encoding encountered while serializing integer type to TSDL: encoding = {}",
						(int) *_current_integer_encoding_override));
			}

			_description += fmt::format(" encoding = {};", encoding_str);
			_current_integer_encoding_override.reset();
		}

		if (std::find(type.roles_.begin(), type.roles_.end(),
				    lst::integer_type::role::DEFAULT_CLOCK_TIMESTAMP) !=
						type.roles_.end() ||
				std::find(type.roles_.begin(), type.roles_.end(),
						lst::integer_type::role::
								PACKET_END_DEFAULT_CLOCK_TIMESTAMP) !=
						type.roles_.end()) {
			LTTNG_ASSERT(_default_clock_class_name);
			_description += fmt::format(
					" map = clock.{}.value;", _default_clock_class_name);
		}

		_description += " }";
	}

	virtual void visit(const lst::floating_point_type& type) override final
	{
		_description += fmt::format(
				"floating_point {{ align = {alignment}; mant_dig = {mantissa_digits}; exp_dig = {exponent_digits};",
				fmt::arg("alignment", type.alignment),
				fmt::arg("mantissa_digits", type.mantissa_digits),
				fmt::arg("exponent_digits", type.exponent_digits));

		/* Defaults to the trace's native byte order. */
		if (type.byte_order != _trace_abi.byte_order) {
			const auto byte_order_str = type.byte_order == lst::byte_order::BIG_ENDIAN_ ? "be" : "le";

			_description += fmt::format(" byte_order = {};", byte_order_str);
		}

		_description += " }";
	}

	template <class EnumerationType>
	void visit_enumeration(const EnumerationType& type)
	{
		/* name follows, when applicable. */
		_description += "enum : ";

		tsdl_field_visitor integer_visitor{_trace_abi, _indentation_level};

		integer_visitor.visit(static_cast<const lst::integer_type&>(type));
		_description += integer_visitor.get_description() + " {\n";

		const auto mappings_indentation_level = _indentation_level + 1;

		bool first_mapping = true;
		for (const auto& mapping : *type._mappings) {
			if (!first_mapping) {
				_description += ",\n";
			}

			_description.resize(_description.size() + mappings_indentation_level, '\t');
			if (!mapping.range) {
				_description += fmt::format("\"{}\"", mapping.name);
			} else if (mapping.range->begin == mapping.range->end) {
				_description += fmt::format(
						"\"{mapping_name}\" = {mapping_value}",
						fmt::arg("mapping_name", mapping.name),
						fmt::arg("mapping_value", mapping.range->begin));
			} else {
				_description += fmt::format(
						"\"{mapping_name}\" = {mapping_range_begin} ... {mapping_range_end}",
						fmt::arg("mapping_name", mapping.name),
						fmt::arg("mapping_range_begin",
								mapping.range->begin),
						fmt::arg("mapping_range_end", mapping.range->end));
			}

			first_mapping = false;
		}

		_description += "\n";
		_description.resize(_description.size() + _indentation_level, '\t');
		_description += "}";
	}

	virtual void visit(const lst::signed_enumeration_type& type) override final
	{
		visit_enumeration(type);
	}

	virtual void visit(const lst::unsigned_enumeration_type& type) override final
	{
		visit_enumeration(type);
	}

	virtual void visit(const lst::static_length_array_type& type) override final
	{
		if (type.alignment != 0) {
			LTTNG_ASSERT(_current_field_name.size() > 0);
			_description += fmt::format(
					"struct {{ }} align({alignment}) {field_name}_padding;\n",
					fmt::arg("alignment", type.alignment),
					fmt::arg("field_name", _current_field_name.top()));
			_description.resize(_description.size() + _indentation_level, '\t');
		}

		type.element_type->accept(*this);
		_type_suffixes.emplace(fmt::format("[{}]", type.length));
	}

	virtual void visit(const lst::dynamic_length_array_type& type) override final
	{
		if (type.alignment != 0) {
			/*
			 * Note that this doesn't support nested sequences. For
			 * the moment, tracers can't express those. However, we
			 * could wrap nested sequences in structures, which
			 * would allow us to express alignment constraints.
			 */
			LTTNG_ASSERT(_current_field_name.size() > 0);
			_description += fmt::format(
					"struct {{ }} align({alignment}) {field_name}_padding;\n",
					fmt::arg("alignment", type.alignment),
					fmt::arg("field_name", _current_field_name.top()));
			_description.resize(_description.size() + _indentation_level, '\t');
		}

		type.element_type->accept(*this);
		_type_suffixes.emplace(fmt::format("[{}]",
				_bypass_identifier_escape ?
						*(type.length_field_location.elements_.end() - 1) :
							escape_tsdl_identifier(*(type.length_field_location.elements_.end() - 1))));
	}

	virtual void visit(const lst::static_length_blob_type& type) override final
	{
		/* This type doesn't exist in CTF 1.x, express it as a static length array of uint8_t. */
		std::unique_ptr<const lst::type> uint8_element = lttng::make_unique<lst::integer_type>(8,
				_trace_abi.byte_order, 8, lst::integer_type::signedness::UNSIGNED,
				lst::integer_type::base::HEXADECIMAL);
		const auto array = lttng::make_unique<lst::static_length_array_type>(
				type.alignment, std::move(uint8_element), type.length_bytes);

		visit(*array);
	}

	virtual void visit(const lst::dynamic_length_blob_type& type) override final
	{
		/* This type doesn't exist in CTF 1.x, express it as a dynamic length array of uint8_t. */
		std::unique_ptr<const lst::type> uint8_element = lttng::make_unique<lst::integer_type>(0,
				_trace_abi.byte_order, 8, lst::integer_type::signedness::UNSIGNED,
				lst::integer_type::base::HEXADECIMAL);
		const auto array = lttng::make_unique<lst::dynamic_length_array_type>(
				type.alignment, std::move(uint8_element), type.length_field_location);

		visit(*array);
	}

	virtual void visit(const lst::null_terminated_string_type& type) override final
	{
		/* Defaults to UTF-8. */
		if (type.encoding_ == lst::null_terminated_string_type::encoding::ASCII) {
			_description += "string { encoding = ASCII }";
		} else {
			_description += "string";
		}
	}

	virtual void visit(const lst::structure_type& type) override final
	{
		_indentation_level++;
		_description += "struct {";

		const auto previous_bypass_identifier_escape = _bypass_identifier_escape;
		_bypass_identifier_escape = false;
		for (const auto& field : type._fields) {
			_description += "\n";
			_description.resize(_description.size() + _indentation_level, '\t');
			field->accept(*this);
		}

		_bypass_identifier_escape = previous_bypass_identifier_escape;

		_indentation_level--;
		if (type._fields.size() != 0) {
			_description += "\n";
			_description.resize(_description.size() + _indentation_level, '\t');
		}

		_description += "}";
	}

	template <class MappingIntegerType>
	void visit_variant(const lst::variant_type<MappingIntegerType>& type)
	{
		if (type.alignment != 0) {
			LTTNG_ASSERT(_current_field_name.size() > 0);
			_description += fmt::format(
					"struct {{ }} align({alignment}) {field_name}_padding;\n",
					fmt::arg("alignment", type.alignment),
					fmt::arg("field_name", _current_field_name.top()));
			_description.resize(_description.size() + _indentation_level, '\t');
		}

		_indentation_level++;
		_description += fmt::format("variant <{}> {{\n",
				_bypass_identifier_escape ?
						*(type.selector_field_location.elements_.end() - 1) :
							escape_tsdl_identifier(*(type.selector_field_location.elements_.end() - 1)));

		/*
		 * The CTF 1.8 specification only recommends that implementations ignore
		 * leading underscores in field names. Both babeltrace 1 and 2 expect the
		 * variant choice and enumeration mapping name to match perfectly. Given that we
		 * don't have access to the tag in this context, we have to assume they match.
		 */
		const auto previous_bypass_identifier_escape = _bypass_identifier_escape;
		_bypass_identifier_escape = true;
		for (const auto& field : type._choices) {
			_description.resize(_description.size() + _indentation_level, '\t');
			field.second->accept(*this);
			_description += fmt::format(" {};\n", field.first.name);
		}

		_bypass_identifier_escape = previous_bypass_identifier_escape;

		_indentation_level--;
		_description.resize(_description.size() + _indentation_level, '\t');
		_description += "}";
	}

	virtual void visit(const lst::variant_type<lst::signed_enumeration_type::mapping::range_t::range_integer_t>& type) override final
	{
		visit_variant(type);
	}

	virtual void visit(const lst::variant_type<lst::unsigned_enumeration_type::mapping::range_t::range_integer_t>& type) override final
	{
		visit_variant(type);
	}

	lst::type::cuptr create_character_type(enum lst::string_type::encoding encoding)
	{
		_current_integer_encoding_override = encoding;
		return lttng::make_unique<lst::integer_type>(8, _trace_abi.byte_order, 8,
				lst::integer_type::signedness::UNSIGNED,
				lst::integer_type::base::DECIMAL);
	}

	virtual void visit(const lst::static_length_string_type& type) override final
	{
		/*
		 * TSDL expresses static-length strings as arrays of 8-bit integer with
		 * an encoding specified.
		 */
		const auto char_array = lttng::make_unique<lst::static_length_array_type>(
				type.alignment, create_character_type(type.encoding_), type.length);

		visit(*char_array);
	}

	virtual void visit(const lst::dynamic_length_string_type& type) override final
	{
		/*
		 * TSDL expresses dynamic-length strings as arrays of 8-bit integer with
		 * an encoding specified.
		 */
		const auto char_sequence = lttng::make_unique<lst::dynamic_length_array_type>(
				type.alignment, create_character_type(type.encoding_),
				type.length_field_location);

		visit(*char_sequence);
	}

	std::stack<std::string> _current_field_name;
	/*
	 * Encoding to specify for the next serialized integer type.
	 * Since the integer_type does not allow an encoding to be specified (it is a TSDL-specific
	 * concept), this attribute is used when expressing static or dynamic length strings as
	 * arrays/sequences of bytes with an encoding.
	 */
	nonstd::optional<enum lst::string_type::encoding> _current_integer_encoding_override;

	unsigned int _indentation_level;
	const lst::abi& _trace_abi;

	std::queue<std::string> _type_suffixes;

	/* Description in TSDL format. */
	std::string _description;

	bool _bypass_identifier_escape;
	const char *_default_clock_class_name;
};
} /* namespace */

tsdl::trace_class_visitor::trace_class_visitor(const lst::abi& trace_abi,
		tsdl::append_metadata_fragment_function append_metadata_fragment) :
	_trace_abi{trace_abi},
	_append_metadata_fragment(append_metadata_fragment)
{
}

void tsdl::trace_class_visitor::append_metadata_fragment(const std::string& fragment) const
{
	_append_metadata_fragment(fragment);
}

void tsdl::trace_class_visitor::visit(const lttng::sessiond::trace::trace_class& trace_class)
{
	tsdl_field_visitor packet_header_visitor(trace_class.abi, 1);

	trace_class.get_packet_header()->accept(packet_header_visitor);

	/* Declare type aliases, trace class, and packet header. */
	auto trace_class_tsdl = fmt::format(
			"/* CTF {ctf_major}.{ctf_minor} */\n\n"
			"trace {{\n"
			"	major = {ctf_major};\n"
			"	minor = {ctf_minor};\n"
			"	uuid = \"{uuid}\";\n"
			"	byte_order = {byte_order};\n"
			"	packet.header := {packet_header_layout};\n"
			"}};\n\n",
			fmt::arg("ctf_major", ctf_spec_major),
			fmt::arg("ctf_minor", ctf_spec_minor),
			fmt::arg("uint8_t_alignment", trace_class.abi.uint8_t_alignment),
			fmt::arg("uint16_t_alignment", trace_class.abi.uint16_t_alignment),
			fmt::arg("uint32_t_alignment", trace_class.abi.uint32_t_alignment),
			fmt::arg("uint64_t_alignment", trace_class.abi.uint64_t_alignment),
			fmt::arg("long_alignment", trace_class.abi.long_alignment),
			fmt::arg("long_size", trace_class.abi.long_alignment),
			fmt::arg("bits_per_long", trace_class.abi.bits_per_long),
			fmt::arg("uuid", lttng::utils::uuid_to_str(trace_class.uuid)),
			fmt::arg("byte_order",
					trace_class.abi.byte_order == lst::byte_order::BIG_ENDIAN_ ? "be" : "le"),
			fmt::arg("packet_header_layout", packet_header_visitor.get_description()));

	/* Declare trace scope and type aliases. */
	append_metadata_fragment(trace_class_tsdl);
}

void tsdl::trace_class_visitor::visit(const lttng::sessiond::trace::clock_class& clock_class)
{
	auto uuid_str = clock_class.uuid ?
			fmt::format("	uuid = \"{}\";\n",
					lttng::utils::uuid_to_str(*clock_class.uuid)) :
			      "";

	/* Assumes a single clock that maps to specific stream class fields/roles. */
	auto clock_class_str = fmt::format(
			"clock {{\n"
			"	name = \"{name}\";\n"
			/* Optional uuid. */
			"{uuid}"
			"	description = \"{description}\";\n"
			"	freq = {frequency};\n"
			"	offset = {offset};\n"
			"}};\n"
			"\n",
			fmt::arg("name", clock_class.name),
			fmt::arg("uuid", uuid_str),
			fmt::arg("description", clock_class.description),
			fmt::arg("frequency", clock_class.frequency),
			fmt::arg("offset", clock_class.offset));

	append_metadata_fragment(clock_class_str);
}

void tsdl::trace_class_visitor::visit(const lttng::sessiond::trace::stream_class& stream_class)
{
	auto stream_class_str = fmt::format("stream {{\n"
		"	id = {};\n", stream_class.id);

	const auto *event_header = stream_class.get_event_header();
	if (event_header) {
		auto event_header_visitor = tsdl_field_visitor(
				_trace_abi, 1, stream_class.default_clock_class_name);

		event_header->accept(event_header_visitor);
		stream_class_str += fmt::format("	event.header := {};\n",
				event_header_visitor.get_description());
	}

	const auto *packet_context = stream_class.get_packet_context();
	if (packet_context) {
		auto packet_context_visitor = tsdl_field_visitor(
				_trace_abi, 1, stream_class.default_clock_class_name);

		packet_context->accept(packet_context_visitor);
		stream_class_str += fmt::format("	packet.context := {};\n",
				packet_context_visitor.get_description());
	}

	const auto *event_context = stream_class.get_event_context();
	if (event_context) {
		auto event_context_visitor = tsdl_field_visitor(_trace_abi, 1);

		event_context->accept(event_context_visitor);
		stream_class_str += fmt::format("	event.context := {};\n",
				event_context_visitor.get_description());
	}

	stream_class_str += "};\n\n";

	append_metadata_fragment(stream_class_str);
}

void tsdl::trace_class_visitor::visit(const lttng::sessiond::trace::event_class& event_class)
{
	auto event_class_str = fmt::format("event {{\n"
					   "	name = \"{name}\";\n"
					   "	id = {id};\n"
					   "	stream_id = {stream_class_id};\n"
					   "	loglevel = {log_level};\n",
			fmt::arg("name", event_class.name),
			fmt::arg("id", event_class.id),
			fmt::arg("stream_class_id", event_class.stream_class_id),
			fmt::arg("log_level", event_class.log_level));

	if (event_class.model_emf_uri) {
		event_class_str += fmt::format(
				"	model.emf.uri = \"{}\";\n", *event_class.model_emf_uri);
	}

	auto payload_visitor = tsdl_field_visitor(_trace_abi, 1);

	event_class.payload->accept(static_cast<lst::type_visitor&>(payload_visitor));

	event_class_str += fmt::format(
			"	fields := {};\n}};\n\n", payload_visitor.get_description());

	append_metadata_fragment(event_class_str);
}

void tsdl::trace_class_visitor::environment_begin()
{
	_environment += "env {\n";
}

void tsdl::trace_class_visitor::visit(
		const lttng::sessiond::trace::environment_field<int64_t>& field)
{
	_environment += fmt::format("	{} = {};\n", field.name, field.value);
}

void tsdl::trace_class_visitor::visit(
		const lttng::sessiond::trace::environment_field<const char *>& field)
{
	_environment += fmt::format(
			"	{} = \"{}\";\n", field.name, escape_tsdl_env_string_value(field.value));
}

void tsdl::trace_class_visitor::environment_end()
{
	_environment += "};\n\n";
	append_metadata_fragment(_environment);
	_environment.clear();
}