blob: 0084d8daa51e4afd2fc8daab9990777a2ddff587 [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
fitzhardinge98abfc72003-12-16 02:05:15 +0000179/* Useful macros */
180/* a - alignment - must be a power of 2 */
181#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
182#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
183#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
184#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
185
nethercote80013e92004-09-05 20:39:51 +0000186/* ---------------------------------------------------------------------
187 Environment variables
188 ------------------------------------------------------------------ */
189
190/* The directory we look for all our auxillary files in */
191#define VALGRINDLIB "VALGRINDLIB"
192
193/* Additional command-line arguments; they are overridden by actual
194 command-line option. Each argument is separated by spaces. There
195 is no quoting mechanism.
196 */
197#define VALGRINDOPTS "VALGRIND_OPTS"
198
199/* If this variable is present in the environment, then valgrind will
200 not parse the command line for options at all; all options come
201 from this variable. Arguments are terminated by ^A (\001). There
202 is no quoting mechanism.
203
204 This variable is not expected to be set by anything other than
205 Valgrind itself, as part of its handling of execve with
206 --trace-children=yes. This variable should not be present in the
207 client environment.
208 */
209#define VALGRINDCLO "_VALGRIND_CLO"
210
fitzhardinge98abfc72003-12-16 02:05:15 +0000211
sewardjde4a1d02002-03-22 01:27:54 +0000212/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000213 Command-line-settable options
214 ------------------------------------------------------------------ */
215
sewardj4f094a72002-11-05 23:37:35 +0000216/* Default destination port to be used in logging over a network, if
217 none specified. */
218#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000219
220/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000221#define VG_CLO_MAX_SFILES 10
222
nethercote04d0fbc2004-01-26 16:48:06 +0000223/* Default debugger command. */
224#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
225
sewardj4cf05692002-10-27 20:28:29 +0000226/* Describes where logging output is to be sent. */
227typedef
228 enum {
229 VgLogTo_Fd,
230 VgLogTo_File,
231 VgLogTo_Socket
232 } VgLogTo;
233
jsgf855d93d2003-10-13 22:26:55 +0000234/* pid of main process */
235extern Int VG_(main_pid);
236
237/* pgrp of process (global to all threads) */
238extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000239
thughesad1c9562004-06-26 11:27:52 +0000240/* Application-visible file descriptor limits */
241extern Int VG_(fd_soft_limit);
242extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000243
sewardj72f98ff2002-06-13 17:23:38 +0000244/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000245extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000246/* Enquire about whether to attach to a debugger at errors? default: NO */
247extern Bool VG_(clo_db_attach);
248/* The debugger command? default: whatever gdb ./configure found */
249extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000250/* Enquire about generating a suppression for each error? default: NO */
251extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000252/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000253extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Automatically attempt to demangle C++ names? default: YES */
255extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000256/* Simulate child processes? default: NO */
257extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000258
259/* Where logging output is to be sent to.
260
nethercotef8548672004-06-21 12:42:35 +0000261 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
262 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000263
nethercotef8548672004-06-21 12:42:35 +0000264 When log_to == VgLogTo_File, clo_log_name holds the log-file
265 name, and is taken from the command line. clo_log_fd is then
266 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000267 (concatenated with the process ID) for writing.
268
nethercotef8548672004-06-21 12:42:35 +0000269 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000270 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000271 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000272 opening a connection to said hostname:portnumber pair.
273
nethercotef8548672004-06-21 12:42:35 +0000274 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000275 (stderr). */
276extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000277extern Int VG_(clo_log_fd);
278extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000279
thughes6233a382004-08-21 11:10:44 +0000280/* Add timestamps to log messages? default: NO */
281extern Bool VG_(clo_time_stamp);
282
sewardj6024b212003-07-13 10:54:33 +0000283/* The file descriptor to read for input. default: 0 == stdin */
284extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000285/* The number of suppression files specified. */
286extern Int VG_(clo_n_suppressions);
287/* The names of the suppression files. */
288extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
289
290/* Single stepping? default: NO */
291extern Bool VG_(clo_single_step);
292/* Code improvement? default: YES */
293extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000294/* DEBUG: print generated code? default: 00000 ( == NO ) */
295extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000296/* DEBUG: print system calls? default: NO */
297extern Bool VG_(clo_trace_syscalls);
298/* DEBUG: print signal details? default: NO */
299extern Bool VG_(clo_trace_signals);
300/* DEBUG: print symtab details? default: NO */
301extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000302/* DEBUG: print thread scheduling events? default: NO */
303extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000304/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
305 (some), 2 (all) */
306extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000307/* Display gory details for the k'th most popular error. default:
308 Infinity. */
309extern Int VG_(clo_dump_error);
310/* Number of parents of a backtrace. Default: 8. */
311extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000312/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000313extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000314/* How often we should poll for signals, assuming we need to poll for
315 signals. */
316extern Int VG_(clo_signal_polltime);
317
318/* Low latency syscalls and signals */
319extern Bool VG_(clo_lowlat_syscalls);
320extern Bool VG_(clo_lowlat_signals);
321
rjwalshf5f536f2003-11-17 17:45:00 +0000322/* Track open file descriptors? */
323extern Bool VG_(clo_track_fds);
324
sewardj858964b2002-10-05 14:15:43 +0000325/* Should we run __libc_freeres at exit? Sometimes causes crashes.
326 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
327 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000328 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000329 cannot be overridden from the command line. */
330extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000331/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000332extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000333/* Generate branch-prediction hints? */
334extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000335/* Continue stack traces below main()? Default: NO */
336extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000337/* Test each client pointer dereference to check it's within the
338 client address space bounds */
339extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000340
rjwalshe4e779d2004-04-16 23:02:29 +0000341/* Set up the libc freeres wrapper */
342extern void VG_(intercept_libc_freeres_wrapper)(Addr);
343
sewardjde4a1d02002-03-22 01:27:54 +0000344/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000345 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000346 ------------------------------------------------------------------ */
347
sewardjde4a1d02002-03-22 01:27:54 +0000348extern void VGP_(init_profiling) ( void );
349extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000350
njn25e49d8e72002-09-23 09:36:25 +0000351#undef VGP_PUSHCC
352#undef VGP_POPCC
353#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
354#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000355
sewardjde4a1d02002-03-22 01:27:54 +0000356/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000357 Tool-related types
njn810086f2002-11-14 12:42:47 +0000358 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000359/* These structs are not exposed to tools to mitigate possibility of
360 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000361 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000362typedef
363 struct {
364 Char* name;
365 Char* version;
366 Char* description;
367 Char* copyright_author;
368 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000369 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000370 }
371 VgDetails;
372
373extern VgDetails VG_(details);
374
375/* If new fields are added to this type, update:
376 * - vg_main.c:initialisation of VG_(needs)
377 * - vg_main.c:sanity_check_needs()
378 *
379 * If the name of this type or any of its fields change, update:
380 * - dependent comments (just search for "VG_(needs)").
381 */
382typedef
383 struct {
384 Bool libc_freeres;
385 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000386 Bool skin_errors;
387 Bool basic_block_discards;
388 Bool shadow_regs;
389 Bool command_line_options;
390 Bool client_requests;
391 Bool extended_UCode;
392 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000393 Bool sanity_checks;
394 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000395 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000396 }
397 VgNeeds;
398
399extern VgNeeds VG_(needs);
400
fitzhardinge98abfc72003-12-16 02:05:15 +0000401extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000402
fitzhardinge98abfc72003-12-16 02:05:15 +0000403#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000404
405/* ---------------------------------------------------------------------
406 Exports of vg_needs.c
407 ------------------------------------------------------------------ */
408
409void VG_(sanity_check_needs)(void);
410
411/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000412 Exports of vg_malloc2.c
413 ------------------------------------------------------------------ */
414
415/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000416
417 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000418 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000419 SYMTAB for Valgrind's symbol table storage.
420 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000421 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
422 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000423 DEMANGLE for the C++ demangler.
424 EXECTXT for storing ExeContexts.
425 ERRORS for storing CoreErrors.
426 TRANSIENT for very short-term use. It should be empty in between uses.
427
njn25e49d8e72002-09-23 09:36:25 +0000428 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000429*/
430typedef Int ArenaId;
431
njn3e884182003-04-15 13:03:23 +0000432#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000433
njn3e884182003-04-15 13:03:23 +0000434#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000435#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000436#define VG_AR_SYMTAB 2
437#define VG_AR_JITTER 3
438#define VG_AR_CLIENT 4
439#define VG_AR_DEMANGLE 5
440#define VG_AR_EXECTXT 6
441#define VG_AR_ERRORS 7
442#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000443
nethercote2d5b8162004-08-11 09:40:52 +0000444// This is both the minimum payload size of a malloc'd block, and its
445// minimum alignment. Must be a power of 2 greater than 4, and should be
446// greater than 8.
447#define VG_MIN_MALLOC_SZB 8
448
449// Round-up size for --sloppy-malloc=yes.
450#define VG_SLOPPY_MALLOC_SZB 4
451
njn25e49d8e72002-09-23 09:36:25 +0000452extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
453extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000454extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
455 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000456extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
457 Int size );
458extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000459 Int req_pszB );
460
njn8a6b6c02003-04-22 22:45:55 +0000461extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
462
nethercote885dd912004-08-03 23:14:00 +0000463extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000464
nethercote3a42fb82004-08-03 18:08:50 +0000465extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000466
sewardjde4a1d02002-03-22 01:27:54 +0000467extern Bool VG_(is_empty_arena) ( ArenaId aid );
468
sewardjde4a1d02002-03-22 01:27:54 +0000469/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000470 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000471 ------------------------------------------------------------------ */
472
473/* This doesn't export code or data that valgrind.so needs to link
474 against. However, the scheduler does need to know the following
475 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000476 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000477
njn4c791212003-05-02 17:53:54 +0000478#define VG_USERREQ__MALLOC 0x2001
479#define VG_USERREQ__FREE 0x2002
480
sewardj20917d82002-05-28 01:36:45 +0000481/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
482 MUST NOT return -- ever. Eventually it will do either __QUIT or
483 __WAIT_JOINER. */
484#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
485
486/* ( no-args ): calling thread disappears from the system forever.
487 Reclaim resources. */
488#define VG_USERREQ__QUIT 0x3002
489
490/* ( void* ): calling thread waits for joiner and returns the void* to
491 it. */
492#define VG_USERREQ__WAIT_JOINER 0x3003
493
494/* ( ThreadId, void** ): wait to join a thread. */
495#define VG_USERREQ__PTHREAD_JOIN 0x3004
496
497/* Set cancellation state and type for this thread. */
498#define VG_USERREQ__SET_CANCELSTATE 0x3005
499#define VG_USERREQ__SET_CANCELTYPE 0x3006
500
501/* ( no-args ): Test if we are at a cancellation point. */
502#define VG_USERREQ__TESTCANCEL 0x3007
503
504/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
505 with this arg to indicate that a cancel is now pending for the
506 specified thread. */
507#define VG_USERREQ__SET_CANCELPEND 0x3008
508
509/* Set/get detach state for this thread. */
510#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
511
512#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
513#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
514#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
515#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
516#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
517#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
518#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
519#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
520#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
521#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000522#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
523#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000524#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
525#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000526#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000527#define VG_USERREQ__PTHREAD_KILL 0x301A
528#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000529#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000530
sewardj8ad94e12002-05-29 00:10:20 +0000531#define VG_USERREQ__CLEANUP_PUSH 0x3020
532#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000533#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000534
sewardjef037c72002-05-30 00:40:03 +0000535#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000536
537/* Ask how many signal handler returns have happened to this
538 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000539#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000540
sewardj2cb00342002-06-28 01:46:26 +0000541/* Get/set entries for a thread's pthread_atfork stack. */
542#define VG_USERREQ__SET_FHSTACK_USED 0x3025
543#define VG_USERREQ__GET_FHSTACK_USED 0x3026
544#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
545#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000546
nethercotef971ab72004-08-02 16:27:40 +0000547/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000548#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000549
550/* Allocate RT signals */
551#define VG_USERREQ__GET_SIGRT_MIN 0x302B
552#define VG_USERREQ__GET_SIGRT_MAX 0x302C
553#define VG_USERREQ__ALLOC_RTSIG 0x302D
554
555/* Hook for replace_malloc.o to get malloc functions */
556#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
557
thughesdaa34562004-06-27 12:48:53 +0000558/* Get stack information for a thread. */
559#define VG_USERREQ__GET_STACK_INFO 0x3033
560
sewardj45b4b372002-04-16 22:50:32 +0000561/* Cosmetic ... */
562#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000563/* Log a pthread error from client-space. Cosmetic. */
564#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000565/* Internal equivalent of VALGRIND_PRINTF . */
566#define VG_USERREQ__INTERNAL_PRINTF 0x3103
567/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
568#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000569
sewardj54cacf02002-04-12 23:24:59 +0000570/*
nethercote5a2664c2004-09-02 15:37:39 +0000571In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000572#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000573*/
574
rjwalshe4e779d2004-04-16 23:02:29 +0000575#define VG_INTERCEPT_PREFIX "_vgi__"
576#define VG_INTERCEPT_PREFIX_LEN 6
577#define VG_INTERCEPT(name) _vgi__##name
578#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
579
580#define VG_WRAPPER_PREFIX "_vgw__"
581#define VG_WRAPPER_PREFIX_LEN 6
582#define VG_WRAPPER(name) _vgw__##name
583#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
584
njn4c791212003-05-02 17:53:54 +0000585
fitzhardinge98abfc72003-12-16 02:05:15 +0000586struct vg_mallocfunc_info {
587 /* things vg_replace_malloc.o needs to know about */
588 Addr sk_malloc;
589 Addr sk_calloc;
590 Addr sk_realloc;
591 Addr sk_memalign;
592 Addr sk___builtin_new;
593 Addr sk___builtin_vec_new;
594 Addr sk_free;
595 Addr sk___builtin_delete;
596 Addr sk___builtin_vec_delete;
597
598 Addr arena_payload_szB;
599
600 Bool clo_sloppy_malloc;
601 Bool clo_trace_malloc;
602};
sewardj1fe7b002002-07-16 01:43:15 +0000603
sewardj2e93c502002-04-12 11:12:52 +0000604/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000605 Exports of vg_defaults.c
606 ------------------------------------------------------------------ */
607
608extern Bool VG_(sk_malloc_called_by_scheduler);
609
nethercotef9b59412004-09-10 15:33:32 +0000610/* ---------------------------------------------------------------------
611 Exports of vg_ldt.c
612 ------------------------------------------------------------------ */
sewardj92a59562002-09-30 00:53:10 +0000613
sewardj92a59562002-09-30 00:53:10 +0000614/* Simulate the modify_ldt syscall. */
615extern Int VG_(sys_modify_ldt) ( ThreadId tid,
616 Int func, void* ptr, UInt bytecount );
617
fitzhardinge47735af2004-01-21 01:27:27 +0000618/* Simulate the {get,set}_thread_area syscalls. */
619extern Int VG_(sys_set_thread_area) ( ThreadId tid,
620 struct vki_modify_ldt_ldt_s* info );
621extern Int VG_(sys_get_thread_area) ( ThreadId tid,
622 struct vki_modify_ldt_ldt_s* info );
623
sewardje1042472002-09-30 12:33:11 +0000624/* Called from generated code. Given a segment selector and a virtual
625 address, return a linear address, and do limit checks too. */
626extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
627
sewardj92a59562002-09-30 00:53:10 +0000628
629/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000630 Exports of vg_libpthread.c
631 ------------------------------------------------------------------ */
632
633/* Replacements for pthread types, shared between vg_libpthread.c and
634 vg_scheduler.c. See comment in vg_libpthread.c above the other
635 vg_pthread_*_t types for a description of how these are used. */
636
637struct _vg_pthread_fastlock
638{
639 long int __vg_status; /* "Free" or "taken" or head of waiting list */
640 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
641 adaptive SMP lock stores spin count here. */
642};
643
644typedef struct
645{
646 int __vg_m_reserved; /* Reserved for future use */
647 int __vg_m_count; /* Depth of recursive locking */
648 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
649 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
650 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
651} vg_pthread_mutex_t;
652
653typedef struct
654{
655 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000656 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
657
658 // Nb: the following padding removed because it was missing from an
659 // earlier glibc, so the size test in the CONVERT macro was failing.
660 // --njn
661
nethercote1f0173b2004-02-28 15:40:36 +0000662 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000663 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000664 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000665 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000666} vg_pthread_cond_t;
667
668
669/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000670 Exports of vg_scheduler.c
671 ------------------------------------------------------------------ */
672
sewardj2e93c502002-04-12 11:12:52 +0000673typedef
jsgf855d93d2003-10-13 22:26:55 +0000674 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000675 VgTs_Empty, /* this slot is not in use */
676 VgTs_Runnable, /* waiting to be scheduled */
677 VgTs_WaitJoiner, /* waiting for someone to do join on me */
678 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000679 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000680 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000681 VgTs_WaitSys, /* waiting for a syscall to complete */
682 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000683 }
684 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000685
thughes11975ff2004-06-12 12:58:22 +0000686typedef
687 enum CleanupType {
688 VgCt_None, /* this cleanup entry is not initialised */
689 VgCt_Function, /* an old-style function pointer cleanup */
690 VgCt_Longjmp /* a new-style longjmp based cleanup */
691 }
692 CleanupType;
693
thughesdaa34562004-06-27 12:48:53 +0000694/* Information on a thread's stack. */
695typedef
696 struct {
697 Addr base;
698 UInt size;
699 UInt guardsize;
700 }
701 StackInfo;
702
sewardj8ad94e12002-05-29 00:10:20 +0000703/* An entry in a threads's cleanup stack. */
704typedef
705 struct {
thughes11975ff2004-06-12 12:58:22 +0000706 CleanupType type;
707 union {
708 struct {
709 void (*fn)(void*);
710 void* arg;
711 } function;
712 struct {
thughesebed9982004-06-12 17:25:25 +0000713 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000714 int ctype;
715 } longjmp;
716 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000717 }
718 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000719
720/* An entry in a thread's fork-handler stack. */
721typedef
722 struct {
723 void (*prepare)(void);
724 void (*parent)(void);
725 void (*child)(void);
726 }
727 ForkHandlerEntry;
728
jsgf855d93d2003-10-13 22:26:55 +0000729typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000730
njn72718642003-07-24 08:45:32 +0000731typedef
732 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000733 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
734 The thread identity is simply the index in vg_threads[].
735 ThreadId == 1 is the root thread and has the special property
736 that we don't try and allocate or deallocate its stack. For
737 convenience of generating error message, we also put the
738 ThreadId in this tid field, but be aware that it should
739 ALWAYS == the index in vg_threads[]. */
740 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000743
njn25e49d8e72002-09-23 09:36:25 +0000744 Complications: whenever this is set to VgTs_WaitMX, you
745 should also set .m_edx to whatever the required return value
746 is for pthread_mutex_lock / pthread_cond_timedwait for when
747 the mutex finally gets unblocked. */
748 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000749
njn25e49d8e72002-09-23 09:36:25 +0000750 /* When .status == WaitMX, points to the mutex I am waiting for.
751 When .status == WaitCV, points to the mutex associated with
752 the condition variable indicated by the .associated_cv field.
753 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000754 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000755
njn25e49d8e72002-09-23 09:36:25 +0000756 /* When .status == WaitCV, points to the condition variable I am
757 waiting for. In all other cases, should be NULL. */
758 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000759
njn25e49d8e72002-09-23 09:36:25 +0000760 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000761 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000762
njn25e49d8e72002-09-23 09:36:25 +0000763 If VgTs_WaitCV, this indicates the time at which
764 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
765 this means infinitely far in the future, viz,
766 pthread_cond_wait. */
767 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
770 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000771
njn25e49d8e72002-09-23 09:36:25 +0000772 /* If VgTs_WaitJoinee, place to copy the return value to, and
773 the identity of the thread we're waiting for. */
774 void** joiner_thread_return;
775 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000776
jsgf855d93d2003-10-13 22:26:55 +0000777 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
778 void *sys_pre_res;
779
780 /* If VgTs_WaitSys, this is the syscall we're currently running */
781 Int syscallno;
782
thughesbaa46e52004-07-29 17:44:23 +0000783 /* If VgTs_WaitSys, this is the syscall flags */
784 UInt sys_flags;
785
jsgf855d93d2003-10-13 22:26:55 +0000786 /* Details about this thread's proxy LWP */
787 ProxyLWP *proxy;
788
njn25e49d8e72002-09-23 09:36:25 +0000789 /* Whether or not detached. */
790 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000791
njn25e49d8e72002-09-23 09:36:25 +0000792 /* Cancelability state and type. */
793 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
794 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
795
796 /* Pointer to fn to call to do cancellation. Indicates whether
797 or not cancellation is pending. If NULL, not pending. Else
798 should be &thread_exit_wrapper(), indicating that
799 cancallation is pending. */
800 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000801
njn25e49d8e72002-09-23 09:36:25 +0000802 /* The cleanup stack. */
803 Int custack_used;
804 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000805
sewardj00a66b12002-10-12 16:42:35 +0000806 /* A pointer to the thread's-specific-data. This is handled almost
807 entirely from vg_libpthread.c. We just provide hooks to get and
808 set this ptr. This is either NULL, indicating the thread has
809 read/written none of its specifics so far, OR points to a
810 void*[VG_N_THREAD_KEYS], allocated and deallocated in
811 vg_libpthread.c. */
812 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000813
njn25e49d8e72002-09-23 09:36:25 +0000814 /* This thread's blocked-signals mask. Semantics is that for a
815 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000816 blocked by this signal mask. If more than one thread accepts a
817 signal, then it will be delivered to one at random. If all
818 threads block the signal, it will remain pending until either a
819 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
820
821 sig_mask reflects what the client told us its signal mask should
822 be, but isn't necessarily the current signal mask of the proxy
823 LWP: it may have more signals blocked because of signal
824 handling, or it may be different because of sigsuspend.
825 */
njn25e49d8e72002-09-23 09:36:25 +0000826 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000827
fitzhardingef0dd7e12004-01-16 02:17:30 +0000828 /* Effective signal mask. This is the mask which currently
829 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000830 handler is running.
831 */
832 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000833
njn25e49d8e72002-09-23 09:36:25 +0000834 /* Stacks. When a thread slot is freed, we don't deallocate its
835 stack; we just leave it lying around for the next use of the
836 slot. If the next use of the slot requires a larger stack,
837 only then is the old one deallocated and a new one
838 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000839
njn25e49d8e72002-09-23 09:36:25 +0000840 For the main thread (threadid == 0), this mechanism doesn't
841 apply. We don't know the size of the stack since we didn't
842 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000843
njn25e49d8e72002-09-23 09:36:25 +0000844 /* The allocated size of this thread's stack (permanently zero
845 if this is ThreadId == 0, since we didn't allocate its stack) */
846 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000847
njn25e49d8e72002-09-23 09:36:25 +0000848 /* Address of the lowest word in this thread's stack. NULL means
849 not allocated yet.
850 */
851 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000852
thughesdaa34562004-06-27 12:48:53 +0000853 /* The allocated size of this thread's stack's guard area (permanently
854 zero if this is ThreadId == 0, since we didn't allocate its stack) */
855 UInt stack_guard_size;
856
sewardj92a59562002-09-30 00:53:10 +0000857 /* Address of the highest legitimate word in this stack. This is
858 used for error messages only -- not critical for execution
859 correctness. Is is set for all stacks, specifically including
860 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000861 Addr stack_highest_word;
862
fitzhardinge98c4dc02004-03-16 08:27:29 +0000863 /* Alternate signal stack */
864 vki_kstack_t altstack;
865
nethercotec06e2132004-09-03 13:45:29 +0000866 /* Architecture-specific thread state */
867 arch_thread_t arch;
njn72718642003-07-24 08:45:32 +0000868}
869ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000870
871
sewardj018f7622002-05-15 21:13:39 +0000872/* The thread table. */
873extern ThreadState VG_(threads)[VG_N_THREADS];
874
875/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000876extern Bool VG_(is_valid_tid) ( ThreadId tid );
877
njn72718642003-07-24 08:45:32 +0000878/* Determine if 'tid' is that of the current running thread (Nb: returns
879 False if no thread is currently running. */
880extern Bool VG_(is_running_thread)(ThreadId tid);
881
jsgf855d93d2003-10-13 22:26:55 +0000882/* Get the ThreadState for a particular thread */
883extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
884
sewardj1e8cdc92002-04-18 11:37:52 +0000885/* Similarly ... */
886extern ThreadId VG_(get_current_tid) ( void );
887
sewardjccef2e62002-05-29 19:26:32 +0000888/* Nuke all threads except tid. */
889extern void VG_(nuke_all_threads_except) ( ThreadId me );
890
jsgf855d93d2003-10-13 22:26:55 +0000891/* Give a hint to the scheduler that it may be a good time to find a
892 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
893 try to schedule that thread.
894*/
895extern void VG_(need_resched) ( ThreadId prefer_sched );
896
sewardj2e93c502002-04-12 11:12:52 +0000897/* Return codes from the scheduler. */
898typedef
sewardj7e87e382002-05-03 19:09:05 +0000899 enum {
900 VgSrc_Deadlock, /* no runnable threads and no prospect of any
901 even if we wait for a long time */
902 VgSrc_ExitSyscall, /* client called exit(). This is the normal
903 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000904 VgSrc_FatalSig /* Killed by the default action of a fatal
905 signal */
sewardj7e87e382002-05-03 19:09:05 +0000906 }
sewardj2e93c502002-04-12 11:12:52 +0000907 VgSchedReturnCode;
908
sewardj7e87e382002-05-03 19:09:05 +0000909
nethercote238a3c32004-08-09 13:13:31 +0000910// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
911extern VgSchedReturnCode VG_(scheduler)
912 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000913
914extern void VG_(scheduler_init) ( void );
915
sewardj15a43e12002-04-17 19:35:12 +0000916extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000917
nethercote75d26242004-08-01 22:59:18 +0000918// Longjmp back to the scheduler and thus enter the sighandler immediately.
919extern void VG_(resume_scheduler) ( Int sigNo, vki_ksiginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000920
nethercote238a3c32004-08-09 13:13:31 +0000921// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
922extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
923
sewardj2e93c502002-04-12 11:12:52 +0000924/* The red-zone size which we put at the bottom (highest address) of
925 thread stacks, for paranoia reasons. This can be arbitrary, and
926 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000927#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000928
nethercoteaff1c772004-09-13 16:11:09 +0000929// Write a value to a client's thread register, and shadow (if necessary).
930// Note that there are some further similar macros in the arch- and
931// platform-specific parts; these ones are the totally generic ones.
932#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzREG, zzevent, zzargs... ) \
933 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
934 VG_TRACK( zzevent, zztid, zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000935 } while (0)
936
njnd3040452003-05-19 15:04:06 +0000937#define SET_CLREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000938 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
939 post_reg_write_clientreq_return)
njnd3040452003-05-19 15:04:06 +0000940
941#define SET_CLCALL_RETVAL(zztid, zzval, f) \
nethercoteaff1c772004-09-13 16:11:09 +0000942 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
943 post_reg_write_clientcall_return, f)
njnd3040452003-05-19 15:04:06 +0000944
945#define SET_PTHREQ_ESP(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000946 SET_THREAD_REG(zztid, zzval, ARCH_STACK_PTR, R_STACK_PTR, \
947 post_reg_write_pthread_return)
njnd3040452003-05-19 15:04:06 +0000948
949#define SET_PTHREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000950 SET_THREAD_REG(zztid, zzval, ARCH_PTHREQ_RET, R_PTHREQ_RET, \
951 post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000952
sewardj2e93c502002-04-12 11:12:52 +0000953
954/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000955 Exports of vg_signals.c
956 ------------------------------------------------------------------ */
957
jsgf855d93d2003-10-13 22:26:55 +0000958extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
959
960/* RT signal allocation */
961extern Int VG_(sig_rtmin);
962extern Int VG_(sig_rtmax);
963extern Int VG_(sig_alloc_rtsig) ( Int high );
964
sewardjde4a1d02002-03-22 01:27:54 +0000965extern void VG_(sigstartup_actions) ( void );
966
jsgf855d93d2003-10-13 22:26:55 +0000967extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000968extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000969
jsgf855d93d2003-10-13 22:26:55 +0000970extern Bool VG_(is_sig_ign) ( Int sigNo );
971
972/* Route pending signals from the scheduler LWP to the appropriate
973 thread LWP. */
974extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000975
976/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000977extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000978extern void VG_(do__NR_sigaction) ( ThreadId tid );
nethercote85cdd342004-08-01 22:36:40 +0000979extern void VG_(do__NR_sigprocmask) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000980 vki_ksigset_t* set,
981 vki_ksigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000982extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +0000983 vki_ksigset_t* set,
984 vki_ksigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000985
sewardj2e93c502002-04-12 11:12:52 +0000986/* Modify the current thread's state once we have detected it is
987 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000988extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000989
sewardj2e93c502002-04-12 11:12:52 +0000990/* Handy utilities to block/restore all host signals. */
991extern void VG_(block_all_host_signals)
992 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000993extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000994 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000995
jsgf855d93d2003-10-13 22:26:55 +0000996extern void VG_(kill_self)(Int sigNo);
997
fitzhardingef1beb252004-03-16 09:49:08 +0000998/* These function synthesize a fault, as if the running instruction
999 had had a fault. These functions do not return - they longjmp back
1000 into the scheduler so the signal can be delivered. */
1001extern void VG_(synth_fault) (ThreadId tid);
1002extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1003extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1004
nethercote759dda32004-08-07 18:16:56 +00001005extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +00001006
sewardjde4a1d02002-03-22 01:27:54 +00001007/* ---------------------------------------------------------------------
1008 Exports of vg_mylibc.c
1009 ------------------------------------------------------------------ */
1010
njne427a662002-10-02 11:08:25 +00001011#define vg_assert(expr) \
1012 ((void) ((expr) ? 0 : \
1013 (VG_(core_assert_fail) (VG__STRING(expr), \
1014 __FILE__, __LINE__, \
1015 __PRETTY_FUNCTION__), 0)))
1016__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001017extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1018 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001019__attribute__ ((__noreturn__))
1020extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001021__attribute__ ((__noreturn__))
1022extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001023
nethercote05675c82004-08-04 10:37:49 +00001024/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001025extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001026
njn25e49d8e72002-09-23 09:36:25 +00001027extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001028extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001029
fitzhardinge98abfc72003-12-16 02:05:15 +00001030/* system/mman.h */
nethercoteb4250ae2004-07-10 16:50:09 +00001031extern void* VG_(mmap)( void* start, UInt length, UInt prot, UInt flags,
1032 UInt sf_flags, UInt fd, UInt offset );
fitzhardinge98abfc72003-12-16 02:05:15 +00001033extern Int VG_(munmap)( void* start, Int length );
1034extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1035
1036
jsgf855d93d2003-10-13 22:26:55 +00001037/* Move an fd into the Valgrind-safe range */
1038Int VG_(safe_fd)(Int oldfd);
1039
sewardj570f8902002-11-03 11:44:36 +00001040extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001041
1042/* --- Connecting over the network --- */
1043extern Int VG_(connect_via_socket)( UChar* str );
1044
fitzhardinge98abfc72003-12-16 02:05:15 +00001045/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001046extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1047 const Char *val );
1048extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1049extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001050
1051/* ---------------------------------------------------------------------
1052 Exports of vg_message.c
1053 ------------------------------------------------------------------ */
1054
1055/* Low-level -- send bytes directly to the message sink. Do not
1056 use. */
1057extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1058
nethercoted1da90e2004-08-03 17:26:39 +00001059// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001060// sim'd CPU. Defined here because needed for vg_libpthread.c,
1061// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1062// ensures the multiple definitions are not a problem. They must be functions
1063// rather than macros so that va_list can be used.
1064
1065__attribute__((weak))
1066int
1067VALGRIND_INTERNAL_PRINTF(char *format, ...)
1068{
1069 unsigned int _qzz_res = 0;
1070 va_list vargs;
1071 va_start(vargs, format);
1072 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
1073 (unsigned int)format, (unsigned int)vargs, 0, 0);
1074 va_end(vargs);
1075 return _qzz_res;
1076}
1077
1078__attribute__((weak))
1079int
1080VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1081{
1082 unsigned int _qzz_res = 0;
1083 va_list vargs;
1084 va_start(vargs, format);
1085 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
1086 (unsigned int)format, (unsigned int)vargs, 0, 0);
1087 va_end(vargs);
1088 return _qzz_res;
1089}
1090
nethercoted1da90e2004-08-03 17:26:39 +00001091
sewardjde4a1d02002-03-22 01:27:54 +00001092/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001093 Exports of vg_demangle.c
1094 ------------------------------------------------------------------ */
1095
1096extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1097
sewardjde4a1d02002-03-22 01:27:54 +00001098/* ---------------------------------------------------------------------
1099 Exports of vg_from_ucode.c
1100 ------------------------------------------------------------------ */
1101
sewardj22854b92002-11-30 14:00:47 +00001102extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001103
njn25e49d8e72002-09-23 09:36:25 +00001104extern void VG_(print_ccall_stats) ( void );
1105extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001106
sewardj22854b92002-11-30 14:00:47 +00001107extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1108extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001109
sewardjde4a1d02002-03-22 01:27:54 +00001110/* ---------------------------------------------------------------------
1111 Exports of vg_to_ucode.c
1112 ------------------------------------------------------------------ */
1113
fitzhardingec2dbbac2004-01-23 23:09:01 +00001114Bool VG_(cpu_has_feature)(UInt feat);
1115
sewardjde4a1d02002-03-22 01:27:54 +00001116extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001117
1118/* ---------------------------------------------------------------------
1119 Exports of vg_translate.c
1120 ------------------------------------------------------------------ */
1121
njn810086f2002-11-14 12:42:47 +00001122/* Expandable arrays of uinstrs. */
1123struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001124 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001125 Int used;
1126 Int size;
1127 UInstr* instrs;
1128 Int nextTemp;
1129};
1130
nethercote59a122d2004-08-03 17:16:51 +00001131extern void VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001132
nethercote885dd912004-08-03 23:14:00 +00001133extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001134
nethercotebee3fd92004-08-02 15:17:43 +00001135extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001136
sewardjde4a1d02002-03-22 01:27:54 +00001137/* ---------------------------------------------------------------------
1138 Exports of vg_execontext.c.
1139 ------------------------------------------------------------------ */
1140
1141/* Records the PC and a bit of the call chain. The first 4 %eip
1142 values are used in comparisons do remove duplicate errors, and for
1143 comparing against suppression specifications. The rest are purely
1144 informational (but often important). */
1145
njn25e49d8e72002-09-23 09:36:25 +00001146struct _ExeContext {
1147 struct _ExeContext * next;
1148 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001149 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001150 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001151 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001152};
sewardjde4a1d02002-03-22 01:27:54 +00001153
1154
sewardjde4a1d02002-03-22 01:27:54 +00001155/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001156extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001157
njn25e49d8e72002-09-23 09:36:25 +00001158/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001159extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1160 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001161
1162
1163/* ---------------------------------------------------------------------
1164 Exports of vg_errcontext.c.
1165 ------------------------------------------------------------------ */
1166
njn25e49d8e72002-09-23 09:36:25 +00001167extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001168
njn25e49d8e72002-09-23 09:36:25 +00001169extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001170
njn25e49d8e72002-09-23 09:36:25 +00001171extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001172
nethercotef2b11482004-08-02 12:36:01 +00001173extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001174
nethercotef2b11482004-08-02 12:36:01 +00001175extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001176
sewardjde4a1d02002-03-22 01:27:54 +00001177/* ---------------------------------------------------------------------
1178 Exports of vg_procselfmaps.c
1179 ------------------------------------------------------------------ */
1180
njnfa1016e2003-09-25 17:54:11 +00001181/* Reads /proc/self/maps into a static buffer which can be parsed by
1182 VG_(parse_procselfmaps)(). */
1183extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001184
1185/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1186 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1187 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001188extern
njnfa1016e2003-09-25 17:54:11 +00001189void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001190 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001191 UInt dev, UInt ino, ULong foff,
1192 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001193
1194
1195/* ---------------------------------------------------------------------
1196 Exports of vg_symtab2.c
1197 ------------------------------------------------------------------ */
1198
fitzhardinge98abfc72003-12-16 02:05:15 +00001199typedef struct _Segment Segment;
1200
1201extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001202extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001203extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001204extern void VG_(symtab_incref) ( SegInfo * );
1205extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001206
njn25e49d8e72002-09-23 09:36:25 +00001207extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001208
fitzhardinge98abfc72003-12-16 02:05:15 +00001209/* Set up some default redirects */
1210extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001211
fitzhardinge98abfc72003-12-16 02:05:15 +00001212/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001213extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001214
1215/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001216 Exports of vg_main.c
1217 ------------------------------------------------------------------ */
1218
sewardjb91ae7f2003-04-29 23:50:00 +00001219/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1220 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001221 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001222 correctly snapshot the startup machine state without it. */
1223extern Bool VG_(have_ssestate);
1224
sewardj73cf3bc2002-11-03 03:20:15 +00001225/* Tell the logging mechanism whether we are logging to a file
1226 descriptor or a socket descriptor. */
1227extern Bool VG_(logging_to_filedes);
1228
njn25e49d8e72002-09-23 09:36:25 +00001229/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001230extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001231
fitzhardinge98abfc72003-12-16 02:05:15 +00001232/* Address space */
1233extern Addr VG_(client_base); /* client address space limits */
1234extern Addr VG_(client_end);
1235extern Addr VG_(client_mapbase); /* base of mappings */
1236extern Addr VG_(clstk_base); /* client stack range */
1237extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001238extern Addr VG_(client_trampoline_code);
1239
fitzhardinge98abfc72003-12-16 02:05:15 +00001240extern Addr VG_(brk_base); /* start of brk */
1241extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001242extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001243extern Addr VG_(shadow_end);
1244extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001245extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001246
fitzhardingeb50068f2004-02-24 23:42:55 +00001247extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
thughesc37184f2004-09-11 14:16:57 +00001248extern vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001249
fitzhardingea49f9b52003-12-16 22:26:45 +00001250/* client executable file descriptor */
1251extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001252
nethercotef6a1d502004-08-09 12:21:57 +00001253// Help set up the child used when doing execve() with --trace-children=yes
1254Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1255Char* VG_(build_child_exename) ( void );
1256
njn9b007f62003-04-07 14:40:25 +00001257/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001258extern Bool VG_(need_to_handle_esp_assignment) ( void );
1259
sewardjde4a1d02002-03-22 01:27:54 +00001260/* Called when some unhandleable client behaviour is detected.
1261 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001262extern void VG_(unimplemented) ( Char* msg )
1263 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001264
nethercote04d0fbc2004-01-26 16:48:06 +00001265/* Something of a function looking for a home ... start up debugger. */
1266extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001267
sewardjde4a1d02002-03-22 01:27:54 +00001268/* Counts downwards in vg_run_innerloop. */
1269extern UInt VG_(dispatch_ctr);
1270
sewardjde4a1d02002-03-22 01:27:54 +00001271/* --- Counters, for informational purposes only. --- */
1272
nethercote92e7b7f2004-08-07 17:52:25 +00001273// These counters must be declared here because they're maintained by
1274// vg_dispatch.S.
1275extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1276extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1277extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001278
nethercote844e7122004-08-02 15:27:22 +00001279extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001280
nethercote2e05c332004-09-06 16:43:37 +00001281extern Int VG_(alloc_BaB)( Int ); // Allocate slots in baseBlock
1282extern void VG_(align_BaB)( UInt ); // Align baseBlock offset
1283extern Int VG_(alloc_BaB_1_set)( Addr ); // Allocate & init baseBlock slot
1284
sewardjde4a1d02002-03-22 01:27:54 +00001285/* ---------------------------------------------------------------------
1286 Exports of vg_memory.c
1287 ------------------------------------------------------------------ */
1288
fitzhardinge98abfc72003-12-16 02:05:15 +00001289/* A Segment is mapped piece of client memory. This covers all kinds
1290 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1291
1292 We try to encode everything we know about a particular segment here.
1293*/
nethercote85cdd342004-08-01 22:36:40 +00001294#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1295#define SF_SHARED (1 << 1) // shared
1296#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1297#define SF_MMAP (1 << 3) // mmap memory
1298#define SF_FILE (1 << 4) // mapping is backed by a file
1299#define SF_STACK (1 << 5) // is a stack
1300#define SF_GROWDOWN (1 << 6) // segment grows down
1301#define SF_GROWUP (1 << 7) // segment grows up
1302#define SF_EXEC (1 << 8) // segment created by exec
1303#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1304#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1305#define SF_BRK (1 << 11) // brk segment
1306#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1307#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1308#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001309
1310struct _Segment {
1311 UInt prot; /* VKI_PROT_* */
1312 UInt flags; /* SF_* */
1313
1314 Addr addr; /* mapped addr (page aligned) */
1315 UInt len; /* size of mapping (page aligned) */
1316
1317 /* These are valid if (flags & SF_FILE) */
1318 ULong offset; /* file offset */
1319 const Char *filename; /* filename (NULL if unknown) */
1320 UInt dev; /* device */
1321 UInt ino; /* inode */
1322
1323 SegInfo *symtab; /* symbol table */
1324};
1325
1326/* segment mapped from a file descriptor */
1327extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1328 Int fd, ULong off, const Char *filename);
1329
1330/* segment mapped from a file */
1331extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1332 UInt dev, UInt ino, ULong off, const Char *filename);
1333
1334/* simple segment */
1335extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1336
1337extern void VG_(unmap_range) (Addr addr, UInt len);
1338extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1339extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1340
1341extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001342extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001343extern Segment *VG_(next_segment)(Segment *);
1344
1345extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1346extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1347
thughes9aaebc32004-07-15 23:13:37 +00001348extern void VG_(pad_address_space)(void);
1349extern void VG_(unpad_address_space)(void);
1350
nethercoteeec46302004-08-23 15:06:23 +00001351extern REGPARM(1)
njnfa1016e2003-09-25 17:54:11 +00001352 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001353
jsgf855d93d2003-10-13 22:26:55 +00001354/* ---------------------------------------------------------------------
1355 Exports of vg_proxylwp.c
1356 ------------------------------------------------------------------ */
1357
1358/* Issue a syscall for thread tid */
1359extern Int VG_(sys_issue)(int tid);
1360
1361extern void VG_(proxy_init) ( void );
1362extern void VG_(proxy_create) ( ThreadId tid );
1363extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1364extern void VG_(proxy_results) ( void );
1365extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1366extern void VG_(proxy_setsigmask)(ThreadId tid);
1367extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1368extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1369extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001370extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001371
nethercote85cdd342004-08-01 22:36:40 +00001372extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1373extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1374 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001375
1376/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001377void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001378
1379/* Send a signal from a thread's proxy to the thread. This longjmps
1380 back into the proxy's main loop, so it doesn't return. */
1381__attribute__ ((__noreturn__))
1382extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1383 const struct vki_sigcontext *sigcontext );
1384
sewardjde4a1d02002-03-22 01:27:54 +00001385/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001386 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001387 ------------------------------------------------------------------ */
1388
fitzhardinge98abfc72003-12-16 02:05:15 +00001389extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001390
jsgf855d93d2003-10-13 22:26:55 +00001391extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001392extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001393
1394extern Bool VG_(is_kerror) ( Int res );
1395
jsgf855d93d2003-10-13 22:26:55 +00001396/* Internal atfork handlers */
1397typedef void (*vg_atfork_t)(ThreadId);
1398extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001399
rjwalshf5f536f2003-11-17 17:45:00 +00001400/* fd leakage calls. */
1401extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001402extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001403
sewardjde4a1d02002-03-22 01:27:54 +00001404/* ---------------------------------------------------------------------
1405 Exports of vg_transtab.c
1406 ------------------------------------------------------------------ */
1407
njn25e49d8e72002-09-23 09:36:25 +00001408/* The fast-cache for tt-lookup. */
1409extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1410
nethercote92e7b7f2004-08-07 17:52:25 +00001411extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001412extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001413 Addr trans_addr, Int trans_size,
1414 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001415extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001416
nethercote92e7b7f2004-08-07 17:52:25 +00001417extern void VG_(invalidate_translations) ( Addr start, UInt range,
1418 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001419
nethercote92e7b7f2004-08-07 17:52:25 +00001420extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001421
nethercote92e7b7f2004-08-07 17:52:25 +00001422extern void VG_(print_tt_tc_stats) ( void );
1423
1424extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001425
sewardjde4a1d02002-03-22 01:27:54 +00001426/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001427 Exports of vg_syscall.S
1428 ------------------------------------------------------------------ */
1429
jsgf855d93d2003-10-13 22:26:55 +00001430extern Int VG_(do_syscall) ( UInt, ... );
1431extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1432 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001433extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001434
1435/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001436 Exports of vg_dispatch.S
1437 ------------------------------------------------------------------ */
1438
sewardj2e93c502002-04-12 11:12:52 +00001439/* Run a thread for a (very short) while, until some event happens
1440 which means we need to defer to the scheduler. */
1441extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001442
sewardj22854b92002-11-30 14:00:47 +00001443/* The patching routing called when a BB wants to chain itself to
1444 another. */
1445extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001446
1447/* ---------------------------------------------------------------------
1448 Exports of vg_helpers.S
1449 ------------------------------------------------------------------ */
1450
sewardj51096432002-12-14 23:59:09 +00001451extern void VG_(helper_undefined_instruction);
1452
fitzhardinge92360792003-12-24 10:11:11 +00001453/* Information about trampoline code (for signal return and syscalls) */
1454extern const Char VG_(trampoline_code_start);
1455extern const Int VG_(trampoline_code_length);
1456extern const Int VG_(tramp_sigreturn_offset);
1457extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001458
njn4f9c9342002-04-29 16:03:24 +00001459/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001460 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001461 ------------------------------------------------------------------ */
1462
fitzhardinge98abfc72003-12-16 02:05:15 +00001463#define VG_TRACK(fn, args...) \
1464 do { \
1465 if (VG_(defined_##fn)()) \
1466 SK_(fn)(args); \
1467 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001468
fitzhardinge98abfc72003-12-16 02:05:15 +00001469__attribute__ ((noreturn))
1470extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001471
sewardjde4a1d02002-03-22 01:27:54 +00001472/* ---------------------------------------------------------------------
nethercote6a27d832004-09-07 10:17:02 +00001473 The baseBlock -- arch-neutral bits
sewardjde4a1d02002-03-22 01:27:54 +00001474 ------------------------------------------------------------------ */
1475
nethercote2e05c332004-09-06 16:43:37 +00001476#define INVALID_OFFSET (-1)
sewardjde4a1d02002-03-22 01:27:54 +00001477
1478/* An array of words. In generated code, %ebp always points to the
1479 start of this array. Useful stuff, like the simulated CPU state,
1480 and the addresses of helper functions, can then be found by
1481 indexing off %ebp. The following declares variables which, at
1482 startup time, are given values denoting offsets into baseBlock.
1483 These offsets are in *words* from the start of baseBlock. */
1484
sewardjb91ae7f2003-04-29 23:50:00 +00001485#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001486
1487extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1488
nethercotec06e2132004-09-03 13:45:29 +00001489// ---------------------------------------------------------------------
1490// Architecture-specific things defined in eg. x86/*.c
1491// ---------------------------------------------------------------------
1492
nethercotec009ebe2004-09-13 11:05:11 +00001493// For setting up the baseBlock
nethercote2e05c332004-09-06 16:43:37 +00001494extern void VGA_(init_low_baseBlock) ( Addr client_eip, Addr esp_at_startup );
1495extern void VGA_(init_high_baseBlock) ( Addr client_eip, Addr esp_at_startup );
1496
nethercotec009ebe2004-09-13 11:05:11 +00001497// Register state moving
nethercotec06e2132004-09-03 13:45:29 +00001498extern void VGA_(load_state) ( arch_thread_t*, ThreadId tid );
1499extern void VGA_(save_state) ( arch_thread_t*, ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001500
nethercotec009ebe2004-09-13 11:05:11 +00001501// Thread stuff
nethercote7587d472004-09-11 23:51:50 +00001502extern void VGA_(clear_thread) ( arch_thread_t* );
1503extern void VGA_(init_thread) ( arch_thread_t* );
nethercotef9b59412004-09-10 15:33:32 +00001504extern void VGA_(cleanup_thread) ( arch_thread_t* );
1505extern void VGA_(setup_child) ( arch_thread_t*, arch_thread_t* );
1506
nethercote6b9c8472004-09-13 13:16:40 +00001507extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1508extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1509
nethercotec009ebe2004-09-13 11:05:11 +00001510// Symtab stuff
nethercotecd656042004-09-11 23:48:22 +00001511extern UInt* VGA_(reg_addr_from_BB) ( Int reg );
1512extern UInt* VGA_(reg_addr_from_tst) ( Int reg, arch_thread_t* );
1513
nethercotefedd8102004-09-13 15:19:34 +00001514// Pointercheck
1515extern Bool VGA_(setup_pointercheck) ( void );
1516
1517// For attaching the debugger
1518extern Int VGA_(ptrace_setregs_from_BB) ( Int pid );
1519extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, arch_thread_t* arch );
1520
1521// Making coredumps
1522extern void VGA_(fill_elfregs_from_BB) ( struct user_regs_struct* regs );
1523extern void VGA_(fill_elfregs_from_tst) ( struct user_regs_struct* regs,
1524 const arch_thread_t* arch );
1525extern void VGA_(fill_elffpregs_from_BB) ( elf_fpregset_t* fpu );
1526extern void VGA_(fill_elffpregs_from_tst) ( elf_fpregset_t* fpu,
1527 const arch_thread_t* arch );
1528extern void VGA_(fill_elffpxregs_from_BB) ( elf_fpxregset_t* xfpu );
1529extern void VGA_(fill_elffpxregs_from_tst) ( elf_fpxregset_t* xfpu,
1530 const arch_thread_t* arch );
1531
nethercote6eec4602004-09-13 14:15:36 +00001532// Signal stuff
1533extern void VGA_(push_signal_frame) ( ThreadId tid, Addr esp_top_of_frame,
1534 const vki_ksiginfo_t *siginfo,
1535 void *handler, UInt flags,
1536 const vki_ksigset_t *mask);
1537extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1538
nethercote775508a2004-09-07 22:38:23 +00001539
sewardj3b2736a2002-03-24 12:18:35 +00001540
1541/* ---------------------------------------------------------------------
1542 Finally - autoconf-generated settings
1543 ------------------------------------------------------------------ */
1544
1545#include "config.h"
1546
nethercotec06e2132004-09-03 13:45:29 +00001547#endif /* ndef __CORE_H */
1548
sewardjde4a1d02002-03-22 01:27:54 +00001549/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001550/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001551/*--------------------------------------------------------------------*/