blob: 9f4295d8452c1359240dfca216c52e2c95809ca5 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
nethercote5a2664c2004-09-02 15:37:39 +00004/*--- Include no other! (more or less...) ---*/
rjwalsh7109a8c2004-09-02 00:31:02 +00005/*--- core.h ---*/
sewardjde4a1d02002-03-22 01:27:54 +00006/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
sewardjde4a1d02002-03-22 01:27:54 +000082
jsgf855d93d2003-10-13 22:26:55 +000083/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000084#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000085
nethercote13343132004-09-02 15:49:09 +000086#include "core_asm.h" // asm stuff
87#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000088#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000089
90// Ugly: this is needed by linux/core_os.h
91typedef struct _ThreadState ThreadState;
92
93#include "core_os.h" // OS-specific stuff, eg. linux/core_os.h
nethercotebb4222b2004-09-10 17:42:11 +000094#include "core_platform.h" // platform-specific stuff,
95 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000096
fitzhardinge39de4b42003-10-31 07:12:21 +000097#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000098
njn26f02512004-11-22 18:33:15 +000099#undef TL_
100#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000101
nethercote7be47252004-09-02 16:02:58 +0000102
sewardj2a99cf62004-11-24 10:44:19 +0000103/* ToDo: nuke */
104#define INVALID_OFFSET (-1)
105
nethercote7be47252004-09-02 16:02:58 +0000106/* ---------------------------------------------------------------------
107 Build options and table sizes. You should be able to change these
108 options or sizes, recompile, and still have a working system.
109 ------------------------------------------------------------------ */
110
sewardjde4a1d02002-03-22 01:27:54 +0000111/* Constants for the slow translation lookup cache. */
112#define VG_TRANSTAB_SLOW_BITS 11
113#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
114#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
115
116/* Size of a buffer used for creating messages. */
117#define M_VG_MSGBUF 10000
118
119/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000120#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000121
122/* Max length of pathname to a .so/executable file. */
123#define M_VG_LIBNAMESTR 100
124
125/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000126#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000127
128/* Max length of the string copied from env var VG_ARGS at startup. */
129#define M_VG_CMDLINE_STRLEN 1000
130
131/* Max number of options for Valgrind which we can handle. */
132#define M_VG_CMDLINE_OPTS 100
133
134/* After this many different unsuppressed errors have been observed,
135 be more conservative about collecting new ones. */
136#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
137
138/* After this many different unsuppressed errors have been observed,
139 stop collecting errors at all, and tell the user their program is
140 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000141#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000142
143/* After this many total errors have been observed, stop collecting
144 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000145#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* The maximum number of calls we're prepared to save in a
148 backtrace. */
149#define VG_DEEPEST_BACKTRACE 50
150
sewardjde4a1d02002-03-22 01:27:54 +0000151/* Number of lists in which we keep track of ExeContexts. Should be
152 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000153#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000154
sewardj2e93c502002-04-12 11:12:52 +0000155/* Defines the thread-scheduling timeslice, in terms of the number of
156 basic blocks we attempt to run each thread for. Smaller values
157 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000158#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000159
fitzhardingef0046f22003-12-18 02:39:22 +0000160/* Number of file descriptors that Valgrind tries to reserve for
161 it's own use - two per thread plues a small number of extras. */
162#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000163
sewardjbf290b92002-05-01 02:28:01 +0000164/* Stack size for a thread. We try and check that they do not go
165 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000166#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000167
sewardj8ad94e12002-05-29 00:10:20 +0000168/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000169#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000170
sewardj2cb00342002-06-28 01:46:26 +0000171/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000172#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000173
njn25e49d8e72002-09-23 09:36:25 +0000174/* Max number of callers for context in a suppression. */
175#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000176
thughes8abf3922004-10-16 10:59:49 +0000177/* Numer of entries in each thread's signal queue. */
178#define VG_N_SIGNALQUEUE 8
179
fitzhardinge98abfc72003-12-16 02:05:15 +0000180/* Useful macros */
181/* a - alignment - must be a power of 2 */
182#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
183#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000184#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
185#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000186
nethercote80013e92004-09-05 20:39:51 +0000187/* ---------------------------------------------------------------------
188 Environment variables
189 ------------------------------------------------------------------ */
190
191/* The directory we look for all our auxillary files in */
192#define VALGRINDLIB "VALGRINDLIB"
193
194/* Additional command-line arguments; they are overridden by actual
195 command-line option. Each argument is separated by spaces. There
196 is no quoting mechanism.
197 */
198#define VALGRINDOPTS "VALGRIND_OPTS"
199
200/* If this variable is present in the environment, then valgrind will
201 not parse the command line for options at all; all options come
202 from this variable. Arguments are terminated by ^A (\001). There
203 is no quoting mechanism.
204
205 This variable is not expected to be set by anything other than
206 Valgrind itself, as part of its handling of execve with
207 --trace-children=yes. This variable should not be present in the
208 client environment.
209 */
210#define VALGRINDCLO "_VALGRIND_CLO"
211
fitzhardinge98abfc72003-12-16 02:05:15 +0000212
sewardjde4a1d02002-03-22 01:27:54 +0000213/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000214 Command-line-settable options
215 ------------------------------------------------------------------ */
216
sewardj4f094a72002-11-05 23:37:35 +0000217/* Default destination port to be used in logging over a network, if
218 none specified. */
219#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000220
221/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000222#define VG_CLO_MAX_SFILES 10
223
nethercote04d0fbc2004-01-26 16:48:06 +0000224/* Default debugger command. */
225#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
226
sewardj4cf05692002-10-27 20:28:29 +0000227/* Describes where logging output is to be sent. */
228typedef
229 enum {
230 VgLogTo_Fd,
231 VgLogTo_File,
232 VgLogTo_Socket
233 } VgLogTo;
234
jsgf855d93d2003-10-13 22:26:55 +0000235/* pid of main process */
236extern Int VG_(main_pid);
237
238/* pgrp of process (global to all threads) */
239extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000240
thughesad1c9562004-06-26 11:27:52 +0000241/* Application-visible file descriptor limits */
242extern Int VG_(fd_soft_limit);
243extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000244
sewardj8b635a42004-11-22 19:01:47 +0000245/* Vex iropt control */
246extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000247/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000248extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000249/* Enquire about whether to attach to a debugger at errors? default: NO */
250extern Bool VG_(clo_db_attach);
251/* The debugger command? default: whatever gdb ./configure found */
252extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000253/* Enquire about generating a suppression for each error? default: NO */
254extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000255/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000256extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000257/* Automatically attempt to demangle C++ names? default: YES */
258extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000259/* Simulate child processes? default: NO */
260extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000261
262/* Where logging output is to be sent to.
263
nethercotef8548672004-06-21 12:42:35 +0000264 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
265 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000266
nethercotef8548672004-06-21 12:42:35 +0000267 When log_to == VgLogTo_File, clo_log_name holds the log-file
268 name, and is taken from the command line. clo_log_fd is then
269 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000270 (concatenated with the process ID) for writing.
271
nethercotef8548672004-06-21 12:42:35 +0000272 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000273 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000274 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000275 opening a connection to said hostname:portnumber pair.
276
nethercotef8548672004-06-21 12:42:35 +0000277 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000278 (stderr). */
279extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000280extern Int VG_(clo_log_fd);
281extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000282
thughes6233a382004-08-21 11:10:44 +0000283/* Add timestamps to log messages? default: NO */
284extern Bool VG_(clo_time_stamp);
285
sewardj6024b212003-07-13 10:54:33 +0000286/* The file descriptor to read for input. default: 0 == stdin */
287extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000288/* The number of suppression files specified. */
289extern Int VG_(clo_n_suppressions);
290/* The names of the suppression files. */
291extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
292
293/* Single stepping? default: NO */
294extern Bool VG_(clo_single_step);
295/* Code improvement? default: YES */
296extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000297/* DEBUG: print generated code? default: 00000 ( == NO ) */
298extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000299/* DEBUG: print system calls? default: NO */
300extern Bool VG_(clo_trace_syscalls);
301/* DEBUG: print signal details? default: NO */
302extern Bool VG_(clo_trace_signals);
303/* DEBUG: print symtab details? default: NO */
304extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000305/* DEBUG: print thread scheduling events? default: NO */
306extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000307/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
308 (some), 2 (all) */
309extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000310/* Display gory details for the k'th most popular error. default:
311 Infinity. */
312extern Int VG_(clo_dump_error);
313/* Number of parents of a backtrace. Default: 8. */
314extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000315/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000316extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000317/* How often we should poll for signals, assuming we need to poll for
318 signals. */
319extern Int VG_(clo_signal_polltime);
320
321/* Low latency syscalls and signals */
322extern Bool VG_(clo_lowlat_syscalls);
323extern Bool VG_(clo_lowlat_signals);
324
rjwalshf5f536f2003-11-17 17:45:00 +0000325/* Track open file descriptors? */
326extern Bool VG_(clo_track_fds);
327
sewardj858964b2002-10-05 14:15:43 +0000328/* Should we run __libc_freeres at exit? Sometimes causes crashes.
329 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
330 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000331 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000332 cannot be overridden from the command line. */
333extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000334/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000335extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000336/* Generate branch-prediction hints? */
337extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000338/* Continue stack traces below main()? Default: NO */
339extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000340/* Test each client pointer dereference to check it's within the
341 client address space bounds */
342extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000343
rjwalshe4e779d2004-04-16 23:02:29 +0000344/* Set up the libc freeres wrapper */
345extern void VG_(intercept_libc_freeres_wrapper)(Addr);
346
sewardjde4a1d02002-03-22 01:27:54 +0000347/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000348 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000349 ------------------------------------------------------------------ */
350
sewardjde4a1d02002-03-22 01:27:54 +0000351extern void VGP_(init_profiling) ( void );
352extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000353
njn25e49d8e72002-09-23 09:36:25 +0000354#undef VGP_PUSHCC
355#undef VGP_POPCC
356#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
357#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000358
sewardjde4a1d02002-03-22 01:27:54 +0000359/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000360 Tool-related types
njn810086f2002-11-14 12:42:47 +0000361 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000362/* These structs are not exposed to tools to mitigate possibility of
363 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000364 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000365typedef
366 struct {
367 Char* name;
368 Char* version;
369 Char* description;
370 Char* copyright_author;
371 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000372 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000373 }
374 VgDetails;
375
376extern VgDetails VG_(details);
377
378/* If new fields are added to this type, update:
379 * - vg_main.c:initialisation of VG_(needs)
380 * - vg_main.c:sanity_check_needs()
381 *
382 * If the name of this type or any of its fields change, update:
383 * - dependent comments (just search for "VG_(needs)").
384 */
385typedef
386 struct {
387 Bool libc_freeres;
388 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000389 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000390 Bool basic_block_discards;
391 Bool shadow_regs;
392 Bool command_line_options;
393 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000394 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000395 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000396 Bool sanity_checks;
397 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000398 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000399 }
400 VgNeeds;
401
402extern VgNeeds VG_(needs);
403
fitzhardinge98abfc72003-12-16 02:05:15 +0000404extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000405
fitzhardinge98abfc72003-12-16 02:05:15 +0000406#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000407
408/* ---------------------------------------------------------------------
409 Exports of vg_needs.c
410 ------------------------------------------------------------------ */
411
412void VG_(sanity_check_needs)(void);
413
414/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000415 Exports of vg_malloc2.c
416 ------------------------------------------------------------------ */
417
418/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000419
420 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000421 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000422 SYMTAB for Valgrind's symbol table storage.
423 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000424 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
425 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000426 DEMANGLE for the C++ demangler.
427 EXECTXT for storing ExeContexts.
428 ERRORS for storing CoreErrors.
429 TRANSIENT for very short-term use. It should be empty in between uses.
430
njn25e49d8e72002-09-23 09:36:25 +0000431 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000432*/
433typedef Int ArenaId;
434
njn3e884182003-04-15 13:03:23 +0000435#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000436
njn3e884182003-04-15 13:03:23 +0000437#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000438#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000439#define VG_AR_SYMTAB 2
440#define VG_AR_JITTER 3
441#define VG_AR_CLIENT 4
442#define VG_AR_DEMANGLE 5
443#define VG_AR_EXECTXT 6
444#define VG_AR_ERRORS 7
445#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000446
nethercote2d5b8162004-08-11 09:40:52 +0000447// This is both the minimum payload size of a malloc'd block, and its
448// minimum alignment. Must be a power of 2 greater than 4, and should be
449// greater than 8.
450#define VG_MIN_MALLOC_SZB 8
451
452// Round-up size for --sloppy-malloc=yes.
453#define VG_SLOPPY_MALLOC_SZB 4
454
nethercote7ac7f7b2004-11-02 12:36:02 +0000455extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000456extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000457extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
458 SizeT nmemb, SizeT nbytes );
459extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
460 SizeT size );
461extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
462 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000463
nethercote7ac7f7b2004-11-02 12:36:02 +0000464extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000465
nethercote885dd912004-08-03 23:14:00 +0000466extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000467
nethercote3a42fb82004-08-03 18:08:50 +0000468extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000469
sewardjde4a1d02002-03-22 01:27:54 +0000470extern Bool VG_(is_empty_arena) ( ArenaId aid );
471
sewardjde4a1d02002-03-22 01:27:54 +0000472/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000473 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000474 ------------------------------------------------------------------ */
475
476/* This doesn't export code or data that valgrind.so needs to link
477 against. However, the scheduler does need to know the following
478 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000479 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000480
njn4c791212003-05-02 17:53:54 +0000481#define VG_USERREQ__MALLOC 0x2001
482#define VG_USERREQ__FREE 0x2002
483
sewardj20917d82002-05-28 01:36:45 +0000484/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
485 MUST NOT return -- ever. Eventually it will do either __QUIT or
486 __WAIT_JOINER. */
487#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
488
489/* ( no-args ): calling thread disappears from the system forever.
490 Reclaim resources. */
491#define VG_USERREQ__QUIT 0x3002
492
493/* ( void* ): calling thread waits for joiner and returns the void* to
494 it. */
495#define VG_USERREQ__WAIT_JOINER 0x3003
496
497/* ( ThreadId, void** ): wait to join a thread. */
498#define VG_USERREQ__PTHREAD_JOIN 0x3004
499
500/* Set cancellation state and type for this thread. */
501#define VG_USERREQ__SET_CANCELSTATE 0x3005
502#define VG_USERREQ__SET_CANCELTYPE 0x3006
503
504/* ( no-args ): Test if we are at a cancellation point. */
505#define VG_USERREQ__TESTCANCEL 0x3007
506
507/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
508 with this arg to indicate that a cancel is now pending for the
509 specified thread. */
510#define VG_USERREQ__SET_CANCELPEND 0x3008
511
512/* Set/get detach state for this thread. */
513#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
514
thughese321d492004-10-17 15:00:20 +0000515#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
516#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
517#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000518#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
519#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
520#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
521#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
522#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
523#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
524#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
525#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000526#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
527#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000528#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
529#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000530#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000531#define VG_USERREQ__PTHREAD_KILL 0x301A
532#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000533#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000534
sewardj8ad94e12002-05-29 00:10:20 +0000535#define VG_USERREQ__CLEANUP_PUSH 0x3020
536#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000537#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000538
sewardjef037c72002-05-30 00:40:03 +0000539#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000540
541/* Ask how many signal handler returns have happened to this
542 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000543#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000544
sewardj2cb00342002-06-28 01:46:26 +0000545/* Get/set entries for a thread's pthread_atfork stack. */
546#define VG_USERREQ__SET_FHSTACK_USED 0x3025
547#define VG_USERREQ__GET_FHSTACK_USED 0x3026
548#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
549#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000550
nethercotef971ab72004-08-02 16:27:40 +0000551/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000552#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000553
554/* Allocate RT signals */
555#define VG_USERREQ__GET_SIGRT_MIN 0x302B
556#define VG_USERREQ__GET_SIGRT_MAX 0x302C
557#define VG_USERREQ__ALLOC_RTSIG 0x302D
558
559/* Hook for replace_malloc.o to get malloc functions */
560#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
561
thughesdaa34562004-06-27 12:48:53 +0000562/* Get stack information for a thread. */
563#define VG_USERREQ__GET_STACK_INFO 0x3033
564
sewardj45b4b372002-04-16 22:50:32 +0000565/* Cosmetic ... */
566#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000567/* Log a pthread error from client-space. Cosmetic. */
568#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000569/* Internal equivalent of VALGRIND_PRINTF . */
570#define VG_USERREQ__INTERNAL_PRINTF 0x3103
571/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
572#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000573
sewardj54cacf02002-04-12 23:24:59 +0000574/*
nethercote5a2664c2004-09-02 15:37:39 +0000575In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000576#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000577*/
578
rjwalshe4e779d2004-04-16 23:02:29 +0000579#define VG_INTERCEPT_PREFIX "_vgi__"
580#define VG_INTERCEPT_PREFIX_LEN 6
581#define VG_INTERCEPT(name) _vgi__##name
582#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
583
584#define VG_WRAPPER_PREFIX "_vgw__"
585#define VG_WRAPPER_PREFIX_LEN 6
586#define VG_WRAPPER(name) _vgw__##name
587#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
588
njn4c791212003-05-02 17:53:54 +0000589
fitzhardinge98abfc72003-12-16 02:05:15 +0000590struct vg_mallocfunc_info {
591 /* things vg_replace_malloc.o needs to know about */
592 Addr sk_malloc;
593 Addr sk_calloc;
594 Addr sk_realloc;
595 Addr sk_memalign;
596 Addr sk___builtin_new;
597 Addr sk___builtin_vec_new;
598 Addr sk_free;
599 Addr sk___builtin_delete;
600 Addr sk___builtin_vec_delete;
601
602 Addr arena_payload_szB;
603
604 Bool clo_sloppy_malloc;
605 Bool clo_trace_malloc;
606};
sewardj1fe7b002002-07-16 01:43:15 +0000607
sewardj2e93c502002-04-12 11:12:52 +0000608/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000609 Exports of vg_defaults.c
610 ------------------------------------------------------------------ */
611
612extern Bool VG_(sk_malloc_called_by_scheduler);
613
nethercotef9b59412004-09-10 15:33:32 +0000614/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000615 Exports of vg_libpthread.c
616 ------------------------------------------------------------------ */
617
618/* Replacements for pthread types, shared between vg_libpthread.c and
619 vg_scheduler.c. See comment in vg_libpthread.c above the other
620 vg_pthread_*_t types for a description of how these are used. */
621
622struct _vg_pthread_fastlock
623{
624 long int __vg_status; /* "Free" or "taken" or head of waiting list */
625 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
626 adaptive SMP lock stores spin count here. */
627};
628
629typedef struct
630{
631 int __vg_m_reserved; /* Reserved for future use */
632 int __vg_m_count; /* Depth of recursive locking */
633 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
634 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
635 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
636} vg_pthread_mutex_t;
637
638typedef struct
639{
640 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000641 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
642
643 // Nb: the following padding removed because it was missing from an
644 // earlier glibc, so the size test in the CONVERT macro was failing.
645 // --njn
646
nethercote1f0173b2004-02-28 15:40:36 +0000647 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000648 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000649 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000650 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000651} vg_pthread_cond_t;
652
653
654/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000655 Exports of vg_scheduler.c
656 ------------------------------------------------------------------ */
657
sewardj2e93c502002-04-12 11:12:52 +0000658typedef
jsgf855d93d2003-10-13 22:26:55 +0000659 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000660 VgTs_Empty, /* this slot is not in use */
661 VgTs_Runnable, /* waiting to be scheduled */
662 VgTs_WaitJoiner, /* waiting for someone to do join on me */
663 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000664 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000665 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000666 VgTs_WaitSys, /* waiting for a syscall to complete */
667 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000668 }
669 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000670
thughes11975ff2004-06-12 12:58:22 +0000671typedef
672 enum CleanupType {
673 VgCt_None, /* this cleanup entry is not initialised */
674 VgCt_Function, /* an old-style function pointer cleanup */
675 VgCt_Longjmp /* a new-style longjmp based cleanup */
676 }
677 CleanupType;
678
thughesdaa34562004-06-27 12:48:53 +0000679/* Information on a thread's stack. */
680typedef
681 struct {
682 Addr base;
683 UInt size;
684 UInt guardsize;
685 }
686 StackInfo;
687
sewardj8ad94e12002-05-29 00:10:20 +0000688/* An entry in a threads's cleanup stack. */
689typedef
690 struct {
thughes11975ff2004-06-12 12:58:22 +0000691 CleanupType type;
692 union {
693 struct {
694 void (*fn)(void*);
695 void* arg;
696 } function;
697 struct {
thughesebed9982004-06-12 17:25:25 +0000698 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000699 int ctype;
700 } longjmp;
701 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000702 }
703 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000704
705/* An entry in a thread's fork-handler stack. */
706typedef
707 struct {
708 void (*prepare)(void);
709 void (*parent)(void);
710 void (*child)(void);
711 }
712 ForkHandlerEntry;
713
jsgf855d93d2003-10-13 22:26:55 +0000714typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000715
nethercote8ff888f2004-11-17 17:11:45 +0000716//typedef
njn72718642003-07-24 08:45:32 +0000717 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000718 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
719 The thread identity is simply the index in vg_threads[].
720 ThreadId == 1 is the root thread and has the special property
721 that we don't try and allocate or deallocate its stack. For
722 convenience of generating error message, we also put the
723 ThreadId in this tid field, but be aware that it should
724 ALWAYS == the index in vg_threads[]. */
725 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000726
njn25e49d8e72002-09-23 09:36:25 +0000727 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000728
njn25e49d8e72002-09-23 09:36:25 +0000729 Complications: whenever this is set to VgTs_WaitMX, you
730 should also set .m_edx to whatever the required return value
731 is for pthread_mutex_lock / pthread_cond_timedwait for when
732 the mutex finally gets unblocked. */
733 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000734
njn25e49d8e72002-09-23 09:36:25 +0000735 /* When .status == WaitMX, points to the mutex I am waiting for.
736 When .status == WaitCV, points to the mutex associated with
737 the condition variable indicated by the .associated_cv field.
738 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000739 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000740
njn25e49d8e72002-09-23 09:36:25 +0000741 /* When .status == WaitCV, points to the condition variable I am
742 waiting for. In all other cases, should be NULL. */
743 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000744
njn25e49d8e72002-09-23 09:36:25 +0000745 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000746 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000747
njn25e49d8e72002-09-23 09:36:25 +0000748 If VgTs_WaitCV, this indicates the time at which
749 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
750 this means infinitely far in the future, viz,
751 pthread_cond_wait. */
752 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000753
njn25e49d8e72002-09-23 09:36:25 +0000754 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
755 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000756
njn25e49d8e72002-09-23 09:36:25 +0000757 /* If VgTs_WaitJoinee, place to copy the return value to, and
758 the identity of the thread we're waiting for. */
759 void** joiner_thread_return;
760 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000761
jsgf855d93d2003-10-13 22:26:55 +0000762 /* If VgTs_WaitSys, this is the syscall we're currently running */
763 Int syscallno;
764
thughesbaa46e52004-07-29 17:44:23 +0000765 /* If VgTs_WaitSys, this is the syscall flags */
766 UInt sys_flags;
767
jsgf855d93d2003-10-13 22:26:55 +0000768 /* Details about this thread's proxy LWP */
769 ProxyLWP *proxy;
770
njn25e49d8e72002-09-23 09:36:25 +0000771 /* Whether or not detached. */
772 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000773
njn25e49d8e72002-09-23 09:36:25 +0000774 /* Cancelability state and type. */
775 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
776 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
777
778 /* Pointer to fn to call to do cancellation. Indicates whether
779 or not cancellation is pending. If NULL, not pending. Else
780 should be &thread_exit_wrapper(), indicating that
781 cancallation is pending. */
782 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000783
njn25e49d8e72002-09-23 09:36:25 +0000784 /* The cleanup stack. */
785 Int custack_used;
786 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000787
sewardj00a66b12002-10-12 16:42:35 +0000788 /* A pointer to the thread's-specific-data. This is handled almost
789 entirely from vg_libpthread.c. We just provide hooks to get and
790 set this ptr. This is either NULL, indicating the thread has
791 read/written none of its specifics so far, OR points to a
792 void*[VG_N_THREAD_KEYS], allocated and deallocated in
793 vg_libpthread.c. */
794 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000795
njn25e49d8e72002-09-23 09:36:25 +0000796 /* This thread's blocked-signals mask. Semantics is that for a
797 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000798 blocked by this signal mask. If more than one thread accepts a
799 signal, then it will be delivered to one at random. If all
800 threads block the signal, it will remain pending until either a
801 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
802
803 sig_mask reflects what the client told us its signal mask should
804 be, but isn't necessarily the current signal mask of the proxy
805 LWP: it may have more signals blocked because of signal
806 handling, or it may be different because of sigsuspend.
807 */
nethercote73b526f2004-10-31 18:48:21 +0000808 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000809
fitzhardingef0dd7e12004-01-16 02:17:30 +0000810 /* Effective signal mask. This is the mask which currently
811 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000812 handler is running.
813 */
nethercote73b526f2004-10-31 18:48:21 +0000814 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000815
thughes8abf3922004-10-16 10:59:49 +0000816 /* Signal queue. This is used when the kernel doesn't route
817 signals properly in order to remember the signal information
818 while we are routing the signal. It is a circular queue with
819 insertions performed at the head and removals at the tail.
820 */
nethercote73b526f2004-10-31 18:48:21 +0000821 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000822 Int sigqueue_head;
823 Int sigqueue_tail;
824
njn25e49d8e72002-09-23 09:36:25 +0000825 /* Stacks. When a thread slot is freed, we don't deallocate its
826 stack; we just leave it lying around for the next use of the
827 slot. If the next use of the slot requires a larger stack,
828 only then is the old one deallocated and a new one
829 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000830
njn25e49d8e72002-09-23 09:36:25 +0000831 For the main thread (threadid == 0), this mechanism doesn't
832 apply. We don't know the size of the stack since we didn't
833 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000834
njn25e49d8e72002-09-23 09:36:25 +0000835 /* The allocated size of this thread's stack (permanently zero
836 if this is ThreadId == 0, since we didn't allocate its stack) */
837 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000838
njn25e49d8e72002-09-23 09:36:25 +0000839 /* Address of the lowest word in this thread's stack. NULL means
840 not allocated yet.
841 */
842 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000843
thughesdaa34562004-06-27 12:48:53 +0000844 /* The allocated size of this thread's stack's guard area (permanently
845 zero if this is ThreadId == 0, since we didn't allocate its stack) */
846 UInt stack_guard_size;
847
sewardj92a59562002-09-30 00:53:10 +0000848 /* Address of the highest legitimate word in this stack. This is
849 used for error messages only -- not critical for execution
850 correctness. Is is set for all stacks, specifically including
851 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000852 Addr stack_highest_word;
853
fitzhardinge98c4dc02004-03-16 08:27:29 +0000854 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000855 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000856
nethercotec06e2132004-09-03 13:45:29 +0000857 /* Architecture-specific thread state */
sewardj2a99cf62004-11-24 10:44:19 +0000858 ThreadArchState arch;
nethercote8ff888f2004-11-17 17:11:45 +0000859};
860//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000861
862
sewardj018f7622002-05-15 21:13:39 +0000863/* The thread table. */
864extern ThreadState VG_(threads)[VG_N_THREADS];
865
866/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000867extern Bool VG_(is_valid_tid) ( ThreadId tid );
868
jsgf855d93d2003-10-13 22:26:55 +0000869/* Get the ThreadState for a particular thread */
870extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
871
sewardjccef2e62002-05-29 19:26:32 +0000872/* Nuke all threads except tid. */
873extern void VG_(nuke_all_threads_except) ( ThreadId me );
874
jsgf855d93d2003-10-13 22:26:55 +0000875/* Give a hint to the scheduler that it may be a good time to find a
876 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
877 try to schedule that thread.
878*/
879extern void VG_(need_resched) ( ThreadId prefer_sched );
880
sewardj2e93c502002-04-12 11:12:52 +0000881/* Return codes from the scheduler. */
882typedef
sewardj7e87e382002-05-03 19:09:05 +0000883 enum {
884 VgSrc_Deadlock, /* no runnable threads and no prospect of any
885 even if we wait for a long time */
886 VgSrc_ExitSyscall, /* client called exit(). This is the normal
887 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000888 VgSrc_FatalSig /* Killed by the default action of a fatal
889 signal */
sewardj7e87e382002-05-03 19:09:05 +0000890 }
sewardj2e93c502002-04-12 11:12:52 +0000891 VgSchedReturnCode;
892
sewardj7e87e382002-05-03 19:09:05 +0000893
nethercote238a3c32004-08-09 13:13:31 +0000894// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
895extern VgSchedReturnCode VG_(scheduler)
896 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000897
898extern void VG_(scheduler_init) ( void );
899
sewardj15a43e12002-04-17 19:35:12 +0000900extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000901
nethercote75d26242004-08-01 22:59:18 +0000902// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000903extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000904
nethercote238a3c32004-08-09 13:13:31 +0000905// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
906extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
907
sewardj2e93c502002-04-12 11:12:52 +0000908/* The red-zone size which we put at the bottom (highest address) of
909 thread stacks, for paranoia reasons. This can be arbitrary, and
910 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000911#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000912
nethercoteaff1c772004-09-13 16:11:09 +0000913// Write a value to a client's thread register, and shadow (if necessary).
914// Note that there are some further similar macros in the arch- and
915// platform-specific parts; these ones are the totally generic ones.
916#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzREG, zzevent, zzargs... ) \
917 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
918 VG_TRACK( zzevent, zztid, zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000919 } while (0)
920
njnd3040452003-05-19 15:04:06 +0000921#define SET_CLREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000922 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
923 post_reg_write_clientreq_return)
njnd3040452003-05-19 15:04:06 +0000924
925#define SET_CLCALL_RETVAL(zztid, zzval, f) \
nethercoteaff1c772004-09-13 16:11:09 +0000926 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
927 post_reg_write_clientcall_return, f)
njnd3040452003-05-19 15:04:06 +0000928
929#define SET_PTHREQ_ESP(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000930 SET_THREAD_REG(zztid, zzval, ARCH_STACK_PTR, R_STACK_PTR, \
931 post_reg_write_pthread_return)
njnd3040452003-05-19 15:04:06 +0000932
933#define SET_PTHREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000934 SET_THREAD_REG(zztid, zzval, ARCH_PTHREQ_RET, R_PTHREQ_RET, \
935 post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000936
sewardj2e93c502002-04-12 11:12:52 +0000937
938/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000939 Exports of vg_signals.c
940 ------------------------------------------------------------------ */
941
jsgf855d93d2003-10-13 22:26:55 +0000942extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
943
944/* RT signal allocation */
945extern Int VG_(sig_rtmin);
946extern Int VG_(sig_rtmax);
947extern Int VG_(sig_alloc_rtsig) ( Int high );
948
sewardjde4a1d02002-03-22 01:27:54 +0000949extern void VG_(sigstartup_actions) ( void );
950
nethercote73b526f2004-10-31 18:48:21 +0000951extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000952extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000953
jsgf855d93d2003-10-13 22:26:55 +0000954extern Bool VG_(is_sig_ign) ( Int sigNo );
955
956/* Route pending signals from the scheduler LWP to the appropriate
957 thread LWP. */
958extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000959
960/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000961extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
962extern void VG_(do_sys_sigaction) ( ThreadId tid );
963extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000964 vki_sigset_t* set,
965 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000966extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000967 vki_sigset_t* set,
968 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000969
sewardj2e93c502002-04-12 11:12:52 +0000970/* Modify the current thread's state once we have detected it is
971 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000972extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000973
sewardj2e93c502002-04-12 11:12:52 +0000974/* Handy utilities to block/restore all host signals. */
975extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000976 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000977extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000978 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000979
jsgf855d93d2003-10-13 22:26:55 +0000980extern void VG_(kill_self)(Int sigNo);
981
fitzhardingef1beb252004-03-16 09:49:08 +0000982/* These function synthesize a fault, as if the running instruction
983 had had a fault. These functions do not return - they longjmp back
984 into the scheduler so the signal can be delivered. */
985extern void VG_(synth_fault) (ThreadId tid);
986extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
987extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
988
nethercote759dda32004-08-07 18:16:56 +0000989extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000990
sewardjde4a1d02002-03-22 01:27:54 +0000991/* ---------------------------------------------------------------------
992 Exports of vg_mylibc.c
993 ------------------------------------------------------------------ */
994
njne427a662002-10-02 11:08:25 +0000995#define vg_assert(expr) \
996 ((void) ((expr) ? 0 : \
997 (VG_(core_assert_fail) (VG__STRING(expr), \
998 __FILE__, __LINE__, \
999 __PRETTY_FUNCTION__), 0)))
1000__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001001extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1002 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001003__attribute__ ((__noreturn__))
1004extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001005__attribute__ ((__noreturn__))
1006extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001007
nethercote05675c82004-08-04 10:37:49 +00001008/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001009extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001010
njn25e49d8e72002-09-23 09:36:25 +00001011extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001012extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001013
fitzhardinge98abfc72003-12-16 02:05:15 +00001014/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001015extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001016 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001017extern Int VG_(munmap)( void* start, SizeT length );
1018extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001019
1020
jsgf855d93d2003-10-13 22:26:55 +00001021/* Move an fd into the Valgrind-safe range */
1022Int VG_(safe_fd)(Int oldfd);
1023
sewardj570f8902002-11-03 11:44:36 +00001024extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001025
1026/* --- Connecting over the network --- */
1027extern Int VG_(connect_via_socket)( UChar* str );
1028
fitzhardinge98abfc72003-12-16 02:05:15 +00001029/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001030extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1031 const Char *val );
1032extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1033extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001034
1035/* ---------------------------------------------------------------------
1036 Exports of vg_message.c
1037 ------------------------------------------------------------------ */
1038
1039/* Low-level -- send bytes directly to the message sink. Do not
1040 use. */
1041extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1042
nethercoted1da90e2004-08-03 17:26:39 +00001043// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001044// sim'd CPU. Defined here because needed for vg_libpthread.c,
1045// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1046// ensures the multiple definitions are not a problem. They must be functions
1047// rather than macros so that va_list can be used.
1048
1049__attribute__((weak))
1050int
1051VALGRIND_INTERNAL_PRINTF(char *format, ...)
1052{
nethercotebe671db2004-10-26 11:44:46 +00001053 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001054 va_list vargs;
1055 va_start(vargs, format);
1056 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001057 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001058 va_end(vargs);
1059 return _qzz_res;
1060}
1061
1062__attribute__((weak))
1063int
1064VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1065{
nethercotebe671db2004-10-26 11:44:46 +00001066 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001067 va_list vargs;
1068 va_start(vargs, format);
1069 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001070 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001071 va_end(vargs);
1072 return _qzz_res;
1073}
1074
nethercoted1da90e2004-08-03 17:26:39 +00001075
sewardjde4a1d02002-03-22 01:27:54 +00001076/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001077 Exports of vg_demangle.c
1078 ------------------------------------------------------------------ */
1079
1080extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1081
sewardjde4a1d02002-03-22 01:27:54 +00001082/* ---------------------------------------------------------------------
1083 Exports of vg_from_ucode.c
1084 ------------------------------------------------------------------ */
1085
njn25e49d8e72002-09-23 09:36:25 +00001086extern void VG_(print_ccall_stats) ( void );
1087extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001088
sewardj22854b92002-11-30 14:00:47 +00001089extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1090extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001091
sewardjde4a1d02002-03-22 01:27:54 +00001092/* ---------------------------------------------------------------------
1093 Exports of vg_to_ucode.c
1094 ------------------------------------------------------------------ */
1095
fitzhardingec2dbbac2004-01-23 23:09:01 +00001096Bool VG_(cpu_has_feature)(UInt feat);
1097
sewardjde4a1d02002-03-22 01:27:54 +00001098
1099/* ---------------------------------------------------------------------
1100 Exports of vg_translate.c
1101 ------------------------------------------------------------------ */
1102
nethercote4d714382004-10-13 09:47:24 +00001103extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001104
sewardjb5ff83e2002-12-01 19:40:49 +00001105
sewardjde4a1d02002-03-22 01:27:54 +00001106/* ---------------------------------------------------------------------
1107 Exports of vg_execontext.c.
1108 ------------------------------------------------------------------ */
1109
nethercote4ad74312004-10-26 09:59:49 +00001110/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001111 values are used in comparisons do remove duplicate errors, and for
1112 comparing against suppression specifications. The rest are purely
1113 informational (but often important). */
1114
njn25e49d8e72002-09-23 09:36:25 +00001115struct _ExeContext {
1116 struct _ExeContext * next;
1117 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001118 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001119 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001120 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001121};
sewardjde4a1d02002-03-22 01:27:54 +00001122
1123
sewardjde4a1d02002-03-22 01:27:54 +00001124/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001125extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001126
njn25e49d8e72002-09-23 09:36:25 +00001127/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001128extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1129 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001130
1131
1132/* ---------------------------------------------------------------------
1133 Exports of vg_errcontext.c.
1134 ------------------------------------------------------------------ */
1135
njn25e49d8e72002-09-23 09:36:25 +00001136extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001137
njn25e49d8e72002-09-23 09:36:25 +00001138extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001139
njn25e49d8e72002-09-23 09:36:25 +00001140extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001141
nethercotef2b11482004-08-02 12:36:01 +00001142extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001143
nethercotef2b11482004-08-02 12:36:01 +00001144extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001145
sewardjde4a1d02002-03-22 01:27:54 +00001146/* ---------------------------------------------------------------------
1147 Exports of vg_procselfmaps.c
1148 ------------------------------------------------------------------ */
1149
njnfa1016e2003-09-25 17:54:11 +00001150/* Reads /proc/self/maps into a static buffer which can be parsed by
1151 VG_(parse_procselfmaps)(). */
1152extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001153
1154/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1155 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1156 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001157extern
njnfa1016e2003-09-25 17:54:11 +00001158void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001159 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001160 UInt dev, UInt ino, ULong foff,
1161 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001162
1163
1164/* ---------------------------------------------------------------------
1165 Exports of vg_symtab2.c
1166 ------------------------------------------------------------------ */
1167
fitzhardinge98abfc72003-12-16 02:05:15 +00001168typedef struct _Segment Segment;
1169
1170extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001171extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001172extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001173extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001174extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001175
njn25e49d8e72002-09-23 09:36:25 +00001176extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001177
fitzhardinge98abfc72003-12-16 02:05:15 +00001178/* Set up some default redirects */
1179extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001180
fitzhardinge98abfc72003-12-16 02:05:15 +00001181/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001182extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001183
1184/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001185 Exports of vg_main.c
1186 ------------------------------------------------------------------ */
1187
sewardjb91ae7f2003-04-29 23:50:00 +00001188/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1189 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001190 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001191 correctly snapshot the startup machine state without it. */
1192extern Bool VG_(have_ssestate);
1193
sewardj73cf3bc2002-11-03 03:20:15 +00001194/* Tell the logging mechanism whether we are logging to a file
1195 descriptor or a socket descriptor. */
1196extern Bool VG_(logging_to_filedes);
1197
njn25e49d8e72002-09-23 09:36:25 +00001198/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001199extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001200
fitzhardinge98abfc72003-12-16 02:05:15 +00001201/* Address space */
1202extern Addr VG_(client_base); /* client address space limits */
1203extern Addr VG_(client_end);
1204extern Addr VG_(client_mapbase); /* base of mappings */
1205extern Addr VG_(clstk_base); /* client stack range */
1206extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001207extern Addr VG_(client_trampoline_code);
1208
fitzhardinge98abfc72003-12-16 02:05:15 +00001209extern Addr VG_(brk_base); /* start of brk */
1210extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001211extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001212extern Addr VG_(shadow_end);
1213extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001214extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001215
nethercote73b526f2004-10-31 18:48:21 +00001216extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1217extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001218
fitzhardingea49f9b52003-12-16 22:26:45 +00001219/* client executable file descriptor */
1220extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001221
nethercotef6a1d502004-08-09 12:21:57 +00001222// Help set up the child used when doing execve() with --trace-children=yes
1223Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1224Char* VG_(build_child_exename) ( void );
1225
nethercote4ad74312004-10-26 09:59:49 +00001226/* Determine if SP adjustment must be noted */
1227extern Bool VG_(need_to_handle_SP_assignment) ( void );
njnf4ce3d32003-02-10 10:17:26 +00001228
sewardjde4a1d02002-03-22 01:27:54 +00001229/* Called when some unhandleable client behaviour is detected.
1230 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001231extern void VG_(unimplemented) ( Char* msg )
1232 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001233
nethercote04d0fbc2004-01-26 16:48:06 +00001234/* Something of a function looking for a home ... start up debugger. */
1235extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001236
sewardjde4a1d02002-03-22 01:27:54 +00001237/* Counts downwards in vg_run_innerloop. */
1238extern UInt VG_(dispatch_ctr);
1239
sewardjde4a1d02002-03-22 01:27:54 +00001240/* --- Counters, for informational purposes only. --- */
1241
nethercote92e7b7f2004-08-07 17:52:25 +00001242// These counters must be declared here because they're maintained by
1243// vg_dispatch.S.
1244extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1245extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1246extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001247
nethercote844e7122004-08-02 15:27:22 +00001248extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001249
nethercote2e05c332004-09-06 16:43:37 +00001250
sewardjde4a1d02002-03-22 01:27:54 +00001251/* ---------------------------------------------------------------------
1252 Exports of vg_memory.c
1253 ------------------------------------------------------------------ */
1254
fitzhardinge98abfc72003-12-16 02:05:15 +00001255/* A Segment is mapped piece of client memory. This covers all kinds
1256 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1257
1258 We try to encode everything we know about a particular segment here.
1259*/
nethercote85cdd342004-08-01 22:36:40 +00001260#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1261#define SF_SHARED (1 << 1) // shared
1262#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1263#define SF_MMAP (1 << 3) // mmap memory
1264#define SF_FILE (1 << 4) // mapping is backed by a file
1265#define SF_STACK (1 << 5) // is a stack
1266#define SF_GROWDOWN (1 << 6) // segment grows down
1267#define SF_GROWUP (1 << 7) // segment grows up
1268#define SF_EXEC (1 << 8) // segment created by exec
1269#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1270#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1271#define SF_BRK (1 << 11) // brk segment
1272#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1273#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1274#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001275
1276struct _Segment {
1277 UInt prot; /* VKI_PROT_* */
1278 UInt flags; /* SF_* */
1279
1280 Addr addr; /* mapped addr (page aligned) */
nethercote8991d5a2004-11-03 17:07:46 +00001281 SizeT len; /* size of mapping (page aligned) */
fitzhardinge98abfc72003-12-16 02:05:15 +00001282
1283 /* These are valid if (flags & SF_FILE) */
1284 ULong offset; /* file offset */
1285 const Char *filename; /* filename (NULL if unknown) */
1286 UInt dev; /* device */
1287 UInt ino; /* inode */
1288
1289 SegInfo *symtab; /* symbol table */
1290};
1291
1292/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001293extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001294 Int fd, ULong off, const Char *filename);
1295
1296/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001297extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001298 UInt dev, UInt ino, ULong off, const Char *filename);
1299
1300/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001301extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001302
nethercote8b5f40c2004-11-02 13:29:50 +00001303extern void VG_(unmap_range) (Addr addr, SizeT len);
1304extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1305extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001306
1307extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001308extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001309extern Segment *VG_(next_segment)(Segment *);
1310
nethercote8991d5a2004-11-03 17:07:46 +00001311extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1312extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001313
nethercote8991d5a2004-11-03 17:07:46 +00001314extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001315extern void VG_(unpad_address_space)(void);
1316
sewardj2a99cf62004-11-24 10:44:19 +00001317extern REGPARM(2)
1318 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001319
jsgf855d93d2003-10-13 22:26:55 +00001320/* ---------------------------------------------------------------------
1321 Exports of vg_proxylwp.c
1322 ------------------------------------------------------------------ */
1323
nethercote24e0d442004-10-18 17:36:40 +00001324enum PXState
1325{
1326 PXS_BAD = -1,
1327 PXS_WaitReq, /* waiting for a request */
1328 PXS_RunSyscall, /* running a syscall */
1329 PXS_IntReply, /* request interrupted - need to send reply */
1330 PXS_SysDone, /* small window between syscall
1331 complete and results written out */
1332 PXS_SigACK, /* waiting for a signal ACK */
1333};
1334
1335
jsgf855d93d2003-10-13 22:26:55 +00001336/* Issue a syscall for thread tid */
1337extern Int VG_(sys_issue)(int tid);
1338
1339extern void VG_(proxy_init) ( void );
1340extern void VG_(proxy_create) ( ThreadId tid );
1341extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1342extern void VG_(proxy_results) ( void );
1343extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1344extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001345extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001346extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1347extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001348extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001349
nethercote85cdd342004-08-01 22:36:40 +00001350extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1351extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1352 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001353
1354/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001355void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001356
1357/* Send a signal from a thread's proxy to the thread. This longjmps
1358 back into the proxy's main loop, so it doesn't return. */
1359__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001360extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001361 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001362
sewardjde4a1d02002-03-22 01:27:54 +00001363/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001364 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001365 ------------------------------------------------------------------ */
1366
fitzhardinge98abfc72003-12-16 02:05:15 +00001367extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001368
jsgf855d93d2003-10-13 22:26:55 +00001369extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001370extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001371
nethercote5b9fafd2004-11-04 18:39:22 +00001372extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001373
jsgf855d93d2003-10-13 22:26:55 +00001374/* Internal atfork handlers */
1375typedef void (*vg_atfork_t)(ThreadId);
1376extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001377
rjwalshf5f536f2003-11-17 17:45:00 +00001378/* fd leakage calls. */
1379extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001380extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001381
nethercote8ff888f2004-11-17 17:11:45 +00001382// Return true if address range entirely contained within client
1383// address space.
1384Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1385 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001386
1387// Return true if we're allowed to use or create this fd.
1388Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1389
1390void VG_(record_fd_open)(Int tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001391
1392// Flags describing syscall wrappers
1393#define Special (1 << 0)
1394#define MayBlock (1 << 1)
1395#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1396#define PostOnFail (1 << 3)
1397
1398// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1399// post-wrapper (which is actually not always needed), and the associated
1400// flags.
1401#define GEN_SYSCALL_WRAPPER(x) \
1402 extern UInt VGA_(gen_##x##_flags); \
1403 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1404 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
1405
1406// Generic (platform-independent) syscall wrappers. These are generally
1407// POSIX or something like that; those that are not POSIX are annotated
1408// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001409// For many of them, it's unclear if they are generic, or Linux-specific, or
1410// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001411//
1412// Nb: This list may change over time... ones thought at first to be generic
1413// may turn out not to be, and so be moved into OS-specific or
1414// platform-specific files. If there's any doubt, I'm leaving them in here.
1415//
1416// Nb 2: if porting to a new OS, you should really check all these generic
1417// wrappers to make sure they match your OS, painful as it might be.
1418
1419GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1420GEN_SYSCALL_WRAPPER(sys_exit);
1421GEN_SYSCALL_WRAPPER(sys_fork);
1422GEN_SYSCALL_WRAPPER(sys_read);
1423GEN_SYSCALL_WRAPPER(sys_write);
1424GEN_SYSCALL_WRAPPER(sys_open);
1425GEN_SYSCALL_WRAPPER(sys_close);
1426GEN_SYSCALL_WRAPPER(sys_waitpid);
1427GEN_SYSCALL_WRAPPER(sys_creat);
1428GEN_SYSCALL_WRAPPER(sys_link);
1429GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001430GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001431GEN_SYSCALL_WRAPPER(sys_chdir);
1432GEN_SYSCALL_WRAPPER(sys_time);
1433GEN_SYSCALL_WRAPPER(sys_mknod);
1434GEN_SYSCALL_WRAPPER(sys_chmod);
1435GEN_SYSCALL_WRAPPER(sys_lseek);
1436GEN_SYSCALL_WRAPPER(sys_getpid);
1437GEN_SYSCALL_WRAPPER(sys_alarm);
1438GEN_SYSCALL_WRAPPER(sys_pause);
1439GEN_SYSCALL_WRAPPER(sys_utime);
1440GEN_SYSCALL_WRAPPER(sys_access);
1441GEN_SYSCALL_WRAPPER(sys_kill);
1442GEN_SYSCALL_WRAPPER(sys_rename);
1443GEN_SYSCALL_WRAPPER(sys_mkdir);
1444GEN_SYSCALL_WRAPPER(sys_rmdir);
1445GEN_SYSCALL_WRAPPER(sys_dup);
1446GEN_SYSCALL_WRAPPER(sys_times);
1447GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1448GEN_SYSCALL_WRAPPER(sys_setpgid);
1449GEN_SYSCALL_WRAPPER(sys_umask);
1450GEN_SYSCALL_WRAPPER(sys_dup2);
1451GEN_SYSCALL_WRAPPER(sys_getppid);
1452GEN_SYSCALL_WRAPPER(sys_getpgrp);
1453GEN_SYSCALL_WRAPPER(sys_setsid);
1454GEN_SYSCALL_WRAPPER(sys_munmap);
1455GEN_SYSCALL_WRAPPER(sys_truncate);
1456GEN_SYSCALL_WRAPPER(sys_ftruncate);
1457GEN_SYSCALL_WRAPPER(sys_fchmod);
1458GEN_SYSCALL_WRAPPER(sys_msync);
1459GEN_SYSCALL_WRAPPER(sys_readv);
1460GEN_SYSCALL_WRAPPER(sys_writev);
1461GEN_SYSCALL_WRAPPER(sys_getsid);
1462GEN_SYSCALL_WRAPPER(sys_fdatasync);
1463GEN_SYSCALL_WRAPPER(sys_mlock);
1464GEN_SYSCALL_WRAPPER(sys_munlock);
1465GEN_SYSCALL_WRAPPER(sys_mlockall);
1466GEN_SYSCALL_WRAPPER(sys_munlockall);
1467GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1468GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1469GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1470GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1471GEN_SYSCALL_WRAPPER(sys_sched_yield);
1472GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1473GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1474GEN_SYSCALL_WRAPPER(sys_nanosleep);
1475GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1476GEN_SYSCALL_WRAPPER(sys_getuid);
1477GEN_SYSCALL_WRAPPER(sys_getgid);
1478GEN_SYSCALL_WRAPPER(sys_geteuid);
1479GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001480GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001481GEN_SYSCALL_WRAPPER(sys_fsync);
1482GEN_SYSCALL_WRAPPER(sys_wait4);
1483GEN_SYSCALL_WRAPPER(sys_mprotect);
1484GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1485GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1486GEN_SYSCALL_WRAPPER(sys_timer_settime);
1487GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1488GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1489GEN_SYSCALL_WRAPPER(sys_timer_delete);
1490GEN_SYSCALL_WRAPPER(sys_clock_settime);
1491GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1492GEN_SYSCALL_WRAPPER(sys_clock_getres);
1493GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001494GEN_SYSCALL_WRAPPER(sys_symlink);
1495GEN_SYSCALL_WRAPPER(sys_getgroups);
1496GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1497GEN_SYSCALL_WRAPPER(sys_chown);
1498GEN_SYSCALL_WRAPPER(sys_setuid);
1499GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1500GEN_SYSCALL_WRAPPER(sys_madvise);
1501GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001502
1503// These ones aren't POSIX, but are in some standard and look reasonably
1504// generic, and are the same for all architectures under Linux.
1505GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1506GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1507GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1508GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1509GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001510GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1511GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1512GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1513GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1514GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1515GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1516GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1517GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1518GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1519GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1520GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1521GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1522GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1523GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1524GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1525GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1526GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001527
1528// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1529// uid_t types. The similarly named (minus the "16" suffix) ones below use
1530// 32-bit versions of these types.
1531GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1532GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1533GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1534GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1535GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1536GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1537GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1538GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1539GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1540GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1541GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1542GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1543
nethercote8ff888f2004-11-17 17:11:45 +00001544// Linux's funny many-in-one socketcall is certainly not generic, but I
1545// didn't want to move it until necessary because it's big and has a lot of
1546// associated junk.
1547GEN_SYSCALL_WRAPPER(sys_socketcall);
1548
nethercote3d5e9102004-11-17 18:22:38 +00001549// Some archs on Linux do not match the generic wrapper for sys_pipe().
1550GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001551
nethercote3d5e9102004-11-17 18:22:38 +00001552// May not be generic for every architecture under Linux.
1553GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1554
1555// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001556GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1557GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1558GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1559
nethercote3d5e9102004-11-17 18:22:38 +00001560// For the remainder, not really sure yet
1561GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1562GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1563GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1564GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1565GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1566GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1567GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1568GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001569GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1570GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001571GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1572GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1573GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001574GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1575GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1576GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1577GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1578GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1579GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1580GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1581GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1582GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1583GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1584GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001585GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1586GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1587GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1588GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1589GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1590GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1591GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1592GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1593GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1594GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001595GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001596GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1597GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1598GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1599GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1600GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1601GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1602GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1603GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1604GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1605GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1606GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1607GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1608GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1609GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001610GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1611GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001612GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001613GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001614GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1615GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1616GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001617GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1618GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1619GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1620GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1621GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1622GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1623
1624#undef GEN_SYSCALL_WRAPPER
1625
1626// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001627/* PRRAn == "pre-register-read-argument"
1628 PRRSN == "pre-register-read-syscall"
1629*/
nethercote8ff888f2004-11-17 17:11:45 +00001630
1631#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001632 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
nethercote8ff888f2004-11-17 17:11:45 +00001633 R_SYSCALL_NUM, sizeof(UWord));
1634#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001635 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
nethercote8ff888f2004-11-17 17:11:45 +00001636 R_SYSCALL_ARG##n, sizeof(t));
1637#define PRE_REG_READ0(tr, s) \
1638 if (VG_(defined_pre_reg_read)()) { \
1639 PRRSN; \
1640 }
1641#define PRE_REG_READ1(tr, s, t1, a1) \
1642 if (VG_(defined_pre_reg_read)()) { \
1643 PRRSN; \
1644 PRRAn(1,s,t1,a1); \
1645 }
1646#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1647 if (VG_(defined_pre_reg_read)()) { \
1648 PRRSN; \
1649 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1650 }
1651#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1652 if (VG_(defined_pre_reg_read)()) { \
1653 PRRSN; \
1654 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1655 }
1656#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1657 if (VG_(defined_pre_reg_read)()) { \
1658 PRRSN; \
1659 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1660 PRRAn(4,s,t4,a4); \
1661 }
1662#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1663 if (VG_(defined_pre_reg_read)()) { \
1664 PRRSN; \
1665 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1666 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1667 }
1668#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1669 if (VG_(defined_pre_reg_read)()) { \
1670 PRRSN; \
1671 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1672 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1673 }
1674
1675#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1676 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1677
1678#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1679 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1680
1681#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1682 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1683
1684#define POST_MEM_WRITE(zzaddr, zzlen) \
1685 VG_TRACK( post_mem_write, zzaddr, zzlen)
1686
sewardjde4a1d02002-03-22 01:27:54 +00001687/* ---------------------------------------------------------------------
1688 Exports of vg_transtab.c
1689 ------------------------------------------------------------------ */
1690
njn25e49d8e72002-09-23 09:36:25 +00001691/* The fast-cache for tt-lookup. */
1692extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1693
nethercote92e7b7f2004-08-07 17:52:25 +00001694extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001695extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj8b635a42004-11-22 19:01:47 +00001696 Addr trans_addr, Int trans_size );
nethercote92e7b7f2004-08-07 17:52:25 +00001697extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001698
nethercote92e7b7f2004-08-07 17:52:25 +00001699extern void VG_(invalidate_translations) ( Addr start, UInt range,
1700 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001701
nethercote92e7b7f2004-08-07 17:52:25 +00001702extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001703
nethercote92e7b7f2004-08-07 17:52:25 +00001704extern void VG_(print_tt_tc_stats) ( void );
1705
1706extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001707
sewardjde4a1d02002-03-22 01:27:54 +00001708/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001709 Exports of vg_syscall.S
1710 ------------------------------------------------------------------ */
1711
jsgf855d93d2003-10-13 22:26:55 +00001712extern Int VG_(do_syscall) ( UInt, ... );
1713extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1714 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001715extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001716
1717/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001718 Exports of vg_dispatch.S
1719 ------------------------------------------------------------------ */
1720
sewardj2e93c502002-04-12 11:12:52 +00001721/* Run a thread for a (very short) while, until some event happens
sewardj2a99cf62004-11-24 10:44:19 +00001722 which means we need to defer to the scheduler. This is passed
1723 a pointer to the VEX guest state (arch.vex). */
1724extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001725
sewardj22854b92002-11-30 14:00:47 +00001726/* The patching routing called when a BB wants to chain itself to
1727 another. */
1728extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001729
1730/* ---------------------------------------------------------------------
1731 Exports of vg_helpers.S
1732 ------------------------------------------------------------------ */
1733
fitzhardinge92360792003-12-24 10:11:11 +00001734/* Information about trampoline code (for signal return and syscalls) */
1735extern const Char VG_(trampoline_code_start);
1736extern const Int VG_(trampoline_code_length);
1737extern const Int VG_(tramp_sigreturn_offset);
1738extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001739
njn4f9c9342002-04-29 16:03:24 +00001740/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001741 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001742 ------------------------------------------------------------------ */
1743
fitzhardinge98abfc72003-12-16 02:05:15 +00001744#define VG_TRACK(fn, args...) \
1745 do { \
1746 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001747 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001748 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001749
fitzhardinge98abfc72003-12-16 02:05:15 +00001750__attribute__ ((noreturn))
1751extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001752
nethercotec06e2132004-09-03 13:45:29 +00001753// ---------------------------------------------------------------------
1754// Architecture-specific things defined in eg. x86/*.c
1755// ---------------------------------------------------------------------
1756
sewardj2a99cf62004-11-24 10:44:19 +00001757// Setting up the initial thread (1) state
1758extern void
1759 VGA_(init_thread1state) ( Addr client_eip,
1760 Addr esp_at_startup,
1761 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001762
nethercotec009ebe2004-09-13 11:05:11 +00001763// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001764extern void VGA_(clear_thread) ( ThreadArchState* );
1765extern void VGA_(cleanup_thread) ( ThreadArchState* );
1766extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001767
nethercote6b9c8472004-09-13 13:16:40 +00001768extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1769extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1770
nethercotec009ebe2004-09-13 11:05:11 +00001771// Symtab stuff
nethercotecd656042004-09-11 23:48:22 +00001772extern UInt* VGA_(reg_addr_from_BB) ( Int reg );
sewardj2a99cf62004-11-24 10:44:19 +00001773extern UInt* VGA_(reg_addr_from_tst) ( Int reg, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001774
nethercotefedd8102004-09-13 15:19:34 +00001775// Pointercheck
1776extern Bool VGA_(setup_pointercheck) ( void );
1777
1778// For attaching the debugger
1779extern Int VGA_(ptrace_setregs_from_BB) ( Int pid );
sewardj2a99cf62004-11-24 10:44:19 +00001780extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001781
1782// Making coredumps
nethercote73b526f2004-10-31 18:48:21 +00001783extern void VGA_(fill_elfregs_from_tst) ( struct vki_user_regs_struct* regs,
sewardj2a99cf62004-11-24 10:44:19 +00001784 ThreadArchState* arch );
nethercote73b526f2004-10-31 18:48:21 +00001785extern void VGA_(fill_elffpregs_from_tst) ( vki_elf_fpregset_t* fpu,
sewardj2a99cf62004-11-24 10:44:19 +00001786 const ThreadArchState* arch );
nethercote73b526f2004-10-31 18:48:21 +00001787extern void VGA_(fill_elffpxregs_from_tst) ( vki_elf_fpxregset_t* xfpu,
sewardj2a99cf62004-11-24 10:44:19 +00001788 const ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001789
nethercote6eec4602004-09-13 14:15:36 +00001790// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001791extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001792 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001793 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001794 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001795extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1796
nethercote9b3c7652004-10-19 13:18:00 +00001797// libpthread stuff
1798typedef struct arch_thread_aux arch_thread_aux_t;
1799
1800void VGA_(thread_create) ( arch_thread_aux_t *aux );
1801void VGA_(thread_wrapper)( arch_thread_aux_t *aux );
1802void VGA_(thread_exit) ( void );
1803
1804Bool VGA_(has_tls) ( void );
1805
1806#define MY__STRING(__str) #__str
1807
1808// Assertion to use in code running on the simulated CPU.
1809#define my_assert(expr) \
1810 ((void) ((expr) ? 0 : \
1811 (VG_(user_assert_fail) (MY__STRING(expr), \
1812 __FILE__, __LINE__, \
1813 __PRETTY_FUNCTION__), 0)))
1814
1815extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1816 Int line, const Char* fn );
1817
1818
nethercote41c75da2004-10-18 15:34:14 +00001819// ---------------------------------------------------------------------
1820// Platform-specific things defined in eg. x86/*.c
1821// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001822
nethercote8ff888f2004-11-17 17:11:45 +00001823struct SyscallTableEntry {
1824 UInt *flags_ptr;
1825 void (*before)(ThreadId tid, ThreadState *tst);
1826 void (*after) (ThreadId tid, ThreadState *tst);
1827};
1828
1829/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1830 wrappers for the relevant syscalls used in the OS kernel for that number.
1831 Note that the constant names don't always match the wrapper names in a
1832 straightforward way. For example, on x86/Linux:
1833
1834 __NR_lchown --> sys_lchown16()
1835 __NR_lchown32 --> sys_lchown()
1836 __NR_select --> old_select()
1837 __NR__newselect --> sys_select()
1838*/
1839extern const struct SyscallTableEntry VGA_(syscall_table)[];
1840
1841extern const UInt VGA_(syscall_table_size);
1842
1843
nethercote24e0d442004-10-18 17:36:40 +00001844extern const Addr vga_sys_before, vga_sys_restarted,
nethercote8ff888f2004-11-17 17:11:45 +00001845 vga_sys_after, vga_sys_done;
nethercote24e0d442004-10-18 17:36:40 +00001846
sewardj2a99cf62004-11-24 10:44:19 +00001847extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001848
sewardj2a99cf62004-11-24 10:44:19 +00001849extern void VGA_(thread_syscall)(Int syscallno, ThreadArchState* arch,
nethercote24e0d442004-10-18 17:36:40 +00001850 enum PXState* state, enum PXState poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001851
1852/* ---------------------------------------------------------------------
1853 Finally - autoconf-generated settings
1854 ------------------------------------------------------------------ */
1855
1856#include "config.h"
1857
nethercotec06e2132004-09-03 13:45:29 +00001858#endif /* ndef __CORE_H */
1859
sewardjde4a1d02002-03-22 01:27:54 +00001860/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001861/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001862/*--------------------------------------------------------------------*/