<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<title>TCF Agent Porting Guide</title>
<h1>TCF Agent Porting Guide</h1>
Copyright (c) 2009 Wind River Systems, Inc. Made available under the EPL v1.0
Direct comments, questions to the <a href="mailto:firstname.lastname@example.org">email@example.com</a> mailing list
<h2>Table of Contents</h2>
<a href='#Customizing'>Customizing and Porting TCF Agent</a>
<a href='#NewOS'>Porting TCF Agent to a New OS Platform</a>
<a href='#NewCPU'>Porting TCF Agent to a New CPU Type</a>
<a href='#NewExeFile'>Adding Support For a New Executable File Format</a>
<a href='#NewDebugData'>Adding Support For a New Debug Data Format</a>
<a href='#NewTransport'>Adding Support For a New Communication Trasport</a>
TCF Agent is a lightweight reference implementation of TCF protocol that supports basic debugging and other TCF services.
It is written in C and can be used for remote debugging of software written for Linux, Windows XP or VxWorks.
See <a href='TCF Getting Started.html'>TCF Getting Started</a> for instructions on how to get the source code and build the agent.
<a name='Customizing'>Customizing and Porting TCF Agent</a>
It is important to know concurrency model used by the agent code before making any changes.
Most of the agent code is event driven: it has a main loop that retrieves events from an event queue and executes them sequentially by calling event handlers by a single thread.
Single threaded event driven design provides good level of concurrency (equivalent to cooperative multithreading), while greatly reduces need for synchronization -
each event dispatch cycle can be viewed as fully synchronized atomic operation.
Event driven code should avoid long running or potentially blocking operations in event handlers since they can stop all event processing for indefinite time.
Such operations should use asynchronous APIs (like POSIX Asynchronous I/O), or should be performed by background threads.
Treat background threads with extreme caution - agent data structures are not intended for multithreaded access.
Background thread scope should be limited to a single module and it should not call agent public APIs.
Instead they should communicate with the rest of the code by posting events.
An event is essentially a function pointer (a call-back) that points to event handler, plus a data pointer.
Call-backs are also used throughout the agent code to subscribe listeners for various state change notifications.
Using events and call-backs, as a design principle, is also known as inversion of control.
Note that, in general, inversion of control is not compatible with traditional multithreaded programming model that used mutexes to protect shared data from racing conditions.
Most of TCF agent configuration is done at compile time.
Conditional compilation statements in the source code assume that both the agent and inferior code will run on same OS platform and
on same CPU type that were used to build the agent.
Building an agent that can run on one machine while controlling execution of code on another machine might be possible, but not fully supported at this time.
Header file <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/config.h'>config.h</a> contains macro definitions that control agent configuration.
All C files in the agent code include <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/config.h'>config.h</a> before other header files.
Individual services or features can be enabled or disabled by changing definitions in the file.
Also, macro values can be overwritten by using -D option in C compiler command line.
Agent <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/Makefile'>Makefile</a> contains additional logic that makes it even more convenient to build different agent configurations.
It should be much easier to port the agent if you don't need all TCF services.
For example, for RSE integration you only need File System, System Monitor and Processes services,
so you can disable all other services by editing <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/config.h'>config.h</a>.
It is better to create a separate directory with alternative versions of
etc., instead of editing original files.
The idea is that Makefile will search that directory first, and if a file not found there, it will search original agent sources.
See <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/examples/org.eclipse.tm.tcf.examples.daytime.agent'>examples/org.eclipse.tm.tcf.examples.daytime.agent</a>
for an example of a custom TCF agent.
Of course, if changes are generic enough to be useful for other ports, then it is better to change code in the main directory.
Please, consider contributing your changes of the source code back to eclipse.org.
<a name='NewOS'>Porting TCF Agent to a New OS Platform</a>
In order to improve portability, instead of using non-portable native OS calls, agent code uses POSIX APIs whenever possible.
When a POSIX API is not available for particular platform, and it can be easily emulated, it is done in mdep.h/mdep.c files.
For example, mdep.h/mdep.c contains emulation of POSIX Threads for Win32, since the API is not available with Microsoft C compiler.
API emulation does not have to be complete, it only needs to implement functionality that is used by the agent.
When it is not possible or not feasible to use portable POSIX APIs, the agent code contains conditional compilation statements that
use well known macros like WIN32, __CYGWIN__, __MINGW32__, etc. Such places might require editing when porting to a new OS.
<a name='NewCPU'>Porting TCF Agent to a New CPU Type</a>
<p>Searching TCF agent source code for __i386__ is a good way to find all places where the source code depends on CPU type.</p>
<p>There are several files in the code that might need changes in order to support a new CPU type:</p>
The module provides low level debugger functionality: attach/detach, suspend/resume, single step, memory read/write.
It uses OS debug APIs to do its job. Most of the code does not depend on CPU type, however, single stepping is not always directly
supported by OS, and its implementation needs to be reviewed and changed to support new CPU type.
The module implements evaluation of <a href='http://en.wikipedia.org/wiki/DWARF'>DWARF</a> expressions.
The module is used only if the agent is built to support
<a href='http://en.wikipedia.org/wiki/Executable_and_Linkable_Format'>ELF</a> executable file format and
<a href='http://en.wikipedia.org/wiki/DWARF'>DWARF</a> debugging data format.
No need to change the module if <a href='http://en.wikipedia.org/wiki/Executable_and_Linkable_Format'>ELF</a> or
<a href='http://en.wikipedia.org/wiki/DWARF'>DWARF</a> support is not required.
<a href='http://en.wikipedia.org/wiki/DWARF'>DWARF</a> expressions can have references to CPU registers.
Register access code needs to be changed to support new CPU type.
Note that different compilers can use different numbers to identify same registers of same CPU.
The module implements <a href='TCF Service - Registers.html'>Registers service</a>. The code has static variable "regs_index" that contains a table of CPU registers.
The table holds names, offsets and sizes of CPU registers. Offset and size define location of register data in REG_SET structure,
which represents snapshot of register values of an execution context. Definition of the variable needs to be changed to support new CPU type.
The module implements <a href='TCF Service - Stack Trace.html'>Stack Trace service</a>.
The module contains "trace_stack" function that creates stack trace by walking a stack of an executable context.
Stack trace data format is defined by two struct declarations: StackTrace and StackFrame.
The data structure is generic, however the code that created the data structure is CPU dependand.
Alternative version of "trace_stack" function needs to be provided to support new CPU type.
<a name='NewExeFile'>Adding Support For a New Executable File Format</a>
For source level debugging TCF agent needs to understand executable file format.
Source level debugging is supported by providing two services: Symbols and Line Numbers.
The services are optional, and if they are disabled no support for executable file format is needed.
At this time the agent supports <a href='http://en.wikipedia.org/wiki/Executable_and_Linkable_Format'>ELF (Executable and Linking Format)</a>
and <a href='http://en.wikipedia.org/wiki/Portable_Executable'>PE (Portable Executable)</a> files.
ELF is very popular format in Unix-like and embedded systems, and PE is used in Windows operating systems.
ELF supported in the agent is developed from scratch, has no external dependences, and is available in source form as part of the agent source code.
The code might require changes to support a particular flavor of ELF.
Probably the most tricky part of the code is interface to the system loader.
The agent needs to know when an ELF file is loaded into or removed from target memory so it can update symbol tables and breakpoints.
For that it plants an internal (not visible to clients) breakpoint (aka eventpoint) inside system loader code.
The breakpoint allows agent to intercept control every time an ELF file is loaded or unloaded.
PE support in the agent is implemented by using DBGHELP.DLL. This DLL is included in Windows operating system.
However, older versions of the DLL might not provide all necessary functionality.
To obtain the latest version of DBGHELP.DLL, go to <a href='http://www.microsoft.com/whdc/devtools/debugging/default.mspx'>
http://www.microsoft.com/whdc/devtools/debugging/default.mspx</a> and download Debugging Tools for Windows.
Support for a completely new file format would require to develop alternative versions of symbols_xxx.c and linenumbers_xxx.c files.
See <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/symbols_elf.c'>symbols_elf.c</a>
and <a href='http://dev.eclipse.org/svnroot/dsdp/org.eclipse.tm.tcf/trunk/agent/linenumbers_elf.c'>linenumbers_elf.c</a>
as example implementation of the services.
<a name='NewDebugData'>Adding Support For a New Debug Data Format</a>
<a name='NewTransport'>Adding Support For a New Communication Transport</a>