Xinu7/man/man1/pm.doc

PM(1)               Xinu Programmer's Manual                PM(1)



NAME
     pm - Xinu post mortem debugger

SYNOPSIS
     pm [ -p ] [ -s ] [ -t ] [ _t_x_t_f_i_l [ _c_o_r_f_i_l ] ]

DESCRIPTION
     _P_m 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 _d_o_w_n_l_o_a_ded, and the core image (in
     LSI 11 core format) that was _u_p_l_o_a_ded, and prints the fol-
     lowing information:

          Differences between the text portions (program instruc-
          tion areas) of the file before downloading and after
          uploading.  Except for interrupt vectors which are ini-
          tialized 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
          _c_u_r_r_p_i_d.

          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 wait-
          ing, 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, _p_m takes the downloaded image from file _a._o_u_t,
     the uploaded image from file _c_o_r_e_1_1, and produces all of the
     above output.  _P_m always prints information about the
     current process.  If the following flags are present, _p_m
     prints only the information requested.

     -p   dump the process table.

     -s   dump the semaphore table.

     -t   dump the tty tables.

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

SEE ALSO
     download(1), upload(1)




Version 6b               Printed 1/12/87                        1






PM(1)               Xinu Programmer's Manual                PM(1)



BUGS
     _P_m 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 check-
     ing their validity.


















































Version 6b               Printed 1/12/87                        2