blob: afc316177ab9e3554088448db87bc33a488ed3d5 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
nethercote5a2664c2004-09-02 15:37:39 +00004/*--- Include no other! (more or less...) ---*/
rjwalsh7109a8c2004-09-02 00:31:02 +00005/*--- core.h ---*/
sewardjde4a1d02002-03-22 01:27:54 +00006/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
sewardjde4a1d02002-03-22 01:27:54 +000082
jsgf855d93d2003-10-13 22:26:55 +000083/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000084#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000085
nethercote13343132004-09-02 15:49:09 +000086#include "core_asm.h" // asm stuff
87#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000088#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
89#include "core_platform.h" // platform-specific stuff,
90 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000091
fitzhardinge39de4b42003-10-31 07:12:21 +000092#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000093
fitzhardinge98abfc72003-12-16 02:05:15 +000094#undef SK_
95#define SK_(x) vgSkinInternal_##x
96
nethercote7be47252004-09-02 16:02:58 +000097
98/* ---------------------------------------------------------------------
99 Build options and table sizes. You should be able to change these
100 options or sizes, recompile, and still have a working system.
101 ------------------------------------------------------------------ */
102
sewardjde4a1d02002-03-22 01:27:54 +0000103/* Total number of spill slots available for allocation, if a TempReg
104 doesn't make it into a RealReg. Just bomb the entire system if
105 this value is too small; we don't expect it will ever get
106 particularly high. */
107#define VG_MAX_SPILLSLOTS 24
108
109
110/* Constants for the slow translation lookup cache. */
111#define VG_TRANSTAB_SLOW_BITS 11
112#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
113#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
114
115/* Size of a buffer used for creating messages. */
116#define M_VG_MSGBUF 10000
117
118/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000119#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000120
121/* Max length of pathname to a .so/executable file. */
122#define M_VG_LIBNAMESTR 100
123
124/* Max length of a text fragment used to construct error messages. */
125#define M_VG_ERRTXT 512
126
127/* Max length of the string copied from env var VG_ARGS at startup. */
128#define M_VG_CMDLINE_STRLEN 1000
129
130/* Max number of options for Valgrind which we can handle. */
131#define M_VG_CMDLINE_OPTS 100
132
133/* After this many different unsuppressed errors have been observed,
134 be more conservative about collecting new ones. */
135#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
136
137/* After this many different unsuppressed errors have been observed,
138 stop collecting errors at all, and tell the user their program is
139 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000140#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000141
142/* After this many total errors have been observed, stop collecting
143 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000144#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000145
sewardjde4a1d02002-03-22 01:27:54 +0000146/* The maximum number of calls we're prepared to save in a
147 backtrace. */
148#define VG_DEEPEST_BACKTRACE 50
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* Number of lists in which we keep track of ExeContexts. Should be
151 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000152#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000153
sewardj2e93c502002-04-12 11:12:52 +0000154/* Defines the thread-scheduling timeslice, in terms of the number of
155 basic blocks we attempt to run each thread for. Smaller values
156 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000157#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000158
fitzhardingef0046f22003-12-18 02:39:22 +0000159/* Number of file descriptors that Valgrind tries to reserve for
160 it's own use - two per thread plues a small number of extras. */
161#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000162
sewardjbf290b92002-05-01 02:28:01 +0000163/* Stack size for a thread. We try and check that they do not go
164 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000165#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000166
sewardj20917d82002-05-28 01:36:45 +0000167/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000168#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000169
sewardj8ad94e12002-05-29 00:10:20 +0000170/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000171#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000172
sewardj2cb00342002-06-28 01:46:26 +0000173/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000174#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000175
njn25e49d8e72002-09-23 09:36:25 +0000176/* Max number of callers for context in a suppression. */
177#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000178
thughes8abf3922004-10-16 10:59:49 +0000179/* Numer of entries in each thread's signal queue. */
180#define VG_N_SIGNALQUEUE 8
181
fitzhardinge98abfc72003-12-16 02:05:15 +0000182/* Useful macros */
183/* a - alignment - must be a power of 2 */
184#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
185#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
186#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
187#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
188
nethercote80013e92004-09-05 20:39:51 +0000189/* ---------------------------------------------------------------------
190 Environment variables
191 ------------------------------------------------------------------ */
192
193/* The directory we look for all our auxillary files in */
194#define VALGRINDLIB "VALGRINDLIB"
195
196/* Additional command-line arguments; they are overridden by actual
197 command-line option. Each argument is separated by spaces. There
198 is no quoting mechanism.
199 */
200#define VALGRINDOPTS "VALGRIND_OPTS"
201
202/* If this variable is present in the environment, then valgrind will
203 not parse the command line for options at all; all options come
204 from this variable. Arguments are terminated by ^A (\001). There
205 is no quoting mechanism.
206
207 This variable is not expected to be set by anything other than
208 Valgrind itself, as part of its handling of execve with
209 --trace-children=yes. This variable should not be present in the
210 client environment.
211 */
212#define VALGRINDCLO "_VALGRIND_CLO"
213
fitzhardinge98abfc72003-12-16 02:05:15 +0000214
sewardjde4a1d02002-03-22 01:27:54 +0000215/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000216 Command-line-settable options
217 ------------------------------------------------------------------ */
218
sewardj4f094a72002-11-05 23:37:35 +0000219/* Default destination port to be used in logging over a network, if
220 none specified. */
221#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000222
223/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000224#define VG_CLO_MAX_SFILES 10
225
nethercote04d0fbc2004-01-26 16:48:06 +0000226/* Default debugger command. */
227#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
228
sewardj4cf05692002-10-27 20:28:29 +0000229/* Describes where logging output is to be sent. */
230typedef
231 enum {
232 VgLogTo_Fd,
233 VgLogTo_File,
234 VgLogTo_Socket
235 } VgLogTo;
236
jsgf855d93d2003-10-13 22:26:55 +0000237/* pid of main process */
238extern Int VG_(main_pid);
239
240/* pgrp of process (global to all threads) */
241extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000242
thughesad1c9562004-06-26 11:27:52 +0000243/* Application-visible file descriptor limits */
244extern Int VG_(fd_soft_limit);
245extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000246
sewardj72f98ff2002-06-13 17:23:38 +0000247/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000248extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000249/* Enquire about whether to attach to a debugger at errors? default: NO */
250extern Bool VG_(clo_db_attach);
251/* The debugger command? default: whatever gdb ./configure found */
252extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000253/* Enquire about generating a suppression for each error? default: NO */
254extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000255/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000256extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000257/* Automatically attempt to demangle C++ names? default: YES */
258extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000259/* Simulate child processes? default: NO */
260extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000261
262/* Where logging output is to be sent to.
263
nethercotef8548672004-06-21 12:42:35 +0000264 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
265 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000266
nethercotef8548672004-06-21 12:42:35 +0000267 When log_to == VgLogTo_File, clo_log_name holds the log-file
268 name, and is taken from the command line. clo_log_fd is then
269 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000270 (concatenated with the process ID) for writing.
271
nethercotef8548672004-06-21 12:42:35 +0000272 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000273 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000274 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000275 opening a connection to said hostname:portnumber pair.
276
nethercotef8548672004-06-21 12:42:35 +0000277 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000278 (stderr). */
279extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000280extern Int VG_(clo_log_fd);
281extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000282
thughes6233a382004-08-21 11:10:44 +0000283/* Add timestamps to log messages? default: NO */
284extern Bool VG_(clo_time_stamp);
285
sewardj6024b212003-07-13 10:54:33 +0000286/* The file descriptor to read for input. default: 0 == stdin */
287extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000288/* The number of suppression files specified. */
289extern Int VG_(clo_n_suppressions);
290/* The names of the suppression files. */
291extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
292
293/* Single stepping? default: NO */
294extern Bool VG_(clo_single_step);
295/* Code improvement? default: YES */
296extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000297/* DEBUG: print generated code? default: 00000 ( == NO ) */
298extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000299/* DEBUG: print system calls? default: NO */
300extern Bool VG_(clo_trace_syscalls);
301/* DEBUG: print signal details? default: NO */
302extern Bool VG_(clo_trace_signals);
303/* DEBUG: print symtab details? default: NO */
304extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000305/* DEBUG: print thread scheduling events? default: NO */
306extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000307/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
308 (some), 2 (all) */
309extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000310/* Display gory details for the k'th most popular error. default:
311 Infinity. */
312extern Int VG_(clo_dump_error);
313/* Number of parents of a backtrace. Default: 8. */
314extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000315/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000316extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000317/* How often we should poll for signals, assuming we need to poll for
318 signals. */
319extern Int VG_(clo_signal_polltime);
320
321/* Low latency syscalls and signals */
322extern Bool VG_(clo_lowlat_syscalls);
323extern Bool VG_(clo_lowlat_signals);
324
rjwalshf5f536f2003-11-17 17:45:00 +0000325/* Track open file descriptors? */
326extern Bool VG_(clo_track_fds);
327
sewardj858964b2002-10-05 14:15:43 +0000328/* Should we run __libc_freeres at exit? Sometimes causes crashes.
329 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
330 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000331 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000332 cannot be overridden from the command line. */
333extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000334/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000335extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000336/* Generate branch-prediction hints? */
337extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000338/* Continue stack traces below main()? Default: NO */
339extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000340/* Test each client pointer dereference to check it's within the
341 client address space bounds */
342extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000343
rjwalshe4e779d2004-04-16 23:02:29 +0000344/* Set up the libc freeres wrapper */
345extern void VG_(intercept_libc_freeres_wrapper)(Addr);
346
sewardjde4a1d02002-03-22 01:27:54 +0000347/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000348 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000349 ------------------------------------------------------------------ */
350
sewardjde4a1d02002-03-22 01:27:54 +0000351extern void VGP_(init_profiling) ( void );
352extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000353
njn25e49d8e72002-09-23 09:36:25 +0000354#undef VGP_PUSHCC
355#undef VGP_POPCC
356#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
357#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000358
sewardjde4a1d02002-03-22 01:27:54 +0000359/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000360 Tool-related types
njn810086f2002-11-14 12:42:47 +0000361 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000362/* These structs are not exposed to tools to mitigate possibility of
363 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000364 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000365typedef
366 struct {
367 Char* name;
368 Char* version;
369 Char* description;
370 Char* copyright_author;
371 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000372 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000373 }
374 VgDetails;
375
376extern VgDetails VG_(details);
377
378/* If new fields are added to this type, update:
379 * - vg_main.c:initialisation of VG_(needs)
380 * - vg_main.c:sanity_check_needs()
381 *
382 * If the name of this type or any of its fields change, update:
383 * - dependent comments (just search for "VG_(needs)").
384 */
385typedef
386 struct {
387 Bool libc_freeres;
388 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000389 Bool skin_errors;
390 Bool basic_block_discards;
391 Bool shadow_regs;
392 Bool command_line_options;
393 Bool client_requests;
394 Bool extended_UCode;
395 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000396 Bool sanity_checks;
397 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000398 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000399 }
400 VgNeeds;
401
402extern VgNeeds VG_(needs);
403
fitzhardinge98abfc72003-12-16 02:05:15 +0000404extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000405
fitzhardinge98abfc72003-12-16 02:05:15 +0000406#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000407
408/* ---------------------------------------------------------------------
409 Exports of vg_needs.c
410 ------------------------------------------------------------------ */
411
412void VG_(sanity_check_needs)(void);
413
414/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000415 Exports of vg_malloc2.c
416 ------------------------------------------------------------------ */
417
418/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000419
420 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000421 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000422 SYMTAB for Valgrind's symbol table storage.
423 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000424 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
425 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000426 DEMANGLE for the C++ demangler.
427 EXECTXT for storing ExeContexts.
428 ERRORS for storing CoreErrors.
429 TRANSIENT for very short-term use. It should be empty in between uses.
430
njn25e49d8e72002-09-23 09:36:25 +0000431 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000432*/
433typedef Int ArenaId;
434
njn3e884182003-04-15 13:03:23 +0000435#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000436
njn3e884182003-04-15 13:03:23 +0000437#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000438#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000439#define VG_AR_SYMTAB 2
440#define VG_AR_JITTER 3
441#define VG_AR_CLIENT 4
442#define VG_AR_DEMANGLE 5
443#define VG_AR_EXECTXT 6
444#define VG_AR_ERRORS 7
445#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000446
nethercote2d5b8162004-08-11 09:40:52 +0000447// This is both the minimum payload size of a malloc'd block, and its
448// minimum alignment. Must be a power of 2 greater than 4, and should be
449// greater than 8.
450#define VG_MIN_MALLOC_SZB 8
451
452// Round-up size for --sloppy-malloc=yes.
453#define VG_SLOPPY_MALLOC_SZB 4
454
njn25e49d8e72002-09-23 09:36:25 +0000455extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
456extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000457extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
458 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000459extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
460 Int size );
461extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000462 Int req_pszB );
463
njn8a6b6c02003-04-22 22:45:55 +0000464extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
465
nethercote885dd912004-08-03 23:14:00 +0000466extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000467
nethercote3a42fb82004-08-03 18:08:50 +0000468extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000469
sewardjde4a1d02002-03-22 01:27:54 +0000470extern Bool VG_(is_empty_arena) ( ArenaId aid );
471
sewardjde4a1d02002-03-22 01:27:54 +0000472/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000473 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000474 ------------------------------------------------------------------ */
475
476/* This doesn't export code or data that valgrind.so needs to link
477 against. However, the scheduler does need to know the following
478 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000479 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000480
njn4c791212003-05-02 17:53:54 +0000481#define VG_USERREQ__MALLOC 0x2001
482#define VG_USERREQ__FREE 0x2002
483
sewardj20917d82002-05-28 01:36:45 +0000484/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
485 MUST NOT return -- ever. Eventually it will do either __QUIT or
486 __WAIT_JOINER. */
487#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
488
489/* ( no-args ): calling thread disappears from the system forever.
490 Reclaim resources. */
491#define VG_USERREQ__QUIT 0x3002
492
493/* ( void* ): calling thread waits for joiner and returns the void* to
494 it. */
495#define VG_USERREQ__WAIT_JOINER 0x3003
496
497/* ( ThreadId, void** ): wait to join a thread. */
498#define VG_USERREQ__PTHREAD_JOIN 0x3004
499
500/* Set cancellation state and type for this thread. */
501#define VG_USERREQ__SET_CANCELSTATE 0x3005
502#define VG_USERREQ__SET_CANCELTYPE 0x3006
503
504/* ( no-args ): Test if we are at a cancellation point. */
505#define VG_USERREQ__TESTCANCEL 0x3007
506
507/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
508 with this arg to indicate that a cancel is now pending for the
509 specified thread. */
510#define VG_USERREQ__SET_CANCELPEND 0x3008
511
512/* Set/get detach state for this thread. */
513#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
514
515#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
516#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
517#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
518#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
519#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
520#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
521#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
522#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
523#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
524#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000525#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
526#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000527#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
528#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000529#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000530#define VG_USERREQ__PTHREAD_KILL 0x301A
531#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000532#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000533
sewardj8ad94e12002-05-29 00:10:20 +0000534#define VG_USERREQ__CLEANUP_PUSH 0x3020
535#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000536#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000537
sewardjef037c72002-05-30 00:40:03 +0000538#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000539
540/* Ask how many signal handler returns have happened to this
541 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000542#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000543
sewardj2cb00342002-06-28 01:46:26 +0000544/* Get/set entries for a thread's pthread_atfork stack. */
545#define VG_USERREQ__SET_FHSTACK_USED 0x3025
546#define VG_USERREQ__GET_FHSTACK_USED 0x3026
547#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
548#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000549
nethercotef971ab72004-08-02 16:27:40 +0000550/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000551#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000552
553/* Allocate RT signals */
554#define VG_USERREQ__GET_SIGRT_MIN 0x302B
555#define VG_USERREQ__GET_SIGRT_MAX 0x302C
556#define VG_USERREQ__ALLOC_RTSIG 0x302D
557
558/* Hook for replace_malloc.o to get malloc functions */
559#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
560
thughesdaa34562004-06-27 12:48:53 +0000561/* Get stack information for a thread. */
562#define VG_USERREQ__GET_STACK_INFO 0x3033
563
sewardj45b4b372002-04-16 22:50:32 +0000564/* Cosmetic ... */
565#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000566/* Log a pthread error from client-space. Cosmetic. */
567#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000568/* Internal equivalent of VALGRIND_PRINTF . */
569#define VG_USERREQ__INTERNAL_PRINTF 0x3103
570/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
571#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000572
sewardj54cacf02002-04-12 23:24:59 +0000573/*
nethercote5a2664c2004-09-02 15:37:39 +0000574In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000575#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000576*/
577
rjwalshe4e779d2004-04-16 23:02:29 +0000578#define VG_INTERCEPT_PREFIX "_vgi__"
579#define VG_INTERCEPT_PREFIX_LEN 6
580#define VG_INTERCEPT(name) _vgi__##name
581#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
582
583#define VG_WRAPPER_PREFIX "_vgw__"
584#define VG_WRAPPER_PREFIX_LEN 6
585#define VG_WRAPPER(name) _vgw__##name
586#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
587
njn4c791212003-05-02 17:53:54 +0000588
fitzhardinge98abfc72003-12-16 02:05:15 +0000589struct vg_mallocfunc_info {
590 /* things vg_replace_malloc.o needs to know about */
591 Addr sk_malloc;
592 Addr sk_calloc;
593 Addr sk_realloc;
594 Addr sk_memalign;
595 Addr sk___builtin_new;
596 Addr sk___builtin_vec_new;
597 Addr sk_free;
598 Addr sk___builtin_delete;
599 Addr sk___builtin_vec_delete;
600
601 Addr arena_payload_szB;
602
603 Bool clo_sloppy_malloc;
604 Bool clo_trace_malloc;
605};
sewardj1fe7b002002-07-16 01:43:15 +0000606
sewardj2e93c502002-04-12 11:12:52 +0000607/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000608 Exports of vg_defaults.c
609 ------------------------------------------------------------------ */
610
611extern Bool VG_(sk_malloc_called_by_scheduler);
612
nethercotef9b59412004-09-10 15:33:32 +0000613/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000614 Exports of vg_libpthread.c
615 ------------------------------------------------------------------ */
616
617/* Replacements for pthread types, shared between vg_libpthread.c and
618 vg_scheduler.c. See comment in vg_libpthread.c above the other
619 vg_pthread_*_t types for a description of how these are used. */
620
621struct _vg_pthread_fastlock
622{
623 long int __vg_status; /* "Free" or "taken" or head of waiting list */
624 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
625 adaptive SMP lock stores spin count here. */
626};
627
628typedef struct
629{
630 int __vg_m_reserved; /* Reserved for future use */
631 int __vg_m_count; /* Depth of recursive locking */
632 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
633 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
634 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
635} vg_pthread_mutex_t;
636
637typedef struct
638{
639 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000640 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
641
642 // Nb: the following padding removed because it was missing from an
643 // earlier glibc, so the size test in the CONVERT macro was failing.
644 // --njn
645
nethercote1f0173b2004-02-28 15:40:36 +0000646 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000647 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000648 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000649 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000650} vg_pthread_cond_t;
651
652
653/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000654 Exports of vg_scheduler.c
655 ------------------------------------------------------------------ */
656
sewardj2e93c502002-04-12 11:12:52 +0000657typedef
jsgf855d93d2003-10-13 22:26:55 +0000658 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000659 VgTs_Empty, /* this slot is not in use */
660 VgTs_Runnable, /* waiting to be scheduled */
661 VgTs_WaitJoiner, /* waiting for someone to do join on me */
662 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000663 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000664 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000665 VgTs_WaitSys, /* waiting for a syscall to complete */
666 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000667 }
668 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000669
thughes11975ff2004-06-12 12:58:22 +0000670typedef
671 enum CleanupType {
672 VgCt_None, /* this cleanup entry is not initialised */
673 VgCt_Function, /* an old-style function pointer cleanup */
674 VgCt_Longjmp /* a new-style longjmp based cleanup */
675 }
676 CleanupType;
677
thughesdaa34562004-06-27 12:48:53 +0000678/* Information on a thread's stack. */
679typedef
680 struct {
681 Addr base;
682 UInt size;
683 UInt guardsize;
684 }
685 StackInfo;
686
sewardj8ad94e12002-05-29 00:10:20 +0000687/* An entry in a threads's cleanup stack. */
688typedef
689 struct {
thughes11975ff2004-06-12 12:58:22 +0000690 CleanupType type;
691 union {
692 struct {
693 void (*fn)(void*);
694 void* arg;
695 } function;
696 struct {
thughesebed9982004-06-12 17:25:25 +0000697 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000698 int ctype;
699 } longjmp;
700 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000701 }
702 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000703
704/* An entry in a thread's fork-handler stack. */
705typedef
706 struct {
707 void (*prepare)(void);
708 void (*parent)(void);
709 void (*child)(void);
710 }
711 ForkHandlerEntry;
712
jsgf855d93d2003-10-13 22:26:55 +0000713typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000714
njn72718642003-07-24 08:45:32 +0000715typedef
716 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000717 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
718 The thread identity is simply the index in vg_threads[].
719 ThreadId == 1 is the root thread and has the special property
720 that we don't try and allocate or deallocate its stack. For
721 convenience of generating error message, we also put the
722 ThreadId in this tid field, but be aware that it should
723 ALWAYS == the index in vg_threads[]. */
724 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000725
njn25e49d8e72002-09-23 09:36:25 +0000726 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000727
njn25e49d8e72002-09-23 09:36:25 +0000728 Complications: whenever this is set to VgTs_WaitMX, you
729 should also set .m_edx to whatever the required return value
730 is for pthread_mutex_lock / pthread_cond_timedwait for when
731 the mutex finally gets unblocked. */
732 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000733
njn25e49d8e72002-09-23 09:36:25 +0000734 /* When .status == WaitMX, points to the mutex I am waiting for.
735 When .status == WaitCV, points to the mutex associated with
736 the condition variable indicated by the .associated_cv field.
737 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000738 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 /* When .status == WaitCV, points to the condition variable I am
741 waiting for. In all other cases, should be NULL. */
742 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000743
njn25e49d8e72002-09-23 09:36:25 +0000744 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000745 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000746
njn25e49d8e72002-09-23 09:36:25 +0000747 If VgTs_WaitCV, this indicates the time at which
748 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
749 this means infinitely far in the future, viz,
750 pthread_cond_wait. */
751 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000752
njn25e49d8e72002-09-23 09:36:25 +0000753 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
754 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000755
njn25e49d8e72002-09-23 09:36:25 +0000756 /* If VgTs_WaitJoinee, place to copy the return value to, and
757 the identity of the thread we're waiting for. */
758 void** joiner_thread_return;
759 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000760
jsgf855d93d2003-10-13 22:26:55 +0000761 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
762 void *sys_pre_res;
763
764 /* If VgTs_WaitSys, this is the syscall we're currently running */
765 Int syscallno;
766
thughesbaa46e52004-07-29 17:44:23 +0000767 /* If VgTs_WaitSys, this is the syscall flags */
768 UInt sys_flags;
769
jsgf855d93d2003-10-13 22:26:55 +0000770 /* Details about this thread's proxy LWP */
771 ProxyLWP *proxy;
772
njn25e49d8e72002-09-23 09:36:25 +0000773 /* Whether or not detached. */
774 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000775
njn25e49d8e72002-09-23 09:36:25 +0000776 /* Cancelability state and type. */
777 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
778 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
779
780 /* Pointer to fn to call to do cancellation. Indicates whether
781 or not cancellation is pending. If NULL, not pending. Else
782 should be &thread_exit_wrapper(), indicating that
783 cancallation is pending. */
784 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000785
njn25e49d8e72002-09-23 09:36:25 +0000786 /* The cleanup stack. */
787 Int custack_used;
788 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000789
sewardj00a66b12002-10-12 16:42:35 +0000790 /* A pointer to the thread's-specific-data. This is handled almost
791 entirely from vg_libpthread.c. We just provide hooks to get and
792 set this ptr. This is either NULL, indicating the thread has
793 read/written none of its specifics so far, OR points to a
794 void*[VG_N_THREAD_KEYS], allocated and deallocated in
795 vg_libpthread.c. */
796 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000797
njn25e49d8e72002-09-23 09:36:25 +0000798 /* This thread's blocked-signals mask. Semantics is that for a
799 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000800 blocked by this signal mask. If more than one thread accepts a
801 signal, then it will be delivered to one at random. If all
802 threads block the signal, it will remain pending until either a
803 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
804
805 sig_mask reflects what the client told us its signal mask should
806 be, but isn't necessarily the current signal mask of the proxy
807 LWP: it may have more signals blocked because of signal
808 handling, or it may be different because of sigsuspend.
809 */
njn25e49d8e72002-09-23 09:36:25 +0000810 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000811
fitzhardingef0dd7e12004-01-16 02:17:30 +0000812 /* Effective signal mask. This is the mask which currently
813 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000814 handler is running.
815 */
816 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000817
thughes8abf3922004-10-16 10:59:49 +0000818 /* Signal queue. This is used when the kernel doesn't route
819 signals properly in order to remember the signal information
820 while we are routing the signal. It is a circular queue with
821 insertions performed at the head and removals at the tail.
822 */
823 vki_ksiginfo_t sigqueue[VG_N_SIGNALQUEUE];
824 Int sigqueue_head;
825 Int sigqueue_tail;
826
njn25e49d8e72002-09-23 09:36:25 +0000827 /* Stacks. When a thread slot is freed, we don't deallocate its
828 stack; we just leave it lying around for the next use of the
829 slot. If the next use of the slot requires a larger stack,
830 only then is the old one deallocated and a new one
831 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000832
njn25e49d8e72002-09-23 09:36:25 +0000833 For the main thread (threadid == 0), this mechanism doesn't
834 apply. We don't know the size of the stack since we didn't
835 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000836
njn25e49d8e72002-09-23 09:36:25 +0000837 /* The allocated size of this thread's stack (permanently zero
838 if this is ThreadId == 0, since we didn't allocate its stack) */
839 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000840
njn25e49d8e72002-09-23 09:36:25 +0000841 /* Address of the lowest word in this thread's stack. NULL means
842 not allocated yet.
843 */
844 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000845
thughesdaa34562004-06-27 12:48:53 +0000846 /* The allocated size of this thread's stack's guard area (permanently
847 zero if this is ThreadId == 0, since we didn't allocate its stack) */
848 UInt stack_guard_size;
849
sewardj92a59562002-09-30 00:53:10 +0000850 /* Address of the highest legitimate word in this stack. This is
851 used for error messages only -- not critical for execution
852 correctness. Is is set for all stacks, specifically including
853 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000854 Addr stack_highest_word;
855
fitzhardinge98c4dc02004-03-16 08:27:29 +0000856 /* Alternate signal stack */
857 vki_kstack_t altstack;
858
nethercotec06e2132004-09-03 13:45:29 +0000859 /* Architecture-specific thread state */
860 arch_thread_t arch;
njn72718642003-07-24 08:45:32 +0000861}
862ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000863
864
sewardj018f7622002-05-15 21:13:39 +0000865/* The thread table. */
866extern ThreadState VG_(threads)[VG_N_THREADS];
867
868/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000869extern Bool VG_(is_valid_tid) ( ThreadId tid );
870
njn72718642003-07-24 08:45:32 +0000871/* Determine if 'tid' is that of the current running thread (Nb: returns
872 False if no thread is currently running. */
873extern Bool VG_(is_running_thread)(ThreadId tid);
874
jsgf855d93d2003-10-13 22:26:55 +0000875/* Get the ThreadState for a particular thread */
876extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
877
sewardj1e8cdc92002-04-18 11:37:52 +0000878/* Similarly ... */
879extern ThreadId VG_(get_current_tid) ( void );
880
sewardjccef2e62002-05-29 19:26:32 +0000881/* Nuke all threads except tid. */
882extern void VG_(nuke_all_threads_except) ( ThreadId me );
883
jsgf855d93d2003-10-13 22:26:55 +0000884/* Give a hint to the scheduler that it may be a good time to find a
885 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
886 try to schedule that thread.
887*/
888extern void VG_(need_resched) ( ThreadId prefer_sched );
889
sewardj2e93c502002-04-12 11:12:52 +0000890/* Return codes from the scheduler. */
891typedef
sewardj7e87e382002-05-03 19:09:05 +0000892 enum {
893 VgSrc_Deadlock, /* no runnable threads and no prospect of any
894 even if we wait for a long time */
895 VgSrc_ExitSyscall, /* client called exit(). This is the normal
896 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000897 VgSrc_FatalSig /* Killed by the default action of a fatal
898 signal */
sewardj7e87e382002-05-03 19:09:05 +0000899 }
sewardj2e93c502002-04-12 11:12:52 +0000900 VgSchedReturnCode;
901
sewardj7e87e382002-05-03 19:09:05 +0000902
nethercote238a3c32004-08-09 13:13:31 +0000903// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
904extern VgSchedReturnCode VG_(scheduler)
905 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000906
907extern void VG_(scheduler_init) ( void );
908
sewardj15a43e12002-04-17 19:35:12 +0000909extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000910
nethercote75d26242004-08-01 22:59:18 +0000911// Longjmp back to the scheduler and thus enter the sighandler immediately.
912extern void VG_(resume_scheduler) ( Int sigNo, vki_ksiginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000913
nethercote238a3c32004-08-09 13:13:31 +0000914// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
915extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
916
sewardj2e93c502002-04-12 11:12:52 +0000917/* The red-zone size which we put at the bottom (highest address) of
918 thread stacks, for paranoia reasons. This can be arbitrary, and
919 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000920#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000921
nethercoteaff1c772004-09-13 16:11:09 +0000922// Write a value to a client's thread register, and shadow (if necessary).
923// Note that there are some further similar macros in the arch- and
924// platform-specific parts; these ones are the totally generic ones.
925#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzREG, zzevent, zzargs... ) \
926 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
927 VG_TRACK( zzevent, zztid, zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000928 } while (0)
929
njnd3040452003-05-19 15:04:06 +0000930#define SET_CLREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000931 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
932 post_reg_write_clientreq_return)
njnd3040452003-05-19 15:04:06 +0000933
934#define SET_CLCALL_RETVAL(zztid, zzval, f) \
nethercoteaff1c772004-09-13 16:11:09 +0000935 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
936 post_reg_write_clientcall_return, f)
njnd3040452003-05-19 15:04:06 +0000937
938#define SET_PTHREQ_ESP(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000939 SET_THREAD_REG(zztid, zzval, ARCH_STACK_PTR, R_STACK_PTR, \
940 post_reg_write_pthread_return)
njnd3040452003-05-19 15:04:06 +0000941
942#define SET_PTHREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000943 SET_THREAD_REG(zztid, zzval, ARCH_PTHREQ_RET, R_PTHREQ_RET, \
944 post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000945
sewardj2e93c502002-04-12 11:12:52 +0000946
947/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000948 Exports of vg_signals.c
949 ------------------------------------------------------------------ */
950
jsgf855d93d2003-10-13 22:26:55 +0000951extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
952
953/* RT signal allocation */
954extern Int VG_(sig_rtmin);
955extern Int VG_(sig_rtmax);
956extern Int VG_(sig_alloc_rtsig) ( Int high );
957
sewardjde4a1d02002-03-22 01:27:54 +0000958extern void VG_(sigstartup_actions) ( void );
959
jsgf855d93d2003-10-13 22:26:55 +0000960extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000961extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000962
jsgf855d93d2003-10-13 22:26:55 +0000963extern Bool VG_(is_sig_ign) ( Int sigNo );
964
965/* Route pending signals from the scheduler LWP to the appropriate
966 thread LWP. */
967extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000968
969/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000970extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000971extern void VG_(do__NR_sigaction) ( ThreadId tid );
nethercote85cdd342004-08-01 22:36:40 +0000972extern void VG_(do__NR_sigprocmask) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000973 vki_ksigset_t* set,
974 vki_ksigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000975extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000976 vki_ksigset_t* set,
977 vki_ksigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000978
sewardj2e93c502002-04-12 11:12:52 +0000979/* Modify the current thread's state once we have detected it is
980 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000981extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000982
sewardj2e93c502002-04-12 11:12:52 +0000983/* Handy utilities to block/restore all host signals. */
984extern void VG_(block_all_host_signals)
985 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000986extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000987 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000988
jsgf855d93d2003-10-13 22:26:55 +0000989extern void VG_(kill_self)(Int sigNo);
990
fitzhardingef1beb252004-03-16 09:49:08 +0000991/* These function synthesize a fault, as if the running instruction
992 had had a fault. These functions do not return - they longjmp back
993 into the scheduler so the signal can be delivered. */
994extern void VG_(synth_fault) (ThreadId tid);
995extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
996extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
997
nethercote759dda32004-08-07 18:16:56 +0000998extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000999
sewardjde4a1d02002-03-22 01:27:54 +00001000/* ---------------------------------------------------------------------
1001 Exports of vg_mylibc.c
1002 ------------------------------------------------------------------ */
1003
njne427a662002-10-02 11:08:25 +00001004#define vg_assert(expr) \
1005 ((void) ((expr) ? 0 : \
1006 (VG_(core_assert_fail) (VG__STRING(expr), \
1007 __FILE__, __LINE__, \
1008 __PRETTY_FUNCTION__), 0)))
1009__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001010extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1011 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001012__attribute__ ((__noreturn__))
1013extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001014__attribute__ ((__noreturn__))
1015extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001016
nethercote05675c82004-08-04 10:37:49 +00001017/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001018extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001019
njn25e49d8e72002-09-23 09:36:25 +00001020extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001021extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001022
fitzhardinge98abfc72003-12-16 02:05:15 +00001023/* system/mman.h */
nethercoteb4250ae2004-07-10 16:50:09 +00001024extern void* VG_(mmap)( void* start, UInt length, UInt prot, UInt flags,
1025 UInt sf_flags, UInt fd, UInt offset );
fitzhardinge98abfc72003-12-16 02:05:15 +00001026extern Int VG_(munmap)( void* start, Int length );
1027extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1028
1029
jsgf855d93d2003-10-13 22:26:55 +00001030/* Move an fd into the Valgrind-safe range */
1031Int VG_(safe_fd)(Int oldfd);
1032
sewardj570f8902002-11-03 11:44:36 +00001033extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001034
1035/* --- Connecting over the network --- */
1036extern Int VG_(connect_via_socket)( UChar* str );
1037
fitzhardinge98abfc72003-12-16 02:05:15 +00001038/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001039extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1040 const Char *val );
1041extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1042extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001043
1044/* ---------------------------------------------------------------------
1045 Exports of vg_message.c
1046 ------------------------------------------------------------------ */
1047
1048/* Low-level -- send bytes directly to the message sink. Do not
1049 use. */
1050extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1051
nethercoted1da90e2004-08-03 17:26:39 +00001052// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001053// sim'd CPU. Defined here because needed for vg_libpthread.c,
1054// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1055// ensures the multiple definitions are not a problem. They must be functions
1056// rather than macros so that va_list can be used.
1057
1058__attribute__((weak))
1059int
1060VALGRIND_INTERNAL_PRINTF(char *format, ...)
1061{
1062 unsigned int _qzz_res = 0;
1063 va_list vargs;
1064 va_start(vargs, format);
1065 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
1066 (unsigned int)format, (unsigned int)vargs, 0, 0);
1067 va_end(vargs);
1068 return _qzz_res;
1069}
1070
1071__attribute__((weak))
1072int
1073VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1074{
1075 unsigned int _qzz_res = 0;
1076 va_list vargs;
1077 va_start(vargs, format);
1078 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
1079 (unsigned int)format, (unsigned int)vargs, 0, 0);
1080 va_end(vargs);
1081 return _qzz_res;
1082}
1083
nethercoted1da90e2004-08-03 17:26:39 +00001084
sewardjde4a1d02002-03-22 01:27:54 +00001085/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001086 Exports of vg_demangle.c
1087 ------------------------------------------------------------------ */
1088
1089extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1090
sewardjde4a1d02002-03-22 01:27:54 +00001091/* ---------------------------------------------------------------------
1092 Exports of vg_from_ucode.c
1093 ------------------------------------------------------------------ */
1094
sewardj22854b92002-11-30 14:00:47 +00001095extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001096
njn25e49d8e72002-09-23 09:36:25 +00001097extern void VG_(print_ccall_stats) ( void );
1098extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001099
sewardj22854b92002-11-30 14:00:47 +00001100extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1101extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001102
sewardjde4a1d02002-03-22 01:27:54 +00001103/* ---------------------------------------------------------------------
1104 Exports of vg_to_ucode.c
1105 ------------------------------------------------------------------ */
1106
fitzhardingec2dbbac2004-01-23 23:09:01 +00001107Bool VG_(cpu_has_feature)(UInt feat);
1108
sewardjde4a1d02002-03-22 01:27:54 +00001109extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001110
1111/* ---------------------------------------------------------------------
1112 Exports of vg_translate.c
1113 ------------------------------------------------------------------ */
1114
njn810086f2002-11-14 12:42:47 +00001115/* Expandable arrays of uinstrs. */
1116struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001117 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001118 Int used;
1119 Int size;
1120 UInstr* instrs;
1121 Int nextTemp;
1122};
1123
nethercote4d714382004-10-13 09:47:24 +00001124extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001125
nethercote885dd912004-08-03 23:14:00 +00001126extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001127
nethercotebee3fd92004-08-02 15:17:43 +00001128extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001129
sewardjde4a1d02002-03-22 01:27:54 +00001130/* ---------------------------------------------------------------------
1131 Exports of vg_execontext.c.
1132 ------------------------------------------------------------------ */
1133
1134/* Records the PC and a bit of the call chain. The first 4 %eip
1135 values are used in comparisons do remove duplicate errors, and for
1136 comparing against suppression specifications. The rest are purely
1137 informational (but often important). */
1138
njn25e49d8e72002-09-23 09:36:25 +00001139struct _ExeContext {
1140 struct _ExeContext * next;
1141 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001142 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001143 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001144 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001145};
sewardjde4a1d02002-03-22 01:27:54 +00001146
1147
sewardjde4a1d02002-03-22 01:27:54 +00001148/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001149extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001150
njn25e49d8e72002-09-23 09:36:25 +00001151/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001152extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1153 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001154
1155
1156/* ---------------------------------------------------------------------
1157 Exports of vg_errcontext.c.
1158 ------------------------------------------------------------------ */
1159
njn25e49d8e72002-09-23 09:36:25 +00001160extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001161
njn25e49d8e72002-09-23 09:36:25 +00001162extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001163
njn25e49d8e72002-09-23 09:36:25 +00001164extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001165
nethercotef2b11482004-08-02 12:36:01 +00001166extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001167
nethercotef2b11482004-08-02 12:36:01 +00001168extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001169
sewardjde4a1d02002-03-22 01:27:54 +00001170/* ---------------------------------------------------------------------
1171 Exports of vg_procselfmaps.c
1172 ------------------------------------------------------------------ */
1173
njnfa1016e2003-09-25 17:54:11 +00001174/* Reads /proc/self/maps into a static buffer which can be parsed by
1175 VG_(parse_procselfmaps)(). */
1176extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001177
1178/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1179 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1180 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001181extern
njnfa1016e2003-09-25 17:54:11 +00001182void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001183 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001184 UInt dev, UInt ino, ULong foff,
1185 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001186
1187
1188/* ---------------------------------------------------------------------
1189 Exports of vg_symtab2.c
1190 ------------------------------------------------------------------ */
1191
fitzhardinge98abfc72003-12-16 02:05:15 +00001192typedef struct _Segment Segment;
1193
1194extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001195extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001196extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001197extern void VG_(symtab_incref) ( SegInfo * );
1198extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001199
njn25e49d8e72002-09-23 09:36:25 +00001200extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001201
fitzhardinge98abfc72003-12-16 02:05:15 +00001202/* Set up some default redirects */
1203extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001204
fitzhardinge98abfc72003-12-16 02:05:15 +00001205/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001206extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001207
1208/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001209 Exports of vg_main.c
1210 ------------------------------------------------------------------ */
1211
sewardjb91ae7f2003-04-29 23:50:00 +00001212/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1213 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001214 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001215 correctly snapshot the startup machine state without it. */
1216extern Bool VG_(have_ssestate);
1217
sewardj73cf3bc2002-11-03 03:20:15 +00001218/* Tell the logging mechanism whether we are logging to a file
1219 descriptor or a socket descriptor. */
1220extern Bool VG_(logging_to_filedes);
1221
njn25e49d8e72002-09-23 09:36:25 +00001222/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001223extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001224
fitzhardinge98abfc72003-12-16 02:05:15 +00001225/* Address space */
1226extern Addr VG_(client_base); /* client address space limits */
1227extern Addr VG_(client_end);
1228extern Addr VG_(client_mapbase); /* base of mappings */
1229extern Addr VG_(clstk_base); /* client stack range */
1230extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001231extern Addr VG_(client_trampoline_code);
1232
fitzhardinge98abfc72003-12-16 02:05:15 +00001233extern Addr VG_(brk_base); /* start of brk */
1234extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001235extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001236extern Addr VG_(shadow_end);
1237extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001238extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001239
fitzhardingeb50068f2004-02-24 23:42:55 +00001240extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
thughesc37184f2004-09-11 14:16:57 +00001241extern vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001242
fitzhardingea49f9b52003-12-16 22:26:45 +00001243/* client executable file descriptor */
1244extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001245
nethercotef6a1d502004-08-09 12:21:57 +00001246// Help set up the child used when doing execve() with --trace-children=yes
1247Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1248Char* VG_(build_child_exename) ( void );
1249
njn9b007f62003-04-07 14:40:25 +00001250/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001251extern Bool VG_(need_to_handle_esp_assignment) ( void );
1252
sewardjde4a1d02002-03-22 01:27:54 +00001253/* Called when some unhandleable client behaviour is detected.
1254 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001255extern void VG_(unimplemented) ( Char* msg )
1256 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001257
nethercote04d0fbc2004-01-26 16:48:06 +00001258/* Something of a function looking for a home ... start up debugger. */
1259extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001260
sewardjde4a1d02002-03-22 01:27:54 +00001261/* Counts downwards in vg_run_innerloop. */
1262extern UInt VG_(dispatch_ctr);
1263
sewardjde4a1d02002-03-22 01:27:54 +00001264/* --- Counters, for informational purposes only. --- */
1265
nethercote92e7b7f2004-08-07 17:52:25 +00001266// These counters must be declared here because they're maintained by
1267// vg_dispatch.S.
1268extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1269extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1270extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001271
nethercote844e7122004-08-02 15:27:22 +00001272extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001273
nethercote2e05c332004-09-06 16:43:37 +00001274extern Int VG_(alloc_BaB)( Int ); // Allocate slots in baseBlock
1275extern void VG_(align_BaB)( UInt ); // Align baseBlock offset
1276extern Int VG_(alloc_BaB_1_set)( Addr ); // Allocate & init baseBlock slot
1277
sewardjde4a1d02002-03-22 01:27:54 +00001278/* ---------------------------------------------------------------------
1279 Exports of vg_memory.c
1280 ------------------------------------------------------------------ */
1281
fitzhardinge98abfc72003-12-16 02:05:15 +00001282/* A Segment is mapped piece of client memory. This covers all kinds
1283 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1284
1285 We try to encode everything we know about a particular segment here.
1286*/
nethercote85cdd342004-08-01 22:36:40 +00001287#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1288#define SF_SHARED (1 << 1) // shared
1289#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1290#define SF_MMAP (1 << 3) // mmap memory
1291#define SF_FILE (1 << 4) // mapping is backed by a file
1292#define SF_STACK (1 << 5) // is a stack
1293#define SF_GROWDOWN (1 << 6) // segment grows down
1294#define SF_GROWUP (1 << 7) // segment grows up
1295#define SF_EXEC (1 << 8) // segment created by exec
1296#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1297#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1298#define SF_BRK (1 << 11) // brk segment
1299#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1300#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1301#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001302
1303struct _Segment {
1304 UInt prot; /* VKI_PROT_* */
1305 UInt flags; /* SF_* */
1306
1307 Addr addr; /* mapped addr (page aligned) */
1308 UInt len; /* size of mapping (page aligned) */
1309
1310 /* These are valid if (flags & SF_FILE) */
1311 ULong offset; /* file offset */
1312 const Char *filename; /* filename (NULL if unknown) */
1313 UInt dev; /* device */
1314 UInt ino; /* inode */
1315
1316 SegInfo *symtab; /* symbol table */
1317};
1318
1319/* segment mapped from a file descriptor */
1320extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1321 Int fd, ULong off, const Char *filename);
1322
1323/* segment mapped from a file */
1324extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1325 UInt dev, UInt ino, ULong off, const Char *filename);
1326
1327/* simple segment */
1328extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1329
1330extern void VG_(unmap_range) (Addr addr, UInt len);
1331extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1332extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1333
1334extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001335extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001336extern Segment *VG_(next_segment)(Segment *);
1337
1338extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1339extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1340
thughes9aaebc32004-07-15 23:13:37 +00001341extern void VG_(pad_address_space)(void);
1342extern void VG_(unpad_address_space)(void);
1343
nethercoteeec46302004-08-23 15:06:23 +00001344extern REGPARM(1)
njnfa1016e2003-09-25 17:54:11 +00001345 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001346
jsgf855d93d2003-10-13 22:26:55 +00001347/* ---------------------------------------------------------------------
1348 Exports of vg_proxylwp.c
1349 ------------------------------------------------------------------ */
1350
1351/* Issue a syscall for thread tid */
1352extern Int VG_(sys_issue)(int tid);
1353
1354extern void VG_(proxy_init) ( void );
1355extern void VG_(proxy_create) ( ThreadId tid );
1356extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1357extern void VG_(proxy_results) ( void );
1358extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1359extern void VG_(proxy_setsigmask)(ThreadId tid);
1360extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1361extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1362extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001363extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001364
nethercote85cdd342004-08-01 22:36:40 +00001365extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1366extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1367 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001368
1369/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001370void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001371
1372/* Send a signal from a thread's proxy to the thread. This longjmps
1373 back into the proxy's main loop, so it doesn't return. */
1374__attribute__ ((__noreturn__))
1375extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001376 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001377
sewardjde4a1d02002-03-22 01:27:54 +00001378/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001379 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001380 ------------------------------------------------------------------ */
1381
fitzhardinge98abfc72003-12-16 02:05:15 +00001382extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001383
jsgf855d93d2003-10-13 22:26:55 +00001384extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001385extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001386
1387extern Bool VG_(is_kerror) ( Int res );
1388
jsgf855d93d2003-10-13 22:26:55 +00001389/* Internal atfork handlers */
1390typedef void (*vg_atfork_t)(ThreadId);
1391extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001392
rjwalshf5f536f2003-11-17 17:45:00 +00001393/* fd leakage calls. */
1394extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001395extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001396
sewardjde4a1d02002-03-22 01:27:54 +00001397/* ---------------------------------------------------------------------
1398 Exports of vg_transtab.c
1399 ------------------------------------------------------------------ */
1400
njn25e49d8e72002-09-23 09:36:25 +00001401/* The fast-cache for tt-lookup. */
1402extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1403
nethercote92e7b7f2004-08-07 17:52:25 +00001404extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001405extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001406 Addr trans_addr, Int trans_size,
1407 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001408extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001409
nethercote92e7b7f2004-08-07 17:52:25 +00001410extern void VG_(invalidate_translations) ( Addr start, UInt range,
1411 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001412
nethercote92e7b7f2004-08-07 17:52:25 +00001413extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001414
nethercote92e7b7f2004-08-07 17:52:25 +00001415extern void VG_(print_tt_tc_stats) ( void );
1416
1417extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001418
sewardjde4a1d02002-03-22 01:27:54 +00001419/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001420 Exports of vg_syscall.S
1421 ------------------------------------------------------------------ */
1422
jsgf855d93d2003-10-13 22:26:55 +00001423extern Int VG_(do_syscall) ( UInt, ... );
1424extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1425 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001426extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001427
1428/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001429 Exports of vg_dispatch.S
1430 ------------------------------------------------------------------ */
1431
sewardj2e93c502002-04-12 11:12:52 +00001432/* Run a thread for a (very short) while, until some event happens
1433 which means we need to defer to the scheduler. */
1434extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001435
sewardj22854b92002-11-30 14:00:47 +00001436/* The patching routing called when a BB wants to chain itself to
1437 another. */
1438extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001439
1440/* ---------------------------------------------------------------------
1441 Exports of vg_helpers.S
1442 ------------------------------------------------------------------ */
1443
sewardj51096432002-12-14 23:59:09 +00001444extern void VG_(helper_undefined_instruction);
1445
fitzhardinge92360792003-12-24 10:11:11 +00001446/* Information about trampoline code (for signal return and syscalls) */
1447extern const Char VG_(trampoline_code_start);
1448extern const Int VG_(trampoline_code_length);
1449extern const Int VG_(tramp_sigreturn_offset);
1450extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001451
njn4f9c9342002-04-29 16:03:24 +00001452/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001453 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001454 ------------------------------------------------------------------ */
1455
fitzhardinge98abfc72003-12-16 02:05:15 +00001456#define VG_TRACK(fn, args...) \
1457 do { \
1458 if (VG_(defined_##fn)()) \
1459 SK_(fn)(args); \
1460 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001461
fitzhardinge98abfc72003-12-16 02:05:15 +00001462__attribute__ ((noreturn))
1463extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001464
sewardjde4a1d02002-03-22 01:27:54 +00001465/* ---------------------------------------------------------------------
nethercote6a27d832004-09-07 10:17:02 +00001466 The baseBlock -- arch-neutral bits
sewardjde4a1d02002-03-22 01:27:54 +00001467 ------------------------------------------------------------------ */
1468
nethercote2e05c332004-09-06 16:43:37 +00001469#define INVALID_OFFSET (-1)
sewardjde4a1d02002-03-22 01:27:54 +00001470
1471/* An array of words. In generated code, %ebp always points to the
1472 start of this array. Useful stuff, like the simulated CPU state,
1473 and the addresses of helper functions, can then be found by
1474 indexing off %ebp. The following declares variables which, at
1475 startup time, are given values denoting offsets into baseBlock.
1476 These offsets are in *words* from the start of baseBlock. */
1477
sewardjb91ae7f2003-04-29 23:50:00 +00001478#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001479
1480extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1481
nethercotec06e2132004-09-03 13:45:29 +00001482// ---------------------------------------------------------------------
1483// Architecture-specific things defined in eg. x86/*.c
1484// ---------------------------------------------------------------------
1485
nethercotec009ebe2004-09-13 11:05:11 +00001486// For setting up the baseBlock
nethercote2e05c332004-09-06 16:43:37 +00001487extern void VGA_(init_low_baseBlock) ( Addr client_eip, Addr esp_at_startup );
1488extern void VGA_(init_high_baseBlock) ( Addr client_eip, Addr esp_at_startup );
1489
nethercotec009ebe2004-09-13 11:05:11 +00001490// Register state moving
nethercotec06e2132004-09-03 13:45:29 +00001491extern void VGA_(load_state) ( arch_thread_t*, ThreadId tid );
1492extern void VGA_(save_state) ( arch_thread_t*, ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001493
nethercotec009ebe2004-09-13 11:05:11 +00001494// Thread stuff
nethercote7587d472004-09-11 23:51:50 +00001495extern void VGA_(clear_thread) ( arch_thread_t* );
1496extern void VGA_(init_thread) ( arch_thread_t* );
nethercotef9b59412004-09-10 15:33:32 +00001497extern void VGA_(cleanup_thread) ( arch_thread_t* );
1498extern void VGA_(setup_child) ( arch_thread_t*, arch_thread_t* );
1499
nethercote6b9c8472004-09-13 13:16:40 +00001500extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1501extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1502
nethercotec009ebe2004-09-13 11:05:11 +00001503// Symtab stuff
nethercotecd656042004-09-11 23:48:22 +00001504extern UInt* VGA_(reg_addr_from_BB) ( Int reg );
1505extern UInt* VGA_(reg_addr_from_tst) ( Int reg, arch_thread_t* );
1506
nethercotefedd8102004-09-13 15:19:34 +00001507// Pointercheck
1508extern Bool VGA_(setup_pointercheck) ( void );
1509
1510// For attaching the debugger
1511extern Int VGA_(ptrace_setregs_from_BB) ( Int pid );
1512extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, arch_thread_t* arch );
1513
1514// Making coredumps
1515extern void VGA_(fill_elfregs_from_BB) ( struct user_regs_struct* regs );
1516extern void VGA_(fill_elfregs_from_tst) ( struct user_regs_struct* regs,
1517 const arch_thread_t* arch );
1518extern void VGA_(fill_elffpregs_from_BB) ( elf_fpregset_t* fpu );
1519extern void VGA_(fill_elffpregs_from_tst) ( elf_fpregset_t* fpu,
1520 const arch_thread_t* arch );
1521extern void VGA_(fill_elffpxregs_from_BB) ( elf_fpxregset_t* xfpu );
1522extern void VGA_(fill_elffpxregs_from_tst) ( elf_fpxregset_t* xfpu,
1523 const arch_thread_t* arch );
1524
nethercote6eec4602004-09-13 14:15:36 +00001525// Signal stuff
1526extern void VGA_(push_signal_frame) ( ThreadId tid, Addr esp_top_of_frame,
1527 const vki_ksiginfo_t *siginfo,
1528 void *handler, UInt flags,
1529 const vki_ksigset_t *mask);
1530extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1531
nethercote775508a2004-09-07 22:38:23 +00001532
sewardj3b2736a2002-03-24 12:18:35 +00001533
1534/* ---------------------------------------------------------------------
1535 Finally - autoconf-generated settings
1536 ------------------------------------------------------------------ */
1537
1538#include "config.h"
1539
nethercotec06e2132004-09-03 13:45:29 +00001540#endif /* ndef __CORE_H */
1541
sewardjde4a1d02002-03-22 01:27:54 +00001542/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001543/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001544/*--------------------------------------------------------------------*/