blob: 544416ae58b475ab23f0db416df203dfb8e93af1 [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
sewardj4cf05692002-10-27 20:28:29 +000046/* All stuff visible to core and skins goes in vg_skin.h. Things
47 * visible to core but not visible to any skins should go in this
48 * 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
njn6eba4ef2003-05-01 08:06:41 +0000131/* Valgrind's stack sizes, in words */
132#define VG_STACK_SIZE_W 10000
133#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000134
fitzhardinge98abfc72003-12-16 02:05:15 +0000135/* Useful macros */
136/* a - alignment - must be a power of 2 */
137#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
138#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
139#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
140#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
141
142
sewardjde4a1d02002-03-22 01:27:54 +0000143/* ---------------------------------------------------------------------
144 Basic types
145 ------------------------------------------------------------------ */
146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* Just pray that gcc's constant folding works properly ... */
148#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
149 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
150 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
151
sewardjde4a1d02002-03-22 01:27:54 +0000152/* ---------------------------------------------------------------------
153 Command-line-settable options
154 ------------------------------------------------------------------ */
155
sewardj4f094a72002-11-05 23:37:35 +0000156/* Default destination port to be used in logging over a network, if
157 none specified. */
158#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000159
160/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000161#define VG_CLO_MAX_SFILES 10
162
nethercote04d0fbc2004-01-26 16:48:06 +0000163/* Default debugger command. */
164#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
165
sewardj4cf05692002-10-27 20:28:29 +0000166/* Describes where logging output is to be sent. */
167typedef
168 enum {
169 VgLogTo_Fd,
170 VgLogTo_File,
171 VgLogTo_Socket
172 } VgLogTo;
173
jsgf855d93d2003-10-13 22:26:55 +0000174/* pid of main process */
175extern Int VG_(main_pid);
176
177/* pgrp of process (global to all threads) */
178extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000179
thughesad1c9562004-06-26 11:27:52 +0000180/* Application-visible file descriptor limits */
181extern Int VG_(fd_soft_limit);
182extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000183
sewardj72f98ff2002-06-13 17:23:38 +0000184/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000185extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000186/* Enquire about whether to attach to a debugger at errors? default: NO */
187extern Bool VG_(clo_db_attach);
188/* The debugger command? default: whatever gdb ./configure found */
189extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000190/* Enquire about generating a suppression for each error? default: NO */
191extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000192/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000193extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000194/* Automatically attempt to demangle C++ names? default: YES */
195extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000196/* Simulate child processes? default: NO */
197extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000198
199/* Where logging output is to be sent to.
200
nethercotef8548672004-06-21 12:42:35 +0000201 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
202 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000203
nethercotef8548672004-06-21 12:42:35 +0000204 When log_to == VgLogTo_File, clo_log_name holds the log-file
205 name, and is taken from the command line. clo_log_fd is then
206 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000207 (concatenated with the process ID) for writing.
208
nethercotef8548672004-06-21 12:42:35 +0000209 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000210 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000211 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000212 opening a connection to said hostname:portnumber pair.
213
nethercotef8548672004-06-21 12:42:35 +0000214 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000215 (stderr). */
216extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000217extern Int VG_(clo_log_fd);
218extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000219
sewardj6024b212003-07-13 10:54:33 +0000220/* The file descriptor to read for input. default: 0 == stdin */
221extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000222/* The number of suppression files specified. */
223extern Int VG_(clo_n_suppressions);
224/* The names of the suppression files. */
225extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
226
227/* Single stepping? default: NO */
228extern Bool VG_(clo_single_step);
229/* Code improvement? default: YES */
230extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000231/* DEBUG: print generated code? default: 00000 ( == NO ) */
232extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000233/* DEBUG: print system calls? default: NO */
234extern Bool VG_(clo_trace_syscalls);
235/* DEBUG: print signal details? default: NO */
236extern Bool VG_(clo_trace_signals);
237/* DEBUG: print symtab details? default: NO */
238extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000239/* DEBUG: print thread scheduling events? default: NO */
240extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000241/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
242 (some), 2 (all) */
243extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000244/* Display gory details for the k'th most popular error. default:
245 Infinity. */
246extern Int VG_(clo_dump_error);
247/* Number of parents of a backtrace. Default: 8. */
248extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000249/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000250extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000251/* How often we should poll for signals, assuming we need to poll for
252 signals. */
253extern Int VG_(clo_signal_polltime);
254
255/* Low latency syscalls and signals */
256extern Bool VG_(clo_lowlat_syscalls);
257extern Bool VG_(clo_lowlat_signals);
258
rjwalshf5f536f2003-11-17 17:45:00 +0000259/* Track open file descriptors? */
260extern Bool VG_(clo_track_fds);
261
sewardj858964b2002-10-05 14:15:43 +0000262/* Should we run __libc_freeres at exit? Sometimes causes crashes.
263 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
264 if the latter says False, then the setting of VG_(clo_weird_hacks)
265 is ignored. Ie if a skin says no, I don't want this to run, that
266 cannot be overridden from the command line. */
267extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000268/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000269extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000270/* Generate branch-prediction hints? */
271extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000272/* Continue stack traces below main()? Default: NO */
273extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000274/* Test each client pointer dereference to check it's within the
275 client address space bounds */
276extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000277
rjwalshe4e779d2004-04-16 23:02:29 +0000278/* Set up the libc freeres wrapper */
279extern void VG_(intercept_libc_freeres_wrapper)(Addr);
280
sewardjde4a1d02002-03-22 01:27:54 +0000281/* ---------------------------------------------------------------------
282 Debugging and profiling stuff
283 ------------------------------------------------------------------ */
284
nethercotef8548672004-06-21 12:42:35 +0000285/* Create a log file into which messages can be dumped. */
sewardjde4a1d02002-03-22 01:27:54 +0000286extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000287extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000288
289extern void VGP_(init_profiling) ( void );
290extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000291
njn25e49d8e72002-09-23 09:36:25 +0000292#undef VGP_PUSHCC
293#undef VGP_POPCC
294#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
295#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000296
sewardjde4a1d02002-03-22 01:27:54 +0000297/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000298 Skin-related types
299 ------------------------------------------------------------------ */
300/* These structs are not exposed to skins to mitigate possibility of
301 binary-incompatibilities when the core/skin interface changes. Instead,
302 set functions are provided (see include/vg_skin.h). */
303typedef
304 struct {
305 Char* name;
306 Char* version;
307 Char* description;
308 Char* copyright_author;
309 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000310 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000311 }
312 VgDetails;
313
314extern VgDetails VG_(details);
315
316/* If new fields are added to this type, update:
317 * - vg_main.c:initialisation of VG_(needs)
318 * - vg_main.c:sanity_check_needs()
319 *
320 * If the name of this type or any of its fields change, update:
321 * - dependent comments (just search for "VG_(needs)").
322 */
323typedef
324 struct {
325 Bool libc_freeres;
326 Bool core_errors;
327
328 Bool skin_errors;
329 Bool basic_block_discards;
330 Bool shadow_regs;
331 Bool command_line_options;
332 Bool client_requests;
333 Bool extended_UCode;
334 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000335 Bool sanity_checks;
336 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000337 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000338 }
339 VgNeeds;
340
341extern VgNeeds VG_(needs);
342
fitzhardinge98abfc72003-12-16 02:05:15 +0000343extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000344
fitzhardinge98abfc72003-12-16 02:05:15 +0000345#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000346
347/* ---------------------------------------------------------------------
348 Exports of vg_needs.c
349 ------------------------------------------------------------------ */
350
351void VG_(sanity_check_needs)(void);
352
353/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000354 Exports of vg_malloc2.c
355 ------------------------------------------------------------------ */
356
357/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000358
359 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000360 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000361 SYMTAB for Valgrind's symbol table storage.
362 JITTER for small storage during translation.
363 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
364 malloc() et al -- redzone size is chosen by the skin.
365 DEMANGLE for the C++ demangler.
366 EXECTXT for storing ExeContexts.
367 ERRORS for storing CoreErrors.
368 TRANSIENT for very short-term use. It should be empty in between uses.
369
njn25e49d8e72002-09-23 09:36:25 +0000370 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000371*/
372typedef Int ArenaId;
373
njn3e884182003-04-15 13:03:23 +0000374#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000375
njn3e884182003-04-15 13:03:23 +0000376#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000377#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000378#define VG_AR_SYMTAB 2
379#define VG_AR_JITTER 3
380#define VG_AR_CLIENT 4
381#define VG_AR_DEMANGLE 5
382#define VG_AR_EXECTXT 6
383#define VG_AR_ERRORS 7
384#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000385
njn25e49d8e72002-09-23 09:36:25 +0000386extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
387extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000388extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
389 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000390extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
391 Int size );
392extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000393 Int req_pszB );
394
njn8a6b6c02003-04-22 22:45:55 +0000395extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
396
sewardjde4a1d02002-03-22 01:27:54 +0000397extern void VG_(mallocSanityCheckAll) ( void );
398
399extern void VG_(show_all_arena_stats) ( void );
400extern Bool VG_(is_empty_arena) ( ArenaId aid );
401
sewardjecf8e102003-07-12 12:11:39 +0000402/* Returns True if aa is inside any block mmap'd /dev/zero
403 by our low-level memory manager. */
404extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
405
sewardjde4a1d02002-03-22 01:27:54 +0000406
sewardjde4a1d02002-03-22 01:27:54 +0000407/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000408 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000409 ------------------------------------------------------------------ */
410
411/* This doesn't export code or data that valgrind.so needs to link
412 against. However, the scheduler does need to know the following
413 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000414 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000415
njn4c791212003-05-02 17:53:54 +0000416#define VG_USERREQ__MALLOC 0x2001
417#define VG_USERREQ__FREE 0x2002
418
sewardj20917d82002-05-28 01:36:45 +0000419/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
420 MUST NOT return -- ever. Eventually it will do either __QUIT or
421 __WAIT_JOINER. */
422#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
423
424/* ( no-args ): calling thread disappears from the system forever.
425 Reclaim resources. */
426#define VG_USERREQ__QUIT 0x3002
427
428/* ( void* ): calling thread waits for joiner and returns the void* to
429 it. */
430#define VG_USERREQ__WAIT_JOINER 0x3003
431
432/* ( ThreadId, void** ): wait to join a thread. */
433#define VG_USERREQ__PTHREAD_JOIN 0x3004
434
435/* Set cancellation state and type for this thread. */
436#define VG_USERREQ__SET_CANCELSTATE 0x3005
437#define VG_USERREQ__SET_CANCELTYPE 0x3006
438
439/* ( no-args ): Test if we are at a cancellation point. */
440#define VG_USERREQ__TESTCANCEL 0x3007
441
442/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
443 with this arg to indicate that a cancel is now pending for the
444 specified thread. */
445#define VG_USERREQ__SET_CANCELPEND 0x3008
446
447/* Set/get detach state for this thread. */
448#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
449
450#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
451#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
452#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
453#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
454#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
455#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
456#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
457#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
458#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
459#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000460#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
461#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000462#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
463#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000464#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000465#define VG_USERREQ__PTHREAD_KILL 0x301A
466#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000467#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000468
sewardj8ad94e12002-05-29 00:10:20 +0000469#define VG_USERREQ__CLEANUP_PUSH 0x3020
470#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000471#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000472
sewardjef037c72002-05-30 00:40:03 +0000473#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000474
475/* Ask how many signal handler returns have happened to this
476 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000477#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000478
sewardj2cb00342002-06-28 01:46:26 +0000479/* Get/set entries for a thread's pthread_atfork stack. */
480#define VG_USERREQ__SET_FHSTACK_USED 0x3025
481#define VG_USERREQ__GET_FHSTACK_USED 0x3026
482#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
483#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000484
sewardj1fe7b002002-07-16 01:43:15 +0000485/* Denote the finish of VG_(__libc_freeres_wrapper). */
486#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000487
488/* Allocate RT signals */
489#define VG_USERREQ__GET_SIGRT_MIN 0x302B
490#define VG_USERREQ__GET_SIGRT_MAX 0x302C
491#define VG_USERREQ__ALLOC_RTSIG 0x302D
492
493/* Hook for replace_malloc.o to get malloc functions */
494#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
495
sewardj45b4b372002-04-16 22:50:32 +0000496/* Cosmetic ... */
497#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000498/* Log a pthread error from client-space. Cosmetic. */
499#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000500/* Internal equivalent of VALGRIND_PRINTF . */
501#define VG_USERREQ__INTERNAL_PRINTF 0x3103
502/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
503#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000504
sewardj54cacf02002-04-12 23:24:59 +0000505/*
506In vg_constants.h:
507#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000508*/
509
rjwalshe4e779d2004-04-16 23:02:29 +0000510#define VG_INTERCEPT_PREFIX "_vgi__"
511#define VG_INTERCEPT_PREFIX_LEN 6
512#define VG_INTERCEPT(name) _vgi__##name
513#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
514
515#define VG_WRAPPER_PREFIX "_vgw__"
516#define VG_WRAPPER_PREFIX_LEN 6
517#define VG_WRAPPER(name) _vgw__##name
518#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
519
njn4c791212003-05-02 17:53:54 +0000520
fitzhardinge98abfc72003-12-16 02:05:15 +0000521struct vg_mallocfunc_info {
522 /* things vg_replace_malloc.o needs to know about */
523 Addr sk_malloc;
524 Addr sk_calloc;
525 Addr sk_realloc;
526 Addr sk_memalign;
527 Addr sk___builtin_new;
528 Addr sk___builtin_vec_new;
529 Addr sk_free;
530 Addr sk___builtin_delete;
531 Addr sk___builtin_vec_delete;
532
533 Addr arena_payload_szB;
534
535 Bool clo_sloppy_malloc;
536 Bool clo_trace_malloc;
537};
sewardj1fe7b002002-07-16 01:43:15 +0000538
fitzhardinge39de4b42003-10-31 07:12:21 +0000539__attribute__((weak))
540int
541VALGRIND_INTERNAL_PRINTF(char *format, ...)
542{
543 unsigned int _qzz_res = 0;
544 va_list vargs;
545 va_start(vargs, format);
546 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
547 (unsigned int)format, (unsigned int)vargs, 0, 0);
548 va_end(vargs);
549 return _qzz_res;
550}
551
552__attribute__((weak))
553int
554VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
555{
556 unsigned int _qzz_res = 0;
557 va_list vargs;
558 va_start(vargs, format);
559 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
560 (unsigned int)format, (unsigned int)vargs, 0, 0);
561 va_end(vargs);
562 return _qzz_res;
563}
564
sewardj54cacf02002-04-12 23:24:59 +0000565
sewardj2e93c502002-04-12 11:12:52 +0000566/* ---------------------------------------------------------------------
567 Constants pertaining to the simulated CPU state, VG_(baseBlock),
568 which need to go here to avoid ugly circularities.
569 ------------------------------------------------------------------ */
570
sewardjb91ae7f2003-04-29 23:50:00 +0000571/* How big is the saved SSE/SSE2 state? Note that this subsumes the
572 FPU state. On machines without SSE, we just save/restore the FPU
573 state into the first part of this area. */
574/* A general comment about SSE save/restore: It appears that the 7th
575 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
576 that restoring from it later does not cause a GP fault (which is
577 delivered as a segfault). I guess this will have to be done
578 any time we do fxsave :-( 7th word means word offset 6 or byte
579 offset 24 from the start address of the save area.
580 */
581#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000582/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000583#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000584
585
586/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000587 Exports of vg_defaults.c
588 ------------------------------------------------------------------ */
589
590extern Bool VG_(sk_malloc_called_by_scheduler);
591
592
593/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000594 Exports of vg_ldt.c
595 ------------------------------------------------------------------ */
596
597/* This is the hardware-format for a segment descriptor, ie what the
598 x86 actually deals with. It is 8 bytes long. It's ugly. */
599
600typedef struct _LDT_ENTRY {
601 union {
602 struct {
603 UShort LimitLow;
604 UShort BaseLow;
605 unsigned BaseMid : 8;
606 unsigned Type : 5;
607 unsigned Dpl : 2;
608 unsigned Pres : 1;
609 unsigned LimitHi : 4;
610 unsigned Sys : 1;
611 unsigned Reserved_0 : 1;
612 unsigned Default_Big : 1;
613 unsigned Granularity : 1;
614 unsigned BaseHi : 8;
615 } Bits;
616 struct {
617 UInt word1;
618 UInt word2;
619 } Words;
620 }
621 LdtEnt;
622} VgLdtEntry;
623
624/* Maximum number of LDT entries supported (by the x86). */
625#define VG_M_LDT_ENTRIES 8192
626/* The size of each LDT entry == sizeof(VgLdtEntry) */
627#define VG_LDT_ENTRY_SIZE 8
628
629/* Alloc & copy, and dealloc. */
630extern VgLdtEntry*
631 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
632extern void
633 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
fitzhardinge47735af2004-01-21 01:27:27 +0000634extern void
635 VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000636
637/* Simulate the modify_ldt syscall. */
638extern Int VG_(sys_modify_ldt) ( ThreadId tid,
639 Int func, void* ptr, UInt bytecount );
640
fitzhardinge47735af2004-01-21 01:27:27 +0000641/* Simulate the {get,set}_thread_area syscalls. */
642extern Int VG_(sys_set_thread_area) ( ThreadId tid,
643 struct vki_modify_ldt_ldt_s* info );
644extern Int VG_(sys_get_thread_area) ( ThreadId tid,
645 struct vki_modify_ldt_ldt_s* info );
646
sewardje1042472002-09-30 12:33:11 +0000647/* Called from generated code. Given a segment selector and a virtual
648 address, return a linear address, and do limit checks too. */
649extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
650
sewardj92a59562002-09-30 00:53:10 +0000651
652/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000653 Exports of vg_libpthread.c
654 ------------------------------------------------------------------ */
655
656/* Replacements for pthread types, shared between vg_libpthread.c and
657 vg_scheduler.c. See comment in vg_libpthread.c above the other
658 vg_pthread_*_t types for a description of how these are used. */
659
660struct _vg_pthread_fastlock
661{
662 long int __vg_status; /* "Free" or "taken" or head of waiting list */
663 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
664 adaptive SMP lock stores spin count here. */
665};
666
667typedef struct
668{
669 int __vg_m_reserved; /* Reserved for future use */
670 int __vg_m_count; /* Depth of recursive locking */
671 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
672 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
673 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
674} vg_pthread_mutex_t;
675
676typedef struct
677{
678 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000679 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
680
681 // Nb: the following padding removed because it was missing from an
682 // earlier glibc, so the size test in the CONVERT macro was failing.
683 // --njn
684
nethercote1f0173b2004-02-28 15:40:36 +0000685 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000686 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000687 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000688 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000689} vg_pthread_cond_t;
690
691
692/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000693 Exports of vg_scheduler.c
694 ------------------------------------------------------------------ */
695
sewardj2e93c502002-04-12 11:12:52 +0000696typedef
jsgf855d93d2003-10-13 22:26:55 +0000697 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000698 VgTs_Empty, /* this slot is not in use */
699 VgTs_Runnable, /* waiting to be scheduled */
700 VgTs_WaitJoiner, /* waiting for someone to do join on me */
701 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000702 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000703 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000704 VgTs_WaitSys, /* waiting for a syscall to complete */
705 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000706 }
707 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000708
thughes11975ff2004-06-12 12:58:22 +0000709typedef
710 enum CleanupType {
711 VgCt_None, /* this cleanup entry is not initialised */
712 VgCt_Function, /* an old-style function pointer cleanup */
713 VgCt_Longjmp /* a new-style longjmp based cleanup */
714 }
715 CleanupType;
716
sewardj8ad94e12002-05-29 00:10:20 +0000717/* An entry in a threads's cleanup stack. */
718typedef
719 struct {
thughes11975ff2004-06-12 12:58:22 +0000720 CleanupType type;
721 union {
722 struct {
723 void (*fn)(void*);
724 void* arg;
725 } function;
726 struct {
thughesebed9982004-06-12 17:25:25 +0000727 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000728 int ctype;
729 } longjmp;
730 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000731 }
732 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000733
734/* An entry in a thread's fork-handler stack. */
735typedef
736 struct {
737 void (*prepare)(void);
738 void (*parent)(void);
739 void (*child)(void);
740 }
741 ForkHandlerEntry;
742
jsgf855d93d2003-10-13 22:26:55 +0000743typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000744
njn72718642003-07-24 08:45:32 +0000745typedef
746 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000747 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
748 The thread identity is simply the index in vg_threads[].
749 ThreadId == 1 is the root thread and has the special property
750 that we don't try and allocate or deallocate its stack. For
751 convenience of generating error message, we also put the
752 ThreadId in this tid field, but be aware that it should
753 ALWAYS == the index in vg_threads[]. */
754 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000755
njn25e49d8e72002-09-23 09:36:25 +0000756 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000757
njn25e49d8e72002-09-23 09:36:25 +0000758 Complications: whenever this is set to VgTs_WaitMX, you
759 should also set .m_edx to whatever the required return value
760 is for pthread_mutex_lock / pthread_cond_timedwait for when
761 the mutex finally gets unblocked. */
762 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000763
njn25e49d8e72002-09-23 09:36:25 +0000764 /* When .status == WaitMX, points to the mutex I am waiting for.
765 When .status == WaitCV, points to the mutex associated with
766 the condition variable indicated by the .associated_cv field.
767 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000768 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000769
njn25e49d8e72002-09-23 09:36:25 +0000770 /* When .status == WaitCV, points to the condition variable I am
771 waiting for. In all other cases, should be NULL. */
772 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000773
njn25e49d8e72002-09-23 09:36:25 +0000774 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000775 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000776
njn25e49d8e72002-09-23 09:36:25 +0000777 If VgTs_WaitCV, this indicates the time at which
778 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
779 this means infinitely far in the future, viz,
780 pthread_cond_wait. */
781 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000782
njn25e49d8e72002-09-23 09:36:25 +0000783 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
784 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000785
njn25e49d8e72002-09-23 09:36:25 +0000786 /* If VgTs_WaitJoinee, place to copy the return value to, and
787 the identity of the thread we're waiting for. */
788 void** joiner_thread_return;
789 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000790
jsgf855d93d2003-10-13 22:26:55 +0000791 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
792 void *sys_pre_res;
793
794 /* If VgTs_WaitSys, this is the syscall we're currently running */
795 Int syscallno;
796
797 /* Details about this thread's proxy LWP */
798 ProxyLWP *proxy;
799
njn25e49d8e72002-09-23 09:36:25 +0000800 /* Whether or not detached. */
801 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000802
njn25e49d8e72002-09-23 09:36:25 +0000803 /* Cancelability state and type. */
804 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
805 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
806
807 /* Pointer to fn to call to do cancellation. Indicates whether
808 or not cancellation is pending. If NULL, not pending. Else
809 should be &thread_exit_wrapper(), indicating that
810 cancallation is pending. */
811 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000812
njn25e49d8e72002-09-23 09:36:25 +0000813 /* The cleanup stack. */
814 Int custack_used;
815 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000816
sewardj00a66b12002-10-12 16:42:35 +0000817 /* A pointer to the thread's-specific-data. This is handled almost
818 entirely from vg_libpthread.c. We just provide hooks to get and
819 set this ptr. This is either NULL, indicating the thread has
820 read/written none of its specifics so far, OR points to a
821 void*[VG_N_THREAD_KEYS], allocated and deallocated in
822 vg_libpthread.c. */
823 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000824
njn25e49d8e72002-09-23 09:36:25 +0000825 /* This thread's blocked-signals mask. Semantics is that for a
826 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000827 blocked by this signal mask. If more than one thread accepts a
828 signal, then it will be delivered to one at random. If all
829 threads block the signal, it will remain pending until either a
830 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
831
832 sig_mask reflects what the client told us its signal mask should
833 be, but isn't necessarily the current signal mask of the proxy
834 LWP: it may have more signals blocked because of signal
835 handling, or it may be different because of sigsuspend.
836 */
njn25e49d8e72002-09-23 09:36:25 +0000837 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000838
fitzhardingef0dd7e12004-01-16 02:17:30 +0000839 /* Effective signal mask. This is the mask which currently
840 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000841 handler is running.
842 */
843 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000844
njn25e49d8e72002-09-23 09:36:25 +0000845 /* Stacks. When a thread slot is freed, we don't deallocate its
846 stack; we just leave it lying around for the next use of the
847 slot. If the next use of the slot requires a larger stack,
848 only then is the old one deallocated and a new one
849 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000850
njn25e49d8e72002-09-23 09:36:25 +0000851 For the main thread (threadid == 0), this mechanism doesn't
852 apply. We don't know the size of the stack since we didn't
853 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000854
njn25e49d8e72002-09-23 09:36:25 +0000855 /* The allocated size of this thread's stack (permanently zero
856 if this is ThreadId == 0, since we didn't allocate its stack) */
857 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000858
njn25e49d8e72002-09-23 09:36:25 +0000859 /* Address of the lowest word in this thread's stack. NULL means
860 not allocated yet.
861 */
862 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000863
sewardj92a59562002-09-30 00:53:10 +0000864 /* Address of the highest legitimate word in this stack. This is
865 used for error messages only -- not critical for execution
866 correctness. Is is set for all stacks, specifically including
867 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000868 Addr stack_highest_word;
869
fitzhardinge98c4dc02004-03-16 08:27:29 +0000870 /* Alternate signal stack */
871 vki_kstack_t altstack;
872
sewardj92a59562002-09-30 00:53:10 +0000873 /* Pointer to this thread's Local (Segment) Descriptor Table.
874 Starts out as NULL, indicating there is no table, and we hope to
875 keep it that way. If the thread does __NR_modify_ldt to create
876 entries, we allocate a 8192-entry table at that point. This is
877 a straight copy of the Linux kernel's scheme. Don't forget to
878 deallocate this at thread exit. */
879 VgLdtEntry* ldt;
880
fitzhardinge47735af2004-01-21 01:27:27 +0000881 /* TLS table. This consists of a small number (currently 3) of
882 entries from the Global Descriptor Table. */
883 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
884
sewardj92a59562002-09-30 00:53:10 +0000885 /* Saved machine context. Note the FPU state, %EIP and segment
886 registers are not shadowed.
887
888 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000889 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000890 simplified if we pretend they are 32 bits. */
891 UInt m_cs;
892 UInt m_ss;
893 UInt m_ds;
894 UInt m_es;
895 UInt m_fs;
896 UInt m_gs;
897
njn25e49d8e72002-09-23 09:36:25 +0000898 UInt m_eax;
899 UInt m_ebx;
900 UInt m_ecx;
901 UInt m_edx;
902 UInt m_esi;
903 UInt m_edi;
904 UInt m_ebp;
905 UInt m_esp;
906 UInt m_eflags;
907 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000908
909 /* The SSE/FPU state. This array does not (necessarily) have the
910 required 16-byte alignment required to get stuff in/out by
911 fxsave/fxrestore. So we have to do it "by hand".
912 */
913 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000914
915 UInt sh_eax;
916 UInt sh_ebx;
917 UInt sh_ecx;
918 UInt sh_edx;
919 UInt sh_esi;
920 UInt sh_edi;
921 UInt sh_ebp;
922 UInt sh_esp;
923 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000924}
925ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000926
927
sewardj018f7622002-05-15 21:13:39 +0000928/* The thread table. */
929extern ThreadState VG_(threads)[VG_N_THREADS];
930
931/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000932extern Bool VG_(is_valid_tid) ( ThreadId tid );
933
sewardj018f7622002-05-15 21:13:39 +0000934/* Check that tid is in range. */
935extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
936
njn72718642003-07-24 08:45:32 +0000937/* Determine if 'tid' is that of the current running thread (Nb: returns
938 False if no thread is currently running. */
939extern Bool VG_(is_running_thread)(ThreadId tid);
940
jsgf855d93d2003-10-13 22:26:55 +0000941/* Get the ThreadState for a particular thread */
942extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
943
sewardj2e93c502002-04-12 11:12:52 +0000944/* Copy the specified thread's state into VG_(baseBlock) in
945 preparation for running it. */
946extern void VG_(load_thread_state)( ThreadId );
947
948/* Save the specified thread's state back in VG_(baseBlock), and fill
949 VG_(baseBlock) with junk, for sanity-check reasons. */
950extern void VG_(save_thread_state)( ThreadId );
951
sewardj1e8cdc92002-04-18 11:37:52 +0000952/* And for the currently running one, if valid. */
953extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000954
sewardj1e8cdc92002-04-18 11:37:52 +0000955/* Similarly ... */
956extern ThreadId VG_(get_current_tid) ( void );
957
sewardjccef2e62002-05-29 19:26:32 +0000958/* Nuke all threads except tid. */
959extern void VG_(nuke_all_threads_except) ( ThreadId me );
960
jsgf855d93d2003-10-13 22:26:55 +0000961/* Give a hint to the scheduler that it may be a good time to find a
962 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
963 try to schedule that thread.
964*/
965extern void VG_(need_resched) ( ThreadId prefer_sched );
966
967/* Add a new timeout event for a thread*/
968extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000969
970/* Return codes from the scheduler. */
971typedef
sewardj7e87e382002-05-03 19:09:05 +0000972 enum {
973 VgSrc_Deadlock, /* no runnable threads and no prospect of any
974 even if we wait for a long time */
975 VgSrc_ExitSyscall, /* client called exit(). This is the normal
976 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000977 VgSrc_FatalSig /* Killed by the default action of a fatal
978 signal */
sewardj7e87e382002-05-03 19:09:05 +0000979 }
sewardj2e93c502002-04-12 11:12:52 +0000980 VgSchedReturnCode;
981
sewardj7e87e382002-05-03 19:09:05 +0000982
sewardj2e93c502002-04-12 11:12:52 +0000983/* The scheduler. */
nethercote47dd12c2004-06-22 14:18:42 +0000984extern VgSchedReturnCode VG_(scheduler) ( Int* exit_code );
sewardj2e93c502002-04-12 11:12:52 +0000985
986extern void VG_(scheduler_init) ( void );
987
sewardj15a43e12002-04-17 19:35:12 +0000988extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000989
990/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
991extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000992/* This says whether scheduler_jmpbuf is actually valid. Needed so
993 that our signal handler doesn't longjmp when the buffer isn't
994 actually valid. */
995extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000996/* ... and if so, here's the signal which caused it to do so. */
997extern Int VG_(longjmpd_on_signal);
998
999
sewardj2e93c502002-04-12 11:12:52 +00001000/* The red-zone size which we put at the bottom (highest address) of
1001 thread stacks, for paranoia reasons. This can be arbitrary, and
1002 doesn't really need to be set at compile time. */
1003#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
1004
1005#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
1006 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
1007
njn25e49d8e72002-09-23 09:36:25 +00001008/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +00001009 being used. */
njn25e49d8e72002-09-23 09:36:25 +00001010#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +00001011/* For sanity checking: if this ends up in a thread's shadow regs when
1012 shadow regs aren't being used, something went wrong. */
1013#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +00001014
njnd3040452003-05-19 15:04:06 +00001015/* Write a value to a client's thread register, and shadow (if necessary) */
1016#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
1017 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
1018 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +00001019 } while (0)
1020
njnd3040452003-05-19 15:04:06 +00001021#define SET_SYSCALL_RETVAL(zztid, zzval) \
1022 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
1023
1024#define SET_SIGNAL_EDX(zztid, zzval) \
1025 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
1026
1027#define SET_SIGNAL_ESP(zztid, zzval) \
1028 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
1029
1030#define SET_CLREQ_RETVAL(zztid, zzval) \
1031 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
1032
1033#define SET_CLCALL_RETVAL(zztid, zzval, f) \
1034 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
1035
1036#define SET_PTHREQ_ESP(zztid, zzval) \
1037 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
1038
1039#define SET_PTHREQ_RETVAL(zztid, zzval) \
1040 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +00001041
sewardj2e93c502002-04-12 11:12:52 +00001042
1043/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001044 Exports of vg_signals.c
1045 ------------------------------------------------------------------ */
1046
jsgf855d93d2003-10-13 22:26:55 +00001047extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
1048
1049/* RT signal allocation */
1050extern Int VG_(sig_rtmin);
1051extern Int VG_(sig_rtmax);
1052extern Int VG_(sig_alloc_rtsig) ( Int high );
1053
sewardjde4a1d02002-03-22 01:27:54 +00001054extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001055extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001056
jsgf855d93d2003-10-13 22:26:55 +00001057extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001058extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001059extern void VG_(handle_SCSS_change) ( Bool force_update );
1060
jsgf855d93d2003-10-13 22:26:55 +00001061extern Bool VG_(is_sig_ign) ( Int sigNo );
1062
1063/* Route pending signals from the scheduler LWP to the appropriate
1064 thread LWP. */
1065extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001066
1067/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001068extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001069extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001070extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1071 Int how,
1072 vki_ksigset_t* set,
1073 vki_ksigset_t* oldset );
1074extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1075 Int how,
1076 vki_ksigset_t* set,
1077 vki_ksigset_t* oldset );
1078extern void VG_(send_signal_to_thread) ( ThreadId thread,
1079 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001080
sewardjefbfcdf2002-06-19 17:35:45 +00001081extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1082
1083
sewardj2e93c502002-04-12 11:12:52 +00001084/* Modify the current thread's state once we have detected it is
1085 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001086extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001087
sewardj2e93c502002-04-12 11:12:52 +00001088/* Handy utilities to block/restore all host signals. */
1089extern void VG_(block_all_host_signals)
1090 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001091extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001092 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001093
jsgf855d93d2003-10-13 22:26:55 +00001094extern vki_ksiginfo_t VG_(unresumable_siginfo);
1095
1096extern void VG_(kill_self)(Int sigNo);
1097
fitzhardingef1beb252004-03-16 09:49:08 +00001098/* These function synthesize a fault, as if the running instruction
1099 had had a fault. These functions do not return - they longjmp back
1100 into the scheduler so the signal can be delivered. */
1101extern void VG_(synth_fault) (ThreadId tid);
1102extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1103extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1104
1105
sewardjde4a1d02002-03-22 01:27:54 +00001106/* ---------------------------------------------------------------------
1107 Exports of vg_mylibc.c
1108 ------------------------------------------------------------------ */
1109
njne427a662002-10-02 11:08:25 +00001110#define vg_assert(expr) \
1111 ((void) ((expr) ? 0 : \
1112 (VG_(core_assert_fail) (VG__STRING(expr), \
1113 __FILE__, __LINE__, \
1114 __PRETTY_FUNCTION__), 0)))
1115__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001116extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1117 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001118__attribute__ ((__noreturn__))
1119extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001120
njn25e49d8e72002-09-23 09:36:25 +00001121/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1122extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001123
njn25e49d8e72002-09-23 09:36:25 +00001124/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1125extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001126
njn25e49d8e72002-09-23 09:36:25 +00001127extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001128extern Int VG_(select)( Int n,
1129 vki_fd_set* readfds,
1130 vki_fd_set* writefds,
1131 vki_fd_set* exceptfds,
1132 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001133extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001134extern Int VG_(nanosleep)( const struct vki_timespec *req,
1135 struct vki_timespec *rem );
1136
fitzhardinge98abfc72003-12-16 02:05:15 +00001137/* system/mman.h */
1138extern void* VG_(mmap)( void* start, UInt length,
1139 UInt prot, UInt flags, UInt fd, UInt offset );
1140extern Int VG_(munmap)( void* start, Int length );
1141extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1142
1143
jsgf855d93d2003-10-13 22:26:55 +00001144/* Move an fd into the Valgrind-safe range */
1145Int VG_(safe_fd)(Int oldfd);
1146
sewardj570f8902002-11-03 11:44:36 +00001147extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001148
1149/* --- Connecting over the network --- */
1150extern Int VG_(connect_via_socket)( UChar* str );
1151
fitzhardinge98abfc72003-12-16 02:05:15 +00001152/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001153extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001154extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1155extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1156extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001157
1158/* ---------------------------------------------------------------------
1159 Exports of vg_message.c
1160 ------------------------------------------------------------------ */
1161
1162/* Low-level -- send bytes directly to the message sink. Do not
1163 use. */
1164extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1165
1166
sewardjde4a1d02002-03-22 01:27:54 +00001167/* ---------------------------------------------------------------------
1168 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1169 vg_from_ucode.c).
1170 ------------------------------------------------------------------ */
1171
sewardjde4a1d02002-03-22 01:27:54 +00001172#define VG_IS_FLAG_SUBSET(set1,set2) \
1173 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1174
1175#define VG_UNION_FLAG_SETS(set1,set2) \
1176 ( ((FlagSet)set1) | ((FlagSet)set2) )
1177
sewardjde4a1d02002-03-22 01:27:54 +00001178/* ---------------------------------------------------------------------
1179 Exports of vg_demangle.c
1180 ------------------------------------------------------------------ */
1181
1182extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1183
sewardjde4a1d02002-03-22 01:27:54 +00001184/* ---------------------------------------------------------------------
1185 Exports of vg_from_ucode.c
1186 ------------------------------------------------------------------ */
1187
sewardj22854b92002-11-30 14:00:47 +00001188extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001189
njn25e49d8e72002-09-23 09:36:25 +00001190extern void VG_(print_ccall_stats) ( void );
1191extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001192
sewardj22854b92002-11-30 14:00:47 +00001193extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1194extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1195extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1196extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1197
sewardjde4a1d02002-03-22 01:27:54 +00001198/* ---------------------------------------------------------------------
1199 Exports of vg_to_ucode.c
1200 ------------------------------------------------------------------ */
1201
fitzhardingec2dbbac2004-01-23 23:09:01 +00001202Bool VG_(cpu_has_feature)(UInt feat);
1203
sewardjde4a1d02002-03-22 01:27:54 +00001204extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001205
1206/* ---------------------------------------------------------------------
1207 Exports of vg_translate.c
1208 ------------------------------------------------------------------ */
1209
njn810086f2002-11-14 12:42:47 +00001210/* Expandable arrays of uinstrs. */
1211struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001212 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001213 Int used;
1214 Int size;
1215 UInstr* instrs;
1216 Int nextTemp;
1217};
1218
1219extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1220
njn72718642003-07-24 08:45:32 +00001221extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001222 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001223 UInt* orig_size,
1224 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001225 UInt* trans_size,
1226 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001227
njn25e49d8e72002-09-23 09:36:25 +00001228extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1229 UInstr* u );
1230extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1231extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001232
sewardjb5ff83e2002-12-01 19:40:49 +00001233
sewardjde4a1d02002-03-22 01:27:54 +00001234/* ---------------------------------------------------------------------
1235 Exports of vg_execontext.c.
1236 ------------------------------------------------------------------ */
1237
1238/* Records the PC and a bit of the call chain. The first 4 %eip
1239 values are used in comparisons do remove duplicate errors, and for
1240 comparing against suppression specifications. The rest are purely
1241 informational (but often important). */
1242
njn25e49d8e72002-09-23 09:36:25 +00001243struct _ExeContext {
1244 struct _ExeContext * next;
1245 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001246 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001247 [1] is its caller, [2] is the caller of [1], etc. */
1248 Addr eips[0];
1249};
sewardjde4a1d02002-03-22 01:27:54 +00001250
1251
sewardjde4a1d02002-03-22 01:27:54 +00001252/* Print stats (informational only). */
1253extern void VG_(show_ExeContext_stats) ( void );
1254
njn25e49d8e72002-09-23 09:36:25 +00001255/* Like VG_(get_ExeContext), but with a slightly different type */
1256extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1257 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001258
1259
1260/* ---------------------------------------------------------------------
1261 Exports of vg_errcontext.c.
1262 ------------------------------------------------------------------ */
1263
njn25e49d8e72002-09-23 09:36:25 +00001264/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1265 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001266typedef
njn25e49d8e72002-09-23 09:36:25 +00001267 enum {
1268 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001269 }
njn25e49d8e72002-09-23 09:36:25 +00001270 CoreSuppKind;
1271
1272/* For each caller specified for a suppression, record the nature of
1273 the caller name. Not of interest to skins. */
1274typedef
1275 enum {
1276 ObjName, /* Name is of an shared object file. */
1277 FunName /* Name is of a function. */
1278 }
1279 SuppLocTy;
1280
njn810086f2002-11-14 12:42:47 +00001281/* Suppressions. Skins can get/set skin-relevant parts with functions
1282 declared in include/vg_skin.h. Extensible via the 'extra' field.
1283 Skins can use a normal enum (with element values in the normal range
1284 (0..)) for `skind'. */
1285struct _Supp {
1286 struct _Supp* next;
1287 /* The number of times this error has been suppressed. */
1288 Int count;
1289 /* The name by which the suppression is referred to. */
1290 Char* sname;
1291 /* First two (name of fn where err occurs, and immediate caller)
1292 * are mandatory; extra two are optional. */
1293 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1294 Char* caller [VG_N_SUPP_CALLERS];
1295
1296 /* The skin-specific part */
1297 /* What kind of suppression. Must use the range (0..) */
1298 SuppKind skind;
1299 /* String -- use is optional. NULL by default. */
1300 Char* string;
1301 /* Anything else -- use is optional. NULL by default. */
1302 void* extra;
1303};
njn25e49d8e72002-09-23 09:36:25 +00001304
1305/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1306 * effectively extend it by defining their own enums in the (0..) range. */
1307typedef
1308 enum {
1309 PThreadErr = -1, /* Pthreading error */
1310 }
1311 CoreErrorKind;
1312
njn810086f2002-11-14 12:42:47 +00001313/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1314 enum (with element values in the normal range (0..)) for `ekind'.
1315 Functions for getting/setting the skin-relevant fields are in
1316 include/vg_skin.h.
1317
1318 When errors are found and recorded with VG_(maybe_record_error)(), all
1319 the skin must do is pass in the four parameters; core will
1320 allocate/initialise the error record.
1321*/
1322struct _Error {
1323 struct _Error* next;
1324 /* NULL if unsuppressed; or ptr to suppression record. */
1325 Supp* supp;
1326 Int count;
njn810086f2002-11-14 12:42:47 +00001327 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001328
1329 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001330 /* Initialised by core */
1331 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001332 /* Used by ALL. Must be in the range (0..) */
1333 Int ekind;
1334 /* Used frequently */
1335 Addr addr;
1336 /* Used frequently */
1337 Char* string;
1338 /* For any skin-specific extras */
1339 void* extra;
1340};
sewardjde4a1d02002-03-22 01:27:54 +00001341
1342
njn25e49d8e72002-09-23 09:36:25 +00001343extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001344
njn25e49d8e72002-09-23 09:36:25 +00001345extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001346
njn25e49d8e72002-09-23 09:36:25 +00001347extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001348
njn43c799e2003-04-08 00:08:52 +00001349extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1350
njn47363ab2003-04-21 13:24:40 +00001351extern UInt VG_(n_errs_found);
1352
sewardjde4a1d02002-03-22 01:27:54 +00001353/* ---------------------------------------------------------------------
1354 Exports of vg_procselfmaps.c
1355 ------------------------------------------------------------------ */
1356
njnfa1016e2003-09-25 17:54:11 +00001357/* Reads /proc/self/maps into a static buffer which can be parsed by
1358 VG_(parse_procselfmaps)(). */
1359extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001360
1361/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1362 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1363 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001364extern
njnfa1016e2003-09-25 17:54:11 +00001365void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001366 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1367 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001368);
1369
1370
1371/* ---------------------------------------------------------------------
1372 Exports of vg_symtab2.c
1373 ------------------------------------------------------------------ */
1374
fitzhardinge98abfc72003-12-16 02:05:15 +00001375typedef struct _Segment Segment;
1376
1377extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001378extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001379extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001380extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001381extern void VG_(symtab_incref) ( SegInfo * );
1382extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001383
njn25e49d8e72002-09-23 09:36:25 +00001384extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001385
fitzhardinge98abfc72003-12-16 02:05:15 +00001386/* Set up some default redirects */
1387extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001388
fitzhardinge98abfc72003-12-16 02:05:15 +00001389/* Redirection machinery */
1390extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1391 const Char *to_lib, const Char *to_sym);
1392extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1393 Addr to_addr);
1394extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001395
1396/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001397 Exports of vg_main.c
1398 ------------------------------------------------------------------ */
1399
sewardjb91ae7f2003-04-29 23:50:00 +00001400/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1401 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001402 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001403 correctly snapshot the startup machine state without it. */
1404extern Bool VG_(have_ssestate);
1405
sewardj73cf3bc2002-11-03 03:20:15 +00001406/* Tell the logging mechanism whether we are logging to a file
1407 descriptor or a socket descriptor. */
1408extern Bool VG_(logging_to_filedes);
1409
njn25e49d8e72002-09-23 09:36:25 +00001410/* Sanity checks which may be done at any time. The scheduler decides when. */
1411extern void VG_(do_sanity_checks) ( Bool force_expensive );
1412
fitzhardinge98abfc72003-12-16 02:05:15 +00001413/* Address space */
1414extern Addr VG_(client_base); /* client address space limits */
1415extern Addr VG_(client_end);
1416extern Addr VG_(client_mapbase); /* base of mappings */
1417extern Addr VG_(clstk_base); /* client stack range */
1418extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001419extern Addr VG_(client_trampoline_code);
1420
fitzhardinge98abfc72003-12-16 02:05:15 +00001421extern Addr VG_(brk_base); /* start of brk */
1422extern Addr VG_(brk_limit); /* current brk */
1423extern Addr VG_(shadow_base); /* skin's shadow memory */
1424extern Addr VG_(shadow_end);
1425extern Addr VG_(valgrind_base); /* valgrind's address range */
1426extern Addr VG_(valgrind_mmap_end);
1427extern Addr VG_(valgrind_end);
1428
fitzhardingeb50068f2004-02-24 23:42:55 +00001429extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1430
fitzhardinge98abfc72003-12-16 02:05:15 +00001431/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001432extern Int VG_(vgexecfd);
1433
1434/* client executable file descriptor */
1435extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001436
njn9b007f62003-04-07 14:40:25 +00001437/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001438extern Bool VG_(need_to_handle_esp_assignment) ( void );
1439
sewardjde4a1d02002-03-22 01:27:54 +00001440/* Called when some unhandleable client behaviour is detected.
1441 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001442extern void VG_(unimplemented) ( Char* msg )
1443 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001444
njn25e49d8e72002-09-23 09:36:25 +00001445/* Similarly, we have to ask for signals to be delivered on an alternative
1446 stack, since it is possible, although unlikely, that we'll have to run
1447 client code from inside the Valgrind-installed signal handler. If this
1448 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001449extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001450
fitzhardinge98abfc72003-12-16 02:05:15 +00001451/* Valgrind's argc and argv */
1452extern Int VG_(vg_argc);
1453extern Char **VG_(vg_argv);
1454
sewardjd5815ec2003-04-06 12:23:27 +00001455/* Indicates presence, and holds address of client's sysinfo page, a
1456 feature of some modern kernels used to provide vsyscalls, etc. */
1457extern Bool VG_(sysinfo_page_exists);
1458extern Addr VG_(sysinfo_page_addr);
1459
nethercoteff9721d2004-01-26 17:10:01 +00001460/* Walk through a colon separated list variable, removing entries
1461 which match pattern. */
1462extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1463
nethercote04d0fbc2004-01-26 16:48:06 +00001464/* Something of a function looking for a home ... start up debugger. */
1465extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001466
njn41557122002-10-14 09:25:37 +00001467/* VG_(bbs_done) in include/vg_skin.h */
1468
sewardjde4a1d02002-03-22 01:27:54 +00001469/* 64-bit counter for the number of bbs to go before a debug exit. */
1470extern ULong VG_(bbs_to_go);
1471
1472/* Counts downwards in vg_run_innerloop. */
1473extern UInt VG_(dispatch_ctr);
1474
sewardj7e87e382002-05-03 19:09:05 +00001475/* This is the ThreadId of the last thread the scheduler ran. */
1476extern ThreadId VG_(last_run_tid);
1477
jsgf855d93d2003-10-13 22:26:55 +00001478/* If we're doing the default action of a fatal signal */
1479extern jmp_buf VG_(fatal_signal_jmpbuf);
1480extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1481extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001482
1483/* --- Counters, for informational purposes only. --- */
1484
1485/* Number of lookups which miss the fast tt helper. */
1486extern UInt VG_(tt_fast_misses);
1487
sewardjc0d8f682002-11-30 00:49:43 +00001488/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001489
sewardjde4a1d02002-03-22 01:27:54 +00001490/* Number and total o/t size of translations overall. */
1491extern UInt VG_(overall_in_count);
1492extern UInt VG_(overall_in_osize);
1493extern UInt VG_(overall_in_tsize);
1494/* Number and total o/t size of discards overall. */
1495extern UInt VG_(overall_out_count);
1496extern UInt VG_(overall_out_osize);
1497extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001498/* The number of discards of TT/TC. */
1499extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001500/* Counts of chain and unchain operations done. */
1501extern UInt VG_(bb_enchain_count);
1502extern UInt VG_(bb_dechain_count);
1503/* Number of unchained jumps performed. */
1504extern UInt VG_(unchained_jumps_done);
1505
sewardjde4a1d02002-03-22 01:27:54 +00001506
1507/* Counts pertaining to the register allocator. */
1508
1509/* total number of uinstrs input to reg-alloc */
1510extern UInt VG_(uinstrs_prealloc);
1511
1512/* total number of uinstrs added due to spill code */
1513extern UInt VG_(uinstrs_spill);
1514
1515/* number of bbs requiring spill code */
1516extern UInt VG_(translations_needing_spill);
1517
1518/* total of register ranks over all translations */
1519extern UInt VG_(total_reg_rank);
1520
sewardjde4a1d02002-03-22 01:27:54 +00001521/* Counts pertaining to internal sanity checking. */
1522extern UInt VG_(sanity_fast_count);
1523extern UInt VG_(sanity_slow_count);
1524
sewardj2e93c502002-04-12 11:12:52 +00001525/* Counts pertaining to the scheduler. */
1526extern UInt VG_(num_scheduling_events_MINOR);
1527extern UInt VG_(num_scheduling_events_MAJOR);
1528
sewardjfa492d42002-12-08 18:20:01 +00001529/* Insert and extract the D flag from eflags */
1530UInt VG_(insertDflag)(UInt eflags, Int d);
1531Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001532
1533/* ---------------------------------------------------------------------
1534 Exports of vg_memory.c
1535 ------------------------------------------------------------------ */
1536
fitzhardinge98abfc72003-12-16 02:05:15 +00001537/* A Segment is mapped piece of client memory. This covers all kinds
1538 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1539
1540 We try to encode everything we know about a particular segment here.
1541*/
1542#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1543#define SF_SHARED (1 << 1) /* shared */
1544#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1545#define SF_MMAP (1 << 3) /* mmap memory */
1546#define SF_FILE (1 << 4) /* mapping is backed by a file */
1547#define SF_STACK (1 << 5) /* is a stack */
1548#define SF_GROWDOWN (1 << 6) /* segment grows down */
1549#define SF_GROWUP (1 << 7) /* segment grows up */
1550#define SF_EXEC (1 << 8) /* segment created by exec */
1551#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1552#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1553#define SF_BRK (1 << 11) /* brk segment */
1554#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1555#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1556#define SF_CODE (1 << 14) /* segment contains cached code */
1557
1558struct _Segment {
1559 UInt prot; /* VKI_PROT_* */
1560 UInt flags; /* SF_* */
1561
1562 Addr addr; /* mapped addr (page aligned) */
1563 UInt len; /* size of mapping (page aligned) */
1564
1565 /* These are valid if (flags & SF_FILE) */
1566 ULong offset; /* file offset */
1567 const Char *filename; /* filename (NULL if unknown) */
1568 UInt dev; /* device */
1569 UInt ino; /* inode */
1570
1571 SegInfo *symtab; /* symbol table */
1572};
1573
1574/* segment mapped from a file descriptor */
1575extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1576 Int fd, ULong off, const Char *filename);
1577
1578/* segment mapped from a file */
1579extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1580 UInt dev, UInt ino, ULong off, const Char *filename);
1581
1582/* simple segment */
1583extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1584
1585extern void VG_(unmap_range) (Addr addr, UInt len);
1586extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1587extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1588
1589extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001590extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001591extern Segment *VG_(next_segment)(Segment *);
1592
1593extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1594extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1595
njn9b007f62003-04-07 14:40:25 +00001596extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001597 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001598
jsgf855d93d2003-10-13 22:26:55 +00001599/* ---------------------------------------------------------------------
1600 Exports of vg_proxylwp.c
1601 ------------------------------------------------------------------ */
1602
1603/* Issue a syscall for thread tid */
1604extern Int VG_(sys_issue)(int tid);
1605
1606extern void VG_(proxy_init) ( void );
1607extern void VG_(proxy_create) ( ThreadId tid );
1608extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1609extern void VG_(proxy_results) ( void );
1610extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1611extern void VG_(proxy_setsigmask)(ThreadId tid);
1612extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1613extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1614extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001615extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001616
1617extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1618extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1619 a syscall finished */
1620
1621/* Sanity-check the whole proxy-LWP machinery */
1622void VG_(proxy_sanity)(void);
1623
1624/* Send a signal from a thread's proxy to the thread. This longjmps
1625 back into the proxy's main loop, so it doesn't return. */
1626__attribute__ ((__noreturn__))
1627extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1628 const struct vki_sigcontext *sigcontext );
1629
fitzhardinge47735af2004-01-21 01:27:27 +00001630/* Get the PID/TID of the ProxyLWP. */
1631extern Int VG_(proxy_id)(ThreadId tid);
1632
jsgf855d93d2003-10-13 22:26:55 +00001633
sewardjde4a1d02002-03-22 01:27:54 +00001634/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001635 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001636 ------------------------------------------------------------------ */
1637
fitzhardinge98abfc72003-12-16 02:05:15 +00001638extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001639
jsgf855d93d2003-10-13 22:26:55 +00001640extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001641extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001642extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001643
1644extern Bool VG_(is_kerror) ( Int res );
1645
jsgf855d93d2003-10-13 22:26:55 +00001646/* Internal atfork handlers */
1647typedef void (*vg_atfork_t)(ThreadId);
1648extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001649
rjwalshf5f536f2003-11-17 17:45:00 +00001650/* fd leakage calls. */
1651extern void VG_(init_preopened_fds) ( void );
1652extern void VG_(fd_stats) ( void );
1653
sewardjde4a1d02002-03-22 01:27:54 +00001654/* ---------------------------------------------------------------------
1655 Exports of vg_transtab.c
1656 ------------------------------------------------------------------ */
1657
njn25e49d8e72002-09-23 09:36:25 +00001658/* The fast-cache for tt-lookup. */
1659extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1660
sewardjde4a1d02002-03-22 01:27:54 +00001661extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001662
sewardjc0d8f682002-11-30 00:49:43 +00001663extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001664 Addr trans_addr, Int trans_size,
1665 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001666
sewardj97ad5522003-05-04 12:32:56 +00001667extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001668
sewardj18d75132002-05-16 11:06:21 +00001669extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001670
1671extern void VG_(sanity_check_tc_tt) ( void );
1672extern Addr VG_(search_transtab) ( Addr original_addr );
1673
sewardjde4a1d02002-03-22 01:27:54 +00001674
1675
1676/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001677 Exports of vg_syscall.S
1678 ------------------------------------------------------------------ */
1679
jsgf855d93d2003-10-13 22:26:55 +00001680extern Int VG_(do_syscall) ( UInt, ... );
1681extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1682 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001683extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001684
1685/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001686 Exports of vg_dispatch.S
1687 ------------------------------------------------------------------ */
1688
sewardj2e93c502002-04-12 11:12:52 +00001689/* Run a thread for a (very short) while, until some event happens
1690 which means we need to defer to the scheduler. */
1691extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001692
sewardj22854b92002-11-30 14:00:47 +00001693/* The patching routing called when a BB wants to chain itself to
1694 another. */
1695extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001696
1697/* ---------------------------------------------------------------------
1698 Exports of vg_helpers.S
1699 ------------------------------------------------------------------ */
1700
sewardjde4a1d02002-03-22 01:27:54 +00001701/* Mul, div, etc, -- we don't codegen these directly. */
1702extern void VG_(helper_idiv_64_32);
1703extern void VG_(helper_div_64_32);
1704extern void VG_(helper_idiv_32_16);
1705extern void VG_(helper_div_32_16);
1706extern void VG_(helper_idiv_16_8);
1707extern void VG_(helper_div_16_8);
1708
1709extern void VG_(helper_imul_32_64);
1710extern void VG_(helper_mul_32_64);
1711extern void VG_(helper_imul_16_32);
1712extern void VG_(helper_mul_16_32);
1713extern void VG_(helper_imul_8_16);
1714extern void VG_(helper_mul_8_16);
1715
1716extern void VG_(helper_CLD);
1717extern void VG_(helper_STD);
1718extern void VG_(helper_get_dirflag);
1719
sewardj7d78e782002-06-02 00:04:00 +00001720extern void VG_(helper_CLC);
1721extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001722extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001723
sewardjde4a1d02002-03-22 01:27:54 +00001724extern void VG_(helper_shldl);
1725extern void VG_(helper_shldw);
1726extern void VG_(helper_shrdl);
1727extern void VG_(helper_shrdw);
1728
daywalkerb18d2532003-09-27 20:15:01 +00001729extern void VG_(helper_IN);
1730extern void VG_(helper_OUT);
1731
sewardjde4a1d02002-03-22 01:27:54 +00001732extern void VG_(helper_RDTSC);
1733extern void VG_(helper_CPUID);
1734
nethercote1018bdd2004-02-11 23:33:29 +00001735extern void VG_(helper_bsfw);
1736extern void VG_(helper_bsfl);
1737extern void VG_(helper_bsrw);
1738extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001739
1740extern void VG_(helper_fstsw_AX);
1741extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001742extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001743extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001744extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001745extern void VG_(helper_AAS);
1746extern void VG_(helper_AAA);
1747extern void VG_(helper_AAD);
1748extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001749
muellerf217c732004-01-02 22:42:29 +00001750extern void VG_(helper_cmpxchg8b);
1751
sewardj51096432002-12-14 23:59:09 +00001752extern void VG_(helper_undefined_instruction);
1753
fitzhardinge92360792003-12-24 10:11:11 +00001754/* Information about trampoline code (for signal return and syscalls) */
1755extern const Char VG_(trampoline_code_start);
1756extern const Int VG_(trampoline_code_length);
1757extern const Int VG_(tramp_sigreturn_offset);
1758extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001759
njn4f9c9342002-04-29 16:03:24 +00001760/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001761 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001762 ------------------------------------------------------------------ */
1763
fitzhardinge98abfc72003-12-16 02:05:15 +00001764#define VG_TRACK(fn, args...) \
1765 do { \
1766 if (VG_(defined_##fn)()) \
1767 SK_(fn)(args); \
1768 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001769
fitzhardinge98abfc72003-12-16 02:05:15 +00001770__attribute__ ((noreturn))
1771extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001772
sewardjde4a1d02002-03-22 01:27:54 +00001773/* ---------------------------------------------------------------------
1774 The state of the simulated CPU.
1775 ------------------------------------------------------------------ */
1776
sewardjde4a1d02002-03-22 01:27:54 +00001777/* ---------------------------------------------------------------------
1778 Offsets into baseBlock for everything which needs to referred to
1779 from generated code. The order of these decls does not imply
1780 what the order of the actual offsets is. The latter is important
1781 and is set up in vg_main.c.
1782 ------------------------------------------------------------------ */
1783
1784/* An array of words. In generated code, %ebp always points to the
1785 start of this array. Useful stuff, like the simulated CPU state,
1786 and the addresses of helper functions, can then be found by
1787 indexing off %ebp. The following declares variables which, at
1788 startup time, are given values denoting offsets into baseBlock.
1789 These offsets are in *words* from the start of baseBlock. */
1790
sewardjb91ae7f2003-04-29 23:50:00 +00001791#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001792
1793extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1794
1795
1796/* -----------------------------------------------------
1797 Read-write parts of baseBlock.
1798 -------------------------------------------------- */
1799
1800/* State of the simulated CPU. */
1801extern Int VGOFF_(m_eax);
1802extern Int VGOFF_(m_ecx);
1803extern Int VGOFF_(m_edx);
1804extern Int VGOFF_(m_ebx);
1805extern Int VGOFF_(m_esp);
1806extern Int VGOFF_(m_ebp);
1807extern Int VGOFF_(m_esi);
1808extern Int VGOFF_(m_edi);
1809extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001810extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001811extern Int VGOFF_(m_eip);
1812
sewardjfa492d42002-12-08 18:20:01 +00001813extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1814
sewardj92a59562002-09-30 00:53:10 +00001815extern Int VGOFF_(m_cs);
1816extern Int VGOFF_(m_ss);
1817extern Int VGOFF_(m_ds);
1818extern Int VGOFF_(m_es);
1819extern Int VGOFF_(m_fs);
1820extern Int VGOFF_(m_gs);
1821
sewardjde4a1d02002-03-22 01:27:54 +00001822/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1823extern Int VGOFF_(spillslots);
1824
1825/* Records the valid bits for the 8 integer regs & flags reg. */
1826extern Int VGOFF_(sh_eax);
1827extern Int VGOFF_(sh_ecx);
1828extern Int VGOFF_(sh_edx);
1829extern Int VGOFF_(sh_ebx);
1830extern Int VGOFF_(sh_esp);
1831extern Int VGOFF_(sh_ebp);
1832extern Int VGOFF_(sh_esi);
1833extern Int VGOFF_(sh_edi);
1834extern Int VGOFF_(sh_eflags);
1835
sewardjde4a1d02002-03-22 01:27:54 +00001836/* -----------------------------------------------------
1837 Read-only parts of baseBlock.
1838 -------------------------------------------------- */
1839
sewardj92a59562002-09-30 00:53:10 +00001840/* This thread's LDT pointer. */
1841extern Int VGOFF_(ldt);
1842
fitzhardinge47735af2004-01-21 01:27:27 +00001843/* This thread's TLS pointer. */
1844extern Int VGOFF_(tls);
1845
njn211b6ad2003-02-03 12:33:31 +00001846/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001847
sewardj51096432002-12-14 23:59:09 +00001848extern Int VGOFF_(helper_undefined_instruction);
1849
njn25e49d8e72002-09-23 09:36:25 +00001850/* For storing extension-specific helpers, determined at runtime. The addr
1851 * and offset arrays together form a (addr, offset) map that allows a
1852 * helper's baseBlock offset to be computed from its address. It's done
1853 * like this so CCALL_M_Ns and other helper calls can use the function
1854 * address rather than having to much around with offsets. */
1855extern UInt VG_(n_compact_helpers);
1856extern UInt VG_(n_noncompact_helpers);
1857
1858extern Addr VG_(compact_helper_addrs) [];
1859extern Int VG_(compact_helper_offsets)[];
1860
1861extern Addr VG_(noncompact_helper_addrs) [];
1862extern Int VG_(noncompact_helper_offsets)[];
1863
sewardjde4a1d02002-03-22 01:27:54 +00001864#endif /* ndef __VG_INCLUDE_H */
1865
sewardj3b2736a2002-03-24 12:18:35 +00001866
1867/* ---------------------------------------------------------------------
1868 Finally - autoconf-generated settings
1869 ------------------------------------------------------------------ */
1870
1871#include "config.h"
1872
sewardjde4a1d02002-03-22 01:27:54 +00001873/*--------------------------------------------------------------------*/
1874/*--- end vg_include.h ---*/
1875/*--------------------------------------------------------------------*/