blob: 960aac5671b616b0cb055c1c6f22e8102b8a2104 [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
fitzhardinge98abfc72003-12-16 02:05:15 +0000131/* Useful macros */
132/* a - alignment - must be a power of 2 */
133#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
134#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
135#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
136#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
137
138
sewardjde4a1d02002-03-22 01:27:54 +0000139/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000140 Command-line-settable options
141 ------------------------------------------------------------------ */
142
sewardj4f094a72002-11-05 23:37:35 +0000143/* Default destination port to be used in logging over a network, if
144 none specified. */
145#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000146
147/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000148#define VG_CLO_MAX_SFILES 10
149
nethercote04d0fbc2004-01-26 16:48:06 +0000150/* Default debugger command. */
151#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
152
sewardj4cf05692002-10-27 20:28:29 +0000153/* Describes where logging output is to be sent. */
154typedef
155 enum {
156 VgLogTo_Fd,
157 VgLogTo_File,
158 VgLogTo_Socket
159 } VgLogTo;
160
jsgf855d93d2003-10-13 22:26:55 +0000161/* pid of main process */
162extern Int VG_(main_pid);
163
164/* pgrp of process (global to all threads) */
165extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000166
thughesad1c9562004-06-26 11:27:52 +0000167/* Application-visible file descriptor limits */
168extern Int VG_(fd_soft_limit);
169extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000170
sewardj72f98ff2002-06-13 17:23:38 +0000171/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000172extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000173/* Enquire about whether to attach to a debugger at errors? default: NO */
174extern Bool VG_(clo_db_attach);
175/* The debugger command? default: whatever gdb ./configure found */
176extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000177/* Enquire about generating a suppression for each error? default: NO */
178extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000179/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000180extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000181/* Automatically attempt to demangle C++ names? default: YES */
182extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000183/* Simulate child processes? default: NO */
184extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000185
186/* Where logging output is to be sent to.
187
nethercotef8548672004-06-21 12:42:35 +0000188 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
189 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000190
nethercotef8548672004-06-21 12:42:35 +0000191 When log_to == VgLogTo_File, clo_log_name holds the log-file
192 name, and is taken from the command line. clo_log_fd is then
193 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000194 (concatenated with the process ID) for writing.
195
nethercotef8548672004-06-21 12:42:35 +0000196 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000197 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000198 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000199 opening a connection to said hostname:portnumber pair.
200
nethercotef8548672004-06-21 12:42:35 +0000201 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000202 (stderr). */
203extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000204extern Int VG_(clo_log_fd);
205extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000206
sewardj6024b212003-07-13 10:54:33 +0000207/* The file descriptor to read for input. default: 0 == stdin */
208extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000209/* The number of suppression files specified. */
210extern Int VG_(clo_n_suppressions);
211/* The names of the suppression files. */
212extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
213
214/* Single stepping? default: NO */
215extern Bool VG_(clo_single_step);
216/* Code improvement? default: YES */
217extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000218/* DEBUG: print generated code? default: 00000 ( == NO ) */
219extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000220/* DEBUG: print system calls? default: NO */
221extern Bool VG_(clo_trace_syscalls);
222/* DEBUG: print signal details? default: NO */
223extern Bool VG_(clo_trace_signals);
224/* DEBUG: print symtab details? default: NO */
225extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000226/* DEBUG: print thread scheduling events? default: NO */
227extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000228/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
229 (some), 2 (all) */
230extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000231/* Display gory details for the k'th most popular error. default:
232 Infinity. */
233extern Int VG_(clo_dump_error);
234/* Number of parents of a backtrace. Default: 8. */
235extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000236/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000237extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000238/* How often we should poll for signals, assuming we need to poll for
239 signals. */
240extern Int VG_(clo_signal_polltime);
241
242/* Low latency syscalls and signals */
243extern Bool VG_(clo_lowlat_syscalls);
244extern Bool VG_(clo_lowlat_signals);
245
rjwalshf5f536f2003-11-17 17:45:00 +0000246/* Track open file descriptors? */
247extern Bool VG_(clo_track_fds);
248
sewardj858964b2002-10-05 14:15:43 +0000249/* Should we run __libc_freeres at exit? Sometimes causes crashes.
250 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
251 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000252 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000253 cannot be overridden from the command line. */
254extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000255/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000256extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000257/* Generate branch-prediction hints? */
258extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000259/* Continue stack traces below main()? Default: NO */
260extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000261/* Test each client pointer dereference to check it's within the
262 client address space bounds */
263extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000264
rjwalshe4e779d2004-04-16 23:02:29 +0000265/* Set up the libc freeres wrapper */
266extern void VG_(intercept_libc_freeres_wrapper)(Addr);
267
sewardjde4a1d02002-03-22 01:27:54 +0000268/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000269 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000270 ------------------------------------------------------------------ */
271
sewardjde4a1d02002-03-22 01:27:54 +0000272extern void VGP_(init_profiling) ( void );
273extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000274
njn25e49d8e72002-09-23 09:36:25 +0000275#undef VGP_PUSHCC
276#undef VGP_POPCC
277#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
278#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000279
sewardjde4a1d02002-03-22 01:27:54 +0000280/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000281 Tool-related types
njn810086f2002-11-14 12:42:47 +0000282 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000283/* These structs are not exposed to tools to mitigate possibility of
284 binary-incompatibilities when the core/tool interface changes. Instead,
njn810086f2002-11-14 12:42:47 +0000285 set functions are provided (see include/vg_skin.h). */
286typedef
287 struct {
288 Char* name;
289 Char* version;
290 Char* description;
291 Char* copyright_author;
292 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000293 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000294 }
295 VgDetails;
296
297extern VgDetails VG_(details);
298
299/* If new fields are added to this type, update:
300 * - vg_main.c:initialisation of VG_(needs)
301 * - vg_main.c:sanity_check_needs()
302 *
303 * If the name of this type or any of its fields change, update:
304 * - dependent comments (just search for "VG_(needs)").
305 */
306typedef
307 struct {
308 Bool libc_freeres;
309 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000310 Bool skin_errors;
311 Bool basic_block_discards;
312 Bool shadow_regs;
313 Bool command_line_options;
314 Bool client_requests;
315 Bool extended_UCode;
316 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000317 Bool sanity_checks;
318 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000319 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000320 }
321 VgNeeds;
322
323extern VgNeeds VG_(needs);
324
fitzhardinge98abfc72003-12-16 02:05:15 +0000325extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000326
fitzhardinge98abfc72003-12-16 02:05:15 +0000327#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000328
329/* ---------------------------------------------------------------------
330 Exports of vg_needs.c
331 ------------------------------------------------------------------ */
332
333void VG_(sanity_check_needs)(void);
334
335/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000336 Exports of vg_malloc2.c
337 ------------------------------------------------------------------ */
338
339/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000340
341 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000342 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000343 SYMTAB for Valgrind's symbol table storage.
344 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000345 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
346 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000347 DEMANGLE for the C++ demangler.
348 EXECTXT for storing ExeContexts.
349 ERRORS for storing CoreErrors.
350 TRANSIENT for very short-term use. It should be empty in between uses.
351
njn25e49d8e72002-09-23 09:36:25 +0000352 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000353*/
354typedef Int ArenaId;
355
njn3e884182003-04-15 13:03:23 +0000356#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000357
njn3e884182003-04-15 13:03:23 +0000358#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000359#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000360#define VG_AR_SYMTAB 2
361#define VG_AR_JITTER 3
362#define VG_AR_CLIENT 4
363#define VG_AR_DEMANGLE 5
364#define VG_AR_EXECTXT 6
365#define VG_AR_ERRORS 7
366#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000367
njn25e49d8e72002-09-23 09:36:25 +0000368extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
369extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000370extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
371 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000372extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
373 Int size );
374extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000375 Int req_pszB );
376
njn8a6b6c02003-04-22 22:45:55 +0000377extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
378
nethercote885dd912004-08-03 23:14:00 +0000379extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000380
nethercote3a42fb82004-08-03 18:08:50 +0000381extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000382
sewardjde4a1d02002-03-22 01:27:54 +0000383extern Bool VG_(is_empty_arena) ( ArenaId aid );
384
sewardjde4a1d02002-03-22 01:27:54 +0000385/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000386 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000387 ------------------------------------------------------------------ */
388
389/* This doesn't export code or data that valgrind.so needs to link
390 against. However, the scheduler does need to know the following
391 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000392 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000393
njn4c791212003-05-02 17:53:54 +0000394#define VG_USERREQ__MALLOC 0x2001
395#define VG_USERREQ__FREE 0x2002
396
sewardj20917d82002-05-28 01:36:45 +0000397/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
398 MUST NOT return -- ever. Eventually it will do either __QUIT or
399 __WAIT_JOINER. */
400#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
401
402/* ( no-args ): calling thread disappears from the system forever.
403 Reclaim resources. */
404#define VG_USERREQ__QUIT 0x3002
405
406/* ( void* ): calling thread waits for joiner and returns the void* to
407 it. */
408#define VG_USERREQ__WAIT_JOINER 0x3003
409
410/* ( ThreadId, void** ): wait to join a thread. */
411#define VG_USERREQ__PTHREAD_JOIN 0x3004
412
413/* Set cancellation state and type for this thread. */
414#define VG_USERREQ__SET_CANCELSTATE 0x3005
415#define VG_USERREQ__SET_CANCELTYPE 0x3006
416
417/* ( no-args ): Test if we are at a cancellation point. */
418#define VG_USERREQ__TESTCANCEL 0x3007
419
420/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
421 with this arg to indicate that a cancel is now pending for the
422 specified thread. */
423#define VG_USERREQ__SET_CANCELPEND 0x3008
424
425/* Set/get detach state for this thread. */
426#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
427
428#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
429#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
430#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
431#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
432#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
433#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
434#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
435#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
436#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
437#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000438#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
439#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000440#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
441#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000442#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000443#define VG_USERREQ__PTHREAD_KILL 0x301A
444#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000445#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000446
sewardj8ad94e12002-05-29 00:10:20 +0000447#define VG_USERREQ__CLEANUP_PUSH 0x3020
448#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000449#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000450
sewardjef037c72002-05-30 00:40:03 +0000451#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000452
453/* Ask how many signal handler returns have happened to this
454 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000455#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000456
sewardj2cb00342002-06-28 01:46:26 +0000457/* Get/set entries for a thread's pthread_atfork stack. */
458#define VG_USERREQ__SET_FHSTACK_USED 0x3025
459#define VG_USERREQ__GET_FHSTACK_USED 0x3026
460#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
461#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000462
nethercotef971ab72004-08-02 16:27:40 +0000463/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000464#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000465
466/* Allocate RT signals */
467#define VG_USERREQ__GET_SIGRT_MIN 0x302B
468#define VG_USERREQ__GET_SIGRT_MAX 0x302C
469#define VG_USERREQ__ALLOC_RTSIG 0x302D
470
471/* Hook for replace_malloc.o to get malloc functions */
472#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
473
thughesdaa34562004-06-27 12:48:53 +0000474/* Get stack information for a thread. */
475#define VG_USERREQ__GET_STACK_INFO 0x3033
476
sewardj45b4b372002-04-16 22:50:32 +0000477/* Cosmetic ... */
478#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000479/* Log a pthread error from client-space. Cosmetic. */
480#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000481/* Internal equivalent of VALGRIND_PRINTF . */
482#define VG_USERREQ__INTERNAL_PRINTF 0x3103
483/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
484#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000485
sewardj54cacf02002-04-12 23:24:59 +0000486/*
487In vg_constants.h:
488#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000489*/
490
rjwalshe4e779d2004-04-16 23:02:29 +0000491#define VG_INTERCEPT_PREFIX "_vgi__"
492#define VG_INTERCEPT_PREFIX_LEN 6
493#define VG_INTERCEPT(name) _vgi__##name
494#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
495
496#define VG_WRAPPER_PREFIX "_vgw__"
497#define VG_WRAPPER_PREFIX_LEN 6
498#define VG_WRAPPER(name) _vgw__##name
499#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
500
njn4c791212003-05-02 17:53:54 +0000501
fitzhardinge98abfc72003-12-16 02:05:15 +0000502struct vg_mallocfunc_info {
503 /* things vg_replace_malloc.o needs to know about */
504 Addr sk_malloc;
505 Addr sk_calloc;
506 Addr sk_realloc;
507 Addr sk_memalign;
508 Addr sk___builtin_new;
509 Addr sk___builtin_vec_new;
510 Addr sk_free;
511 Addr sk___builtin_delete;
512 Addr sk___builtin_vec_delete;
513
514 Addr arena_payload_szB;
515
516 Bool clo_sloppy_malloc;
517 Bool clo_trace_malloc;
518};
sewardj1fe7b002002-07-16 01:43:15 +0000519
sewardj2e93c502002-04-12 11:12:52 +0000520/* ---------------------------------------------------------------------
521 Constants pertaining to the simulated CPU state, VG_(baseBlock),
522 which need to go here to avoid ugly circularities.
523 ------------------------------------------------------------------ */
524
sewardjb91ae7f2003-04-29 23:50:00 +0000525/* How big is the saved SSE/SSE2 state? Note that this subsumes the
526 FPU state. On machines without SSE, we just save/restore the FPU
527 state into the first part of this area. */
528/* A general comment about SSE save/restore: It appears that the 7th
529 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
530 that restoring from it later does not cause a GP fault (which is
531 delivered as a segfault). I guess this will have to be done
532 any time we do fxsave :-( 7th word means word offset 6 or byte
533 offset 24 from the start address of the save area.
534 */
535#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000536/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000537#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000538
539
540/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000541 Exports of vg_defaults.c
542 ------------------------------------------------------------------ */
543
544extern Bool VG_(sk_malloc_called_by_scheduler);
545
546
547/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000548 Exports of vg_ldt.c
549 ------------------------------------------------------------------ */
550
551/* This is the hardware-format for a segment descriptor, ie what the
552 x86 actually deals with. It is 8 bytes long. It's ugly. */
553
554typedef struct _LDT_ENTRY {
555 union {
556 struct {
557 UShort LimitLow;
558 UShort BaseLow;
559 unsigned BaseMid : 8;
560 unsigned Type : 5;
561 unsigned Dpl : 2;
562 unsigned Pres : 1;
563 unsigned LimitHi : 4;
564 unsigned Sys : 1;
565 unsigned Reserved_0 : 1;
566 unsigned Default_Big : 1;
567 unsigned Granularity : 1;
568 unsigned BaseHi : 8;
569 } Bits;
570 struct {
571 UInt word1;
572 UInt word2;
573 } Words;
574 }
575 LdtEnt;
576} VgLdtEntry;
577
578/* Maximum number of LDT entries supported (by the x86). */
579#define VG_M_LDT_ENTRIES 8192
580/* The size of each LDT entry == sizeof(VgLdtEntry) */
581#define VG_LDT_ENTRY_SIZE 8
582
583/* Alloc & copy, and dealloc. */
nethercote85cdd342004-08-01 22:36:40 +0000584extern VgLdtEntry* VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
585extern void VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
586extern void VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000587
588/* Simulate the modify_ldt syscall. */
589extern Int VG_(sys_modify_ldt) ( ThreadId tid,
590 Int func, void* ptr, UInt bytecount );
591
fitzhardinge47735af2004-01-21 01:27:27 +0000592/* Simulate the {get,set}_thread_area syscalls. */
593extern Int VG_(sys_set_thread_area) ( ThreadId tid,
594 struct vki_modify_ldt_ldt_s* info );
595extern Int VG_(sys_get_thread_area) ( ThreadId tid,
596 struct vki_modify_ldt_ldt_s* info );
597
sewardje1042472002-09-30 12:33:11 +0000598/* Called from generated code. Given a segment selector and a virtual
599 address, return a linear address, and do limit checks too. */
600extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
601
sewardj92a59562002-09-30 00:53:10 +0000602
603/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000604 Exports of vg_libpthread.c
605 ------------------------------------------------------------------ */
606
607/* Replacements for pthread types, shared between vg_libpthread.c and
608 vg_scheduler.c. See comment in vg_libpthread.c above the other
609 vg_pthread_*_t types for a description of how these are used. */
610
611struct _vg_pthread_fastlock
612{
613 long int __vg_status; /* "Free" or "taken" or head of waiting list */
614 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
615 adaptive SMP lock stores spin count here. */
616};
617
618typedef struct
619{
620 int __vg_m_reserved; /* Reserved for future use */
621 int __vg_m_count; /* Depth of recursive locking */
622 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
623 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
624 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
625} vg_pthread_mutex_t;
626
627typedef struct
628{
629 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000630 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
631
632 // Nb: the following padding removed because it was missing from an
633 // earlier glibc, so the size test in the CONVERT macro was failing.
634 // --njn
635
nethercote1f0173b2004-02-28 15:40:36 +0000636 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000637 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000638 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000639 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000640} vg_pthread_cond_t;
641
642
643/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000644 Exports of vg_scheduler.c
645 ------------------------------------------------------------------ */
646
sewardj2e93c502002-04-12 11:12:52 +0000647typedef
jsgf855d93d2003-10-13 22:26:55 +0000648 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000649 VgTs_Empty, /* this slot is not in use */
650 VgTs_Runnable, /* waiting to be scheduled */
651 VgTs_WaitJoiner, /* waiting for someone to do join on me */
652 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000653 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000654 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000655 VgTs_WaitSys, /* waiting for a syscall to complete */
656 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000657 }
658 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000659
thughes11975ff2004-06-12 12:58:22 +0000660typedef
661 enum CleanupType {
662 VgCt_None, /* this cleanup entry is not initialised */
663 VgCt_Function, /* an old-style function pointer cleanup */
664 VgCt_Longjmp /* a new-style longjmp based cleanup */
665 }
666 CleanupType;
667
thughesdaa34562004-06-27 12:48:53 +0000668/* Information on a thread's stack. */
669typedef
670 struct {
671 Addr base;
672 UInt size;
673 UInt guardsize;
674 }
675 StackInfo;
676
sewardj8ad94e12002-05-29 00:10:20 +0000677/* An entry in a threads's cleanup stack. */
678typedef
679 struct {
thughes11975ff2004-06-12 12:58:22 +0000680 CleanupType type;
681 union {
682 struct {
683 void (*fn)(void*);
684 void* arg;
685 } function;
686 struct {
thughesebed9982004-06-12 17:25:25 +0000687 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000688 int ctype;
689 } longjmp;
690 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000691 }
692 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000693
694/* An entry in a thread's fork-handler stack. */
695typedef
696 struct {
697 void (*prepare)(void);
698 void (*parent)(void);
699 void (*child)(void);
700 }
701 ForkHandlerEntry;
702
jsgf855d93d2003-10-13 22:26:55 +0000703typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000704
njn72718642003-07-24 08:45:32 +0000705typedef
706 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000707 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
708 The thread identity is simply the index in vg_threads[].
709 ThreadId == 1 is the root thread and has the special property
710 that we don't try and allocate or deallocate its stack. For
711 convenience of generating error message, we also put the
712 ThreadId in this tid field, but be aware that it should
713 ALWAYS == the index in vg_threads[]. */
714 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000715
njn25e49d8e72002-09-23 09:36:25 +0000716 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000717
njn25e49d8e72002-09-23 09:36:25 +0000718 Complications: whenever this is set to VgTs_WaitMX, you
719 should also set .m_edx to whatever the required return value
720 is for pthread_mutex_lock / pthread_cond_timedwait for when
721 the mutex finally gets unblocked. */
722 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000723
njn25e49d8e72002-09-23 09:36:25 +0000724 /* When .status == WaitMX, points to the mutex I am waiting for.
725 When .status == WaitCV, points to the mutex associated with
726 the condition variable indicated by the .associated_cv field.
727 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000728 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000729
njn25e49d8e72002-09-23 09:36:25 +0000730 /* When .status == WaitCV, points to the condition variable I am
731 waiting for. In all other cases, should be NULL. */
732 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000733
njn25e49d8e72002-09-23 09:36:25 +0000734 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000735 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000736
njn25e49d8e72002-09-23 09:36:25 +0000737 If VgTs_WaitCV, this indicates the time at which
738 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
739 this means infinitely far in the future, viz,
740 pthread_cond_wait. */
741 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000742
njn25e49d8e72002-09-23 09:36:25 +0000743 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
744 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000745
njn25e49d8e72002-09-23 09:36:25 +0000746 /* If VgTs_WaitJoinee, place to copy the return value to, and
747 the identity of the thread we're waiting for. */
748 void** joiner_thread_return;
749 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000750
jsgf855d93d2003-10-13 22:26:55 +0000751 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
752 void *sys_pre_res;
753
754 /* If VgTs_WaitSys, this is the syscall we're currently running */
755 Int syscallno;
756
thughesbaa46e52004-07-29 17:44:23 +0000757 /* If VgTs_WaitSys, this is the syscall flags */
758 UInt sys_flags;
759
jsgf855d93d2003-10-13 22:26:55 +0000760 /* Details about this thread's proxy LWP */
761 ProxyLWP *proxy;
762
njn25e49d8e72002-09-23 09:36:25 +0000763 /* Whether or not detached. */
764 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000765
njn25e49d8e72002-09-23 09:36:25 +0000766 /* Cancelability state and type. */
767 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
768 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
769
770 /* Pointer to fn to call to do cancellation. Indicates whether
771 or not cancellation is pending. If NULL, not pending. Else
772 should be &thread_exit_wrapper(), indicating that
773 cancallation is pending. */
774 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000775
njn25e49d8e72002-09-23 09:36:25 +0000776 /* The cleanup stack. */
777 Int custack_used;
778 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000779
sewardj00a66b12002-10-12 16:42:35 +0000780 /* A pointer to the thread's-specific-data. This is handled almost
781 entirely from vg_libpthread.c. We just provide hooks to get and
782 set this ptr. This is either NULL, indicating the thread has
783 read/written none of its specifics so far, OR points to a
784 void*[VG_N_THREAD_KEYS], allocated and deallocated in
785 vg_libpthread.c. */
786 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000787
njn25e49d8e72002-09-23 09:36:25 +0000788 /* This thread's blocked-signals mask. Semantics is that for a
789 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000790 blocked by this signal mask. If more than one thread accepts a
791 signal, then it will be delivered to one at random. If all
792 threads block the signal, it will remain pending until either a
793 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
794
795 sig_mask reflects what the client told us its signal mask should
796 be, but isn't necessarily the current signal mask of the proxy
797 LWP: it may have more signals blocked because of signal
798 handling, or it may be different because of sigsuspend.
799 */
njn25e49d8e72002-09-23 09:36:25 +0000800 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000801
fitzhardingef0dd7e12004-01-16 02:17:30 +0000802 /* Effective signal mask. This is the mask which currently
803 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000804 handler is running.
805 */
806 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000807
njn25e49d8e72002-09-23 09:36:25 +0000808 /* Stacks. When a thread slot is freed, we don't deallocate its
809 stack; we just leave it lying around for the next use of the
810 slot. If the next use of the slot requires a larger stack,
811 only then is the old one deallocated and a new one
812 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000813
njn25e49d8e72002-09-23 09:36:25 +0000814 For the main thread (threadid == 0), this mechanism doesn't
815 apply. We don't know the size of the stack since we didn't
816 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000817
njn25e49d8e72002-09-23 09:36:25 +0000818 /* The allocated size of this thread's stack (permanently zero
819 if this is ThreadId == 0, since we didn't allocate its stack) */
820 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000821
njn25e49d8e72002-09-23 09:36:25 +0000822 /* Address of the lowest word in this thread's stack. NULL means
823 not allocated yet.
824 */
825 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000826
thughesdaa34562004-06-27 12:48:53 +0000827 /* The allocated size of this thread's stack's guard area (permanently
828 zero if this is ThreadId == 0, since we didn't allocate its stack) */
829 UInt stack_guard_size;
830
sewardj92a59562002-09-30 00:53:10 +0000831 /* Address of the highest legitimate word in this stack. This is
832 used for error messages only -- not critical for execution
833 correctness. Is is set for all stacks, specifically including
834 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000835 Addr stack_highest_word;
836
fitzhardinge98c4dc02004-03-16 08:27:29 +0000837 /* Alternate signal stack */
838 vki_kstack_t altstack;
839
sewardj92a59562002-09-30 00:53:10 +0000840 /* Pointer to this thread's Local (Segment) Descriptor Table.
841 Starts out as NULL, indicating there is no table, and we hope to
842 keep it that way. If the thread does __NR_modify_ldt to create
843 entries, we allocate a 8192-entry table at that point. This is
844 a straight copy of the Linux kernel's scheme. Don't forget to
845 deallocate this at thread exit. */
846 VgLdtEntry* ldt;
847
fitzhardinge47735af2004-01-21 01:27:27 +0000848 /* TLS table. This consists of a small number (currently 3) of
849 entries from the Global Descriptor Table. */
850 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
851
sewardj92a59562002-09-30 00:53:10 +0000852 /* Saved machine context. Note the FPU state, %EIP and segment
853 registers are not shadowed.
854
855 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000856 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000857 simplified if we pretend they are 32 bits. */
858 UInt m_cs;
859 UInt m_ss;
860 UInt m_ds;
861 UInt m_es;
862 UInt m_fs;
863 UInt m_gs;
864
njn25e49d8e72002-09-23 09:36:25 +0000865 UInt m_eax;
866 UInt m_ebx;
867 UInt m_ecx;
868 UInt m_edx;
869 UInt m_esi;
870 UInt m_edi;
871 UInt m_ebp;
872 UInt m_esp;
873 UInt m_eflags;
874 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000875
876 /* The SSE/FPU state. This array does not (necessarily) have the
877 required 16-byte alignment required to get stuff in/out by
878 fxsave/fxrestore. So we have to do it "by hand".
879 */
880 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000881
882 UInt sh_eax;
883 UInt sh_ebx;
884 UInt sh_ecx;
885 UInt sh_edx;
886 UInt sh_esi;
887 UInt sh_edi;
888 UInt sh_ebp;
889 UInt sh_esp;
890 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000891}
892ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000893
894
sewardj018f7622002-05-15 21:13:39 +0000895/* The thread table. */
896extern ThreadState VG_(threads)[VG_N_THREADS];
897
898/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000899extern Bool VG_(is_valid_tid) ( ThreadId tid );
900
njn72718642003-07-24 08:45:32 +0000901/* Determine if 'tid' is that of the current running thread (Nb: returns
902 False if no thread is currently running. */
903extern Bool VG_(is_running_thread)(ThreadId tid);
904
jsgf855d93d2003-10-13 22:26:55 +0000905/* Get the ThreadState for a particular thread */
906extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
907
sewardj1e8cdc92002-04-18 11:37:52 +0000908/* Similarly ... */
909extern ThreadId VG_(get_current_tid) ( void );
910
sewardjccef2e62002-05-29 19:26:32 +0000911/* Nuke all threads except tid. */
912extern void VG_(nuke_all_threads_except) ( ThreadId me );
913
jsgf855d93d2003-10-13 22:26:55 +0000914/* Give a hint to the scheduler that it may be a good time to find a
915 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
916 try to schedule that thread.
917*/
918extern void VG_(need_resched) ( ThreadId prefer_sched );
919
sewardj2e93c502002-04-12 11:12:52 +0000920/* Return codes from the scheduler. */
921typedef
sewardj7e87e382002-05-03 19:09:05 +0000922 enum {
923 VgSrc_Deadlock, /* no runnable threads and no prospect of any
924 even if we wait for a long time */
925 VgSrc_ExitSyscall, /* client called exit(). This is the normal
926 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000927 VgSrc_FatalSig /* Killed by the default action of a fatal
928 signal */
sewardj7e87e382002-05-03 19:09:05 +0000929 }
sewardj2e93c502002-04-12 11:12:52 +0000930 VgSchedReturnCode;
931
sewardj7e87e382002-05-03 19:09:05 +0000932
nethercote238a3c32004-08-09 13:13:31 +0000933// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
934extern VgSchedReturnCode VG_(scheduler)
935 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000936
937extern void VG_(scheduler_init) ( void );
938
sewardj15a43e12002-04-17 19:35:12 +0000939extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000940
nethercote75d26242004-08-01 22:59:18 +0000941// Longjmp back to the scheduler and thus enter the sighandler immediately.
942extern void VG_(resume_scheduler) ( Int sigNo, vki_ksiginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000943
nethercote238a3c32004-08-09 13:13:31 +0000944// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
945extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
946
sewardj2e93c502002-04-12 11:12:52 +0000947/* The red-zone size which we put at the bottom (highest address) of
948 thread stacks, for paranoia reasons. This can be arbitrary, and
949 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000950#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000951
njnd3040452003-05-19 15:04:06 +0000952/* Write a value to a client's thread register, and shadow (if necessary) */
953#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
954 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
955 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000956 } while (0)
957
njnd3040452003-05-19 15:04:06 +0000958#define SET_SYSCALL_RETVAL(zztid, zzval) \
959 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
960
njnd3040452003-05-19 15:04:06 +0000961#define SET_SIGNAL_ESP(zztid, zzval) \
962 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
963
964#define SET_CLREQ_RETVAL(zztid, zzval) \
965 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
966
967#define SET_CLCALL_RETVAL(zztid, zzval, f) \
968 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
969
970#define SET_PTHREQ_ESP(zztid, zzval) \
971 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
972
973#define SET_PTHREQ_RETVAL(zztid, zzval) \
974 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000975
sewardj2e93c502002-04-12 11:12:52 +0000976
977/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000978 Exports of vg_signals.c
979 ------------------------------------------------------------------ */
980
jsgf855d93d2003-10-13 22:26:55 +0000981extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
982
983/* RT signal allocation */
984extern Int VG_(sig_rtmin);
985extern Int VG_(sig_rtmax);
986extern Int VG_(sig_alloc_rtsig) ( Int high );
987
sewardjde4a1d02002-03-22 01:27:54 +0000988extern void VG_(sigstartup_actions) ( void );
989
jsgf855d93d2003-10-13 22:26:55 +0000990extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000991extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000992
jsgf855d93d2003-10-13 22:26:55 +0000993extern Bool VG_(is_sig_ign) ( Int sigNo );
994
995/* Route pending signals from the scheduler LWP to the appropriate
996 thread LWP. */
997extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000998
999/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001000extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001001extern void VG_(do__NR_sigaction) ( ThreadId tid );
nethercote85cdd342004-08-01 22:36:40 +00001002extern void VG_(do__NR_sigprocmask) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +00001003 vki_ksigset_t* set,
1004 vki_ksigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +00001005extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
sewardj018f7622002-05-15 21:13:39 +00001006 vki_ksigset_t* set,
1007 vki_ksigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +00001008
sewardj2e93c502002-04-12 11:12:52 +00001009/* Modify the current thread's state once we have detected it is
1010 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001011extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001012
sewardj2e93c502002-04-12 11:12:52 +00001013/* Handy utilities to block/restore all host signals. */
1014extern void VG_(block_all_host_signals)
1015 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001016extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001017 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001018
jsgf855d93d2003-10-13 22:26:55 +00001019extern void VG_(kill_self)(Int sigNo);
1020
fitzhardingef1beb252004-03-16 09:49:08 +00001021/* These function synthesize a fault, as if the running instruction
1022 had had a fault. These functions do not return - they longjmp back
1023 into the scheduler so the signal can be delivered. */
1024extern void VG_(synth_fault) (ThreadId tid);
1025extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1026extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1027
nethercote759dda32004-08-07 18:16:56 +00001028extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +00001029
sewardjde4a1d02002-03-22 01:27:54 +00001030/* ---------------------------------------------------------------------
1031 Exports of vg_mylibc.c
1032 ------------------------------------------------------------------ */
1033
njne427a662002-10-02 11:08:25 +00001034#define vg_assert(expr) \
1035 ((void) ((expr) ? 0 : \
1036 (VG_(core_assert_fail) (VG__STRING(expr), \
1037 __FILE__, __LINE__, \
1038 __PRETTY_FUNCTION__), 0)))
1039__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001040extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1041 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001042__attribute__ ((__noreturn__))
1043extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001044
nethercote05675c82004-08-04 10:37:49 +00001045/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001046extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001047
njn25e49d8e72002-09-23 09:36:25 +00001048extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001049extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001050
fitzhardinge98abfc72003-12-16 02:05:15 +00001051/* system/mman.h */
nethercoteb4250ae2004-07-10 16:50:09 +00001052extern void* VG_(mmap)( void* start, UInt length, UInt prot, UInt flags,
1053 UInt sf_flags, UInt fd, UInt offset );
fitzhardinge98abfc72003-12-16 02:05:15 +00001054extern Int VG_(munmap)( void* start, Int length );
1055extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1056
1057
jsgf855d93d2003-10-13 22:26:55 +00001058/* Move an fd into the Valgrind-safe range */
1059Int VG_(safe_fd)(Int oldfd);
1060
sewardj570f8902002-11-03 11:44:36 +00001061extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001062
1063/* --- Connecting over the network --- */
1064extern Int VG_(connect_via_socket)( UChar* str );
1065
fitzhardinge98abfc72003-12-16 02:05:15 +00001066/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001067extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1068 const Char *val );
1069extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1070extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001071
1072/* ---------------------------------------------------------------------
1073 Exports of vg_message.c
1074 ------------------------------------------------------------------ */
1075
1076/* Low-level -- send bytes directly to the message sink. Do not
1077 use. */
1078extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1079
nethercoted1da90e2004-08-03 17:26:39 +00001080// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001081// sim'd CPU. Defined here because needed for vg_libpthread.c,
1082// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1083// ensures the multiple definitions are not a problem. They must be functions
1084// rather than macros so that va_list can be used.
1085
1086__attribute__((weak))
1087int
1088VALGRIND_INTERNAL_PRINTF(char *format, ...)
1089{
1090 unsigned int _qzz_res = 0;
1091 va_list vargs;
1092 va_start(vargs, format);
1093 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
1094 (unsigned int)format, (unsigned int)vargs, 0, 0);
1095 va_end(vargs);
1096 return _qzz_res;
1097}
1098
1099__attribute__((weak))
1100int
1101VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1102{
1103 unsigned int _qzz_res = 0;
1104 va_list vargs;
1105 va_start(vargs, format);
1106 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
1107 (unsigned int)format, (unsigned int)vargs, 0, 0);
1108 va_end(vargs);
1109 return _qzz_res;
1110}
1111
nethercoted1da90e2004-08-03 17:26:39 +00001112
sewardjde4a1d02002-03-22 01:27:54 +00001113/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001114 Exports of vg_demangle.c
1115 ------------------------------------------------------------------ */
1116
1117extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1118
sewardjde4a1d02002-03-22 01:27:54 +00001119/* ---------------------------------------------------------------------
1120 Exports of vg_from_ucode.c
1121 ------------------------------------------------------------------ */
1122
sewardj22854b92002-11-30 14:00:47 +00001123extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001124
njn25e49d8e72002-09-23 09:36:25 +00001125extern void VG_(print_ccall_stats) ( void );
1126extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001127
sewardj22854b92002-11-30 14:00:47 +00001128extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1129extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001130
sewardjde4a1d02002-03-22 01:27:54 +00001131/* ---------------------------------------------------------------------
1132 Exports of vg_to_ucode.c
1133 ------------------------------------------------------------------ */
1134
fitzhardingec2dbbac2004-01-23 23:09:01 +00001135Bool VG_(cpu_has_feature)(UInt feat);
1136
sewardjde4a1d02002-03-22 01:27:54 +00001137extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001138
1139/* ---------------------------------------------------------------------
1140 Exports of vg_translate.c
1141 ------------------------------------------------------------------ */
1142
njn810086f2002-11-14 12:42:47 +00001143/* Expandable arrays of uinstrs. */
1144struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001145 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001146 Int used;
1147 Int size;
1148 UInstr* instrs;
1149 Int nextTemp;
1150};
1151
nethercote59a122d2004-08-03 17:16:51 +00001152extern void VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001153
nethercote885dd912004-08-03 23:14:00 +00001154extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001155
nethercotebee3fd92004-08-02 15:17:43 +00001156extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001157
sewardjde4a1d02002-03-22 01:27:54 +00001158/* ---------------------------------------------------------------------
1159 Exports of vg_execontext.c.
1160 ------------------------------------------------------------------ */
1161
1162/* Records the PC and a bit of the call chain. The first 4 %eip
1163 values are used in comparisons do remove duplicate errors, and for
1164 comparing against suppression specifications. The rest are purely
1165 informational (but often important). */
1166
njn25e49d8e72002-09-23 09:36:25 +00001167struct _ExeContext {
1168 struct _ExeContext * next;
1169 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001170 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001171 [1] is its caller, [2] is the caller of [1], etc. */
1172 Addr eips[0];
1173};
sewardjde4a1d02002-03-22 01:27:54 +00001174
1175
sewardjde4a1d02002-03-22 01:27:54 +00001176/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001177extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001178
njn25e49d8e72002-09-23 09:36:25 +00001179/* Like VG_(get_ExeContext), but with a slightly different type */
1180extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1181 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001182
1183
1184/* ---------------------------------------------------------------------
1185 Exports of vg_errcontext.c.
1186 ------------------------------------------------------------------ */
1187
njn25e49d8e72002-09-23 09:36:25 +00001188extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001189
njn25e49d8e72002-09-23 09:36:25 +00001190extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001191
njn25e49d8e72002-09-23 09:36:25 +00001192extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001193
nethercotef2b11482004-08-02 12:36:01 +00001194extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001195
nethercotef2b11482004-08-02 12:36:01 +00001196extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001197
sewardjde4a1d02002-03-22 01:27:54 +00001198/* ---------------------------------------------------------------------
1199 Exports of vg_procselfmaps.c
1200 ------------------------------------------------------------------ */
1201
njnfa1016e2003-09-25 17:54:11 +00001202/* Reads /proc/self/maps into a static buffer which can be parsed by
1203 VG_(parse_procselfmaps)(). */
1204extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001205
1206/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1207 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1208 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001209extern
njnfa1016e2003-09-25 17:54:11 +00001210void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001211 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001212 UInt dev, UInt ino, ULong foff,
1213 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001214
1215
1216/* ---------------------------------------------------------------------
1217 Exports of vg_symtab2.c
1218 ------------------------------------------------------------------ */
1219
fitzhardinge98abfc72003-12-16 02:05:15 +00001220typedef struct _Segment Segment;
1221
1222extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001223extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001224extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001225extern void VG_(symtab_incref) ( SegInfo * );
1226extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001227
njn25e49d8e72002-09-23 09:36:25 +00001228extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001229
fitzhardinge98abfc72003-12-16 02:05:15 +00001230/* Set up some default redirects */
1231extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001232
fitzhardinge98abfc72003-12-16 02:05:15 +00001233/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001234extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001235
1236/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001237 Exports of vg_main.c
1238 ------------------------------------------------------------------ */
1239
sewardjb91ae7f2003-04-29 23:50:00 +00001240/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1241 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001242 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001243 correctly snapshot the startup machine state without it. */
1244extern Bool VG_(have_ssestate);
1245
sewardj73cf3bc2002-11-03 03:20:15 +00001246/* Tell the logging mechanism whether we are logging to a file
1247 descriptor or a socket descriptor. */
1248extern Bool VG_(logging_to_filedes);
1249
njn25e49d8e72002-09-23 09:36:25 +00001250/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001251extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001252
fitzhardinge98abfc72003-12-16 02:05:15 +00001253/* Address space */
1254extern Addr VG_(client_base); /* client address space limits */
1255extern Addr VG_(client_end);
1256extern Addr VG_(client_mapbase); /* base of mappings */
1257extern Addr VG_(clstk_base); /* client stack range */
1258extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001259extern Addr VG_(client_trampoline_code);
1260
fitzhardinge98abfc72003-12-16 02:05:15 +00001261extern Addr VG_(brk_base); /* start of brk */
1262extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001263extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001264extern Addr VG_(shadow_end);
1265extern Addr VG_(valgrind_base); /* valgrind's address range */
fitzhardinge98abfc72003-12-16 02:05:15 +00001266extern Addr VG_(valgrind_end);
1267
fitzhardingeb50068f2004-02-24 23:42:55 +00001268extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1269
fitzhardingea49f9b52003-12-16 22:26:45 +00001270/* client executable file descriptor */
1271extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001272
nethercotef6a1d502004-08-09 12:21:57 +00001273// Help set up the child used when doing execve() with --trace-children=yes
1274Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1275Char* VG_(build_child_exename) ( void );
1276
njn9b007f62003-04-07 14:40:25 +00001277/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001278extern Bool VG_(need_to_handle_esp_assignment) ( void );
1279
sewardjde4a1d02002-03-22 01:27:54 +00001280/* Called when some unhandleable client behaviour is detected.
1281 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001282extern void VG_(unimplemented) ( Char* msg )
1283 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001284
nethercote04d0fbc2004-01-26 16:48:06 +00001285/* Something of a function looking for a home ... start up debugger. */
1286extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001287
sewardjde4a1d02002-03-22 01:27:54 +00001288/* Counts downwards in vg_run_innerloop. */
1289extern UInt VG_(dispatch_ctr);
1290
sewardjde4a1d02002-03-22 01:27:54 +00001291/* --- Counters, for informational purposes only. --- */
1292
nethercote92e7b7f2004-08-07 17:52:25 +00001293// These counters must be declared here because they're maintained by
1294// vg_dispatch.S.
1295extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1296extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1297extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001298
nethercote844e7122004-08-02 15:27:22 +00001299extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001300
sewardjde4a1d02002-03-22 01:27:54 +00001301/* ---------------------------------------------------------------------
1302 Exports of vg_memory.c
1303 ------------------------------------------------------------------ */
1304
fitzhardinge98abfc72003-12-16 02:05:15 +00001305/* A Segment is mapped piece of client memory. This covers all kinds
1306 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1307
1308 We try to encode everything we know about a particular segment here.
1309*/
nethercote85cdd342004-08-01 22:36:40 +00001310#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1311#define SF_SHARED (1 << 1) // shared
1312#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1313#define SF_MMAP (1 << 3) // mmap memory
1314#define SF_FILE (1 << 4) // mapping is backed by a file
1315#define SF_STACK (1 << 5) // is a stack
1316#define SF_GROWDOWN (1 << 6) // segment grows down
1317#define SF_GROWUP (1 << 7) // segment grows up
1318#define SF_EXEC (1 << 8) // segment created by exec
1319#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1320#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1321#define SF_BRK (1 << 11) // brk segment
1322#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1323#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1324#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001325
1326struct _Segment {
1327 UInt prot; /* VKI_PROT_* */
1328 UInt flags; /* SF_* */
1329
1330 Addr addr; /* mapped addr (page aligned) */
1331 UInt len; /* size of mapping (page aligned) */
1332
1333 /* These are valid if (flags & SF_FILE) */
1334 ULong offset; /* file offset */
1335 const Char *filename; /* filename (NULL if unknown) */
1336 UInt dev; /* device */
1337 UInt ino; /* inode */
1338
1339 SegInfo *symtab; /* symbol table */
1340};
1341
1342/* segment mapped from a file descriptor */
1343extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1344 Int fd, ULong off, const Char *filename);
1345
1346/* segment mapped from a file */
1347extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1348 UInt dev, UInt ino, ULong off, const Char *filename);
1349
1350/* simple segment */
1351extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1352
1353extern void VG_(unmap_range) (Addr addr, UInt len);
1354extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1355extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1356
1357extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001358extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001359extern Segment *VG_(next_segment)(Segment *);
1360
1361extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1362extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1363
thughes9aaebc32004-07-15 23:13:37 +00001364extern void VG_(pad_address_space)(void);
1365extern void VG_(unpad_address_space)(void);
1366
njn9b007f62003-04-07 14:40:25 +00001367extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001368 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001369
jsgf855d93d2003-10-13 22:26:55 +00001370/* ---------------------------------------------------------------------
1371 Exports of vg_proxylwp.c
1372 ------------------------------------------------------------------ */
1373
1374/* Issue a syscall for thread tid */
1375extern Int VG_(sys_issue)(int tid);
1376
1377extern void VG_(proxy_init) ( void );
1378extern void VG_(proxy_create) ( ThreadId tid );
1379extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1380extern void VG_(proxy_results) ( void );
1381extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1382extern void VG_(proxy_setsigmask)(ThreadId tid);
1383extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1384extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1385extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001386extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001387
nethercote85cdd342004-08-01 22:36:40 +00001388extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1389extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1390 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001391
1392/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001393void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001394
1395/* Send a signal from a thread's proxy to the thread. This longjmps
1396 back into the proxy's main loop, so it doesn't return. */
1397__attribute__ ((__noreturn__))
1398extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1399 const struct vki_sigcontext *sigcontext );
1400
sewardjde4a1d02002-03-22 01:27:54 +00001401/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001402 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001403 ------------------------------------------------------------------ */
1404
fitzhardinge98abfc72003-12-16 02:05:15 +00001405extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001406
jsgf855d93d2003-10-13 22:26:55 +00001407extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001408extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001409
1410extern Bool VG_(is_kerror) ( Int res );
1411
jsgf855d93d2003-10-13 22:26:55 +00001412/* Internal atfork handlers */
1413typedef void (*vg_atfork_t)(ThreadId);
1414extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001415
rjwalshf5f536f2003-11-17 17:45:00 +00001416/* fd leakage calls. */
1417extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001418extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001419
sewardjde4a1d02002-03-22 01:27:54 +00001420/* ---------------------------------------------------------------------
1421 Exports of vg_transtab.c
1422 ------------------------------------------------------------------ */
1423
njn25e49d8e72002-09-23 09:36:25 +00001424/* The fast-cache for tt-lookup. */
1425extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1426
nethercote92e7b7f2004-08-07 17:52:25 +00001427extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001428extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001429 Addr trans_addr, Int trans_size,
1430 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001431extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001432
nethercote92e7b7f2004-08-07 17:52:25 +00001433extern void VG_(invalidate_translations) ( Addr start, UInt range,
1434 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001435
nethercote92e7b7f2004-08-07 17:52:25 +00001436extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001437
nethercote92e7b7f2004-08-07 17:52:25 +00001438extern void VG_(print_tt_tc_stats) ( void );
1439
1440extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001441
sewardjde4a1d02002-03-22 01:27:54 +00001442/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001443 Exports of vg_syscall.S
1444 ------------------------------------------------------------------ */
1445
jsgf855d93d2003-10-13 22:26:55 +00001446extern Int VG_(do_syscall) ( UInt, ... );
1447extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1448 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001449extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001450
1451/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001452 Exports of vg_dispatch.S
1453 ------------------------------------------------------------------ */
1454
sewardj2e93c502002-04-12 11:12:52 +00001455/* Run a thread for a (very short) while, until some event happens
1456 which means we need to defer to the scheduler. */
1457extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001458
sewardj22854b92002-11-30 14:00:47 +00001459/* The patching routing called when a BB wants to chain itself to
1460 another. */
1461extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001462
1463/* ---------------------------------------------------------------------
1464 Exports of vg_helpers.S
1465 ------------------------------------------------------------------ */
1466
sewardjde4a1d02002-03-22 01:27:54 +00001467/* Mul, div, etc, -- we don't codegen these directly. */
1468extern void VG_(helper_idiv_64_32);
1469extern void VG_(helper_div_64_32);
1470extern void VG_(helper_idiv_32_16);
1471extern void VG_(helper_div_32_16);
1472extern void VG_(helper_idiv_16_8);
1473extern void VG_(helper_div_16_8);
1474
1475extern void VG_(helper_imul_32_64);
1476extern void VG_(helper_mul_32_64);
1477extern void VG_(helper_imul_16_32);
1478extern void VG_(helper_mul_16_32);
1479extern void VG_(helper_imul_8_16);
1480extern void VG_(helper_mul_8_16);
1481
1482extern void VG_(helper_CLD);
1483extern void VG_(helper_STD);
1484extern void VG_(helper_get_dirflag);
1485
sewardj7d78e782002-06-02 00:04:00 +00001486extern void VG_(helper_CLC);
1487extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001488extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001489
sewardjde4a1d02002-03-22 01:27:54 +00001490extern void VG_(helper_shldl);
1491extern void VG_(helper_shldw);
1492extern void VG_(helper_shrdl);
1493extern void VG_(helper_shrdw);
1494
daywalkerb18d2532003-09-27 20:15:01 +00001495extern void VG_(helper_IN);
1496extern void VG_(helper_OUT);
1497
sewardjde4a1d02002-03-22 01:27:54 +00001498extern void VG_(helper_RDTSC);
1499extern void VG_(helper_CPUID);
1500
nethercote1018bdd2004-02-11 23:33:29 +00001501extern void VG_(helper_bsfw);
1502extern void VG_(helper_bsfl);
1503extern void VG_(helper_bsrw);
1504extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001505
1506extern void VG_(helper_fstsw_AX);
1507extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001508extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001509extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001510extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001511extern void VG_(helper_AAS);
1512extern void VG_(helper_AAA);
1513extern void VG_(helper_AAD);
1514extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001515
muellerf217c732004-01-02 22:42:29 +00001516extern void VG_(helper_cmpxchg8b);
1517
sewardj51096432002-12-14 23:59:09 +00001518extern void VG_(helper_undefined_instruction);
1519
fitzhardinge92360792003-12-24 10:11:11 +00001520/* Information about trampoline code (for signal return and syscalls) */
1521extern const Char VG_(trampoline_code_start);
1522extern const Int VG_(trampoline_code_length);
1523extern const Int VG_(tramp_sigreturn_offset);
1524extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001525
njn4f9c9342002-04-29 16:03:24 +00001526/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001527 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001528 ------------------------------------------------------------------ */
1529
fitzhardinge98abfc72003-12-16 02:05:15 +00001530#define VG_TRACK(fn, args...) \
1531 do { \
1532 if (VG_(defined_##fn)()) \
1533 SK_(fn)(args); \
1534 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001535
fitzhardinge98abfc72003-12-16 02:05:15 +00001536__attribute__ ((noreturn))
1537extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001538
sewardjde4a1d02002-03-22 01:27:54 +00001539/* ---------------------------------------------------------------------
1540 The state of the simulated CPU.
1541 ------------------------------------------------------------------ */
1542
sewardjde4a1d02002-03-22 01:27:54 +00001543/* ---------------------------------------------------------------------
1544 Offsets into baseBlock for everything which needs to referred to
1545 from generated code. The order of these decls does not imply
1546 what the order of the actual offsets is. The latter is important
1547 and is set up in vg_main.c.
1548 ------------------------------------------------------------------ */
1549
1550/* An array of words. In generated code, %ebp always points to the
1551 start of this array. Useful stuff, like the simulated CPU state,
1552 and the addresses of helper functions, can then be found by
1553 indexing off %ebp. The following declares variables which, at
1554 startup time, are given values denoting offsets into baseBlock.
1555 These offsets are in *words* from the start of baseBlock. */
1556
sewardjb91ae7f2003-04-29 23:50:00 +00001557#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001558
1559extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1560
sewardjde4a1d02002-03-22 01:27:54 +00001561/* -----------------------------------------------------
1562 Read-write parts of baseBlock.
1563 -------------------------------------------------- */
1564
1565/* State of the simulated CPU. */
1566extern Int VGOFF_(m_eax);
1567extern Int VGOFF_(m_ecx);
1568extern Int VGOFF_(m_edx);
1569extern Int VGOFF_(m_ebx);
1570extern Int VGOFF_(m_esp);
1571extern Int VGOFF_(m_ebp);
1572extern Int VGOFF_(m_esi);
1573extern Int VGOFF_(m_edi);
1574extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001575extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001576extern Int VGOFF_(m_eip);
1577
sewardjfa492d42002-12-08 18:20:01 +00001578extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1579
sewardj92a59562002-09-30 00:53:10 +00001580extern Int VGOFF_(m_cs);
1581extern Int VGOFF_(m_ss);
1582extern Int VGOFF_(m_ds);
1583extern Int VGOFF_(m_es);
1584extern Int VGOFF_(m_fs);
1585extern Int VGOFF_(m_gs);
1586
sewardjde4a1d02002-03-22 01:27:54 +00001587/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1588extern Int VGOFF_(spillslots);
1589
1590/* Records the valid bits for the 8 integer regs & flags reg. */
1591extern Int VGOFF_(sh_eax);
1592extern Int VGOFF_(sh_ecx);
1593extern Int VGOFF_(sh_edx);
1594extern Int VGOFF_(sh_ebx);
1595extern Int VGOFF_(sh_esp);
1596extern Int VGOFF_(sh_ebp);
1597extern Int VGOFF_(sh_esi);
1598extern Int VGOFF_(sh_edi);
1599extern Int VGOFF_(sh_eflags);
1600
sewardjde4a1d02002-03-22 01:27:54 +00001601/* -----------------------------------------------------
1602 Read-only parts of baseBlock.
1603 -------------------------------------------------- */
1604
sewardj92a59562002-09-30 00:53:10 +00001605/* This thread's LDT pointer. */
1606extern Int VGOFF_(ldt);
1607
fitzhardinge47735af2004-01-21 01:27:27 +00001608/* This thread's TLS pointer. */
1609extern Int VGOFF_(tls);
1610
nethercote996901a2004-08-03 13:29:09 +00001611/* Nb: Most helper offsets are in include/vg_skin.h, for use by tools */
sewardjde4a1d02002-03-22 01:27:54 +00001612
sewardj51096432002-12-14 23:59:09 +00001613extern Int VGOFF_(helper_undefined_instruction);
1614
sewardjde4a1d02002-03-22 01:27:54 +00001615#endif /* ndef __VG_INCLUDE_H */
1616
sewardj3b2736a2002-03-24 12:18:35 +00001617
1618/* ---------------------------------------------------------------------
1619 Finally - autoconf-generated settings
1620 ------------------------------------------------------------------ */
1621
1622#include "config.h"
1623
sewardjde4a1d02002-03-22 01:27:54 +00001624/*--------------------------------------------------------------------*/
1625/*--- end vg_include.h ---*/
1626/*--------------------------------------------------------------------*/