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
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
|
/*
* Mach Operating System
* Copyright (c) 1991,1990,1989 Carnegie Mellon University.
* Copyright (c) 1993,1994 The University of Utah and
* the Computer Systems Laboratory (CSL).
* All rights reserved.
*
* Permission to use, copy, modify and distribute this software and its
* documentation is hereby granted, provided that both the copyright
* notice and this permission notice appear in all copies of the
* software, derivative works or modified versions, and any portions
* thereof, and that both notices appear in supporting documentation.
*
* CARNEGIE MELLON, THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF
* THIS SOFTWARE IN ITS "AS IS" CONDITION, AND DISCLAIM ANY LIABILITY
* OF ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF
* THIS SOFTWARE.
*
* Carnegie Mellon requests users of this software to return to
*
* Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
* School of Computer Science
* Carnegie Mellon University
* Pittsburgh PA 15213-3890
*
* any improvements or extensions that they make and grant Carnegie Mellon
* the rights to redistribute these changes.
*/
/*
*/
/*
* File: ipc/ipc_port.h
* Author: Rich Draves
* Date: 1989
*
* Definitions for ports.
*/
#ifndef _IPC_IPC_PORT_H_
#define _IPC_IPC_PORT_H_
#include <mach_ipc_compat.h>
#include <norma_ipc.h>
#include <mach/boolean.h>
#include <mach/kern_return.h>
#include <mach/port.h>
#include <kern/lock.h>
#include <kern/macro_help.h>
#include <kern/ipc_kobject.h>
#include <ipc/ipc_mqueue.h>
#include <ipc/ipc_table.h>
#include <ipc/ipc_thread.h>
#include "ipc_target.h"
#include <mach/rpc.h>
/*
* A receive right (port) can be in four states:
* 1) dead (not active, ip_timestamp has death time)
* 2) in a space (ip_receiver_name != 0, ip_receiver points
* to the space but doesn't hold a ref for it)
* 3) in transit (ip_receiver_name == 0, ip_destination points
* to the destination port and holds a ref for it)
* 4) in limbo (ip_receiver_name == 0, ip_destination == IP_NULL)
*
* If the port is active, and ip_receiver points to some space,
* then ip_receiver_name != 0, and that space holds receive rights.
* If the port is not active, then ip_timestamp contains a timestamp
* taken when the port was destroyed.
*/
typedef unsigned int ipc_port_timestamp_t;
struct ipc_port {
struct ipc_target ip_target;
/* This points to the ip_target above if this port isn't on a port set;
otherwise it points to the port set's ips_target. */
struct ipc_target *ip_cur_target;
union {
struct ipc_space *receiver;
struct ipc_port *destination;
ipc_port_timestamp_t timestamp;
} data;
ipc_kobject_t ip_kobject;
mach_port_mscount_t ip_mscount;
mach_port_rights_t ip_srights;
mach_port_rights_t ip_sorights;
struct ipc_port *ip_nsrequest;
struct ipc_port *ip_pdrequest;
struct ipc_port_request *ip_dnrequests;
struct ipc_pset *ip_pset;
mach_port_seqno_t ip_seqno; /* locked by message queue */
mach_port_msgcount_t ip_msgcount;
mach_port_msgcount_t ip_qlimit;
struct ipc_thread_queue ip_blocked;
#if NORMA_IPC
unsigned long ip_norma_uid;
unsigned long ip_norma_dest_node;
long ip_norma_stransit;
long ip_norma_sotransit;
long ip_norma_xmm_object_refs;
boolean_t ip_norma_is_proxy;
boolean_t ip_norma_is_special;
struct ipc_port *ip_norma_atrium;
struct ipc_port *ip_norma_queue_next;
struct ipc_port *ip_norma_xmm_object;
struct ipc_port *ip_norma_next;
long ip_norma_spare1;
long ip_norma_spare2;
long ip_norma_spare3;
long ip_norma_spare4;
#endif /* NORMA_IPC */
};
#define ip_object ip_target.ipt_object
#define ip_receiver_name ip_target.ipt_name
#define ip_messages ip_target.ipt_messages
#define ip_references ip_object.io_references
#define ip_bits ip_object.io_bits
#define ip_receiver data.receiver
#define ip_destination data.destination
#define ip_timestamp data.timestamp
#define IP_NULL ((ipc_port_t) IO_NULL)
#define IP_DEAD ((ipc_port_t) IO_DEAD)
#define IP_VALID(port) IO_VALID(&(port)->ip_object)
#define ip_active(port) io_active(&(port)->ip_object)
#define ip_lock_init(port) io_lock_init(&(port)->ip_object)
#define ip_lock(port) io_lock(&(port)->ip_object)
#define ip_lock_try(port) io_lock_try(&(port)->ip_object)
#define ip_unlock(port) io_unlock(&(port)->ip_object)
#define ip_check_unlock(port) io_check_unlock(&(port)->ip_object)
#define ip_reference(port) io_reference(&(port)->ip_object)
#define ip_release(port) io_release(&(port)->ip_object)
#define ip_alloc() ((ipc_port_t) io_alloc(IOT_PORT))
#define ip_free(port) io_free(IOT_PORT, &(port)->ip_object)
#define ip_kotype(port) io_kotype(&(port)->ip_object)
typedef ipc_table_index_t ipc_port_request_index_t;
typedef struct ipc_port_request {
union {
struct ipc_port *port;
ipc_port_request_index_t index;
} notify;
union {
mach_port_t name;
struct ipc_table_size *size;
} name;
} *ipc_port_request_t;
#define ipr_next notify.index
#define ipr_size name.size
#define ipr_soright notify.port
#define ipr_name name.name
#define IPR_NULL ((ipc_port_request_t) 0)
#if MACH_IPC_COMPAT
/*
* For backwards compatibility, the ip_pdrequest field can hold a
* send right instead of a send-once right. This is indicated by
* the low bit of the pointer. This works because the zone package
* guarantees that the two low bits of port pointers are zero.
*/
#define ip_pdsendp(soright) ((unsigned int)(soright) & 1)
#define ip_pdsend(soright) ((ipc_port_t)((unsigned int)(soright) &~ 1))
#define ip_pdsendm(sright) ((ipc_port_t)((unsigned int)(sright) | 1))
/*
* For backwards compatibility, the ipr_soright field can hold
* a space pointer. This is indicated by the low bit of the pointer.
* This works because the zone package guarantees that the two low
* bits of port and space pointers are zero.
*/
#define ipr_spacep(soright) ((unsigned int)(soright) & 1)
#define ipr_space(soright) ((ipc_space_t)((unsigned int)(soright) &~ 1))
#define ipr_spacem(space) ((ipc_port_t)((unsigned int)(space) | 1))
#endif /* MACH_IPC_COMPAT */
/*
* Taking the ipc_port_multiple lock grants the privilege
* to lock multiple ports at once. No ports must locked
* when it is taken.
*/
decl_simple_lock_data(extern, ipc_port_multiple_lock_data)
#define ipc_port_multiple_lock_init() \
simple_lock_init(&ipc_port_multiple_lock_data)
#define ipc_port_multiple_lock() \
simple_lock(&ipc_port_multiple_lock_data)
#define ipc_port_multiple_unlock() \
simple_unlock(&ipc_port_multiple_lock_data)
/*
* The port timestamp facility provides timestamps
* for port destruction. It is used to serialize
* mach_port_names with port death.
*/
decl_simple_lock_data(extern, ipc_port_timestamp_lock_data)
extern ipc_port_timestamp_t ipc_port_timestamp_data;
#define ipc_port_timestamp_lock_init() \
simple_lock_init(&ipc_port_timestamp_lock_data)
#define ipc_port_timestamp_lock() \
simple_lock(&ipc_port_timestamp_lock_data)
#define ipc_port_timestamp_unlock() \
simple_unlock(&ipc_port_timestamp_lock_data)
extern ipc_port_timestamp_t
ipc_port_timestamp();
/*
* Compares two timestamps, and returns TRUE if one
* happened before two. Note that this formulation
* works when the timestamp wraps around at 2^32,
* as long as one and two aren't too far apart.
*/
#define IP_TIMESTAMP_ORDER(one, two) ((int) ((one) - (two)) < 0)
#define ipc_port_translate_receive(space, name, portp) \
ipc_object_translate((space), (name), \
MACH_PORT_RIGHT_RECEIVE, \
(ipc_object_t *) (portp))
#define ipc_port_translate_send(space, name, portp) \
ipc_object_translate((space), (name), \
MACH_PORT_RIGHT_SEND, \
(ipc_object_t *) (portp))
extern kern_return_t
ipc_port_dnrequest(/* ipc_port_t, mach_port_t, ipc_port_t,
ipc_port_request_index_t * */);
extern kern_return_t
ipc_port_dngrow(/* ipc_port_t */);
extern ipc_port_t
ipc_port_dncancel(/* ipc_port_t, mach_port_t, ipc_port_request_index_t */);
#define ipc_port_dnrename(port, index, oname, nname) \
MACRO_BEGIN \
ipc_port_request_t ipr, table; \
\
assert(ip_active(port)); \
\
table = port->ip_dnrequests; \
assert(table != IPR_NULL); \
\
ipr = &table[index]; \
assert(ipr->ipr_name == oname); \
\
ipr->ipr_name = nname; \
MACRO_END
/* Make a port-deleted request */
extern void ipc_port_pdrequest(
ipc_port_t port,
ipc_port_t notify,
ipc_port_t *previousp);
/* Make a no-senders request */
extern void ipc_port_nsrequest(
ipc_port_t port,
mach_port_mscount_t sync,
ipc_port_t notify,
ipc_port_t *previousp);
/* Change a port's queue limit */
extern void ipc_port_set_qlimit(
ipc_port_t port,
mach_port_msgcount_t qlimit);
#define ipc_port_set_mscount(port, mscount) \
MACRO_BEGIN \
assert(ip_active(port)); \
\
(port)->ip_mscount = (mscount); \
MACRO_END
extern struct ipc_mqueue *
ipc_port_lock_mqueue(/* ipc_port_t */);
extern void
ipc_port_set_seqno(/* ipc_port_t, mach_port_seqno_t */);
extern void
ipc_port_clear_receiver(/* ipc_port_t */);
extern void
ipc_port_init(/* ipc_port_t, ipc_space_t, mach_port_t */);
extern kern_return_t
ipc_port_alloc(/* ipc_space_t, mach_port_t *, ipc_port_t * */);
extern kern_return_t
ipc_port_alloc_name(/* ipc_space_t, mach_port_t, ipc_port_t * */);
extern void
ipc_port_destroy(/* ipc_port_t */);
extern boolean_t
ipc_port_check_circularity(/* ipc_port_t, ipc_port_t */);
extern ipc_port_t
ipc_port_lookup_notify(/* ipc_space_t, mach_port_t */);
extern ipc_port_t
ipc_port_make_send(/* ipc_port_t */);
extern ipc_port_t
ipc_port_copy_send(/* ipc_port_t */);
extern mach_port_t
ipc_port_copyout_send(/* ipc_port_t, ipc_space_t */);
extern void
ipc_port_release_send(/* ipc_port_t */);
extern ipc_port_t
ipc_port_make_sonce(/* ipc_port_t */);
extern void
ipc_port_release_sonce(/* ipc_port_t */);
extern void
ipc_port_release_receive(/* ipc_port_t */);
extern ipc_port_t
ipc_port_alloc_special(/* ipc_space_t */);
extern void
ipc_port_dealloc_special(/* ipc_port_t */);
#define ipc_port_alloc_kernel() \
ipc_port_alloc_special(ipc_space_kernel)
#define ipc_port_dealloc_kernel(port) \
ipc_port_dealloc_special((port), ipc_space_kernel)
#define ipc_port_alloc_reply() \
ipc_port_alloc_special(ipc_space_reply)
#define ipc_port_dealloc_reply(port) \
ipc_port_dealloc_special((port), ipc_space_reply)
#define ipc_port_reference(port) \
ipc_object_reference(&(port)->ip_object)
#define ipc_port_release(port) \
ipc_object_release(&(port)->ip_object)
#if MACH_IPC_COMPAT
extern kern_return_t
ipc_port_alloc_compat(/* ipc_space_t, mach_port_t *, ipc_port_t * */);
extern mach_port_t
ipc_port_copyout_send_compat(/* ipc_port_t, ipc_space_t */);
extern mach_port_t
ipc_port_copyout_receiver(/* ipc_port_t, ipc_space_t */);
#endif /* MACH_IPC_COMPAT */
extern void
ipc_port_print(/* ipc_port_t */);
#if NORMA_IPC
#define IP_NORMA_IS_PROXY(port) ((port)->ip_norma_is_proxy)
/*
* A proxy never has a real nsrequest, but is always has a fake
* nsrequest so that the norma ipc system is notified when there
* are no send rights for a proxy. A fake nsrequest is indicated by
* the low bit of the pointer. This works because the zone package
* guarantees that the two low bits of port pointers are zero.
*/
#define ip_nsproxyp(nsrequest) ((unsigned int)(nsrequest) & 1)
#define ip_nsproxy(nsrequest) ((ipc_port_t)((unsigned int)(nsrequest) &~ 1))
#define ip_nsproxym(proxy) ((ipc_port_t)((unsigned int)(proxy) | 1))
#endif /* NORMA_IPC */
#endif /* _IPC_IPC_PORT_H_ */
|