This is the draft of https://interrupt.memfault.com/blog/trice
Trace & Log with TRICE
and get printf
comfort inside interrupts and everywhere
Table of Contents
-
* 1. [Description](#Description)
* 2. [Abstract](#Abstract)
* 3. [A brief history of *Trice*](#AbriefhistoryofTrice)
* 4. [How it works - the main idea](#Howitworks-themainidea)
* 5. [*Trice* features](#Tricefeatures)
* 5.1. [Open source](#Opensource)
* 5.2. [Easy-to-use](#Easy-to-use)
* 5.3. [Small size - using *Trice* frees FLASH memory](#Smallsize-usingTriceufreesuFLASHmemory)
* 5.4. [Execution speed](#Executionspeed)
* 5.5. [Robustness](#Robustness)
* 5.6. [More comfort than printf-like functions but small differences](#Morecomfortthanprintf-likefunctionsbutsmalldifferences)
* 5.7. [Labeled channels, color and log levels](#Labeledchannelscolorandloglevels)
* 5.8. [Compile time enable/disable `TRICE` macros on file level](#CompiletimeenabledisableTRICEmacrosonfilelevel)
* 5.9. [Target and host timestamps](#Targetandhosttimestamps)
* 5.10. [Target source code location](#Targetsourcecodelocation)
* 5.11. [ Several target devices in one log output](#Severaltargetdevicesinonelogoutput)
* 5.12. [Any byte capable 1-wire connection usable](#Anybytecapable1-wireconnectionusable)
* 5.13. [Scalability](#Scalability)
* 5.14. [Portability and Modularity](#PortabilityandModularity)
* 5.15. [Optional *Trice* messages encryption](#OptionalTricemessagesencryption)
* 6. [ Bottom line](#Bottomline)
1. Description
Trice is an unusual software tracer-logger and consists of these parts to use:
- trice.c containing the less that 1KB runtime code using triceConfig.h as setup.
- trice.h containing a C language macro
TRICE
, generating tiny code for getting real-timeprintf
comfort at βspeed-of-lightβ for any micro-controller.- Example:
float x = 3.14159265/4; TRICE( Id(12345), "info:Ο/4 is %f with the bit pattern %032b\n", aFloat(x), x );
- Example:
- PC tool trice, executable on all Go platforms:
- Android
- Linux
- MacOS
- Windows
- Interface options for log collectors are possible.
2. Abstract
If you develop software for an embedded system, you need some kind of system feedback. Debuggers are awesome tools, but when it comes to analyze dynamic behavior in the field, they are not usable.
Logging then, usually done with printf-like functions, gets quick a result after having i.e. putchar()
implemented. This turns out to be an expensive way in terms of processor clocks and needed FLASH memory, when you regard the library code and all the strings needing FLASH memory space. For small micro-controllers thatΒ΄s it.
Bigger micro-controllers are coming with embedded trace hardware. To use it, an expensive tool is needed. Useful for analyzing complex systems, but for in-field related issues at least unhandy.
Unhappy with this situation, the developer starts thinking of using digital pins or starts emitting some proprietary LED blinking codes or byte sequences, difficult to interpret.
The Trice technique tries to fill this gap, being minimal invasive for the target and as comfortable as possible. It is the result of a long-year dissatisfaction and several attempts to find a loophole to make embedded programming more fun and this way more effective.
3. A brief history of Trice
Developing firmware means to deal also with interrupts and often with timing. How do you check, if an interrupt occurred? Ok, increment a counter and display it in a background loop with some printf-like function. What about time measurement? Set a digital output to 1 and 0 and connect a measurement device. Once, developing software for a real-time image processing device, I had no clue where in detail the processing time exploded when the image quality got bad. A spare analog output with a video interrupt synced oscilloscope gave me the needed information, after I changed the analog output on several points in my algorithm. But, hey guys, I want to deal with my programming tasks and do not like all this hassle connecting wires and steer into instruments.
A printf
is so cool on a PC, developing software there. But an embedded device often cannot use it for performance reasons. My very first attempt was writing the format string .const
offset together with its values in a FIFO during a log statement and to do the printf
it in the background. But that is compiler specific. Ok the full string address is better but needs buffer space. Zephyr for example does something like that calling it βdeferred loggingβ.
Then, one day I had the idea to compute short checksums for the format strings in a pre-compile step and to use them as ID in a list together with the format strings. That was a step forward but needed to write a supporting PC program. I did that in C++ in the assumption to get it better done that way. Finally, it worked, but I hated my PC code, as I dislike C++ now because of all its nuts and bolts to handle, accompanied by missing libraries on the next PC. The tool usability was also unhandy and therefore error prone and the need became clear for a full automatized solution. Also, what is, if 2 different format strings accidentally generate the same short checksum? There was a way around, but an ID based message filtering will never be possible that way.
The need became clear for controllable IDs and management options. And there was Go now, an as-fast-as-C language, easy to learn, promising high programming efficiency and portability. It would be interesting to try it out on a real PC project.
Trying to add channels in form of partial TRICE macro names was blowing up the header code amount and was a too rigid design. Which are the right channels? One lucky day I came to the conclusion to handle channels just as format string parts like "debug:Here we are!\n"
and getting rid of them in the target code this way also giving the user full freedom to invent any channels.
An other point in the design was the question how to re-sync after data stream interruption, because that happens often during firmware development. Several encodings where tried out, a proprietary escape sequence format and an alternative flexible data format with more ID bits where working reliable but with COBS things got satisfying. A side result of that trials is the trice tool option to add different decoders if needed.
There was a learning not to reduce the transmit byte count to an absolute minimum, but to focus more on TRICE
macro speed and universality. That led to a double buffer on the target side discarding the previous FIFO solution. The COBS package descriptor allowing alongside user protocols is result of the optional target timestamps and location info some users asked for, keeping the target code as light as possible. Float and double number support was implementable for free because this work is done mainly on the host side.
Trice grew, and as it got usable I decided to make it Open Source to say βThank Youβ to the community this way.
Learning that Trice is also a baby girl name, our daughter Ida designed the little girl with the pen symbolizing the TRICE
macro for recording and the eyeglasses standing for the PC tool trice visualizing the logs.
4. How it works - the main idea
Trice performs no costly printf-like functions on the target at all. The trice
macro, instead, just copies an ID together with the optional values to a buffer and is done. In the minimum case this can happen in 6-8 processor clocks even with target timestamps included. When running on a 64 MHz clock, light can travel about 30 meters in that time.
To achieve that, an automatable pre-compile step is needed, executing a trice insert
command on the PC. This is fast enough not to disturb the build process. The trice tool parses then the source tree for macros like trice( "msg: %d Kelvin\n", k );
and patches them to trice( iD(12345), "msg: %d Kelvin\n", k );
, where 12345
is a generated 14-bit identifier copied into a Trice ID List. During compilation than, the trice
macro is translated to the 12345
ID only, and the optional parameter values. The format string is ignored by the compiler.
The target code is project specific configurable. In immediate mode the the stack is used as Trice buffer and the TRICE macro execution includes the quick COBS encoding and the data transfer. This more straightforward and slower architecture can be interesting for many cases because it is anyway much faster than printf-like functions calls. In deferred mode a service swaps the Trice double buffer periodically, the COBS encoding takes part and with the filled buffer the background transfer is triggered. Out buffer and half Trice buffer share the same memory for efficiency.
During runtime the PC trice tool receives all what happened in the last ~100ms as a COBS package from the UART port. The 0x30 0x39
is the ID 12345 and a map lookup delivers the format string βmsg: %d Kelvin\nβ and also the bit width information. Now the trice tool can write target timestamp, set msg color and execute printf("%d Kelvin\n", 0x0000000e);
The trice tool is a background helper giving the developer focus on its programming task. The once generated ID is not changed anymore without need. If for example the format string gets changed into "msg: %d Kelvin!\n"
, a new ID is inserted automatically and the reference list gets extended. Obsolete IDs are kept inside the Trice ID List for compatibility with older firmware versions. It could be possible, when merging code, an ID is used twice for different format strings. In that case, the ID inside the reference list wins and the additional source gets patched with a new ID. This maybe unwanted patching is avoidable with proper ID management. The reference list should be kept under source code control.
5. Trice features
5.1. Open source
Target code and PC tool are open source. The MIT license gives full usage freedom. Users are invited to support the further Trice development.
5.2. Easy-to-use
Making it facile for a user to use Trice was the driving point just to have one trice tool and an additional source file with a project specific simple to use triceConfig.h
and to get away with the one macro TRICE
for most situations. Trice understands itself as a silent helper in the background to give the developer more focus on its real task. If, for example, trice log
is running and you re-flash the target, there is no need to restart the trice tool. When til.json was updated in an pre-build step, the trice tool automatically reloads the new data during logging.
The trice tool comes with many command line switches (trice help -all
) for tailoring various needs, but mostly these are not needed. Usually only type trice l -p COMn
for logging with a 115200 bit/s baud rate.
5.3. Small size - using Trice frees FLASH memory
Compared to a printf-library code which occupies 1 to over 20 KB FLASH memory, the Trice code is really small - less 1 KB will do already but provide full support.
5.4. Execution speed
Can it get faster that that? Only 3 runtime Assembler instructions per Trice needed in the minimum case! Additionally target timestamp and location, disable interrupts and restore interrupt state and cycle counter increment can consume a few more processor clocks, if enabled, but a Trice is still incomparable fast.
5.5. Robustness
When a Trice data stream is interrupted, the COBS encoding allows an immediate re-sync with the next COBS package delimiter byte and a default Trice cycle counter gives a high chance to detect lost Trice messages.
5.6. More comfort than printf-like functions but small differences
Trice is usable also inside interrupts and additional format specifier support gives options like binary or bool output. Transmitting runtime generated strings could be a need, so a TRICE_S
macro exists supporting the %s
format specifier for strings up to 32737 bytes long. It is possible to log float/double numbers using %f
and the like, but the numbers need to be covered with the function aFloat(x)
or aDouble(y)
. Also UTF-8 encoded strings implicit supported, if you use UTF-8 for the source code.
5.7. Labeled channels, color and log levels
You can label each Trice with a channel specifier to colorize the output. This is free of any runtime costs because the channel strings part of the log format strings, which are not compiled into the target. The trice tool will strip full lowercase channel descriptors from the format string after setting the appropriate color, making it possible to give each letter its color.
Loggers use log levels and offer a setting like βlog all above INFOβ for example. The Trice channels can cover that but can do better: Inside emitter.ColorChannels all common log levels defined as Trice channels alongside with user channels. The user can adjust this. The trice tool has the -pick
and -ban
switches to control the display in detail. Also a -logLevel
switch is usable to determine a display threshold as channel position inside ColorChannels.
If a target side log level control is needed, a trice tool extension could each of these log level channels assign an ID range and a target side log threshold can control which IDs are transmitted. No need to implement that right now, because the runtime and bandwidth costs are so small for each Trice and a back control path is needed which is better designed by the user. Also the IDManagement would get more complex.
5.8. Compile time enable/disable TRICE
macros on file level
After debugging code in a file, there is no need to remove or comment out TRICE
macros. Write a #define TRICE_OFF 1
just before the #include "trice.h"
line and all TRICE
macros in this file are ignored completely by the compiler, but not by the trice tool. In case of re-constructing the Trice ID List these no code generating macros are regarded.
#define TRICE_OFF 0 // Set this value to 1 to disable trice code generation in this file object.
#include "trice.h"
5.9. Target and host timestamps
Enable target timestamps with a variable you want inside triceConfig.h. This adds a 32-bit value to each Trice sequence, which carries than the system clock, a millisecond second or an other event counter. The trice tool will automatically recognize and display them in a default mode you can control. If several TRICE
macros form a single line, the trice tool only displays the target timestamp of the first TRICE
macro.
Embedded devices often lack a real-time clock and some scenarios can last for weeks. Therefore the trice tool precedes each Trice line with a PC timestamp, if not disabled. This is the Trice reception time on the PC, what can be some milliseconds later than the target Trice event.
5.10. Target source code location
Some developers like to see the filename.c
and line
in front of each log line for quick source location. During trice i
a file li.json
is generated containing the location information. If trice log
finds this file, filename and line number are displayed in front of each log line, otherwise not.
Because software is a matter of change it could happen you get obsolete information this way. Therefore the trice tool log option -showID
exists to display the Trice ID in front of each log line what gives a more reliable way for event localization in some cases. Also you can get it for free, because no target code is needed for that.
5.11. Several target devices in one log output
Several trice tool instances can run parallel on one or different PCs. Each trice tool instance receives Trices from one embedded device. Instead of displaying the log lines, the trice tool instances can transmit them over TCP/IP (trice l -p COMx -ds
) to a trice tool instance acting as display server (trice ds
). The display server can fold these log lines in one output. For each embedded device a separate Trice line prefix and suffix is definable. This allows comparable time measurements in distributed systems. BTW: The Trice message integration could be done also directly with the COBS packages.
5.12. Any byte capable 1-wire connection usable
The usual Trice output device is an UART but also SEGGER-RTT is supported over J-Link or ST-Link devices. Many micro controller boards can act as Trice bridge to a serial port from any port (example).
5.13. Scalability
The various Trice ID management features allow the organization also of bigger software systems. 16383 possible different IDs should match also large projects. Just in case: 16-bit for the ID is a not to hard changeable value.
5.14. Portability and Modularity
The trice tool is written in the open source language Go and is therefore usable on many platforms. That means the automatic code patching and ID handling side with trice insert
.
All C-compilers should be usable to compile the target Trice code and there is no hardware dependency despite the byte transmission. MCUs with 8-bit to 64-bit, little or big endian are supported.
Any user program able to read a JSON file, can receive the documented Trice message format, look-up the ID and perform a printf-like action to translate into log strings. The trice tool with its log
switch is a working example.
Using no framing, COBS or TCOBS packages starting with a package descriptor allows alongside user protocols. The other way around is also implementable: In a user protocol embedded Trice
messages.
The trice tool is expandable with several decoders. So it is possible to implement a minimal Trice encoding, if bandwidth matters heavily and control that with switches.
When less RAM usage is more important the target double buffer is replaceable with a ring buffer. So the user will be able to decide at compile time about that. A ring buffer mode is selectable inside triceConfig.h avoiding any buffer by paying a time toll.
The trice tool supports many command line switches.
5.15. Optional Trice messages encryption
The encryption opportunity makes it possible to test thoroughly a binary with log output and releasing it without the need to change any bit but to make the log output unreadable for a not authorized person. Implemented is the lightweight XTEA as option, what will do for many cases. It should be no big deal to add a different algorithm.
6. Bottom line
The Trice technique is new and still under development. Additional tests and bug fixing is necessary. A trice tool configuration file and interfacing Grafana or similar tools would be possible extensions. Getting started with Trice will take a few hours, but probably pay off during the further development.