blob: ac62debf5dbcf6ffdb36ae2c1c1f3e2e17999db4 [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/*
njnb9c427c2004-12-01 14:14:42 +00009 This file is part of Valgrind, a dynamic binary instrumentation
10 framework.
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
jsgf855d93d2003-10-13 22:26:55 +000082/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000083#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000084
nethercote13343132004-09-02 15:49:09 +000085#include "core_asm.h" // asm stuff
86#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000087#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000088
89// Ugly: this is needed by linux/core_os.h
90typedef struct _ThreadState ThreadState;
91
92#include "core_os.h" // OS-specific stuff, eg. linux/core_os.h
nethercotebb4222b2004-09-10 17:42:11 +000093#include "core_platform.h" // platform-specific stuff,
94 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000095
fitzhardinge39de4b42003-10-31 07:12:21 +000096#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000097
njn26f02512004-11-22 18:33:15 +000098#undef TL_
99#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000100
nethercote7be47252004-09-02 16:02:58 +0000101
102/* ---------------------------------------------------------------------
103 Build options and table sizes. You should be able to change these
104 options or sizes, recompile, and still have a working system.
105 ------------------------------------------------------------------ */
106
sewardjde4a1d02002-03-22 01:27:54 +0000107/* Constants for the slow translation lookup cache. */
108#define VG_TRANSTAB_SLOW_BITS 11
109#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
110#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
111
112/* Size of a buffer used for creating messages. */
113#define M_VG_MSGBUF 10000
114
115/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000116#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000117
118/* Max length of pathname to a .so/executable file. */
119#define M_VG_LIBNAMESTR 100
120
121/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000122#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000123
124/* Max length of the string copied from env var VG_ARGS at startup. */
125#define M_VG_CMDLINE_STRLEN 1000
126
127/* Max number of options for Valgrind which we can handle. */
128#define M_VG_CMDLINE_OPTS 100
129
130/* After this many different unsuppressed errors have been observed,
131 be more conservative about collecting new ones. */
132#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
133
134/* After this many different unsuppressed errors have been observed,
135 stop collecting errors at all, and tell the user their program is
136 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000137#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000138
139/* After this many total errors have been observed, stop collecting
140 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000141#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000142
sewardjde4a1d02002-03-22 01:27:54 +0000143/* The maximum number of calls we're prepared to save in a
144 backtrace. */
145#define VG_DEEPEST_BACKTRACE 50
146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* Number of lists in which we keep track of ExeContexts. Should be
148 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000149#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000150
sewardj2e93c502002-04-12 11:12:52 +0000151/* Defines the thread-scheduling timeslice, in terms of the number of
152 basic blocks we attempt to run each thread for. Smaller values
153 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000154#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000155
fitzhardingef0046f22003-12-18 02:39:22 +0000156/* Number of file descriptors that Valgrind tries to reserve for
157 it's own use - two per thread plues a small number of extras. */
158#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000159
sewardjbf290b92002-05-01 02:28:01 +0000160/* Stack size for a thread. We try and check that they do not go
161 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000162#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000163
sewardj8ad94e12002-05-29 00:10:20 +0000164/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000165#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000166
sewardj2cb00342002-06-28 01:46:26 +0000167/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000168#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000169
njn25e49d8e72002-09-23 09:36:25 +0000170/* Max number of callers for context in a suppression. */
171#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000172
thughes8abf3922004-10-16 10:59:49 +0000173/* Numer of entries in each thread's signal queue. */
174#define VG_N_SIGNALQUEUE 8
175
fitzhardinge98abfc72003-12-16 02:05:15 +0000176/* Useful macros */
177/* a - alignment - must be a power of 2 */
178#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
179#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000180#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
181#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000182
sewardj51ac0872004-12-21 01:20:49 +0000183
nethercote80013e92004-09-05 20:39:51 +0000184/* ---------------------------------------------------------------------
185 Environment variables
186 ------------------------------------------------------------------ */
187
188/* The directory we look for all our auxillary files in */
189#define VALGRINDLIB "VALGRINDLIB"
190
191/* Additional command-line arguments; they are overridden by actual
192 command-line option. Each argument is separated by spaces. There
193 is no quoting mechanism.
194 */
195#define VALGRINDOPTS "VALGRIND_OPTS"
196
197/* If this variable is present in the environment, then valgrind will
198 not parse the command line for options at all; all options come
199 from this variable. Arguments are terminated by ^A (\001). There
200 is no quoting mechanism.
201
202 This variable is not expected to be set by anything other than
203 Valgrind itself, as part of its handling of execve with
204 --trace-children=yes. This variable should not be present in the
205 client environment.
206 */
207#define VALGRINDCLO "_VALGRIND_CLO"
208
fitzhardinge98abfc72003-12-16 02:05:15 +0000209
sewardjde4a1d02002-03-22 01:27:54 +0000210/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000211 Command-line-settable options
212 ------------------------------------------------------------------ */
213
sewardj4f094a72002-11-05 23:37:35 +0000214/* Default destination port to be used in logging over a network, if
215 none specified. */
216#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000217
218/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000219#define VG_CLO_MAX_SFILES 10
220
nethercote04d0fbc2004-01-26 16:48:06 +0000221/* Default debugger command. */
222#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
223
sewardj4cf05692002-10-27 20:28:29 +0000224/* Describes where logging output is to be sent. */
225typedef
226 enum {
227 VgLogTo_Fd,
228 VgLogTo_File,
sewardj603d4102005-01-11 14:01:02 +0000229 VgLogTo_FileExactly,
sewardj4cf05692002-10-27 20:28:29 +0000230 VgLogTo_Socket
231 } VgLogTo;
232
jsgf855d93d2003-10-13 22:26:55 +0000233/* pid of main process */
234extern Int VG_(main_pid);
235
236/* pgrp of process (global to all threads) */
237extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000238
thughesad1c9562004-06-26 11:27:52 +0000239/* Application-visible file descriptor limits */
240extern Int VG_(fd_soft_limit);
241extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000242
sewardj8b635a42004-11-22 19:01:47 +0000243/* Vex iropt control */
244extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000245/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000246extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000247/* Enquire about whether to attach to a debugger at errors? default: NO */
248extern Bool VG_(clo_db_attach);
249/* The debugger command? default: whatever gdb ./configure found */
250extern Char* VG_(clo_db_command);
sewardjd153fae2005-01-10 17:24:47 +0000251/* Generating a suppression for each error? default: 0 (NO)
252 Other values: 1 (yes, but ask user), 2 (yes, don't ask user) */
253extern Int VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000255extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000256/* Automatically attempt to demangle C++ names? default: YES */
257extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000258/* Simulate child processes? default: NO */
259extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000260
261/* Where logging output is to be sent to.
262
nethercotef8548672004-06-21 12:42:35 +0000263 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
264 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000265
nethercotef8548672004-06-21 12:42:35 +0000266 When log_to == VgLogTo_File, clo_log_name holds the log-file
267 name, and is taken from the command line. clo_log_fd is then
268 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000269 (concatenated with the process ID) for writing.
270
nethercotef8548672004-06-21 12:42:35 +0000271 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000272 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000273 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000274 opening a connection to said hostname:portnumber pair.
275
nethercotef8548672004-06-21 12:42:35 +0000276 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000277 (stderr). */
278extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000279extern Int VG_(clo_log_fd);
280extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000281
thughes6233a382004-08-21 11:10:44 +0000282/* Add timestamps to log messages? default: NO */
283extern Bool VG_(clo_time_stamp);
284
sewardj6024b212003-07-13 10:54:33 +0000285/* The file descriptor to read for input. default: 0 == stdin */
286extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000287/* The number of suppression files specified. */
288extern Int VG_(clo_n_suppressions);
289/* The names of the suppression files. */
290extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
291
sewardjc771b292004-11-30 18:55:21 +0000292/* DEBUG: print generated code? default: 00000000 ( == NO ) */
sewardjfa8ec112005-01-19 11:55:34 +0000293extern Bool VG_(clo_trace_flags);
294/* DEBUG: do bb profiling? default: 00000000 ( == NO ) */
295extern Bool VG_(clo_profile_flags);
sewardjc771b292004-11-30 18:55:21 +0000296/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
297extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000298/* DEBUG: print system calls? default: NO */
299extern Bool VG_(clo_trace_syscalls);
300/* DEBUG: print signal details? default: NO */
301extern Bool VG_(clo_trace_signals);
302/* DEBUG: print symtab details? default: NO */
303extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000304/* DEBUG: print thread scheduling events? default: NO */
305extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000306/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
307 (some), 2 (all) */
308extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000309/* Display gory details for the k'th most popular error. default:
310 Infinity. */
311extern Int VG_(clo_dump_error);
312/* Number of parents of a backtrace. Default: 8. */
313extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000314/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000315extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000316/* How often we should poll for signals, assuming we need to poll for
317 signals. */
318extern Int VG_(clo_signal_polltime);
319
320/* Low latency syscalls and signals */
321extern Bool VG_(clo_lowlat_syscalls);
322extern Bool VG_(clo_lowlat_signals);
323
rjwalshf5f536f2003-11-17 17:45:00 +0000324/* Track open file descriptors? */
325extern Bool VG_(clo_track_fds);
326
sewardj858964b2002-10-05 14:15:43 +0000327/* Should we run __libc_freeres at exit? Sometimes causes crashes.
328 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
329 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000330 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000331 cannot be overridden from the command line. */
332extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000333/* Generate branch-prediction hints? */
334extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000335/* Continue stack traces below main()? Default: NO */
336extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000337/* Test each client pointer dereference to check it's within the
338 client address space bounds */
339extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000340
sewardj062f3552005-01-06 16:13:40 +0000341/* HACK: Use hacked version of clone for Quadrics Elan3 drivers */
342extern Bool VG_(clo_support_elan3);
343
rjwalshe4e779d2004-04-16 23:02:29 +0000344/* Set up the libc freeres wrapper */
345extern void VG_(intercept_libc_freeres_wrapper)(Addr);
346
sewardj51ac0872004-12-21 01:20:49 +0000347
sewardjde4a1d02002-03-22 01:27:54 +0000348/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000349 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000350 ------------------------------------------------------------------ */
351
sewardjde4a1d02002-03-22 01:27:54 +0000352extern void VGP_(init_profiling) ( void );
353extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000354
njn25e49d8e72002-09-23 09:36:25 +0000355#undef VGP_PUSHCC
356#undef VGP_POPCC
357#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
358#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000359
sewardj51ac0872004-12-21 01:20:49 +0000360
sewardjde4a1d02002-03-22 01:27:54 +0000361/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000362 Tool-related types
njn810086f2002-11-14 12:42:47 +0000363 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000364/* These structs are not exposed to tools to mitigate possibility of
365 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000366 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000367typedef
368 struct {
369 Char* name;
370 Char* version;
371 Char* description;
372 Char* copyright_author;
373 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000374 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000375 }
376 VgDetails;
377
378extern VgDetails VG_(details);
379
380/* If new fields are added to this type, update:
381 * - vg_main.c:initialisation of VG_(needs)
382 * - vg_main.c:sanity_check_needs()
383 *
384 * If the name of this type or any of its fields change, update:
385 * - dependent comments (just search for "VG_(needs)").
386 */
387typedef
388 struct {
389 Bool libc_freeres;
390 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000391 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000392 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000393 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000394 Bool command_line_options;
395 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000396 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000397 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000398 Bool sanity_checks;
399 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000400 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000401 }
402 VgNeeds;
403
404extern VgNeeds VG_(needs);
405
fitzhardinge98abfc72003-12-16 02:05:15 +0000406extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000407
fitzhardinge98abfc72003-12-16 02:05:15 +0000408#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000409
sewardj51ac0872004-12-21 01:20:49 +0000410
njn810086f2002-11-14 12:42:47 +0000411/* ---------------------------------------------------------------------
412 Exports of vg_needs.c
413 ------------------------------------------------------------------ */
414
415void VG_(sanity_check_needs)(void);
416
sewardj51ac0872004-12-21 01:20:49 +0000417
njn810086f2002-11-14 12:42:47 +0000418/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000419 Exports of vg_malloc2.c
420 ------------------------------------------------------------------ */
421
422/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000423
424 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000425 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000426 SYMTAB for Valgrind's symbol table storage.
427 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000428 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
429 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000430 DEMANGLE for the C++ demangler.
431 EXECTXT for storing ExeContexts.
432 ERRORS for storing CoreErrors.
433 TRANSIENT for very short-term use. It should be empty in between uses.
434
njn25e49d8e72002-09-23 09:36:25 +0000435 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000436*/
437typedef Int ArenaId;
438
njn3e884182003-04-15 13:03:23 +0000439#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000440
njn3e884182003-04-15 13:03:23 +0000441#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000442#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000443#define VG_AR_SYMTAB 2
444#define VG_AR_JITTER 3
445#define VG_AR_CLIENT 4
446#define VG_AR_DEMANGLE 5
447#define VG_AR_EXECTXT 6
448#define VG_AR_ERRORS 7
449#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000450
nethercote2d5b8162004-08-11 09:40:52 +0000451// This is both the minimum payload size of a malloc'd block, and its
452// minimum alignment. Must be a power of 2 greater than 4, and should be
453// greater than 8.
454#define VG_MIN_MALLOC_SZB 8
455
456// Round-up size for --sloppy-malloc=yes.
457#define VG_SLOPPY_MALLOC_SZB 4
458
nethercote7ac7f7b2004-11-02 12:36:02 +0000459extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000460extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000461extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
462 SizeT nmemb, SizeT nbytes );
463extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
464 SizeT size );
465extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
466 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000467
nethercote7ac7f7b2004-11-02 12:36:02 +0000468extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000469
nethercote885dd912004-08-03 23:14:00 +0000470extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000471
nethercote3a42fb82004-08-03 18:08:50 +0000472extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000473
sewardjde4a1d02002-03-22 01:27:54 +0000474extern Bool VG_(is_empty_arena) ( ArenaId aid );
475
sewardj51ac0872004-12-21 01:20:49 +0000476
sewardjde4a1d02002-03-22 01:27:54 +0000477/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000478 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000479 ------------------------------------------------------------------ */
480
481/* This doesn't export code or data that valgrind.so needs to link
482 against. However, the scheduler does need to know the following
483 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000484 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000485
njn4c791212003-05-02 17:53:54 +0000486#define VG_USERREQ__MALLOC 0x2001
487#define VG_USERREQ__FREE 0x2002
488
sewardj20917d82002-05-28 01:36:45 +0000489/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
490 MUST NOT return -- ever. Eventually it will do either __QUIT or
491 __WAIT_JOINER. */
492#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
493
494/* ( no-args ): calling thread disappears from the system forever.
495 Reclaim resources. */
496#define VG_USERREQ__QUIT 0x3002
497
498/* ( void* ): calling thread waits for joiner and returns the void* to
499 it. */
500#define VG_USERREQ__WAIT_JOINER 0x3003
501
502/* ( ThreadId, void** ): wait to join a thread. */
503#define VG_USERREQ__PTHREAD_JOIN 0x3004
504
505/* Set cancellation state and type for this thread. */
506#define VG_USERREQ__SET_CANCELSTATE 0x3005
507#define VG_USERREQ__SET_CANCELTYPE 0x3006
508
509/* ( no-args ): Test if we are at a cancellation point. */
510#define VG_USERREQ__TESTCANCEL 0x3007
511
512/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
513 with this arg to indicate that a cancel is now pending for the
514 specified thread. */
515#define VG_USERREQ__SET_CANCELPEND 0x3008
516
517/* Set/get detach state for this thread. */
518#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
519
thughese321d492004-10-17 15:00:20 +0000520#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
521#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
522#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000523#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
524#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
525#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
526#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
527#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
528#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
529#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
530#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000531#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
532#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000533#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
534#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000535#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000536#define VG_USERREQ__PTHREAD_KILL 0x301A
537#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000538#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000539
sewardj8ad94e12002-05-29 00:10:20 +0000540#define VG_USERREQ__CLEANUP_PUSH 0x3020
541#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000542#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000543
sewardjef037c72002-05-30 00:40:03 +0000544#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000545
546/* Ask how many signal handler returns have happened to this
547 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000548#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000549
sewardj2cb00342002-06-28 01:46:26 +0000550/* Get/set entries for a thread's pthread_atfork stack. */
551#define VG_USERREQ__SET_FHSTACK_USED 0x3025
552#define VG_USERREQ__GET_FHSTACK_USED 0x3026
553#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
554#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000555
nethercotef971ab72004-08-02 16:27:40 +0000556/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000557#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000558
559/* Allocate RT signals */
560#define VG_USERREQ__GET_SIGRT_MIN 0x302B
561#define VG_USERREQ__GET_SIGRT_MAX 0x302C
562#define VG_USERREQ__ALLOC_RTSIG 0x302D
563
564/* Hook for replace_malloc.o to get malloc functions */
565#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
566
thughesdaa34562004-06-27 12:48:53 +0000567/* Get stack information for a thread. */
568#define VG_USERREQ__GET_STACK_INFO 0x3033
569
sewardj45b4b372002-04-16 22:50:32 +0000570/* Cosmetic ... */
571#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000572/* Log a pthread error from client-space. Cosmetic. */
573#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000574/* Internal equivalent of VALGRIND_PRINTF . */
575#define VG_USERREQ__INTERNAL_PRINTF 0x3103
576/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
577#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000578
sewardj54cacf02002-04-12 23:24:59 +0000579/*
nethercote5a2664c2004-09-02 15:37:39 +0000580In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000581#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000582*/
583
rjwalshe4e779d2004-04-16 23:02:29 +0000584#define VG_INTERCEPT_PREFIX "_vgi__"
585#define VG_INTERCEPT_PREFIX_LEN 6
586#define VG_INTERCEPT(name) _vgi__##name
587#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
588
589#define VG_WRAPPER_PREFIX "_vgw__"
590#define VG_WRAPPER_PREFIX_LEN 6
591#define VG_WRAPPER(name) _vgw__##name
592#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
593
njn4c791212003-05-02 17:53:54 +0000594
fitzhardinge98abfc72003-12-16 02:05:15 +0000595struct vg_mallocfunc_info {
596 /* things vg_replace_malloc.o needs to know about */
njnd2252832004-11-26 10:53:33 +0000597 Addr tl_malloc;
598 Addr tl_calloc;
599 Addr tl_realloc;
600 Addr tl_memalign;
601 Addr tl___builtin_new;
602 Addr tl___builtin_vec_new;
603 Addr tl_free;
604 Addr tl___builtin_delete;
605 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000606
607 Addr arena_payload_szB;
608
609 Bool clo_sloppy_malloc;
610 Bool clo_trace_malloc;
611};
sewardj1fe7b002002-07-16 01:43:15 +0000612
sewardj51ac0872004-12-21 01:20:49 +0000613
sewardj2e93c502002-04-12 11:12:52 +0000614/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000615 Exports of vg_defaults.c
616 ------------------------------------------------------------------ */
617
njnd2252832004-11-26 10:53:33 +0000618extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000619
sewardj51ac0872004-12-21 01:20:49 +0000620
nethercotef9b59412004-09-10 15:33:32 +0000621/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000622 Exports of vg_libpthread.c
623 ------------------------------------------------------------------ */
624
625/* Replacements for pthread types, shared between vg_libpthread.c and
626 vg_scheduler.c. See comment in vg_libpthread.c above the other
627 vg_pthread_*_t types for a description of how these are used. */
628
629struct _vg_pthread_fastlock
630{
631 long int __vg_status; /* "Free" or "taken" or head of waiting list */
632 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
633 adaptive SMP lock stores spin count here. */
634};
635
636typedef struct
637{
638 int __vg_m_reserved; /* Reserved for future use */
639 int __vg_m_count; /* Depth of recursive locking */
640 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
641 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
642 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
643} vg_pthread_mutex_t;
644
645typedef struct
646{
647 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000648 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
649
650 // Nb: the following padding removed because it was missing from an
651 // earlier glibc, so the size test in the CONVERT macro was failing.
652 // --njn
653
nethercote1f0173b2004-02-28 15:40:36 +0000654 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000655 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000656 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000657 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000658} vg_pthread_cond_t;
659
660
661/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000662 Exports of vg_scheduler.c
663 ------------------------------------------------------------------ */
664
sewardj2e93c502002-04-12 11:12:52 +0000665typedef
jsgf855d93d2003-10-13 22:26:55 +0000666 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000667 VgTs_Empty, /* this slot is not in use */
668 VgTs_Runnable, /* waiting to be scheduled */
669 VgTs_WaitJoiner, /* waiting for someone to do join on me */
670 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000671 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000672 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000673 VgTs_WaitSys, /* waiting for a syscall to complete */
674 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000675 }
676 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000677
thughes11975ff2004-06-12 12:58:22 +0000678typedef
679 enum CleanupType {
680 VgCt_None, /* this cleanup entry is not initialised */
681 VgCt_Function, /* an old-style function pointer cleanup */
682 VgCt_Longjmp /* a new-style longjmp based cleanup */
683 }
684 CleanupType;
685
thughesdaa34562004-06-27 12:48:53 +0000686/* Information on a thread's stack. */
687typedef
688 struct {
689 Addr base;
690 UInt size;
691 UInt guardsize;
692 }
693 StackInfo;
694
sewardj8ad94e12002-05-29 00:10:20 +0000695/* An entry in a threads's cleanup stack. */
696typedef
697 struct {
thughes11975ff2004-06-12 12:58:22 +0000698 CleanupType type;
699 union {
700 struct {
701 void (*fn)(void*);
702 void* arg;
703 } function;
704 struct {
thughesebed9982004-06-12 17:25:25 +0000705 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000706 int ctype;
707 } longjmp;
708 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000709 }
710 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000711
712/* An entry in a thread's fork-handler stack. */
713typedef
714 struct {
715 void (*prepare)(void);
716 void (*parent)(void);
717 void (*child)(void);
718 }
719 ForkHandlerEntry;
720
jsgf855d93d2003-10-13 22:26:55 +0000721typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000722
nethercote8ff888f2004-11-17 17:11:45 +0000723//typedef
njn72718642003-07-24 08:45:32 +0000724 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000725 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
726 The thread identity is simply the index in vg_threads[].
727 ThreadId == 1 is the root thread and has the special property
728 that we don't try and allocate or deallocate its stack. For
729 convenience of generating error message, we also put the
730 ThreadId in this tid field, but be aware that it should
731 ALWAYS == the index in vg_threads[]. */
732 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000733
njn25e49d8e72002-09-23 09:36:25 +0000734 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000735
njn25e49d8e72002-09-23 09:36:25 +0000736 Complications: whenever this is set to VgTs_WaitMX, you
737 should also set .m_edx to whatever the required return value
738 is for pthread_mutex_lock / pthread_cond_timedwait for when
739 the mutex finally gets unblocked. */
740 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* When .status == WaitMX, points to the mutex I am waiting for.
743 When .status == WaitCV, points to the mutex associated with
744 the condition variable indicated by the .associated_cv field.
745 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000746 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000747
njn25e49d8e72002-09-23 09:36:25 +0000748 /* When .status == WaitCV, points to the condition variable I am
749 waiting for. In all other cases, should be NULL. */
750 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000753 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000754
njn25e49d8e72002-09-23 09:36:25 +0000755 If VgTs_WaitCV, this indicates the time at which
756 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
757 this means infinitely far in the future, viz,
758 pthread_cond_wait. */
759 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000760
njn25e49d8e72002-09-23 09:36:25 +0000761 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
762 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000763
njn25e49d8e72002-09-23 09:36:25 +0000764 /* If VgTs_WaitJoinee, place to copy the return value to, and
765 the identity of the thread we're waiting for. */
766 void** joiner_thread_return;
767 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000768
jsgf855d93d2003-10-13 22:26:55 +0000769 /* If VgTs_WaitSys, this is the syscall we're currently running */
770 Int syscallno;
771
thughesbaa46e52004-07-29 17:44:23 +0000772 /* If VgTs_WaitSys, this is the syscall flags */
773 UInt sys_flags;
774
jsgf855d93d2003-10-13 22:26:55 +0000775 /* Details about this thread's proxy LWP */
776 ProxyLWP *proxy;
777
njn25e49d8e72002-09-23 09:36:25 +0000778 /* Whether or not detached. */
779 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000780
njn25e49d8e72002-09-23 09:36:25 +0000781 /* Cancelability state and type. */
782 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
783 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
784
785 /* Pointer to fn to call to do cancellation. Indicates whether
786 or not cancellation is pending. If NULL, not pending. Else
787 should be &thread_exit_wrapper(), indicating that
788 cancallation is pending. */
789 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000790
njn25e49d8e72002-09-23 09:36:25 +0000791 /* The cleanup stack. */
792 Int custack_used;
793 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000794
sewardj00a66b12002-10-12 16:42:35 +0000795 /* A pointer to the thread's-specific-data. This is handled almost
796 entirely from vg_libpthread.c. We just provide hooks to get and
797 set this ptr. This is either NULL, indicating the thread has
798 read/written none of its specifics so far, OR points to a
799 void*[VG_N_THREAD_KEYS], allocated and deallocated in
800 vg_libpthread.c. */
801 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000802
njn25e49d8e72002-09-23 09:36:25 +0000803 /* This thread's blocked-signals mask. Semantics is that for a
804 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000805 blocked by this signal mask. If more than one thread accepts a
806 signal, then it will be delivered to one at random. If all
807 threads block the signal, it will remain pending until either a
808 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
809
810 sig_mask reflects what the client told us its signal mask should
811 be, but isn't necessarily the current signal mask of the proxy
812 LWP: it may have more signals blocked because of signal
813 handling, or it may be different because of sigsuspend.
814 */
nethercote73b526f2004-10-31 18:48:21 +0000815 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000816
fitzhardingef0dd7e12004-01-16 02:17:30 +0000817 /* Effective signal mask. This is the mask which currently
818 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000819 handler is running.
820 */
nethercote73b526f2004-10-31 18:48:21 +0000821 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000822
thughes8abf3922004-10-16 10:59:49 +0000823 /* Signal queue. This is used when the kernel doesn't route
824 signals properly in order to remember the signal information
825 while we are routing the signal. It is a circular queue with
826 insertions performed at the head and removals at the tail.
827 */
nethercote73b526f2004-10-31 18:48:21 +0000828 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000829 Int sigqueue_head;
830 Int sigqueue_tail;
831
njn25e49d8e72002-09-23 09:36:25 +0000832 /* Stacks. When a thread slot is freed, we don't deallocate its
833 stack; we just leave it lying around for the next use of the
834 slot. If the next use of the slot requires a larger stack,
835 only then is the old one deallocated and a new one
836 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000837
njn25e49d8e72002-09-23 09:36:25 +0000838 For the main thread (threadid == 0), this mechanism doesn't
839 apply. We don't know the size of the stack since we didn't
840 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000841
njn25e49d8e72002-09-23 09:36:25 +0000842 /* The allocated size of this thread's stack (permanently zero
843 if this is ThreadId == 0, since we didn't allocate its stack) */
844 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000845
njn25e49d8e72002-09-23 09:36:25 +0000846 /* Address of the lowest word in this thread's stack. NULL means
847 not allocated yet.
848 */
849 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000850
thughesdaa34562004-06-27 12:48:53 +0000851 /* The allocated size of this thread's stack's guard area (permanently
852 zero if this is ThreadId == 0, since we didn't allocate its stack) */
853 UInt stack_guard_size;
854
sewardj92a59562002-09-30 00:53:10 +0000855 /* Address of the highest legitimate word in this stack. This is
856 used for error messages only -- not critical for execution
857 correctness. Is is set for all stacks, specifically including
858 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000859 Addr stack_highest_word;
860
fitzhardinge98c4dc02004-03-16 08:27:29 +0000861 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000862 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000863
nethercotec06e2132004-09-03 13:45:29 +0000864 /* Architecture-specific thread state */
sewardj2a99cf62004-11-24 10:44:19 +0000865 ThreadArchState arch;
sewardj004e8ca2005-02-28 17:27:04 +0000866
867 /* Used in the syscall handlers. Set to True to indicate that the
868 PRE routine for a syscall has set the syscall result already and
869 so the syscall does not need to be handed to the kernel. */
870 Bool syscall_result_set;
nethercote8ff888f2004-11-17 17:11:45 +0000871};
872//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000873
874
sewardj018f7622002-05-15 21:13:39 +0000875/* The thread table. */
876extern ThreadState VG_(threads)[VG_N_THREADS];
877
878/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000879extern Bool VG_(is_valid_tid) ( ThreadId tid );
880
jsgf855d93d2003-10-13 22:26:55 +0000881/* Get the ThreadState for a particular thread */
882extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
883
sewardjccef2e62002-05-29 19:26:32 +0000884/* Nuke all threads except tid. */
885extern void VG_(nuke_all_threads_except) ( ThreadId me );
886
jsgf855d93d2003-10-13 22:26:55 +0000887/* Give a hint to the scheduler that it may be a good time to find a
888 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
889 try to schedule that thread.
890*/
891extern void VG_(need_resched) ( ThreadId prefer_sched );
892
sewardj2e93c502002-04-12 11:12:52 +0000893/* Return codes from the scheduler. */
894typedef
sewardj7e87e382002-05-03 19:09:05 +0000895 enum {
896 VgSrc_Deadlock, /* no runnable threads and no prospect of any
897 even if we wait for a long time */
898 VgSrc_ExitSyscall, /* client called exit(). This is the normal
899 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000900 VgSrc_FatalSig /* Killed by the default action of a fatal
901 signal */
sewardj7e87e382002-05-03 19:09:05 +0000902 }
sewardj2e93c502002-04-12 11:12:52 +0000903 VgSchedReturnCode;
904
sewardj7e87e382002-05-03 19:09:05 +0000905
nethercote238a3c32004-08-09 13:13:31 +0000906// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
907extern VgSchedReturnCode VG_(scheduler)
908 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000909
910extern void VG_(scheduler_init) ( void );
911
sewardj15a43e12002-04-17 19:35:12 +0000912extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000913
nethercote75d26242004-08-01 22:59:18 +0000914// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000915extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000916
nethercote238a3c32004-08-09 13:13:31 +0000917// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
918extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
919
sewardj2e93c502002-04-12 11:12:52 +0000920/* The red-zone size which we put at the bottom (highest address) of
921 thread stacks, for paranoia reasons. This can be arbitrary, and
922 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000923#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000924
nethercoteaff1c772004-09-13 16:11:09 +0000925// Write a value to a client's thread register, and shadow (if necessary).
926// Note that there are some further similar macros in the arch- and
927// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000928#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
929 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
930 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000931 } while (0)
932
njnd3040452003-05-19 15:04:06 +0000933#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000934 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
935 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000936
937#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000938 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
939 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000940
941#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000942 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
943 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000944
945#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000946 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
947 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000948
sewardj2e93c502002-04-12 11:12:52 +0000949
950/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000951 Exports of vg_signals.c
952 ------------------------------------------------------------------ */
953
jsgf855d93d2003-10-13 22:26:55 +0000954extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
955
956/* RT signal allocation */
957extern Int VG_(sig_rtmin);
958extern Int VG_(sig_rtmax);
959extern Int VG_(sig_alloc_rtsig) ( Int high );
960
sewardjde4a1d02002-03-22 01:27:54 +0000961extern void VG_(sigstartup_actions) ( void );
962
nethercote73b526f2004-10-31 18:48:21 +0000963extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000964extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000965
jsgf855d93d2003-10-13 22:26:55 +0000966extern Bool VG_(is_sig_ign) ( Int sigNo );
967
968/* Route pending signals from the scheduler LWP to the appropriate
969 thread LWP. */
970extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000971
972/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000973extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
974extern void VG_(do_sys_sigaction) ( ThreadId tid );
975extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000976 vki_sigset_t* set,
977 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000978extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000979 vki_sigset_t* set,
980 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000981
sewardj2e93c502002-04-12 11:12:52 +0000982/* Modify the current thread's state once we have detected it is
983 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000984extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000985
sewardj2e93c502002-04-12 11:12:52 +0000986/* Handy utilities to block/restore all host signals. */
987extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000988 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000989extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000990 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000991
jsgf855d93d2003-10-13 22:26:55 +0000992extern void VG_(kill_self)(Int sigNo);
993
fitzhardingef1beb252004-03-16 09:49:08 +0000994/* These function synthesize a fault, as if the running instruction
995 had had a fault. These functions do not return - they longjmp back
996 into the scheduler so the signal can be delivered. */
997extern void VG_(synth_fault) (ThreadId tid);
998extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
999extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +00001000extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +00001001
nethercote759dda32004-08-07 18:16:56 +00001002extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +00001003
sewardj51ac0872004-12-21 01:20:49 +00001004
sewardjde4a1d02002-03-22 01:27:54 +00001005/* ---------------------------------------------------------------------
1006 Exports of vg_mylibc.c
1007 ------------------------------------------------------------------ */
1008
njnca0518d2004-11-26 19:34:36 +00001009// Useful for making failing stubs, when certain things haven't yet been
1010// implemented.
1011#define I_die_here \
1012 VG_(core_assert_fail) ("Unimplemented functionality", \
1013 __FILE__, __LINE__, __PRETTY_FUNCTION__)
1014
njne427a662002-10-02 11:08:25 +00001015#define vg_assert(expr) \
1016 ((void) ((expr) ? 0 : \
1017 (VG_(core_assert_fail) (VG__STRING(expr), \
1018 __FILE__, __LINE__, \
1019 __PRETTY_FUNCTION__), 0)))
1020__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001021extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1022 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001023__attribute__ ((__noreturn__))
1024extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001025__attribute__ ((__noreturn__))
1026extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001027
nethercote05675c82004-08-04 10:37:49 +00001028/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001029extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001030
njn25e49d8e72002-09-23 09:36:25 +00001031extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001032extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001033
fitzhardinge98abfc72003-12-16 02:05:15 +00001034/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001035extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001036 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001037extern Int VG_(munmap)( void* start, SizeT length );
1038extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
sewardj79048ce2005-02-18 08:28:32 +00001039extern Int VG_(mprotect_native)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001040
1041
jsgf855d93d2003-10-13 22:26:55 +00001042/* Move an fd into the Valgrind-safe range */
1043Int VG_(safe_fd)(Int oldfd);
1044
sewardj570f8902002-11-03 11:44:36 +00001045extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001046
1047/* --- Connecting over the network --- */
1048extern Int VG_(connect_via_socket)( UChar* str );
1049
fitzhardinge98abfc72003-12-16 02:05:15 +00001050/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001051extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1052 const Char *val );
1053extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1054extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001055
sewardj51ac0872004-12-21 01:20:49 +00001056
sewardj570f8902002-11-03 11:44:36 +00001057/* ---------------------------------------------------------------------
1058 Exports of vg_message.c
1059 ------------------------------------------------------------------ */
1060
1061/* Low-level -- send bytes directly to the message sink. Do not
1062 use. */
1063extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1064
nethercoted1da90e2004-08-03 17:26:39 +00001065// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001066// sim'd CPU. Defined here because needed for vg_libpthread.c,
1067// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1068// ensures the multiple definitions are not a problem. They must be functions
1069// rather than macros so that va_list can be used.
1070
1071__attribute__((weak))
1072int
1073VALGRIND_INTERNAL_PRINTF(char *format, ...)
1074{
nethercotebe671db2004-10-26 11:44:46 +00001075 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001076 va_list vargs;
1077 va_start(vargs, format);
1078 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001079 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001080 va_end(vargs);
1081 return _qzz_res;
1082}
1083
1084__attribute__((weak))
1085int
1086VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1087{
nethercotebe671db2004-10-26 11:44:46 +00001088 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001089 va_list vargs;
1090 va_start(vargs, format);
1091 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001092 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001093 va_end(vargs);
1094 return _qzz_res;
1095}
1096
nethercoted1da90e2004-08-03 17:26:39 +00001097
sewardjde4a1d02002-03-22 01:27:54 +00001098/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001099 Exports of vg_demangle.c
1100 ------------------------------------------------------------------ */
1101
1102extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1103
sewardj4ccf7072004-11-28 16:58:05 +00001104
sewardjde4a1d02002-03-22 01:27:54 +00001105/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001106 Exports of vg_translate.c
1107 ------------------------------------------------------------------ */
1108
sewardjfa8ec112005-01-19 11:55:34 +00001109extern
1110Bool VG_(translate) ( ThreadId tid,
1111 Addr64 orig_addr,
1112 Bool debugging_translation,
1113 Int debugging_verbosity );
sewardjb5ff83e2002-12-01 19:40:49 +00001114
sewardjde4a1d02002-03-22 01:27:54 +00001115/* ---------------------------------------------------------------------
1116 Exports of vg_execontext.c.
1117 ------------------------------------------------------------------ */
1118
nethercote4ad74312004-10-26 09:59:49 +00001119/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001120 values are used in comparisons do remove duplicate errors, and for
1121 comparing against suppression specifications. The rest are purely
1122 informational (but often important). */
1123
njn25e49d8e72002-09-23 09:36:25 +00001124struct _ExeContext {
1125 struct _ExeContext * next;
1126 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001127 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001128 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001129 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001130};
sewardjde4a1d02002-03-22 01:27:54 +00001131
1132
sewardjde4a1d02002-03-22 01:27:54 +00001133/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001134extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001135
njn25e49d8e72002-09-23 09:36:25 +00001136/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001137extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1138 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001139
1140
1141/* ---------------------------------------------------------------------
1142 Exports of vg_errcontext.c.
1143 ------------------------------------------------------------------ */
1144
njn25e49d8e72002-09-23 09:36:25 +00001145extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001146
njn25e49d8e72002-09-23 09:36:25 +00001147extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001148
njn25e49d8e72002-09-23 09:36:25 +00001149extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001150
nethercotef2b11482004-08-02 12:36:01 +00001151extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001152
nethercotef2b11482004-08-02 12:36:01 +00001153extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001154
sewardj51ac0872004-12-21 01:20:49 +00001155
sewardjde4a1d02002-03-22 01:27:54 +00001156/* ---------------------------------------------------------------------
1157 Exports of vg_procselfmaps.c
1158 ------------------------------------------------------------------ */
1159
njnfa1016e2003-09-25 17:54:11 +00001160/* Reads /proc/self/maps into a static buffer which can be parsed by
1161 VG_(parse_procselfmaps)(). */
1162extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001163
1164/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1165 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1166 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001167extern
njnfa1016e2003-09-25 17:54:11 +00001168void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001169 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001170 UInt dev, UInt ino, ULong foff,
1171 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001172
1173
1174/* ---------------------------------------------------------------------
1175 Exports of vg_symtab2.c
1176 ------------------------------------------------------------------ */
1177
fitzhardinge98abfc72003-12-16 02:05:15 +00001178typedef struct _Segment Segment;
1179
1180extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001181extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001182extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001183extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001184extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001185
njn25e49d8e72002-09-23 09:36:25 +00001186extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001187
fitzhardinge98abfc72003-12-16 02:05:15 +00001188/* Set up some default redirects */
1189extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001190
fitzhardinge98abfc72003-12-16 02:05:15 +00001191/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001192extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001193
sewardj51ac0872004-12-21 01:20:49 +00001194
sewardjde4a1d02002-03-22 01:27:54 +00001195/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001196 Exports of vg_main.c
1197 ------------------------------------------------------------------ */
1198
sewardj73cf3bc2002-11-03 03:20:15 +00001199/* Tell the logging mechanism whether we are logging to a file
1200 descriptor or a socket descriptor. */
1201extern Bool VG_(logging_to_filedes);
1202
njn25e49d8e72002-09-23 09:36:25 +00001203/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001204extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001205
fitzhardinge98abfc72003-12-16 02:05:15 +00001206/* Address space */
1207extern Addr VG_(client_base); /* client address space limits */
1208extern Addr VG_(client_end);
1209extern Addr VG_(client_mapbase); /* base of mappings */
1210extern Addr VG_(clstk_base); /* client stack range */
1211extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001212extern Addr VG_(client_trampoline_code);
1213
fitzhardinge98abfc72003-12-16 02:05:15 +00001214extern Addr VG_(brk_base); /* start of brk */
1215extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001216extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001217extern Addr VG_(shadow_end);
1218extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001219extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001220
nethercote73b526f2004-10-31 18:48:21 +00001221extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1222extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001223
fitzhardingea49f9b52003-12-16 22:26:45 +00001224/* client executable file descriptor */
1225extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001226
nethercotef6a1d502004-08-09 12:21:57 +00001227// Help set up the child used when doing execve() with --trace-children=yes
1228Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1229Char* VG_(build_child_exename) ( void );
1230
sewardjde4a1d02002-03-22 01:27:54 +00001231/* Called when some unhandleable client behaviour is detected.
1232 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001233extern void VG_(unimplemented) ( Char* msg )
1234 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001235
nethercote04d0fbc2004-01-26 16:48:06 +00001236/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001237extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001238
sewardjde4a1d02002-03-22 01:27:54 +00001239/* Counts downwards in vg_run_innerloop. */
1240extern UInt VG_(dispatch_ctr);
1241
sewardj4ccf7072004-11-28 16:58:05 +00001242/* Instruction pointer guest state offset, used by $VG_ARCH/dispatch.S. */
njn87c98122004-11-30 23:32:01 +00001243extern OffT VG_(instr_ptr_offset);
njn16de5572004-11-27 14:27:21 +00001244
sewardj4ccf7072004-11-28 16:58:05 +00001245/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001246extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001247
sewardj51ac0872004-12-21 01:20:49 +00001248/* Indicates what arch and subarch we are running on. */
1249extern VexArch VG_(vex_arch);
1250extern VexSubArch VG_(vex_subarch);
1251
nethercote2e05c332004-09-06 16:43:37 +00001252
sewardjde4a1d02002-03-22 01:27:54 +00001253/* ---------------------------------------------------------------------
1254 Exports of vg_memory.c
1255 ------------------------------------------------------------------ */
1256
fitzhardinge98abfc72003-12-16 02:05:15 +00001257/* A Segment is mapped piece of client memory. This covers all kinds
1258 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1259
1260 We try to encode everything we know about a particular segment here.
1261*/
nethercote85cdd342004-08-01 22:36:40 +00001262#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1263#define SF_SHARED (1 << 1) // shared
1264#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1265#define SF_MMAP (1 << 3) // mmap memory
1266#define SF_FILE (1 << 4) // mapping is backed by a file
1267#define SF_STACK (1 << 5) // is a stack
1268#define SF_GROWDOWN (1 << 6) // segment grows down
1269#define SF_GROWUP (1 << 7) // segment grows up
1270#define SF_EXEC (1 << 8) // segment created by exec
1271#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1272#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1273#define SF_BRK (1 << 11) // brk segment
1274#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1275#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1276#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001277
1278struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001279 UInt prot; // VKI_PROT_*
1280 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001281
njnf9dc6192004-11-30 13:20:44 +00001282 Addr addr; // mapped addr (page aligned)
1283 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001284
njnf9dc6192004-11-30 13:20:44 +00001285 // These are valid if (flags & SF_FILE)
1286 OffT offset; // file offset
1287 const Char* filename; // filename (NULL if unknown)
sewardj79048ce2005-02-18 08:28:32 +00001288 Int fnIdx; // filename table index (-1 if unknown)
njnf9dc6192004-11-30 13:20:44 +00001289 UInt dev; // device
1290 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001291
njnf9dc6192004-11-30 13:20:44 +00001292 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001293};
1294
1295/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001296extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001297 Int fd, ULong off, const Char *filename);
1298
1299/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001300extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001301 UInt dev, UInt ino, ULong off, const Char *filename);
1302
1303/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001304extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001305
nethercote8b5f40c2004-11-02 13:29:50 +00001306extern void VG_(unmap_range) (Addr addr, SizeT len);
1307extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1308extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001309
sewardj548be6d2005-02-16 01:31:37 +00001310/* Find the segment containing a, or NULL if none. */
fitzhardinge98abfc72003-12-16 02:05:15 +00001311extern Segment *VG_(find_segment)(Addr a);
sewardj548be6d2005-02-16 01:31:37 +00001312
1313/* a is an unmapped address (is checked). Find the next segment
1314 along in the address space, or NULL if none. */
1315extern Segment *VG_(find_segment_above_unmapped)(Addr a);
1316
1317/* a is a mapped address (in a segment, is checked). Find the
1318 next segment along. */
1319extern Segment *VG_(find_segment_above_mapped)(Addr a);
1320
sewardj1024cf72005-02-28 14:39:21 +00001321extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1322extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001323
nethercote8991d5a2004-11-03 17:07:46 +00001324extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001325extern void VG_(unpad_address_space)(void);
1326
sewardj2a99cf62004-11-24 10:44:19 +00001327extern REGPARM(2)
1328 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001329
jsgf855d93d2003-10-13 22:26:55 +00001330/* ---------------------------------------------------------------------
1331 Exports of vg_proxylwp.c
1332 ------------------------------------------------------------------ */
1333
1334/* Issue a syscall for thread tid */
njnc6168192004-11-29 13:54:10 +00001335extern Int VG_(sys_issue)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +00001336
1337extern void VG_(proxy_init) ( void );
1338extern void VG_(proxy_create) ( ThreadId tid );
1339extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1340extern void VG_(proxy_results) ( void );
sewardj0a785fd2004-11-24 21:24:24 +00001341extern void VG_(proxy_sendsig) ( ThreadId fromTid, ThreadId toTid, Int signo );
jsgf855d93d2003-10-13 22:26:55 +00001342extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001343extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001344extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1345extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001346extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001347
nethercote85cdd342004-08-01 22:36:40 +00001348extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1349extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1350 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001351
1352/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001353void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001354
1355/* Send a signal from a thread's proxy to the thread. This longjmps
1356 back into the proxy's main loop, so it doesn't return. */
1357__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001358extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001359 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001360
sewardjde4a1d02002-03-22 01:27:54 +00001361/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001362 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001363 ------------------------------------------------------------------ */
1364
sewardj79048ce2005-02-18 08:28:32 +00001365extern HChar* VG_(resolve_filename_nodup)(Int fd);
1366extern HChar* VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001367
jsgf855d93d2003-10-13 22:26:55 +00001368extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001369extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001370
nethercote5b9fafd2004-11-04 18:39:22 +00001371extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001372
jsgf855d93d2003-10-13 22:26:55 +00001373/* Internal atfork handlers */
1374typedef void (*vg_atfork_t)(ThreadId);
1375extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001376
rjwalshf5f536f2003-11-17 17:45:00 +00001377/* fd leakage calls. */
1378extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001379extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001380
nethercote8ff888f2004-11-17 17:11:45 +00001381// Return true if address range entirely contained within client
1382// address space.
1383Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1384 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001385
1386// Return true if we're allowed to use or create this fd.
1387Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1388
njnc6168192004-11-29 13:54:10 +00001389void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001390
1391// Flags describing syscall wrappers
1392#define Special (1 << 0)
1393#define MayBlock (1 << 1)
1394#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1395#define PostOnFail (1 << 3)
1396
njn61fa0af2004-11-27 15:22:24 +00001397// Templates for generating the PRE and POST macros. For ones that must be
1398// publically visible, use an empty 'qual', 'prefix' should start with
1399// "vgArch_", and there should be corresponding global declarations (like
1400// the GEN_SYSCALL_WRAPPER ones below). Otherwise, use "static" for 'qual',
1401// and "vgArch_" should not be in the 'prefix'.
1402#define PRE_TEMPLATE(qual, prefix, name, f) \
1403 qual UInt prefix##_##name##_flags = f; \
1404 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1405#define POST_TEMPLATE(qual, prefix, name) \
1406 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1407
1408// This macro is used to write other macros which making writing syscall
1409// tables easier.
1410#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1411 [const] = { &prefix##_##name##_flags, \
1412 prefix##_##name##_before, NULL }
1413#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1414 [const] = { &prefix##_##name##_flags, \
1415 prefix##_##name##_before, \
1416 prefix##_##name##_after }
1417
1418// Macros for adding generic wrappers to a syscall table.
1419#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1420#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001421
njn22cfccb2004-11-27 16:10:23 +00001422// Space-saving macros for syscall wrappers
1423#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1424#define RES SYSCALL_RET(tst->arch) // in POST(x)
1425#define ARG1 SYSCALL_ARG1(tst->arch)
1426#define ARG2 SYSCALL_ARG2(tst->arch)
1427#define ARG3 SYSCALL_ARG3(tst->arch)
1428#define ARG4 SYSCALL_ARG4(tst->arch)
1429#define ARG5 SYSCALL_ARG5(tst->arch)
1430#define ARG6 SYSCALL_ARG6(tst->arch)
1431
sewardj004e8ca2005-02-28 17:27:04 +00001432#define SET_RESULT(val) \
1433 do { PLATFORM_SET_SYSCALL_RESULT(tst->arch, (val)); \
1434 tst->syscall_result_set = True; \
1435 } while (0)
njn22cfccb2004-11-27 16:10:23 +00001436
1437#define PRINT(format, args...) \
1438 if (VG_(clo_trace_syscalls)) \
1439 VG_(printf)(format, ## args)
1440
nethercote8ff888f2004-11-17 17:11:45 +00001441// Generic (platform-independent) syscall wrappers. These are generally
1442// POSIX or something like that; those that are not POSIX are annotated
1443// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001444// For many of them, it's unclear if they are generic, or Linux-specific, or
1445// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001446//
1447// Nb: This list may change over time... ones thought at first to be generic
1448// may turn out not to be, and so be moved into OS-specific or
1449// platform-specific files. If there's any doubt, I'm leaving them in here.
1450//
1451// Nb 2: if porting to a new OS, you should really check all these generic
1452// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001453//
1454// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1455// post-wrapper (which is actually not always needed), and the associated
1456// flags.
1457#define GEN_SYSCALL_WRAPPER(x) \
1458 extern UInt VGA_(gen_##x##_flags); \
1459 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1460 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001461
1462GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1463GEN_SYSCALL_WRAPPER(sys_exit);
1464GEN_SYSCALL_WRAPPER(sys_fork);
1465GEN_SYSCALL_WRAPPER(sys_read);
1466GEN_SYSCALL_WRAPPER(sys_write);
1467GEN_SYSCALL_WRAPPER(sys_open);
1468GEN_SYSCALL_WRAPPER(sys_close);
1469GEN_SYSCALL_WRAPPER(sys_waitpid);
1470GEN_SYSCALL_WRAPPER(sys_creat);
1471GEN_SYSCALL_WRAPPER(sys_link);
1472GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001473GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001474GEN_SYSCALL_WRAPPER(sys_chdir);
1475GEN_SYSCALL_WRAPPER(sys_time);
1476GEN_SYSCALL_WRAPPER(sys_mknod);
1477GEN_SYSCALL_WRAPPER(sys_chmod);
1478GEN_SYSCALL_WRAPPER(sys_lseek);
1479GEN_SYSCALL_WRAPPER(sys_getpid);
1480GEN_SYSCALL_WRAPPER(sys_alarm);
1481GEN_SYSCALL_WRAPPER(sys_pause);
1482GEN_SYSCALL_WRAPPER(sys_utime);
1483GEN_SYSCALL_WRAPPER(sys_access);
1484GEN_SYSCALL_WRAPPER(sys_kill);
1485GEN_SYSCALL_WRAPPER(sys_rename);
1486GEN_SYSCALL_WRAPPER(sys_mkdir);
1487GEN_SYSCALL_WRAPPER(sys_rmdir);
1488GEN_SYSCALL_WRAPPER(sys_dup);
1489GEN_SYSCALL_WRAPPER(sys_times);
1490GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1491GEN_SYSCALL_WRAPPER(sys_setpgid);
1492GEN_SYSCALL_WRAPPER(sys_umask);
1493GEN_SYSCALL_WRAPPER(sys_dup2);
1494GEN_SYSCALL_WRAPPER(sys_getppid);
1495GEN_SYSCALL_WRAPPER(sys_getpgrp);
1496GEN_SYSCALL_WRAPPER(sys_setsid);
1497GEN_SYSCALL_WRAPPER(sys_munmap);
1498GEN_SYSCALL_WRAPPER(sys_truncate);
1499GEN_SYSCALL_WRAPPER(sys_ftruncate);
1500GEN_SYSCALL_WRAPPER(sys_fchmod);
1501GEN_SYSCALL_WRAPPER(sys_msync);
1502GEN_SYSCALL_WRAPPER(sys_readv);
1503GEN_SYSCALL_WRAPPER(sys_writev);
1504GEN_SYSCALL_WRAPPER(sys_getsid);
1505GEN_SYSCALL_WRAPPER(sys_fdatasync);
1506GEN_SYSCALL_WRAPPER(sys_mlock);
1507GEN_SYSCALL_WRAPPER(sys_munlock);
1508GEN_SYSCALL_WRAPPER(sys_mlockall);
1509GEN_SYSCALL_WRAPPER(sys_munlockall);
1510GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1511GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1512GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1513GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1514GEN_SYSCALL_WRAPPER(sys_sched_yield);
1515GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1516GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1517GEN_SYSCALL_WRAPPER(sys_nanosleep);
1518GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1519GEN_SYSCALL_WRAPPER(sys_getuid);
1520GEN_SYSCALL_WRAPPER(sys_getgid);
1521GEN_SYSCALL_WRAPPER(sys_geteuid);
1522GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001523GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001524GEN_SYSCALL_WRAPPER(sys_fsync);
1525GEN_SYSCALL_WRAPPER(sys_wait4);
1526GEN_SYSCALL_WRAPPER(sys_mprotect);
1527GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1528GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1529GEN_SYSCALL_WRAPPER(sys_timer_settime);
1530GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1531GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1532GEN_SYSCALL_WRAPPER(sys_timer_delete);
1533GEN_SYSCALL_WRAPPER(sys_clock_settime);
1534GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1535GEN_SYSCALL_WRAPPER(sys_clock_getres);
1536GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001537GEN_SYSCALL_WRAPPER(sys_symlink);
1538GEN_SYSCALL_WRAPPER(sys_getgroups);
1539GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1540GEN_SYSCALL_WRAPPER(sys_chown);
1541GEN_SYSCALL_WRAPPER(sys_setuid);
1542GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1543GEN_SYSCALL_WRAPPER(sys_madvise);
1544GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001545
1546// These ones aren't POSIX, but are in some standard and look reasonably
1547// generic, and are the same for all architectures under Linux.
1548GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1549GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1550GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1551GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1552GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001553GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1554GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1555GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1556GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1557GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1558GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1559GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1560GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1561GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1562GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1563GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1564GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1565GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1566GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1567GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1568GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1569GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001570
1571// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1572// uid_t types. The similarly named (minus the "16" suffix) ones below use
1573// 32-bit versions of these types.
1574GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1575GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1576GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1577GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1578GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1579GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1580GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1581GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1582GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1583GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1584GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1585GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1586
nethercote8ff888f2004-11-17 17:11:45 +00001587// Linux's funny many-in-one socketcall is certainly not generic, but I
1588// didn't want to move it until necessary because it's big and has a lot of
1589// associated junk.
1590GEN_SYSCALL_WRAPPER(sys_socketcall);
1591
nethercote3d5e9102004-11-17 18:22:38 +00001592// Some archs on Linux do not match the generic wrapper for sys_pipe().
1593GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001594
nethercote3d5e9102004-11-17 18:22:38 +00001595// May not be generic for every architecture under Linux.
1596GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1597
1598// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001599GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1600GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1601GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1602
nethercote3d5e9102004-11-17 18:22:38 +00001603// For the remainder, not really sure yet
1604GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1605GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1606GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1607GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1608GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1609GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1610GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1611GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001612GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1613GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001614GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1615GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1616GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001617GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1618GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1619GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1620GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1621GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1622GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1623GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1624GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1625GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1626GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1627GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001628GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1629GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1630GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1631GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1632GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1633GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1634GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1635GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1636GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1637GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001638GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001639GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1640GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1641GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1642GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1643GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1644GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1645GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1646GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1647GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1648GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1649GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1650GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1651GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1652GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001653GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1654GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001655GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001656GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001657GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1658GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1659GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001660GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1661GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1662GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1663GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1664GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1665GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1666
1667#undef GEN_SYSCALL_WRAPPER
1668
1669// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001670/* PRRAn == "pre-register-read-argument"
1671 PRRSN == "pre-register-read-syscall"
1672*/
nethercote8ff888f2004-11-17 17:11:45 +00001673
1674#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001675 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001676 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001677#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001678 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001679 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001680#define PRE_REG_READ0(tr, s) \
1681 if (VG_(defined_pre_reg_read)()) { \
1682 PRRSN; \
1683 }
1684#define PRE_REG_READ1(tr, s, t1, a1) \
1685 if (VG_(defined_pre_reg_read)()) { \
1686 PRRSN; \
1687 PRRAn(1,s,t1,a1); \
1688 }
1689#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1690 if (VG_(defined_pre_reg_read)()) { \
1691 PRRSN; \
1692 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1693 }
1694#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1695 if (VG_(defined_pre_reg_read)()) { \
1696 PRRSN; \
1697 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1698 }
1699#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1700 if (VG_(defined_pre_reg_read)()) { \
1701 PRRSN; \
1702 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1703 PRRAn(4,s,t4,a4); \
1704 }
1705#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1706 if (VG_(defined_pre_reg_read)()) { \
1707 PRRSN; \
1708 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1709 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1710 }
1711#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1712 if (VG_(defined_pre_reg_read)()) { \
1713 PRRSN; \
1714 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1715 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1716 }
1717
1718#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1719 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1720
1721#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1722 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1723
1724#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1725 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1726
1727#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001728 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001729
sewardjde4a1d02002-03-22 01:27:54 +00001730/* ---------------------------------------------------------------------
1731 Exports of vg_transtab.c
1732 ------------------------------------------------------------------ */
1733
sewardjfa8ec112005-01-19 11:55:34 +00001734/* The fast-cache for tt-lookup, and for finding counters. */
1735extern ULong* VG_(tt_fast) [VG_TT_FAST_SIZE];
1736extern UInt* VG_(tt_fastN)[VG_TT_FAST_SIZE];
njn25e49d8e72002-09-23 09:36:25 +00001737
nethercote92e7b7f2004-08-07 17:52:25 +00001738extern void VG_(init_tt_tc) ( void );
sewardj6c3769f2002-11-29 01:02:45 +00001739
sewardjfa8ec112005-01-19 11:55:34 +00001740extern
1741void VG_(add_to_trans_tab)( VexGuestExtents* vge,
1742 Addr64 entry,
1743 AddrH code,
1744 UInt code_len );
1745
1746extern Bool VG_(search_transtab) ( /*OUT*/AddrH* result,
1747 Addr64 guest_addr,
1748 Bool upd_cache );
1749
1750extern void VG_(discard_translations) ( Addr64 start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001751
sewardj4ccf7072004-11-28 16:58:05 +00001752extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001753
nethercote92e7b7f2004-08-07 17:52:25 +00001754extern void VG_(print_tt_tc_stats) ( void );
1755
sewardjfa8ec112005-01-19 11:55:34 +00001756extern UInt VG_(get_bbs_translated) ( void );
1757
1758extern void VG_(show_BB_profile) ( void );
1759
sewardjde4a1d02002-03-22 01:27:54 +00001760
sewardjde4a1d02002-03-22 01:27:54 +00001761/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001762 Exports of vg_syscall.S
1763 ------------------------------------------------------------------ */
1764
njnca6fef02004-11-29 16:49:18 +00001765// We use a full prototype rather than "..." here to ensure that all
1766// arguments get converted to a UWord appropriately. Not doing so can
1767// cause problems when passing 32-bit integers on 64-bit platforms, because
1768// the top 32-bits might not be zeroed appropriately, eg. as would happen
1769// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001770extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001771
1772// Macros make life easier.
1773#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1774#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1775#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1776#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1777#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1778#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1779#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1780
jsgf855d93d2003-10-13 22:26:55 +00001781extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1782 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001783extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001784
1785/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001786 Exports of vg_dispatch.S
1787 ------------------------------------------------------------------ */
1788
njnd6f157d2004-11-30 17:27:21 +00001789/* This subroutine is called from the C world. It is passed
1790 a pointer to the VEX guest state (arch.vex). It must run code
1791 from the instruction pointer in the guest state, and exit when
1792 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1793 The return value must indicate why it returned back to the scheduler.
1794 It can also be exited if the executing code throws a non-resumable
1795 signal, for example SIGSEGV, in which case control longjmp()s back past
1796 here.
1797
1798 This code simply handles the common case fast -- when the translation
1799 address is found in the translation cache. For anything else, the
1800 scheduler does the work.
1801*/
sewardj2a99cf62004-11-24 10:44:19 +00001802extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001803
sewardjde4a1d02002-03-22 01:27:54 +00001804/* ---------------------------------------------------------------------
1805 Exports of vg_helpers.S
1806 ------------------------------------------------------------------ */
1807
fitzhardinge92360792003-12-24 10:11:11 +00001808/* Information about trampoline code (for signal return and syscalls) */
1809extern const Char VG_(trampoline_code_start);
1810extern const Int VG_(trampoline_code_length);
1811extern const Int VG_(tramp_sigreturn_offset);
1812extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001813
njn4f9c9342002-04-29 16:03:24 +00001814/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001815 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001816 ------------------------------------------------------------------ */
1817
fitzhardinge98abfc72003-12-16 02:05:15 +00001818#define VG_TRACK(fn, args...) \
1819 do { \
1820 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001821 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001822 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001823
fitzhardinge98abfc72003-12-16 02:05:15 +00001824__attribute__ ((noreturn))
1825extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001826
nethercotec06e2132004-09-03 13:45:29 +00001827// ---------------------------------------------------------------------
1828// Architecture-specific things defined in eg. x86/*.c
1829// ---------------------------------------------------------------------
1830
sewardj51ac0872004-12-21 01:20:49 +00001831// Returns the architecture and subarchitecture, or indicates
1832// that this subarchitecture is unable to run Valgrind
1833// Returns False to indicate we cannot proceed further.
1834
1835extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1836 /*OUT*/VexSubArch* );
1837
njncf45fd42004-11-24 16:30:22 +00001838// Accessors for the ThreadArchState
1839#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1840#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1841#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
1842
1843#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1844#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1845#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
1846
sewardj4bd11462004-11-29 19:46:28 +00001847
njn16de5572004-11-27 14:27:21 +00001848// Offsets for the Vex state
njncf45fd42004-11-24 16:30:22 +00001849#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1850#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
1851
1852#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1853#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1854
1855
sewardj2a99cf62004-11-24 10:44:19 +00001856// Setting up the initial thread (1) state
1857extern void
1858 VGA_(init_thread1state) ( Addr client_eip,
1859 Addr esp_at_startup,
1860 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001861
nethercotec009ebe2004-09-13 11:05:11 +00001862// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001863extern void VGA_(cleanup_thread) ( ThreadArchState* );
1864extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001865
nethercote6b9c8472004-09-13 13:16:40 +00001866extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1867extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1868
nethercotec009ebe2004-09-13 11:05:11 +00001869// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001870extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001871
nethercotefedd8102004-09-13 15:19:34 +00001872// Pointercheck
1873extern Bool VGA_(setup_pointercheck) ( void );
1874
1875// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001876extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001877
nethercote6eec4602004-09-13 14:15:36 +00001878// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001879extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001880 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001881 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001882 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001883extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1884
nethercote9b3c7652004-10-19 13:18:00 +00001885// libpthread stuff
njne7da73c2004-11-26 12:44:19 +00001886typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001887
njne7da73c2004-11-26 12:44:19 +00001888void VGA_(thread_create) ( ThreadArchAux *aux );
1889void VGA_(thread_wrapper)( ThreadArchAux *aux );
nethercote9b3c7652004-10-19 13:18:00 +00001890void VGA_(thread_exit) ( void );
1891
1892Bool VGA_(has_tls) ( void );
1893
1894#define MY__STRING(__str) #__str
1895
1896// Assertion to use in code running on the simulated CPU.
1897#define my_assert(expr) \
1898 ((void) ((expr) ? 0 : \
1899 (VG_(user_assert_fail) (MY__STRING(expr), \
1900 __FILE__, __LINE__, \
1901 __PRETTY_FUNCTION__), 0)))
1902
1903extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1904 Int line, const Char* fn );
1905
1906
nethercote41c75da2004-10-18 15:34:14 +00001907// ---------------------------------------------------------------------
1908// Platform-specific things defined in eg. x86/*.c
1909// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001910
njncf45fd42004-11-24 16:30:22 +00001911// Accessors for the ThreadArchState
1912#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1913#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1914#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1915#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1916#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1917#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1918#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1919#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1920
1921// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001922#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001923#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1924#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1925#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1926#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1927#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1928#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1929#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1930
nethercote8ff888f2004-11-17 17:11:45 +00001931struct SyscallTableEntry {
1932 UInt *flags_ptr;
1933 void (*before)(ThreadId tid, ThreadState *tst);
1934 void (*after) (ThreadId tid, ThreadState *tst);
1935};
1936
1937/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1938 wrappers for the relevant syscalls used in the OS kernel for that number.
1939 Note that the constant names don't always match the wrapper names in a
1940 straightforward way. For example, on x86/Linux:
1941
1942 __NR_lchown --> sys_lchown16()
1943 __NR_lchown32 --> sys_lchown()
1944 __NR_select --> old_select()
1945 __NR__newselect --> sys_select()
1946*/
1947extern const struct SyscallTableEntry VGA_(syscall_table)[];
1948
1949extern const UInt VGA_(syscall_table_size);
1950
sewardj2a99cf62004-11-24 10:44:19 +00001951extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001952
njn7be36952004-11-24 18:14:41 +00001953/* We need our own copy of VG_(do_syscall)() to handle a special
1954 race-condition. If we've got signals unblocked, and we take a
1955 signal in the gap either just before or after the syscall, we may
1956 end up not running the syscall at all, or running it more than
1957 once.
1958
1959 The solution is to make the signal handler derive the proxy's
1960 precise state by looking to see which eip it is executing at
1961 exception time.
1962
1963 Ranges:
1964
1965 VGA_(sys_before) ... VGA_(sys_restarted):
1966 Setting up register arguments and running state. If
1967 interrupted, then the syscall should be considered to return
1968 ERESTARTSYS.
1969
1970 VGA_(sys_restarted):
1971 If interrupted and eip==VGA_(sys_restarted), then either the syscall
1972 was about to start running, or it has run, was interrupted and
1973 the kernel wants to restart it. eax still contains the
1974 syscall number. If interrupted, then the syscall return value
1975 should be ERESTARTSYS.
1976
1977 VGA_(sys_after):
1978 If interrupted and eip==VGA_(sys_after), the syscall either just
1979 finished, or it was interrupted and the kernel doesn't want to
1980 restart it. Either way, eax equals the correct return value
1981 (either the actual return value, or EINTR).
1982
1983 VGA_(sys_after) ... VGA_(sys_done):
1984 System call is complete, but the state hasn't been updated,
1985 nor has the result been written back. eax contains the return
1986 value.
1987
1988 Freakin' horrible...
1989*/
1990extern const Addr VGA_(sys_before), VGA_(sys_restarted),
1991 VGA_(sys_after), VGA_(sys_done);
1992
sewardjb0f03c72005-02-13 10:57:01 +00001993extern void VGA_(do_thread_syscall)
1994 ( UWord sys,
1995 UWord arg1, UWord arg2, UWord arg3,
1996 UWord arg4, UWord arg5, UWord arg6,
1997 /*OUT*/HWord *resultP,
1998 /*enum PXState*/Int *stateP,
1999 /*enum PXState*/Int poststate
2000 );
sewardj3b2736a2002-03-24 12:18:35 +00002001
2002/* ---------------------------------------------------------------------
2003 Finally - autoconf-generated settings
2004 ------------------------------------------------------------------ */
2005
2006#include "config.h"
2007
nethercotec06e2132004-09-03 13:45:29 +00002008#endif /* ndef __CORE_H */
2009
sewardjde4a1d02002-03-22 01:27:54 +00002010/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00002011/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00002012/*--------------------------------------------------------------------*/