2 * This software is part of the SBCL system. See the README file for
5 * This software is derived from the CMU CL system, which was
6 * written at Carnegie Mellon University and released into the
7 * public domain. The software is in the public domain and is
8 * provided with absolutely no warranty. See the COPYING and CREDITS
9 * files for more information.
13 #include <sys/types.h>
17 #include <sys/resource.h>
24 /* Almost all of this file can be skipped if we're not supporting LDB. */
25 #if defined(LISP_FEATURE_SB_LDB)
35 #include "interrupt.h"
36 #include "genesis/static-symbols.h"
37 #include "primitive-objects.h"
41 /* When we need to do command input, we use this stream, which is not
42 * in general stdin, so that things will "work" (as well as being
43 * thrown into ldb can be considered "working":-) even in a process
44 * where standard input has been redirected to a file or pipe.
46 * (We could set up output to go to a special ldb_out stream for the
47 * same reason, but there's been no pressure for that so far.)
49 * The enter-the-ldb-monitor function is responsible for setting up
51 static FILE *ldb_in
= 0;
52 static int ldb_in_fd
= -1;
54 typedef void cmd(char **ptr
);
56 static cmd dump_cmd
, print_cmd
, quit_cmd
, help_cmd
;
57 static cmd flush_cmd
, search_cmd
, regs_cmd
, exit_cmd
;
58 static cmd print_context_cmd
;
59 static cmd backtrace_cmd
, purify_cmd
, catchers_cmd
;
60 static cmd grab_sigs_cmd
;
65 void (*fn
)(char **ptr
);
66 } supported_cmds
[] = {
67 {"help", "Display this help information.", help_cmd
},
68 {"?", "(an alias for help)", help_cmd
},
69 {"backtrace", "Backtrace up to N frames.", backtrace_cmd
},
70 {"catchers", "Print a list of all the active catchers.", catchers_cmd
},
71 {"context", "Print interrupt context number I.", print_context_cmd
},
72 {"dump", "Dump memory starting at ADDRESS for COUNT words.", dump_cmd
},
73 {"d", "(an alias for dump)", dump_cmd
},
74 {"exit", "Exit this instance of the monitor.", exit_cmd
},
75 {"flush", "Flush all temp variables.", flush_cmd
},
76 /* (Classic CMU CL had a "gc" command here, which seems like a
77 * reasonable idea, but the code was stale (incompatible with
78 * gencgc) so I just flushed it. -- WHN 20000814 */
79 {"grab-signals", "Set the signal handlers to call LDB.", grab_sigs_cmd
},
80 {"kill", "Kill ourself with signal number N (useful if running under gdb)",
82 {"purify", "Purify. (Caveat purifier!)", purify_cmd
},
83 {"print", "Print object at ADDRESS.", print_cmd
},
84 {"p", "(an alias for print)", print_cmd
},
85 {"quit", "Quit.", quit_cmd
},
86 {"regs", "Display current Lisp registers.", regs_cmd
},
87 {"search", "Search for TYPE starting at ADDRESS for a max of COUNT words.", search_cmd
},
88 {"s", "(an alias for search)", search_cmd
},
92 static jmp_buf curbuf
;
95 visible(unsigned char c
)
97 if (c
< ' ' || c
> '~')
106 static char *lastaddr
= 0;
107 static int lastcount
= 20;
109 char *addr
= lastaddr
;
110 int count
= lastcount
, displacement
;
113 addr
= parse_addr(ptr
);
116 count
= parse_number(ptr
);
120 printf("COUNT must be non-zero.\n");
133 while (count
-- > 0) {
135 printf("0x%08lX: ", (unsigned long) addr
);
137 printf("0x%08X: ", (u32
) addr
);
139 if (is_valid_lisp_addr((os_vm_address_t
)addr
)) {
141 unsigned long *lptr
= (unsigned long *)addr
;
143 u32
*lptr
= (u32
*)addr
;
145 unsigned short *sptr
= (unsigned short *)addr
;
146 unsigned char *cptr
= (unsigned char *)addr
;
148 printf("0x%08lx 0x%04x 0x%04x 0x%02x 0x%02x 0x%02x 0x%02x %c%c%c%c\n", lptr
[0], sptr
[0], sptr
[1], cptr
[0], cptr
[1], cptr
[2], cptr
[3], visible(cptr
[0]), visible(cptr
[1]), visible(cptr
[2]), visible(cptr
[3]));
151 printf("invalid Lisp-level address\n");
153 addr
+= displacement
;
160 print_cmd(char **ptr
)
162 lispobj obj
= parse_lispobj(ptr
);
170 kill(getpid(), parse_number(ptr
));
176 printf("CSP\t=\t0x%08lX\n", (unsigned long)current_control_stack_pointer
);
177 printf("FP\t=\t0x%08lX\n", (unsigned long)current_control_frame_pointer
);
178 #if !defined(__i386__)
179 printf("BSP\t=\t0x%08X\n", (unsigned long)current_binding_stack_pointer
);
182 printf("BSP\t=\t0x%08lx\n",
183 (unsigned long)SymbolValue(BINDING_STACK_POINTER
));
186 printf("DYNAMIC\t=\t0x%08lx\n", (unsigned long)DYNAMIC_SPACE_START
);
187 #if defined(__i386__)
188 printf("ALLOC\t=\t0x%08lx\n",
189 (unsigned long)SymbolValue(ALLOCATION_POINTER
));
191 printf("ALLOC\t=\t0x%08X\n",
192 (unsigned long)dynamic_space_free_pointer
);
193 printf("TRIGGER\t=\t0x%08lx\n", (unsigned long)current_auto_gc_trigger
);
195 printf("STATIC\t=\t0x%08lx\n",
196 (unsigned long)SymbolValue(STATIC_SPACE_FREE_POINTER
));
197 printf("RDONLY\t=\t0x%08lx\n",
198 (unsigned long)SymbolValue(READ_ONLY_SPACE_FREE_POINTER
));
201 printf("FLAGS\t=\t0x%08x\n", current_flags_register
);
206 search_cmd(char **ptr
)
208 static int lastval
= 0, lastcount
= 0;
209 static lispobj
*start
= 0, *end
= 0;
214 val
= parse_number(ptr
);
215 if (val
< 0 || val
> 0xff) {
216 printf("can only search for single bytes\n");
220 addr
= (lispobj
*)native_pointer((long)parse_addr(ptr
));
222 count
= parse_number(ptr
);
225 /* Specified value and address, but no count. Only one. */
230 /* Specified a value, but no address, so search same range. */
236 /* Specified nothing, search again for val. */
246 printf("searching for 0x%x at 0x%08lX\n", val
, (unsigned long)end
);
248 while (search_for_type(val
, &end
, &count
)) {
249 printf("found 0x%x at 0x%08lX:\n", val
, (unsigned long)end
);
253 if (widetag_of(obj
) == SIMPLE_FUN_HEADER_WIDETAG
) {
254 print((long)addr
| FUN_POINTER_LOWTAG
);
255 } else if (lowtag_of(obj
) == OTHER_IMMEDIATE_0_LOWTAG
||
256 lowtag_of(obj
) == OTHER_IMMEDIATE_1_LOWTAG
) {
257 print((lispobj
)addr
| OTHER_POINTER_LOWTAG
);
259 print((lispobj
)addr
);
266 /* (There used to be call_cmd() here, to call known-at-cold-init-time
267 * Lisp functions from ldb, but it bitrotted and was deleted in
268 * sbcl-0.7.5.1. See older CVS versions if you want to resuscitate
272 flush_cmd(char **ptr
)
282 printf("Really quit? [y] ");
284 fgets(buf
, sizeof(buf
), ldb_in
);
285 if (buf
[0] == 'y' || buf
[0] == 'Y' || buf
[0] == '\n')
294 for (cmd
= supported_cmds
; cmd
->cmd
!= NULL
; cmd
++)
295 if (cmd
->help
!= NULL
)
296 printf("%s\t%s\n", cmd
->cmd
, cmd
->help
);
308 purify_cmd(char **ptr
)
314 print_context(os_context_t
*context
)
318 for (i
= 0; i
< NREGS
; i
++) {
319 printf("%s:\t", lisp_register_names
[i
]);
321 brief_print((lispobj
)(*os_context_register_addr(context
,
324 brief_print((lispobj
)(*os_context_register_addr(context
,i
)));
327 printf("PC:\t\t 0x%08lx\n",
328 (unsigned long)(*os_context_pc_addr(context
)));
332 print_context_cmd(char **ptr
)
336 free
= SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX
)>>2;
341 index
= parse_number(ptr
);
343 if ((index
>= 0) && (index
< free
)) {
344 printf("There are %d interrupt contexts.\n", free
);
345 printf("printing context %d\n", index
);
346 print_context(lisp_interrupt_contexts
[index
]);
348 printf("There aren't that many/few contexts.\n");
349 printf("There are %d interrupt contexts.\n", free
);
353 printf("There are no interrupt contexts!\n");
355 printf("There are %d interrupt contexts.\n", free
);
356 printf("printing context %d\n", free
- 1);
357 print_context(lisp_interrupt_contexts
[free
- 1]);
363 backtrace_cmd(char **ptr
)
365 void backtrace(int frames
);
369 n
= parse_number(ptr
);
373 printf("Backtrace:\n");
378 catchers_cmd(char **ptr
)
380 struct catch_block
*catch;
382 catch = (struct catch_block
*)SymbolValue(CURRENT_CATCH_BLOCK
);
385 printf("There are no active catchers!\n");
387 while (catch != NULL
) {
389 printf("0x%08lX:\n\tuwp: 0x%08lX\n\tfp: 0x%08lX\n\tcode: 0x%08lx\n\tentry: 0x%08lx\n\ttag: ",
390 (unsigned long)catch, (unsigned long)(catch->current_uwp
),
391 (unsigned long)(catch->current_cont
),
395 printf("0x%08lX:\n\tuwp: 0x%08lX\n\tfp: 0x%08lX\n\tcode: 0x%08lx\n\tentry: 0x%08lx\n\ttag: ",
396 (unsigned long)catch, (unsigned long)(catch->current_uwp
),
397 (unsigned long)(catch->current_cont
),
398 (unsigned long)component_ptr_from_pc((void*)catch->entry_pc
) +
399 OTHER_POINTER_LOWTAG
,
400 (unsigned long)catch->entry_pc
);
402 brief_print((lispobj
)catch->tag
);
403 catch = catch->previous_catch
;
409 grab_sigs_cmd(char **ptr
)
411 extern void sigint_init(void);
413 printf("Grabbing signals.\n");
420 struct cmd
*cmd
, *found
;
422 char *line
, *ptr
, *token
;
426 ldb_in
= fopen("/dev/tty","r+");
427 ldb_in_fd
= fileno(ldb_in
);
433 line
= fgets(buf
, sizeof(buf
), ldb_in
);
435 if (isatty(ldb_in_fd
)) {
440 fprintf(stderr
, "\nEOF on something other than a tty.\n");
445 if ((token
= parse_token(&ptr
)) == NULL
)
449 for (cmd
= supported_cmds
; cmd
->cmd
!= NULL
; cmd
++) {
450 if (strcmp(token
, cmd
->cmd
) == 0) {
455 else if (strncmp(token
, cmd
->cmd
, strlen(token
)) == 0) {
463 printf("``%s'' is ambiguous.\n", token
);
464 else if (found
== NULL
)
465 printf("unknown command: ``%s''\n", token
);
478 bcopy(curbuf
, oldbuf
, sizeof(oldbuf
));
480 printf("LDB monitor\n");
488 bcopy(oldbuf
, curbuf
, sizeof(curbuf
));
497 #endif /* defined(LISP_FEATURE_SB_LDB) */
499 /* what we do when things go badly wrong at a low level */
501 monitor_or_something()
503 #if defined(LISP_FEATURE_SB_LDB)
506 fprintf(stderr
, "There's no LDB in this build; exiting.\n");