blob: fe8d36abe2ba7f5c37f364c165af678e69aa755a [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
njn53612422005-03-12 16:22:54 +000012 Copyright (C) 2000-2005 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
njnd01fef72005-03-25 23:35:48 +000096#include "pub_core_stacktrace.h" // for type 'StackTrace'
97
fitzhardinge39de4b42003-10-31 07:12:21 +000098#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000099
njn26f02512004-11-22 18:33:15 +0000100#undef TL_
101#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000102
nethercote7be47252004-09-02 16:02:58 +0000103
104/* ---------------------------------------------------------------------
njn14319cc2005-03-13 06:26:22 +0000105 Global macros.
nethercote7be47252004-09-02 16:02:58 +0000106 ------------------------------------------------------------------ */
107
sewardjde4a1d02002-03-22 01:27:54 +0000108/* Max length of a text fragment used to construct error messages. */
njn47b209a2005-03-25 23:47:16 +0000109#define VG_ERRTXT_LEN 4096
sewardjde4a1d02002-03-22 01:27:54 +0000110
sewardjde4a1d02002-03-22 01:27:54 +0000111/* The maximum number of calls we're prepared to save in a
112 backtrace. */
113#define VG_DEEPEST_BACKTRACE 50
114
fitzhardinge98abfc72003-12-16 02:05:15 +0000115/* Useful macros */
116/* a - alignment - must be a power of 2 */
tomde2ec262005-03-29 12:16:10 +0000117#define ROUNDDN(p, a) ((Addr)(p) & ~((Addr)(a)-1))
fitzhardinge98abfc72003-12-16 02:05:15 +0000118#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000119#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
120#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000121
sewardj51ac0872004-12-21 01:20:49 +0000122
nethercote80013e92004-09-05 20:39:51 +0000123/* ---------------------------------------------------------------------
124 Environment variables
125 ------------------------------------------------------------------ */
126
127/* The directory we look for all our auxillary files in */
128#define VALGRINDLIB "VALGRINDLIB"
129
130/* Additional command-line arguments; they are overridden by actual
131 command-line option. Each argument is separated by spaces. There
132 is no quoting mechanism.
133 */
134#define VALGRINDOPTS "VALGRIND_OPTS"
135
136/* If this variable is present in the environment, then valgrind will
137 not parse the command line for options at all; all options come
138 from this variable. Arguments are terminated by ^A (\001). There
139 is no quoting mechanism.
140
141 This variable is not expected to be set by anything other than
142 Valgrind itself, as part of its handling of execve with
143 --trace-children=yes. This variable should not be present in the
144 client environment.
145 */
146#define VALGRINDCLO "_VALGRIND_CLO"
147
fitzhardinge98abfc72003-12-16 02:05:15 +0000148
sewardjde4a1d02002-03-22 01:27:54 +0000149/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000150 Command-line-settable options
151 ------------------------------------------------------------------ */
152
sewardj4f094a72002-11-05 23:37:35 +0000153/* Default destination port to be used in logging over a network, if
154 none specified. */
155#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000156
157/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000158#define VG_CLO_MAX_SFILES 10
159
sewardj4cf05692002-10-27 20:28:29 +0000160/* Describes where logging output is to be sent. */
161typedef
162 enum {
163 VgLogTo_Fd,
164 VgLogTo_File,
sewardj603d4102005-01-11 14:01:02 +0000165 VgLogTo_FileExactly,
sewardj4cf05692002-10-27 20:28:29 +0000166 VgLogTo_Socket
167 } VgLogTo;
168
thughesad1c9562004-06-26 11:27:52 +0000169/* Application-visible file descriptor limits */
170extern Int VG_(fd_soft_limit);
171extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000172
sewardj8b635a42004-11-22 19:01:47 +0000173/* Vex iropt control */
174extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000175/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000176extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000177/* Enquire about whether to attach to a debugger at errors? default: NO */
178extern Bool VG_(clo_db_attach);
179/* The debugger command? default: whatever gdb ./configure found */
180extern Char* VG_(clo_db_command);
sewardjd153fae2005-01-10 17:24:47 +0000181/* Generating a suppression for each error? default: 0 (NO)
182 Other values: 1 (yes, but ask user), 2 (yes, don't ask user) */
183extern Int VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000184/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000185extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000186/* Automatically attempt to demangle C++ names? default: YES */
187extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000188/* Simulate child processes? default: NO */
189extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000190
191/* Where logging output is to be sent to.
192
nethercotef8548672004-06-21 12:42:35 +0000193 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
194 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000195
nethercotef8548672004-06-21 12:42:35 +0000196 When log_to == VgLogTo_File, clo_log_name holds the log-file
197 name, and is taken from the command line. clo_log_fd is then
198 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000199 (concatenated with the process ID) for writing.
200
nethercotef8548672004-06-21 12:42:35 +0000201 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000202 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000203 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000204 opening a connection to said hostname:portnumber pair.
205
nethercotef8548672004-06-21 12:42:35 +0000206 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000207 (stderr). */
208extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000209extern Int VG_(clo_log_fd);
210extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000211
thughes6233a382004-08-21 11:10:44 +0000212/* Add timestamps to log messages? default: NO */
213extern Bool VG_(clo_time_stamp);
214
sewardj6024b212003-07-13 10:54:33 +0000215/* The file descriptor to read for input. default: 0 == stdin */
216extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000217/* The number of suppression files specified. */
218extern Int VG_(clo_n_suppressions);
219/* The names of the suppression files. */
220extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
221
sewardjc771b292004-11-30 18:55:21 +0000222/* DEBUG: print generated code? default: 00000000 ( == NO ) */
sewardjfa8ec112005-01-19 11:55:34 +0000223extern Bool VG_(clo_trace_flags);
224/* DEBUG: do bb profiling? default: 00000000 ( == NO ) */
225extern Bool VG_(clo_profile_flags);
sewardjc771b292004-11-30 18:55:21 +0000226/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
227extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000228/* DEBUG: print system calls? default: NO */
229extern Bool VG_(clo_trace_syscalls);
230/* DEBUG: print signal details? default: NO */
231extern Bool VG_(clo_trace_signals);
232/* DEBUG: print symtab details? default: NO */
233extern Bool VG_(clo_trace_symtab);
sewardjce058b02005-05-01 08:55:38 +0000234/* DEBUG: print call-frame-info details? default: NO */
235extern Bool VG_(clo_trace_cfi);
sewardjb5f6f512005-03-10 23:59:00 +0000236/* DEBUG: print redirection details? default: NO */
237extern Bool VG_(clo_trace_redir);
sewardj8937c812002-04-12 20:12:20 +0000238/* DEBUG: print thread scheduling events? default: NO */
239extern Bool VG_(clo_trace_sched);
sewardjb5f6f512005-03-10 23:59:00 +0000240/* DEBUG: print pthreads calls? default: NO */
241extern Bool VG_(clo_trace_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000242/* Display gory details for the k'th most popular error. default:
243 Infinity. */
244extern Int VG_(clo_dump_error);
245/* Number of parents of a backtrace. Default: 8. */
246extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000247/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000248extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000249
rjwalshf5f536f2003-11-17 17:45:00 +0000250/* Track open file descriptors? */
251extern Bool VG_(clo_track_fds);
252
sewardj858964b2002-10-05 14:15:43 +0000253/* Should we run __libc_freeres at exit? Sometimes causes crashes.
254 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
255 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000256 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000257 cannot be overridden from the command line. */
258extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000259/* Generate branch-prediction hints? */
260extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000261/* Continue stack traces below main()? Default: NO */
262extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000263/* Test each client pointer dereference to check it's within the
264 client address space bounds */
265extern Bool VG_(clo_pointercheck);
sewardjb5f6f512005-03-10 23:59:00 +0000266/* Model the pthread library */
267extern Bool VG_(clo_model_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000268
sewardj062f3552005-01-06 16:13:40 +0000269/* HACK: Use hacked version of clone for Quadrics Elan3 drivers */
270extern Bool VG_(clo_support_elan3);
271
sewardjb1131a82005-03-19 15:12:21 +0000272/* Should we show VEX emulation warnings? Default: NO */
273extern Bool VG_(clo_show_emwarns);
274
sewardj97724e52005-04-02 23:40:59 +0000275/* How much does the stack pointer have to change before tools
276 consider a stack switch to have happened? Default: 2000000 bytes */
277extern Int VG_(clo_max_stackframe);
278
rjwalshe4e779d2004-04-16 23:02:29 +0000279/* Set up the libc freeres wrapper */
sewardjb5f6f512005-03-10 23:59:00 +0000280extern void VGA_(intercept_libc_freeres_wrapper)(Addr);
rjwalshe4e779d2004-04-16 23:02:29 +0000281
sewardjb5f6f512005-03-10 23:59:00 +0000282// Clean up the client by calling before the final reports
283extern void VGA_(final_tidyup)(ThreadId tid);
284
285// Arch-specific client requests
286extern Bool VGA_(client_requests)(ThreadId tid, UWord *args);
sewardj51ac0872004-12-21 01:20:49 +0000287
sewardjde4a1d02002-03-22 01:27:54 +0000288/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000289 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000290 ------------------------------------------------------------------ */
291
njn31066fd2005-03-26 00:42:02 +0000292extern void VG_(init_profiling) ( void );
293extern void VG_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000294
njn25e49d8e72002-09-23 09:36:25 +0000295#undef VGP_PUSHCC
296#undef VGP_POPCC
njn31066fd2005-03-26 00:42:02 +0000297#define VGP_PUSHCC(x) if (VG_(clo_profile)) VG_(pushcc)(x)
298#define VGP_POPCC(x) if (VG_(clo_profile)) VG_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000299
sewardj51ac0872004-12-21 01:20:49 +0000300
sewardjde4a1d02002-03-22 01:27:54 +0000301/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000302 Tool-related types
njn810086f2002-11-14 12:42:47 +0000303 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000304/* These structs are not exposed to tools to mitigate possibility of
305 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000306 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000307typedef
308 struct {
309 Char* name;
310 Char* version;
311 Char* description;
312 Char* copyright_author;
313 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000314 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000315 }
316 VgDetails;
317
318extern VgDetails VG_(details);
319
320/* If new fields are added to this type, update:
321 * - vg_main.c:initialisation of VG_(needs)
322 * - vg_main.c:sanity_check_needs()
323 *
324 * If the name of this type or any of its fields change, update:
325 * - dependent comments (just search for "VG_(needs)").
326 */
327typedef
328 struct {
329 Bool libc_freeres;
330 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000331 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000332 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000333 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000334 Bool command_line_options;
335 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000336 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000337 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000338 Bool sanity_checks;
339 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000340 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000341 }
342 VgNeeds;
343
344extern VgNeeds VG_(needs);
345
fitzhardinge98abfc72003-12-16 02:05:15 +0000346#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000347
sewardj51ac0872004-12-21 01:20:49 +0000348
njn810086f2002-11-14 12:42:47 +0000349/* ---------------------------------------------------------------------
350 Exports of vg_needs.c
351 ------------------------------------------------------------------ */
352
353void VG_(sanity_check_needs)(void);
354
sewardj51ac0872004-12-21 01:20:49 +0000355
njn810086f2002-11-14 12:42:47 +0000356/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000357 Exports of vg_malloc2.c
358 ------------------------------------------------------------------ */
359
360/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000361
362 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000363 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000364 SYMTAB for Valgrind's symbol table storage.
nethercote996901a2004-08-03 13:29:09 +0000365 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
366 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000367 DEMANGLE for the C++ demangler.
368 EXECTXT for storing ExeContexts.
369 ERRORS for storing CoreErrors.
njn3e884182003-04-15 13:03:23 +0000370
njn25e49d8e72002-09-23 09:36:25 +0000371 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000372*/
373typedef Int ArenaId;
374
njn9f46df62005-03-13 18:11:44 +0000375#define VG_N_ARENAS 7
sewardjde4a1d02002-03-22 01:27:54 +0000376
njn3e884182003-04-15 13:03:23 +0000377#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000378#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000379#define VG_AR_SYMTAB 2
njn9f46df62005-03-13 18:11:44 +0000380#define VG_AR_CLIENT 3
381#define VG_AR_DEMANGLE 4
382#define VG_AR_EXECTXT 5
383#define VG_AR_ERRORS 6
sewardjde4a1d02002-03-22 01:27:54 +0000384
nethercote2d5b8162004-08-11 09:40:52 +0000385// This is both the minimum payload size of a malloc'd block, and its
386// minimum alignment. Must be a power of 2 greater than 4, and should be
387// greater than 8.
388#define VG_MIN_MALLOC_SZB 8
389
nethercote7ac7f7b2004-11-02 12:36:02 +0000390extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000391extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn828022a2005-03-13 14:56:31 +0000392extern void* VG_(arena_calloc) ( ArenaId arena,
njn926ed472005-03-11 04:44:10 +0000393 SizeT nmemb, SizeT bytes_per_memb );
njn828022a2005-03-13 14:56:31 +0000394extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT size );
sewardjde4a1d02002-03-22 01:27:54 +0000395
njn8a97c6d2005-03-31 04:37:24 +0000396/* Sets the size of the redzones at the start and end of heap blocks. This
397 must be called before any of VG_(malloc) and friends are called. */
398extern void VG_(set_client_malloc_redzone_szB) ( SizeT rz_szB );
399
nethercote7ac7f7b2004-11-02 12:36:02 +0000400extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000401
nethercote885dd912004-08-03 23:14:00 +0000402extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000403
nethercote3a42fb82004-08-03 18:08:50 +0000404extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000405
sewardj51ac0872004-12-21 01:20:49 +0000406
sewardjde4a1d02002-03-22 01:27:54 +0000407/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000408 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000409 ------------------------------------------------------------------ */
410
411/* This doesn't export code or data that valgrind.so needs to link
412 against. However, the scheduler does need to know the following
413 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000414 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000415
njnd13e5e62005-03-26 03:50:14 +0000416/* Obsolete pthread-related requests */
njn4c791212003-05-02 17:53:54 +0000417#define VG_USERREQ__MALLOC 0x2001
418#define VG_USERREQ__FREE 0x2002
sewardj20917d82002-05-28 01:36:45 +0000419#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
sewardj20917d82002-05-28 01:36:45 +0000420#define VG_USERREQ__QUIT 0x3002
sewardj20917d82002-05-28 01:36:45 +0000421#define VG_USERREQ__WAIT_JOINER 0x3003
sewardj20917d82002-05-28 01:36:45 +0000422#define VG_USERREQ__PTHREAD_JOIN 0x3004
sewardj20917d82002-05-28 01:36:45 +0000423#define VG_USERREQ__SET_CANCELSTATE 0x3005
424#define VG_USERREQ__SET_CANCELTYPE 0x3006
sewardj20917d82002-05-28 01:36:45 +0000425#define VG_USERREQ__TESTCANCEL 0x3007
sewardj20917d82002-05-28 01:36:45 +0000426#define VG_USERREQ__SET_CANCELPEND 0x3008
sewardj20917d82002-05-28 01:36:45 +0000427#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
thughese321d492004-10-17 15:00:20 +0000428#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
429#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
430#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000431#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
432#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
433#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
434#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
435#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
436#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
437#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
438#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000439#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
440#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
njnd13e5e62005-03-26 03:50:14 +0000441#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
sewardj20917d82002-05-28 01:36:45 +0000442#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
sewardjb5f6f512005-03-10 23:59:00 +0000443#define VG_USERREQ__SIGWAIT 0x3019
sewardj20917d82002-05-28 01:36:45 +0000444#define VG_USERREQ__PTHREAD_KILL 0x301A
445#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000446#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj8ad94e12002-05-29 00:10:20 +0000447#define VG_USERREQ__CLEANUP_PUSH 0x3020
448#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000449#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardjef037c72002-05-30 00:40:03 +0000450#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjb5f6f512005-03-10 23:59:00 +0000451#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardj2cb00342002-06-28 01:46:26 +0000452#define VG_USERREQ__SET_FHSTACK_USED 0x3025
453#define VG_USERREQ__GET_FHSTACK_USED 0x3026
454#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
455#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
fitzhardinge98abfc72003-12-16 02:05:15 +0000456#define VG_USERREQ__GET_SIGRT_MIN 0x302B
457#define VG_USERREQ__GET_SIGRT_MAX 0x302C
458#define VG_USERREQ__ALLOC_RTSIG 0x302D
fitzhardinge98abfc72003-12-16 02:05:15 +0000459#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
thughesdaa34562004-06-27 12:48:53 +0000460#define VG_USERREQ__GET_STACK_INFO 0x3033
sewardj45b4b372002-04-16 22:50:32 +0000461#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000462#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardjb5f6f512005-03-10 23:59:00 +0000463
464
fitzhardinge39de4b42003-10-31 07:12:21 +0000465/* Internal equivalent of VALGRIND_PRINTF . */
466#define VG_USERREQ__INTERNAL_PRINTF 0x3103
njnaa3c26b2005-03-12 05:32:28 +0000467/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . (no longer used) */
468//#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000469
sewardjb5f6f512005-03-10 23:59:00 +0000470/* Denote the finish of __libc_freeres_wrapper().
471 A synonym for exit. */
472#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
sewardj54cacf02002-04-12 23:24:59 +0000473
sewardj9ee81f52005-04-02 17:38:59 +0000474/* Intercept prefix stuff. See coregrind/vg_replace_malloc.c for
475 details. Unfortunately the "_vgi_" literal is also hardcoded in
476 that file, so if you change this one you must also change the other
477 one. */
478#define VG_INTERCEPT_PREFIX "_vgi_"
479#define VG_INTERCEPT_PREFIX_LEN 5
rjwalshe4e779d2004-04-16 23:02:29 +0000480
sewardj9ee81f52005-04-02 17:38:59 +0000481/* Not sure what these are for. Todo: clarify */
482#define VG_WRAPPER_PREFIX "_vgw_"
483#define VG_WRAPPER_PREFIX_LEN 5
484#define VG_WRAPPER(name) _vgw_##name
485#define VG_WRAPPER_ALIAS(name) "_vgw_" #name
rjwalshe4e779d2004-04-16 23:02:29 +0000486
njn4c791212003-05-02 17:53:54 +0000487
fitzhardinge98abfc72003-12-16 02:05:15 +0000488struct vg_mallocfunc_info {
489 /* things vg_replace_malloc.o needs to know about */
njncf81d552005-03-31 04:52:26 +0000490 void* (*tl_malloc) (ThreadId tid, SizeT n);
491 void* (*tl___builtin_new) (ThreadId tid, SizeT n);
492 void* (*tl___builtin_vec_new) (ThreadId tid, SizeT n);
493 void* (*tl_memalign) (ThreadId tid, SizeT align, SizeT n);
494 void* (*tl_calloc) (ThreadId tid, SizeT nmemb, SizeT n);
495 void (*tl_free) (ThreadId tid, void* p);
496 void (*tl___builtin_delete) (ThreadId tid, void* p);
497 void (*tl___builtin_vec_delete)(ThreadId tid, void* p);
498 void* (*tl_realloc) (ThreadId tid, void* p, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +0000499
njncf81d552005-03-31 04:52:26 +0000500 SizeT (*arena_payload_szB) (ArenaId aid, void* payload);
fitzhardinge98abfc72003-12-16 02:05:15 +0000501
fitzhardinge98abfc72003-12-16 02:05:15 +0000502 Bool clo_trace_malloc;
503};
sewardj1fe7b002002-07-16 01:43:15 +0000504
sewardj51ac0872004-12-21 01:20:49 +0000505
sewardj2e93c502002-04-12 11:12:52 +0000506/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000507 Exports of vg_defaults.c
508 ------------------------------------------------------------------ */
509
njnd13e5e62005-03-26 03:50:14 +0000510extern Bool VG_(tl_malloc_called_deliberately);
njn3e884182003-04-15 13:03:23 +0000511
sewardj51ac0872004-12-21 01:20:49 +0000512
nethercote1f0173b2004-02-28 15:40:36 +0000513
514/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000515 Exports of vg_scheduler.c
516 ------------------------------------------------------------------ */
517
sewardjb5f6f512005-03-10 23:59:00 +0000518/*
519 Thread state machine:
520
521 Empty -> Init -> Runnable <=> WaitSys/Yielding
522 ^ |
523 \---- Zombie -----/
524 */
sewardj2e93c502002-04-12 11:12:52 +0000525typedef
jsgf855d93d2003-10-13 22:26:55 +0000526 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000527 VgTs_Empty, /* this slot is not in use */
sewardjb5f6f512005-03-10 23:59:00 +0000528 VgTs_Init, /* just allocated */
529 VgTs_Runnable, /* ready to run */
jsgf855d93d2003-10-13 22:26:55 +0000530 VgTs_WaitSys, /* waiting for a syscall to complete */
sewardjb5f6f512005-03-10 23:59:00 +0000531 VgTs_Yielding, /* temporarily yielding the CPU */
532 VgTs_Zombie, /* transient state just before exiting */
sewardj2e93c502002-04-12 11:12:52 +0000533 }
534 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000535
sewardjb5f6f512005-03-10 23:59:00 +0000536/* Return codes from the scheduler. */
thughes11975ff2004-06-12 12:58:22 +0000537typedef
sewardjb5f6f512005-03-10 23:59:00 +0000538 enum {
539 VgSrc_None, /* not exiting yet */
540 VgSrc_ExitSyscall, /* client called exit(). This is the normal
541 route out. */
542 VgSrc_FatalSig /* Killed by the default action of a fatal
543 signal */
thughes11975ff2004-06-12 12:58:22 +0000544 }
sewardjb5f6f512005-03-10 23:59:00 +0000545 VgSchedReturnCode;
thughes11975ff2004-06-12 12:58:22 +0000546
sewardjb5f6f512005-03-10 23:59:00 +0000547struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000548 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
549 The thread identity is simply the index in vg_threads[].
550 ThreadId == 1 is the root thread and has the special property
551 that we don't try and allocate or deallocate its stack. For
552 convenience of generating error message, we also put the
553 ThreadId in this tid field, but be aware that it should
554 ALWAYS == the index in vg_threads[]. */
555 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000556
sewardjb5f6f512005-03-10 23:59:00 +0000557 /* Current scheduling status. */
njn25e49d8e72002-09-23 09:36:25 +0000558 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000559
sewardjb5f6f512005-03-10 23:59:00 +0000560 /* This is set if the thread is in the process of exiting for any
561 reason. The precise details of the exit are in the OS-specific
562 state. */
563 VgSchedReturnCode exitreason;
sewardj3b5d8862002-04-20 13:53:23 +0000564
sewardjb5f6f512005-03-10 23:59:00 +0000565 /* Architecture-specific thread state. */
566 ThreadArchState arch;
sewardjb48e5002002-05-13 00:16:03 +0000567
njn25e49d8e72002-09-23 09:36:25 +0000568 /* This thread's blocked-signals mask. Semantics is that for a
569 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000570 blocked by this signal mask. If more than one thread accepts a
571 signal, then it will be delivered to one at random. If all
572 threads block the signal, it will remain pending until either a
sewardjb5f6f512005-03-10 23:59:00 +0000573 thread unblocks it or someone uses sigwaitsig/sigtimedwait. */
nethercote73b526f2004-10-31 18:48:21 +0000574 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000575
sewardjb5f6f512005-03-10 23:59:00 +0000576 /* tmp_sig_mask is usually the same as sig_mask, and is kept in
577 sync whenever sig_mask is changed. The only time they have
578 different values is during the execution of a sigsuspend, where
579 tmp_sig_mask is the temporary mask which sigsuspend installs.
580 It is only consulted to compute the signal mask applied to a
581 signal handler. */
582 vki_sigset_t tmp_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000583
sewardjb5f6f512005-03-10 23:59:00 +0000584 /* A little signal queue for signals we can't get the kernel to
585 queue for us. This is only allocated as needed, since it should
586 be rare. */
587 struct SigQueue *sig_queue;
588
589 /* Syscall the Thread is currently running; -1 if none. Should only
590 be set while Thread is in VgTs_WaitSys. */
591 Int syscallno;
592
593 /* A value the Tool wants to pass from its pre-syscall to its
594 post-syscall function. */
595 void *tool_pre_syscall_value;
thughes8abf3922004-10-16 10:59:49 +0000596
njn50ba34e2005-04-04 02:41:42 +0000597 /* Client stacks. When a thread slot is freed, we don't deallocate its
njn25e49d8e72002-09-23 09:36:25 +0000598 stack; we just leave it lying around for the next use of the
599 slot. If the next use of the slot requires a larger stack,
600 only then is the old one deallocated and a new one
601 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000602
njn25e49d8e72002-09-23 09:36:25 +0000603 For the main thread (threadid == 0), this mechanism doesn't
604 apply. We don't know the size of the stack since we didn't
605 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000606
njn25e49d8e72002-09-23 09:36:25 +0000607 /* The allocated size of this thread's stack (permanently zero
608 if this is ThreadId == 0, since we didn't allocate its stack) */
njn50ba34e2005-04-04 02:41:42 +0000609 SizeT client_stack_szB;
sewardj2e93c502002-04-12 11:12:52 +0000610
sewardj92a59562002-09-30 00:53:10 +0000611 /* Address of the highest legitimate word in this stack. This is
612 used for error messages only -- not critical for execution
613 correctness. Is is set for all stacks, specifically including
614 ThreadId == 0 (the main thread). */
njn50ba34e2005-04-04 02:41:42 +0000615 Addr client_stack_highest_word;
njn25e49d8e72002-09-23 09:36:25 +0000616
fitzhardinge98c4dc02004-03-16 08:27:29 +0000617 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000618 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000619
sewardjb5f6f512005-03-10 23:59:00 +0000620 /* OS-specific thread state */
621 os_thread_t os_state;
sewardj004e8ca2005-02-28 17:27:04 +0000622
623 /* Used in the syscall handlers. Set to True to indicate that the
624 PRE routine for a syscall has set the syscall result already and
625 so the syscall does not need to be handed to the kernel. */
626 Bool syscall_result_set;
sewardjb5f6f512005-03-10 23:59:00 +0000627
628 /* Per-thread jmp_buf to resume scheduler after a signal */
629 Bool sched_jmpbuf_valid;
630 jmp_buf sched_jmpbuf;
nethercote8ff888f2004-11-17 17:11:45 +0000631};
sewardj2e93c502002-04-12 11:12:52 +0000632
sewardj018f7622002-05-15 21:13:39 +0000633/* The thread table. */
634extern ThreadState VG_(threads)[VG_N_THREADS];
635
sewardjb5f6f512005-03-10 23:59:00 +0000636/* Allocate a new ThreadState */
637extern ThreadId VG_(alloc_ThreadState)(void);
638
639/* A thread exits. tid must currently be running. */
640extern void VG_(exit_thread)(ThreadId tid);
641
642/* Kill a thread. This interrupts whatever a thread is doing, and
643 makes it exit ASAP. This does not set the exitreason or
644 exitcode. */
645extern void VG_(kill_thread)(ThreadId tid);
646
sewardj018f7622002-05-15 21:13:39 +0000647/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000648extern Bool VG_(is_valid_tid) ( ThreadId tid );
649
jsgf855d93d2003-10-13 22:26:55 +0000650/* Get the ThreadState for a particular thread */
651extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
652
sewardjb5f6f512005-03-10 23:59:00 +0000653/* Given an LWP id (ie, real kernel thread id), find the corresponding
654 ThreadId */
655extern ThreadId VG_(get_lwp_tid)(Int lwpid);
656
657/* Returns true if a thread is currently running (ie, has the CPU lock) */
658extern Bool VG_(is_running_thread)(ThreadId tid);
659
660/* Returns true if the thread is in the process of exiting */
661extern Bool VG_(is_exiting)(ThreadId tid);
662
663/* Return the number of non-dead Threads */
664extern Int VG_(count_living_threads)(void);
665
sewardjccef2e62002-05-29 19:26:32 +0000666/* Nuke all threads except tid. */
sewardjb5f6f512005-03-10 23:59:00 +0000667extern void VG_(nuke_all_threads_except) ( ThreadId me, VgSchedReturnCode reason );
sewardjccef2e62002-05-29 19:26:32 +0000668
sewardjb5f6f512005-03-10 23:59:00 +0000669/* Make a thread the running thread. The thread must previously been
670 sleeping, and not holding the CPU semaphore. This will set the
671 thread state to VgTs_Runnable, and the thread will attempt to take
672 the CPU semaphore. By the time it returns, tid will be the running
673 thread. */
674extern void VG_(set_running) ( ThreadId tid );
jsgf855d93d2003-10-13 22:26:55 +0000675
sewardjb5f6f512005-03-10 23:59:00 +0000676/* Set a thread into a sleeping state. Before the call, the thread
677 must be runnable, and holding the CPU semaphore. When this call
678 returns, the thread will be set to the specified sleeping state,
679 and will not be holding the CPU semaphore. Note that another
680 thread could be running by the time this call returns, so the
681 caller must be careful not to touch any shared state. It is also
682 the caller's responsibility to actually block until the thread is
683 ready to run again. */
684extern void VG_(set_sleeping) ( ThreadId tid, ThreadStatus state );
sewardj2e93c502002-04-12 11:12:52 +0000685
sewardjb5f6f512005-03-10 23:59:00 +0000686/* Yield the CPU for a while */
687extern void VG_(vg_yield)(void);
sewardj7e87e382002-05-03 19:09:05 +0000688
sewardjb5f6f512005-03-10 23:59:00 +0000689// The scheduler.
690extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid );
691
692// Do everything which needs doing before the process finally ends,
693// like printing reports, etc
694extern void VG_(shutdown_actions)(ThreadId tid);
sewardj2e93c502002-04-12 11:12:52 +0000695
696extern void VG_(scheduler_init) ( void );
697
sewardj15a43e12002-04-17 19:35:12 +0000698extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000699
nethercote75d26242004-08-01 22:59:18 +0000700// Longjmp back to the scheduler and thus enter the sighandler immediately.
sewardjb5f6f512005-03-10 23:59:00 +0000701extern void VG_(resume_scheduler) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000702
sewardjb5f6f512005-03-10 23:59:00 +0000703/* If true, a fault is Valgrind-internal (ie, a bug) */
704extern Bool VG_(my_fault);
nethercote238a3c32004-08-09 13:13:31 +0000705
nethercoteaff1c772004-09-13 16:11:09 +0000706// Write a value to a client's thread register, and shadow (if necessary).
707// Note that there are some further similar macros in the arch- and
708// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000709#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
710 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
711 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000712 } while (0)
713
njnd3040452003-05-19 15:04:06 +0000714#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000715 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
716 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000717
718#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000719 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
720 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000721
sewardj2e93c502002-04-12 11:12:52 +0000722/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000723 Exports of vg_signals.c
724 ------------------------------------------------------------------ */
725
sewardjb5f6f512005-03-10 23:59:00 +0000726/* Set the standard set of blocked signals, used wheneever we're not
727 running a client syscall. */
728extern void VG_(block_signals)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +0000729
sewardjb5f6f512005-03-10 23:59:00 +0000730/* Highest signal the kernel will let us use */
731extern Int VG_(max_signal);
jsgf855d93d2003-10-13 22:26:55 +0000732
sewardjde4a1d02002-03-22 01:27:54 +0000733extern void VG_(sigstartup_actions) ( void );
734
jsgf855d93d2003-10-13 22:26:55 +0000735extern Bool VG_(is_sig_ign) ( Int sigNo );
736
sewardjb5f6f512005-03-10 23:59:00 +0000737/* Poll a thread's set of pending signals, and update the Thread's context to deliver one */
738extern void VG_(poll_signals) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000739
740/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000741extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
sewardjb5f6f512005-03-10 23:59:00 +0000742extern Int VG_(do_sys_sigaction) ( Int signo,
743 const struct vki_sigaction *new_act,
744 struct vki_sigaction *old_act );
nethercote93d9aa12004-11-10 19:08:31 +0000745extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000746 vki_sigset_t* set,
747 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000748
sewardj2e93c502002-04-12 11:12:52 +0000749/* Handy utilities to block/restore all host signals. */
750extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000751 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000752extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000753 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000754
jsgf855d93d2003-10-13 22:26:55 +0000755extern void VG_(kill_self)(Int sigNo);
756
fitzhardingef1beb252004-03-16 09:49:08 +0000757/* These function synthesize a fault, as if the running instruction
758 had had a fault. These functions do not return - they longjmp back
759 into the scheduler so the signal can be delivered. */
760extern void VG_(synth_fault) (ThreadId tid);
761extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
762extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +0000763extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +0000764
sewardjb5f6f512005-03-10 23:59:00 +0000765/* Extend the stack to cover addr, if possible */
766extern Bool VG_(extend_stack)(Addr addr, UInt maxsize);
767
768/* Returns True if the signal is OK for the client to use */
769extern Bool VG_(client_signal_OK)(Int sigNo);
770
771/* Forces the client's signal handler to SIG_DFL - generally just
772 before using that signal to kill the process. */
773extern void VG_(set_default_handler)(Int sig);
774
775/* Adjust a client's signal mask to match our internal requirements */
776extern void VG_(sanitize_client_sigmask)(ThreadId tid, vki_sigset_t *mask);
777
778/* Wait until a thread-related predicate is true */
779extern void VG_(wait_for_threadstate)(Bool (*pred)(void *), void *arg);
sewardj51ac0872004-12-21 01:20:49 +0000780
sewardjde4a1d02002-03-22 01:27:54 +0000781/* ---------------------------------------------------------------------
782 Exports of vg_mylibc.c
783 ------------------------------------------------------------------ */
784
njnca0518d2004-11-26 19:34:36 +0000785// Useful for making failing stubs, when certain things haven't yet been
786// implemented.
njn50ae1a72005-04-08 23:28:23 +0000787#define I_die_here \
788 VG_(assert_fail) ("Unimplemented functionality", \
789 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
790 "valgrind", VG_BUGS_TO, "")
njnca0518d2004-11-26 19:34:36 +0000791
njn50ae1a72005-04-08 23:28:23 +0000792#define vg_assert(expr) \
793 ((void) ((expr) ? 0 : \
794 (VG_(assert_fail) (/*isCore*/True, VG_STRINGIFY(expr), \
795 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
796 ""), \
797 0)))
798
799#define vg_assert2(expr, format, args...) \
800 ((void) ((expr) ? 0 : \
801 (VG_(assert_fail) (/*isCore*/True, VG_STRINGIFY(expr), \
802 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
803 format, ##args), \
804 0)))
805
njne427a662002-10-02 11:08:25 +0000806__attribute__ ((__noreturn__))
807extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +0000808__attribute__ ((__noreturn__))
njnd01fef72005-03-25 23:35:48 +0000809extern void VG_(core_panic_at) ( Char* str, StackTrace ips );
sewardjde4a1d02002-03-22 01:27:54 +0000810
nethercote05675c82004-08-04 10:37:49 +0000811/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +0000812extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000813
njn25e49d8e72002-09-23 09:36:25 +0000814extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +0000815extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +0000816
fitzhardinge98abfc72003-12-16 02:05:15 +0000817/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +0000818extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +0000819 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +0000820extern Int VG_(munmap)( void* start, SizeT length );
821extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
sewardj79048ce2005-02-18 08:28:32 +0000822extern Int VG_(mprotect_native)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +0000823
824
jsgf855d93d2003-10-13 22:26:55 +0000825/* Move an fd into the Valgrind-safe range */
826Int VG_(safe_fd)(Int oldfd);
827
sewardj570f8902002-11-03 11:44:36 +0000828extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000829
830/* --- Connecting over the network --- */
831extern Int VG_(connect_via_socket)( UChar* str );
832
fitzhardinge98abfc72003-12-16 02:05:15 +0000833/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +0000834extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
835 const Char *val );
836extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
837extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +0000838
sewardjb5f6f512005-03-10 23:59:00 +0000839extern void VG_(nanosleep)(struct vki_timespec *);
sewardj570f8902002-11-03 11:44:36 +0000840/* ---------------------------------------------------------------------
841 Exports of vg_message.c
842 ------------------------------------------------------------------ */
843
844/* Low-level -- send bytes directly to the message sink. Do not
845 use. */
846extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
847
sewardjde4a1d02002-03-22 01:27:54 +0000848/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000849 Exports of vg_demangle.c
850 ------------------------------------------------------------------ */
851
852extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
853
sewardjb5f6f512005-03-10 23:59:00 +0000854extern void VG_(reloc_abs_jump) ( UChar *jmp );
sewardj4ccf7072004-11-28 16:58:05 +0000855
sewardjde4a1d02002-03-22 01:27:54 +0000856/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000857 Exports of vg_translate.c
858 ------------------------------------------------------------------ */
859
sewardjfa8ec112005-01-19 11:55:34 +0000860extern
861Bool VG_(translate) ( ThreadId tid,
862 Addr64 orig_addr,
863 Bool debugging_translation,
864 Int debugging_verbosity );
sewardjb5ff83e2002-12-01 19:40:49 +0000865
sewardjde4a1d02002-03-22 01:27:54 +0000866/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000867 Exports of vg_symtab2.c
868 ------------------------------------------------------------------ */
869
fitzhardinge98abfc72003-12-16 02:05:15 +0000870typedef struct _Segment Segment;
sewardjb5f6f512005-03-10 23:59:00 +0000871typedef struct _CodeRedirect CodeRedirect;
fitzhardinge98abfc72003-12-16 02:05:15 +0000872
873extern Bool VG_(is_object_file) ( const void *hdr );
fitzhardinge98abfc72003-12-16 02:05:15 +0000874extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +0000875extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +0000876extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +0000877
njn25e49d8e72002-09-23 09:36:25 +0000878extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +0000879
sewardjb5f6f512005-03-10 23:59:00 +0000880extern Addr VG_(reverse_search_one_symtab) ( const SegInfo* si, const Char* name );
881
fitzhardinge98abfc72003-12-16 02:05:15 +0000882/* Set up some default redirects */
883extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +0000884
sewardjb5f6f512005-03-10 23:59:00 +0000885extern Bool VG_(resolve_redir_allsegs)(CodeRedirect *redir);
886
sewardj35165532005-04-30 18:47:48 +0000887extern Bool VG_(use_CFI_info) ( /*MOD*/Addr* ipP,
888 /*MOD*/Addr* spP,
889 /*MOD*/Addr* fpP,
890 Addr min_accessible,
891 Addr max_accessible );
892
893
sewardjb5f6f512005-03-10 23:59:00 +0000894/* ---------------------------------------------------------------------
895 Exports of vg_redir.c
896 ------------------------------------------------------------------ */
fitzhardinge98abfc72003-12-16 02:05:15 +0000897/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +0000898extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +0000899
tom748a1312005-04-02 15:53:01 +0000900extern void VG_(add_redirect_sym_to_addr)(const Char *from_lib,
901 const Char *from_sym,
902 Addr to_addr);
903extern void VG_(add_redirect_addr_to_addr)(Addr from_addr, Addr to_addr);
sewardjb5f6f512005-03-10 23:59:00 +0000904extern void VG_(resolve_seg_redirs)(SegInfo *si);
905extern Bool VG_(resolve_redir)(CodeRedirect *redir, const SegInfo *si);
906
907/* Wrapping machinery */
908enum return_type {
909 RT_RETURN,
910 RT_LONGJMP,
911 RT_EXIT,
912};
913
914typedef struct _FuncWrapper FuncWrapper;
915struct _FuncWrapper {
916 void *(*before)(va_list args);
917 void (*after) (void *nonce, enum return_type, Word retval);
918};
919
920extern void VG_(wrap_function)(Addr eip, const FuncWrapper *wrapper);
921extern const FuncWrapper *VG_(is_wrapped)(Addr eip);
922extern Bool VG_(is_wrapper_return)(Addr eip);
923
924/* Primary interface for adding wrappers for client-side functions. */
925extern CodeRedirect *VG_(add_wrapper)(const Char *from_lib, const Char *from_sym,
926 const FuncWrapper *wrapper);
927
928extern Bool VG_(is_resolved)(const CodeRedirect *redir);
sewardj51ac0872004-12-21 01:20:49 +0000929
sewardjde4a1d02002-03-22 01:27:54 +0000930/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000931 Exports of vg_main.c
932 ------------------------------------------------------------------ */
933
sewardj73cf3bc2002-11-03 03:20:15 +0000934/* Tell the logging mechanism whether we are logging to a file
935 descriptor or a socket descriptor. */
936extern Bool VG_(logging_to_filedes);
937
njn25e49d8e72002-09-23 09:36:25 +0000938/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +0000939extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +0000940
fitzhardinge98abfc72003-12-16 02:05:15 +0000941/* Address space */
942extern Addr VG_(client_base); /* client address space limits */
943extern Addr VG_(client_end);
944extern Addr VG_(client_mapbase); /* base of mappings */
945extern Addr VG_(clstk_base); /* client stack range */
946extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +0000947extern Addr VG_(client_trampoline_code);
948
fitzhardinge98abfc72003-12-16 02:05:15 +0000949extern Addr VG_(brk_base); /* start of brk */
950extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +0000951extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +0000952extern Addr VG_(shadow_end);
953extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +0000954extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +0000955
nethercote73b526f2004-10-31 18:48:21 +0000956extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
957extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +0000958
fitzhardingea49f9b52003-12-16 22:26:45 +0000959/* client executable file descriptor */
960extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +0000961
nethercotef6a1d502004-08-09 12:21:57 +0000962// Help set up the child used when doing execve() with --trace-children=yes
963Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
964Char* VG_(build_child_exename) ( void );
965
sewardjb5f6f512005-03-10 23:59:00 +0000966/* The master thread the one which will be responsible for mopping
967 everything up at exit. Normally it is tid 1, since that's the
968 first thread created, but it may be something else after a
969 fork(). */
970extern ThreadId VG_(master_tid);
971
sewardjde4a1d02002-03-22 01:27:54 +0000972/* Called when some unhandleable client behaviour is detected.
973 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +0000974extern void VG_(unimplemented) ( Char* msg )
975 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +0000976
nethercote04d0fbc2004-01-26 16:48:06 +0000977/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +0000978extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000979
sewardjde4a1d02002-03-22 01:27:54 +0000980/* Counts downwards in vg_run_innerloop. */
981extern UInt VG_(dispatch_ctr);
982
sewardj4ccf7072004-11-28 16:58:05 +0000983/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +0000984extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000985
sewardj51ac0872004-12-21 01:20:49 +0000986/* Indicates what arch and subarch we are running on. */
987extern VexArch VG_(vex_arch);
988extern VexSubArch VG_(vex_subarch);
989
njn1f707722005-03-27 03:17:52 +0000990/* 64-bit counter for the number of basic blocks done. */
991extern ULong VG_(bbs_done);
992
nethercote2e05c332004-09-06 16:43:37 +0000993
sewardjde4a1d02002-03-22 01:27:54 +0000994/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000995 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +0000996 ------------------------------------------------------------------ */
997
sewardj79048ce2005-02-18 08:28:32 +0000998extern HChar* VG_(resolve_filename_nodup)(Int fd);
999extern HChar* VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001000
sewardjb5f6f512005-03-10 23:59:00 +00001001/* Simple Valgrind-internal atfork mechanism */
1002extern void VG_(do_atfork_pre) (ThreadId tid);
1003extern void VG_(do_atfork_parent)(ThreadId tid);
1004extern void VG_(do_atfork_child) (ThreadId tid);
1005
1006
1007extern void VG_(client_syscall) ( ThreadId tid );
1008
1009extern void VG_(post_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001010
nethercote5b9fafd2004-11-04 18:39:22 +00001011extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001012
jsgf855d93d2003-10-13 22:26:55 +00001013/* Internal atfork handlers */
1014typedef void (*vg_atfork_t)(ThreadId);
1015extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001016
rjwalshf5f536f2003-11-17 17:45:00 +00001017/* fd leakage calls. */
1018extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001019extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001020
nethercote8ff888f2004-11-17 17:11:45 +00001021// Return true if address range entirely contained within client
1022// address space.
1023Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1024 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001025
1026// Return true if we're allowed to use or create this fd.
1027Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1028
njnc6168192004-11-29 13:54:10 +00001029void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
njn03f1e582005-03-26 20:08:06 +00001030
1031// Used when killing threads -- we must not kill a thread if it's the thread
1032// that would do Valgrind's final cleanup and output.
1033Bool VG_(do_sigkill)(Int pid, Int tgid);
nethercote8ff888f2004-11-17 17:11:45 +00001034
1035// Flags describing syscall wrappers
sewardjb5f6f512005-03-10 23:59:00 +00001036#define Special (1 << 0) /* handled specially */
1037#define MayBlock (1 << 1) /* may block */
1038#define PostOnFail (1 << 2) /* call POST() function on failure */
1039#define PadAddr (1 << 3) /* pad+unpad address space around syscall */
1040#define Done (1 << 4) /* used if a PRE() did the syscall */
nethercote8ff888f2004-11-17 17:11:45 +00001041
njn61fa0af2004-11-27 15:22:24 +00001042// Templates for generating the PRE and POST macros. For ones that must be
1043// publically visible, use an empty 'qual', 'prefix' should start with
njn6268bbc2005-03-26 02:57:36 +00001044// "vgArch_" or similar, and there should be corresponding global
1045// declarations (like the GEN_SYSCALL_WRAPPER ones below). Otherwise, use
1046// "static" for 'qual', and "vgArch_" should not be in the 'prefix'.
njn61fa0af2004-11-27 15:22:24 +00001047#define PRE_TEMPLATE(qual, prefix, name, f) \
1048 qual UInt prefix##_##name##_flags = f; \
1049 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1050#define POST_TEMPLATE(qual, prefix, name) \
1051 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1052
1053// This macro is used to write other macros which making writing syscall
1054// tables easier.
1055#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1056 [const] = { &prefix##_##name##_flags, \
1057 prefix##_##name##_before, NULL }
1058#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1059 [const] = { &prefix##_##name##_flags, \
1060 prefix##_##name##_before, \
1061 prefix##_##name##_after }
1062
1063// Macros for adding generic wrappers to a syscall table.
1064#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1065#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001066
njn22cfccb2004-11-27 16:10:23 +00001067// Space-saving macros for syscall wrappers
1068#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1069#define RES SYSCALL_RET(tst->arch) // in POST(x)
1070#define ARG1 SYSCALL_ARG1(tst->arch)
1071#define ARG2 SYSCALL_ARG2(tst->arch)
1072#define ARG3 SYSCALL_ARG3(tst->arch)
1073#define ARG4 SYSCALL_ARG4(tst->arch)
1074#define ARG5 SYSCALL_ARG5(tst->arch)
1075#define ARG6 SYSCALL_ARG6(tst->arch)
1076
njnf6d228b2005-03-26 02:42:31 +00001077#define SET_RESULT(val) \
1078 do { VGP_SET_SYSCALL_RESULT(tst->arch, (val)); \
1079 tst->syscall_result_set = True; \
sewardj004e8ca2005-02-28 17:27:04 +00001080 } while (0)
njn22cfccb2004-11-27 16:10:23 +00001081
1082#define PRINT(format, args...) \
1083 if (VG_(clo_trace_syscalls)) \
1084 VG_(printf)(format, ## args)
1085
nethercote8ff888f2004-11-17 17:11:45 +00001086// Generic (platform-independent) syscall wrappers. These are generally
1087// POSIX or something like that; those that are not POSIX are annotated
1088// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001089// For many of them, it's unclear if they are generic, or Linux-specific, or
1090// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001091//
1092// Nb: This list may change over time... ones thought at first to be generic
1093// may turn out not to be, and so be moved into OS-specific or
1094// platform-specific files. If there's any doubt, I'm leaving them in here.
1095//
1096// Nb 2: if porting to a new OS, you should really check all these generic
1097// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001098//
1099// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1100// post-wrapper (which is actually not always needed), and the associated
1101// flags.
1102#define GEN_SYSCALL_WRAPPER(x) \
1103 extern UInt VGA_(gen_##x##_flags); \
1104 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1105 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001106
1107GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1108GEN_SYSCALL_WRAPPER(sys_exit);
1109GEN_SYSCALL_WRAPPER(sys_fork);
1110GEN_SYSCALL_WRAPPER(sys_read);
1111GEN_SYSCALL_WRAPPER(sys_write);
1112GEN_SYSCALL_WRAPPER(sys_open);
1113GEN_SYSCALL_WRAPPER(sys_close);
1114GEN_SYSCALL_WRAPPER(sys_waitpid);
1115GEN_SYSCALL_WRAPPER(sys_creat);
1116GEN_SYSCALL_WRAPPER(sys_link);
1117GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001118GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001119GEN_SYSCALL_WRAPPER(sys_chdir);
1120GEN_SYSCALL_WRAPPER(sys_time);
1121GEN_SYSCALL_WRAPPER(sys_mknod);
1122GEN_SYSCALL_WRAPPER(sys_chmod);
1123GEN_SYSCALL_WRAPPER(sys_lseek);
1124GEN_SYSCALL_WRAPPER(sys_getpid);
1125GEN_SYSCALL_WRAPPER(sys_alarm);
1126GEN_SYSCALL_WRAPPER(sys_pause);
1127GEN_SYSCALL_WRAPPER(sys_utime);
1128GEN_SYSCALL_WRAPPER(sys_access);
1129GEN_SYSCALL_WRAPPER(sys_kill);
1130GEN_SYSCALL_WRAPPER(sys_rename);
1131GEN_SYSCALL_WRAPPER(sys_mkdir);
1132GEN_SYSCALL_WRAPPER(sys_rmdir);
1133GEN_SYSCALL_WRAPPER(sys_dup);
1134GEN_SYSCALL_WRAPPER(sys_times);
1135GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1136GEN_SYSCALL_WRAPPER(sys_setpgid);
1137GEN_SYSCALL_WRAPPER(sys_umask);
1138GEN_SYSCALL_WRAPPER(sys_dup2);
1139GEN_SYSCALL_WRAPPER(sys_getppid);
1140GEN_SYSCALL_WRAPPER(sys_getpgrp);
1141GEN_SYSCALL_WRAPPER(sys_setsid);
1142GEN_SYSCALL_WRAPPER(sys_munmap);
1143GEN_SYSCALL_WRAPPER(sys_truncate);
1144GEN_SYSCALL_WRAPPER(sys_ftruncate);
1145GEN_SYSCALL_WRAPPER(sys_fchmod);
1146GEN_SYSCALL_WRAPPER(sys_msync);
1147GEN_SYSCALL_WRAPPER(sys_readv);
1148GEN_SYSCALL_WRAPPER(sys_writev);
1149GEN_SYSCALL_WRAPPER(sys_getsid);
1150GEN_SYSCALL_WRAPPER(sys_fdatasync);
1151GEN_SYSCALL_WRAPPER(sys_mlock);
1152GEN_SYSCALL_WRAPPER(sys_munlock);
1153GEN_SYSCALL_WRAPPER(sys_mlockall);
1154GEN_SYSCALL_WRAPPER(sys_munlockall);
1155GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1156GEN_SYSCALL_WRAPPER(sys_sched_getparam);
sewardjb5f6f512005-03-10 23:59:00 +00001157GEN_SYSCALL_WRAPPER(sys_sched_rr_get_interval);
nethercote8ff888f2004-11-17 17:11:45 +00001158GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1159GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1160GEN_SYSCALL_WRAPPER(sys_sched_yield);
1161GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1162GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1163GEN_SYSCALL_WRAPPER(sys_nanosleep);
1164GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1165GEN_SYSCALL_WRAPPER(sys_getuid);
1166GEN_SYSCALL_WRAPPER(sys_getgid);
1167GEN_SYSCALL_WRAPPER(sys_geteuid);
1168GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001169GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001170GEN_SYSCALL_WRAPPER(sys_fsync);
1171GEN_SYSCALL_WRAPPER(sys_wait4);
1172GEN_SYSCALL_WRAPPER(sys_mprotect);
1173GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1174GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1175GEN_SYSCALL_WRAPPER(sys_timer_settime);
1176GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1177GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1178GEN_SYSCALL_WRAPPER(sys_timer_delete);
1179GEN_SYSCALL_WRAPPER(sys_clock_settime);
1180GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1181GEN_SYSCALL_WRAPPER(sys_clock_getres);
sewardjb5f6f512005-03-10 23:59:00 +00001182GEN_SYSCALL_WRAPPER(sys_clock_nanosleep);
nethercote8ff888f2004-11-17 17:11:45 +00001183GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001184GEN_SYSCALL_WRAPPER(sys_symlink);
1185GEN_SYSCALL_WRAPPER(sys_getgroups);
1186GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1187GEN_SYSCALL_WRAPPER(sys_chown);
1188GEN_SYSCALL_WRAPPER(sys_setuid);
1189GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1190GEN_SYSCALL_WRAPPER(sys_madvise);
1191GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001192
1193// These ones aren't POSIX, but are in some standard and look reasonably
1194// generic, and are the same for all architectures under Linux.
1195GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1196GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1197GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1198GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1199GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001200GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1201GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1202GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1203GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1204GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1205GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1206GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
sewardjb5f6f512005-03-10 23:59:00 +00001207GEN_SYSCALL_WRAPPER(sys_stime); // SVr4, SVID, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001208GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1209GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1210GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1211GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1212GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1213GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1214GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1215GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1216GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1217GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001218
1219// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1220// uid_t types. The similarly named (minus the "16" suffix) ones below use
1221// 32-bit versions of these types.
1222GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1223GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1224GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1225GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1226GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1227GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1228GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1229GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1230GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1231GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1232GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1233GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1234
nethercote8ff888f2004-11-17 17:11:45 +00001235// Linux's funny many-in-one socketcall is certainly not generic, but I
1236// didn't want to move it until necessary because it's big and has a lot of
1237// associated junk.
1238GEN_SYSCALL_WRAPPER(sys_socketcall);
1239
nethercote3d5e9102004-11-17 18:22:38 +00001240// Some archs on Linux do not match the generic wrapper for sys_pipe().
1241GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001242
nethercote3d5e9102004-11-17 18:22:38 +00001243// May not be generic for every architecture under Linux.
1244GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1245
1246// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001247GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1248GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1249GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1250
nethercote3d5e9102004-11-17 18:22:38 +00001251// For the remainder, not really sure yet
1252GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1253GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1254GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1255GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1256GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1257GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1258GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1259GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001260GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1261GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001262GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1263GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1264GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001265GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1266GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1267GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1268GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1269GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1270GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1271GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1272GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1273GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1274GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1275GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001276GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1277GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1278GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1279GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1280GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1281GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1282GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1283GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1284GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1285GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001286GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001287GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1288GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1289GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1290GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1291GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1292GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1293GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1294GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1295GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1296GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1297GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1298GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1299GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1300GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001301GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1302GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001303GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001304GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1305GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1306GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001307GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1308GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1309GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1310GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1311GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1312GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1313
1314#undef GEN_SYSCALL_WRAPPER
1315
1316// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001317/* PRRAn == "pre-register-read-argument"
1318 PRRSN == "pre-register-read-syscall"
1319*/
nethercote8ff888f2004-11-17 17:11:45 +00001320
1321#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001322 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001323 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001324#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001325 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001326 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001327#define PRE_REG_READ0(tr, s) \
1328 if (VG_(defined_pre_reg_read)()) { \
1329 PRRSN; \
1330 }
1331#define PRE_REG_READ1(tr, s, t1, a1) \
1332 if (VG_(defined_pre_reg_read)()) { \
1333 PRRSN; \
1334 PRRAn(1,s,t1,a1); \
1335 }
1336#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1337 if (VG_(defined_pre_reg_read)()) { \
1338 PRRSN; \
1339 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1340 }
1341#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1342 if (VG_(defined_pre_reg_read)()) { \
1343 PRRSN; \
1344 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1345 }
1346#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1347 if (VG_(defined_pre_reg_read)()) { \
1348 PRRSN; \
1349 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1350 PRRAn(4,s,t4,a4); \
1351 }
1352#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1353 if (VG_(defined_pre_reg_read)()) { \
1354 PRRSN; \
1355 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1356 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1357 }
1358#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1359 if (VG_(defined_pre_reg_read)()) { \
1360 PRRSN; \
1361 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1362 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1363 }
1364
1365#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1366 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1367
1368#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1369 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1370
1371#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1372 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1373
1374#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001375 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001376
sewardj987a8eb2005-03-01 19:00:30 +00001377
1378//////////////////////////////////////////////////////////
1379
1380#define TId ThreadId
1381#define UW UWord
1382
1383extern void VG_(generic_PRE_sys_socketpair) ( TId, UW, UW, UW, UW );
1384extern UWord VG_(generic_POST_sys_socketpair) ( TId, UW, UW, UW, UW, UW );
1385extern UWord VG_(generic_POST_sys_socket) ( TId, UW );
1386extern void VG_(generic_PRE_sys_bind) ( TId, UW, UW, UW );
1387extern void VG_(generic_PRE_sys_accept) ( TId, UW, UW, UW );
1388extern UWord VG_(generic_POST_sys_accept) ( TId, UW, UW, UW, UW );
1389extern void VG_(generic_PRE_sys_sendto) ( TId, UW, UW, UW, UW, UW, UW );
1390extern void VG_(generic_PRE_sys_send) ( TId, UW, UW, UW );
1391extern void VG_(generic_PRE_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW );
1392extern void VG_(generic_POST_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW, UW );
1393extern void VG_(generic_PRE_sys_recv) ( TId, UW, UW, UW );
1394extern void VG_(generic_POST_sys_recv) ( TId, UW, UW, UW, UW );
1395extern void VG_(generic_PRE_sys_connect) ( TId, UW, UW, UW );
1396extern void VG_(generic_PRE_sys_setsockopt) ( TId, UW, UW, UW, UW, UW );
1397extern void VG_(generic_PRE_sys_getsockopt) ( TId, UW, UW, UW, UW, UW );
1398extern void VG_(generic_POST_sys_getsockopt) ( TId, UW, UW, UW, UW, UW, UW );
1399extern void VG_(generic_PRE_sys_getsockname) ( TId, UW, UW, UW );
1400extern void VG_(generic_POST_sys_getsockname) ( TId, UW, UW, UW, UW );
1401extern void VG_(generic_PRE_sys_getpeername) ( TId, UW, UW, UW );
1402extern void VG_(generic_POST_sys_getpeername) ( TId, UW, UW, UW, UW );
1403extern void VG_(generic_PRE_sys_sendmsg) ( TId, UW, UW );
1404extern void VG_(generic_PRE_sys_recvmsg) ( TId, UW, UW );
1405extern void VG_(generic_POST_sys_recvmsg) ( TId, UW, UW, UW );
1406
sewardjb369c5e2005-03-24 17:52:02 +00001407extern void VG_(generic_PRE_sys_semop) ( TId, UW, UW, UW );
1408extern void VG_(generic_PRE_sys_semtimedop) ( TId, UW, UW, UW, UW );
1409extern void VG_(generic_PRE_sys_semctl) ( TId, UW, UW, UW, UW );
1410extern void VG_(generic_POST_sys_semctl) ( TId, UW, UW, UW, UW, UW );
1411extern void VG_(generic_PRE_sys_msgsnd) ( TId, UW, UW, UW, UW );
1412extern void VG_(generic_PRE_sys_msgrcv) ( TId, UW, UW, UW, UW, UW );
1413extern void VG_(generic_POST_sys_msgrcv) ( TId, UW, UW, UW, UW, UW, UW );
1414extern void VG_(generic_PRE_sys_msgctl) ( TId, UW, UW, UW );
1415extern void VG_(generic_POST_sys_msgctl) ( TId, UW, UW, UW, UW );
1416extern UWord VG_(generic_PRE_sys_shmat) ( TId, UW, UW, UW );
1417extern void VG_(generic_POST_sys_shmat) ( TId, UW, UW, UW, UW );
1418extern Bool VG_(generic_PRE_sys_shmdt) ( TId, UW );
1419extern void VG_(generic_POST_sys_shmdt) ( TId, UW, UW );
1420extern void VG_(generic_PRE_sys_shmctl) ( TId, UW, UW, UW );
1421extern void VG_(generic_POST_sys_shmctl) ( TId, UW, UW, UW, UW );
1422
sewardj987a8eb2005-03-01 19:00:30 +00001423#undef TID
1424#undef UW
1425
1426
sewardjde4a1d02002-03-22 01:27:54 +00001427/* ---------------------------------------------------------------------
1428 Exports of vg_transtab.c
1429 ------------------------------------------------------------------ */
1430
sewardjfa8ec112005-01-19 11:55:34 +00001431/* The fast-cache for tt-lookup, and for finding counters. */
1432extern ULong* VG_(tt_fast) [VG_TT_FAST_SIZE];
1433extern UInt* VG_(tt_fastN)[VG_TT_FAST_SIZE];
njn25e49d8e72002-09-23 09:36:25 +00001434
sewardjb5f6f512005-03-10 23:59:00 +00001435
nethercote92e7b7f2004-08-07 17:52:25 +00001436extern void VG_(init_tt_tc) ( void );
sewardj6c3769f2002-11-29 01:02:45 +00001437
sewardjfa8ec112005-01-19 11:55:34 +00001438extern
1439void VG_(add_to_trans_tab)( VexGuestExtents* vge,
1440 Addr64 entry,
1441 AddrH code,
1442 UInt code_len );
1443
1444extern Bool VG_(search_transtab) ( /*OUT*/AddrH* result,
1445 Addr64 guest_addr,
1446 Bool upd_cache );
1447
1448extern void VG_(discard_translations) ( Addr64 start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001449
sewardj4ccf7072004-11-28 16:58:05 +00001450extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001451
nethercote92e7b7f2004-08-07 17:52:25 +00001452extern void VG_(print_tt_tc_stats) ( void );
1453
sewardjfa8ec112005-01-19 11:55:34 +00001454extern UInt VG_(get_bbs_translated) ( void );
1455
1456extern void VG_(show_BB_profile) ( void );
1457
sewardjde4a1d02002-03-22 01:27:54 +00001458
sewardjde4a1d02002-03-22 01:27:54 +00001459/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001460 Exports of vg_syscall.S
1461 ------------------------------------------------------------------ */
1462
njnca6fef02004-11-29 16:49:18 +00001463// We use a full prototype rather than "..." here to ensure that all
1464// arguments get converted to a UWord appropriately. Not doing so can
1465// cause problems when passing 32-bit integers on 64-bit platforms, because
1466// the top 32-bits might not be zeroed appropriately, eg. as would happen
1467// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001468extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001469
1470// Macros make life easier.
1471#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1472#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1473#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1474#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1475#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1476#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1477#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1478
jsgf855d93d2003-10-13 22:26:55 +00001479extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
sewardjb5f6f512005-03-10 23:59:00 +00001480 Int *child_tid, Int *parent_tid, vki_modify_ldt_t * );
fitzhardinge4f10ada2004-06-03 10:00:42 +00001481extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001482
1483/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001484 Exports of vg_dispatch.S
1485 ------------------------------------------------------------------ */
1486
njnd6f157d2004-11-30 17:27:21 +00001487/* This subroutine is called from the C world. It is passed
1488 a pointer to the VEX guest state (arch.vex). It must run code
1489 from the instruction pointer in the guest state, and exit when
1490 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1491 The return value must indicate why it returned back to the scheduler.
1492 It can also be exited if the executing code throws a non-resumable
1493 signal, for example SIGSEGV, in which case control longjmp()s back past
1494 here.
1495
1496 This code simply handles the common case fast -- when the translation
1497 address is found in the translation cache. For anything else, the
1498 scheduler does the work.
1499*/
sewardj0312f512005-03-30 19:04:29 +00001500extern UWord VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001501
sewardjde4a1d02002-03-22 01:27:54 +00001502/* ---------------------------------------------------------------------
1503 Exports of vg_helpers.S
1504 ------------------------------------------------------------------ */
1505
fitzhardinge92360792003-12-24 10:11:11 +00001506/* Information about trampoline code (for signal return and syscalls) */
1507extern const Char VG_(trampoline_code_start);
1508extern const Int VG_(trampoline_code_length);
1509extern const Int VG_(tramp_sigreturn_offset);
sewardjb5f6f512005-03-10 23:59:00 +00001510extern const Int VG_(tramp_rt_sigreturn_offset);
fitzhardinge92360792003-12-24 10:11:11 +00001511extern const Int VG_(tramp_syscall_offset);
tomee0bcbf2005-05-02 10:28:42 +00001512extern const Int VG_(tramp_gettimeofday_offset);
1513extern const Int VG_(tramp_time_offset);
sewardj20917d82002-05-28 01:36:45 +00001514
njn4f9c9342002-04-29 16:03:24 +00001515/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001516 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001517 ------------------------------------------------------------------ */
1518
fitzhardinge98abfc72003-12-16 02:05:15 +00001519#define VG_TRACK(fn, args...) \
1520 do { \
1521 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001522 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001523 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001524
fitzhardinge98abfc72003-12-16 02:05:15 +00001525__attribute__ ((noreturn))
1526extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001527
nethercotec06e2132004-09-03 13:45:29 +00001528// ---------------------------------------------------------------------
1529// Architecture-specific things defined in eg. x86/*.c
1530// ---------------------------------------------------------------------
1531
sewardj51ac0872004-12-21 01:20:49 +00001532// Returns the architecture and subarchitecture, or indicates
1533// that this subarchitecture is unable to run Valgrind
1534// Returns False to indicate we cannot proceed further.
sewardj51ac0872004-12-21 01:20:49 +00001535extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1536 /*OUT*/VexSubArch* );
njncf45fd42004-11-24 16:30:22 +00001537// Accessors for the ThreadArchState
njn35172bc2005-03-26 00:04:03 +00001538#define INSTR_PTR(regs) ((regs).vex.VGA_INSTR_PTR)
1539#define STACK_PTR(regs) ((regs).vex.VGA_STACK_PTR)
1540#define FRAME_PTR(regs) ((regs).vex.VGA_FRAME_PTR)
1541#define CLREQ_ARGS(regs) ((regs).vex.VGA_CLREQ_ARGS)
njn35172bc2005-03-26 00:04:03 +00001542#define CLREQ_RET(regs) ((regs).vex.VGA_CLREQ_RET)
njn16de5572004-11-27 14:27:21 +00001543// Offsets for the Vex state
njn35172bc2005-03-26 00:04:03 +00001544#define O_STACK_PTR (offsetof(VexGuestArchState, VGA_STACK_PTR))
1545#define O_FRAME_PTR (offsetof(VexGuestArchState, VGA_FRAME_PTR))
1546#define O_CLREQ_RET (offsetof(VexGuestArchState, VGA_CLREQ_RET))
njncf45fd42004-11-24 16:30:22 +00001547
1548
sewardj2a99cf62004-11-24 10:44:19 +00001549// Setting up the initial thread (1) state
1550extern void
1551 VGA_(init_thread1state) ( Addr client_eip,
1552 Addr esp_at_startup,
1553 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001554
nethercotec009ebe2004-09-13 11:05:11 +00001555// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001556extern void VGA_(cleanup_thread) ( ThreadArchState* );
1557extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001558
sewardjb5f6f512005-03-10 23:59:00 +00001559// OS/Platform-specific thread clear (after thread exit)
1560extern void VGA_(os_state_clear)(ThreadState *);
1561
1562// OS/Platform-specific thread init (at scheduler init time)
1563extern void VGA_(os_state_init)(ThreadState *);
1564
1565// Run a thread from beginning to end. Does not return if tid == VG_(master_tid).
sewardj0c1a5962005-03-22 00:19:55 +00001566void VGA_(thread_wrapper)(Word /*ThreadId*/ tid);
sewardjb5f6f512005-03-10 23:59:00 +00001567
1568// Like VGA_(thread_wrapper), but it allocates a stack before calling
1569// to VGA_(thread_wrapper) on that stack, as if it had been set up by
1570// clone()
1571void VGA_(main_thread_wrapper)(ThreadId tid) __attribute__ ((__noreturn__));
1572
1573// Return how many bytes of a thread's Valgrind stack are unused
njn990e90c2005-04-05 02:49:09 +00001574SSizeT VGA_(stack_unused)(ThreadId tid);
sewardjb5f6f512005-03-10 23:59:00 +00001575
1576// Terminate the process. Does not return.
1577void VGA_(terminate)(ThreadId tid, VgSchedReturnCode src) __attribute__((__noreturn__));
1578
1579// wait until all other threads are dead
1580extern void VGA_(reap_threads)(ThreadId self);
1581
1582// handle an arch-specific client request
1583extern Bool VGA_(client_request)(ThreadId tid, UWord *args);
1584
nethercotec009ebe2004-09-13 11:05:11 +00001585// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001586extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001587
nethercotefedd8102004-09-13 15:19:34 +00001588// Pointercheck
1589extern Bool VGA_(setup_pointercheck) ( void );
1590
1591// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001592extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001593
sewardjb5f6f512005-03-10 23:59:00 +00001594// Used by leakcheck
1595extern void VGA_(mark_from_registers)(ThreadId tid, void (*marker)(Addr));
1596
sewardjb5f6f512005-03-10 23:59:00 +00001597////typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001598
1599
nethercote41c75da2004-10-18 15:34:14 +00001600// ---------------------------------------------------------------------
1601// Platform-specific things defined in eg. x86/*.c
1602// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001603
njncf45fd42004-11-24 16:30:22 +00001604// Accessors for the ThreadArchState
njnf6d228b2005-03-26 02:42:31 +00001605#define SYSCALL_NUM(regs) ((regs).vex.VGP_SYSCALL_NUM)
1606#define SYSCALL_ARG1(regs) ((regs).vex.VGP_SYSCALL_ARG1)
1607#define SYSCALL_ARG2(regs) ((regs).vex.VGP_SYSCALL_ARG2)
1608#define SYSCALL_ARG3(regs) ((regs).vex.VGP_SYSCALL_ARG3)
1609#define SYSCALL_ARG4(regs) ((regs).vex.VGP_SYSCALL_ARG4)
1610#define SYSCALL_ARG5(regs) ((regs).vex.VGP_SYSCALL_ARG5)
1611#define SYSCALL_ARG6(regs) ((regs).vex.VGP_SYSCALL_ARG6)
1612#define SYSCALL_RET(regs) ((regs).vex.VGP_SYSCALL_RET)
njncf45fd42004-11-24 16:30:22 +00001613
1614// Offsets for the shadow state
njnf6d228b2005-03-26 02:42:31 +00001615#define O_SYSCALL_NUM (offsetof(VexGuestArchState, VGP_SYSCALL_NUM))
1616#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG1))
1617#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG2))
1618#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG3))
1619#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG4))
1620#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG5))
1621#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG6))
1622#define O_SYSCALL_RET (offsetof(VexGuestArchState, VGP_SYSCALL_RET))
njncf45fd42004-11-24 16:30:22 +00001623
nethercote8ff888f2004-11-17 17:11:45 +00001624struct SyscallTableEntry {
1625 UInt *flags_ptr;
sewardjb5f6f512005-03-10 23:59:00 +00001626 void (*before)(ThreadId tid, ThreadState *tst /*, UInt *flags*/);
nethercote8ff888f2004-11-17 17:11:45 +00001627 void (*after) (ThreadId tid, ThreadState *tst);
1628};
1629
1630/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1631 wrappers for the relevant syscalls used in the OS kernel for that number.
1632 Note that the constant names don't always match the wrapper names in a
1633 straightforward way. For example, on x86/Linux:
1634
1635 __NR_lchown --> sys_lchown16()
1636 __NR_lchown32 --> sys_lchown()
1637 __NR_select --> old_select()
1638 __NR__newselect --> sys_select()
1639*/
1640extern const struct SyscallTableEntry VGA_(syscall_table)[];
1641
1642extern const UInt VGA_(syscall_table_size);
1643
sewardj2a99cf62004-11-24 10:44:19 +00001644extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001645
sewardjb5f6f512005-03-10 23:59:00 +00001646/*
1647 Perform a syscall on behalf of a client thread, using a specific
1648 signal mask. On completion, the signal mask is set to restore_mask
1649 (which presumably blocks almost everything). If a signal happens
1650 during the syscall, the handler should call
1651 VGA_(interrupted_syscall)() to adjust the thread's context to do the
1652 right thing.
njn7be36952004-11-24 18:14:41 +00001653*/
sewardjb5f6f512005-03-10 23:59:00 +00001654extern void VGA_(client_syscall)(Int syscallno, ThreadState *tst,
1655 const vki_sigset_t *syscall_mask);
njn7be36952004-11-24 18:14:41 +00001656
sewardjb5f6f512005-03-10 23:59:00 +00001657/*
1658 Fix up the thread's state because a syscall may have been
1659 interrupted with a signal. Returns True if the syscall completed
1660 (either interrupted or finished normally), or False if it was
1661 restarted (or the signal didn't actually interrupt a syscall).
1662 */
1663extern void VGA_(interrupted_syscall)(ThreadId tid,
1664 struct vki_ucontext *uc,
1665 Bool restart);
1666
tom748a1312005-04-02 15:53:01 +00001667/*
1668 Do any platform specific redirects.
1669 */
1670extern void VGP_(setup_redirects)(void);
sewardjb5f6f512005-03-10 23:59:00 +00001671
1672///* ---------------------------------------------------------------------
1673// Thread modelling
1674// ------------------------------------------------------------------ */
1675//extern void VG_(tm_thread_create) (ThreadId creator, ThreadId tid, Bool detached);
1676//extern void VG_(tm_thread_exit) (ThreadId tid);
1677//extern Bool VG_(tm_thread_exists) (ThreadId tid);
1678//extern void VG_(tm_thread_detach) (ThreadId tid);
1679//extern void VG_(tm_thread_join) (ThreadId joiner, ThreadId joinee);
1680//extern void VG_(tm_thread_switchto)(ThreadId tid);
1681//
1682//extern void VG_(tm_mutex_init) (ThreadId tid, Addr mutexp);
1683//extern void VG_(tm_mutex_destroy)(ThreadId tid, Addr mutexp);
1684//extern void VG_(tm_mutex_trylock)(ThreadId tid, Addr mutexp);
1685//extern void VG_(tm_mutex_giveup) (ThreadId tid, Addr mutexp);
1686//extern void VG_(tm_mutex_acquire)(ThreadId tid, Addr mutexp);
1687//extern void VG_(tm_mutex_tryunlock)(ThreadId tid, Addr mutexp);
1688//extern void VG_(tm_mutex_unlock) (ThreadId tid, Addr mutexp);
1689//extern Bool VG_(tm_mutex_exists) (Addr mutexp);
1690//
1691//extern UInt VG_(tm_error_update_extra) (Error *err);
1692//extern Bool VG_(tm_error_equal) (VgRes res, Error *e1, Error *e2);
1693//extern void VG_(tm_error_print) (Error *err);
1694//
1695//extern void VG_(tm_init) ();
1696//
1697//extern void VG_(tm_cond_init) (ThreadId tid, Addr condp);
1698//extern void VG_(tm_cond_destroy) (ThreadId tid, Addr condp);
1699//extern void VG_(tm_cond_wait) (ThreadId tid, Addr condp, Addr mutexp);
1700//extern void VG_(tm_cond_wakeup) (ThreadId tid, Addr condp, Addr mutexp);
1701//extern void VG_(tm_cond_signal) (ThreadId tid, Addr condp);
1702//
1703///* ----- pthreads ----- */
1704//extern void VG_(pthread_init) ();
1705//extern void VG_(pthread_startfunc_wrapper)(Addr wrapper);
1706//
1707//struct vg_pthread_newthread_data {
1708// void *(*startfunc)(void *arg);
1709// void *arg;
1710//};
sewardj3b2736a2002-03-24 12:18:35 +00001711
1712/* ---------------------------------------------------------------------
1713 Finally - autoconf-generated settings
1714 ------------------------------------------------------------------ */
1715
1716#include "config.h"
1717
nethercotec06e2132004-09-03 13:45:29 +00001718#endif /* ndef __CORE_H */
1719
sewardjde4a1d02002-03-22 01:27:54 +00001720/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001721/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001722/*--------------------------------------------------------------------*/