Debugging PPC
Volume Number: | | 10
|
Issue Number: | | 8
|
Column Tag: | | Powering Up
|
Debugging
A slight detour into the subterranean areas of the PowerMac
By Richard Clark, General Magic & Jordan Mattson, Apple
Since January, we have been demonstrating that programming a Power Macintosh is very similar to programming a 68K-based Macintosh. This month well show you that debugging on a Power Macintosh is quite similar to debugging on a 68K Macintosh, but with a few changes due to Mixed Mode and the new runtime architecture. (Astute readers might notice that we promised to talk about Human Interface programming this month. Weve had to take a slight detour away from this plan, due to technical problems with our Human Interface demo code and a new job, but well be back on track next month.)
Well begin by examining the available tools, then review the most common new problems a Power Macintosh programmer faces.
Choose Your Tool
Well begin with some good news - debugging an emulated application on the Power Macintosh is the same as debugging that application on a 68K Macintosh. You can use MacsBug, SADE, Jasiks The Debugger, TMON, the THINK C debugger, and anything else you use normally. In fact, MacsBug just thinks its running on a 68020.
However, since youre reading this column you probably want to debug a PowerPC application on your Power Macintosh. If you like using source-code debuggers, youll need to use a different set of tools: either Apples Macintosh Debugger for PowerPC, or Metrowerks MW Debug. Three tools support assembly-level debugging on PowerPC: Apples Macintosh Debugger, Jasiks The Debugger, and MacsBug.
Looking At The New Debuggers
The new Power Macintosh source-level debuggers come in two parts - the debugger application, and a low-level nub which does most of the work of handling breakpoints and reading/writing memory. (Apple supplies the nubs for both its own debugger and the Metrowerks debugger.) You could think of the nub as a version of Macsbug which depends on an application to provide the interface.
Like Macsbug, the nub used with Apples Macintosh Debugger installs itself at the lowest level of the operating system and completely takes over the machine when active. (The nub actually disables interrupts while doing its work.) Since the machine is completely frozen when the nub has control, Apples debugger requires two machines: a Power Macintosh with the nub and the program being tested, and a 68K Macintosh or Power Macintosh running the debugging application. These two machines are connected by a serial cable which carries commands and data to the nub, and data back from the nub.
The two-machine mode provides some real advantages. If something happens to the machine running the debugging application, you can restart it and continue as if nothing happened. Also, using two machines for debugging keeps the user interface that youre testing separate from the interface on the test tools. (Anybodys whos tried to track down redrawing problems with a single-machine source level debugger can appreciate that!)
Metrowerks debugger uses a different version of Apples nub which doesnt take over the machine completely and which doesnt use the serial port directly. This version of the nub communicates with the debugging application through the Program-to-Program Communication toolbox, which allows the nub and the application to be on the same machine or connected via the Macintoshs built-in networking.
This nub has both advantages and disadvantages. The first disadvantage: since the nub is built on the PPC toolbox, much of the system has to be functioning correctly for the nub to communicate with the debugging application, so a crash could also kill your debugging tools. Disadvantage 2: the Process Manager gets involved when you send a message via the PPC toolbox, which limits the top speed of the connection. The final disadvantage is this: since this nub isnt installed automatically as an extension, so you have remember to start it running before you run the debugger application, or place it in your startup folder. In this nubs favor, you can debug with one machine, which saves money, desk space, and keeps you from trying to remember which mouse does which!
Both of these debuggers work with .SYM/.xSYM files - known generically as symbol files - which are generated by the PowerPC linker. (The only difference between a .SYM file and an .xSYM file is the name - Apples engineers adopted the convention of ending PowerPC symbol files with .xSYM so that developers who build fat binaries could have symbol files for both the PowerPC and 68K code at the same time.) Symbol files match the start of each line of source code to the corresponding location in the compiled program. Symbol files also list each of the variables in the application, and where each variable is located. Using this information, debuggers can determine which line of source the current program counter points to, let you set breakpoints at the beginning of a current line (and single-step through the source code), and examine and modify variables.
Without a symbol file, the debuggers can only show you machine-language instructions, and let you modify locations in memory directly.
Teaching An Old Debugger New Tricks
The other two PowerPC debuggers - MacsBug and Steve Jasiks The Debugger are 68K debuggers with some additional commands for the Power Macintosh.
MacsBug is still a 68K debugger at its heart: it is completely emulated and all of the register displays, breakpoints, stack crawls, and code displays operate as if running on a 68020. The largest single change to MacsBug is that it now knows about the Modern Memory Manager introduced with the Power Macintosh. The new memory manager uses different algorithms and different structures internally than the classic memory manager; this causes older versions of MacsBug to claim that the heap is corrupted when using the new memory manager. (MacsBug 6.5 contains the changes to work with the new memory manager.)
If MacsBug is still a 68K debugger, how can you debug PowerPC code with it? Apple has released an unsupported set of debugger extensions (known as dcmds, pronounced dee-commands) for PowerPC debugging. These commands include a disassembler, register display, stack crawl, and breakpoint setter for PowerPC code. (Setting breakpoints requires that you have one of the debugging nubs installed, so the breakpoint will be handled in the source-level debugger.)
The new MacsBug and the dcmds were shipped with the March, 1994 issue of develop magazine (issue 17), on the CD-ROM which accompanied the magazine. The dcmds dont appear to be available anywhere else. However, the new MacsBug is available on the Internet via anonymous ftp. Connect to ftp.apple.com, look in the /dts/mac/tools/macsbug directory, and download macsbug-6-5d6.hqx. (If theres a later version in the directory, take that instead.)
On the other hand, Steve Jasiks The Debugger has been completely revised to include PowerPC debugging support. It supports source-level and assembly-level debugging, including breakpoints, stack traces, and disassembling PowerPC code. The Debugger isnt a complete solution for PowerPC debugging yet, since single-stepping through source code, A-Trap breaks, and the step spy command dont work for PowerPC code. (They should be working by the time you read this column.)
One interesting feature of The Debugger is the way it annotates PowerPC disassemblies. Every line is labeled with the name of the instruction, which helps if youre learning PowerPC assembly language.
/* 1 */
;# void MainLoop()
;# {
;# EventRecordtheEvent;
;#
.MainLoop
0:mfsprr0,LR ; Move From Special Purpose Reg
4:stmw r28,-16(SP); Store Multiple Word
8:stw r0,8(SP) ; Store Word
C:stwu SP,-96(SP) ; Store Word with Update
10: lar29,gDone(RTOC) ; Load Address
;# while (!gDone) {
14: jplad_2 ; Branch
;# WaitNextEvent(everyEvent, &theEvent, 1L, NULL);
;#
;# // The external code didn't handle the event, so we will
18: lad_1 li r3,-1 ; Load Immed
1C: lar4,theEvent(SP) ; Load Address
20: lir5,1 ; Load Immed
24: lir6,0 ; Load Immed
28: bl.WaitNextEvent ; Branch, set LR
2C: lwz RTOC,20(SP) ; Load Word and Zero
The Debugger is completely self-contained, i.e. it doesnt require a separate nub, and requires a symbol file to enable its source-level debugging abilities.
Are There Any New Bugs On The Power Mac?
The first thing to remember when debugging a Power Macintosh program is that youre still using a Macintosh. The same toolbox managers are present on the Power Macintosh, and much of the Toolbox and Operating System code is emulated. This means that most crashes into MacsBug (or another debugger) happen for the same reasons as on a 68K Macintosh: the program either passed a bad value to the toolbox, or corrupted a block in the heap, or grew the stack into the heap, and so on.
Still, the Power Macintosh can crash in some unique ways, due to the presence of Mixed Mode and the limited memory protection afforded by the new runtime architecture.
Using Mixed Mode incorrectly can cause crashes into 68K code. The most common problem in all newly ported PowerPC code comes from forgetting to pass a Universal Procedure Pointer:
/* 2 */
// Oops! Were passing the address of a procedure directly
partCode = TrackControl(myControl, startPoint, myActionProc);
This causes a crash into the debugger with an illegal instruction error on the 68K side. You can diagnose this error in several different ways:
Use the PowerPC disassembler (or the dis dcmd in MacsBug) to look at the address where the crash occurred. If you see reasonable PowerPC instructions, you probably forgot to pass a Universal Procedure Pointer.
Think about what your code is doing. Did you click on a control, is a dialog being drawn, or is an Apple event being handled? These all involve callback procedures, so you may have forgotten a UPP.
Set a break on the Mixed Mode A-trap. (This only works in MacsBug.) Using the ATVB (A-Trap Vector Break) dcmd, you can set a break on _MixedModeDispatch (0xAAFE). (The normal A-Trap Break command wont work because the Power Macintosh doesnt run all traps through the same trap dispatcher as the 68K Macintosh.) This lets you look at every mixed mode switch
The Power Macintoshs limited memory protection can uncover bugs you didnt know you had. If Virtual Memory is turned on, your code is loaded into a read-only area, so attempting to overwrite your code will result in an Access Violation. Even if VM is off, attempts to write to location 0 usually trigger access violations, as do all attempts to overwrite the ROM.
Data structure alignment presents some of the nastiest bugs. Remember that the PowerPC prefers to have all 2-byte values begin on even addresses, and 4-byte values on addresses which are multiples of 4. The compiler will help maintain this alignment in data structures by inserting padding in the appropriate places. Naturally, if you werent expecting this padding, your program might behave in unexpected ways.
Diagnosing this bug is easy: try re-compiling your code with the use 68K alignment option to your compiler, and see if the problem goes away. If it does, you probably forgot to install alignment directives on one or more of your structures.
Next Month In Powering Up
Next month, well return with an all-code column exploring some Human Interface techniques you can apply on the Power Macintosh, and talk about a few nifty PowerPC hacks.