NAME

pm − Xinu post mortem debugger

SYNOPSIS

pm [ -p ] [ -s ] [ -t ] [ txtfil [ corfil ] ]

DESCRIPTION

Pm performs a post mortem given a core image from an LSI 11 running Xinu.  It takes as input the memory image (in LSI 11 a.out format) that was downloaded, and the core image (in LSI 11 core format) that was uploaded, and prints the following information:

Differences between the text portions (program instruction areas) of the file before downloading and after uploading.  Except for interrupt vectors which are initialized at run-time, differences indicate that instructions were accidentally overwritten.  Interrupt vectors lie below location 1000 (octal). 

C traceback of the executing process, based on Xinu’s currpid. 

C traceback of all other processes. 

The status of all semaphores.  If a semaphore is in use and the count indicates that there are processes waiting, the list of waiting processes is printed along with an actual count.  Backward links are checked for consistency. 

The status of tty devices, including the buffer head and tail pointers along with buffer contents. 

By default, pm takes the downloaded image from file a.out, the uploaded image from file core11, and produces all of the above output.  Pm always prints information about the current process.  If the following flags are present, pm prints only the information requested. 

-p dump the process table. 

-s dump the semaphore table. 

-t dump the tty tables. 

Optional arguments txtfil and corfil can be specified to change the files used as the downloaded and uploaded image. 

SEE ALSO

download(1), upload(1)

BUGS

Pm may fault when given garbage files (e.g., a badly damaged core file) because it references symbols in the core image based on values obtained from the a.out file without checking their validity. 

December 01, 1986  —  Xinu Programmer’s Manual