blob: 29618f80eda77f799109da1526a72199ba43bff7 [file] [log] [blame]
njn4802b382005-06-11 04:58:29 +00001
2/*--------------------------------------------------------------------*/
3/*--- Address space manager. pub_tool_aspacemgr.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
sewardj0f157dd2013-10-18 14:27:36 +000010 Copyright (C) 2000-2013 Julian Seward
njn4802b382005-06-11 04:58:29 +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
njn4a164d02005-06-18 18:49:40 +000031#ifndef __PUB_TOOL_ASPACEMGR_H
32#define __PUB_TOOL_ASPACEMGR_H
njn4802b382005-06-11 04:58:29 +000033
florian535fb1b2013-09-15 13:54:34 +000034#include "pub_tool_basics.h" // VG_ macro
njn4802b382005-06-11 04:58:29 +000035
sewardj45f4e7c2005-09-27 19:20:21 +000036//--------------------------------------------------------------
37// Definition of address-space segments
njn4802b382005-06-11 04:58:29 +000038
sewardj45f4e7c2005-09-27 19:20:21 +000039/* Describes segment kinds. */
40typedef
41 enum {
42 SkFree, // unmapped space
43 SkAnonC, // anonymous mapping belonging to the client
44 SkAnonV, // anonymous mapping belonging to valgrind
45 SkFileC, // file mapping belonging to the client
46 SkFileV, // file mapping belonging to valgrind
tom1340c352005-10-04 15:59:54 +000047 SkShmC, // shared memory segment belonging to the client
sewardj45f4e7c2005-09-27 19:20:21 +000048 SkResvn // reservation
49 }
50 SegKind;
njn4802b382005-06-11 04:58:29 +000051
sewardj45f4e7c2005-09-27 19:20:21 +000052/* Describes how a reservation segment can be resized. */
53typedef
54 enum {
55 SmLower, // lower end can move up
56 SmFixed, // cannot be shrunk
57 SmUpper // upper end can move down
58 }
59 ShrinkMode;
njn4802b382005-06-11 04:58:29 +000060
sewardj45f4e7c2005-09-27 19:20:21 +000061/* Describes a segment. Invariants:
njn4802b382005-06-11 04:58:29 +000062
sewardj45f4e7c2005-09-27 19:20:21 +000063 kind == SkFree:
64 // the only meaningful fields are .start and .end
65
66 kind == SkAnon{C,V}:
67 // smode==SmFixed
68 // there's no associated file:
69 dev==ino==foff = 0, fnidx == -1
70 // segment may have permissions
71
72 kind == SkFile{C,V}:
73 // smode==SmFixed
74 moveLo == moveHi == NotMovable, maxlen == 0
75 // there is an associated file
76 // segment may have permissions
77
tom1340c352005-10-04 15:59:54 +000078 kind == SkShmC:
79 // smode==SmFixed
80 // there's no associated file:
81 dev==ino==foff = 0, fnidx == -1
82 // segment may have permissions
83
sewardj45f4e7c2005-09-27 19:20:21 +000084 kind == SkResvn
85 // the segment may be resized if required
86 // there's no associated file:
87 dev==ino==foff = 0, fnidx == -1
88 // segment has no permissions
89 hasR==hasW==hasX==anyTranslated == False
90
91 Also: anyTranslated==True is only allowed in SkFileV and SkAnonV
92 (viz, not allowed to make translations from non-client areas)
njn6ace3ea2005-06-17 03:06:27 +000093*/
sewardj45f4e7c2005-09-27 19:20:21 +000094typedef
95 struct {
96 SegKind kind;
97 /* Extent (SkFree, SkAnon{C,V}, SkFile{C,V}, SkResvn) */
98 Addr start; // lowest address in range
99 Addr end; // highest address in range
100 /* Shrinkable? (SkResvn only) */
101 ShrinkMode smode;
102 /* Associated file (SkFile{C,V} only) */
sewardj41906002008-08-18 21:47:11 +0000103 ULong dev;
104 ULong ino;
njnc4431bf2009-01-15 21:29:24 +0000105 Off64T offset;
sewardj41906002008-08-18 21:47:11 +0000106 UInt mode;
sewardj45f4e7c2005-09-27 19:20:21 +0000107 Int fnIdx; // file name table index, if name is known
108 /* Permissions (SkAnon{C,V}, SkFile{C,V} only) */
109 Bool hasR;
110 Bool hasW;
111 Bool hasX;
112 Bool hasT; // True --> translations have (or MAY have)
113 // been taken from this segment
114 Bool isCH; // True --> is client heap (SkAnonC ONLY)
sewardj45f4e7c2005-09-27 19:20:21 +0000115 }
116 NSegment;
117
118
119/* Collect up the start addresses of all non-free, non-resvn segments.
120 The interface is a bit strange in order to avoid potential
121 segment-creation races caused by dynamic allocation of the result
122 buffer *starts.
123
124 The function first computes how many entries in the result
125 buffer *starts will be needed. If this number <= nStarts,
126 they are placed in starts[0..], and the number is returned.
127 If nStarts is not large enough, nothing is written to
128 starts[0..], and the negation of the size is returned.
129
130 Correct use of this function may mean calling it multiple times in
131 order to establish a suitably-sized buffer. */
132extern Int VG_(am_get_segment_starts)( Addr* starts, Int nStarts );
133
florian67d46032015-01-23 19:55:31 +0000134/* Finds the segment containing 'a'. Only returns file/anon/resvn
135 segments. This returns a 'NSegment const *' - a pointer to
136 readonly data. */
sewardjfa2a2462006-10-17 01:30:07 +0000137extern NSegment const * VG_(am_find_nsegment) ( Addr a );
sewardj45f4e7c2005-09-27 19:20:21 +0000138
florian67d46032015-01-23 19:55:31 +0000139/* Get the filename corresponding to this segment, if known and if it
florian95af4ce2015-01-31 00:29:50 +0000140 has one. The function may return NULL if the file name is not known. */
floriand3166c42015-01-24 00:02:19 +0000141extern const HChar* VG_(am_get_filename)( NSegment const * );
tombcaf0472005-11-16 00:11:14 +0000142
florian67d46032015-01-23 19:55:31 +0000143/* Is the area [start .. start+len-1] validly accessible by the
144 client with at least the permissions 'prot' ? To find out
145 simply if said area merely belongs to the client, pass
146 VKI_PROT_NONE as 'prot'. Will return False if any part of the
147 area does not belong to the client or does not have at least
148 the stated permissions. */
sewardj45f4e7c2005-09-27 19:20:21 +0000149extern Bool VG_(am_is_valid_for_client) ( Addr start, SizeT len,
150 UInt prot );
151
sewardj45f4e7c2005-09-27 19:20:21 +0000152/* Really just a wrapper around VG_(am_mmap_anon_float_valgrind). */
153extern void* VG_(am_shadow_alloc)(SizeT size);
njn4802b382005-06-11 04:58:29 +0000154
njn1d0825f2006-03-27 11:37:07 +0000155/* Unmap the given address range and update the segment array
156 accordingly. This fails if the range isn't valid for valgrind. */
157extern SysRes VG_(am_munmap_valgrind)( Addr start, SizeT length );
158
njn4a164d02005-06-18 18:49:40 +0000159#endif // __PUB_TOOL_ASPACEMGR_H
njn4802b382005-06-11 04:58:29 +0000160
161/*--------------------------------------------------------------------*/
162/*--- end ---*/
163/*--------------------------------------------------------------------*/