forked from apple/darwin-xnu
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcatch_exception_raise.html
241 lines (237 loc) · 10.2 KB
/
catch_exception_raise.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
<h2>catch_exception_raise</h2>
<hr>
<p>
<strong>Server Interface</strong> - Handles the occurrence of an exception within a thread.
<h3>SYNOPSIS</h3>
<pre>
<strong>kern_return_t catch_exception_raise</strong>
<strong>(mach_port_t</strong> <var>exception_port</var>,
<strong>mach_port_t</strong> <var>thread</var>,
<strong>mach_port_t</strong> <var>task</var>,
<strong>exception_type_t</strong> <var>exception</var>,
<strong>exception_data_t</strong> <var>code</var>,
<strong>mach_msg_type_number_t</strong> <var>code_count</var><strong>);</strong>
</pre>
<p>
<strong>catch_exception_raise_state</strong>
expanded form:
<pre>
<strong>kern_return_t catch_exception_raise_state</strong>
<strong>(mach_port_t</strong> <var>exception_port</var>,
<strong>exception_type_t</strong> <var>exception</var>,
<strong>exception_data_t</strong> <var>code</var>,
<strong>mach_msg_type_number_t</strong> <var>code_count</var>,
<strong>int *</strong> <var>flavor</var>,
<strong>thread_state_t</strong> <var>in_state</var>,
<strong>mach_msg_type_number_t</strong> <var>in_state_count</var>,
<strong>thread_state_t</strong> <var>out_state</var>,
<strong>mach_msg_type_number_t *</strong> <var>out_state_count</var><strong>);</strong>
</pre>
<p>
<strong>catch_exception_raise_state_identity</strong>
expanded form:
<pre>
<strong>kern_return_t catch_exception_raise_state_identity</strong>
<strong>(mach_port_t</strong> <var>exception_port</var>,
<strong>mach_port_t</strong> <var>thread</var>,
<strong>mach_port_t</strong> <var>task</var>,
<strong>exception_type_t</strong> <var>exception</var>,
<strong>exception_data_t</strong> <var>code</var>,
<strong>mach_msg_type_number_t</strong> <var>code_count</var>,
<strong>int *</strong> <var>flavor</var>,
<strong>thread_state_t</strong> <var>in_state</var>,
<strong>mach_msg_type_number_t</strong> <var>in_state_count</var>,
<strong>thread_state_t</strong> <var>out_state</var>,
<strong>mach_msg_type_number_t *</strong> <var>out_state_count</var><strong>);</strong>
</pre>
<h3>PARAMETERS</h3>
<dl>
<dt> <var>exception_port</var>
<dd>
[in exception (receive) right] The port to which the exception
notification was sent.
<p>
<dt> <var>thread</var>
<dd>
[in thread-self send right] The thread self port for the thread taking the
exception.
<p>
<dt> <var>task</var>
<dd>
[in task-self send right] The task self port for the task containing the
thread taking the exception.
<p>
<dt> <var>exception</var>
<dd>
[in scalar] The type of the exception.
The machine independent values raised by all implementations are:
<dl>
<p>
<dt> EXC_BAD_ACCESS
<dd>
Could not access memory. subcode contains the bad memory
address.
<p>
<dt> EXC_BAD_INSTRUCTION
<dd>
Instruction failed. Illegal or undefined instruction or operand.
<p>
<dt> EXC_ARITHMETIC
<dd>
Arithmetic exception; exact nature of exception is in subcode
field.
<p>
<dt> EXC_EMULATION
<dd>
Emulation instruction. Emulation support instruction encountered.
Details in subcode field.
<p>
<dt> EXC_SOFTWARE
<dd>
Software generated exception; exact exception is in subcode
field. Codes 0 - 0xFFFF reserved to hardware; codes 0x10000
- 0x1FFFF reserved for OS emulation.
<p>
<dt> EXC_BREAKPOINT
<dd>
Trace, breakpoint, etc. Details in subcode field.
<p>
<dt> EXC_SYSCALL
<dd>
System call requested. Details in subcode field.
<p>
<dt> EXC_MACH_SYSCALL
<dd>
System call with a number in the Mach call range requested.
Details in subcode field.
</dl
<p>
<dt> <var>code</var>
<dd>
[in scalar] A machine dependent array indicating a particular instance
of exception.
<p>
<dt> <var>code_count</var>
<dd>
[in scalar] The size of the buffer (in natural-sized units).
<p>
<dt> <var>flavor</var>
<dd>
[pointer to in/out scalar] On input, the type of state included as selected
when the exception port was set. On output, the type of state being
returned.
<p>
<dt> <var>in_state</var>
<dd>
[pointer to in structure] State information of the thread at the time of
the exception.
<p>
<dt> <var>in_state_count</var>
<dd>
[in scalar] The size of the in state buffer (in natural-sized units).
<p>
<dt> <var>out_state</var>
<dd>
[out structure] The state the thread will have if continued from the
point of the exception. The maximum size of this array is
THREAD_STATE_MAX.
<p>
<dt> <var>out_state_count</var>
<dd>
[pointer to out scalar] The size of the out state buffer (in natural-sized units).
</dl>
<h3>DESCRIPTION</h3>
<p>
A <strong>catch_exception_raise</strong> function is called by
<strong>exc_server</strong> as the result of a
kernel message indicating that an exception occurred within a thread.
The <var>exception_port</var> parameter specifies the port named via
a previous call to <strong>thread_set_exception_ports</strong> or
<strong>task_set_exception_ports</strong>
as the port that responds when the thread takes an
exception.
<p>
The alternate message forms (the format being selected when the exception port
was set) allow for selected thread state to be included.
<h3>NOTES</h3>
<p>
When an exception occurs in a thread, the thread sends an exception message to
its exception port, blocking in the kernel waiting for the receipt of a reply. It is
assumed that some task is listening
(most likely with <strong>mach_msg_server</strong>) to this
port, using the <strong>exc_server</strong> function
to decode the messages and then call the
linked in <strong>catch_exception_raise</strong>.
It is the job of <strong>catch_exception_raise</strong> to handle
the exception and decide the course of action for thread.
<p>
If the thread should continue from the point of exception,
<strong>catch_exception_raise</strong> would return KERN_SUCCESS. This causes a reply
message to be sent to the kernel, which will allow the thread to continue from
the point of the exception.
If some other action should be taken by thread, the following actions should be
performed by <strong>catch_exception_raise</strong>:
<dl>
<dt> <strong>thread_suspend</strong>
<dd>
This keeps the thread from proceeding after the next step.
<p>
<dt> <strong>thread_abort</strong>
<dd>
This aborts the message receive operation currently blocking
the thread.
<p>
<dt> <strong>thread_set_state</strong>
<dd>
(if using the <strong>catch_exception_raise</strong> form). Set the
thread's state so that it continues doing something else.
<p>
<dt> <strong>thread_resume</strong>
<dd>
Let the thread start running from its new state.
</dl>
Returning a value other than KERN_SUCCESS insures that no reply message
will be sent.
sent. (Actually, the kernel uses a send once right to send the exception
message, which <strong>thread_abort</strong> destroys, so replying to the message is harmless.)
The thread can always be destroyed with <strong>thread_terminate</strong>.
<p>
A thread can have two exception ports active for it: its thread type specific exception
port and the task type specific exception port. The kernel will try sending
an exception message to both ports looking for a reply message with a
return value of KERN_SUCCESS. The kernel tries the thread specific port first,
then the task specific port. If the return value from the first exception message
the kernel sends has a return value of KERN_SUCCESS, the thread continues
(with a possibly modified state). If the return value is not KERN_SUCCESS,
the kernel tries the second port. If that return value is KERN_SUCCESS, the
thread continues; otherwise, the thread is terminated.
<p>
To get the effect of a non-success return value, the server interface should return
MIG_DESTROY_REQUEST. This causes <strong>exc_server</strong> and <strong>mach_msg_server</strong>
to destroy the kernel's request (as opposed to sending a reply with a
KERN_SUCCESS value).
<h3>RETURN VALUES</h3>
<p>
A return value of KERN_SUCCESS indicates that the thread is to continue
from the point of exception. A return value of MIG_NO_REPLY indicates that
the exception was handled directly and the thread was restarted or terminated by
the exception handler. A return value of MIG_DESTROY_REQUEST causes
the kernel to try another exception handler (or terminate the thread). Any other
value will cause
<strong>mach_msg_server</strong> to remove the task and thread port references.
<h3>RELATED INFORMATION</h3>
<p>
Functions:
<a href="exc_server.html"><strong>exc_server</strong></a>,
<a href="thread_abort.html"><strong>thread_abort</strong></a>,
<a href="task_get_exception_ports.html"><strong>task_get_exception_ports</strong></a>,
<a href="thread_get_exception_ports.html"><strong>thread_get_exception_ports</strong></a>,
<a href="thread_get_state.html"><strong>thread_get_state</strong></a>,
<a href="thread_resume.html"><strong>thread_resume</strong></a>,
<a href="task_set_exception_ports.html"><strong>task_set_exception_ports</strong></a>,
<a href="thread_set_exception_ports.html"><strong>thread_set_exception_ports</strong></a>,
<a href="task_swap_exception_ports.html"><strong>task_swap_exception_ports</strong></a>,
<a href="TS_exception_ports.html"><strong>thread_swap_exception_ports</strong></a>,
<a href="thread_set_state.html"><strong>thread_set_state</strong></a>,
<a href="thread_suspend.html"><strong>thread_suspend</strong></a>,
<a href="thread_terminate.html"><strong>thread_terminate</strong></a>.