67 lines
3.0 KiB
HTML
67 lines
3.0 KiB
HTML
|
<html lang="en">
|
||
|
|
<head>
|
||
|
|
<title>Ada Tasks and Core Files - Debugging with GDB</title>
|
||
|
|
<meta http-equiv="Content-Type" content="text/html">
|
||
|
|
<meta name="description" content="Debugging with GDB">
|
||
|
|
<meta name="generator" content="makeinfo 4.13">
|
||
|
|
<link title="Top" rel="start" href="index.html#Top">
|
||
|
|
<link rel="up" href="Ada.html#Ada" title="Ada">
|
||
|
|
<link rel="prev" href="Ada-Tasks.html#Ada-Tasks" title="Ada Tasks">
|
||
|
|
<link rel="next" href="Ravenscar-Profile.html#Ravenscar-Profile" title="Ravenscar Profile">
|
||
|
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
||
|
|
<!--
|
||
|
|
Copyright (C) 1988-2019 Free Software Foundation, Inc.
|
||
|
|
|
||
|
|
Permission is granted to copy, distribute and/or modify this document
|
||
|
|
under the terms of the GNU Free Documentation License, Version 1.3 or
|
||
|
|
any later version published by the Free Software Foundation; with the
|
||
|
|
Invariant Sections being ``Free Software'' and ``Free Software Needs
|
||
|
|
Free Documentation'', with the Front-Cover Texts being ``A GNU Manual,''
|
||
|
|
and with the Back-Cover Texts as in (a) below.
|
||
|
|
|
||
|
|
(a) The FSF's Back-Cover Text is: ``You are free to copy and modify
|
||
|
|
this GNU Manual. Buying copies from GNU Press supports the FSF in
|
||
|
|
developing GNU and promoting software freedom.''
|
||
|
|
-->
|
||
|
|
<meta http-equiv="Content-Style-Type" content="text/css">
|
||
|
|
<style type="text/css"><!--
|
||
|
|
pre.display { font-family:inherit }
|
||
|
|
pre.format { font-family:inherit }
|
||
|
|
pre.smalldisplay { font-family:inherit; font-size:smaller }
|
||
|
|
pre.smallformat { font-family:inherit; font-size:smaller }
|
||
|
|
pre.smallexample { font-size:smaller }
|
||
|
|
pre.smalllisp { font-size:smaller }
|
||
|
|
span.sc { font-variant:small-caps }
|
||
|
|
span.roman { font-family:serif; font-weight:normal; }
|
||
|
|
span.sansserif { font-family:sans-serif; font-weight:normal; }
|
||
|
|
--></style>
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<div class="node">
|
||
|
|
<a name="Ada-Tasks-and-Core-Files"></a>
|
||
|
|
<p>
|
||
|
|
Next: <a rel="next" accesskey="n" href="Ravenscar-Profile.html#Ravenscar-Profile">Ravenscar Profile</a>,
|
||
|
|
Previous: <a rel="previous" accesskey="p" href="Ada-Tasks.html#Ada-Tasks">Ada Tasks</a>,
|
||
|
|
Up: <a rel="up" accesskey="u" href="Ada.html#Ada">Ada</a>
|
||
|
|
<hr>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
<h5 class="subsubsection">15.4.10.8 Tasking Support when Debugging Core Files</h5>
|
||
|
|
|
||
|
|
<p><a name="index-Ada-tasking-and-core-file-debugging-1079"></a>
|
||
|
|
When inspecting a core file, as opposed to debugging a live program,
|
||
|
|
tasking support may be limited or even unavailable, depending on
|
||
|
|
the platform being used.
|
||
|
|
For instance, on x86-linux, the list of tasks is available, but task
|
||
|
|
switching is not supported.
|
||
|
|
|
||
|
|
<p>On certain platforms, the debugger needs to perform some
|
||
|
|
memory writes in order to provide Ada tasking support. When inspecting
|
||
|
|
a core file, this means that the core file must be opened with read-write
|
||
|
|
privileges, using the command ‘<samp><span class="samp">"set write on"</span></samp>’ (see <a href="Patching.html#Patching">Patching</a>).
|
||
|
|
Under these circumstances, you should make a backup copy of the core
|
||
|
|
file before inspecting it with <span class="sc">gdb</span>.
|
||
|
|
|
||
|
|
</body></html>
|
||
|
|
|