2010-05-14 Hui Zhu <teawater@gmail.com>
[external/binutils.git] / gdb / linux-fork.c
1 /* GNU/Linux native-dependent code for debugging multiple forks.
2
3    Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010
4    Free Software Foundation, Inc.
5
6    This file is part of GDB.
7
8    This program is free software; you can redistribute it and/or modify
9    it under the terms of the GNU General Public License as published by
10    the Free Software Foundation; either version 3 of the License, or
11    (at your option) any later version.
12
13    This program is distributed in the hope that it will be useful,
14    but WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16    GNU General Public License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
20
21 #include "defs.h"
22 #include "arch-utils.h"
23 #include "inferior.h"
24 #include "regcache.h"
25 #include "gdbcmd.h"
26 #include "infcall.h"
27 #include "objfiles.h"
28 #include "gdb_assert.h"
29 #include "gdb_string.h"
30 #include "linux-fork.h"
31 #include "linux-nat.h"
32 #include "gdbthread.h"
33
34 #include <sys/ptrace.h>
35 #include "gdb_wait.h"
36 #include <sys/param.h>
37 #include "gdb_dirent.h"
38 #include <ctype.h>
39
40 struct fork_info *fork_list;
41 static int highest_fork_num;
42
43 /* Prevent warning from -Wmissing-prototypes.  */
44 extern void _initialize_linux_fork (void);
45
46 /* Fork list data structure:  */
47 struct fork_info
48 {
49   struct fork_info *next;
50   ptid_t ptid;
51   ptid_t parent_ptid;
52   int num;                      /* Convenient handle (GDB fork id) */
53   struct regcache *savedregs;   /* Convenient for info fork, saves
54                                    having to actually switch contexts.  */
55   int clobber_regs;             /* True if we should restore saved regs.  */
56   off_t *filepos;               /* Set of open file descriptors' offsets.  */
57   int maxfd;
58 };
59
60 /* Fork list methods:  */
61
62 int
63 forks_exist_p (void)
64 {
65   return (fork_list != NULL);
66 }
67
68 /* Add a fork to the internal fork list.  */
69
70 struct fork_info *
71 add_fork (pid_t pid)
72 {
73   struct fork_info *fp;
74
75   if (fork_list == NULL && pid != PIDGET (inferior_ptid))
76     {
77       /* Special case -- if this is the first fork in the list
78          (the list is hitherto empty), and if this new fork is
79          NOT the current inferior_ptid, then add inferior_ptid
80          first, as a special zeroeth fork id.  */
81       highest_fork_num = -1;
82       add_fork (PIDGET (inferior_ptid));        /* safe recursion */
83     }
84
85   fp = XZALLOC (struct fork_info);
86   fp->ptid = ptid_build (pid, pid, 0);
87   fp->num = ++highest_fork_num;
88   fp->next = fork_list;
89   fork_list = fp;
90   return fp;
91 }
92
93 static void
94 free_fork (struct fork_info *fp)
95 {
96   /* Notes on step-resume breakpoints: since this is a concern for
97      threads, let's convince ourselves that it's not a concern for
98      forks.  There are two ways for a fork_info to be created.  First,
99      by the checkpoint command, in which case we're at a gdb prompt
100      and there can't be any step-resume breakpoint.  Second, by a fork
101      in the user program, in which case we *may* have stepped into the
102      fork call, but regardless of whether we follow the parent or the
103      child, we will return to the same place and the step-resume
104      breakpoint, if any, will take care of itself as usual.  And
105      unlike threads, we do not save a private copy of the step-resume
106      breakpoint -- so we're OK.  */
107
108   if (fp)
109     {
110       if (fp->savedregs)
111         regcache_xfree (fp->savedregs);
112       if (fp->filepos)
113         xfree (fp->filepos);
114       xfree (fp);
115     }
116 }
117
118 static void
119 delete_fork (ptid_t ptid)
120 {
121   struct fork_info *fp, *fpprev;
122
123   fpprev = NULL;
124
125   for (fp = fork_list; fp; fpprev = fp, fp = fp->next)
126     if (ptid_equal (fp->ptid, ptid))
127       break;
128
129   if (!fp)
130     return;
131
132   if (fpprev)
133     fpprev->next = fp->next;
134   else
135     fork_list = fp->next;
136
137   free_fork (fp);
138
139   /* Special case: if there is now only one process in the list,
140      and if it is (hopefully!) the current inferior_ptid, then
141      remove it, leaving the list empty -- we're now down to the
142      default case of debugging a single process.  */
143   if (fork_list != NULL && fork_list->next == NULL &&
144       ptid_equal (fork_list->ptid, inferior_ptid))
145     {
146       /* Last fork -- delete from list and handle as solo process
147          (should be a safe recursion).  */
148       delete_fork (inferior_ptid);
149     }
150 }
151
152 /* Find a fork_info by matching PTID.  */
153 static struct fork_info *
154 find_fork_ptid (ptid_t ptid)
155 {
156   struct fork_info *fp;
157
158   for (fp = fork_list; fp; fp = fp->next)
159     if (ptid_equal (fp->ptid, ptid))
160       return fp;
161
162   return NULL;
163 }
164
165 /* Find a fork_info by matching ID.  */
166 static struct fork_info *
167 find_fork_id (int num)
168 {
169   struct fork_info *fp;
170
171   for (fp = fork_list; fp; fp = fp->next)
172     if (fp->num == num)
173       return fp;
174
175   return NULL;
176 }
177
178 /* Find a fork_info by matching pid.  */
179 extern struct fork_info *
180 find_fork_pid (pid_t pid)
181 {
182   struct fork_info *fp;
183
184   for (fp = fork_list; fp; fp = fp->next)
185     if (pid == ptid_get_pid (fp->ptid))
186       return fp;
187
188   return NULL;
189 }
190
191 static ptid_t
192 fork_id_to_ptid (int num)
193 {
194   struct fork_info *fork = find_fork_id (num);
195   if (fork)
196     return fork->ptid;
197   else
198     return pid_to_ptid (-1);
199 }
200
201 static void
202 init_fork_list (void)
203 {
204   struct fork_info *fp, *fpnext;
205
206   if (!fork_list)
207     return;
208
209   for (fp = fork_list; fp; fp = fpnext)
210     {
211       fpnext = fp->next;
212       free_fork (fp);
213     }
214
215   fork_list = NULL;
216 }
217
218 /* Fork list <-> gdb interface.  */
219
220 /* Utility function for fork_load/fork_save.
221    Calls lseek in the (current) inferior process.  */
222
223 static off_t
224 call_lseek (int fd, off_t offset, int whence)
225 {
226   char exp[80];
227
228   snprintf (&exp[0], sizeof (exp), "lseek (%d, %ld, %d)",
229             fd, (long) offset, whence);
230   return (off_t) parse_and_eval_long (&exp[0]);
231 }
232
233 /* Load infrun state for the fork PTID.  */
234
235 static void
236 fork_load_infrun_state (struct fork_info *fp)
237 {
238   extern void nullify_last_target_wait_ptid ();
239   int i;
240
241   linux_nat_switch_fork (fp->ptid);
242
243   if (fp->savedregs && fp->clobber_regs)
244     regcache_cpy (get_current_regcache (), fp->savedregs);
245
246   registers_changed ();
247   reinit_frame_cache ();
248
249   stop_pc = regcache_read_pc (get_current_regcache ());
250   nullify_last_target_wait_ptid ();
251
252   /* Now restore the file positions of open file descriptors.  */
253   if (fp->filepos)
254     {
255       for (i = 0; i <= fp->maxfd; i++)
256         if (fp->filepos[i] != (off_t) -1)
257           call_lseek (i, fp->filepos[i], SEEK_SET);
258       /* NOTE: I can get away with using SEEK_SET and SEEK_CUR because
259          this is native-only.  If it ever has to be cross, we'll have
260          to rethink this.  */
261     }
262 }
263
264 /* Save infrun state for the fork PTID.
265    Exported for use by linux child_follow_fork.  */
266
267 static void
268 fork_save_infrun_state (struct fork_info *fp, int clobber_regs)
269 {
270   char path[MAXPATHLEN];
271   struct dirent *de;
272   DIR *d;
273
274   if (fp->savedregs)
275     regcache_xfree (fp->savedregs);
276
277   fp->savedregs = regcache_dup (get_current_regcache ());
278   fp->clobber_regs = clobber_regs;
279
280   if (clobber_regs)
281     {
282       /* Now save the 'state' (file position) of all open file descriptors.
283          Unfortunately fork does not take care of that for us...  */
284       snprintf (path, MAXPATHLEN, "/proc/%ld/fd", (long) PIDGET (fp->ptid));
285       if ((d = opendir (path)) != NULL)
286         {
287           long tmp;
288
289           fp->maxfd = 0;
290           while ((de = readdir (d)) != NULL)
291             {
292               /* Count open file descriptors (actually find highest
293                  numbered).  */
294               tmp = strtol (&de->d_name[0], NULL, 10);
295               if (fp->maxfd < tmp)
296                 fp->maxfd = tmp;
297             }
298           /* Allocate array of file positions.  */
299           fp->filepos = xrealloc (fp->filepos,
300                                   (fp->maxfd + 1) * sizeof (*fp->filepos));
301
302           /* Initialize to -1 (invalid).  */
303           for (tmp = 0; tmp <= fp->maxfd; tmp++)
304             fp->filepos[tmp] = -1;
305
306           /* Now find actual file positions.  */
307           rewinddir (d);
308           while ((de = readdir (d)) != NULL)
309             if (isdigit (de->d_name[0]))
310               {
311                 tmp = strtol (&de->d_name[0], NULL, 10);
312                 fp->filepos[tmp] = call_lseek (tmp, 0, SEEK_CUR);
313               }
314           closedir (d);
315         }
316     }
317 }
318
319 /* Kill 'em all, let God sort 'em out...  */
320
321 void
322 linux_fork_killall (void)
323 {
324   /* Walk list and kill every pid.  No need to treat the
325      current inferior_ptid as special (we do not return a
326      status for it) -- however any process may be a child
327      or a parent, so may get a SIGCHLD from a previously
328      killed child.  Wait them all out.  */
329   struct fork_info *fp;
330   pid_t pid, ret;
331   int status;
332
333   for (fp = fork_list; fp; fp = fp->next)
334     {
335       pid = PIDGET (fp->ptid);
336       do {
337         /* Use SIGKILL instead of PTRACE_KILL because the former works even
338            if the thread is running, while the later doesn't.  */
339         kill (pid, SIGKILL);
340         ret = waitpid (pid, &status, 0);
341         /* We might get a SIGCHLD instead of an exit status.  This is
342          aggravated by the first kill above - a child has just
343          died.  MVS comment cut-and-pasted from linux-nat.  */
344       } while (ret == pid && WIFSTOPPED (status));
345     }
346   init_fork_list ();    /* Clear list, prepare to start fresh.  */
347 }
348
349 /* The current inferior_ptid has exited, but there are other viable
350    forks to debug.  Delete the exiting one and context-switch to the
351    first available.  */
352
353 void
354 linux_fork_mourn_inferior (void)
355 {
356   /* Wait just one more time to collect the inferior's exit status.
357      Do not check whether this succeeds though, since we may be
358      dealing with a process that we attached to.  Such a process will
359      only report its exit status to its original parent.  */
360   int status;
361
362   waitpid (ptid_get_pid (inferior_ptid), &status, 0);
363
364   /* OK, presumably inferior_ptid is the one who has exited.
365      We need to delete that one from the fork_list, and switch
366      to the next available fork.  */
367   delete_fork (inferior_ptid);
368
369   /* There should still be a fork - if there's only one left,
370      delete_fork won't remove it, because we haven't updated
371      inferior_ptid yet.  */
372   gdb_assert (fork_list);
373
374   fork_load_infrun_state (fork_list);
375   printf_filtered (_("[Switching to %s]\n"),
376                    target_pid_to_str (inferior_ptid));
377
378   /* If there's only one fork, switch back to non-fork mode.  */
379   if (fork_list->next == NULL)
380     delete_fork (inferior_ptid);
381 }
382
383 /* The current inferior_ptid is being detached, but there are other
384    viable forks to debug.  Detach and delete it and context-switch to
385    the first available.  */
386
387 void
388 linux_fork_detach (char *args, int from_tty)
389 {
390   /* OK, inferior_ptid is the one we are detaching from.  We need to
391      delete it from the fork_list, and switch to the next available
392      fork.  */
393
394   if (ptrace (PTRACE_DETACH, PIDGET (inferior_ptid), 0, 0))
395     error (_("Unable to detach %s"), target_pid_to_str (inferior_ptid));
396
397   delete_fork (inferior_ptid);
398
399   /* There should still be a fork - if there's only one left,
400      delete_fork won't remove it, because we haven't updated
401      inferior_ptid yet.  */
402   gdb_assert (fork_list);
403
404   fork_load_infrun_state (fork_list);
405
406   if (from_tty)
407     printf_filtered (_("[Switching to %s]\n"),
408                      target_pid_to_str (inferior_ptid));
409
410   /* If there's only one fork, switch back to non-fork mode.  */
411   if (fork_list->next == NULL)
412     delete_fork (inferior_ptid);
413 }
414
415 static void
416 inferior_call_waitpid_cleanup (void *fp)
417 {
418   struct fork_info *oldfp = fp;
419
420   /* Switch back to inferior_ptid. */
421   remove_breakpoints ();
422   fork_load_infrun_state (oldfp);
423   insert_breakpoints ();
424 }
425
426 static int
427 inferior_call_waitpid (ptid_t pptid, int pid)
428 {
429   struct objfile *waitpid_objf;
430   struct value *waitpid_fn = NULL;
431   struct value *argv[4];
432   struct gdbarch *gdbarch = get_current_arch ();
433   struct fork_info *oldfp = NULL, *newfp = NULL;
434   struct cleanup *old_cleanup = NULL;
435   int ret = -1;
436
437   if (!ptid_equal (pptid, inferior_ptid))
438     {
439       /* Switch to pptid.  */
440       oldfp = find_fork_ptid (inferior_ptid);
441       gdb_assert (oldfp != NULL);
442       newfp = find_fork_ptid (pptid);
443       gdb_assert (oldfp != NULL);
444       fork_save_infrun_state (oldfp, 1);
445       remove_breakpoints ();
446       fork_load_infrun_state (newfp);
447       insert_breakpoints ();
448
449       old_cleanup = make_cleanup (inferior_call_waitpid_cleanup, oldfp);
450     }
451
452   /* Get the waitpid_fn.  */
453   if (lookup_minimal_symbol ("waitpid", NULL, NULL) != NULL)
454     waitpid_fn = find_function_in_inferior ("waitpid", &waitpid_objf);
455   if (!waitpid_fn && lookup_minimal_symbol ("_waitpid", NULL, NULL) != NULL)
456     waitpid_fn = find_function_in_inferior ("_waitpid", &waitpid_objf);
457   if (!waitpid_fn)
458     goto out;
459
460   /* Get the argv.  */
461   argv[0] = value_from_longest (builtin_type (gdbarch)->builtin_int, pid);
462   argv[1] = value_from_pointer (builtin_type (gdbarch)->builtin_data_ptr, 0);
463   argv[2] = value_from_longest (builtin_type (gdbarch)->builtin_int, 0);
464   argv[3] = 0;
465
466   call_function_by_hand (waitpid_fn, 3, argv);
467
468   ret = 0;
469
470 out:
471   if (old_cleanup)
472     do_cleanups (old_cleanup);
473   return ret;
474 }
475
476 /* Fork list <-> user interface.  */
477
478 static void
479 delete_checkpoint_command (char *args, int from_tty)
480 {
481   ptid_t ptid;
482   struct fork_info *fi;
483
484   if (!args || !*args)
485     error (_("Requires argument (checkpoint id to delete)"));
486
487   ptid = fork_id_to_ptid (parse_and_eval_long (args));
488   if (ptid_equal (ptid, minus_one_ptid))
489     error (_("No such checkpoint id, %s"), args);
490
491   if (ptid_equal (ptid, inferior_ptid))
492     error (_("\
493 Please switch to another checkpoint before deleting the current one"));
494
495   if (ptrace (PTRACE_KILL, PIDGET (ptid), 0, 0))
496     error (_("Unable to kill pid %s"), target_pid_to_str (ptid));
497
498   fi = find_fork_ptid (ptid);
499   gdb_assert (fi);
500
501   if (from_tty)
502     printf_filtered (_("Killed %s\n"), target_pid_to_str (ptid));
503
504   delete_fork (ptid);
505
506   /* If fi->parent_ptid is not a part of lwp but it's a part of checkpoint
507      list, waitpid the ptid.
508      If fi->parent_ptid is a part of lwp and it is stoped, waitpid the
509      ptid.  */
510   if ((!find_thread_ptid (fi->parent_ptid) && find_fork_ptid (fi->parent_ptid))
511       || (find_thread_ptid (fi->parent_ptid) && is_stopped (fi->parent_ptid)))
512     {
513       if (inferior_call_waitpid (fi->parent_ptid, PIDGET (ptid)))
514         warning (_("Unable to wait pid %s"), target_pid_to_str (ptid));
515     }
516 }
517
518 static void
519 detach_checkpoint_command (char *args, int from_tty)
520 {
521   ptid_t ptid;
522
523   if (!args || !*args)
524     error (_("Requires argument (checkpoint id to detach)"));
525
526   ptid = fork_id_to_ptid (parse_and_eval_long (args));
527   if (ptid_equal (ptid, minus_one_ptid))
528     error (_("No such checkpoint id, %s"), args);
529
530   if (ptid_equal (ptid, inferior_ptid))
531     error (_("\
532 Please switch to another checkpoint before detaching the current one"));
533
534   if (ptrace (PTRACE_DETACH, PIDGET (ptid), 0, 0))
535     error (_("Unable to detach %s"), target_pid_to_str (ptid));
536
537   if (from_tty)
538     printf_filtered (_("Detached %s\n"), target_pid_to_str (ptid));
539
540   delete_fork (ptid);
541 }
542
543 /* Print information about currently known checkpoints.  */
544
545 static void
546 info_checkpoints_command (char *arg, int from_tty)
547 {
548   struct gdbarch *gdbarch = get_current_arch ();
549   struct symtab_and_line sal;
550   struct fork_info *fp;
551   ULONGEST pc;
552   int requested = -1;
553   struct fork_info *printed = NULL;
554
555   if (arg && *arg)
556     requested = (int) parse_and_eval_long (arg);
557
558   for (fp = fork_list; fp; fp = fp->next)
559     {
560       if (requested > 0 && fp->num != requested)
561         continue;
562
563       printed = fp;
564       if (ptid_equal (fp->ptid, inferior_ptid))
565         {
566           printf_filtered ("* ");
567           pc = regcache_read_pc (get_current_regcache ());
568         }
569       else
570         {
571           printf_filtered ("  ");
572           pc = regcache_read_pc (fp->savedregs);
573         }
574       printf_filtered ("%d %s", fp->num, target_pid_to_str (fp->ptid));
575       if (fp->num == 0)
576         printf_filtered (_(" (main process)"));
577       printf_filtered (_(" at "));
578       fputs_filtered (paddress (gdbarch, pc), gdb_stdout);
579
580       sal = find_pc_line (pc, 0);
581       if (sal.symtab)
582         {
583           char *tmp = strrchr (sal.symtab->filename, '/');
584
585           if (tmp)
586             printf_filtered (_(", file %s"), tmp + 1);
587           else
588             printf_filtered (_(", file %s"), sal.symtab->filename);
589         }
590       if (sal.line)
591         printf_filtered (_(", line %d"), sal.line);
592       if (!sal.symtab && !sal.line)
593         {
594           struct minimal_symbol *msym;
595
596           msym = lookup_minimal_symbol_by_pc (pc);
597           if (msym)
598             printf_filtered (", <%s>", SYMBOL_LINKAGE_NAME (msym));
599         }
600
601       putchar_filtered ('\n');
602     }
603   if (printed == NULL)
604     {
605       if (requested > 0)
606         printf_filtered (_("No checkpoint number %d.\n"), requested);
607       else
608         printf_filtered (_("No checkpoints.\n"));
609     }
610 }
611
612 /* The PID of the process we're checkpointing.  */
613 static int checkpointing_pid = 0;
614
615 int
616 linux_fork_checkpointing_p (int pid)
617 {
618   return (checkpointing_pid == pid);
619 }
620
621 static void
622 checkpoint_command (char *args, int from_tty)
623 {
624   struct objfile *fork_objf;
625   struct gdbarch *gdbarch;
626   struct target_waitstatus last_target_waitstatus;
627   ptid_t last_target_ptid;
628   struct value *fork_fn = NULL, *ret;
629   struct fork_info *fp;
630   pid_t retpid;
631   struct cleanup *old_chain;
632
633   /* Make the inferior fork, record its (and gdb's) state.  */
634
635   if (lookup_minimal_symbol ("fork", NULL, NULL) != NULL)
636     fork_fn = find_function_in_inferior ("fork", &fork_objf);
637   if (!fork_fn)
638     if (lookup_minimal_symbol ("_fork", NULL, NULL) != NULL)
639       fork_fn = find_function_in_inferior ("fork", &fork_objf);
640   if (!fork_fn)
641     error (_("checkpoint: can't find fork function in inferior."));
642
643   gdbarch = get_objfile_arch (fork_objf);
644   ret = value_from_longest (builtin_type (gdbarch)->builtin_int, 0);
645
646   /* Tell linux-nat.c that we're checkpointing this inferior.  */
647   old_chain = make_cleanup_restore_integer (&checkpointing_pid);
648   checkpointing_pid = PIDGET (inferior_ptid);
649
650   ret = call_function_by_hand (fork_fn, 0, &ret);
651   do_cleanups (old_chain);
652   if (!ret)     /* Probably can't happen.  */
653     error (_("checkpoint: call_function_by_hand returned null."));
654
655   retpid = value_as_long (ret);
656   get_last_target_status (&last_target_ptid, &last_target_waitstatus);
657   if (from_tty)
658     {
659       int parent_pid;
660
661       printf_filtered (_("checkpoint: fork returned pid %ld.\n"),
662                        (long) retpid);
663       if (info_verbose)
664         {
665           parent_pid = ptid_get_lwp (last_target_ptid);
666           if (parent_pid == 0)
667             parent_pid = ptid_get_pid (last_target_ptid);
668           printf_filtered (_("   gdb says parent = %ld.\n"),
669                            (long) parent_pid);
670         }
671     }
672
673   fp = find_fork_pid (retpid);
674   if (!fp)
675     error (_("Failed to find new fork"));
676   fork_save_infrun_state (fp, 1);
677   fp->parent_ptid = last_target_ptid;
678 }
679
680 static void
681 linux_fork_context (struct fork_info *newfp, int from_tty)
682 {
683   /* Now we attempt to switch processes.  */
684   struct fork_info *oldfp;
685
686   gdb_assert (newfp != NULL);
687
688   oldfp = find_fork_ptid (inferior_ptid);
689   gdb_assert (oldfp != NULL);
690
691   fork_save_infrun_state (oldfp, 1);
692   remove_breakpoints ();
693   fork_load_infrun_state (newfp);
694   insert_breakpoints ();
695
696   printf_filtered (_("Switching to %s\n"),
697                    target_pid_to_str (inferior_ptid));
698
699   print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC);
700 }
701
702 /* Switch inferior process (checkpoint) context, by checkpoint id.  */
703 static void
704 restart_command (char *args, int from_tty)
705 {
706   struct fork_info *fp;
707
708   if (!args || !*args)
709     error (_("Requires argument (checkpoint id to restart)"));
710
711   if ((fp = find_fork_id (parse_and_eval_long (args))) == NULL)
712     error (_("Not found: checkpoint id %s"), args);
713
714   linux_fork_context (fp, from_tty);
715 }
716
717 void
718 _initialize_linux_fork (void)
719 {
720   init_fork_list ();
721
722   /* Checkpoint command: create a fork of the inferior process
723      and set it aside for later debugging.  */
724
725   add_com ("checkpoint", class_obscure, checkpoint_command, _("\
726 Fork a duplicate process (experimental)."));
727
728   /* Restart command: restore the context of a specified checkpoint
729      process.  */
730
731   add_com ("restart", class_obscure, restart_command, _("\
732 restart <n>: restore program context from a checkpoint.\n\
733 Argument 'n' is checkpoint ID, as displayed by 'info checkpoints'."));
734
735   /* Delete checkpoint command: kill the process and remove it from
736      the fork list.  */
737
738   add_cmd ("checkpoint", class_obscure, delete_checkpoint_command, _("\
739 Delete a checkpoint (experimental)."),
740            &deletelist);
741
742   /* Detach checkpoint command: release the process to run independently,
743      and remove it from the fork list.  */
744
745   add_cmd ("checkpoint", class_obscure, detach_checkpoint_command, _("\
746 Detach from a checkpoint (experimental)."),
747            &detachlist);
748
749   /* Info checkpoints command: list all forks/checkpoints
750      currently under gdb's control.  */
751
752   add_info ("checkpoints", info_checkpoints_command,
753             _("IDs of currently known checkpoints."));
754 }