GSoC 2018 Project Submission
This blog post documents the work I did for GSoC’18 on the LLVM Compiler Infrastructure project.
Title
Re-implement lldb-mi on top of the LLDB public API.
Introduction
- LLDB is a next generation, high-performance debugger. It is built as a set of reusable components which highly leverage existing libraries in the larger LLVM Project, such as the Clang expression parser, the LLVM disassembler and JIT compiler.
- The Machine Interface Driver (lldb-mi) is a standalone executable that sits between a client IDE (a GUI debugger for example) and a debugger (LLDB), translating MI commands into equivalent LLDB actions. The MI debugger interface is supported by many popular source code editors and IDEs, including Emacs, Vim, Eclipse, and many more. It also listens to events from the debugger such as “hit a breakpoint” and translates the event into an appropriate MI response for the client to interpret. This allows IDEs that would normally drive the GNU Debugger (GDB), or other backends that understand the MI commands, to work with LLDB, with very similar functionality. The MI is a text interface.
The MI driver for LLDB is called lldb-mi. It speaks the MI protocol und uses LLDB as a backend for debugging.
Description
The lldb-mi should provide an implementation for all the MI commands, but current support is incomplete and, more importantly, some commands are implemented using wrong abstraction layer. Before this GSoc project was started, lldb-mi would send a textual command to the LLDB command line interface, and would then scrape and process the command’s textual output. Scraping text is error-prone, since the output formatted for humans to read. It is also brittle, since the exact formatting of LLDB commands is subject to change. Instead of asking the LLDB to execute some command (e.g. SBCommandInterpreter::HandleCommand) and then scraping and processing its textual output, it should be using the methods and data structures provided by the public SB API.
My task as a GSoC student was to get rid of using HandleCommand and parsing its output with regular expressions, to re-implement lldb-mi commands to correctly use public SB API, to add a new API if needed. The goal is to reduce maintenance effort for the project since the public API is guaranteed to remain stable.
Team
- Student(me)
- Mentor
The LLVM Community was also very helpful in reviewing patches on reviews.llvm.org and responding to my queries via email. Amongst the very helpful community members are: Greg Clayton, Pavel Labath, Jim Ingham and Stella Stamenova.
What did I do
In my proposal I’ve noted eleven commands and methods which use HandleCommand and should be re-implemented. They are:
- exec-continue
- exec-next
- exec-step
- exec-next-instruction
- exec-step-instruction
- exec-finish
- exec-interrupt
- symbol-list-lines
- data-info-line
- target-select
- CMICmnLLDBDebuggerHandleEvents::HandleProcessEventStateSuspended
After being accepted by the LLVM Compiler Infrastructure as a GSoC’18 student, I first worked on improvement of break-insert command to get more familiar with the code base and a review process. The main task was to add support of pending breakpoints. For example:
# start lldb-mi session without debug target
./lldb-mi
# create a breakpoint on a function with name hit_me, we don't
# know what is the hit_me, but we want to stop on this
# function if the target has it
-break-insert hit_me
# choose a target
-file-exec-and-symbols some_binary_with_hit_me
# run target
-exec-run
The pending breakpoints support means that if we execute above mentioned sequence of commands we will hit the breakpoint on hit_me and stop. Also, if selected binary doesn’t have hit_me function, we will not stop. You can see the commit.
Making that commit, we faced with a problem of testing. Thus far lldb-mi was tested using pexpect; by running a command and then waiting for either a timeout or the expected result. It leads to two problems:
- a misbehaving testcase takes at least the time of the timeout to complete unsuccessfully
- a very slow running test can fail if the timeout is reached before the expected result is computed
The second problem was often happening on heavily loaded machines, such as the build bots running LLVM’s continuous integration.
To prevent lldb-mi from unexpected failures, we decided to test it using LLVM tools: LIT — LLVM Integrated Tester, and FileCheck — Flexible pattern matching file verifier. In this case, we run a lldb-mi session, collect its output and pipe it to the FileCheck. Also, for testing purposes only, we added a new option to lldb-mi — synchronous (link to commit). The lldb-mi consumes input asynchronously from its command handler, so the synchronous option makes sure that the lldb-mi will handle given commands consistently. Thereby we get rid of cases like giving lldb-mi two commands for instance -file-exec-and-symbols some_binary and -exec-run and exiting with error Current SBTarget is invalid caused since -exec-run has been handled first.
Some words about re-implementing a command. When you realize how and what a command should do you start searching an API making things that you need. The LLVM and LLDB has tons of API, so it may take some time until you find it. If you can’t find anything that meets your criteria, you may think about adding a new API or modifying an existing one. For example, in this commit I improved an API to be able to get information about an occurred error, that will be useful for other developers in the future.
I’m sure that in software systems everything that can be tested should be tested. I followed this rule during all the GSoC and sometimes testing became a challenging task, I could spend most of the time I worked on a command thinking about the right test case: what should it do, how to link multiple test components together and so on. The best example of this is the target-select command’s test(link to commit). Writing a test for this patch I faced with a few problems: the first one is that the lit isn’t a good choice when your test depends on a non-constant data, for example tcp port number. I solved this problem by choosing a port in a python runtime and changing the specific string in the test - $PORT, with a found tcp port. Choosing a port is the second problem, of course you can just pick it randomly, but this is error prone since randomly chosen port might be already used by some application. So, we decided to let lldb-server choose a port, get its number and connect to it. It guarantees us that chosen port will be free.
Taking into consideration all that was discussed re-implementing a MI command for me looked like:
- using source code and gdb-mi specification which lldb-mi is compatible with, learn how a command should work
- change existing SB API or add a new one
- implement a command without HandleCommand using methods and data structures from SB API
- write a test
Here I described how I started my GSoC project, how it led us to the problem of testing and how a process of re-implementing a MI command looks like. If you are interested in more details of this project you may look at the google spreadsheet where I collected all the commits I did during GSoC.
My next plans
As was noted, the lldb-mi is currently incomplete: it doesn’t implement the whole set of MI commands, so I’ll try to add a new commands into it. Also, I’m going to learn more about how a compiler work and try myself at Clang and LLVM.
Thanks to the LLVM Community for helping me with this project and Google for this awesome program.