blob: 0eaabf4e0404e01fadf2577e287fa9acf20aa0f4 [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_... */
84#include "vg_unistd.h"
85
nethercote13343132004-09-02 15:49:09 +000086#include "core_asm.h" // asm stuff
87#include "tool.h" // tool stuff
nethercotec06e2132004-09-03 13:45:29 +000088#include "core_arch.h" // arch-specific stuff; eg. x86/arch.h
sewardjde4a1d02002-03-22 01:27:54 +000089
fitzhardinge39de4b42003-10-31 07:12:21 +000090#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000091
fitzhardinge98abfc72003-12-16 02:05:15 +000092#undef SK_
93#define SK_(x) vgSkinInternal_##x
94
nethercote7be47252004-09-02 16:02:58 +000095
96/* ---------------------------------------------------------------------
97 Build options and table sizes. You should be able to change these
98 options or sizes, recompile, and still have a working system.
99 ------------------------------------------------------------------ */
100
sewardjde4a1d02002-03-22 01:27:54 +0000101/* Total number of spill slots available for allocation, if a TempReg
102 doesn't make it into a RealReg. Just bomb the entire system if
103 this value is too small; we don't expect it will ever get
104 particularly high. */
105#define VG_MAX_SPILLSLOTS 24
106
107
108/* Constants for the slow translation lookup cache. */
109#define VG_TRANSTAB_SLOW_BITS 11
110#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
111#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
112
113/* Size of a buffer used for creating messages. */
114#define M_VG_MSGBUF 10000
115
116/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000117#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000118
119/* Max length of pathname to a .so/executable file. */
120#define M_VG_LIBNAMESTR 100
121
122/* Max length of a text fragment used to construct error messages. */
123#define M_VG_ERRTXT 512
124
125/* Max length of the string copied from env var VG_ARGS at startup. */
126#define M_VG_CMDLINE_STRLEN 1000
127
128/* Max number of options for Valgrind which we can handle. */
129#define M_VG_CMDLINE_OPTS 100
130
131/* After this many different unsuppressed errors have been observed,
132 be more conservative about collecting new ones. */
133#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
134
135/* After this many different unsuppressed errors have been observed,
136 stop collecting errors at all, and tell the user their program is
137 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000138#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000139
140/* After this many total errors have been observed, stop collecting
141 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000142#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000143
sewardjde4a1d02002-03-22 01:27:54 +0000144/* The maximum number of calls we're prepared to save in a
145 backtrace. */
146#define VG_DEEPEST_BACKTRACE 50
147
sewardjde4a1d02002-03-22 01:27:54 +0000148/* Number of lists in which we keep track of ExeContexts. Should be
149 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000150#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000151
sewardj2e93c502002-04-12 11:12:52 +0000152/* Defines the thread-scheduling timeslice, in terms of the number of
153 basic blocks we attempt to run each thread for. Smaller values
154 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000155#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000156
fitzhardingef0046f22003-12-18 02:39:22 +0000157/* Number of file descriptors that Valgrind tries to reserve for
158 it's own use - two per thread plues a small number of extras. */
159#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000160
sewardjbf290b92002-05-01 02:28:01 +0000161/* Stack size for a thread. We try and check that they do not go
162 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000163#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000164
sewardj20917d82002-05-28 01:36:45 +0000165/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000166#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000167
sewardj8ad94e12002-05-29 00:10:20 +0000168/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000169#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000170
sewardj2cb00342002-06-28 01:46:26 +0000171/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000172#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000173
njn25e49d8e72002-09-23 09:36:25 +0000174/* Max number of callers for context in a suppression. */
175#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000176
fitzhardinge98abfc72003-12-16 02:05:15 +0000177/* Useful macros */
178/* a - alignment - must be a power of 2 */
179#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
180#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
181#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
182#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
183
184
sewardjde4a1d02002-03-22 01:27:54 +0000185/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000186 Command-line-settable options
187 ------------------------------------------------------------------ */
188
sewardj4f094a72002-11-05 23:37:35 +0000189/* Default destination port to be used in logging over a network, if
190 none specified. */
191#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000192
193/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000194#define VG_CLO_MAX_SFILES 10
195
nethercote04d0fbc2004-01-26 16:48:06 +0000196/* Default debugger command. */
197#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
198
sewardj4cf05692002-10-27 20:28:29 +0000199/* Describes where logging output is to be sent. */
200typedef
201 enum {
202 VgLogTo_Fd,
203 VgLogTo_File,
204 VgLogTo_Socket
205 } VgLogTo;
206
jsgf855d93d2003-10-13 22:26:55 +0000207/* pid of main process */
208extern Int VG_(main_pid);
209
210/* pgrp of process (global to all threads) */
211extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000212
thughesad1c9562004-06-26 11:27:52 +0000213/* Application-visible file descriptor limits */
214extern Int VG_(fd_soft_limit);
215extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000216
sewardj72f98ff2002-06-13 17:23:38 +0000217/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000218extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000219/* Enquire about whether to attach to a debugger at errors? default: NO */
220extern Bool VG_(clo_db_attach);
221/* The debugger command? default: whatever gdb ./configure found */
222extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000223/* Enquire about generating a suppression for each error? default: NO */
224extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000225/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000226extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000227/* Automatically attempt to demangle C++ names? default: YES */
228extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000229/* Simulate child processes? default: NO */
230extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000231
232/* Where logging output is to be sent to.
233
nethercotef8548672004-06-21 12:42:35 +0000234 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
235 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000236
nethercotef8548672004-06-21 12:42:35 +0000237 When log_to == VgLogTo_File, clo_log_name holds the log-file
238 name, and is taken from the command line. clo_log_fd is then
239 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000240 (concatenated with the process ID) for writing.
241
nethercotef8548672004-06-21 12:42:35 +0000242 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000243 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000244 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000245 opening a connection to said hostname:portnumber pair.
246
nethercotef8548672004-06-21 12:42:35 +0000247 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000248 (stderr). */
249extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000250extern Int VG_(clo_log_fd);
251extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000252
thughes6233a382004-08-21 11:10:44 +0000253/* Add timestamps to log messages? default: NO */
254extern Bool VG_(clo_time_stamp);
255
sewardj6024b212003-07-13 10:54:33 +0000256/* The file descriptor to read for input. default: 0 == stdin */
257extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000258/* The number of suppression files specified. */
259extern Int VG_(clo_n_suppressions);
260/* The names of the suppression files. */
261extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
262
263/* Single stepping? default: NO */
264extern Bool VG_(clo_single_step);
265/* Code improvement? default: YES */
266extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000267/* DEBUG: print generated code? default: 00000 ( == NO ) */
268extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000269/* DEBUG: print system calls? default: NO */
270extern Bool VG_(clo_trace_syscalls);
271/* DEBUG: print signal details? default: NO */
272extern Bool VG_(clo_trace_signals);
273/* DEBUG: print symtab details? default: NO */
274extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000275/* DEBUG: print thread scheduling events? default: NO */
276extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000277/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
278 (some), 2 (all) */
279extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000280/* Display gory details for the k'th most popular error. default:
281 Infinity. */
282extern Int VG_(clo_dump_error);
283/* Number of parents of a backtrace. Default: 8. */
284extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000285/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000286extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000287/* How often we should poll for signals, assuming we need to poll for
288 signals. */
289extern Int VG_(clo_signal_polltime);
290
291/* Low latency syscalls and signals */
292extern Bool VG_(clo_lowlat_syscalls);
293extern Bool VG_(clo_lowlat_signals);
294
rjwalshf5f536f2003-11-17 17:45:00 +0000295/* Track open file descriptors? */
296extern Bool VG_(clo_track_fds);
297
sewardj858964b2002-10-05 14:15:43 +0000298/* Should we run __libc_freeres at exit? Sometimes causes crashes.
299 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
300 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000301 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000302 cannot be overridden from the command line. */
303extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000304/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000305extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000306/* Generate branch-prediction hints? */
307extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000308/* Continue stack traces below main()? Default: NO */
309extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000310/* Test each client pointer dereference to check it's within the
311 client address space bounds */
312extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000313
rjwalshe4e779d2004-04-16 23:02:29 +0000314/* Set up the libc freeres wrapper */
315extern void VG_(intercept_libc_freeres_wrapper)(Addr);
316
sewardjde4a1d02002-03-22 01:27:54 +0000317/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000318 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000319 ------------------------------------------------------------------ */
320
sewardjde4a1d02002-03-22 01:27:54 +0000321extern void VGP_(init_profiling) ( void );
322extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000323
njn25e49d8e72002-09-23 09:36:25 +0000324#undef VGP_PUSHCC
325#undef VGP_POPCC
326#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
327#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000328
sewardjde4a1d02002-03-22 01:27:54 +0000329/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000330 Tool-related types
njn810086f2002-11-14 12:42:47 +0000331 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000332/* These structs are not exposed to tools to mitigate possibility of
333 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000334 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000335typedef
336 struct {
337 Char* name;
338 Char* version;
339 Char* description;
340 Char* copyright_author;
341 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000342 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000343 }
344 VgDetails;
345
346extern VgDetails VG_(details);
347
348/* If new fields are added to this type, update:
349 * - vg_main.c:initialisation of VG_(needs)
350 * - vg_main.c:sanity_check_needs()
351 *
352 * If the name of this type or any of its fields change, update:
353 * - dependent comments (just search for "VG_(needs)").
354 */
355typedef
356 struct {
357 Bool libc_freeres;
358 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000359 Bool skin_errors;
360 Bool basic_block_discards;
361 Bool shadow_regs;
362 Bool command_line_options;
363 Bool client_requests;
364 Bool extended_UCode;
365 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000366 Bool sanity_checks;
367 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000368 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000369 }
370 VgNeeds;
371
372extern VgNeeds VG_(needs);
373
fitzhardinge98abfc72003-12-16 02:05:15 +0000374extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000375
fitzhardinge98abfc72003-12-16 02:05:15 +0000376#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000377
378/* ---------------------------------------------------------------------
379 Exports of vg_needs.c
380 ------------------------------------------------------------------ */
381
382void VG_(sanity_check_needs)(void);
383
384/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000385 Exports of vg_malloc2.c
386 ------------------------------------------------------------------ */
387
388/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000389
390 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000391 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000392 SYMTAB for Valgrind's symbol table storage.
393 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000394 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
395 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000396 DEMANGLE for the C++ demangler.
397 EXECTXT for storing ExeContexts.
398 ERRORS for storing CoreErrors.
399 TRANSIENT for very short-term use. It should be empty in between uses.
400
njn25e49d8e72002-09-23 09:36:25 +0000401 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000402*/
403typedef Int ArenaId;
404
njn3e884182003-04-15 13:03:23 +0000405#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000406
njn3e884182003-04-15 13:03:23 +0000407#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000408#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000409#define VG_AR_SYMTAB 2
410#define VG_AR_JITTER 3
411#define VG_AR_CLIENT 4
412#define VG_AR_DEMANGLE 5
413#define VG_AR_EXECTXT 6
414#define VG_AR_ERRORS 7
415#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000416
nethercote2d5b8162004-08-11 09:40:52 +0000417// This is both the minimum payload size of a malloc'd block, and its
418// minimum alignment. Must be a power of 2 greater than 4, and should be
419// greater than 8.
420#define VG_MIN_MALLOC_SZB 8
421
422// Round-up size for --sloppy-malloc=yes.
423#define VG_SLOPPY_MALLOC_SZB 4
424
njn25e49d8e72002-09-23 09:36:25 +0000425extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
426extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000427extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
428 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000429extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
430 Int size );
431extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000432 Int req_pszB );
433
njn8a6b6c02003-04-22 22:45:55 +0000434extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
435
nethercote885dd912004-08-03 23:14:00 +0000436extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000437
nethercote3a42fb82004-08-03 18:08:50 +0000438extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000439
sewardjde4a1d02002-03-22 01:27:54 +0000440extern Bool VG_(is_empty_arena) ( ArenaId aid );
441
sewardjde4a1d02002-03-22 01:27:54 +0000442/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000443 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000444 ------------------------------------------------------------------ */
445
446/* This doesn't export code or data that valgrind.so needs to link
447 against. However, the scheduler does need to know the following
448 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000449 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000450
njn4c791212003-05-02 17:53:54 +0000451#define VG_USERREQ__MALLOC 0x2001
452#define VG_USERREQ__FREE 0x2002
453
sewardj20917d82002-05-28 01:36:45 +0000454/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
455 MUST NOT return -- ever. Eventually it will do either __QUIT or
456 __WAIT_JOINER. */
457#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
458
459/* ( no-args ): calling thread disappears from the system forever.
460 Reclaim resources. */
461#define VG_USERREQ__QUIT 0x3002
462
463/* ( void* ): calling thread waits for joiner and returns the void* to
464 it. */
465#define VG_USERREQ__WAIT_JOINER 0x3003
466
467/* ( ThreadId, void** ): wait to join a thread. */
468#define VG_USERREQ__PTHREAD_JOIN 0x3004
469
470/* Set cancellation state and type for this thread. */
471#define VG_USERREQ__SET_CANCELSTATE 0x3005
472#define VG_USERREQ__SET_CANCELTYPE 0x3006
473
474/* ( no-args ): Test if we are at a cancellation point. */
475#define VG_USERREQ__TESTCANCEL 0x3007
476
477/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
478 with this arg to indicate that a cancel is now pending for the
479 specified thread. */
480#define VG_USERREQ__SET_CANCELPEND 0x3008
481
482/* Set/get detach state for this thread. */
483#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
484
485#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
486#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
487#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
488#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
489#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
490#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
491#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
492#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
493#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
494#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000495#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
496#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000497#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
498#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000499#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000500#define VG_USERREQ__PTHREAD_KILL 0x301A
501#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000502#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000503
sewardj8ad94e12002-05-29 00:10:20 +0000504#define VG_USERREQ__CLEANUP_PUSH 0x3020
505#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000506#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000507
sewardjef037c72002-05-30 00:40:03 +0000508#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000509
510/* Ask how many signal handler returns have happened to this
511 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000512#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000513
sewardj2cb00342002-06-28 01:46:26 +0000514/* Get/set entries for a thread's pthread_atfork stack. */
515#define VG_USERREQ__SET_FHSTACK_USED 0x3025
516#define VG_USERREQ__GET_FHSTACK_USED 0x3026
517#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
518#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000519
nethercotef971ab72004-08-02 16:27:40 +0000520/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000521#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000522
523/* Allocate RT signals */
524#define VG_USERREQ__GET_SIGRT_MIN 0x302B
525#define VG_USERREQ__GET_SIGRT_MAX 0x302C
526#define VG_USERREQ__ALLOC_RTSIG 0x302D
527
528/* Hook for replace_malloc.o to get malloc functions */
529#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
530
thughesdaa34562004-06-27 12:48:53 +0000531/* Get stack information for a thread. */
532#define VG_USERREQ__GET_STACK_INFO 0x3033
533
sewardj45b4b372002-04-16 22:50:32 +0000534/* Cosmetic ... */
535#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000536/* Log a pthread error from client-space. Cosmetic. */
537#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000538/* Internal equivalent of VALGRIND_PRINTF . */
539#define VG_USERREQ__INTERNAL_PRINTF 0x3103
540/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
541#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000542
sewardj54cacf02002-04-12 23:24:59 +0000543/*
nethercote5a2664c2004-09-02 15:37:39 +0000544In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000545#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000546*/
547
rjwalshe4e779d2004-04-16 23:02:29 +0000548#define VG_INTERCEPT_PREFIX "_vgi__"
549#define VG_INTERCEPT_PREFIX_LEN 6
550#define VG_INTERCEPT(name) _vgi__##name
551#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
552
553#define VG_WRAPPER_PREFIX "_vgw__"
554#define VG_WRAPPER_PREFIX_LEN 6
555#define VG_WRAPPER(name) _vgw__##name
556#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
557
njn4c791212003-05-02 17:53:54 +0000558
fitzhardinge98abfc72003-12-16 02:05:15 +0000559struct vg_mallocfunc_info {
560 /* things vg_replace_malloc.o needs to know about */
561 Addr sk_malloc;
562 Addr sk_calloc;
563 Addr sk_realloc;
564 Addr sk_memalign;
565 Addr sk___builtin_new;
566 Addr sk___builtin_vec_new;
567 Addr sk_free;
568 Addr sk___builtin_delete;
569 Addr sk___builtin_vec_delete;
570
571 Addr arena_payload_szB;
572
573 Bool clo_sloppy_malloc;
574 Bool clo_trace_malloc;
575};
sewardj1fe7b002002-07-16 01:43:15 +0000576
sewardj2e93c502002-04-12 11:12:52 +0000577/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000578 Exports of vg_defaults.c
579 ------------------------------------------------------------------ */
580
581extern Bool VG_(sk_malloc_called_by_scheduler);
582
583
sewardj92a59562002-09-30 00:53:10 +0000584/* Maximum number of LDT entries supported (by the x86). */
585#define VG_M_LDT_ENTRIES 8192
586/* The size of each LDT entry == sizeof(VgLdtEntry) */
587#define VG_LDT_ENTRY_SIZE 8
588
589/* Alloc & copy, and dealloc. */
nethercote85cdd342004-08-01 22:36:40 +0000590extern VgLdtEntry* VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
591extern void VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
592extern void VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000593
594/* Simulate the modify_ldt syscall. */
595extern Int VG_(sys_modify_ldt) ( ThreadId tid,
596 Int func, void* ptr, UInt bytecount );
597
fitzhardinge47735af2004-01-21 01:27:27 +0000598/* Simulate the {get,set}_thread_area syscalls. */
599extern Int VG_(sys_set_thread_area) ( ThreadId tid,
600 struct vki_modify_ldt_ldt_s* info );
601extern Int VG_(sys_get_thread_area) ( ThreadId tid,
602 struct vki_modify_ldt_ldt_s* info );
603
sewardje1042472002-09-30 12:33:11 +0000604/* Called from generated code. Given a segment selector and a virtual
605 address, return a linear address, and do limit checks too. */
606extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
607
sewardj92a59562002-09-30 00:53:10 +0000608
609/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000610 Exports of vg_libpthread.c
611 ------------------------------------------------------------------ */
612
613/* Replacements for pthread types, shared between vg_libpthread.c and
614 vg_scheduler.c. See comment in vg_libpthread.c above the other
615 vg_pthread_*_t types for a description of how these are used. */
616
617struct _vg_pthread_fastlock
618{
619 long int __vg_status; /* "Free" or "taken" or head of waiting list */
620 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
621 adaptive SMP lock stores spin count here. */
622};
623
624typedef struct
625{
626 int __vg_m_reserved; /* Reserved for future use */
627 int __vg_m_count; /* Depth of recursive locking */
628 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
629 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
630 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
631} vg_pthread_mutex_t;
632
633typedef struct
634{
635 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000636 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
637
638 // Nb: the following padding removed because it was missing from an
639 // earlier glibc, so the size test in the CONVERT macro was failing.
640 // --njn
641
nethercote1f0173b2004-02-28 15:40:36 +0000642 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000643 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000644 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000645 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000646} vg_pthread_cond_t;
647
648
649/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000650 Exports of vg_scheduler.c
651 ------------------------------------------------------------------ */
652
sewardj2e93c502002-04-12 11:12:52 +0000653typedef
jsgf855d93d2003-10-13 22:26:55 +0000654 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000655 VgTs_Empty, /* this slot is not in use */
656 VgTs_Runnable, /* waiting to be scheduled */
657 VgTs_WaitJoiner, /* waiting for someone to do join on me */
658 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000659 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000660 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000661 VgTs_WaitSys, /* waiting for a syscall to complete */
662 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000663 }
664 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000665
thughes11975ff2004-06-12 12:58:22 +0000666typedef
667 enum CleanupType {
668 VgCt_None, /* this cleanup entry is not initialised */
669 VgCt_Function, /* an old-style function pointer cleanup */
670 VgCt_Longjmp /* a new-style longjmp based cleanup */
671 }
672 CleanupType;
673
thughesdaa34562004-06-27 12:48:53 +0000674/* Information on a thread's stack. */
675typedef
676 struct {
677 Addr base;
678 UInt size;
679 UInt guardsize;
680 }
681 StackInfo;
682
sewardj8ad94e12002-05-29 00:10:20 +0000683/* An entry in a threads's cleanup stack. */
684typedef
685 struct {
thughes11975ff2004-06-12 12:58:22 +0000686 CleanupType type;
687 union {
688 struct {
689 void (*fn)(void*);
690 void* arg;
691 } function;
692 struct {
thughesebed9982004-06-12 17:25:25 +0000693 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000694 int ctype;
695 } longjmp;
696 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000697 }
698 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000699
700/* An entry in a thread's fork-handler stack. */
701typedef
702 struct {
703 void (*prepare)(void);
704 void (*parent)(void);
705 void (*child)(void);
706 }
707 ForkHandlerEntry;
708
jsgf855d93d2003-10-13 22:26:55 +0000709typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000710
njn72718642003-07-24 08:45:32 +0000711typedef
712 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000713 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
714 The thread identity is simply the index in vg_threads[].
715 ThreadId == 1 is the root thread and has the special property
716 that we don't try and allocate or deallocate its stack. For
717 convenience of generating error message, we also put the
718 ThreadId in this tid field, but be aware that it should
719 ALWAYS == the index in vg_threads[]. */
720 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000721
njn25e49d8e72002-09-23 09:36:25 +0000722 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000723
njn25e49d8e72002-09-23 09:36:25 +0000724 Complications: whenever this is set to VgTs_WaitMX, you
725 should also set .m_edx to whatever the required return value
726 is for pthread_mutex_lock / pthread_cond_timedwait for when
727 the mutex finally gets unblocked. */
728 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000729
njn25e49d8e72002-09-23 09:36:25 +0000730 /* When .status == WaitMX, points to the mutex I am waiting for.
731 When .status == WaitCV, points to the mutex associated with
732 the condition variable indicated by the .associated_cv field.
733 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000734 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000735
njn25e49d8e72002-09-23 09:36:25 +0000736 /* When .status == WaitCV, points to the condition variable I am
737 waiting for. In all other cases, should be NULL. */
738 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000741 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000742
njn25e49d8e72002-09-23 09:36:25 +0000743 If VgTs_WaitCV, this indicates the time at which
744 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
745 this means infinitely far in the future, viz,
746 pthread_cond_wait. */
747 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000748
njn25e49d8e72002-09-23 09:36:25 +0000749 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
750 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* If VgTs_WaitJoinee, place to copy the return value to, and
753 the identity of the thread we're waiting for. */
754 void** joiner_thread_return;
755 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000756
jsgf855d93d2003-10-13 22:26:55 +0000757 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
758 void *sys_pre_res;
759
760 /* If VgTs_WaitSys, this is the syscall we're currently running */
761 Int syscallno;
762
thughesbaa46e52004-07-29 17:44:23 +0000763 /* If VgTs_WaitSys, this is the syscall flags */
764 UInt sys_flags;
765
jsgf855d93d2003-10-13 22:26:55 +0000766 /* Details about this thread's proxy LWP */
767 ProxyLWP *proxy;
768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* Whether or not detached. */
770 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000771
njn25e49d8e72002-09-23 09:36:25 +0000772 /* Cancelability state and type. */
773 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
774 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
775
776 /* Pointer to fn to call to do cancellation. Indicates whether
777 or not cancellation is pending. If NULL, not pending. Else
778 should be &thread_exit_wrapper(), indicating that
779 cancallation is pending. */
780 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* The cleanup stack. */
783 Int custack_used;
784 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000785
sewardj00a66b12002-10-12 16:42:35 +0000786 /* A pointer to the thread's-specific-data. This is handled almost
787 entirely from vg_libpthread.c. We just provide hooks to get and
788 set this ptr. This is either NULL, indicating the thread has
789 read/written none of its specifics so far, OR points to a
790 void*[VG_N_THREAD_KEYS], allocated and deallocated in
791 vg_libpthread.c. */
792 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000793
njn25e49d8e72002-09-23 09:36:25 +0000794 /* This thread's blocked-signals mask. Semantics is that for a
795 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000796 blocked by this signal mask. If more than one thread accepts a
797 signal, then it will be delivered to one at random. If all
798 threads block the signal, it will remain pending until either a
799 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
800
801 sig_mask reflects what the client told us its signal mask should
802 be, but isn't necessarily the current signal mask of the proxy
803 LWP: it may have more signals blocked because of signal
804 handling, or it may be different because of sigsuspend.
805 */
njn25e49d8e72002-09-23 09:36:25 +0000806 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000807
fitzhardingef0dd7e12004-01-16 02:17:30 +0000808 /* Effective signal mask. This is the mask which currently
809 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000810 handler is running.
811 */
812 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000813
njn25e49d8e72002-09-23 09:36:25 +0000814 /* Stacks. When a thread slot is freed, we don't deallocate its
815 stack; we just leave it lying around for the next use of the
816 slot. If the next use of the slot requires a larger stack,
817 only then is the old one deallocated and a new one
818 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000819
njn25e49d8e72002-09-23 09:36:25 +0000820 For the main thread (threadid == 0), this mechanism doesn't
821 apply. We don't know the size of the stack since we didn't
822 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000823
njn25e49d8e72002-09-23 09:36:25 +0000824 /* The allocated size of this thread's stack (permanently zero
825 if this is ThreadId == 0, since we didn't allocate its stack) */
826 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000827
njn25e49d8e72002-09-23 09:36:25 +0000828 /* Address of the lowest word in this thread's stack. NULL means
829 not allocated yet.
830 */
831 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000832
thughesdaa34562004-06-27 12:48:53 +0000833 /* The allocated size of this thread's stack's guard area (permanently
834 zero if this is ThreadId == 0, since we didn't allocate its stack) */
835 UInt stack_guard_size;
836
sewardj92a59562002-09-30 00:53:10 +0000837 /* Address of the highest legitimate word in this stack. This is
838 used for error messages only -- not critical for execution
839 correctness. Is is set for all stacks, specifically including
840 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000841 Addr stack_highest_word;
842
fitzhardinge98c4dc02004-03-16 08:27:29 +0000843 /* Alternate signal stack */
844 vki_kstack_t altstack;
845
nethercotec06e2132004-09-03 13:45:29 +0000846 /* Architecture-specific thread state */
847 arch_thread_t arch;
njn72718642003-07-24 08:45:32 +0000848}
849ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000850
851
sewardj018f7622002-05-15 21:13:39 +0000852/* The thread table. */
853extern ThreadState VG_(threads)[VG_N_THREADS];
854
855/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000856extern Bool VG_(is_valid_tid) ( ThreadId tid );
857
njn72718642003-07-24 08:45:32 +0000858/* Determine if 'tid' is that of the current running thread (Nb: returns
859 False if no thread is currently running. */
860extern Bool VG_(is_running_thread)(ThreadId tid);
861
jsgf855d93d2003-10-13 22:26:55 +0000862/* Get the ThreadState for a particular thread */
863extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
864
sewardj1e8cdc92002-04-18 11:37:52 +0000865/* Similarly ... */
866extern ThreadId VG_(get_current_tid) ( void );
867
sewardjccef2e62002-05-29 19:26:32 +0000868/* Nuke all threads except tid. */
869extern void VG_(nuke_all_threads_except) ( ThreadId me );
870
jsgf855d93d2003-10-13 22:26:55 +0000871/* Give a hint to the scheduler that it may be a good time to find a
872 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
873 try to schedule that thread.
874*/
875extern void VG_(need_resched) ( ThreadId prefer_sched );
876
sewardj2e93c502002-04-12 11:12:52 +0000877/* Return codes from the scheduler. */
878typedef
sewardj7e87e382002-05-03 19:09:05 +0000879 enum {
880 VgSrc_Deadlock, /* no runnable threads and no prospect of any
881 even if we wait for a long time */
882 VgSrc_ExitSyscall, /* client called exit(). This is the normal
883 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000884 VgSrc_FatalSig /* Killed by the default action of a fatal
885 signal */
sewardj7e87e382002-05-03 19:09:05 +0000886 }
sewardj2e93c502002-04-12 11:12:52 +0000887 VgSchedReturnCode;
888
sewardj7e87e382002-05-03 19:09:05 +0000889
nethercote238a3c32004-08-09 13:13:31 +0000890// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
891extern VgSchedReturnCode VG_(scheduler)
892 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000893
894extern void VG_(scheduler_init) ( void );
895
sewardj15a43e12002-04-17 19:35:12 +0000896extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000897
nethercote75d26242004-08-01 22:59:18 +0000898// Longjmp back to the scheduler and thus enter the sighandler immediately.
899extern void VG_(resume_scheduler) ( Int sigNo, vki_ksiginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000900
nethercote238a3c32004-08-09 13:13:31 +0000901// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
902extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
903
sewardj2e93c502002-04-12 11:12:52 +0000904/* The red-zone size which we put at the bottom (highest address) of
905 thread stacks, for paranoia reasons. This can be arbitrary, and
906 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000907#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000908
njnd3040452003-05-19 15:04:06 +0000909/* Write a value to a client's thread register, and shadow (if necessary) */
910#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
nethercotec06e2132004-09-03 13:45:29 +0000911 do { VG_(threads)[zztid].arch.m_##zzreg = (zzval); \
njnd3040452003-05-19 15:04:06 +0000912 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000913 } while (0)
914
njnd3040452003-05-19 15:04:06 +0000915#define SET_SYSCALL_RETVAL(zztid, zzval) \
916 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
917
njnd3040452003-05-19 15:04:06 +0000918#define SET_SIGNAL_ESP(zztid, zzval) \
919 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
920
921#define SET_CLREQ_RETVAL(zztid, zzval) \
922 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
923
924#define SET_CLCALL_RETVAL(zztid, zzval, f) \
925 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
926
927#define SET_PTHREQ_ESP(zztid, zzval) \
928 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
929
930#define SET_PTHREQ_RETVAL(zztid, zzval) \
931 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000932
sewardj2e93c502002-04-12 11:12:52 +0000933
934/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000935 Exports of vg_signals.c
936 ------------------------------------------------------------------ */
937
jsgf855d93d2003-10-13 22:26:55 +0000938extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
939
940/* RT signal allocation */
941extern Int VG_(sig_rtmin);
942extern Int VG_(sig_rtmax);
943extern Int VG_(sig_alloc_rtsig) ( Int high );
944
sewardjde4a1d02002-03-22 01:27:54 +0000945extern void VG_(sigstartup_actions) ( void );
946
jsgf855d93d2003-10-13 22:26:55 +0000947extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000948extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000949
jsgf855d93d2003-10-13 22:26:55 +0000950extern Bool VG_(is_sig_ign) ( Int sigNo );
951
952/* Route pending signals from the scheduler LWP to the appropriate
953 thread LWP. */
954extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000955
956/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000957extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000958extern void VG_(do__NR_sigaction) ( ThreadId tid );
nethercote85cdd342004-08-01 22:36:40 +0000959extern void VG_(do__NR_sigprocmask) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000960 vki_ksigset_t* set,
961 vki_ksigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000962extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000963 vki_ksigset_t* set,
964 vki_ksigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000965
sewardj2e93c502002-04-12 11:12:52 +0000966/* Modify the current thread's state once we have detected it is
967 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000968extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000969
sewardj2e93c502002-04-12 11:12:52 +0000970/* Handy utilities to block/restore all host signals. */
971extern void VG_(block_all_host_signals)
972 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000973extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000974 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000975
jsgf855d93d2003-10-13 22:26:55 +0000976extern void VG_(kill_self)(Int sigNo);
977
fitzhardingef1beb252004-03-16 09:49:08 +0000978/* These function synthesize a fault, as if the running instruction
979 had had a fault. These functions do not return - they longjmp back
980 into the scheduler so the signal can be delivered. */
981extern void VG_(synth_fault) (ThreadId tid);
982extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
983extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
984
nethercote759dda32004-08-07 18:16:56 +0000985extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000986
sewardjde4a1d02002-03-22 01:27:54 +0000987/* ---------------------------------------------------------------------
988 Exports of vg_mylibc.c
989 ------------------------------------------------------------------ */
990
njne427a662002-10-02 11:08:25 +0000991#define vg_assert(expr) \
992 ((void) ((expr) ? 0 : \
993 (VG_(core_assert_fail) (VG__STRING(expr), \
994 __FILE__, __LINE__, \
995 __PRETTY_FUNCTION__), 0)))
996__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +0000997extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
998 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +0000999__attribute__ ((__noreturn__))
1000extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001001
nethercote05675c82004-08-04 10:37:49 +00001002/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001003extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001004
njn25e49d8e72002-09-23 09:36:25 +00001005extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001006extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001007
fitzhardinge98abfc72003-12-16 02:05:15 +00001008/* system/mman.h */
nethercoteb4250ae2004-07-10 16:50:09 +00001009extern void* VG_(mmap)( void* start, UInt length, UInt prot, UInt flags,
1010 UInt sf_flags, UInt fd, UInt offset );
fitzhardinge98abfc72003-12-16 02:05:15 +00001011extern Int VG_(munmap)( void* start, Int length );
1012extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1013
1014
jsgf855d93d2003-10-13 22:26:55 +00001015/* Move an fd into the Valgrind-safe range */
1016Int VG_(safe_fd)(Int oldfd);
1017
sewardj570f8902002-11-03 11:44:36 +00001018extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001019
1020/* --- Connecting over the network --- */
1021extern Int VG_(connect_via_socket)( UChar* str );
1022
fitzhardinge98abfc72003-12-16 02:05:15 +00001023/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001024extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1025 const Char *val );
1026extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1027extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001028
1029/* ---------------------------------------------------------------------
1030 Exports of vg_message.c
1031 ------------------------------------------------------------------ */
1032
1033/* Low-level -- send bytes directly to the message sink. Do not
1034 use. */
1035extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1036
nethercoted1da90e2004-08-03 17:26:39 +00001037// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001038// sim'd CPU. Defined here because needed for vg_libpthread.c,
1039// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1040// ensures the multiple definitions are not a problem. They must be functions
1041// rather than macros so that va_list can be used.
1042
1043__attribute__((weak))
1044int
1045VALGRIND_INTERNAL_PRINTF(char *format, ...)
1046{
1047 unsigned int _qzz_res = 0;
1048 va_list vargs;
1049 va_start(vargs, format);
1050 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
1051 (unsigned int)format, (unsigned int)vargs, 0, 0);
1052 va_end(vargs);
1053 return _qzz_res;
1054}
1055
1056__attribute__((weak))
1057int
1058VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1059{
1060 unsigned int _qzz_res = 0;
1061 va_list vargs;
1062 va_start(vargs, format);
1063 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
1064 (unsigned int)format, (unsigned int)vargs, 0, 0);
1065 va_end(vargs);
1066 return _qzz_res;
1067}
1068
nethercoted1da90e2004-08-03 17:26:39 +00001069
sewardjde4a1d02002-03-22 01:27:54 +00001070/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001071 Exports of vg_demangle.c
1072 ------------------------------------------------------------------ */
1073
1074extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1075
sewardjde4a1d02002-03-22 01:27:54 +00001076/* ---------------------------------------------------------------------
1077 Exports of vg_from_ucode.c
1078 ------------------------------------------------------------------ */
1079
sewardj22854b92002-11-30 14:00:47 +00001080extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001081
njn25e49d8e72002-09-23 09:36:25 +00001082extern void VG_(print_ccall_stats) ( void );
1083extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001084
sewardj22854b92002-11-30 14:00:47 +00001085extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1086extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001087
sewardjde4a1d02002-03-22 01:27:54 +00001088/* ---------------------------------------------------------------------
1089 Exports of vg_to_ucode.c
1090 ------------------------------------------------------------------ */
1091
fitzhardingec2dbbac2004-01-23 23:09:01 +00001092Bool VG_(cpu_has_feature)(UInt feat);
1093
sewardjde4a1d02002-03-22 01:27:54 +00001094extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001095
1096/* ---------------------------------------------------------------------
1097 Exports of vg_translate.c
1098 ------------------------------------------------------------------ */
1099
njn810086f2002-11-14 12:42:47 +00001100/* Expandable arrays of uinstrs. */
1101struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001102 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001103 Int used;
1104 Int size;
1105 UInstr* instrs;
1106 Int nextTemp;
1107};
1108
nethercote59a122d2004-08-03 17:16:51 +00001109extern void VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001110
nethercote885dd912004-08-03 23:14:00 +00001111extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001112
nethercotebee3fd92004-08-02 15:17:43 +00001113extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001114
sewardjde4a1d02002-03-22 01:27:54 +00001115/* ---------------------------------------------------------------------
1116 Exports of vg_execontext.c.
1117 ------------------------------------------------------------------ */
1118
1119/* Records the PC and a bit of the call chain. The first 4 %eip
1120 values are used in comparisons do remove duplicate errors, and for
1121 comparing against suppression specifications. The rest are purely
1122 informational (but often important). */
1123
njn25e49d8e72002-09-23 09:36:25 +00001124struct _ExeContext {
1125 struct _ExeContext * next;
1126 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001127 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001128 [1] is its caller, [2] is the caller of [1], etc. */
1129 Addr eips[0];
1130};
sewardjde4a1d02002-03-22 01:27:54 +00001131
1132
sewardjde4a1d02002-03-22 01:27:54 +00001133/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001134extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001135
njn25e49d8e72002-09-23 09:36:25 +00001136/* Like VG_(get_ExeContext), but with a slightly different type */
1137extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1138 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001139
1140
1141/* ---------------------------------------------------------------------
1142 Exports of vg_errcontext.c.
1143 ------------------------------------------------------------------ */
1144
njn25e49d8e72002-09-23 09:36:25 +00001145extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001146
njn25e49d8e72002-09-23 09:36:25 +00001147extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001148
njn25e49d8e72002-09-23 09:36:25 +00001149extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001150
nethercotef2b11482004-08-02 12:36:01 +00001151extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001152
nethercotef2b11482004-08-02 12:36:01 +00001153extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001154
sewardjde4a1d02002-03-22 01:27:54 +00001155/* ---------------------------------------------------------------------
1156 Exports of vg_procselfmaps.c
1157 ------------------------------------------------------------------ */
1158
njnfa1016e2003-09-25 17:54:11 +00001159/* Reads /proc/self/maps into a static buffer which can be parsed by
1160 VG_(parse_procselfmaps)(). */
1161extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001162
1163/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1164 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1165 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001166extern
njnfa1016e2003-09-25 17:54:11 +00001167void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001168 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001169 UInt dev, UInt ino, ULong foff,
1170 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001171
1172
1173/* ---------------------------------------------------------------------
1174 Exports of vg_symtab2.c
1175 ------------------------------------------------------------------ */
1176
fitzhardinge98abfc72003-12-16 02:05:15 +00001177typedef struct _Segment Segment;
1178
1179extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001180extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001181extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001182extern void VG_(symtab_incref) ( SegInfo * );
1183extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001184
njn25e49d8e72002-09-23 09:36:25 +00001185extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001186
fitzhardinge98abfc72003-12-16 02:05:15 +00001187/* Set up some default redirects */
1188extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001189
fitzhardinge98abfc72003-12-16 02:05:15 +00001190/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001191extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001192
1193/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001194 Exports of vg_main.c
1195 ------------------------------------------------------------------ */
1196
sewardjb91ae7f2003-04-29 23:50:00 +00001197/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1198 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001199 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001200 correctly snapshot the startup machine state without it. */
1201extern Bool VG_(have_ssestate);
1202
sewardj73cf3bc2002-11-03 03:20:15 +00001203/* Tell the logging mechanism whether we are logging to a file
1204 descriptor or a socket descriptor. */
1205extern Bool VG_(logging_to_filedes);
1206
njn25e49d8e72002-09-23 09:36:25 +00001207/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001208extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001209
fitzhardinge98abfc72003-12-16 02:05:15 +00001210/* Address space */
1211extern Addr VG_(client_base); /* client address space limits */
1212extern Addr VG_(client_end);
1213extern Addr VG_(client_mapbase); /* base of mappings */
1214extern Addr VG_(clstk_base); /* client stack range */
1215extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001216extern Addr VG_(client_trampoline_code);
1217
fitzhardinge98abfc72003-12-16 02:05:15 +00001218extern Addr VG_(brk_base); /* start of brk */
1219extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001220extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001221extern Addr VG_(shadow_end);
1222extern Addr VG_(valgrind_base); /* valgrind's address range */
fitzhardinge98abfc72003-12-16 02:05:15 +00001223extern Addr VG_(valgrind_end);
1224
fitzhardingeb50068f2004-02-24 23:42:55 +00001225extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1226
fitzhardingea49f9b52003-12-16 22:26:45 +00001227/* client executable file descriptor */
1228extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001229
nethercotef6a1d502004-08-09 12:21:57 +00001230// Help set up the child used when doing execve() with --trace-children=yes
1231Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1232Char* VG_(build_child_exename) ( void );
1233
njn9b007f62003-04-07 14:40:25 +00001234/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001235extern Bool VG_(need_to_handle_esp_assignment) ( void );
1236
sewardjde4a1d02002-03-22 01:27:54 +00001237/* Called when some unhandleable client behaviour is detected.
1238 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001239extern void VG_(unimplemented) ( Char* msg )
1240 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001241
nethercote04d0fbc2004-01-26 16:48:06 +00001242/* Something of a function looking for a home ... start up debugger. */
1243extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001244
sewardjde4a1d02002-03-22 01:27:54 +00001245/* Counts downwards in vg_run_innerloop. */
1246extern UInt VG_(dispatch_ctr);
1247
sewardjde4a1d02002-03-22 01:27:54 +00001248/* --- Counters, for informational purposes only. --- */
1249
nethercote92e7b7f2004-08-07 17:52:25 +00001250// These counters must be declared here because they're maintained by
1251// vg_dispatch.S.
1252extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1253extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1254extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001255
nethercote844e7122004-08-02 15:27:22 +00001256extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001257
sewardjde4a1d02002-03-22 01:27:54 +00001258/* ---------------------------------------------------------------------
1259 Exports of vg_memory.c
1260 ------------------------------------------------------------------ */
1261
fitzhardinge98abfc72003-12-16 02:05:15 +00001262/* A Segment is mapped piece of client memory. This covers all kinds
1263 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1264
1265 We try to encode everything we know about a particular segment here.
1266*/
nethercote85cdd342004-08-01 22:36:40 +00001267#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1268#define SF_SHARED (1 << 1) // shared
1269#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1270#define SF_MMAP (1 << 3) // mmap memory
1271#define SF_FILE (1 << 4) // mapping is backed by a file
1272#define SF_STACK (1 << 5) // is a stack
1273#define SF_GROWDOWN (1 << 6) // segment grows down
1274#define SF_GROWUP (1 << 7) // segment grows up
1275#define SF_EXEC (1 << 8) // segment created by exec
1276#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1277#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1278#define SF_BRK (1 << 11) // brk segment
1279#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1280#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1281#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001282
1283struct _Segment {
1284 UInt prot; /* VKI_PROT_* */
1285 UInt flags; /* SF_* */
1286
1287 Addr addr; /* mapped addr (page aligned) */
1288 UInt len; /* size of mapping (page aligned) */
1289
1290 /* These are valid if (flags & SF_FILE) */
1291 ULong offset; /* file offset */
1292 const Char *filename; /* filename (NULL if unknown) */
1293 UInt dev; /* device */
1294 UInt ino; /* inode */
1295
1296 SegInfo *symtab; /* symbol table */
1297};
1298
1299/* segment mapped from a file descriptor */
1300extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1301 Int fd, ULong off, const Char *filename);
1302
1303/* segment mapped from a file */
1304extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1305 UInt dev, UInt ino, ULong off, const Char *filename);
1306
1307/* simple segment */
1308extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1309
1310extern void VG_(unmap_range) (Addr addr, UInt len);
1311extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1312extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1313
1314extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001315extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001316extern Segment *VG_(next_segment)(Segment *);
1317
1318extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1319extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1320
thughes9aaebc32004-07-15 23:13:37 +00001321extern void VG_(pad_address_space)(void);
1322extern void VG_(unpad_address_space)(void);
1323
nethercoteeec46302004-08-23 15:06:23 +00001324extern REGPARM(1)
njnfa1016e2003-09-25 17:54:11 +00001325 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001326
jsgf855d93d2003-10-13 22:26:55 +00001327/* ---------------------------------------------------------------------
1328 Exports of vg_proxylwp.c
1329 ------------------------------------------------------------------ */
1330
1331/* Issue a syscall for thread tid */
1332extern Int VG_(sys_issue)(int tid);
1333
1334extern void VG_(proxy_init) ( void );
1335extern void VG_(proxy_create) ( ThreadId tid );
1336extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1337extern void VG_(proxy_results) ( void );
1338extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1339extern void VG_(proxy_setsigmask)(ThreadId tid);
1340extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1341extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1342extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001343extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001344
nethercote85cdd342004-08-01 22:36:40 +00001345extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1346extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1347 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001348
1349/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001350void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001351
1352/* Send a signal from a thread's proxy to the thread. This longjmps
1353 back into the proxy's main loop, so it doesn't return. */
1354__attribute__ ((__noreturn__))
1355extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1356 const struct vki_sigcontext *sigcontext );
1357
sewardjde4a1d02002-03-22 01:27:54 +00001358/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001359 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001360 ------------------------------------------------------------------ */
1361
fitzhardinge98abfc72003-12-16 02:05:15 +00001362extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001363
jsgf855d93d2003-10-13 22:26:55 +00001364extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001365extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001366
1367extern Bool VG_(is_kerror) ( Int res );
1368
jsgf855d93d2003-10-13 22:26:55 +00001369/* Internal atfork handlers */
1370typedef void (*vg_atfork_t)(ThreadId);
1371extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001372
rjwalshf5f536f2003-11-17 17:45:00 +00001373/* fd leakage calls. */
1374extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001375extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001376
sewardjde4a1d02002-03-22 01:27:54 +00001377/* ---------------------------------------------------------------------
1378 Exports of vg_transtab.c
1379 ------------------------------------------------------------------ */
1380
njn25e49d8e72002-09-23 09:36:25 +00001381/* The fast-cache for tt-lookup. */
1382extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1383
nethercote92e7b7f2004-08-07 17:52:25 +00001384extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001385extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001386 Addr trans_addr, Int trans_size,
1387 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001388extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001389
nethercote92e7b7f2004-08-07 17:52:25 +00001390extern void VG_(invalidate_translations) ( Addr start, UInt range,
1391 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001392
nethercote92e7b7f2004-08-07 17:52:25 +00001393extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001394
nethercote92e7b7f2004-08-07 17:52:25 +00001395extern void VG_(print_tt_tc_stats) ( void );
1396
1397extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001398
sewardjde4a1d02002-03-22 01:27:54 +00001399/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001400 Exports of vg_syscall.S
1401 ------------------------------------------------------------------ */
1402
jsgf855d93d2003-10-13 22:26:55 +00001403extern Int VG_(do_syscall) ( UInt, ... );
1404extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1405 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001406extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001407
1408/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001409 Exports of vg_dispatch.S
1410 ------------------------------------------------------------------ */
1411
sewardj2e93c502002-04-12 11:12:52 +00001412/* Run a thread for a (very short) while, until some event happens
1413 which means we need to defer to the scheduler. */
1414extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001415
sewardj22854b92002-11-30 14:00:47 +00001416/* The patching routing called when a BB wants to chain itself to
1417 another. */
1418extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001419
1420/* ---------------------------------------------------------------------
1421 Exports of vg_helpers.S
1422 ------------------------------------------------------------------ */
1423
sewardjde4a1d02002-03-22 01:27:54 +00001424/* Mul, div, etc, -- we don't codegen these directly. */
1425extern void VG_(helper_idiv_64_32);
1426extern void VG_(helper_div_64_32);
1427extern void VG_(helper_idiv_32_16);
1428extern void VG_(helper_div_32_16);
1429extern void VG_(helper_idiv_16_8);
1430extern void VG_(helper_div_16_8);
1431
1432extern void VG_(helper_imul_32_64);
1433extern void VG_(helper_mul_32_64);
1434extern void VG_(helper_imul_16_32);
1435extern void VG_(helper_mul_16_32);
1436extern void VG_(helper_imul_8_16);
1437extern void VG_(helper_mul_8_16);
1438
1439extern void VG_(helper_CLD);
1440extern void VG_(helper_STD);
1441extern void VG_(helper_get_dirflag);
1442
sewardj7d78e782002-06-02 00:04:00 +00001443extern void VG_(helper_CLC);
1444extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001445extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001446
sewardjde4a1d02002-03-22 01:27:54 +00001447extern void VG_(helper_shldl);
1448extern void VG_(helper_shldw);
1449extern void VG_(helper_shrdl);
1450extern void VG_(helper_shrdw);
1451
daywalkerb18d2532003-09-27 20:15:01 +00001452extern void VG_(helper_IN);
1453extern void VG_(helper_OUT);
1454
sewardjde4a1d02002-03-22 01:27:54 +00001455extern void VG_(helper_RDTSC);
1456extern void VG_(helper_CPUID);
1457
nethercote1018bdd2004-02-11 23:33:29 +00001458extern void VG_(helper_bsfw);
1459extern void VG_(helper_bsfl);
1460extern void VG_(helper_bsrw);
1461extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001462
1463extern void VG_(helper_fstsw_AX);
1464extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001465extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001466extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001467extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001468extern void VG_(helper_AAS);
1469extern void VG_(helper_AAA);
1470extern void VG_(helper_AAD);
1471extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001472
muellerf217c732004-01-02 22:42:29 +00001473extern void VG_(helper_cmpxchg8b);
1474
sewardj51096432002-12-14 23:59:09 +00001475extern void VG_(helper_undefined_instruction);
1476
fitzhardinge92360792003-12-24 10:11:11 +00001477/* Information about trampoline code (for signal return and syscalls) */
1478extern const Char VG_(trampoline_code_start);
1479extern const Int VG_(trampoline_code_length);
1480extern const Int VG_(tramp_sigreturn_offset);
1481extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001482
njn4f9c9342002-04-29 16:03:24 +00001483/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001484 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001485 ------------------------------------------------------------------ */
1486
fitzhardinge98abfc72003-12-16 02:05:15 +00001487#define VG_TRACK(fn, args...) \
1488 do { \
1489 if (VG_(defined_##fn)()) \
1490 SK_(fn)(args); \
1491 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001492
fitzhardinge98abfc72003-12-16 02:05:15 +00001493__attribute__ ((noreturn))
1494extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001495
sewardjde4a1d02002-03-22 01:27:54 +00001496/* ---------------------------------------------------------------------
1497 The state of the simulated CPU.
1498 ------------------------------------------------------------------ */
1499
sewardjde4a1d02002-03-22 01:27:54 +00001500/* ---------------------------------------------------------------------
1501 Offsets into baseBlock for everything which needs to referred to
1502 from generated code. The order of these decls does not imply
1503 what the order of the actual offsets is. The latter is important
1504 and is set up in vg_main.c.
1505 ------------------------------------------------------------------ */
1506
1507/* An array of words. In generated code, %ebp always points to the
1508 start of this array. Useful stuff, like the simulated CPU state,
1509 and the addresses of helper functions, can then be found by
1510 indexing off %ebp. The following declares variables which, at
1511 startup time, are given values denoting offsets into baseBlock.
1512 These offsets are in *words* from the start of baseBlock. */
1513
sewardjb91ae7f2003-04-29 23:50:00 +00001514#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001515
1516extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1517
sewardjde4a1d02002-03-22 01:27:54 +00001518/* -----------------------------------------------------
1519 Read-write parts of baseBlock.
1520 -------------------------------------------------- */
1521
1522/* State of the simulated CPU. */
1523extern Int VGOFF_(m_eax);
1524extern Int VGOFF_(m_ecx);
1525extern Int VGOFF_(m_edx);
1526extern Int VGOFF_(m_ebx);
1527extern Int VGOFF_(m_esp);
1528extern Int VGOFF_(m_ebp);
1529extern Int VGOFF_(m_esi);
1530extern Int VGOFF_(m_edi);
1531extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001532extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001533extern Int VGOFF_(m_eip);
1534
sewardjfa492d42002-12-08 18:20:01 +00001535extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1536
sewardj92a59562002-09-30 00:53:10 +00001537extern Int VGOFF_(m_cs);
1538extern Int VGOFF_(m_ss);
1539extern Int VGOFF_(m_ds);
1540extern Int VGOFF_(m_es);
1541extern Int VGOFF_(m_fs);
1542extern Int VGOFF_(m_gs);
1543
sewardjde4a1d02002-03-22 01:27:54 +00001544/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1545extern Int VGOFF_(spillslots);
1546
1547/* Records the valid bits for the 8 integer regs & flags reg. */
1548extern Int VGOFF_(sh_eax);
1549extern Int VGOFF_(sh_ecx);
1550extern Int VGOFF_(sh_edx);
1551extern Int VGOFF_(sh_ebx);
1552extern Int VGOFF_(sh_esp);
1553extern Int VGOFF_(sh_ebp);
1554extern Int VGOFF_(sh_esi);
1555extern Int VGOFF_(sh_edi);
1556extern Int VGOFF_(sh_eflags);
1557
sewardjde4a1d02002-03-22 01:27:54 +00001558/* -----------------------------------------------------
1559 Read-only parts of baseBlock.
1560 -------------------------------------------------- */
1561
sewardj92a59562002-09-30 00:53:10 +00001562/* This thread's LDT pointer. */
1563extern Int VGOFF_(ldt);
1564
fitzhardinge47735af2004-01-21 01:27:27 +00001565/* This thread's TLS pointer. */
nethercoted8510ec2004-08-18 23:11:45 +00001566extern Int VGOFF_(tls_ptr);
fitzhardinge47735af2004-01-21 01:27:27 +00001567
nethercote46063202004-09-02 08:51:43 +00001568/* Nb: Most helper offsets are in include/tool.h, for use by tools */
sewardjde4a1d02002-03-22 01:27:54 +00001569
sewardj51096432002-12-14 23:59:09 +00001570extern Int VGOFF_(helper_undefined_instruction);
1571
nethercotec06e2132004-09-03 13:45:29 +00001572// ---------------------------------------------------------------------
1573// Architecture-specific things defined in eg. x86/*.c
1574// ---------------------------------------------------------------------
1575
1576extern void VGA_(load_state) ( arch_thread_t*, ThreadId tid );
1577extern void VGA_(save_state) ( arch_thread_t*, ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001578
sewardj3b2736a2002-03-24 12:18:35 +00001579
1580/* ---------------------------------------------------------------------
1581 Finally - autoconf-generated settings
1582 ------------------------------------------------------------------ */
1583
1584#include "config.h"
1585
nethercotec06e2132004-09-03 13:45:29 +00001586#endif /* ndef __CORE_H */
1587
sewardjde4a1d02002-03-22 01:27:54 +00001588/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001589/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001590/*--------------------------------------------------------------------*/