blob: c93b64a2ad89d4ed5c366daef35841a7cff1aad1 [file] [log] [blame]
sewardj55f9d1a2005-04-25 11:11:44 +00001
2/*--------------------------------------------------------------------*/
njn43b9a8a2005-05-10 04:37:01 +00003/*--- The address space manager. pub_core_aspacemgr.h ---*/
sewardj55f9d1a2005-04-25 11:11:44 +00004/*--------------------------------------------------------------------*/
5
6/*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
sewardj9eecbbb2010-05-03 21:37:12 +000010 Copyright (C) 2000-2010 Julian Seward
sewardj55f9d1a2005-04-25 11:11:44 +000011 jseward@acm.org
12
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26 02111-1307, USA.
27
28 The GNU General Public License is contained in the file COPYING.
29*/
30
31#ifndef __PUB_CORE_ASPACEMGR_H
32#define __PUB_CORE_ASPACEMGR_H
33
34//--------------------------------------------------------------------
35// PURPOSE: This module deals with management of the entire process
36// address space. Almost everything depends upon it, including dynamic
37// memory management. Hence this module is almost completely
38// standalone; the only module it uses is m_debuglog. DO NOT CHANGE
39// THIS.
40//--------------------------------------------------------------------
41
njn4802b382005-06-11 04:58:29 +000042#include "pub_tool_aspacemgr.h"
sewardj55f9d1a2005-04-25 11:11:44 +000043
sewardj45f4e7c2005-09-27 19:20:21 +000044//--------------------------------------------------------------
45// Definition of address-space segments
46
47/* types SegKind, ShrinkMode and NSegment are described in
48 the tool-visible header file, not here. */
49
50
51//--------------------------------------------------------------
52// Initialisation
53
54/* Initialise the address space manager, setting up the initial
55 segment list, and reading /proc/self/maps into it. This must
56 be called before any other function.
57
58 Takes a pointer to the SP at the time V gained control. This is
59 taken to be the highest usable address (more or less). Based on
60 that (and general consultation of tea leaves, etc) return a
61 suggested end address for the client's stack. */
62extern Addr VG_(am_startup) ( Addr sp_at_startup );
63
64
65//--------------------------------------------------------------
66// Querying current status
67
68/* Finds the segment containing 'a'. Only returns file/anon/resvn
sewardjfa2a2462006-10-17 01:30:07 +000069 segments. This returns a 'NSegment const *' - a pointer to
70 readonly data. */
sewardj45f4e7c2005-09-27 19:20:21 +000071// Is in tool-visible header file.
sewardjfa2a2462006-10-17 01:30:07 +000072// extern NSegment const * VG_(am_find_nsegment) ( Addr a );
sewardj45f4e7c2005-09-27 19:20:21 +000073
74/* Find the next segment along from 'here', if it is a file/anon/resvn
75 segment. */
sewardjfa2a2462006-10-17 01:30:07 +000076extern NSegment const* VG_(am_next_nsegment) ( NSegment* here, Bool fwds );
sewardj45f4e7c2005-09-27 19:20:21 +000077
78/* Is the area [start .. start+len-1] validly accessible by the
79 client with at least the permissions 'prot' ? To find out
80 simply if said area merely belongs to the client, pass
81 VKI_PROT_NONE as 'prot'. Will return False if any part of the
82 area does not belong to the client or does not have at least
83 the stated permissions. */
84// Is in tool-visible header file.
85// extern Bool VG_(am_is_valid_for_client)
86// ( Addr start, SizeT len, UInt prot );
87
88/* Variant of VG_(am_is_valid_for_client) which allows free areas to
89 be consider part of the client's addressable space. It also
90 considers reservations to be allowable, since from the client's
91 point of view they don't exist. */
92extern Bool VG_(am_is_valid_for_client_or_free_or_resvn)
93 ( Addr start, SizeT len, UInt prot );
94
95/* Trivial fn: return the total amount of space in anonymous mappings,
96 both for V and the client. Is used for printing stats in
97 out-of-memory messages. */
98extern ULong VG_(am_get_anonsize_total)( void );
99
100/* Show the segment array on the debug log, at given loglevel. */
101extern void VG_(am_show_nsegments) ( Int logLevel, HChar* who );
102
103/* Get the filename corresponding to this segment, if known and if it
104 has one. The returned name's storage cannot be assumed to be
105 persistent, so the caller should immediately copy the name
sewardj7cf4e6b2008-05-01 20:24:26 +0000106 elsewhere. This may return NULL if the file name is not known or
107 for arbitrary other implementation-dependent reasons, so callers
108 need to be able to handle a NULL return value. */
tombcaf0472005-11-16 00:11:14 +0000109// Is in tool-visible header file.
110// extern HChar* VG_(am_get_filename)( NSegment* );
sewardj45f4e7c2005-09-27 19:20:21 +0000111
112/* VG_(am_get_segment_starts) is also part of this section, but its
113 prototype is tool-visible, hence not in this header file. */
114
115/* Sanity check: check that Valgrind and the kernel agree on the
116 address space layout. Prints offending segments and call point if
117 a discrepancy is detected, but does not abort the system. Returned
118 Bool is False if a discrepancy was found. */
119
120extern Bool VG_(am_do_sync_check) ( const HChar* fn,
121 const HChar* file, Int line );
122
sewardj45f4e7c2005-09-27 19:20:21 +0000123//--------------------------------------------------------------
124// Functions pertaining to the central query-notify mechanism
125// used to handle mmap/munmap/mprotect resulting from client
126// syscalls.
127
128/* Describes a request for VG_(am_get_advisory). */
129typedef
130 struct {
131 enum { MFixed, MHint, MAny } rkind;
132 Addr start;
133 Addr len;
134 }
135 MapRequest;
136
137/* Query aspacem to ask where a mapping should go. On success, the
138 advised placement is returned, and *ok is set to True. On failure,
139 zero is returned and *ok is set to False. Note that *ok must be
140 consulted by the caller to establish success or failure; that
141 cannot be established reliably from the returned value. If *ok is
142 set to False, it means aspacem has vetoed the mapping, and so the
143 caller should not proceed with it. */
144extern Addr VG_(am_get_advisory)
145 ( MapRequest* req, Bool forClient, /*OUT*/Bool* ok );
146
147/* Convenience wrapper for VG_(am_get_advisory) for client floating or
148 fixed requests. If start is zero, a floating request is issued; if
149 nonzero, a fixed request at that address is issued. Same comments
150 about return values apply. */
151extern Addr VG_(am_get_advisory_client_simple)
152 ( Addr start, SizeT len, /*OUT*/Bool* ok );
153
154/* Notifies aspacem that the client completed an mmap successfully.
155 The segment array is updated accordingly. If the returned Bool is
156 True, the caller should immediately discard translations from the
157 specified address range. */
158extern Bool VG_(am_notify_client_mmap)
sewardj274461d2005-10-02 17:01:41 +0000159 ( Addr a, SizeT len, UInt prot, UInt flags, Int fd, Off64T offset );
sewardj45f4e7c2005-09-27 19:20:21 +0000160
tom1340c352005-10-04 15:59:54 +0000161/* Notifies aspacem that the client completed a shmat successfully.
162 The segment array is updated accordingly. If the returned Bool is
163 True, the caller should immediately discard translations from the
164 specified address range. */
165extern Bool VG_(am_notify_client_shmat)( Addr a, SizeT len, UInt prot );
166
sewardj45f4e7c2005-09-27 19:20:21 +0000167/* Notifies aspacem that an mprotect was completed successfully. The
168 segment array is updated accordingly. Note, as with
169 VG_(am_notify_munmap), it is not the job of this function to reject
170 stupid mprotects, for example the client doing mprotect of
171 non-client areas. Such requests should be intercepted earlier, by
172 the syscall wrapper for mprotect. This function merely records
173 whatever it is told. If the returned Bool is True, the caller
174 should immediately discard translations from the specified address
175 range. */
176extern Bool VG_(am_notify_mprotect)( Addr start, SizeT len, UInt prot );
177
178/* Notifies aspacem that an munmap completed successfully. The
179 segment array is updated accordingly. As with
180 VG_(am_notify_munmap), we merely record the given info, and don't
181 check it for sensibleness. If the returned Bool is True, the
182 caller should immediately discard translations from the specified
183 address range. */
184extern Bool VG_(am_notify_munmap)( Addr start, SizeT len );
185
sewardj45f4e7c2005-09-27 19:20:21 +0000186/* Hand a raw mmap to the kernel, without aspacem updating the segment
187 array. THIS FUNCTION IS DANGEROUS -- it will cause aspacem's view
188 of the address space to diverge from that of the kernel. DO NOT
189 USE IT UNLESS YOU UNDERSTAND the request-notify model used by
190 aspacem. In short, DO NOT USE THIS FUNCTION. */
191extern SysRes VG_(am_do_mmap_NO_NOTIFY)
njn9506f0d2009-05-20 03:20:05 +0000192 ( Addr start, SizeT length, UInt prot, UInt flags, Int fd, Off64T offset);
sewardj45f4e7c2005-09-27 19:20:21 +0000193
194
195//--------------------------------------------------------------
sewardjfa2a2462006-10-17 01:30:07 +0000196// Functions pertaining to AIX5-specific notifications.
197
198/* Describes followup actions that need to be done following a call to
199 VG_(am_aix5_reread_procmap). When acquire==True, the specified
200 code and data segments have been mapped into the process, and so
201 m_debuginfo needs to read info for it; also m_redir needs to know,
202 and the tool needs to be told. When acquire==False, the specified
203 segments have been unloaded and m_debuginfo, m_redir and the tool
204 (and m_transtab?) need to notified appropriately. */
205typedef
206 struct {
207 Addr code_start;
208 Word code_len;
209 Addr data_start;
210 Word data_len;
211 UChar* file_name;
212 UChar* mem_name;
213 Bool is_mainexe;
214 Bool acquire;
215 }
216 AixCodeSegChange;
217
218/* Tell aspacem that /proc/<pid>/map may have changed (eg following
219 __loadx) and so it should be re-read, and the code/data segment
220 list updated accordingly. The resulting array of AixCodeChangeSeg
221 directives are written to 'directives', and the number of entries
222 to *ndirectives. */
223extern void VG_(am_aix5_reread_procmap)
224 ( /*OUT*/AixCodeSegChange* directives, /*OUT*/Int* ndirectives );
225
226/* Find out the size of the AixCodeSegChange that must be
227 presented to VG_(am_aix5_reread_procmap). */
228extern Int VG_(am_aix5_reread_procmap_howmany_directives)(void);
229
230/* Tell aspacem where the initial client stack is, so that it
231 can later produce a faked-up NSegment in response to
232 VG_(am_find_nsegment) for athat address, if asked. */
233extern void VG_(am_aix5_set_initial_client_sp)( Addr );
234
235/* The AIX5 aspacem implementation needs to be told when it is and
236 isn't allowed to use sbrk to allocate memory. Hence: */
237extern Bool VG_(am_aix5_sbrk_allowed);
238
239
240//--------------------------------------------------------------
sewardj45f4e7c2005-09-27 19:20:21 +0000241// Dealing with mappings which do not arise directly from the
242// simulation of the client. These are typically used for
243// loading the client and building its stack/data segment, before
244// execution begins. Also for V's own administrative use.
245
246/* --- --- --- map, unmap, protect --- --- --- */
247
248/* Map a file at a fixed address for the client, and update the
249 segment array accordingly. */
250extern SysRes VG_(am_mmap_file_fixed_client)
sewardj274461d2005-10-02 17:01:41 +0000251 ( Addr start, SizeT length, UInt prot, Int fd, Off64T offset );
njnf76d27a2009-05-28 01:53:07 +0000252extern SysRes VG_(am_mmap_named_file_fixed_client)
253 ( Addr start, SizeT length, UInt prot, Int fd, Off64T offset, const HChar *name );
sewardj45f4e7c2005-09-27 19:20:21 +0000254
255/* Map anonymously at a fixed address for the client, and update
256 the segment array accordingly. */
257extern SysRes VG_(am_mmap_anon_fixed_client)
258 ( Addr start, SizeT length, UInt prot );
259
sewardjfa2a2462006-10-17 01:30:07 +0000260
sewardj45f4e7c2005-09-27 19:20:21 +0000261/* Map anonymously at an unconstrained address for the client, and
262 update the segment array accordingly. */
263extern SysRes VG_(am_mmap_anon_float_client) ( SizeT length, Int prot );
264
sewardjfa2a2462006-10-17 01:30:07 +0000265/* Similarly, acquire new address space for the client but with
266 considerable restrictions on what can be done with it: (1) the
267 actual protections may exceed those stated in 'prot', (2) the
268 area's protections cannot be later changed using any form of
269 mprotect, and (3) the area cannot be freed using any form of
270 munmap. On Linux this behaves the same as
271 VG_(am_mmap_anon_float_client). On AIX5 this *may* allocate memory
272 by using sbrk, so as to make use of large pages on AIX. */
273extern SysRes VG_(am_sbrk_anon_float_client) ( SizeT length, Int prot );
274
275
sewardj45f4e7c2005-09-27 19:20:21 +0000276/* Map anonymously at an unconstrained address for V, and update the
277 segment array accordingly. This is fundamentally how V allocates
278 itself more address space when needed. */
279extern SysRes VG_(am_mmap_anon_float_valgrind)( SizeT cszB );
280
sewardjfa2a2462006-10-17 01:30:07 +0000281/* Same comments apply as per VG_(am_sbrk_anon_float_client). On
282 Linux this behaves the same as VG_(am_mmap_anon_float_valgrind). */
283extern SysRes VG_(am_sbrk_anon_float_valgrind)( SizeT cszB );
284
285
sewardj3b290482011-05-06 21:02:55 +0000286/* Map privately a file at an unconstrained address for V, and update the
sewardj45f4e7c2005-09-27 19:20:21 +0000287 segment array accordingly. This is used by V for transiently
288 mapping in object files to read their debug info. */
289extern SysRes VG_(am_mmap_file_float_valgrind)
sewardj274461d2005-10-02 17:01:41 +0000290 ( SizeT length, UInt prot, Int fd, Off64T offset );
sewardj45f4e7c2005-09-27 19:20:21 +0000291
sewardj3b290482011-05-06 21:02:55 +0000292/* Map shared a file at an unconstrained address for V, and update the
293 segment array accordingly. This is used by V for communicating
294 with vgdb. */
295extern SysRes VG_(am_shared_mmap_file_float_valgrind)
296 ( SizeT length, UInt prot, Int fd, Off64T offset );
297
sewardj45f4e7c2005-09-27 19:20:21 +0000298/* Unmap the given address range and update the segment array
299 accordingly. This fails if the range isn't valid for the client.
300 If *need_discard is True after a successful return, the caller
301 should immediately discard translations from the specified address
302 range. */
303extern SysRes VG_(am_munmap_client)( /*OUT*/Bool* need_discard,
304 Addr start, SizeT length );
305
sewardj45f4e7c2005-09-27 19:20:21 +0000306/* Let (start,len) denote an area within a single Valgrind-owned
307 segment (anon or file). Change the ownership of [start, start+len)
308 to the client instead. Fails if (start,len) does not denote a
309 suitable segment. */
310extern Bool VG_(am_change_ownership_v_to_c)( Addr start, SizeT len );
311
sewardjfa2a2462006-10-17 01:30:07 +0000312/* 'seg' must be NULL or have been obtained from
313 VG_(am_find_nsegment), and still valid. If non-NULL, and if it
314 denotes a SkAnonC (anonymous client mapping) area, set the .isCH
315 (is-client-heap) flag for that area. Otherwise do nothing.
316 (Bizarre interface so that the same code works for both Linux and
317 AIX and does not impose inefficiencies on the Linux version.) */
318extern void VG_(am_set_segment_isCH_if_SkAnonC)( NSegment* seg );
319
320/* Same idea as VG_(am_set_segment_isCH_if_SkAnonC), except set the
321 segment's hasT bit (has-cached-code) if this is SkFileC or SkAnonC
322 segment. */
323extern void VG_(am_set_segment_hasT_if_SkFileC_or_SkAnonC)( NSegment* );
324
sewardj45f4e7c2005-09-27 19:20:21 +0000325/* --- --- --- reservations --- --- --- */
326
327/* Create a reservation from START .. START+LENGTH-1, with the given
328 ShrinkMode. When checking whether the reservation can be created,
329 also ensure that at least abs(EXTRA) extra free bytes will remain
330 above (> 0) or below (< 0) the reservation.
331
332 The reservation will only be created if it, plus the extra-zone,
333 falls entirely within a single free segment. The returned Bool
334 indicates whether the creation succeeded. */
335extern Bool VG_(am_create_reservation)
336 ( Addr start, SizeT length, ShrinkMode smode, SSizeT extra );
337
338/* Let SEG be an anonymous client mapping. This fn extends the
339 mapping by DELTA bytes, taking the space from a reservation section
340 which must be adjacent. If DELTA is positive, the segment is
341 extended forwards in the address space, and the reservation must be
342 the next one along. If DELTA is negative, the segment is extended
343 backwards in the address space and the reservation must be the
sewardj6684d2a2005-09-28 01:46:31 +0000344 previous one. DELTA must be page aligned. abs(DELTA) must not
345 exceed the size of the reservation segment minus one page, that is,
346 the reservation segment after the operation must be at least one
347 page long. */
sewardj45f4e7c2005-09-27 19:20:21 +0000348extern Bool VG_(am_extend_into_adjacent_reservation_client)
349 ( NSegment* seg, SSizeT delta );
350
351/* --- --- --- resizing/move a mapping --- --- --- */
352
353/* Let SEG be a client mapping (anonymous or file). This fn extends
354 the mapping forwards only by DELTA bytes, and trashes whatever was
355 in the new area. Fails if SEG is not a single client mapping or if
356 the new area is not accessible to the client. Fails if DELTA is
357 not page aligned. *seg is invalid after a successful return. If
358 *need_discard is True after a successful return, the caller should
359 immediately discard translations from the new area. */
360extern Bool VG_(am_extend_map_client)( /*OUT*/Bool* need_discard,
361 NSegment* seg, SizeT delta );
362
363/* Remap the old address range to the new address range. Fails if any
364 parameter is not page aligned, if the either size is zero, if any
365 wraparound is implied, if the old address range does not fall
366 entirely within a single segment, if the new address range overlaps
367 with the old one, or if the old address range is not a valid client
368 mapping. If *need_discard is True after a successful return, the
369 caller should immediately discard translations from both specified
370 address ranges. */
371extern Bool VG_(am_relocate_nooverlap_client)( /*OUT*/Bool* need_discard,
372 Addr old_addr, SizeT old_len,
373 Addr new_addr, SizeT new_len );
374
375//--------------------------------------------------------------
376// Valgrind (non-client) thread stacks. V itself runs on such
377// stacks. The address space manager provides and suitably
378// protects such stacks.
379
sewardje66f2e02006-12-30 17:45:08 +0000380#if defined(VGP_ppc32_linux) || defined(VGP_ppc64_linux)
381# define VG_STACK_GUARD_SZB 65536 // 1 or 16 pages
sewardj9e0a6b82010-07-21 09:49:27 +0000382# define VG_STACK_ACTIVE_SZB (4096 * 256) // 1Mb
sewardje66f2e02006-12-30 17:45:08 +0000383#else
384# define VG_STACK_GUARD_SZB 8192 // 2 pages
sewardj9e0a6b82010-07-21 09:49:27 +0000385# define VG_STACK_ACTIVE_SZB (4096 * 256) // 1Mb
sewardje66f2e02006-12-30 17:45:08 +0000386#endif
sewardj45f4e7c2005-09-27 19:20:21 +0000387
388typedef
389 struct {
390 HChar bytes[VG_STACK_GUARD_SZB
391 + VG_STACK_ACTIVE_SZB
392 + VG_STACK_GUARD_SZB];
393 }
394 VgStack;
395
396
397/* Allocate and initialise a VgStack (anonymous client space).
398 Protect the stack active area and the guard areas appropriately.
399 Returns NULL on failure, else the address of the bottom of the
400 stack. On success, also sets *initial_sp to what the stack pointer
401 should be set to. */
402
403extern VgStack* VG_(am_alloc_VgStack)( /*OUT*/Addr* initial_sp );
404
sewardj46dbd3f2010-09-08 08:30:31 +0000405/* Figure out how many bytes of the stack's active area have not been
406 used. Used for estimating if we are close to overflowing it. If
407 the free area is larger than 'limit', just return 'limit'. */
408extern SizeT VG_(am_get_VgStack_unused_szB)( VgStack* stack, SizeT limit );
sewardj45f4e7c2005-09-27 19:20:21 +0000409
njnf76d27a2009-05-28 01:53:07 +0000410// DDD: this is ugly
411#if defined(VGO_darwin)
412typedef
413 struct {
414 Bool is_added; // Added or removed seg?
415 Addr start;
416 SizeT end;
417 UInt prot; // Not used for removed segs.
418 Off64T offset; // Not used for removed segs.
419 }
420 ChangedSeg;
421
njnfd1b4612009-06-24 08:32:42 +0000422extern Bool VG_(get_changed_segments)(
njnf76d27a2009-05-28 01:53:07 +0000423 const HChar* when, const HChar* where, /*OUT*/ChangedSeg* css,
424 Int css_size, /*OUT*/Int* css_used);
425#endif
njne3f06352005-06-01 03:48:33 +0000426
sewardj55f9d1a2005-04-25 11:11:44 +0000427#endif // __PUB_CORE_ASPACEMGR_H
428
429/*--------------------------------------------------------------------*/
njnaf839f52005-06-23 03:27:57 +0000430/*--- end ---*/
sewardj55f9d1a2005-04-25 11:11:44 +0000431/*--------------------------------------------------------------------*/