blob: d4ef229c2f03d1821a356d371a33a30afa1857f4 [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
nethercotebb4222b2004-09-10 17:42:11 +000092#include "core_platform.h" // platform-specific stuff,
93 // eg. x86-linux/core_platform.h
sewardjb5f6f512005-03-10 23:59:00 +000094#include "core_os.h" // OS-specific stuff, eg. linux/core_os.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
sewardjb5f6f512005-03-10 23:59:00 +0000157 it's own use - just a small constant. */
158#define VG_N_RESERVED_FDS (10)
thughes8abf3922004-10-16 10:59:49 +0000159
fitzhardinge98abfc72003-12-16 02:05:15 +0000160/* Useful macros */
161/* a - alignment - must be a power of 2 */
162#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
163#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000164#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
165#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000166
sewardj51ac0872004-12-21 01:20:49 +0000167
nethercote80013e92004-09-05 20:39:51 +0000168/* ---------------------------------------------------------------------
169 Environment variables
170 ------------------------------------------------------------------ */
171
172/* The directory we look for all our auxillary files in */
173#define VALGRINDLIB "VALGRINDLIB"
174
175/* Additional command-line arguments; they are overridden by actual
176 command-line option. Each argument is separated by spaces. There
177 is no quoting mechanism.
178 */
179#define VALGRINDOPTS "VALGRIND_OPTS"
180
181/* If this variable is present in the environment, then valgrind will
182 not parse the command line for options at all; all options come
183 from this variable. Arguments are terminated by ^A (\001). There
184 is no quoting mechanism.
185
186 This variable is not expected to be set by anything other than
187 Valgrind itself, as part of its handling of execve with
188 --trace-children=yes. This variable should not be present in the
189 client environment.
190 */
191#define VALGRINDCLO "_VALGRIND_CLO"
192
fitzhardinge98abfc72003-12-16 02:05:15 +0000193
sewardjde4a1d02002-03-22 01:27:54 +0000194/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000195 Command-line-settable options
196 ------------------------------------------------------------------ */
197
sewardj4f094a72002-11-05 23:37:35 +0000198/* Default destination port to be used in logging over a network, if
199 none specified. */
200#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000201
202/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000203#define VG_CLO_MAX_SFILES 10
204
nethercote04d0fbc2004-01-26 16:48:06 +0000205/* Default debugger command. */
206#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
207
sewardj4cf05692002-10-27 20:28:29 +0000208/* Describes where logging output is to be sent. */
209typedef
210 enum {
211 VgLogTo_Fd,
212 VgLogTo_File,
sewardj603d4102005-01-11 14:01:02 +0000213 VgLogTo_FileExactly,
sewardj4cf05692002-10-27 20:28:29 +0000214 VgLogTo_Socket
215 } VgLogTo;
216
thughesad1c9562004-06-26 11:27:52 +0000217/* Application-visible file descriptor limits */
218extern Int VG_(fd_soft_limit);
219extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000220
sewardj8b635a42004-11-22 19:01:47 +0000221/* Vex iropt control */
222extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000223/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000224extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000225/* Enquire about whether to attach to a debugger at errors? default: NO */
226extern Bool VG_(clo_db_attach);
227/* The debugger command? default: whatever gdb ./configure found */
228extern Char* VG_(clo_db_command);
sewardjd153fae2005-01-10 17:24:47 +0000229/* Generating a suppression for each error? default: 0 (NO)
230 Other values: 1 (yes, but ask user), 2 (yes, don't ask user) */
231extern Int VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000232/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000233extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000234/* Automatically attempt to demangle C++ names? default: YES */
235extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000236/* Simulate child processes? default: NO */
237extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000238
239/* Where logging output is to be sent to.
240
nethercotef8548672004-06-21 12:42:35 +0000241 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
242 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000243
nethercotef8548672004-06-21 12:42:35 +0000244 When log_to == VgLogTo_File, clo_log_name holds the log-file
245 name, and is taken from the command line. clo_log_fd is then
246 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000247 (concatenated with the process ID) for writing.
248
nethercotef8548672004-06-21 12:42:35 +0000249 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000250 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000251 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000252 opening a connection to said hostname:portnumber pair.
253
nethercotef8548672004-06-21 12:42:35 +0000254 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000255 (stderr). */
256extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000257extern Int VG_(clo_log_fd);
258extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000259
thughes6233a382004-08-21 11:10:44 +0000260/* Add timestamps to log messages? default: NO */
261extern Bool VG_(clo_time_stamp);
262
sewardj6024b212003-07-13 10:54:33 +0000263/* The file descriptor to read for input. default: 0 == stdin */
264extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000265/* The number of suppression files specified. */
266extern Int VG_(clo_n_suppressions);
267/* The names of the suppression files. */
268extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
269
sewardjc771b292004-11-30 18:55:21 +0000270/* DEBUG: print generated code? default: 00000000 ( == NO ) */
sewardjfa8ec112005-01-19 11:55:34 +0000271extern Bool VG_(clo_trace_flags);
272/* DEBUG: do bb profiling? default: 00000000 ( == NO ) */
273extern Bool VG_(clo_profile_flags);
sewardjc771b292004-11-30 18:55:21 +0000274/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
275extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000276/* DEBUG: print system calls? default: NO */
277extern Bool VG_(clo_trace_syscalls);
278/* DEBUG: print signal details? default: NO */
279extern Bool VG_(clo_trace_signals);
280/* DEBUG: print symtab details? default: NO */
281extern Bool VG_(clo_trace_symtab);
sewardjb5f6f512005-03-10 23:59:00 +0000282/* DEBUG: print redirection details? default: NO */
283extern Bool VG_(clo_trace_redir);
sewardj8937c812002-04-12 20:12:20 +0000284/* DEBUG: print thread scheduling events? default: NO */
285extern Bool VG_(clo_trace_sched);
sewardjb5f6f512005-03-10 23:59:00 +0000286/* DEBUG: print pthreads calls? default: NO */
287extern Bool VG_(clo_trace_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000288/* Display gory details for the k'th most popular error. default:
289 Infinity. */
290extern Int VG_(clo_dump_error);
291/* Number of parents of a backtrace. Default: 8. */
292extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000293/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000294extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000295
rjwalshf5f536f2003-11-17 17:45:00 +0000296/* Track open file descriptors? */
297extern Bool VG_(clo_track_fds);
298
sewardj858964b2002-10-05 14:15:43 +0000299/* Should we run __libc_freeres at exit? Sometimes causes crashes.
300 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
301 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000302 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000303 cannot be overridden from the command line. */
304extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000305/* Generate branch-prediction hints? */
306extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000307/* Continue stack traces below main()? Default: NO */
308extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000309/* Test each client pointer dereference to check it's within the
310 client address space bounds */
311extern Bool VG_(clo_pointercheck);
sewardjb5f6f512005-03-10 23:59:00 +0000312/* Model the pthread library */
313extern Bool VG_(clo_model_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000314
sewardj062f3552005-01-06 16:13:40 +0000315/* HACK: Use hacked version of clone for Quadrics Elan3 drivers */
316extern Bool VG_(clo_support_elan3);
317
rjwalshe4e779d2004-04-16 23:02:29 +0000318/* Set up the libc freeres wrapper */
sewardjb5f6f512005-03-10 23:59:00 +0000319extern void VGA_(intercept_libc_freeres_wrapper)(Addr);
rjwalshe4e779d2004-04-16 23:02:29 +0000320
sewardjb5f6f512005-03-10 23:59:00 +0000321// Clean up the client by calling before the final reports
322extern void VGA_(final_tidyup)(ThreadId tid);
323
324// Arch-specific client requests
325extern Bool VGA_(client_requests)(ThreadId tid, UWord *args);
sewardj51ac0872004-12-21 01:20:49 +0000326
sewardjde4a1d02002-03-22 01:27:54 +0000327/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000328 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000329 ------------------------------------------------------------------ */
330
sewardjde4a1d02002-03-22 01:27:54 +0000331extern void VGP_(init_profiling) ( void );
332extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000333
njn25e49d8e72002-09-23 09:36:25 +0000334#undef VGP_PUSHCC
335#undef VGP_POPCC
336#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
337#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000338
sewardj51ac0872004-12-21 01:20:49 +0000339
sewardjde4a1d02002-03-22 01:27:54 +0000340/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000341 Tool-related types
njn810086f2002-11-14 12:42:47 +0000342 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000343/* These structs are not exposed to tools to mitigate possibility of
344 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000345 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000346typedef
347 struct {
348 Char* name;
349 Char* version;
350 Char* description;
351 Char* copyright_author;
352 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000353 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000354 }
355 VgDetails;
356
357extern VgDetails VG_(details);
358
359/* If new fields are added to this type, update:
360 * - vg_main.c:initialisation of VG_(needs)
361 * - vg_main.c:sanity_check_needs()
362 *
363 * If the name of this type or any of its fields change, update:
364 * - dependent comments (just search for "VG_(needs)").
365 */
366typedef
367 struct {
368 Bool libc_freeres;
369 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000370 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000371 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000372 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000373 Bool command_line_options;
374 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000375 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000376 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000377 Bool sanity_checks;
378 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000379 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000380 }
381 VgNeeds;
382
383extern VgNeeds VG_(needs);
384
fitzhardinge98abfc72003-12-16 02:05:15 +0000385extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000386
fitzhardinge98abfc72003-12-16 02:05:15 +0000387#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000388
sewardj51ac0872004-12-21 01:20:49 +0000389
njn810086f2002-11-14 12:42:47 +0000390/* ---------------------------------------------------------------------
391 Exports of vg_needs.c
392 ------------------------------------------------------------------ */
393
394void VG_(sanity_check_needs)(void);
395
sewardj51ac0872004-12-21 01:20:49 +0000396
njn810086f2002-11-14 12:42:47 +0000397/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000398 Exports of vg_malloc2.c
399 ------------------------------------------------------------------ */
400
401/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000402
403 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000404 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000405 SYMTAB for Valgrind's symbol table storage.
406 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000407 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
408 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000409 DEMANGLE for the C++ demangler.
410 EXECTXT for storing ExeContexts.
411 ERRORS for storing CoreErrors.
412 TRANSIENT for very short-term use. It should be empty in between uses.
413
njn25e49d8e72002-09-23 09:36:25 +0000414 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000415*/
416typedef Int ArenaId;
417
njn3e884182003-04-15 13:03:23 +0000418#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000419
njn3e884182003-04-15 13:03:23 +0000420#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000421#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000422#define VG_AR_SYMTAB 2
423#define VG_AR_JITTER 3
424#define VG_AR_CLIENT 4
425#define VG_AR_DEMANGLE 5
426#define VG_AR_EXECTXT 6
427#define VG_AR_ERRORS 7
428#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000429
nethercote2d5b8162004-08-11 09:40:52 +0000430// This is both the minimum payload size of a malloc'd block, and its
431// minimum alignment. Must be a power of 2 greater than 4, and should be
432// greater than 8.
433#define VG_MIN_MALLOC_SZB 8
434
435// Round-up size for --sloppy-malloc=yes.
436#define VG_SLOPPY_MALLOC_SZB 4
437
nethercote7ac7f7b2004-11-02 12:36:02 +0000438extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000439extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000440extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
441 SizeT nmemb, SizeT nbytes );
442extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
443 SizeT size );
444extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
445 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000446
nethercote7ac7f7b2004-11-02 12:36:02 +0000447extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000448
nethercote885dd912004-08-03 23:14:00 +0000449extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000450
nethercote3a42fb82004-08-03 18:08:50 +0000451extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000452
sewardjde4a1d02002-03-22 01:27:54 +0000453extern Bool VG_(is_empty_arena) ( ArenaId aid );
454
sewardj51ac0872004-12-21 01:20:49 +0000455
sewardjde4a1d02002-03-22 01:27:54 +0000456/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000457 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000458 ------------------------------------------------------------------ */
459
460/* This doesn't export code or data that valgrind.so needs to link
461 against. However, the scheduler does need to know the following
462 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000463 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000464
njn4c791212003-05-02 17:53:54 +0000465#define VG_USERREQ__MALLOC 0x2001
466#define VG_USERREQ__FREE 0x2002
467
sewardjb5f6f512005-03-10 23:59:00 +0000468/* Obsolete pthread-related requests */
sewardj20917d82002-05-28 01:36:45 +0000469#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
sewardj20917d82002-05-28 01:36:45 +0000470#define VG_USERREQ__QUIT 0x3002
sewardj20917d82002-05-28 01:36:45 +0000471#define VG_USERREQ__WAIT_JOINER 0x3003
sewardj20917d82002-05-28 01:36:45 +0000472#define VG_USERREQ__PTHREAD_JOIN 0x3004
sewardj20917d82002-05-28 01:36:45 +0000473#define VG_USERREQ__SET_CANCELSTATE 0x3005
474#define VG_USERREQ__SET_CANCELTYPE 0x3006
sewardj20917d82002-05-28 01:36:45 +0000475#define VG_USERREQ__TESTCANCEL 0x3007
sewardj20917d82002-05-28 01:36:45 +0000476#define VG_USERREQ__SET_CANCELPEND 0x3008
sewardj20917d82002-05-28 01:36:45 +0000477#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
thughese321d492004-10-17 15:00:20 +0000478#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
479#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
480#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000481#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
482#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
483#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
484#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
485#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
486#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
487#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
488#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000489#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
490#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000491#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
sewardjb5f6f512005-03-10 23:59:00 +0000492#define VG_USERREQ__SIGWAIT 0x3019
sewardj20917d82002-05-28 01:36:45 +0000493#define VG_USERREQ__PTHREAD_KILL 0x301A
494#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000495#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj8ad94e12002-05-29 00:10:20 +0000496#define VG_USERREQ__CLEANUP_PUSH 0x3020
497#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000498#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardjef037c72002-05-30 00:40:03 +0000499#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjb5f6f512005-03-10 23:59:00 +0000500#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardj2cb00342002-06-28 01:46:26 +0000501#define VG_USERREQ__SET_FHSTACK_USED 0x3025
502#define VG_USERREQ__GET_FHSTACK_USED 0x3026
503#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
504#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
fitzhardinge98abfc72003-12-16 02:05:15 +0000505#define VG_USERREQ__GET_SIGRT_MIN 0x302B
506#define VG_USERREQ__GET_SIGRT_MAX 0x302C
507#define VG_USERREQ__ALLOC_RTSIG 0x302D
fitzhardinge98abfc72003-12-16 02:05:15 +0000508#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
thughesdaa34562004-06-27 12:48:53 +0000509#define VG_USERREQ__GET_STACK_INFO 0x3033
sewardj45b4b372002-04-16 22:50:32 +0000510#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000511#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardjb5f6f512005-03-10 23:59:00 +0000512
513
514#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
515
fitzhardinge39de4b42003-10-31 07:12:21 +0000516/* Internal equivalent of VALGRIND_PRINTF . */
517#define VG_USERREQ__INTERNAL_PRINTF 0x3103
518/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
519#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000520
sewardjb5f6f512005-03-10 23:59:00 +0000521/* Denote the finish of __libc_freeres_wrapper().
522 A synonym for exit. */
523#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
sewardj54cacf02002-04-12 23:24:59 +0000524
rjwalshe4e779d2004-04-16 23:02:29 +0000525#define VG_INTERCEPT_PREFIX "_vgi__"
526#define VG_INTERCEPT_PREFIX_LEN 6
527#define VG_INTERCEPT(name) _vgi__##name
528#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
529
530#define VG_WRAPPER_PREFIX "_vgw__"
531#define VG_WRAPPER_PREFIX_LEN 6
532#define VG_WRAPPER(name) _vgw__##name
533#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
534
njn4c791212003-05-02 17:53:54 +0000535
fitzhardinge98abfc72003-12-16 02:05:15 +0000536struct vg_mallocfunc_info {
537 /* things vg_replace_malloc.o needs to know about */
njnd2252832004-11-26 10:53:33 +0000538 Addr tl_malloc;
539 Addr tl_calloc;
540 Addr tl_realloc;
541 Addr tl_memalign;
542 Addr tl___builtin_new;
543 Addr tl___builtin_vec_new;
544 Addr tl_free;
545 Addr tl___builtin_delete;
546 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000547
548 Addr arena_payload_szB;
549
550 Bool clo_sloppy_malloc;
551 Bool clo_trace_malloc;
552};
sewardj1fe7b002002-07-16 01:43:15 +0000553
sewardj51ac0872004-12-21 01:20:49 +0000554
sewardj2e93c502002-04-12 11:12:52 +0000555/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000556 Exports of vg_defaults.c
557 ------------------------------------------------------------------ */
558
njnd2252832004-11-26 10:53:33 +0000559extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000560
sewardj51ac0872004-12-21 01:20:49 +0000561
nethercote1f0173b2004-02-28 15:40:36 +0000562
563/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000564 Exports of vg_scheduler.c
565 ------------------------------------------------------------------ */
566
sewardjb5f6f512005-03-10 23:59:00 +0000567/*
568 Thread state machine:
569
570 Empty -> Init -> Runnable <=> WaitSys/Yielding
571 ^ |
572 \---- Zombie -----/
573 */
sewardj2e93c502002-04-12 11:12:52 +0000574typedef
jsgf855d93d2003-10-13 22:26:55 +0000575 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000576 VgTs_Empty, /* this slot is not in use */
sewardjb5f6f512005-03-10 23:59:00 +0000577 VgTs_Init, /* just allocated */
578 VgTs_Runnable, /* ready to run */
jsgf855d93d2003-10-13 22:26:55 +0000579 VgTs_WaitSys, /* waiting for a syscall to complete */
sewardjb5f6f512005-03-10 23:59:00 +0000580 VgTs_Yielding, /* temporarily yielding the CPU */
581 VgTs_Zombie, /* transient state just before exiting */
sewardj2e93c502002-04-12 11:12:52 +0000582 }
583 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000584
sewardjb5f6f512005-03-10 23:59:00 +0000585/* Return codes from the scheduler. */
thughes11975ff2004-06-12 12:58:22 +0000586typedef
sewardjb5f6f512005-03-10 23:59:00 +0000587 enum {
588 VgSrc_None, /* not exiting yet */
589 VgSrc_ExitSyscall, /* client called exit(). This is the normal
590 route out. */
591 VgSrc_FatalSig /* Killed by the default action of a fatal
592 signal */
thughes11975ff2004-06-12 12:58:22 +0000593 }
sewardjb5f6f512005-03-10 23:59:00 +0000594 VgSchedReturnCode;
thughes11975ff2004-06-12 12:58:22 +0000595
sewardjb5f6f512005-03-10 23:59:00 +0000596struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000597 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
598 The thread identity is simply the index in vg_threads[].
599 ThreadId == 1 is the root thread and has the special property
600 that we don't try and allocate or deallocate its stack. For
601 convenience of generating error message, we also put the
602 ThreadId in this tid field, but be aware that it should
603 ALWAYS == the index in vg_threads[]. */
604 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000605
sewardjb5f6f512005-03-10 23:59:00 +0000606 /* Current scheduling status. */
njn25e49d8e72002-09-23 09:36:25 +0000607 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000608
sewardjb5f6f512005-03-10 23:59:00 +0000609 /* This is set if the thread is in the process of exiting for any
610 reason. The precise details of the exit are in the OS-specific
611 state. */
612 VgSchedReturnCode exitreason;
sewardj3b5d8862002-04-20 13:53:23 +0000613
sewardjb5f6f512005-03-10 23:59:00 +0000614 /* Architecture-specific thread state. */
615 ThreadArchState arch;
sewardjb48e5002002-05-13 00:16:03 +0000616
njn25e49d8e72002-09-23 09:36:25 +0000617 /* This thread's blocked-signals mask. Semantics is that for a
618 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000619 blocked by this signal mask. If more than one thread accepts a
620 signal, then it will be delivered to one at random. If all
621 threads block the signal, it will remain pending until either a
sewardjb5f6f512005-03-10 23:59:00 +0000622 thread unblocks it or someone uses sigwaitsig/sigtimedwait. */
nethercote73b526f2004-10-31 18:48:21 +0000623 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000624
sewardjb5f6f512005-03-10 23:59:00 +0000625 /* tmp_sig_mask is usually the same as sig_mask, and is kept in
626 sync whenever sig_mask is changed. The only time they have
627 different values is during the execution of a sigsuspend, where
628 tmp_sig_mask is the temporary mask which sigsuspend installs.
629 It is only consulted to compute the signal mask applied to a
630 signal handler. */
631 vki_sigset_t tmp_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000632
sewardjb5f6f512005-03-10 23:59:00 +0000633 /* A little signal queue for signals we can't get the kernel to
634 queue for us. This is only allocated as needed, since it should
635 be rare. */
636 struct SigQueue *sig_queue;
637
638 /* Syscall the Thread is currently running; -1 if none. Should only
639 be set while Thread is in VgTs_WaitSys. */
640 Int syscallno;
641
642 /* A value the Tool wants to pass from its pre-syscall to its
643 post-syscall function. */
644 void *tool_pre_syscall_value;
thughes8abf3922004-10-16 10:59:49 +0000645
njn25e49d8e72002-09-23 09:36:25 +0000646 /* Stacks. When a thread slot is freed, we don't deallocate its
647 stack; we just leave it lying around for the next use of the
648 slot. If the next use of the slot requires a larger stack,
649 only then is the old one deallocated and a new one
650 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000651
njn25e49d8e72002-09-23 09:36:25 +0000652 For the main thread (threadid == 0), this mechanism doesn't
653 apply. We don't know the size of the stack since we didn't
654 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000655
njn25e49d8e72002-09-23 09:36:25 +0000656 /* The allocated size of this thread's stack (permanently zero
657 if this is ThreadId == 0, since we didn't allocate its stack) */
658 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000659
njn25e49d8e72002-09-23 09:36:25 +0000660 /* Address of the lowest word in this thread's stack. NULL means
661 not allocated yet.
662 */
663 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000664
sewardj92a59562002-09-30 00:53:10 +0000665 /* Address of the highest legitimate word in this stack. This is
666 used for error messages only -- not critical for execution
667 correctness. Is is set for all stacks, specifically including
668 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000669 Addr stack_highest_word;
670
fitzhardinge98c4dc02004-03-16 08:27:29 +0000671 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000672 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000673
sewardjb5f6f512005-03-10 23:59:00 +0000674 /* OS-specific thread state */
675 os_thread_t os_state;
sewardj004e8ca2005-02-28 17:27:04 +0000676
677 /* Used in the syscall handlers. Set to True to indicate that the
678 PRE routine for a syscall has set the syscall result already and
679 so the syscall does not need to be handed to the kernel. */
680 Bool syscall_result_set;
sewardjb5f6f512005-03-10 23:59:00 +0000681
682 /* Per-thread jmp_buf to resume scheduler after a signal */
683 Bool sched_jmpbuf_valid;
684 jmp_buf sched_jmpbuf;
685
686 /* Info about the signal we just got */
687 vki_siginfo_t siginfo;
nethercote8ff888f2004-11-17 17:11:45 +0000688};
689//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000690
sewardj018f7622002-05-15 21:13:39 +0000691/* The thread table. */
692extern ThreadState VG_(threads)[VG_N_THREADS];
693
sewardjb5f6f512005-03-10 23:59:00 +0000694/* Allocate a new ThreadState */
695extern ThreadId VG_(alloc_ThreadState)(void);
696
697/* A thread exits. tid must currently be running. */
698extern void VG_(exit_thread)(ThreadId tid);
699
700/* Kill a thread. This interrupts whatever a thread is doing, and
701 makes it exit ASAP. This does not set the exitreason or
702 exitcode. */
703extern void VG_(kill_thread)(ThreadId tid);
704
sewardj018f7622002-05-15 21:13:39 +0000705/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000706extern Bool VG_(is_valid_tid) ( ThreadId tid );
707
jsgf855d93d2003-10-13 22:26:55 +0000708/* Get the ThreadState for a particular thread */
709extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
710
sewardjb5f6f512005-03-10 23:59:00 +0000711/* Given an LWP id (ie, real kernel thread id), find the corresponding
712 ThreadId */
713extern ThreadId VG_(get_lwp_tid)(Int lwpid);
714
715/* Returns true if a thread is currently running (ie, has the CPU lock) */
716extern Bool VG_(is_running_thread)(ThreadId tid);
717
718/* Returns true if the thread is in the process of exiting */
719extern Bool VG_(is_exiting)(ThreadId tid);
720
721/* Return the number of non-dead Threads */
722extern Int VG_(count_living_threads)(void);
723
sewardjccef2e62002-05-29 19:26:32 +0000724/* Nuke all threads except tid. */
sewardjb5f6f512005-03-10 23:59:00 +0000725extern void VG_(nuke_all_threads_except) ( ThreadId me, VgSchedReturnCode reason );
sewardjccef2e62002-05-29 19:26:32 +0000726
sewardjb5f6f512005-03-10 23:59:00 +0000727/* Make a thread the running thread. The thread must previously been
728 sleeping, and not holding the CPU semaphore. This will set the
729 thread state to VgTs_Runnable, and the thread will attempt to take
730 the CPU semaphore. By the time it returns, tid will be the running
731 thread. */
732extern void VG_(set_running) ( ThreadId tid );
jsgf855d93d2003-10-13 22:26:55 +0000733
sewardjb5f6f512005-03-10 23:59:00 +0000734/* Set a thread into a sleeping state. Before the call, the thread
735 must be runnable, and holding the CPU semaphore. When this call
736 returns, the thread will be set to the specified sleeping state,
737 and will not be holding the CPU semaphore. Note that another
738 thread could be running by the time this call returns, so the
739 caller must be careful not to touch any shared state. It is also
740 the caller's responsibility to actually block until the thread is
741 ready to run again. */
742extern void VG_(set_sleeping) ( ThreadId tid, ThreadStatus state );
sewardj2e93c502002-04-12 11:12:52 +0000743
sewardjb5f6f512005-03-10 23:59:00 +0000744/* Yield the CPU for a while */
745extern void VG_(vg_yield)(void);
sewardj7e87e382002-05-03 19:09:05 +0000746
sewardjb5f6f512005-03-10 23:59:00 +0000747// The scheduler.
748extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid );
749
750// Do everything which needs doing before the process finally ends,
751// like printing reports, etc
752extern void VG_(shutdown_actions)(ThreadId tid);
sewardj2e93c502002-04-12 11:12:52 +0000753
754extern void VG_(scheduler_init) ( void );
755
sewardj15a43e12002-04-17 19:35:12 +0000756extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000757
nethercote75d26242004-08-01 22:59:18 +0000758// Longjmp back to the scheduler and thus enter the sighandler immediately.
sewardjb5f6f512005-03-10 23:59:00 +0000759extern void VG_(resume_scheduler) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000760
sewardjb5f6f512005-03-10 23:59:00 +0000761/* If true, a fault is Valgrind-internal (ie, a bug) */
762extern Bool VG_(my_fault);
nethercote238a3c32004-08-09 13:13:31 +0000763
sewardj2e93c502002-04-12 11:12:52 +0000764/* The red-zone size which we put at the bottom (highest address) of
765 thread stacks, for paranoia reasons. This can be arbitrary, and
766 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000767#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000768
nethercoteaff1c772004-09-13 16:11:09 +0000769// Write a value to a client's thread register, and shadow (if necessary).
770// Note that there are some further similar macros in the arch- and
771// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000772#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
773 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
774 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000775 } while (0)
776
njnd3040452003-05-19 15:04:06 +0000777#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000778 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
779 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000780
781#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000782 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
783 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000784
785#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000786 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
787 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000788
789#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000790 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
791 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000792
sewardj2e93c502002-04-12 11:12:52 +0000793/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000794 Exports of vg_signals.c
795 ------------------------------------------------------------------ */
796
sewardjb5f6f512005-03-10 23:59:00 +0000797/* Set the standard set of blocked signals, used wheneever we're not
798 running a client syscall. */
799extern void VG_(block_signals)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +0000800
sewardjb5f6f512005-03-10 23:59:00 +0000801/* Highest signal the kernel will let us use */
802extern Int VG_(max_signal);
jsgf855d93d2003-10-13 22:26:55 +0000803
sewardjde4a1d02002-03-22 01:27:54 +0000804extern void VG_(sigstartup_actions) ( void );
805
sewardjb5f6f512005-03-10 23:59:00 +0000806/* Modify a thread's state so that when it next runs it will be
807 running in the signal handler (or doing the default action if there
808 is none). */
809extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t * );
sewardj018f7622002-05-15 21:13:39 +0000810
jsgf855d93d2003-10-13 22:26:55 +0000811extern Bool VG_(is_sig_ign) ( Int sigNo );
812
sewardjb5f6f512005-03-10 23:59:00 +0000813/* Poll a thread's set of pending signals, and update the Thread's context to deliver one */
814extern void VG_(poll_signals) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000815
816/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000817extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
sewardjb5f6f512005-03-10 23:59:00 +0000818extern Int VG_(do_sys_sigaction) ( Int signo,
819 const struct vki_sigaction *new_act,
820 struct vki_sigaction *old_act );
nethercote93d9aa12004-11-10 19:08:31 +0000821extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000822 vki_sigset_t* set,
823 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000824extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000825 vki_sigset_t* set,
826 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000827
sewardj2e93c502002-04-12 11:12:52 +0000828/* Handy utilities to block/restore all host signals. */
829extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000830 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000831extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000832 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000833
jsgf855d93d2003-10-13 22:26:55 +0000834extern void VG_(kill_self)(Int sigNo);
835
fitzhardingef1beb252004-03-16 09:49:08 +0000836/* These function synthesize a fault, as if the running instruction
837 had had a fault. These functions do not return - they longjmp back
838 into the scheduler so the signal can be delivered. */
839extern void VG_(synth_fault) (ThreadId tid);
840extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
841extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +0000842extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +0000843
nethercote759dda32004-08-07 18:16:56 +0000844extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000845
sewardjb5f6f512005-03-10 23:59:00 +0000846/* Extend the stack to cover addr, if possible */
847extern Bool VG_(extend_stack)(Addr addr, UInt maxsize);
848
849/* Returns True if the signal is OK for the client to use */
850extern Bool VG_(client_signal_OK)(Int sigNo);
851
852/* Forces the client's signal handler to SIG_DFL - generally just
853 before using that signal to kill the process. */
854extern void VG_(set_default_handler)(Int sig);
855
856/* Adjust a client's signal mask to match our internal requirements */
857extern void VG_(sanitize_client_sigmask)(ThreadId tid, vki_sigset_t *mask);
858
859/* Wait until a thread-related predicate is true */
860extern void VG_(wait_for_threadstate)(Bool (*pred)(void *), void *arg);
sewardj51ac0872004-12-21 01:20:49 +0000861
sewardjde4a1d02002-03-22 01:27:54 +0000862/* ---------------------------------------------------------------------
863 Exports of vg_mylibc.c
864 ------------------------------------------------------------------ */
865
njnca0518d2004-11-26 19:34:36 +0000866// Useful for making failing stubs, when certain things haven't yet been
867// implemented.
868#define I_die_here \
869 VG_(core_assert_fail) ("Unimplemented functionality", \
870 __FILE__, __LINE__, __PRETTY_FUNCTION__)
871
njne427a662002-10-02 11:08:25 +0000872#define vg_assert(expr) \
873 ((void) ((expr) ? 0 : \
874 (VG_(core_assert_fail) (VG__STRING(expr), \
875 __FILE__, __LINE__, \
876 __PRETTY_FUNCTION__), 0)))
877__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +0000878extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
879 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +0000880__attribute__ ((__noreturn__))
881extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +0000882__attribute__ ((__noreturn__))
883extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +0000884
nethercote05675c82004-08-04 10:37:49 +0000885/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +0000886extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000887
njn25e49d8e72002-09-23 09:36:25 +0000888extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +0000889extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +0000890
fitzhardinge98abfc72003-12-16 02:05:15 +0000891/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +0000892extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +0000893 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +0000894extern Int VG_(munmap)( void* start, SizeT length );
895extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
sewardj79048ce2005-02-18 08:28:32 +0000896extern Int VG_(mprotect_native)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +0000897
898
jsgf855d93d2003-10-13 22:26:55 +0000899/* Move an fd into the Valgrind-safe range */
900Int VG_(safe_fd)(Int oldfd);
901
sewardj570f8902002-11-03 11:44:36 +0000902extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000903
904/* --- Connecting over the network --- */
905extern Int VG_(connect_via_socket)( UChar* str );
906
fitzhardinge98abfc72003-12-16 02:05:15 +0000907/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +0000908extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
909 const Char *val );
910extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
911extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +0000912
sewardjb5f6f512005-03-10 23:59:00 +0000913extern void VG_(nanosleep)(struct vki_timespec *);
sewardj570f8902002-11-03 11:44:36 +0000914/* ---------------------------------------------------------------------
915 Exports of vg_message.c
916 ------------------------------------------------------------------ */
917
918/* Low-level -- send bytes directly to the message sink. Do not
919 use. */
920extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
921
nethercoted1da90e2004-08-03 17:26:39 +0000922// Functions for printing from code within Valgrind, but which runs on the
sewardjb5f6f512005-03-10 23:59:00 +0000923// sim'd CPU. Defined here because needed for vg_replace_malloc.c. The
924// weak attribute ensures the multiple definitions are not a problem. They
925// must be functions rather than macros so that va_list can be used.
nethercotec91ce8d2004-08-09 11:15:10 +0000926
927__attribute__((weak))
928int
929VALGRIND_INTERNAL_PRINTF(char *format, ...)
930{
nethercotebe671db2004-10-26 11:44:46 +0000931 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +0000932 va_list vargs;
933 va_start(vargs, format);
934 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +0000935 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +0000936 va_end(vargs);
937 return _qzz_res;
938}
939
940__attribute__((weak))
941int
942VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
943{
nethercotebe671db2004-10-26 11:44:46 +0000944 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +0000945 va_list vargs;
946 va_start(vargs, format);
947 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +0000948 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +0000949 va_end(vargs);
950 return _qzz_res;
951}
952
nethercoted1da90e2004-08-03 17:26:39 +0000953
sewardjde4a1d02002-03-22 01:27:54 +0000954/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000955 Exports of vg_demangle.c
956 ------------------------------------------------------------------ */
957
958extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
959
sewardjb5f6f512005-03-10 23:59:00 +0000960extern void VG_(reloc_abs_jump) ( UChar *jmp );
sewardj4ccf7072004-11-28 16:58:05 +0000961
sewardjde4a1d02002-03-22 01:27:54 +0000962/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000963 Exports of vg_translate.c
964 ------------------------------------------------------------------ */
965
sewardjfa8ec112005-01-19 11:55:34 +0000966extern
967Bool VG_(translate) ( ThreadId tid,
968 Addr64 orig_addr,
969 Bool debugging_translation,
970 Int debugging_verbosity );
sewardjb5ff83e2002-12-01 19:40:49 +0000971
sewardjde4a1d02002-03-22 01:27:54 +0000972/* ---------------------------------------------------------------------
973 Exports of vg_execontext.c.
974 ------------------------------------------------------------------ */
975
nethercote4ad74312004-10-26 09:59:49 +0000976/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +0000977 values are used in comparisons do remove duplicate errors, and for
978 comparing against suppression specifications. The rest are purely
979 informational (but often important). */
980
njn25e49d8e72002-09-23 09:36:25 +0000981struct _ExeContext {
982 struct _ExeContext * next;
983 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +0000984 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +0000985 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +0000986 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +0000987};
sewardjde4a1d02002-03-22 01:27:54 +0000988
989
sewardjde4a1d02002-03-22 01:27:54 +0000990/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +0000991extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000992
njn25e49d8e72002-09-23 09:36:25 +0000993/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +0000994extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
995 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000996
997
998/* ---------------------------------------------------------------------
999 Exports of vg_errcontext.c.
1000 ------------------------------------------------------------------ */
1001
sewardjb5f6f512005-03-10 23:59:00 +00001002typedef
1003 enum {
1004 ThreadErr = -1, // Thread error
1005 MutexErr = -2, // Mutex error
1006 }
1007 CoreErrorKind;
sewardjde4a1d02002-03-22 01:27:54 +00001008
sewardjb5f6f512005-03-10 23:59:00 +00001009extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001010
njn25e49d8e72002-09-23 09:36:25 +00001011extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001012
nethercotef2b11482004-08-02 12:36:01 +00001013extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001014
nethercotef2b11482004-08-02 12:36:01 +00001015extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001016
sewardj51ac0872004-12-21 01:20:49 +00001017
sewardjde4a1d02002-03-22 01:27:54 +00001018/* ---------------------------------------------------------------------
1019 Exports of vg_procselfmaps.c
1020 ------------------------------------------------------------------ */
1021
sewardjb5f6f512005-03-10 23:59:00 +00001022/* Parses /proc/self/maps, calling `record_mapping' for each entry. */
sewardjde4a1d02002-03-22 01:27:54 +00001023extern
njnfa1016e2003-09-25 17:54:11 +00001024void VG_(parse_procselfmaps) (
sewardjb5f6f512005-03-10 23:59:00 +00001025 void (*record_mapping)( Addr addr, SizeT len, UInt prot,
nethercote85cdd342004-08-01 22:36:40 +00001026 UInt dev, UInt ino, ULong foff,
1027 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001028
1029
1030/* ---------------------------------------------------------------------
1031 Exports of vg_symtab2.c
1032 ------------------------------------------------------------------ */
1033
fitzhardinge98abfc72003-12-16 02:05:15 +00001034typedef struct _Segment Segment;
sewardjb5f6f512005-03-10 23:59:00 +00001035typedef struct _CodeRedirect CodeRedirect;
fitzhardinge98abfc72003-12-16 02:05:15 +00001036
1037extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001038extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001039extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001040extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001041extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001042
njn25e49d8e72002-09-23 09:36:25 +00001043extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001044
sewardjb5f6f512005-03-10 23:59:00 +00001045extern Addr VG_(reverse_search_one_symtab) ( const SegInfo* si, const Char* name );
1046
fitzhardinge98abfc72003-12-16 02:05:15 +00001047/* Set up some default redirects */
1048extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001049
sewardjb5f6f512005-03-10 23:59:00 +00001050extern Bool VG_(resolve_redir_allsegs)(CodeRedirect *redir);
1051
1052/* ---------------------------------------------------------------------
1053 Exports of vg_redir.c
1054 ------------------------------------------------------------------ */
fitzhardinge98abfc72003-12-16 02:05:15 +00001055/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001056extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001057
sewardjb5f6f512005-03-10 23:59:00 +00001058extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1059 Addr to_addr);
1060extern void VG_(resolve_seg_redirs)(SegInfo *si);
1061extern Bool VG_(resolve_redir)(CodeRedirect *redir, const SegInfo *si);
1062
1063/* Wrapping machinery */
1064enum return_type {
1065 RT_RETURN,
1066 RT_LONGJMP,
1067 RT_EXIT,
1068};
1069
1070typedef struct _FuncWrapper FuncWrapper;
1071struct _FuncWrapper {
1072 void *(*before)(va_list args);
1073 void (*after) (void *nonce, enum return_type, Word retval);
1074};
1075
1076extern void VG_(wrap_function)(Addr eip, const FuncWrapper *wrapper);
1077extern const FuncWrapper *VG_(is_wrapped)(Addr eip);
1078extern Bool VG_(is_wrapper_return)(Addr eip);
1079
1080/* Primary interface for adding wrappers for client-side functions. */
1081extern CodeRedirect *VG_(add_wrapper)(const Char *from_lib, const Char *from_sym,
1082 const FuncWrapper *wrapper);
1083
1084extern Bool VG_(is_resolved)(const CodeRedirect *redir);
sewardj51ac0872004-12-21 01:20:49 +00001085
sewardjde4a1d02002-03-22 01:27:54 +00001086/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001087 Exports of vg_main.c
1088 ------------------------------------------------------------------ */
1089
sewardj73cf3bc2002-11-03 03:20:15 +00001090/* Tell the logging mechanism whether we are logging to a file
1091 descriptor or a socket descriptor. */
1092extern Bool VG_(logging_to_filedes);
1093
njn25e49d8e72002-09-23 09:36:25 +00001094/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001095extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001096
fitzhardinge98abfc72003-12-16 02:05:15 +00001097/* Address space */
1098extern Addr VG_(client_base); /* client address space limits */
1099extern Addr VG_(client_end);
1100extern Addr VG_(client_mapbase); /* base of mappings */
1101extern Addr VG_(clstk_base); /* client stack range */
1102extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001103extern Addr VG_(client_trampoline_code);
1104
fitzhardinge98abfc72003-12-16 02:05:15 +00001105extern Addr VG_(brk_base); /* start of brk */
1106extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001107extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001108extern Addr VG_(shadow_end);
1109extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001110extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001111
nethercote73b526f2004-10-31 18:48:21 +00001112extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1113extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001114
fitzhardingea49f9b52003-12-16 22:26:45 +00001115/* client executable file descriptor */
1116extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001117
nethercotef6a1d502004-08-09 12:21:57 +00001118// Help set up the child used when doing execve() with --trace-children=yes
1119Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1120Char* VG_(build_child_exename) ( void );
1121
sewardjb5f6f512005-03-10 23:59:00 +00001122/* The master thread the one which will be responsible for mopping
1123 everything up at exit. Normally it is tid 1, since that's the
1124 first thread created, but it may be something else after a
1125 fork(). */
1126extern ThreadId VG_(master_tid);
1127
sewardjde4a1d02002-03-22 01:27:54 +00001128/* Called when some unhandleable client behaviour is detected.
1129 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001130extern void VG_(unimplemented) ( Char* msg )
1131 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001132
nethercote04d0fbc2004-01-26 16:48:06 +00001133/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001134extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001135
sewardjde4a1d02002-03-22 01:27:54 +00001136/* Counts downwards in vg_run_innerloop. */
1137extern UInt VG_(dispatch_ctr);
1138
sewardj4ccf7072004-11-28 16:58:05 +00001139/* Instruction pointer guest state offset, used by $VG_ARCH/dispatch.S. */
njn87c98122004-11-30 23:32:01 +00001140extern OffT VG_(instr_ptr_offset);
njn16de5572004-11-27 14:27:21 +00001141
sewardj4ccf7072004-11-28 16:58:05 +00001142/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001143extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001144
sewardj51ac0872004-12-21 01:20:49 +00001145/* Indicates what arch and subarch we are running on. */
1146extern VexArch VG_(vex_arch);
1147extern VexSubArch VG_(vex_subarch);
1148
nethercote2e05c332004-09-06 16:43:37 +00001149
sewardjde4a1d02002-03-22 01:27:54 +00001150/* ---------------------------------------------------------------------
1151 Exports of vg_memory.c
1152 ------------------------------------------------------------------ */
1153
fitzhardinge98abfc72003-12-16 02:05:15 +00001154/* A Segment is mapped piece of client memory. This covers all kinds
1155 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1156
1157 We try to encode everything we know about a particular segment here.
1158*/
nethercote85cdd342004-08-01 22:36:40 +00001159#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1160#define SF_SHARED (1 << 1) // shared
1161#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1162#define SF_MMAP (1 << 3) // mmap memory
1163#define SF_FILE (1 << 4) // mapping is backed by a file
1164#define SF_STACK (1 << 5) // is a stack
1165#define SF_GROWDOWN (1 << 6) // segment grows down
1166#define SF_GROWUP (1 << 7) // segment grows up
1167#define SF_EXEC (1 << 8) // segment created by exec
1168#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1169#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1170#define SF_BRK (1 << 11) // brk segment
1171#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1172#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1173#define SF_CODE (1 << 14) // segment contains cached code
sewardjb5f6f512005-03-10 23:59:00 +00001174#define SF_DEVICE (1 << 15) // device mapping; avoid careless touching
fitzhardinge98abfc72003-12-16 02:05:15 +00001175
1176struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001177 UInt prot; // VKI_PROT_*
1178 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001179
njnf9dc6192004-11-30 13:20:44 +00001180 Addr addr; // mapped addr (page aligned)
1181 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001182
njnf9dc6192004-11-30 13:20:44 +00001183 // These are valid if (flags & SF_FILE)
1184 OffT offset; // file offset
1185 const Char* filename; // filename (NULL if unknown)
sewardj79048ce2005-02-18 08:28:32 +00001186 Int fnIdx; // filename table index (-1 if unknown)
njnf9dc6192004-11-30 13:20:44 +00001187 UInt dev; // device
1188 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001189
njnf9dc6192004-11-30 13:20:44 +00001190 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001191};
1192
1193/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001194extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001195 Int fd, ULong off, const Char *filename);
1196
1197/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001198extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001199 UInt dev, UInt ino, ULong off, const Char *filename);
1200
1201/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001202extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001203
nethercote8b5f40c2004-11-02 13:29:50 +00001204extern void VG_(unmap_range) (Addr addr, SizeT len);
1205extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1206extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001207
sewardj548be6d2005-02-16 01:31:37 +00001208/* Find the segment containing a, or NULL if none. */
fitzhardinge98abfc72003-12-16 02:05:15 +00001209extern Segment *VG_(find_segment)(Addr a);
sewardj548be6d2005-02-16 01:31:37 +00001210
1211/* a is an unmapped address (is checked). Find the next segment
1212 along in the address space, or NULL if none. */
1213extern Segment *VG_(find_segment_above_unmapped)(Addr a);
1214
1215/* a is a mapped address (in a segment, is checked). Find the
1216 next segment along. */
1217extern Segment *VG_(find_segment_above_mapped)(Addr a);
1218
sewardj1024cf72005-02-28 14:39:21 +00001219extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1220extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001221
sewardjb5f6f512005-03-10 23:59:00 +00001222extern Segment *VG_(split_segment)(Addr a);
1223
1224extern void VG_(pad_address_space) (Addr start);
1225extern void VG_(unpad_address_space)(Addr start);
thughes9aaebc32004-07-15 23:13:37 +00001226
sewardj2a99cf62004-11-24 10:44:19 +00001227extern REGPARM(2)
1228 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001229
sewardjb5f6f512005-03-10 23:59:00 +00001230///* Search /proc/self/maps for changes which aren't reflected in the
1231// segment list */
1232//extern void VG_(sync_segments)(UInt flags);
jsgf855d93d2003-10-13 22:26:55 +00001233
sewardjb5f6f512005-03-10 23:59:00 +00001234/* Return string for prot */
1235extern const HChar *VG_(prot_str)(UInt prot);
jsgf855d93d2003-10-13 22:26:55 +00001236
sewardjb5f6f512005-03-10 23:59:00 +00001237//extern void VG_(print_shadow_stats)();
jsgf855d93d2003-10-13 22:26:55 +00001238
sewardjde4a1d02002-03-22 01:27:54 +00001239/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001240 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001241 ------------------------------------------------------------------ */
1242
sewardj79048ce2005-02-18 08:28:32 +00001243extern HChar* VG_(resolve_filename_nodup)(Int fd);
1244extern HChar* VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001245
sewardjb5f6f512005-03-10 23:59:00 +00001246/* Simple Valgrind-internal atfork mechanism */
1247extern void VG_(do_atfork_pre) (ThreadId tid);
1248extern void VG_(do_atfork_parent)(ThreadId tid);
1249extern void VG_(do_atfork_child) (ThreadId tid);
1250
1251
1252extern void VG_(client_syscall) ( ThreadId tid );
1253
1254extern void VG_(post_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001255
nethercote5b9fafd2004-11-04 18:39:22 +00001256extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001257
jsgf855d93d2003-10-13 22:26:55 +00001258/* Internal atfork handlers */
1259typedef void (*vg_atfork_t)(ThreadId);
1260extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001261
rjwalshf5f536f2003-11-17 17:45:00 +00001262/* fd leakage calls. */
1263extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001264extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001265
nethercote8ff888f2004-11-17 17:11:45 +00001266// Return true if address range entirely contained within client
1267// address space.
1268Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1269 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001270
1271// Return true if we're allowed to use or create this fd.
1272Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1273
njnc6168192004-11-29 13:54:10 +00001274void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001275
1276// Flags describing syscall wrappers
sewardjb5f6f512005-03-10 23:59:00 +00001277#define Special (1 << 0) /* handled specially */
1278#define MayBlock (1 << 1) /* may block */
1279#define PostOnFail (1 << 2) /* call POST() function on failure */
1280#define PadAddr (1 << 3) /* pad+unpad address space around syscall */
1281#define Done (1 << 4) /* used if a PRE() did the syscall */
nethercote8ff888f2004-11-17 17:11:45 +00001282
njn61fa0af2004-11-27 15:22:24 +00001283// Templates for generating the PRE and POST macros. For ones that must be
1284// publically visible, use an empty 'qual', 'prefix' should start with
1285// "vgArch_", and there should be corresponding global declarations (like
1286// the GEN_SYSCALL_WRAPPER ones below). Otherwise, use "static" for 'qual',
1287// and "vgArch_" should not be in the 'prefix'.
1288#define PRE_TEMPLATE(qual, prefix, name, f) \
1289 qual UInt prefix##_##name##_flags = f; \
1290 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1291#define POST_TEMPLATE(qual, prefix, name) \
1292 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1293
1294// This macro is used to write other macros which making writing syscall
1295// tables easier.
1296#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1297 [const] = { &prefix##_##name##_flags, \
1298 prefix##_##name##_before, NULL }
1299#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1300 [const] = { &prefix##_##name##_flags, \
1301 prefix##_##name##_before, \
1302 prefix##_##name##_after }
1303
1304// Macros for adding generic wrappers to a syscall table.
1305#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1306#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001307
njn22cfccb2004-11-27 16:10:23 +00001308// Space-saving macros for syscall wrappers
1309#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1310#define RES SYSCALL_RET(tst->arch) // in POST(x)
1311#define ARG1 SYSCALL_ARG1(tst->arch)
1312#define ARG2 SYSCALL_ARG2(tst->arch)
1313#define ARG3 SYSCALL_ARG3(tst->arch)
1314#define ARG4 SYSCALL_ARG4(tst->arch)
1315#define ARG5 SYSCALL_ARG5(tst->arch)
1316#define ARG6 SYSCALL_ARG6(tst->arch)
1317
sewardj004e8ca2005-02-28 17:27:04 +00001318#define SET_RESULT(val) \
1319 do { PLATFORM_SET_SYSCALL_RESULT(tst->arch, (val)); \
1320 tst->syscall_result_set = True; \
1321 } while (0)
njn22cfccb2004-11-27 16:10:23 +00001322
1323#define PRINT(format, args...) \
1324 if (VG_(clo_trace_syscalls)) \
1325 VG_(printf)(format, ## args)
1326
nethercote8ff888f2004-11-17 17:11:45 +00001327// Generic (platform-independent) syscall wrappers. These are generally
1328// POSIX or something like that; those that are not POSIX are annotated
1329// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001330// For many of them, it's unclear if they are generic, or Linux-specific, or
1331// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001332//
1333// Nb: This list may change over time... ones thought at first to be generic
1334// may turn out not to be, and so be moved into OS-specific or
1335// platform-specific files. If there's any doubt, I'm leaving them in here.
1336//
1337// Nb 2: if porting to a new OS, you should really check all these generic
1338// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001339//
1340// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1341// post-wrapper (which is actually not always needed), and the associated
1342// flags.
1343#define GEN_SYSCALL_WRAPPER(x) \
1344 extern UInt VGA_(gen_##x##_flags); \
1345 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1346 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001347
1348GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1349GEN_SYSCALL_WRAPPER(sys_exit);
1350GEN_SYSCALL_WRAPPER(sys_fork);
1351GEN_SYSCALL_WRAPPER(sys_read);
1352GEN_SYSCALL_WRAPPER(sys_write);
1353GEN_SYSCALL_WRAPPER(sys_open);
1354GEN_SYSCALL_WRAPPER(sys_close);
1355GEN_SYSCALL_WRAPPER(sys_waitpid);
1356GEN_SYSCALL_WRAPPER(sys_creat);
1357GEN_SYSCALL_WRAPPER(sys_link);
1358GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001359GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001360GEN_SYSCALL_WRAPPER(sys_chdir);
1361GEN_SYSCALL_WRAPPER(sys_time);
1362GEN_SYSCALL_WRAPPER(sys_mknod);
1363GEN_SYSCALL_WRAPPER(sys_chmod);
1364GEN_SYSCALL_WRAPPER(sys_lseek);
1365GEN_SYSCALL_WRAPPER(sys_getpid);
1366GEN_SYSCALL_WRAPPER(sys_alarm);
1367GEN_SYSCALL_WRAPPER(sys_pause);
1368GEN_SYSCALL_WRAPPER(sys_utime);
1369GEN_SYSCALL_WRAPPER(sys_access);
1370GEN_SYSCALL_WRAPPER(sys_kill);
1371GEN_SYSCALL_WRAPPER(sys_rename);
1372GEN_SYSCALL_WRAPPER(sys_mkdir);
1373GEN_SYSCALL_WRAPPER(sys_rmdir);
1374GEN_SYSCALL_WRAPPER(sys_dup);
1375GEN_SYSCALL_WRAPPER(sys_times);
1376GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1377GEN_SYSCALL_WRAPPER(sys_setpgid);
1378GEN_SYSCALL_WRAPPER(sys_umask);
1379GEN_SYSCALL_WRAPPER(sys_dup2);
1380GEN_SYSCALL_WRAPPER(sys_getppid);
1381GEN_SYSCALL_WRAPPER(sys_getpgrp);
1382GEN_SYSCALL_WRAPPER(sys_setsid);
1383GEN_SYSCALL_WRAPPER(sys_munmap);
1384GEN_SYSCALL_WRAPPER(sys_truncate);
1385GEN_SYSCALL_WRAPPER(sys_ftruncate);
1386GEN_SYSCALL_WRAPPER(sys_fchmod);
1387GEN_SYSCALL_WRAPPER(sys_msync);
1388GEN_SYSCALL_WRAPPER(sys_readv);
1389GEN_SYSCALL_WRAPPER(sys_writev);
1390GEN_SYSCALL_WRAPPER(sys_getsid);
1391GEN_SYSCALL_WRAPPER(sys_fdatasync);
1392GEN_SYSCALL_WRAPPER(sys_mlock);
1393GEN_SYSCALL_WRAPPER(sys_munlock);
1394GEN_SYSCALL_WRAPPER(sys_mlockall);
1395GEN_SYSCALL_WRAPPER(sys_munlockall);
1396GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1397GEN_SYSCALL_WRAPPER(sys_sched_getparam);
sewardjb5f6f512005-03-10 23:59:00 +00001398GEN_SYSCALL_WRAPPER(sys_sched_rr_get_interval);
nethercote8ff888f2004-11-17 17:11:45 +00001399GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1400GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1401GEN_SYSCALL_WRAPPER(sys_sched_yield);
1402GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1403GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1404GEN_SYSCALL_WRAPPER(sys_nanosleep);
1405GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1406GEN_SYSCALL_WRAPPER(sys_getuid);
1407GEN_SYSCALL_WRAPPER(sys_getgid);
1408GEN_SYSCALL_WRAPPER(sys_geteuid);
1409GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001410GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001411GEN_SYSCALL_WRAPPER(sys_fsync);
1412GEN_SYSCALL_WRAPPER(sys_wait4);
1413GEN_SYSCALL_WRAPPER(sys_mprotect);
1414GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1415GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1416GEN_SYSCALL_WRAPPER(sys_timer_settime);
1417GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1418GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1419GEN_SYSCALL_WRAPPER(sys_timer_delete);
1420GEN_SYSCALL_WRAPPER(sys_clock_settime);
1421GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1422GEN_SYSCALL_WRAPPER(sys_clock_getres);
sewardjb5f6f512005-03-10 23:59:00 +00001423GEN_SYSCALL_WRAPPER(sys_clock_nanosleep);
nethercote8ff888f2004-11-17 17:11:45 +00001424GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001425GEN_SYSCALL_WRAPPER(sys_symlink);
1426GEN_SYSCALL_WRAPPER(sys_getgroups);
1427GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1428GEN_SYSCALL_WRAPPER(sys_chown);
1429GEN_SYSCALL_WRAPPER(sys_setuid);
1430GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1431GEN_SYSCALL_WRAPPER(sys_madvise);
1432GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001433
1434// These ones aren't POSIX, but are in some standard and look reasonably
1435// generic, and are the same for all architectures under Linux.
1436GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1437GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1438GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1439GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1440GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001441GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1442GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1443GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1444GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1445GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1446GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1447GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
sewardjb5f6f512005-03-10 23:59:00 +00001448GEN_SYSCALL_WRAPPER(sys_stime); // SVr4, SVID, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001449GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1450GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1451GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1452GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1453GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1454GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1455GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1456GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1457GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1458GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001459
1460// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1461// uid_t types. The similarly named (minus the "16" suffix) ones below use
1462// 32-bit versions of these types.
1463GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1464GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1465GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1466GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1467GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1468GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1469GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1470GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1471GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1472GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1473GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1474GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1475
nethercote8ff888f2004-11-17 17:11:45 +00001476// Linux's funny many-in-one socketcall is certainly not generic, but I
1477// didn't want to move it until necessary because it's big and has a lot of
1478// associated junk.
1479GEN_SYSCALL_WRAPPER(sys_socketcall);
1480
nethercote3d5e9102004-11-17 18:22:38 +00001481// Some archs on Linux do not match the generic wrapper for sys_pipe().
1482GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001483
nethercote3d5e9102004-11-17 18:22:38 +00001484// May not be generic for every architecture under Linux.
1485GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1486
1487// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001488GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1489GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1490GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1491
nethercote3d5e9102004-11-17 18:22:38 +00001492// For the remainder, not really sure yet
1493GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1494GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1495GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1496GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1497GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1498GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1499GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1500GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001501GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1502GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001503GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1504GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1505GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001506GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1507GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1508GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1509GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1510GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1511GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1512GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1513GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1514GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1515GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1516GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001517GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1518GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1519GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1520GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1521GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1522GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1523GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1524GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1525GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1526GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001527GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001528GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1529GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1530GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1531GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1532GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1533GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1534GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1535GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1536GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1537GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1538GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1539GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1540GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1541GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001542GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1543GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001544GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001545GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1546GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1547GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001548GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1549GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1550GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1551GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1552GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1553GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
sewardjb5f6f512005-03-10 23:59:00 +00001554GEN_SYSCALL_WRAPPER(sys_tkill); // * L
1555GEN_SYSCALL_WRAPPER(sys_tgkill); // * L
1556GEN_SYSCALL_WRAPPER(sys_gettid); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001557
1558#undef GEN_SYSCALL_WRAPPER
1559
1560// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001561/* PRRAn == "pre-register-read-argument"
1562 PRRSN == "pre-register-read-syscall"
1563*/
nethercote8ff888f2004-11-17 17:11:45 +00001564
1565#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001566 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001567 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001568#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001569 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001570 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001571#define PRE_REG_READ0(tr, s) \
1572 if (VG_(defined_pre_reg_read)()) { \
1573 PRRSN; \
1574 }
1575#define PRE_REG_READ1(tr, s, t1, a1) \
1576 if (VG_(defined_pre_reg_read)()) { \
1577 PRRSN; \
1578 PRRAn(1,s,t1,a1); \
1579 }
1580#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1581 if (VG_(defined_pre_reg_read)()) { \
1582 PRRSN; \
1583 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1584 }
1585#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1586 if (VG_(defined_pre_reg_read)()) { \
1587 PRRSN; \
1588 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1589 }
1590#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1591 if (VG_(defined_pre_reg_read)()) { \
1592 PRRSN; \
1593 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1594 PRRAn(4,s,t4,a4); \
1595 }
1596#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1597 if (VG_(defined_pre_reg_read)()) { \
1598 PRRSN; \
1599 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1600 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1601 }
1602#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1603 if (VG_(defined_pre_reg_read)()) { \
1604 PRRSN; \
1605 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1606 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1607 }
1608
1609#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1610 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1611
1612#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1613 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1614
1615#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1616 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1617
1618#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001619 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001620
sewardj987a8eb2005-03-01 19:00:30 +00001621
1622//////////////////////////////////////////////////////////
1623
1624#define TId ThreadId
1625#define UW UWord
1626
1627extern void VG_(generic_PRE_sys_socketpair) ( TId, UW, UW, UW, UW );
1628extern UWord VG_(generic_POST_sys_socketpair) ( TId, UW, UW, UW, UW, UW );
1629extern UWord VG_(generic_POST_sys_socket) ( TId, UW );
1630extern void VG_(generic_PRE_sys_bind) ( TId, UW, UW, UW );
1631extern void VG_(generic_PRE_sys_accept) ( TId, UW, UW, UW );
1632extern UWord VG_(generic_POST_sys_accept) ( TId, UW, UW, UW, UW );
1633extern void VG_(generic_PRE_sys_sendto) ( TId, UW, UW, UW, UW, UW, UW );
1634extern void VG_(generic_PRE_sys_send) ( TId, UW, UW, UW );
1635extern void VG_(generic_PRE_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW );
1636extern void VG_(generic_POST_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW, UW );
1637extern void VG_(generic_PRE_sys_recv) ( TId, UW, UW, UW );
1638extern void VG_(generic_POST_sys_recv) ( TId, UW, UW, UW, UW );
1639extern void VG_(generic_PRE_sys_connect) ( TId, UW, UW, UW );
1640extern void VG_(generic_PRE_sys_setsockopt) ( TId, UW, UW, UW, UW, UW );
1641extern void VG_(generic_PRE_sys_getsockopt) ( TId, UW, UW, UW, UW, UW );
1642extern void VG_(generic_POST_sys_getsockopt) ( TId, UW, UW, UW, UW, UW, UW );
1643extern void VG_(generic_PRE_sys_getsockname) ( TId, UW, UW, UW );
1644extern void VG_(generic_POST_sys_getsockname) ( TId, UW, UW, UW, UW );
1645extern void VG_(generic_PRE_sys_getpeername) ( TId, UW, UW, UW );
1646extern void VG_(generic_POST_sys_getpeername) ( TId, UW, UW, UW, UW );
1647extern void VG_(generic_PRE_sys_sendmsg) ( TId, UW, UW );
1648extern void VG_(generic_PRE_sys_recvmsg) ( TId, UW, UW );
1649extern void VG_(generic_POST_sys_recvmsg) ( TId, UW, UW, UW );
1650
1651#undef TID
1652#undef UW
1653
1654
sewardjde4a1d02002-03-22 01:27:54 +00001655/* ---------------------------------------------------------------------
1656 Exports of vg_transtab.c
1657 ------------------------------------------------------------------ */
1658
sewardjfa8ec112005-01-19 11:55:34 +00001659/* The fast-cache for tt-lookup, and for finding counters. */
1660extern ULong* VG_(tt_fast) [VG_TT_FAST_SIZE];
1661extern UInt* VG_(tt_fastN)[VG_TT_FAST_SIZE];
njn25e49d8e72002-09-23 09:36:25 +00001662
sewardjb5f6f512005-03-10 23:59:00 +00001663
nethercote92e7b7f2004-08-07 17:52:25 +00001664extern void VG_(init_tt_tc) ( void );
sewardj6c3769f2002-11-29 01:02:45 +00001665
sewardjfa8ec112005-01-19 11:55:34 +00001666extern
1667void VG_(add_to_trans_tab)( VexGuestExtents* vge,
1668 Addr64 entry,
1669 AddrH code,
1670 UInt code_len );
1671
1672extern Bool VG_(search_transtab) ( /*OUT*/AddrH* result,
1673 Addr64 guest_addr,
1674 Bool upd_cache );
1675
1676extern void VG_(discard_translations) ( Addr64 start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001677
sewardj4ccf7072004-11-28 16:58:05 +00001678extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001679
nethercote92e7b7f2004-08-07 17:52:25 +00001680extern void VG_(print_tt_tc_stats) ( void );
1681
sewardjfa8ec112005-01-19 11:55:34 +00001682extern UInt VG_(get_bbs_translated) ( void );
1683
1684extern void VG_(show_BB_profile) ( void );
1685
sewardjde4a1d02002-03-22 01:27:54 +00001686
sewardjde4a1d02002-03-22 01:27:54 +00001687/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001688 Exports of vg_syscall.S
1689 ------------------------------------------------------------------ */
1690
njnca6fef02004-11-29 16:49:18 +00001691// We use a full prototype rather than "..." here to ensure that all
1692// arguments get converted to a UWord appropriately. Not doing so can
1693// cause problems when passing 32-bit integers on 64-bit platforms, because
1694// the top 32-bits might not be zeroed appropriately, eg. as would happen
1695// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001696extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001697
1698// Macros make life easier.
1699#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1700#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1701#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1702#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1703#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1704#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1705#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1706
jsgf855d93d2003-10-13 22:26:55 +00001707extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
sewardjb5f6f512005-03-10 23:59:00 +00001708 Int *child_tid, Int *parent_tid, vki_modify_ldt_t * );
fitzhardinge4f10ada2004-06-03 10:00:42 +00001709extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001710
1711/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001712 Exports of vg_dispatch.S
1713 ------------------------------------------------------------------ */
1714
njnd6f157d2004-11-30 17:27:21 +00001715/* This subroutine is called from the C world. It is passed
1716 a pointer to the VEX guest state (arch.vex). It must run code
1717 from the instruction pointer in the guest state, and exit when
1718 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1719 The return value must indicate why it returned back to the scheduler.
1720 It can also be exited if the executing code throws a non-resumable
1721 signal, for example SIGSEGV, in which case control longjmp()s back past
1722 here.
1723
1724 This code simply handles the common case fast -- when the translation
1725 address is found in the translation cache. For anything else, the
1726 scheduler does the work.
1727*/
sewardj2a99cf62004-11-24 10:44:19 +00001728extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001729
sewardjde4a1d02002-03-22 01:27:54 +00001730/* ---------------------------------------------------------------------
1731 Exports of vg_helpers.S
1732 ------------------------------------------------------------------ */
1733
fitzhardinge92360792003-12-24 10:11:11 +00001734/* Information about trampoline code (for signal return and syscalls) */
1735extern const Char VG_(trampoline_code_start);
1736extern const Int VG_(trampoline_code_length);
1737extern const Int VG_(tramp_sigreturn_offset);
sewardjb5f6f512005-03-10 23:59:00 +00001738extern const Int VG_(tramp_rt_sigreturn_offset);
fitzhardinge92360792003-12-24 10:11:11 +00001739extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001740
njn4f9c9342002-04-29 16:03:24 +00001741/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001742 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001743 ------------------------------------------------------------------ */
1744
fitzhardinge98abfc72003-12-16 02:05:15 +00001745#define VG_TRACK(fn, args...) \
1746 do { \
1747 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001748 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001749 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001750
fitzhardinge98abfc72003-12-16 02:05:15 +00001751__attribute__ ((noreturn))
1752extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001753
nethercotec06e2132004-09-03 13:45:29 +00001754// ---------------------------------------------------------------------
1755// Architecture-specific things defined in eg. x86/*.c
1756// ---------------------------------------------------------------------
1757
sewardj51ac0872004-12-21 01:20:49 +00001758// Returns the architecture and subarchitecture, or indicates
1759// that this subarchitecture is unable to run Valgrind
1760// Returns False to indicate we cannot proceed further.
sewardj51ac0872004-12-21 01:20:49 +00001761extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1762 /*OUT*/VexSubArch* );
njncf45fd42004-11-24 16:30:22 +00001763// Accessors for the ThreadArchState
1764#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1765#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1766#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
njncf45fd42004-11-24 16:30:22 +00001767#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1768#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1769#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
njn16de5572004-11-27 14:27:21 +00001770// Offsets for the Vex state
njncf45fd42004-11-24 16:30:22 +00001771#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1772#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
njncf45fd42004-11-24 16:30:22 +00001773#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1774#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1775
1776
sewardj2a99cf62004-11-24 10:44:19 +00001777// Setting up the initial thread (1) state
1778extern void
1779 VGA_(init_thread1state) ( Addr client_eip,
1780 Addr esp_at_startup,
1781 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001782
nethercotec009ebe2004-09-13 11:05:11 +00001783// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001784extern void VGA_(cleanup_thread) ( ThreadArchState* );
1785extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001786
nethercote6b9c8472004-09-13 13:16:40 +00001787extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1788extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1789
sewardjb5f6f512005-03-10 23:59:00 +00001790// OS/Platform-specific thread clear (after thread exit)
1791extern void VGA_(os_state_clear)(ThreadState *);
1792
1793// OS/Platform-specific thread init (at scheduler init time)
1794extern void VGA_(os_state_init)(ThreadState *);
1795
1796// Run a thread from beginning to end. Does not return if tid == VG_(master_tid).
1797void VGA_(thread_wrapper)(ThreadId tid);
1798
1799// Like VGA_(thread_wrapper), but it allocates a stack before calling
1800// to VGA_(thread_wrapper) on that stack, as if it had been set up by
1801// clone()
1802void VGA_(main_thread_wrapper)(ThreadId tid) __attribute__ ((__noreturn__));
1803
1804// Return how many bytes of a thread's Valgrind stack are unused
1805Int VGA_(stack_unused)(ThreadId tid);
1806
1807// Terminate the process. Does not return.
1808void VGA_(terminate)(ThreadId tid, VgSchedReturnCode src) __attribute__((__noreturn__));
1809
1810// wait until all other threads are dead
1811extern void VGA_(reap_threads)(ThreadId self);
1812
1813// handle an arch-specific client request
1814extern Bool VGA_(client_request)(ThreadId tid, UWord *args);
1815
nethercotec009ebe2004-09-13 11:05:11 +00001816// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001817extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001818
nethercotefedd8102004-09-13 15:19:34 +00001819// Pointercheck
1820extern Bool VGA_(setup_pointercheck) ( void );
1821
1822// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001823extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001824
sewardjb5f6f512005-03-10 23:59:00 +00001825// Used by leakcheck
1826extern void VGA_(mark_from_registers)(ThreadId tid, void (*marker)(Addr));
1827
nethercote6eec4602004-09-13 14:15:36 +00001828// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001829extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001830 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001831 void *handler, UInt flags,
sewardjb5f6f512005-03-10 23:59:00 +00001832 const vki_sigset_t *mask,
1833 void *restorer );
nethercote6eec4602004-09-13 14:15:36 +00001834
sewardjb5f6f512005-03-10 23:59:00 +00001835////typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001836#define MY__STRING(__str) #__str
1837
1838// Assertion to use in code running on the simulated CPU.
1839#define my_assert(expr) \
1840 ((void) ((expr) ? 0 : \
1841 (VG_(user_assert_fail) (MY__STRING(expr), \
1842 __FILE__, __LINE__, \
1843 __PRETTY_FUNCTION__), 0)))
1844
1845extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1846 Int line, const Char* fn );
1847
1848
nethercote41c75da2004-10-18 15:34:14 +00001849// ---------------------------------------------------------------------
1850// Platform-specific things defined in eg. x86/*.c
1851// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001852
njncf45fd42004-11-24 16:30:22 +00001853// Accessors for the ThreadArchState
1854#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1855#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1856#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1857#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1858#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1859#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1860#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1861#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1862
1863// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001864#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001865#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1866#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1867#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1868#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1869#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1870#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1871#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1872
nethercote8ff888f2004-11-17 17:11:45 +00001873struct SyscallTableEntry {
1874 UInt *flags_ptr;
sewardjb5f6f512005-03-10 23:59:00 +00001875 void (*before)(ThreadId tid, ThreadState *tst /*, UInt *flags*/);
nethercote8ff888f2004-11-17 17:11:45 +00001876 void (*after) (ThreadId tid, ThreadState *tst);
1877};
1878
1879/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1880 wrappers for the relevant syscalls used in the OS kernel for that number.
1881 Note that the constant names don't always match the wrapper names in a
1882 straightforward way. For example, on x86/Linux:
1883
1884 __NR_lchown --> sys_lchown16()
1885 __NR_lchown32 --> sys_lchown()
1886 __NR_select --> old_select()
1887 __NR__newselect --> sys_select()
1888*/
1889extern const struct SyscallTableEntry VGA_(syscall_table)[];
1890
1891extern const UInt VGA_(syscall_table_size);
1892
sewardj2a99cf62004-11-24 10:44:19 +00001893extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001894
sewardjb5f6f512005-03-10 23:59:00 +00001895/*
1896 Perform a syscall on behalf of a client thread, using a specific
1897 signal mask. On completion, the signal mask is set to restore_mask
1898 (which presumably blocks almost everything). If a signal happens
1899 during the syscall, the handler should call
1900 VGA_(interrupted_syscall)() to adjust the thread's context to do the
1901 right thing.
njn7be36952004-11-24 18:14:41 +00001902*/
sewardjb5f6f512005-03-10 23:59:00 +00001903extern void VGA_(client_syscall)(Int syscallno, ThreadState *tst,
1904 const vki_sigset_t *syscall_mask);
njn7be36952004-11-24 18:14:41 +00001905
sewardjb5f6f512005-03-10 23:59:00 +00001906/*
1907 Fix up the thread's state because a syscall may have been
1908 interrupted with a signal. Returns True if the syscall completed
1909 (either interrupted or finished normally), or False if it was
1910 restarted (or the signal didn't actually interrupt a syscall).
1911 */
1912extern void VGA_(interrupted_syscall)(ThreadId tid,
1913 struct vki_ucontext *uc,
1914 Bool restart);
1915
1916
1917///* ---------------------------------------------------------------------
1918// Thread modelling
1919// ------------------------------------------------------------------ */
1920//extern void VG_(tm_thread_create) (ThreadId creator, ThreadId tid, Bool detached);
1921//extern void VG_(tm_thread_exit) (ThreadId tid);
1922//extern Bool VG_(tm_thread_exists) (ThreadId tid);
1923//extern void VG_(tm_thread_detach) (ThreadId tid);
1924//extern void VG_(tm_thread_join) (ThreadId joiner, ThreadId joinee);
1925//extern void VG_(tm_thread_switchto)(ThreadId tid);
1926//
1927//extern void VG_(tm_mutex_init) (ThreadId tid, Addr mutexp);
1928//extern void VG_(tm_mutex_destroy)(ThreadId tid, Addr mutexp);
1929//extern void VG_(tm_mutex_trylock)(ThreadId tid, Addr mutexp);
1930//extern void VG_(tm_mutex_giveup) (ThreadId tid, Addr mutexp);
1931//extern void VG_(tm_mutex_acquire)(ThreadId tid, Addr mutexp);
1932//extern void VG_(tm_mutex_tryunlock)(ThreadId tid, Addr mutexp);
1933//extern void VG_(tm_mutex_unlock) (ThreadId tid, Addr mutexp);
1934//extern Bool VG_(tm_mutex_exists) (Addr mutexp);
1935//
1936//extern UInt VG_(tm_error_update_extra) (Error *err);
1937//extern Bool VG_(tm_error_equal) (VgRes res, Error *e1, Error *e2);
1938//extern void VG_(tm_error_print) (Error *err);
1939//
1940//extern void VG_(tm_init) ();
1941//
1942//extern void VG_(tm_cond_init) (ThreadId tid, Addr condp);
1943//extern void VG_(tm_cond_destroy) (ThreadId tid, Addr condp);
1944//extern void VG_(tm_cond_wait) (ThreadId tid, Addr condp, Addr mutexp);
1945//extern void VG_(tm_cond_wakeup) (ThreadId tid, Addr condp, Addr mutexp);
1946//extern void VG_(tm_cond_signal) (ThreadId tid, Addr condp);
1947//
1948///* ----- pthreads ----- */
1949//extern void VG_(pthread_init) ();
1950//extern void VG_(pthread_startfunc_wrapper)(Addr wrapper);
1951//
1952//struct vg_pthread_newthread_data {
1953// void *(*startfunc)(void *arg);
1954// void *arg;
1955//};
sewardj3b2736a2002-03-24 12:18:35 +00001956
1957/* ---------------------------------------------------------------------
1958 Finally - autoconf-generated settings
1959 ------------------------------------------------------------------ */
1960
1961#include "config.h"
1962
nethercotec06e2132004-09-03 13:45:29 +00001963#endif /* ndef __CORE_H */
1964
sewardjde4a1d02002-03-22 01:27:54 +00001965/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001966/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001967/*--------------------------------------------------------------------*/