blob: f70dcb9f2fd066585905ec5a981469831f05aebc [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. ---*/
sewardjde4a1d02002-03-22 01:27:54 +00004/*--- Include no other! ---*/
5/*--- vg_include.h ---*/
6/*--------------------------------------------------------------------*/
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
33#ifndef __VG_INCLUDE_H
34#define __VG_INCLUDE_H
35
sewardjde4a1d02002-03-22 01:27:54 +000036/* ---------------------------------------------------------------------
37 Build options and table sizes. You should be able to change these
38 options or sizes, recompile, and still have a working system.
39 ------------------------------------------------------------------ */
40
jsgf855d93d2003-10-13 22:26:55 +000041/* For system call numbers __NR_... */
42#include "vg_unistd.h"
43
sewardjde4a1d02002-03-22 01:27:54 +000044#include "vg_constants.h"
45
nethercote996901a2004-08-03 13:29:09 +000046/* All stuff visible to core and tools goes in vg_skin.h. Things
47 * visible to core but not visible to any tools should go in this
sewardj4cf05692002-10-27 20:28:29 +000048 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000049#include "vg_skin.h"
fitzhardinge39de4b42003-10-31 07:12:21 +000050#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000051
fitzhardinge98abfc72003-12-16 02:05:15 +000052#undef SK_
53#define SK_(x) vgSkinInternal_##x
54
sewardjde4a1d02002-03-22 01:27:54 +000055/* Total number of spill slots available for allocation, if a TempReg
56 doesn't make it into a RealReg. Just bomb the entire system if
57 this value is too small; we don't expect it will ever get
58 particularly high. */
59#define VG_MAX_SPILLSLOTS 24
60
61
62/* Constants for the slow translation lookup cache. */
63#define VG_TRANSTAB_SLOW_BITS 11
64#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
65#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
66
67/* Size of a buffer used for creating messages. */
68#define M_VG_MSGBUF 10000
69
70/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000071#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000072
73/* Max length of pathname to a .so/executable file. */
74#define M_VG_LIBNAMESTR 100
75
76/* Max length of a text fragment used to construct error messages. */
77#define M_VG_ERRTXT 512
78
79/* Max length of the string copied from env var VG_ARGS at startup. */
80#define M_VG_CMDLINE_STRLEN 1000
81
82/* Max number of options for Valgrind which we can handle. */
83#define M_VG_CMDLINE_OPTS 100
84
85/* After this many different unsuppressed errors have been observed,
86 be more conservative about collecting new ones. */
87#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
88
89/* After this many different unsuppressed errors have been observed,
90 stop collecting errors at all, and tell the user their program is
91 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000092#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000093
94/* After this many total errors have been observed, stop collecting
95 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000096#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000097
sewardjde4a1d02002-03-22 01:27:54 +000098/* The maximum number of calls we're prepared to save in a
99 backtrace. */
100#define VG_DEEPEST_BACKTRACE 50
101
sewardjde4a1d02002-03-22 01:27:54 +0000102/* Number of lists in which we keep track of ExeContexts. Should be
103 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000104#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000105
sewardj2e93c502002-04-12 11:12:52 +0000106/* Defines the thread-scheduling timeslice, in terms of the number of
107 basic blocks we attempt to run each thread for. Smaller values
108 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000109#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000110
fitzhardingef0046f22003-12-18 02:39:22 +0000111/* Number of file descriptors that Valgrind tries to reserve for
112 it's own use - two per thread plues a small number of extras. */
113#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardjbf290b92002-05-01 02:28:01 +0000115/* Stack size for a thread. We try and check that they do not go
116 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000117#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000118
sewardj20917d82002-05-28 01:36:45 +0000119/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000120#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000121
sewardj8ad94e12002-05-29 00:10:20 +0000122/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000123#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000124
sewardj2cb00342002-06-28 01:46:26 +0000125/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000126#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000127
njn25e49d8e72002-09-23 09:36:25 +0000128/* Max number of callers for context in a suppression. */
129#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000130
nethercote4792edf2004-06-30 17:34:30 +0000131/* Valgrind's signal stack size, in words */
njn6eba4ef2003-05-01 08:06:41 +0000132#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000133
fitzhardinge98abfc72003-12-16 02:05:15 +0000134/* Useful macros */
135/* a - alignment - must be a power of 2 */
136#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
137#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
138#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
139#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
140
141
sewardjde4a1d02002-03-22 01:27:54 +0000142/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000143 Command-line-settable options
144 ------------------------------------------------------------------ */
145
sewardj4f094a72002-11-05 23:37:35 +0000146/* Default destination port to be used in logging over a network, if
147 none specified. */
148#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000149
150/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000151#define VG_CLO_MAX_SFILES 10
152
nethercote04d0fbc2004-01-26 16:48:06 +0000153/* Default debugger command. */
154#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
155
sewardj4cf05692002-10-27 20:28:29 +0000156/* Describes where logging output is to be sent. */
157typedef
158 enum {
159 VgLogTo_Fd,
160 VgLogTo_File,
161 VgLogTo_Socket
162 } VgLogTo;
163
jsgf855d93d2003-10-13 22:26:55 +0000164/* pid of main process */
165extern Int VG_(main_pid);
166
167/* pgrp of process (global to all threads) */
168extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000169
thughesad1c9562004-06-26 11:27:52 +0000170/* Application-visible file descriptor limits */
171extern Int VG_(fd_soft_limit);
172extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000173
sewardj72f98ff2002-06-13 17:23:38 +0000174/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000175extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000176/* Enquire about whether to attach to a debugger at errors? default: NO */
177extern Bool VG_(clo_db_attach);
178/* The debugger command? default: whatever gdb ./configure found */
179extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000180/* Enquire about generating a suppression for each error? default: NO */
181extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000182/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000183extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000184/* Automatically attempt to demangle C++ names? default: YES */
185extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000186/* Simulate child processes? default: NO */
187extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000188
189/* Where logging output is to be sent to.
190
nethercotef8548672004-06-21 12:42:35 +0000191 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
192 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000193
nethercotef8548672004-06-21 12:42:35 +0000194 When log_to == VgLogTo_File, clo_log_name holds the log-file
195 name, and is taken from the command line. clo_log_fd is then
196 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000197 (concatenated with the process ID) for writing.
198
nethercotef8548672004-06-21 12:42:35 +0000199 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000200 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000201 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000202 opening a connection to said hostname:portnumber pair.
203
nethercotef8548672004-06-21 12:42:35 +0000204 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000205 (stderr). */
206extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000207extern Int VG_(clo_log_fd);
208extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000209
sewardj6024b212003-07-13 10:54:33 +0000210/* The file descriptor to read for input. default: 0 == stdin */
211extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000212/* The number of suppression files specified. */
213extern Int VG_(clo_n_suppressions);
214/* The names of the suppression files. */
215extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
216
217/* Single stepping? default: NO */
218extern Bool VG_(clo_single_step);
219/* Code improvement? default: YES */
220extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000221/* DEBUG: print generated code? default: 00000 ( == NO ) */
222extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000223/* DEBUG: print system calls? default: NO */
224extern Bool VG_(clo_trace_syscalls);
225/* DEBUG: print signal details? default: NO */
226extern Bool VG_(clo_trace_signals);
227/* DEBUG: print symtab details? default: NO */
228extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000229/* DEBUG: print thread scheduling events? default: NO */
230extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000231/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
232 (some), 2 (all) */
233extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000234/* Display gory details for the k'th most popular error. default:
235 Infinity. */
236extern Int VG_(clo_dump_error);
237/* Number of parents of a backtrace. Default: 8. */
238extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000239/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000240extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000241/* How often we should poll for signals, assuming we need to poll for
242 signals. */
243extern Int VG_(clo_signal_polltime);
244
245/* Low latency syscalls and signals */
246extern Bool VG_(clo_lowlat_syscalls);
247extern Bool VG_(clo_lowlat_signals);
248
rjwalshf5f536f2003-11-17 17:45:00 +0000249/* Track open file descriptors? */
250extern Bool VG_(clo_track_fds);
251
sewardj858964b2002-10-05 14:15:43 +0000252/* Should we run __libc_freeres at exit? Sometimes causes crashes.
253 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
254 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000255 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000256 cannot be overridden from the command line. */
257extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000258/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000259extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000260/* Generate branch-prediction hints? */
261extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000262/* Continue stack traces below main()? Default: NO */
263extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000264/* Test each client pointer dereference to check it's within the
265 client address space bounds */
266extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000267
rjwalshe4e779d2004-04-16 23:02:29 +0000268/* Set up the libc freeres wrapper */
269extern void VG_(intercept_libc_freeres_wrapper)(Addr);
270
sewardjde4a1d02002-03-22 01:27:54 +0000271/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000272 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000273 ------------------------------------------------------------------ */
274
sewardjde4a1d02002-03-22 01:27:54 +0000275extern void VGP_(init_profiling) ( void );
276extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000277
njn25e49d8e72002-09-23 09:36:25 +0000278#undef VGP_PUSHCC
279#undef VGP_POPCC
280#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
281#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000282
sewardjde4a1d02002-03-22 01:27:54 +0000283/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000284 Tool-related types
njn810086f2002-11-14 12:42:47 +0000285 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000286/* These structs are not exposed to tools to mitigate possibility of
287 binary-incompatibilities when the core/tool interface changes. Instead,
njn810086f2002-11-14 12:42:47 +0000288 set functions are provided (see include/vg_skin.h). */
289typedef
290 struct {
291 Char* name;
292 Char* version;
293 Char* description;
294 Char* copyright_author;
295 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000296 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000297 }
298 VgDetails;
299
300extern VgDetails VG_(details);
301
302/* If new fields are added to this type, update:
303 * - vg_main.c:initialisation of VG_(needs)
304 * - vg_main.c:sanity_check_needs()
305 *
306 * If the name of this type or any of its fields change, update:
307 * - dependent comments (just search for "VG_(needs)").
308 */
309typedef
310 struct {
311 Bool libc_freeres;
312 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000313 Bool skin_errors;
314 Bool basic_block_discards;
315 Bool shadow_regs;
316 Bool command_line_options;
317 Bool client_requests;
318 Bool extended_UCode;
319 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000320 Bool sanity_checks;
321 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000322 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000323 }
324 VgNeeds;
325
326extern VgNeeds VG_(needs);
327
fitzhardinge98abfc72003-12-16 02:05:15 +0000328extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000329
fitzhardinge98abfc72003-12-16 02:05:15 +0000330#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000331
332/* ---------------------------------------------------------------------
333 Exports of vg_needs.c
334 ------------------------------------------------------------------ */
335
336void VG_(sanity_check_needs)(void);
337
338/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000339 Exports of vg_malloc2.c
340 ------------------------------------------------------------------ */
341
342/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000343
344 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000345 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000346 SYMTAB for Valgrind's symbol table storage.
347 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000348 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
349 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000350 DEMANGLE for the C++ demangler.
351 EXECTXT for storing ExeContexts.
352 ERRORS for storing CoreErrors.
353 TRANSIENT for very short-term use. It should be empty in between uses.
354
njn25e49d8e72002-09-23 09:36:25 +0000355 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000356*/
357typedef Int ArenaId;
358
njn3e884182003-04-15 13:03:23 +0000359#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000360
njn3e884182003-04-15 13:03:23 +0000361#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000362#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000363#define VG_AR_SYMTAB 2
364#define VG_AR_JITTER 3
365#define VG_AR_CLIENT 4
366#define VG_AR_DEMANGLE 5
367#define VG_AR_EXECTXT 6
368#define VG_AR_ERRORS 7
369#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000370
njn25e49d8e72002-09-23 09:36:25 +0000371extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
372extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000373extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
374 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000375extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
376 Int size );
377extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000378 Int req_pszB );
379
njn8a6b6c02003-04-22 22:45:55 +0000380extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
381
nethercote885dd912004-08-03 23:14:00 +0000382extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000383
nethercote3a42fb82004-08-03 18:08:50 +0000384extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000385
sewardjde4a1d02002-03-22 01:27:54 +0000386extern Bool VG_(is_empty_arena) ( ArenaId aid );
387
sewardjde4a1d02002-03-22 01:27:54 +0000388/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000389 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000390 ------------------------------------------------------------------ */
391
392/* This doesn't export code or data that valgrind.so needs to link
393 against. However, the scheduler does need to know the following
394 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000395 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000396
njn4c791212003-05-02 17:53:54 +0000397#define VG_USERREQ__MALLOC 0x2001
398#define VG_USERREQ__FREE 0x2002
399
sewardj20917d82002-05-28 01:36:45 +0000400/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
401 MUST NOT return -- ever. Eventually it will do either __QUIT or
402 __WAIT_JOINER. */
403#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
404
405/* ( no-args ): calling thread disappears from the system forever.
406 Reclaim resources. */
407#define VG_USERREQ__QUIT 0x3002
408
409/* ( void* ): calling thread waits for joiner and returns the void* to
410 it. */
411#define VG_USERREQ__WAIT_JOINER 0x3003
412
413/* ( ThreadId, void** ): wait to join a thread. */
414#define VG_USERREQ__PTHREAD_JOIN 0x3004
415
416/* Set cancellation state and type for this thread. */
417#define VG_USERREQ__SET_CANCELSTATE 0x3005
418#define VG_USERREQ__SET_CANCELTYPE 0x3006
419
420/* ( no-args ): Test if we are at a cancellation point. */
421#define VG_USERREQ__TESTCANCEL 0x3007
422
423/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
424 with this arg to indicate that a cancel is now pending for the
425 specified thread. */
426#define VG_USERREQ__SET_CANCELPEND 0x3008
427
428/* Set/get detach state for this thread. */
429#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
430
431#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
432#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
433#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
434#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
435#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
436#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
437#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
438#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
439#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
440#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000441#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
442#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000443#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
444#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000445#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000446#define VG_USERREQ__PTHREAD_KILL 0x301A
447#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000448#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000449
sewardj8ad94e12002-05-29 00:10:20 +0000450#define VG_USERREQ__CLEANUP_PUSH 0x3020
451#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000452#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000453
sewardjef037c72002-05-30 00:40:03 +0000454#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000455
456/* Ask how many signal handler returns have happened to this
457 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000458#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000459
sewardj2cb00342002-06-28 01:46:26 +0000460/* Get/set entries for a thread's pthread_atfork stack. */
461#define VG_USERREQ__SET_FHSTACK_USED 0x3025
462#define VG_USERREQ__GET_FHSTACK_USED 0x3026
463#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
464#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000465
nethercotef971ab72004-08-02 16:27:40 +0000466/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000467#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000468
469/* Allocate RT signals */
470#define VG_USERREQ__GET_SIGRT_MIN 0x302B
471#define VG_USERREQ__GET_SIGRT_MAX 0x302C
472#define VG_USERREQ__ALLOC_RTSIG 0x302D
473
474/* Hook for replace_malloc.o to get malloc functions */
475#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
476
thughesdaa34562004-06-27 12:48:53 +0000477/* Get stack information for a thread. */
478#define VG_USERREQ__GET_STACK_INFO 0x3033
479
sewardj45b4b372002-04-16 22:50:32 +0000480/* Cosmetic ... */
481#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000482/* Log a pthread error from client-space. Cosmetic. */
483#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000484/* Internal equivalent of VALGRIND_PRINTF . */
485#define VG_USERREQ__INTERNAL_PRINTF 0x3103
486/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
487#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000488
sewardj54cacf02002-04-12 23:24:59 +0000489/*
490In vg_constants.h:
491#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000492*/
493
rjwalshe4e779d2004-04-16 23:02:29 +0000494#define VG_INTERCEPT_PREFIX "_vgi__"
495#define VG_INTERCEPT_PREFIX_LEN 6
496#define VG_INTERCEPT(name) _vgi__##name
497#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
498
499#define VG_WRAPPER_PREFIX "_vgw__"
500#define VG_WRAPPER_PREFIX_LEN 6
501#define VG_WRAPPER(name) _vgw__##name
502#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
503
njn4c791212003-05-02 17:53:54 +0000504
fitzhardinge98abfc72003-12-16 02:05:15 +0000505struct vg_mallocfunc_info {
506 /* things vg_replace_malloc.o needs to know about */
507 Addr sk_malloc;
508 Addr sk_calloc;
509 Addr sk_realloc;
510 Addr sk_memalign;
511 Addr sk___builtin_new;
512 Addr sk___builtin_vec_new;
513 Addr sk_free;
514 Addr sk___builtin_delete;
515 Addr sk___builtin_vec_delete;
516
517 Addr arena_payload_szB;
518
519 Bool clo_sloppy_malloc;
520 Bool clo_trace_malloc;
521};
sewardj1fe7b002002-07-16 01:43:15 +0000522
sewardj2e93c502002-04-12 11:12:52 +0000523/* ---------------------------------------------------------------------
524 Constants pertaining to the simulated CPU state, VG_(baseBlock),
525 which need to go here to avoid ugly circularities.
526 ------------------------------------------------------------------ */
527
sewardjb91ae7f2003-04-29 23:50:00 +0000528/* How big is the saved SSE/SSE2 state? Note that this subsumes the
529 FPU state. On machines without SSE, we just save/restore the FPU
530 state into the first part of this area. */
531/* A general comment about SSE save/restore: It appears that the 7th
532 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
533 that restoring from it later does not cause a GP fault (which is
534 delivered as a segfault). I guess this will have to be done
535 any time we do fxsave :-( 7th word means word offset 6 or byte
536 offset 24 from the start address of the save area.
537 */
538#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000539/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000540#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000541
542
543/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000544 Exports of vg_defaults.c
545 ------------------------------------------------------------------ */
546
547extern Bool VG_(sk_malloc_called_by_scheduler);
548
549
550/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000551 Exports of vg_ldt.c
552 ------------------------------------------------------------------ */
553
554/* This is the hardware-format for a segment descriptor, ie what the
555 x86 actually deals with. It is 8 bytes long. It's ugly. */
556
557typedef struct _LDT_ENTRY {
558 union {
559 struct {
560 UShort LimitLow;
561 UShort BaseLow;
562 unsigned BaseMid : 8;
563 unsigned Type : 5;
564 unsigned Dpl : 2;
565 unsigned Pres : 1;
566 unsigned LimitHi : 4;
567 unsigned Sys : 1;
568 unsigned Reserved_0 : 1;
569 unsigned Default_Big : 1;
570 unsigned Granularity : 1;
571 unsigned BaseHi : 8;
572 } Bits;
573 struct {
574 UInt word1;
575 UInt word2;
576 } Words;
577 }
578 LdtEnt;
579} VgLdtEntry;
580
581/* Maximum number of LDT entries supported (by the x86). */
582#define VG_M_LDT_ENTRIES 8192
583/* The size of each LDT entry == sizeof(VgLdtEntry) */
584#define VG_LDT_ENTRY_SIZE 8
585
586/* Alloc & copy, and dealloc. */
nethercote85cdd342004-08-01 22:36:40 +0000587extern VgLdtEntry* VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
588extern void VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
589extern void VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000590
591/* Simulate the modify_ldt syscall. */
592extern Int VG_(sys_modify_ldt) ( ThreadId tid,
593 Int func, void* ptr, UInt bytecount );
594
fitzhardinge47735af2004-01-21 01:27:27 +0000595/* Simulate the {get,set}_thread_area syscalls. */
596extern Int VG_(sys_set_thread_area) ( ThreadId tid,
597 struct vki_modify_ldt_ldt_s* info );
598extern Int VG_(sys_get_thread_area) ( ThreadId tid,
599 struct vki_modify_ldt_ldt_s* info );
600
sewardje1042472002-09-30 12:33:11 +0000601/* Called from generated code. Given a segment selector and a virtual
602 address, return a linear address, and do limit checks too. */
603extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
604
sewardj92a59562002-09-30 00:53:10 +0000605
606/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000607 Exports of vg_libpthread.c
608 ------------------------------------------------------------------ */
609
610/* Replacements for pthread types, shared between vg_libpthread.c and
611 vg_scheduler.c. See comment in vg_libpthread.c above the other
612 vg_pthread_*_t types for a description of how these are used. */
613
614struct _vg_pthread_fastlock
615{
616 long int __vg_status; /* "Free" or "taken" or head of waiting list */
617 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
618 adaptive SMP lock stores spin count here. */
619};
620
621typedef struct
622{
623 int __vg_m_reserved; /* Reserved for future use */
624 int __vg_m_count; /* Depth of recursive locking */
625 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
626 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
627 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
628} vg_pthread_mutex_t;
629
630typedef struct
631{
632 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000633 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
634
635 // Nb: the following padding removed because it was missing from an
636 // earlier glibc, so the size test in the CONVERT macro was failing.
637 // --njn
638
nethercote1f0173b2004-02-28 15:40:36 +0000639 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000640 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000641 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000642 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000643} vg_pthread_cond_t;
644
645
646/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000647 Exports of vg_scheduler.c
648 ------------------------------------------------------------------ */
649
sewardj2e93c502002-04-12 11:12:52 +0000650typedef
jsgf855d93d2003-10-13 22:26:55 +0000651 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000652 VgTs_Empty, /* this slot is not in use */
653 VgTs_Runnable, /* waiting to be scheduled */
654 VgTs_WaitJoiner, /* waiting for someone to do join on me */
655 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000656 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000657 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000658 VgTs_WaitSys, /* waiting for a syscall to complete */
659 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000660 }
661 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000662
thughes11975ff2004-06-12 12:58:22 +0000663typedef
664 enum CleanupType {
665 VgCt_None, /* this cleanup entry is not initialised */
666 VgCt_Function, /* an old-style function pointer cleanup */
667 VgCt_Longjmp /* a new-style longjmp based cleanup */
668 }
669 CleanupType;
670
thughesdaa34562004-06-27 12:48:53 +0000671/* Information on a thread's stack. */
672typedef
673 struct {
674 Addr base;
675 UInt size;
676 UInt guardsize;
677 }
678 StackInfo;
679
sewardj8ad94e12002-05-29 00:10:20 +0000680/* An entry in a threads's cleanup stack. */
681typedef
682 struct {
thughes11975ff2004-06-12 12:58:22 +0000683 CleanupType type;
684 union {
685 struct {
686 void (*fn)(void*);
687 void* arg;
688 } function;
689 struct {
thughesebed9982004-06-12 17:25:25 +0000690 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000691 int ctype;
692 } longjmp;
693 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000694 }
695 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000696
697/* An entry in a thread's fork-handler stack. */
698typedef
699 struct {
700 void (*prepare)(void);
701 void (*parent)(void);
702 void (*child)(void);
703 }
704 ForkHandlerEntry;
705
jsgf855d93d2003-10-13 22:26:55 +0000706typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000707
njn72718642003-07-24 08:45:32 +0000708typedef
709 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000710 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
711 The thread identity is simply the index in vg_threads[].
712 ThreadId == 1 is the root thread and has the special property
713 that we don't try and allocate or deallocate its stack. For
714 convenience of generating error message, we also put the
715 ThreadId in this tid field, but be aware that it should
716 ALWAYS == the index in vg_threads[]. */
717 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000718
njn25e49d8e72002-09-23 09:36:25 +0000719 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000720
njn25e49d8e72002-09-23 09:36:25 +0000721 Complications: whenever this is set to VgTs_WaitMX, you
722 should also set .m_edx to whatever the required return value
723 is for pthread_mutex_lock / pthread_cond_timedwait for when
724 the mutex finally gets unblocked. */
725 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000726
njn25e49d8e72002-09-23 09:36:25 +0000727 /* When .status == WaitMX, points to the mutex I am waiting for.
728 When .status == WaitCV, points to the mutex associated with
729 the condition variable indicated by the .associated_cv field.
730 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000731 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000732
njn25e49d8e72002-09-23 09:36:25 +0000733 /* When .status == WaitCV, points to the condition variable I am
734 waiting for. In all other cases, should be NULL. */
735 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000736
njn25e49d8e72002-09-23 09:36:25 +0000737 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000738 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 If VgTs_WaitCV, this indicates the time at which
741 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
742 this means infinitely far in the future, viz,
743 pthread_cond_wait. */
744 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000745
njn25e49d8e72002-09-23 09:36:25 +0000746 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
747 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000748
njn25e49d8e72002-09-23 09:36:25 +0000749 /* If VgTs_WaitJoinee, place to copy the return value to, and
750 the identity of the thread we're waiting for. */
751 void** joiner_thread_return;
752 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000753
jsgf855d93d2003-10-13 22:26:55 +0000754 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
755 void *sys_pre_res;
756
757 /* If VgTs_WaitSys, this is the syscall we're currently running */
758 Int syscallno;
759
thughesbaa46e52004-07-29 17:44:23 +0000760 /* If VgTs_WaitSys, this is the syscall flags */
761 UInt sys_flags;
762
jsgf855d93d2003-10-13 22:26:55 +0000763 /* Details about this thread's proxy LWP */
764 ProxyLWP *proxy;
765
njn25e49d8e72002-09-23 09:36:25 +0000766 /* Whether or not detached. */
767 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* Cancelability state and type. */
770 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
771 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
772
773 /* Pointer to fn to call to do cancellation. Indicates whether
774 or not cancellation is pending. If NULL, not pending. Else
775 should be &thread_exit_wrapper(), indicating that
776 cancallation is pending. */
777 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000778
njn25e49d8e72002-09-23 09:36:25 +0000779 /* The cleanup stack. */
780 Int custack_used;
781 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000782
sewardj00a66b12002-10-12 16:42:35 +0000783 /* A pointer to the thread's-specific-data. This is handled almost
784 entirely from vg_libpthread.c. We just provide hooks to get and
785 set this ptr. This is either NULL, indicating the thread has
786 read/written none of its specifics so far, OR points to a
787 void*[VG_N_THREAD_KEYS], allocated and deallocated in
788 vg_libpthread.c. */
789 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000790
njn25e49d8e72002-09-23 09:36:25 +0000791 /* This thread's blocked-signals mask. Semantics is that for a
792 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000793 blocked by this signal mask. If more than one thread accepts a
794 signal, then it will be delivered to one at random. If all
795 threads block the signal, it will remain pending until either a
796 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
797
798 sig_mask reflects what the client told us its signal mask should
799 be, but isn't necessarily the current signal mask of the proxy
800 LWP: it may have more signals blocked because of signal
801 handling, or it may be different because of sigsuspend.
802 */
njn25e49d8e72002-09-23 09:36:25 +0000803 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000804
fitzhardingef0dd7e12004-01-16 02:17:30 +0000805 /* Effective signal mask. This is the mask which currently
806 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000807 handler is running.
808 */
809 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000810
njn25e49d8e72002-09-23 09:36:25 +0000811 /* Stacks. When a thread slot is freed, we don't deallocate its
812 stack; we just leave it lying around for the next use of the
813 slot. If the next use of the slot requires a larger stack,
814 only then is the old one deallocated and a new one
815 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000816
njn25e49d8e72002-09-23 09:36:25 +0000817 For the main thread (threadid == 0), this mechanism doesn't
818 apply. We don't know the size of the stack since we didn't
819 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000820
njn25e49d8e72002-09-23 09:36:25 +0000821 /* The allocated size of this thread's stack (permanently zero
822 if this is ThreadId == 0, since we didn't allocate its stack) */
823 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000824
njn25e49d8e72002-09-23 09:36:25 +0000825 /* Address of the lowest word in this thread's stack. NULL means
826 not allocated yet.
827 */
828 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000829
thughesdaa34562004-06-27 12:48:53 +0000830 /* The allocated size of this thread's stack's guard area (permanently
831 zero if this is ThreadId == 0, since we didn't allocate its stack) */
832 UInt stack_guard_size;
833
sewardj92a59562002-09-30 00:53:10 +0000834 /* Address of the highest legitimate word in this stack. This is
835 used for error messages only -- not critical for execution
836 correctness. Is is set for all stacks, specifically including
837 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000838 Addr stack_highest_word;
839
fitzhardinge98c4dc02004-03-16 08:27:29 +0000840 /* Alternate signal stack */
841 vki_kstack_t altstack;
842
sewardj92a59562002-09-30 00:53:10 +0000843 /* Pointer to this thread's Local (Segment) Descriptor Table.
844 Starts out as NULL, indicating there is no table, and we hope to
845 keep it that way. If the thread does __NR_modify_ldt to create
846 entries, we allocate a 8192-entry table at that point. This is
847 a straight copy of the Linux kernel's scheme. Don't forget to
848 deallocate this at thread exit. */
849 VgLdtEntry* ldt;
850
fitzhardinge47735af2004-01-21 01:27:27 +0000851 /* TLS table. This consists of a small number (currently 3) of
852 entries from the Global Descriptor Table. */
853 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
854
sewardj92a59562002-09-30 00:53:10 +0000855 /* Saved machine context. Note the FPU state, %EIP and segment
856 registers are not shadowed.
857
858 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000859 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000860 simplified if we pretend they are 32 bits. */
861 UInt m_cs;
862 UInt m_ss;
863 UInt m_ds;
864 UInt m_es;
865 UInt m_fs;
866 UInt m_gs;
867
njn25e49d8e72002-09-23 09:36:25 +0000868 UInt m_eax;
869 UInt m_ebx;
870 UInt m_ecx;
871 UInt m_edx;
872 UInt m_esi;
873 UInt m_edi;
874 UInt m_ebp;
875 UInt m_esp;
876 UInt m_eflags;
877 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000878
879 /* The SSE/FPU state. This array does not (necessarily) have the
880 required 16-byte alignment required to get stuff in/out by
881 fxsave/fxrestore. So we have to do it "by hand".
882 */
883 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000884
885 UInt sh_eax;
886 UInt sh_ebx;
887 UInt sh_ecx;
888 UInt sh_edx;
889 UInt sh_esi;
890 UInt sh_edi;
891 UInt sh_ebp;
892 UInt sh_esp;
893 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000894}
895ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000896
897
sewardj018f7622002-05-15 21:13:39 +0000898/* The thread table. */
899extern ThreadState VG_(threads)[VG_N_THREADS];
900
901/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000902extern Bool VG_(is_valid_tid) ( ThreadId tid );
903
njn72718642003-07-24 08:45:32 +0000904/* Determine if 'tid' is that of the current running thread (Nb: returns
905 False if no thread is currently running. */
906extern Bool VG_(is_running_thread)(ThreadId tid);
907
jsgf855d93d2003-10-13 22:26:55 +0000908/* Get the ThreadState for a particular thread */
909extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
910
sewardj1e8cdc92002-04-18 11:37:52 +0000911/* Similarly ... */
912extern ThreadId VG_(get_current_tid) ( void );
913
sewardjccef2e62002-05-29 19:26:32 +0000914/* Nuke all threads except tid. */
915extern void VG_(nuke_all_threads_except) ( ThreadId me );
916
jsgf855d93d2003-10-13 22:26:55 +0000917/* Give a hint to the scheduler that it may be a good time to find a
918 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
919 try to schedule that thread.
920*/
921extern void VG_(need_resched) ( ThreadId prefer_sched );
922
sewardj2e93c502002-04-12 11:12:52 +0000923/* Return codes from the scheduler. */
924typedef
sewardj7e87e382002-05-03 19:09:05 +0000925 enum {
926 VgSrc_Deadlock, /* no runnable threads and no prospect of any
927 even if we wait for a long time */
928 VgSrc_ExitSyscall, /* client called exit(). This is the normal
929 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000930 VgSrc_FatalSig /* Killed by the default action of a fatal
931 signal */
sewardj7e87e382002-05-03 19:09:05 +0000932 }
sewardj2e93c502002-04-12 11:12:52 +0000933 VgSchedReturnCode;
934
sewardj7e87e382002-05-03 19:09:05 +0000935
sewardj2e93c502002-04-12 11:12:52 +0000936/* The scheduler. */
nethercote47dd12c2004-06-22 14:18:42 +0000937extern VgSchedReturnCode VG_(scheduler) ( Int* exit_code );
sewardj2e93c502002-04-12 11:12:52 +0000938
939extern void VG_(scheduler_init) ( void );
940
sewardj15a43e12002-04-17 19:35:12 +0000941extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000942
nethercote75d26242004-08-01 22:59:18 +0000943// Longjmp back to the scheduler and thus enter the sighandler immediately.
944extern void VG_(resume_scheduler) ( Int sigNo, vki_ksiginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000945
sewardj2e93c502002-04-12 11:12:52 +0000946/* The red-zone size which we put at the bottom (highest address) of
947 thread stacks, for paranoia reasons. This can be arbitrary, and
948 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000949#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000950
njnd3040452003-05-19 15:04:06 +0000951/* Write a value to a client's thread register, and shadow (if necessary) */
952#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
953 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
954 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000955 } while (0)
956
njnd3040452003-05-19 15:04:06 +0000957#define SET_SYSCALL_RETVAL(zztid, zzval) \
958 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
959
njnd3040452003-05-19 15:04:06 +0000960#define SET_SIGNAL_ESP(zztid, zzval) \
961 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
962
963#define SET_CLREQ_RETVAL(zztid, zzval) \
964 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
965
966#define SET_CLCALL_RETVAL(zztid, zzval, f) \
967 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
968
969#define SET_PTHREQ_ESP(zztid, zzval) \
970 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
971
972#define SET_PTHREQ_RETVAL(zztid, zzval) \
973 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000974
sewardj2e93c502002-04-12 11:12:52 +0000975
976/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000977 Exports of vg_signals.c
978 ------------------------------------------------------------------ */
979
jsgf855d93d2003-10-13 22:26:55 +0000980extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
981
982/* RT signal allocation */
983extern Int VG_(sig_rtmin);
984extern Int VG_(sig_rtmax);
985extern Int VG_(sig_alloc_rtsig) ( Int high );
986
sewardjde4a1d02002-03-22 01:27:54 +0000987extern void VG_(sigstartup_actions) ( void );
988
jsgf855d93d2003-10-13 22:26:55 +0000989extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000990extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000991
jsgf855d93d2003-10-13 22:26:55 +0000992extern Bool VG_(is_sig_ign) ( Int sigNo );
993
994/* Route pending signals from the scheduler LWP to the appropriate
995 thread LWP. */
996extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000997
998/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000999extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001000extern void VG_(do__NR_sigaction) ( ThreadId tid );
nethercote85cdd342004-08-01 22:36:40 +00001001extern void VG_(do__NR_sigprocmask) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +00001002 vki_ksigset_t* set,
1003 vki_ksigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +00001004extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +00001005 vki_ksigset_t* set,
1006 vki_ksigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +00001007
sewardj2e93c502002-04-12 11:12:52 +00001008/* Modify the current thread's state once we have detected it is
1009 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001010extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001011
sewardj2e93c502002-04-12 11:12:52 +00001012/* Handy utilities to block/restore all host signals. */
1013extern void VG_(block_all_host_signals)
1014 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001015extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001016 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001017
jsgf855d93d2003-10-13 22:26:55 +00001018extern void VG_(kill_self)(Int sigNo);
1019
fitzhardingef1beb252004-03-16 09:49:08 +00001020/* These function synthesize a fault, as if the running instruction
1021 had had a fault. These functions do not return - they longjmp back
1022 into the scheduler so the signal can be delivered. */
1023extern void VG_(synth_fault) (ThreadId tid);
1024extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1025extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1026
1027
sewardjde4a1d02002-03-22 01:27:54 +00001028/* ---------------------------------------------------------------------
1029 Exports of vg_mylibc.c
1030 ------------------------------------------------------------------ */
1031
njne427a662002-10-02 11:08:25 +00001032#define vg_assert(expr) \
1033 ((void) ((expr) ? 0 : \
1034 (VG_(core_assert_fail) (VG__STRING(expr), \
1035 __FILE__, __LINE__, \
1036 __PRETTY_FUNCTION__), 0)))
1037__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001038extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1039 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001040__attribute__ ((__noreturn__))
1041extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001042
nethercote05675c82004-08-04 10:37:49 +00001043/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001044extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001045
njn25e49d8e72002-09-23 09:36:25 +00001046extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001047extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001048
fitzhardinge98abfc72003-12-16 02:05:15 +00001049/* system/mman.h */
nethercoteb4250ae2004-07-10 16:50:09 +00001050extern void* VG_(mmap)( void* start, UInt length, UInt prot, UInt flags,
1051 UInt sf_flags, UInt fd, UInt offset );
fitzhardinge98abfc72003-12-16 02:05:15 +00001052extern Int VG_(munmap)( void* start, Int length );
1053extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1054
1055
jsgf855d93d2003-10-13 22:26:55 +00001056/* Move an fd into the Valgrind-safe range */
1057Int VG_(safe_fd)(Int oldfd);
1058
sewardj570f8902002-11-03 11:44:36 +00001059extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001060
1061/* --- Connecting over the network --- */
1062extern Int VG_(connect_via_socket)( UChar* str );
1063
fitzhardinge98abfc72003-12-16 02:05:15 +00001064/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001065extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1066 const Char *val );
1067extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1068extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001069
1070/* ---------------------------------------------------------------------
1071 Exports of vg_message.c
1072 ------------------------------------------------------------------ */
1073
1074/* Low-level -- send bytes directly to the message sink. Do not
1075 use. */
1076extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1077
nethercoted1da90e2004-08-03 17:26:39 +00001078// Functions for printing from code within Valgrind, but which runs on the
1079// sim'd CPU.
1080int VALGRIND_INTERNAL_PRINTF ( char *format, ... );
1081int VALGRIND_INTERNAL_PRINTF_BACKTRACE ( char *format, ... );
1082
sewardj570f8902002-11-03 11:44:36 +00001083
sewardjde4a1d02002-03-22 01:27:54 +00001084/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001085 Exports of vg_demangle.c
1086 ------------------------------------------------------------------ */
1087
1088extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1089
sewardjde4a1d02002-03-22 01:27:54 +00001090/* ---------------------------------------------------------------------
1091 Exports of vg_from_ucode.c
1092 ------------------------------------------------------------------ */
1093
sewardj22854b92002-11-30 14:00:47 +00001094extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001095
njn25e49d8e72002-09-23 09:36:25 +00001096extern void VG_(print_ccall_stats) ( void );
1097extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001098
sewardj22854b92002-11-30 14:00:47 +00001099extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1100extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001101
sewardjde4a1d02002-03-22 01:27:54 +00001102/* ---------------------------------------------------------------------
1103 Exports of vg_to_ucode.c
1104 ------------------------------------------------------------------ */
1105
fitzhardingec2dbbac2004-01-23 23:09:01 +00001106Bool VG_(cpu_has_feature)(UInt feat);
1107
sewardjde4a1d02002-03-22 01:27:54 +00001108extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001109
1110/* ---------------------------------------------------------------------
1111 Exports of vg_translate.c
1112 ------------------------------------------------------------------ */
1113
njn810086f2002-11-14 12:42:47 +00001114/* Expandable arrays of uinstrs. */
1115struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001116 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001117 Int used;
1118 Int size;
1119 UInstr* instrs;
1120 Int nextTemp;
1121};
1122
nethercote59a122d2004-08-03 17:16:51 +00001123extern void VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001124
nethercote885dd912004-08-03 23:14:00 +00001125extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001126
nethercotebee3fd92004-08-02 15:17:43 +00001127extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001128
sewardjde4a1d02002-03-22 01:27:54 +00001129/* ---------------------------------------------------------------------
1130 Exports of vg_execontext.c.
1131 ------------------------------------------------------------------ */
1132
1133/* Records the PC and a bit of the call chain. The first 4 %eip
1134 values are used in comparisons do remove duplicate errors, and for
1135 comparing against suppression specifications. The rest are purely
1136 informational (but often important). */
1137
njn25e49d8e72002-09-23 09:36:25 +00001138struct _ExeContext {
1139 struct _ExeContext * next;
1140 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001141 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001142 [1] is its caller, [2] is the caller of [1], etc. */
1143 Addr eips[0];
1144};
sewardjde4a1d02002-03-22 01:27:54 +00001145
1146
sewardjde4a1d02002-03-22 01:27:54 +00001147/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001148extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001149
njn25e49d8e72002-09-23 09:36:25 +00001150/* Like VG_(get_ExeContext), but with a slightly different type */
1151extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1152 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001153
1154
1155/* ---------------------------------------------------------------------
1156 Exports of vg_errcontext.c.
1157 ------------------------------------------------------------------ */
1158
njn25e49d8e72002-09-23 09:36:25 +00001159extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001160
njn25e49d8e72002-09-23 09:36:25 +00001161extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001162
njn25e49d8e72002-09-23 09:36:25 +00001163extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001164
nethercotef2b11482004-08-02 12:36:01 +00001165extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001166
nethercotef2b11482004-08-02 12:36:01 +00001167extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001168
sewardjde4a1d02002-03-22 01:27:54 +00001169/* ---------------------------------------------------------------------
1170 Exports of vg_procselfmaps.c
1171 ------------------------------------------------------------------ */
1172
njnfa1016e2003-09-25 17:54:11 +00001173/* Reads /proc/self/maps into a static buffer which can be parsed by
1174 VG_(parse_procselfmaps)(). */
1175extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001176
1177/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1178 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1179 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001180extern
njnfa1016e2003-09-25 17:54:11 +00001181void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001182 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001183 UInt dev, UInt ino, ULong foff,
1184 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001185
1186
1187/* ---------------------------------------------------------------------
1188 Exports of vg_symtab2.c
1189 ------------------------------------------------------------------ */
1190
fitzhardinge98abfc72003-12-16 02:05:15 +00001191typedef struct _Segment Segment;
1192
1193extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001194extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001195extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001196extern void VG_(symtab_incref) ( SegInfo * );
1197extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001198
njn25e49d8e72002-09-23 09:36:25 +00001199extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001200
fitzhardinge98abfc72003-12-16 02:05:15 +00001201/* Set up some default redirects */
1202extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001203
fitzhardinge98abfc72003-12-16 02:05:15 +00001204/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001205extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001206
1207/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001208 Exports of vg_main.c
1209 ------------------------------------------------------------------ */
1210
sewardjb91ae7f2003-04-29 23:50:00 +00001211/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1212 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001213 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001214 correctly snapshot the startup machine state without it. */
1215extern Bool VG_(have_ssestate);
1216
sewardj73cf3bc2002-11-03 03:20:15 +00001217/* Tell the logging mechanism whether we are logging to a file
1218 descriptor or a socket descriptor. */
1219extern Bool VG_(logging_to_filedes);
1220
njn25e49d8e72002-09-23 09:36:25 +00001221/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001222extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001223
fitzhardinge98abfc72003-12-16 02:05:15 +00001224/* Address space */
1225extern Addr VG_(client_base); /* client address space limits */
1226extern Addr VG_(client_end);
1227extern Addr VG_(client_mapbase); /* base of mappings */
1228extern Addr VG_(clstk_base); /* client stack range */
1229extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001230extern Addr VG_(client_trampoline_code);
1231
fitzhardinge98abfc72003-12-16 02:05:15 +00001232extern Addr VG_(brk_base); /* start of brk */
1233extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001234extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001235extern Addr VG_(shadow_end);
1236extern Addr VG_(valgrind_base); /* valgrind's address range */
fitzhardinge98abfc72003-12-16 02:05:15 +00001237extern Addr VG_(valgrind_end);
1238
fitzhardingeb50068f2004-02-24 23:42:55 +00001239extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1240
fitzhardinge98abfc72003-12-16 02:05:15 +00001241/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001242extern Int VG_(vgexecfd);
1243
1244/* client executable file descriptor */
1245extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001246
njn9b007f62003-04-07 14:40:25 +00001247/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001248extern Bool VG_(need_to_handle_esp_assignment) ( void );
1249
sewardjde4a1d02002-03-22 01:27:54 +00001250/* Called when some unhandleable client behaviour is detected.
1251 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001252extern void VG_(unimplemented) ( Char* msg )
1253 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001254
njn25e49d8e72002-09-23 09:36:25 +00001255/* Similarly, we have to ask for signals to be delivered on an alternative
1256 stack, since it is possible, although unlikely, that we'll have to run
1257 client code from inside the Valgrind-installed signal handler. If this
1258 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001259extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001260
fitzhardinge98abfc72003-12-16 02:05:15 +00001261/* Valgrind's argc and argv */
1262extern Int VG_(vg_argc);
1263extern Char **VG_(vg_argv);
1264
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
sewardj7e87e382002-05-03 19:09:05 +00001271/* This is the ThreadId of the last thread the scheduler ran. */
1272extern ThreadId VG_(last_run_tid);
1273
jsgf855d93d2003-10-13 22:26:55 +00001274/* If we're doing the default action of a fatal signal */
nethercote31294822004-08-02 13:15:26 +00001275extern jmp_buf* VG_(fatal_signal_jmpbuf_ptr);
1276extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001277
1278/* --- Counters, for informational purposes only. --- */
1279
nethercote92e7b7f2004-08-07 17:52:25 +00001280// These counters must be declared here because they're maintained by
1281// vg_dispatch.S.
1282extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1283extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1284extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001285
nethercote844e7122004-08-02 15:27:22 +00001286extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001287
sewardjde4a1d02002-03-22 01:27:54 +00001288/* ---------------------------------------------------------------------
1289 Exports of vg_memory.c
1290 ------------------------------------------------------------------ */
1291
fitzhardinge98abfc72003-12-16 02:05:15 +00001292/* A Segment is mapped piece of client memory. This covers all kinds
1293 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1294
1295 We try to encode everything we know about a particular segment here.
1296*/
nethercote85cdd342004-08-01 22:36:40 +00001297#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1298#define SF_SHARED (1 << 1) // shared
1299#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1300#define SF_MMAP (1 << 3) // mmap memory
1301#define SF_FILE (1 << 4) // mapping is backed by a file
1302#define SF_STACK (1 << 5) // is a stack
1303#define SF_GROWDOWN (1 << 6) // segment grows down
1304#define SF_GROWUP (1 << 7) // segment grows up
1305#define SF_EXEC (1 << 8) // segment created by exec
1306#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1307#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1308#define SF_BRK (1 << 11) // brk segment
1309#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1310#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1311#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001312
1313struct _Segment {
1314 UInt prot; /* VKI_PROT_* */
1315 UInt flags; /* SF_* */
1316
1317 Addr addr; /* mapped addr (page aligned) */
1318 UInt len; /* size of mapping (page aligned) */
1319
1320 /* These are valid if (flags & SF_FILE) */
1321 ULong offset; /* file offset */
1322 const Char *filename; /* filename (NULL if unknown) */
1323 UInt dev; /* device */
1324 UInt ino; /* inode */
1325
1326 SegInfo *symtab; /* symbol table */
1327};
1328
1329/* segment mapped from a file descriptor */
1330extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1331 Int fd, ULong off, const Char *filename);
1332
1333/* segment mapped from a file */
1334extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1335 UInt dev, UInt ino, ULong off, const Char *filename);
1336
1337/* simple segment */
1338extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1339
1340extern void VG_(unmap_range) (Addr addr, UInt len);
1341extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1342extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1343
1344extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001345extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001346extern Segment *VG_(next_segment)(Segment *);
1347
1348extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1349extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1350
thughes9aaebc32004-07-15 23:13:37 +00001351extern void VG_(pad_address_space)(void);
1352extern void VG_(unpad_address_space)(void);
1353
njn9b007f62003-04-07 14:40:25 +00001354extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001355 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001356
jsgf855d93d2003-10-13 22:26:55 +00001357/* ---------------------------------------------------------------------
1358 Exports of vg_proxylwp.c
1359 ------------------------------------------------------------------ */
1360
1361/* Issue a syscall for thread tid */
1362extern Int VG_(sys_issue)(int tid);
1363
1364extern void VG_(proxy_init) ( void );
1365extern void VG_(proxy_create) ( ThreadId tid );
1366extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1367extern void VG_(proxy_results) ( void );
1368extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1369extern void VG_(proxy_setsigmask)(ThreadId tid);
1370extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1371extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1372extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001373extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001374
nethercote85cdd342004-08-01 22:36:40 +00001375extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1376extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1377 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001378
1379/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001380void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001381
1382/* Send a signal from a thread's proxy to the thread. This longjmps
1383 back into the proxy's main loop, so it doesn't return. */
1384__attribute__ ((__noreturn__))
1385extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1386 const struct vki_sigcontext *sigcontext );
1387
sewardjde4a1d02002-03-22 01:27:54 +00001388/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001389 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001390 ------------------------------------------------------------------ */
1391
fitzhardinge98abfc72003-12-16 02:05:15 +00001392extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001393
jsgf855d93d2003-10-13 22:26:55 +00001394extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001395extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001396
1397extern Bool VG_(is_kerror) ( Int res );
1398
jsgf855d93d2003-10-13 22:26:55 +00001399/* Internal atfork handlers */
1400typedef void (*vg_atfork_t)(ThreadId);
1401extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001402
rjwalshf5f536f2003-11-17 17:45:00 +00001403/* fd leakage calls. */
1404extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001405extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001406
sewardjde4a1d02002-03-22 01:27:54 +00001407/* ---------------------------------------------------------------------
1408 Exports of vg_transtab.c
1409 ------------------------------------------------------------------ */
1410
njn25e49d8e72002-09-23 09:36:25 +00001411/* The fast-cache for tt-lookup. */
1412extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1413
nethercote92e7b7f2004-08-07 17:52:25 +00001414extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001415extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001416 Addr trans_addr, Int trans_size,
1417 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001418extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001419
nethercote92e7b7f2004-08-07 17:52:25 +00001420extern void VG_(invalidate_translations) ( Addr start, UInt range,
1421 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001422
nethercote92e7b7f2004-08-07 17:52:25 +00001423extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001424
nethercote92e7b7f2004-08-07 17:52:25 +00001425extern void VG_(print_tt_tc_stats) ( void );
1426
1427extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001428
sewardjde4a1d02002-03-22 01:27:54 +00001429/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001430 Exports of vg_syscall.S
1431 ------------------------------------------------------------------ */
1432
jsgf855d93d2003-10-13 22:26:55 +00001433extern Int VG_(do_syscall) ( UInt, ... );
1434extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1435 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001436extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001437
1438/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001439 Exports of vg_dispatch.S
1440 ------------------------------------------------------------------ */
1441
sewardj2e93c502002-04-12 11:12:52 +00001442/* Run a thread for a (very short) while, until some event happens
1443 which means we need to defer to the scheduler. */
1444extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001445
sewardj22854b92002-11-30 14:00:47 +00001446/* The patching routing called when a BB wants to chain itself to
1447 another. */
1448extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001449
1450/* ---------------------------------------------------------------------
1451 Exports of vg_helpers.S
1452 ------------------------------------------------------------------ */
1453
sewardjde4a1d02002-03-22 01:27:54 +00001454/* Mul, div, etc, -- we don't codegen these directly. */
1455extern void VG_(helper_idiv_64_32);
1456extern void VG_(helper_div_64_32);
1457extern void VG_(helper_idiv_32_16);
1458extern void VG_(helper_div_32_16);
1459extern void VG_(helper_idiv_16_8);
1460extern void VG_(helper_div_16_8);
1461
1462extern void VG_(helper_imul_32_64);
1463extern void VG_(helper_mul_32_64);
1464extern void VG_(helper_imul_16_32);
1465extern void VG_(helper_mul_16_32);
1466extern void VG_(helper_imul_8_16);
1467extern void VG_(helper_mul_8_16);
1468
1469extern void VG_(helper_CLD);
1470extern void VG_(helper_STD);
1471extern void VG_(helper_get_dirflag);
1472
sewardj7d78e782002-06-02 00:04:00 +00001473extern void VG_(helper_CLC);
1474extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001475extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001476
sewardjde4a1d02002-03-22 01:27:54 +00001477extern void VG_(helper_shldl);
1478extern void VG_(helper_shldw);
1479extern void VG_(helper_shrdl);
1480extern void VG_(helper_shrdw);
1481
daywalkerb18d2532003-09-27 20:15:01 +00001482extern void VG_(helper_IN);
1483extern void VG_(helper_OUT);
1484
sewardjde4a1d02002-03-22 01:27:54 +00001485extern void VG_(helper_RDTSC);
1486extern void VG_(helper_CPUID);
1487
nethercote1018bdd2004-02-11 23:33:29 +00001488extern void VG_(helper_bsfw);
1489extern void VG_(helper_bsfl);
1490extern void VG_(helper_bsrw);
1491extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001492
1493extern void VG_(helper_fstsw_AX);
1494extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001495extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001496extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001497extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001498extern void VG_(helper_AAS);
1499extern void VG_(helper_AAA);
1500extern void VG_(helper_AAD);
1501extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001502
muellerf217c732004-01-02 22:42:29 +00001503extern void VG_(helper_cmpxchg8b);
1504
sewardj51096432002-12-14 23:59:09 +00001505extern void VG_(helper_undefined_instruction);
1506
fitzhardinge92360792003-12-24 10:11:11 +00001507/* Information about trampoline code (for signal return and syscalls) */
1508extern const Char VG_(trampoline_code_start);
1509extern const Int VG_(trampoline_code_length);
1510extern const Int VG_(tramp_sigreturn_offset);
1511extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001512
njn4f9c9342002-04-29 16:03:24 +00001513/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001514 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001515 ------------------------------------------------------------------ */
1516
fitzhardinge98abfc72003-12-16 02:05:15 +00001517#define VG_TRACK(fn, args...) \
1518 do { \
1519 if (VG_(defined_##fn)()) \
1520 SK_(fn)(args); \
1521 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001522
fitzhardinge98abfc72003-12-16 02:05:15 +00001523__attribute__ ((noreturn))
1524extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001525
sewardjde4a1d02002-03-22 01:27:54 +00001526/* ---------------------------------------------------------------------
1527 The state of the simulated CPU.
1528 ------------------------------------------------------------------ */
1529
sewardjde4a1d02002-03-22 01:27:54 +00001530/* ---------------------------------------------------------------------
1531 Offsets into baseBlock for everything which needs to referred to
1532 from generated code. The order of these decls does not imply
1533 what the order of the actual offsets is. The latter is important
1534 and is set up in vg_main.c.
1535 ------------------------------------------------------------------ */
1536
1537/* An array of words. In generated code, %ebp always points to the
1538 start of this array. Useful stuff, like the simulated CPU state,
1539 and the addresses of helper functions, can then be found by
1540 indexing off %ebp. The following declares variables which, at
1541 startup time, are given values denoting offsets into baseBlock.
1542 These offsets are in *words* from the start of baseBlock. */
1543
sewardjb91ae7f2003-04-29 23:50:00 +00001544#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001545
1546extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1547
sewardjde4a1d02002-03-22 01:27:54 +00001548/* -----------------------------------------------------
1549 Read-write parts of baseBlock.
1550 -------------------------------------------------- */
1551
1552/* State of the simulated CPU. */
1553extern Int VGOFF_(m_eax);
1554extern Int VGOFF_(m_ecx);
1555extern Int VGOFF_(m_edx);
1556extern Int VGOFF_(m_ebx);
1557extern Int VGOFF_(m_esp);
1558extern Int VGOFF_(m_ebp);
1559extern Int VGOFF_(m_esi);
1560extern Int VGOFF_(m_edi);
1561extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001562extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001563extern Int VGOFF_(m_eip);
1564
sewardjfa492d42002-12-08 18:20:01 +00001565extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1566
sewardj92a59562002-09-30 00:53:10 +00001567extern Int VGOFF_(m_cs);
1568extern Int VGOFF_(m_ss);
1569extern Int VGOFF_(m_ds);
1570extern Int VGOFF_(m_es);
1571extern Int VGOFF_(m_fs);
1572extern Int VGOFF_(m_gs);
1573
sewardjde4a1d02002-03-22 01:27:54 +00001574/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1575extern Int VGOFF_(spillslots);
1576
1577/* Records the valid bits for the 8 integer regs & flags reg. */
1578extern Int VGOFF_(sh_eax);
1579extern Int VGOFF_(sh_ecx);
1580extern Int VGOFF_(sh_edx);
1581extern Int VGOFF_(sh_ebx);
1582extern Int VGOFF_(sh_esp);
1583extern Int VGOFF_(sh_ebp);
1584extern Int VGOFF_(sh_esi);
1585extern Int VGOFF_(sh_edi);
1586extern Int VGOFF_(sh_eflags);
1587
sewardjde4a1d02002-03-22 01:27:54 +00001588/* -----------------------------------------------------
1589 Read-only parts of baseBlock.
1590 -------------------------------------------------- */
1591
sewardj92a59562002-09-30 00:53:10 +00001592/* This thread's LDT pointer. */
1593extern Int VGOFF_(ldt);
1594
fitzhardinge47735af2004-01-21 01:27:27 +00001595/* This thread's TLS pointer. */
1596extern Int VGOFF_(tls);
1597
nethercote996901a2004-08-03 13:29:09 +00001598/* Nb: Most helper offsets are in include/vg_skin.h, for use by tools */
sewardjde4a1d02002-03-22 01:27:54 +00001599
sewardj51096432002-12-14 23:59:09 +00001600extern Int VGOFF_(helper_undefined_instruction);
1601
sewardjde4a1d02002-03-22 01:27:54 +00001602#endif /* ndef __VG_INCLUDE_H */
1603
sewardj3b2736a2002-03-24 12:18:35 +00001604
1605/* ---------------------------------------------------------------------
1606 Finally - autoconf-generated settings
1607 ------------------------------------------------------------------ */
1608
1609#include "config.h"
1610
sewardjde4a1d02002-03-22 01:27:54 +00001611/*--------------------------------------------------------------------*/
1612/*--- end vg_include.h ---*/
1613/*--------------------------------------------------------------------*/