blob: 40d65a46246f4f3c21323e712daf1173fe368fbd [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);
sewardjb5f6f512005-03-10 23:59:00 +0000234/* DEBUG: print redirection details? default: NO */
235extern Bool VG_(clo_trace_redir);
sewardj8937c812002-04-12 20:12:20 +0000236/* DEBUG: print thread scheduling events? default: NO */
237extern Bool VG_(clo_trace_sched);
sewardjb5f6f512005-03-10 23:59:00 +0000238/* DEBUG: print pthreads calls? default: NO */
239extern Bool VG_(clo_trace_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000240/* Display gory details for the k'th most popular error. default:
241 Infinity. */
242extern Int VG_(clo_dump_error);
243/* Number of parents of a backtrace. Default: 8. */
244extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000245/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000246extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000247
rjwalshf5f536f2003-11-17 17:45:00 +0000248/* Track open file descriptors? */
249extern Bool VG_(clo_track_fds);
250
sewardj858964b2002-10-05 14:15:43 +0000251/* Should we run __libc_freeres at exit? Sometimes causes crashes.
252 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
253 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000254 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000255 cannot be overridden from the command line. */
256extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000257/* Generate branch-prediction hints? */
258extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000259/* Continue stack traces below main()? Default: NO */
260extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000261/* Test each client pointer dereference to check it's within the
262 client address space bounds */
263extern Bool VG_(clo_pointercheck);
sewardjb5f6f512005-03-10 23:59:00 +0000264/* Model the pthread library */
265extern Bool VG_(clo_model_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000266
sewardj062f3552005-01-06 16:13:40 +0000267/* HACK: Use hacked version of clone for Quadrics Elan3 drivers */
268extern Bool VG_(clo_support_elan3);
269
sewardjb1131a82005-03-19 15:12:21 +0000270/* Should we show VEX emulation warnings? Default: NO */
271extern Bool VG_(clo_show_emwarns);
272
sewardj97724e52005-04-02 23:40:59 +0000273/* How much does the stack pointer have to change before tools
274 consider a stack switch to have happened? Default: 2000000 bytes */
275extern Int VG_(clo_max_stackframe);
276
rjwalshe4e779d2004-04-16 23:02:29 +0000277/* Set up the libc freeres wrapper */
sewardjb5f6f512005-03-10 23:59:00 +0000278extern void VGA_(intercept_libc_freeres_wrapper)(Addr);
rjwalshe4e779d2004-04-16 23:02:29 +0000279
sewardjb5f6f512005-03-10 23:59:00 +0000280// Clean up the client by calling before the final reports
281extern void VGA_(final_tidyup)(ThreadId tid);
282
283// Arch-specific client requests
284extern Bool VGA_(client_requests)(ThreadId tid, UWord *args);
sewardj51ac0872004-12-21 01:20:49 +0000285
sewardjde4a1d02002-03-22 01:27:54 +0000286/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000287 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000288 ------------------------------------------------------------------ */
289
njn31066fd2005-03-26 00:42:02 +0000290extern void VG_(init_profiling) ( void );
291extern void VG_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000292
njn25e49d8e72002-09-23 09:36:25 +0000293#undef VGP_PUSHCC
294#undef VGP_POPCC
njn31066fd2005-03-26 00:42:02 +0000295#define VGP_PUSHCC(x) if (VG_(clo_profile)) VG_(pushcc)(x)
296#define VGP_POPCC(x) if (VG_(clo_profile)) VG_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000297
sewardj51ac0872004-12-21 01:20:49 +0000298
sewardjde4a1d02002-03-22 01:27:54 +0000299/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000300 Tool-related types
njn810086f2002-11-14 12:42:47 +0000301 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000302/* These structs are not exposed to tools to mitigate possibility of
303 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000304 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000305typedef
306 struct {
307 Char* name;
308 Char* version;
309 Char* description;
310 Char* copyright_author;
311 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000312 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000313 }
314 VgDetails;
315
316extern VgDetails VG_(details);
317
318/* If new fields are added to this type, update:
319 * - vg_main.c:initialisation of VG_(needs)
320 * - vg_main.c:sanity_check_needs()
321 *
322 * If the name of this type or any of its fields change, update:
323 * - dependent comments (just search for "VG_(needs)").
324 */
325typedef
326 struct {
327 Bool libc_freeres;
328 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000329 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000330 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000331 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000332 Bool command_line_options;
333 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000334 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000335 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000336 Bool sanity_checks;
337 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000338 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000339 }
340 VgNeeds;
341
342extern VgNeeds VG_(needs);
343
fitzhardinge98abfc72003-12-16 02:05:15 +0000344#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000345
sewardj51ac0872004-12-21 01:20:49 +0000346
njn810086f2002-11-14 12:42:47 +0000347/* ---------------------------------------------------------------------
348 Exports of vg_needs.c
349 ------------------------------------------------------------------ */
350
351void VG_(sanity_check_needs)(void);
352
sewardj51ac0872004-12-21 01:20:49 +0000353
njn810086f2002-11-14 12:42:47 +0000354/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000355 Exports of vg_malloc2.c
356 ------------------------------------------------------------------ */
357
358/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000359
360 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000361 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000362 SYMTAB for Valgrind's symbol table storage.
nethercote996901a2004-08-03 13:29:09 +0000363 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
364 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000365 DEMANGLE for the C++ demangler.
366 EXECTXT for storing ExeContexts.
367 ERRORS for storing CoreErrors.
njn3e884182003-04-15 13:03:23 +0000368
njn25e49d8e72002-09-23 09:36:25 +0000369 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000370*/
371typedef Int ArenaId;
372
njn9f46df62005-03-13 18:11:44 +0000373#define VG_N_ARENAS 7
sewardjde4a1d02002-03-22 01:27:54 +0000374
njn3e884182003-04-15 13:03:23 +0000375#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000376#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000377#define VG_AR_SYMTAB 2
njn9f46df62005-03-13 18:11:44 +0000378#define VG_AR_CLIENT 3
379#define VG_AR_DEMANGLE 4
380#define VG_AR_EXECTXT 5
381#define VG_AR_ERRORS 6
sewardjde4a1d02002-03-22 01:27:54 +0000382
nethercote2d5b8162004-08-11 09:40:52 +0000383// This is both the minimum payload size of a malloc'd block, and its
384// minimum alignment. Must be a power of 2 greater than 4, and should be
385// greater than 8.
386#define VG_MIN_MALLOC_SZB 8
387
nethercote7ac7f7b2004-11-02 12:36:02 +0000388extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000389extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn828022a2005-03-13 14:56:31 +0000390extern void* VG_(arena_calloc) ( ArenaId arena,
njn926ed472005-03-11 04:44:10 +0000391 SizeT nmemb, SizeT bytes_per_memb );
njn828022a2005-03-13 14:56:31 +0000392extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT size );
sewardjde4a1d02002-03-22 01:27:54 +0000393
njn8a97c6d2005-03-31 04:37:24 +0000394/* Sets the size of the redzones at the start and end of heap blocks. This
395 must be called before any of VG_(malloc) and friends are called. */
396extern void VG_(set_client_malloc_redzone_szB) ( SizeT rz_szB );
397
nethercote7ac7f7b2004-11-02 12:36:02 +0000398extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000399
nethercote885dd912004-08-03 23:14:00 +0000400extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000401
nethercote3a42fb82004-08-03 18:08:50 +0000402extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000403
sewardj51ac0872004-12-21 01:20:49 +0000404
sewardjde4a1d02002-03-22 01:27:54 +0000405/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000406 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000407 ------------------------------------------------------------------ */
408
409/* This doesn't export code or data that valgrind.so needs to link
410 against. However, the scheduler does need to know the following
411 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000412 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000413
njnd13e5e62005-03-26 03:50:14 +0000414/* Obsolete pthread-related requests */
njn4c791212003-05-02 17:53:54 +0000415#define VG_USERREQ__MALLOC 0x2001
416#define VG_USERREQ__FREE 0x2002
sewardj20917d82002-05-28 01:36:45 +0000417#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
sewardj20917d82002-05-28 01:36:45 +0000418#define VG_USERREQ__QUIT 0x3002
sewardj20917d82002-05-28 01:36:45 +0000419#define VG_USERREQ__WAIT_JOINER 0x3003
sewardj20917d82002-05-28 01:36:45 +0000420#define VG_USERREQ__PTHREAD_JOIN 0x3004
sewardj20917d82002-05-28 01:36:45 +0000421#define VG_USERREQ__SET_CANCELSTATE 0x3005
422#define VG_USERREQ__SET_CANCELTYPE 0x3006
sewardj20917d82002-05-28 01:36:45 +0000423#define VG_USERREQ__TESTCANCEL 0x3007
sewardj20917d82002-05-28 01:36:45 +0000424#define VG_USERREQ__SET_CANCELPEND 0x3008
sewardj20917d82002-05-28 01:36:45 +0000425#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
thughese321d492004-10-17 15:00:20 +0000426#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
427#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
428#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000429#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
430#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
431#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
432#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
433#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
434#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
435#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
436#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000437#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
438#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
njnd13e5e62005-03-26 03:50:14 +0000439#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
sewardj20917d82002-05-28 01:36:45 +0000440#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
sewardjb5f6f512005-03-10 23:59:00 +0000441#define VG_USERREQ__SIGWAIT 0x3019
sewardj20917d82002-05-28 01:36:45 +0000442#define VG_USERREQ__PTHREAD_KILL 0x301A
443#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000444#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj8ad94e12002-05-29 00:10:20 +0000445#define VG_USERREQ__CLEANUP_PUSH 0x3020
446#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000447#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardjef037c72002-05-30 00:40:03 +0000448#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjb5f6f512005-03-10 23:59:00 +0000449#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardj2cb00342002-06-28 01:46:26 +0000450#define VG_USERREQ__SET_FHSTACK_USED 0x3025
451#define VG_USERREQ__GET_FHSTACK_USED 0x3026
452#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
453#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
fitzhardinge98abfc72003-12-16 02:05:15 +0000454#define VG_USERREQ__GET_SIGRT_MIN 0x302B
455#define VG_USERREQ__GET_SIGRT_MAX 0x302C
456#define VG_USERREQ__ALLOC_RTSIG 0x302D
fitzhardinge98abfc72003-12-16 02:05:15 +0000457#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
thughesdaa34562004-06-27 12:48:53 +0000458#define VG_USERREQ__GET_STACK_INFO 0x3033
sewardj45b4b372002-04-16 22:50:32 +0000459#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000460#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardjb5f6f512005-03-10 23:59:00 +0000461
462
fitzhardinge39de4b42003-10-31 07:12:21 +0000463/* Internal equivalent of VALGRIND_PRINTF . */
464#define VG_USERREQ__INTERNAL_PRINTF 0x3103
njnaa3c26b2005-03-12 05:32:28 +0000465/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . (no longer used) */
466//#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000467
sewardjb5f6f512005-03-10 23:59:00 +0000468/* Denote the finish of __libc_freeres_wrapper().
469 A synonym for exit. */
470#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
sewardj54cacf02002-04-12 23:24:59 +0000471
sewardj9ee81f52005-04-02 17:38:59 +0000472/* Intercept prefix stuff. See coregrind/vg_replace_malloc.c for
473 details. Unfortunately the "_vgi_" literal is also hardcoded in
474 that file, so if you change this one you must also change the other
475 one. */
476#define VG_INTERCEPT_PREFIX "_vgi_"
477#define VG_INTERCEPT_PREFIX_LEN 5
rjwalshe4e779d2004-04-16 23:02:29 +0000478
sewardj9ee81f52005-04-02 17:38:59 +0000479/* Not sure what these are for. Todo: clarify */
480#define VG_WRAPPER_PREFIX "_vgw_"
481#define VG_WRAPPER_PREFIX_LEN 5
482#define VG_WRAPPER(name) _vgw_##name
483#define VG_WRAPPER_ALIAS(name) "_vgw_" #name
rjwalshe4e779d2004-04-16 23:02:29 +0000484
njn4c791212003-05-02 17:53:54 +0000485
fitzhardinge98abfc72003-12-16 02:05:15 +0000486struct vg_mallocfunc_info {
487 /* things vg_replace_malloc.o needs to know about */
njncf81d552005-03-31 04:52:26 +0000488 void* (*tl_malloc) (ThreadId tid, SizeT n);
489 void* (*tl___builtin_new) (ThreadId tid, SizeT n);
490 void* (*tl___builtin_vec_new) (ThreadId tid, SizeT n);
491 void* (*tl_memalign) (ThreadId tid, SizeT align, SizeT n);
492 void* (*tl_calloc) (ThreadId tid, SizeT nmemb, SizeT n);
493 void (*tl_free) (ThreadId tid, void* p);
494 void (*tl___builtin_delete) (ThreadId tid, void* p);
495 void (*tl___builtin_vec_delete)(ThreadId tid, void* p);
496 void* (*tl_realloc) (ThreadId tid, void* p, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +0000497
njncf81d552005-03-31 04:52:26 +0000498 SizeT (*arena_payload_szB) (ArenaId aid, void* payload);
fitzhardinge98abfc72003-12-16 02:05:15 +0000499
fitzhardinge98abfc72003-12-16 02:05:15 +0000500 Bool clo_trace_malloc;
501};
sewardj1fe7b002002-07-16 01:43:15 +0000502
sewardj51ac0872004-12-21 01:20:49 +0000503
sewardj2e93c502002-04-12 11:12:52 +0000504/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000505 Exports of vg_defaults.c
506 ------------------------------------------------------------------ */
507
njnd13e5e62005-03-26 03:50:14 +0000508extern Bool VG_(tl_malloc_called_deliberately);
njn3e884182003-04-15 13:03:23 +0000509
sewardj51ac0872004-12-21 01:20:49 +0000510
nethercote1f0173b2004-02-28 15:40:36 +0000511
512/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000513 Exports of vg_scheduler.c
514 ------------------------------------------------------------------ */
515
sewardjb5f6f512005-03-10 23:59:00 +0000516/*
517 Thread state machine:
518
519 Empty -> Init -> Runnable <=> WaitSys/Yielding
520 ^ |
521 \---- Zombie -----/
522 */
sewardj2e93c502002-04-12 11:12:52 +0000523typedef
jsgf855d93d2003-10-13 22:26:55 +0000524 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000525 VgTs_Empty, /* this slot is not in use */
sewardjb5f6f512005-03-10 23:59:00 +0000526 VgTs_Init, /* just allocated */
527 VgTs_Runnable, /* ready to run */
jsgf855d93d2003-10-13 22:26:55 +0000528 VgTs_WaitSys, /* waiting for a syscall to complete */
sewardjb5f6f512005-03-10 23:59:00 +0000529 VgTs_Yielding, /* temporarily yielding the CPU */
530 VgTs_Zombie, /* transient state just before exiting */
sewardj2e93c502002-04-12 11:12:52 +0000531 }
532 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000533
sewardjb5f6f512005-03-10 23:59:00 +0000534/* Return codes from the scheduler. */
thughes11975ff2004-06-12 12:58:22 +0000535typedef
sewardjb5f6f512005-03-10 23:59:00 +0000536 enum {
537 VgSrc_None, /* not exiting yet */
538 VgSrc_ExitSyscall, /* client called exit(). This is the normal
539 route out. */
540 VgSrc_FatalSig /* Killed by the default action of a fatal
541 signal */
thughes11975ff2004-06-12 12:58:22 +0000542 }
sewardjb5f6f512005-03-10 23:59:00 +0000543 VgSchedReturnCode;
thughes11975ff2004-06-12 12:58:22 +0000544
sewardjb5f6f512005-03-10 23:59:00 +0000545struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000546 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
547 The thread identity is simply the index in vg_threads[].
548 ThreadId == 1 is the root thread and has the special property
549 that we don't try and allocate or deallocate its stack. For
550 convenience of generating error message, we also put the
551 ThreadId in this tid field, but be aware that it should
552 ALWAYS == the index in vg_threads[]. */
553 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000554
sewardjb5f6f512005-03-10 23:59:00 +0000555 /* Current scheduling status. */
njn25e49d8e72002-09-23 09:36:25 +0000556 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000557
sewardjb5f6f512005-03-10 23:59:00 +0000558 /* This is set if the thread is in the process of exiting for any
559 reason. The precise details of the exit are in the OS-specific
560 state. */
561 VgSchedReturnCode exitreason;
sewardj3b5d8862002-04-20 13:53:23 +0000562
sewardjb5f6f512005-03-10 23:59:00 +0000563 /* Architecture-specific thread state. */
564 ThreadArchState arch;
sewardjb48e5002002-05-13 00:16:03 +0000565
njn25e49d8e72002-09-23 09:36:25 +0000566 /* This thread's blocked-signals mask. Semantics is that for a
567 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000568 blocked by this signal mask. If more than one thread accepts a
569 signal, then it will be delivered to one at random. If all
570 threads block the signal, it will remain pending until either a
sewardjb5f6f512005-03-10 23:59:00 +0000571 thread unblocks it or someone uses sigwaitsig/sigtimedwait. */
nethercote73b526f2004-10-31 18:48:21 +0000572 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000573
sewardjb5f6f512005-03-10 23:59:00 +0000574 /* tmp_sig_mask is usually the same as sig_mask, and is kept in
575 sync whenever sig_mask is changed. The only time they have
576 different values is during the execution of a sigsuspend, where
577 tmp_sig_mask is the temporary mask which sigsuspend installs.
578 It is only consulted to compute the signal mask applied to a
579 signal handler. */
580 vki_sigset_t tmp_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000581
sewardjb5f6f512005-03-10 23:59:00 +0000582 /* A little signal queue for signals we can't get the kernel to
583 queue for us. This is only allocated as needed, since it should
584 be rare. */
585 struct SigQueue *sig_queue;
586
587 /* Syscall the Thread is currently running; -1 if none. Should only
588 be set while Thread is in VgTs_WaitSys. */
589 Int syscallno;
590
591 /* A value the Tool wants to pass from its pre-syscall to its
592 post-syscall function. */
593 void *tool_pre_syscall_value;
thughes8abf3922004-10-16 10:59:49 +0000594
njn50ba34e2005-04-04 02:41:42 +0000595 /* Client stacks. When a thread slot is freed, we don't deallocate its
njn25e49d8e72002-09-23 09:36:25 +0000596 stack; we just leave it lying around for the next use of the
597 slot. If the next use of the slot requires a larger stack,
598 only then is the old one deallocated and a new one
599 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000600
njn25e49d8e72002-09-23 09:36:25 +0000601 For the main thread (threadid == 0), this mechanism doesn't
602 apply. We don't know the size of the stack since we didn't
603 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000604
njn25e49d8e72002-09-23 09:36:25 +0000605 /* The allocated size of this thread's stack (permanently zero
606 if this is ThreadId == 0, since we didn't allocate its stack) */
njn50ba34e2005-04-04 02:41:42 +0000607 SizeT client_stack_szB;
sewardj2e93c502002-04-12 11:12:52 +0000608
sewardj92a59562002-09-30 00:53:10 +0000609 /* Address of the highest legitimate word in this stack. This is
610 used for error messages only -- not critical for execution
611 correctness. Is is set for all stacks, specifically including
612 ThreadId == 0 (the main thread). */
njn50ba34e2005-04-04 02:41:42 +0000613 Addr client_stack_highest_word;
njn25e49d8e72002-09-23 09:36:25 +0000614
fitzhardinge98c4dc02004-03-16 08:27:29 +0000615 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000616 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000617
sewardjb5f6f512005-03-10 23:59:00 +0000618 /* OS-specific thread state */
619 os_thread_t os_state;
sewardj004e8ca2005-02-28 17:27:04 +0000620
621 /* Used in the syscall handlers. Set to True to indicate that the
622 PRE routine for a syscall has set the syscall result already and
623 so the syscall does not need to be handed to the kernel. */
624 Bool syscall_result_set;
sewardjb5f6f512005-03-10 23:59:00 +0000625
626 /* Per-thread jmp_buf to resume scheduler after a signal */
627 Bool sched_jmpbuf_valid;
628 jmp_buf sched_jmpbuf;
nethercote8ff888f2004-11-17 17:11:45 +0000629};
sewardj2e93c502002-04-12 11:12:52 +0000630
sewardj018f7622002-05-15 21:13:39 +0000631/* The thread table. */
632extern ThreadState VG_(threads)[VG_N_THREADS];
633
sewardjb5f6f512005-03-10 23:59:00 +0000634/* Allocate a new ThreadState */
635extern ThreadId VG_(alloc_ThreadState)(void);
636
637/* A thread exits. tid must currently be running. */
638extern void VG_(exit_thread)(ThreadId tid);
639
640/* Kill a thread. This interrupts whatever a thread is doing, and
641 makes it exit ASAP. This does not set the exitreason or
642 exitcode. */
643extern void VG_(kill_thread)(ThreadId tid);
644
sewardj018f7622002-05-15 21:13:39 +0000645/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000646extern Bool VG_(is_valid_tid) ( ThreadId tid );
647
jsgf855d93d2003-10-13 22:26:55 +0000648/* Get the ThreadState for a particular thread */
649extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
650
sewardjb5f6f512005-03-10 23:59:00 +0000651/* Given an LWP id (ie, real kernel thread id), find the corresponding
652 ThreadId */
653extern ThreadId VG_(get_lwp_tid)(Int lwpid);
654
655/* Returns true if a thread is currently running (ie, has the CPU lock) */
656extern Bool VG_(is_running_thread)(ThreadId tid);
657
658/* Returns true if the thread is in the process of exiting */
659extern Bool VG_(is_exiting)(ThreadId tid);
660
661/* Return the number of non-dead Threads */
662extern Int VG_(count_living_threads)(void);
663
sewardjccef2e62002-05-29 19:26:32 +0000664/* Nuke all threads except tid. */
sewardjb5f6f512005-03-10 23:59:00 +0000665extern void VG_(nuke_all_threads_except) ( ThreadId me, VgSchedReturnCode reason );
sewardjccef2e62002-05-29 19:26:32 +0000666
sewardjb5f6f512005-03-10 23:59:00 +0000667/* Make a thread the running thread. The thread must previously been
668 sleeping, and not holding the CPU semaphore. This will set the
669 thread state to VgTs_Runnable, and the thread will attempt to take
670 the CPU semaphore. By the time it returns, tid will be the running
671 thread. */
672extern void VG_(set_running) ( ThreadId tid );
jsgf855d93d2003-10-13 22:26:55 +0000673
sewardjb5f6f512005-03-10 23:59:00 +0000674/* Set a thread into a sleeping state. Before the call, the thread
675 must be runnable, and holding the CPU semaphore. When this call
676 returns, the thread will be set to the specified sleeping state,
677 and will not be holding the CPU semaphore. Note that another
678 thread could be running by the time this call returns, so the
679 caller must be careful not to touch any shared state. It is also
680 the caller's responsibility to actually block until the thread is
681 ready to run again. */
682extern void VG_(set_sleeping) ( ThreadId tid, ThreadStatus state );
sewardj2e93c502002-04-12 11:12:52 +0000683
sewardjb5f6f512005-03-10 23:59:00 +0000684/* Yield the CPU for a while */
685extern void VG_(vg_yield)(void);
sewardj7e87e382002-05-03 19:09:05 +0000686
sewardjb5f6f512005-03-10 23:59:00 +0000687// The scheduler.
688extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid );
689
690// Do everything which needs doing before the process finally ends,
691// like printing reports, etc
692extern void VG_(shutdown_actions)(ThreadId tid);
sewardj2e93c502002-04-12 11:12:52 +0000693
694extern void VG_(scheduler_init) ( void );
695
sewardj15a43e12002-04-17 19:35:12 +0000696extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000697
nethercote75d26242004-08-01 22:59:18 +0000698// Longjmp back to the scheduler and thus enter the sighandler immediately.
sewardjb5f6f512005-03-10 23:59:00 +0000699extern void VG_(resume_scheduler) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000700
sewardjb5f6f512005-03-10 23:59:00 +0000701/* If true, a fault is Valgrind-internal (ie, a bug) */
702extern Bool VG_(my_fault);
nethercote238a3c32004-08-09 13:13:31 +0000703
nethercoteaff1c772004-09-13 16:11:09 +0000704// Write a value to a client's thread register, and shadow (if necessary).
705// Note that there are some further similar macros in the arch- and
706// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000707#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
708 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
709 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000710 } while (0)
711
njnd3040452003-05-19 15:04:06 +0000712#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000713 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
714 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000715
716#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000717 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
718 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000719
sewardj2e93c502002-04-12 11:12:52 +0000720/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000721 Exports of vg_signals.c
722 ------------------------------------------------------------------ */
723
sewardjb5f6f512005-03-10 23:59:00 +0000724/* Set the standard set of blocked signals, used wheneever we're not
725 running a client syscall. */
726extern void VG_(block_signals)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +0000727
sewardjb5f6f512005-03-10 23:59:00 +0000728/* Highest signal the kernel will let us use */
729extern Int VG_(max_signal);
jsgf855d93d2003-10-13 22:26:55 +0000730
sewardjde4a1d02002-03-22 01:27:54 +0000731extern void VG_(sigstartup_actions) ( void );
732
jsgf855d93d2003-10-13 22:26:55 +0000733extern Bool VG_(is_sig_ign) ( Int sigNo );
734
sewardjb5f6f512005-03-10 23:59:00 +0000735/* Poll a thread's set of pending signals, and update the Thread's context to deliver one */
736extern void VG_(poll_signals) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000737
738/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000739extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
sewardjb5f6f512005-03-10 23:59:00 +0000740extern Int VG_(do_sys_sigaction) ( Int signo,
741 const struct vki_sigaction *new_act,
742 struct vki_sigaction *old_act );
nethercote93d9aa12004-11-10 19:08:31 +0000743extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000744 vki_sigset_t* set,
745 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000746
sewardj2e93c502002-04-12 11:12:52 +0000747/* Handy utilities to block/restore all host signals. */
748extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000749 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000750extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000751 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000752
jsgf855d93d2003-10-13 22:26:55 +0000753extern void VG_(kill_self)(Int sigNo);
754
fitzhardingef1beb252004-03-16 09:49:08 +0000755/* These function synthesize a fault, as if the running instruction
756 had had a fault. These functions do not return - they longjmp back
757 into the scheduler so the signal can be delivered. */
758extern void VG_(synth_fault) (ThreadId tid);
759extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
760extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +0000761extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +0000762
sewardjb5f6f512005-03-10 23:59:00 +0000763/* Extend the stack to cover addr, if possible */
764extern Bool VG_(extend_stack)(Addr addr, UInt maxsize);
765
766/* Returns True if the signal is OK for the client to use */
767extern Bool VG_(client_signal_OK)(Int sigNo);
768
769/* Forces the client's signal handler to SIG_DFL - generally just
770 before using that signal to kill the process. */
771extern void VG_(set_default_handler)(Int sig);
772
773/* Adjust a client's signal mask to match our internal requirements */
774extern void VG_(sanitize_client_sigmask)(ThreadId tid, vki_sigset_t *mask);
775
776/* Wait until a thread-related predicate is true */
777extern void VG_(wait_for_threadstate)(Bool (*pred)(void *), void *arg);
sewardj51ac0872004-12-21 01:20:49 +0000778
sewardjde4a1d02002-03-22 01:27:54 +0000779/* ---------------------------------------------------------------------
780 Exports of vg_mylibc.c
781 ------------------------------------------------------------------ */
782
njnca0518d2004-11-26 19:34:36 +0000783// Useful for making failing stubs, when certain things haven't yet been
784// implemented.
njn50ae1a72005-04-08 23:28:23 +0000785#define I_die_here \
786 VG_(assert_fail) ("Unimplemented functionality", \
787 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
788 "valgrind", VG_BUGS_TO, "")
njnca0518d2004-11-26 19:34:36 +0000789
njn50ae1a72005-04-08 23:28:23 +0000790#define vg_assert(expr) \
791 ((void) ((expr) ? 0 : \
792 (VG_(assert_fail) (/*isCore*/True, VG_STRINGIFY(expr), \
793 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
794 ""), \
795 0)))
796
797#define vg_assert2(expr, format, args...) \
798 ((void) ((expr) ? 0 : \
799 (VG_(assert_fail) (/*isCore*/True, VG_STRINGIFY(expr), \
800 __FILE__, __LINE__, __PRETTY_FUNCTION__, \
801 format, ##args), \
802 0)))
803
njne427a662002-10-02 11:08:25 +0000804__attribute__ ((__noreturn__))
805extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +0000806__attribute__ ((__noreturn__))
njnd01fef72005-03-25 23:35:48 +0000807extern void VG_(core_panic_at) ( Char* str, StackTrace ips );
sewardjde4a1d02002-03-22 01:27:54 +0000808
nethercote05675c82004-08-04 10:37:49 +0000809/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +0000810extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000811
njn25e49d8e72002-09-23 09:36:25 +0000812extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +0000813extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +0000814
fitzhardinge98abfc72003-12-16 02:05:15 +0000815/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +0000816extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +0000817 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +0000818extern Int VG_(munmap)( void* start, SizeT length );
819extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
sewardj79048ce2005-02-18 08:28:32 +0000820extern Int VG_(mprotect_native)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +0000821
822
jsgf855d93d2003-10-13 22:26:55 +0000823/* Move an fd into the Valgrind-safe range */
824Int VG_(safe_fd)(Int oldfd);
825
sewardj570f8902002-11-03 11:44:36 +0000826extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000827
828/* --- Connecting over the network --- */
829extern Int VG_(connect_via_socket)( UChar* str );
830
fitzhardinge98abfc72003-12-16 02:05:15 +0000831/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +0000832extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
833 const Char *val );
834extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
835extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +0000836
sewardjb5f6f512005-03-10 23:59:00 +0000837extern void VG_(nanosleep)(struct vki_timespec *);
sewardj570f8902002-11-03 11:44:36 +0000838/* ---------------------------------------------------------------------
839 Exports of vg_message.c
840 ------------------------------------------------------------------ */
841
842/* Low-level -- send bytes directly to the message sink. Do not
843 use. */
844extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
845
sewardjde4a1d02002-03-22 01:27:54 +0000846/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000847 Exports of vg_demangle.c
848 ------------------------------------------------------------------ */
849
850extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
851
sewardjb5f6f512005-03-10 23:59:00 +0000852extern void VG_(reloc_abs_jump) ( UChar *jmp );
sewardj4ccf7072004-11-28 16:58:05 +0000853
sewardjde4a1d02002-03-22 01:27:54 +0000854/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000855 Exports of vg_translate.c
856 ------------------------------------------------------------------ */
857
sewardjfa8ec112005-01-19 11:55:34 +0000858extern
859Bool VG_(translate) ( ThreadId tid,
860 Addr64 orig_addr,
861 Bool debugging_translation,
862 Int debugging_verbosity );
sewardjb5ff83e2002-12-01 19:40:49 +0000863
sewardjde4a1d02002-03-22 01:27:54 +0000864/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000865 Exports of vg_errcontext.c.
866 ------------------------------------------------------------------ */
867
sewardjb5f6f512005-03-10 23:59:00 +0000868typedef
869 enum {
870 ThreadErr = -1, // Thread error
871 MutexErr = -2, // Mutex error
872 }
873 CoreErrorKind;
sewardjde4a1d02002-03-22 01:27:54 +0000874
sewardjb5f6f512005-03-10 23:59:00 +0000875extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000876
njn25e49d8e72002-09-23 09:36:25 +0000877extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000878
nethercotef2b11482004-08-02 12:36:01 +0000879extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +0000880
nethercotef2b11482004-08-02 12:36:01 +0000881extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +0000882
sewardj51ac0872004-12-21 01:20:49 +0000883
sewardjde4a1d02002-03-22 01:27:54 +0000884/* ---------------------------------------------------------------------
885 Exports of vg_procselfmaps.c
886 ------------------------------------------------------------------ */
887
sewardjb5f6f512005-03-10 23:59:00 +0000888/* Parses /proc/self/maps, calling `record_mapping' for each entry. */
sewardjde4a1d02002-03-22 01:27:54 +0000889extern
njnfa1016e2003-09-25 17:54:11 +0000890void VG_(parse_procselfmaps) (
sewardjb5f6f512005-03-10 23:59:00 +0000891 void (*record_mapping)( Addr addr, SizeT len, UInt prot,
nethercote85cdd342004-08-01 22:36:40 +0000892 UInt dev, UInt ino, ULong foff,
893 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +0000894
895
896/* ---------------------------------------------------------------------
897 Exports of vg_symtab2.c
898 ------------------------------------------------------------------ */
899
fitzhardinge98abfc72003-12-16 02:05:15 +0000900typedef struct _Segment Segment;
sewardjb5f6f512005-03-10 23:59:00 +0000901typedef struct _CodeRedirect CodeRedirect;
fitzhardinge98abfc72003-12-16 02:05:15 +0000902
903extern Bool VG_(is_object_file) ( const void *hdr );
fitzhardinge98abfc72003-12-16 02:05:15 +0000904extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +0000905extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +0000906extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +0000907
njn25e49d8e72002-09-23 09:36:25 +0000908extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +0000909
sewardjb5f6f512005-03-10 23:59:00 +0000910extern Addr VG_(reverse_search_one_symtab) ( const SegInfo* si, const Char* name );
911
fitzhardinge98abfc72003-12-16 02:05:15 +0000912/* Set up some default redirects */
913extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +0000914
sewardjb5f6f512005-03-10 23:59:00 +0000915extern Bool VG_(resolve_redir_allsegs)(CodeRedirect *redir);
916
917/* ---------------------------------------------------------------------
918 Exports of vg_redir.c
919 ------------------------------------------------------------------ */
fitzhardinge98abfc72003-12-16 02:05:15 +0000920/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +0000921extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +0000922
tom748a1312005-04-02 15:53:01 +0000923extern void VG_(add_redirect_sym_to_addr)(const Char *from_lib,
924 const Char *from_sym,
925 Addr to_addr);
926extern void VG_(add_redirect_addr_to_addr)(Addr from_addr, Addr to_addr);
sewardjb5f6f512005-03-10 23:59:00 +0000927extern void VG_(resolve_seg_redirs)(SegInfo *si);
928extern Bool VG_(resolve_redir)(CodeRedirect *redir, const SegInfo *si);
929
930/* Wrapping machinery */
931enum return_type {
932 RT_RETURN,
933 RT_LONGJMP,
934 RT_EXIT,
935};
936
937typedef struct _FuncWrapper FuncWrapper;
938struct _FuncWrapper {
939 void *(*before)(va_list args);
940 void (*after) (void *nonce, enum return_type, Word retval);
941};
942
943extern void VG_(wrap_function)(Addr eip, const FuncWrapper *wrapper);
944extern const FuncWrapper *VG_(is_wrapped)(Addr eip);
945extern Bool VG_(is_wrapper_return)(Addr eip);
946
947/* Primary interface for adding wrappers for client-side functions. */
948extern CodeRedirect *VG_(add_wrapper)(const Char *from_lib, const Char *from_sym,
949 const FuncWrapper *wrapper);
950
951extern Bool VG_(is_resolved)(const CodeRedirect *redir);
sewardj51ac0872004-12-21 01:20:49 +0000952
sewardjde4a1d02002-03-22 01:27:54 +0000953/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000954 Exports of vg_main.c
955 ------------------------------------------------------------------ */
956
sewardj73cf3bc2002-11-03 03:20:15 +0000957/* Tell the logging mechanism whether we are logging to a file
958 descriptor or a socket descriptor. */
959extern Bool VG_(logging_to_filedes);
960
njn25e49d8e72002-09-23 09:36:25 +0000961/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +0000962extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +0000963
fitzhardinge98abfc72003-12-16 02:05:15 +0000964/* Address space */
965extern Addr VG_(client_base); /* client address space limits */
966extern Addr VG_(client_end);
967extern Addr VG_(client_mapbase); /* base of mappings */
968extern Addr VG_(clstk_base); /* client stack range */
969extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +0000970extern Addr VG_(client_trampoline_code);
971
fitzhardinge98abfc72003-12-16 02:05:15 +0000972extern Addr VG_(brk_base); /* start of brk */
973extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +0000974extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +0000975extern Addr VG_(shadow_end);
976extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +0000977extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +0000978
nethercote73b526f2004-10-31 18:48:21 +0000979extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
980extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +0000981
fitzhardingea49f9b52003-12-16 22:26:45 +0000982/* client executable file descriptor */
983extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +0000984
nethercotef6a1d502004-08-09 12:21:57 +0000985// Help set up the child used when doing execve() with --trace-children=yes
986Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
987Char* VG_(build_child_exename) ( void );
988
sewardjb5f6f512005-03-10 23:59:00 +0000989/* The master thread the one which will be responsible for mopping
990 everything up at exit. Normally it is tid 1, since that's the
991 first thread created, but it may be something else after a
992 fork(). */
993extern ThreadId VG_(master_tid);
994
sewardjde4a1d02002-03-22 01:27:54 +0000995/* Called when some unhandleable client behaviour is detected.
996 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +0000997extern void VG_(unimplemented) ( Char* msg )
998 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +0000999
nethercote04d0fbc2004-01-26 16:48:06 +00001000/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001001extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001002
sewardjde4a1d02002-03-22 01:27:54 +00001003/* Counts downwards in vg_run_innerloop. */
1004extern UInt VG_(dispatch_ctr);
1005
sewardj4ccf7072004-11-28 16:58:05 +00001006/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001007extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001008
sewardj51ac0872004-12-21 01:20:49 +00001009/* Indicates what arch and subarch we are running on. */
1010extern VexArch VG_(vex_arch);
1011extern VexSubArch VG_(vex_subarch);
1012
njn1f707722005-03-27 03:17:52 +00001013/* 64-bit counter for the number of basic blocks done. */
1014extern ULong VG_(bbs_done);
1015
nethercote2e05c332004-09-06 16:43:37 +00001016
sewardjde4a1d02002-03-22 01:27:54 +00001017/* ---------------------------------------------------------------------
1018 Exports of vg_memory.c
1019 ------------------------------------------------------------------ */
1020
fitzhardinge98abfc72003-12-16 02:05:15 +00001021/* A Segment is mapped piece of client memory. This covers all kinds
1022 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1023
1024 We try to encode everything we know about a particular segment here.
1025*/
nethercote85cdd342004-08-01 22:36:40 +00001026#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1027#define SF_SHARED (1 << 1) // shared
1028#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1029#define SF_MMAP (1 << 3) // mmap memory
1030#define SF_FILE (1 << 4) // mapping is backed by a file
1031#define SF_STACK (1 << 5) // is a stack
1032#define SF_GROWDOWN (1 << 6) // segment grows down
1033#define SF_GROWUP (1 << 7) // segment grows up
1034#define SF_EXEC (1 << 8) // segment created by exec
1035#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1036#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1037#define SF_BRK (1 << 11) // brk segment
1038#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1039#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1040#define SF_CODE (1 << 14) // segment contains cached code
sewardjb5f6f512005-03-10 23:59:00 +00001041#define SF_DEVICE (1 << 15) // device mapping; avoid careless touching
fitzhardinge98abfc72003-12-16 02:05:15 +00001042
1043struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001044 UInt prot; // VKI_PROT_*
1045 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001046
njnf9dc6192004-11-30 13:20:44 +00001047 Addr addr; // mapped addr (page aligned)
1048 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001049
njnf9dc6192004-11-30 13:20:44 +00001050 // These are valid if (flags & SF_FILE)
1051 OffT offset; // file offset
1052 const Char* filename; // filename (NULL if unknown)
sewardj79048ce2005-02-18 08:28:32 +00001053 Int fnIdx; // filename table index (-1 if unknown)
njnf9dc6192004-11-30 13:20:44 +00001054 UInt dev; // device
1055 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001056
njnf9dc6192004-11-30 13:20:44 +00001057 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001058};
1059
1060/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001061extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001062 Int fd, ULong off, const Char *filename);
1063
1064/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001065extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001066 UInt dev, UInt ino, ULong off, const Char *filename);
1067
1068/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001069extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001070
nethercote8b5f40c2004-11-02 13:29:50 +00001071extern void VG_(unmap_range) (Addr addr, SizeT len);
1072extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1073extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001074
sewardj548be6d2005-02-16 01:31:37 +00001075/* Find the segment containing a, or NULL if none. */
fitzhardinge98abfc72003-12-16 02:05:15 +00001076extern Segment *VG_(find_segment)(Addr a);
sewardj548be6d2005-02-16 01:31:37 +00001077
1078/* a is an unmapped address (is checked). Find the next segment
1079 along in the address space, or NULL if none. */
1080extern Segment *VG_(find_segment_above_unmapped)(Addr a);
1081
1082/* a is a mapped address (in a segment, is checked). Find the
1083 next segment along. */
1084extern Segment *VG_(find_segment_above_mapped)(Addr a);
1085
sewardj1024cf72005-02-28 14:39:21 +00001086extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1087extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001088
sewardjb5f6f512005-03-10 23:59:00 +00001089extern Segment *VG_(split_segment)(Addr a);
1090
1091extern void VG_(pad_address_space) (Addr start);
1092extern void VG_(unpad_address_space)(Addr start);
thughes9aaebc32004-07-15 23:13:37 +00001093
njn9fb73db2005-03-27 01:55:21 +00001094extern VGA_REGPARM(2)
sewardj2a99cf62004-11-24 10:44:19 +00001095 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001096
sewardjb5f6f512005-03-10 23:59:00 +00001097///* Search /proc/self/maps for changes which aren't reflected in the
1098// segment list */
1099//extern void VG_(sync_segments)(UInt flags);
jsgf855d93d2003-10-13 22:26:55 +00001100
sewardjb5f6f512005-03-10 23:59:00 +00001101/* Return string for prot */
1102extern const HChar *VG_(prot_str)(UInt prot);
jsgf855d93d2003-10-13 22:26:55 +00001103
njn04af9d02005-03-27 03:48:13 +00001104extern Addr VG_(get_memory_from_mmap_for_client)
1105 (Addr base, SizeT len, UInt prot, UInt flags);
1106
sewardjb5f6f512005-03-10 23:59:00 +00001107//extern void VG_(print_shadow_stats)();
jsgf855d93d2003-10-13 22:26:55 +00001108
sewardjde4a1d02002-03-22 01:27:54 +00001109/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001110 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001111 ------------------------------------------------------------------ */
1112
sewardj79048ce2005-02-18 08:28:32 +00001113extern HChar* VG_(resolve_filename_nodup)(Int fd);
1114extern HChar* VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001115
sewardjb5f6f512005-03-10 23:59:00 +00001116/* Simple Valgrind-internal atfork mechanism */
1117extern void VG_(do_atfork_pre) (ThreadId tid);
1118extern void VG_(do_atfork_parent)(ThreadId tid);
1119extern void VG_(do_atfork_child) (ThreadId tid);
1120
1121
1122extern void VG_(client_syscall) ( ThreadId tid );
1123
1124extern void VG_(post_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001125
nethercote5b9fafd2004-11-04 18:39:22 +00001126extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001127
jsgf855d93d2003-10-13 22:26:55 +00001128/* Internal atfork handlers */
1129typedef void (*vg_atfork_t)(ThreadId);
1130extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001131
rjwalshf5f536f2003-11-17 17:45:00 +00001132/* fd leakage calls. */
1133extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001134extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001135
nethercote8ff888f2004-11-17 17:11:45 +00001136// Return true if address range entirely contained within client
1137// address space.
1138Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1139 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001140
1141// Return true if we're allowed to use or create this fd.
1142Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1143
njnc6168192004-11-29 13:54:10 +00001144void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
njn03f1e582005-03-26 20:08:06 +00001145
1146// Used when killing threads -- we must not kill a thread if it's the thread
1147// that would do Valgrind's final cleanup and output.
1148Bool VG_(do_sigkill)(Int pid, Int tgid);
nethercote8ff888f2004-11-17 17:11:45 +00001149
1150// Flags describing syscall wrappers
sewardjb5f6f512005-03-10 23:59:00 +00001151#define Special (1 << 0) /* handled specially */
1152#define MayBlock (1 << 1) /* may block */
1153#define PostOnFail (1 << 2) /* call POST() function on failure */
1154#define PadAddr (1 << 3) /* pad+unpad address space around syscall */
1155#define Done (1 << 4) /* used if a PRE() did the syscall */
nethercote8ff888f2004-11-17 17:11:45 +00001156
njn61fa0af2004-11-27 15:22:24 +00001157// Templates for generating the PRE and POST macros. For ones that must be
1158// publically visible, use an empty 'qual', 'prefix' should start with
njn6268bbc2005-03-26 02:57:36 +00001159// "vgArch_" or similar, and there should be corresponding global
1160// declarations (like the GEN_SYSCALL_WRAPPER ones below). Otherwise, use
1161// "static" for 'qual', and "vgArch_" should not be in the 'prefix'.
njn61fa0af2004-11-27 15:22:24 +00001162#define PRE_TEMPLATE(qual, prefix, name, f) \
1163 qual UInt prefix##_##name##_flags = f; \
1164 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1165#define POST_TEMPLATE(qual, prefix, name) \
1166 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1167
1168// This macro is used to write other macros which making writing syscall
1169// tables easier.
1170#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1171 [const] = { &prefix##_##name##_flags, \
1172 prefix##_##name##_before, NULL }
1173#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1174 [const] = { &prefix##_##name##_flags, \
1175 prefix##_##name##_before, \
1176 prefix##_##name##_after }
1177
1178// Macros for adding generic wrappers to a syscall table.
1179#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1180#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001181
njn22cfccb2004-11-27 16:10:23 +00001182// Space-saving macros for syscall wrappers
1183#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1184#define RES SYSCALL_RET(tst->arch) // in POST(x)
1185#define ARG1 SYSCALL_ARG1(tst->arch)
1186#define ARG2 SYSCALL_ARG2(tst->arch)
1187#define ARG3 SYSCALL_ARG3(tst->arch)
1188#define ARG4 SYSCALL_ARG4(tst->arch)
1189#define ARG5 SYSCALL_ARG5(tst->arch)
1190#define ARG6 SYSCALL_ARG6(tst->arch)
1191
njnf6d228b2005-03-26 02:42:31 +00001192#define SET_RESULT(val) \
1193 do { VGP_SET_SYSCALL_RESULT(tst->arch, (val)); \
1194 tst->syscall_result_set = True; \
sewardj004e8ca2005-02-28 17:27:04 +00001195 } while (0)
njn22cfccb2004-11-27 16:10:23 +00001196
1197#define PRINT(format, args...) \
1198 if (VG_(clo_trace_syscalls)) \
1199 VG_(printf)(format, ## args)
1200
nethercote8ff888f2004-11-17 17:11:45 +00001201// Generic (platform-independent) syscall wrappers. These are generally
1202// POSIX or something like that; those that are not POSIX are annotated
1203// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001204// For many of them, it's unclear if they are generic, or Linux-specific, or
1205// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001206//
1207// Nb: This list may change over time... ones thought at first to be generic
1208// may turn out not to be, and so be moved into OS-specific or
1209// platform-specific files. If there's any doubt, I'm leaving them in here.
1210//
1211// Nb 2: if porting to a new OS, you should really check all these generic
1212// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001213//
1214// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1215// post-wrapper (which is actually not always needed), and the associated
1216// flags.
1217#define GEN_SYSCALL_WRAPPER(x) \
1218 extern UInt VGA_(gen_##x##_flags); \
1219 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1220 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001221
1222GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1223GEN_SYSCALL_WRAPPER(sys_exit);
1224GEN_SYSCALL_WRAPPER(sys_fork);
1225GEN_SYSCALL_WRAPPER(sys_read);
1226GEN_SYSCALL_WRAPPER(sys_write);
1227GEN_SYSCALL_WRAPPER(sys_open);
1228GEN_SYSCALL_WRAPPER(sys_close);
1229GEN_SYSCALL_WRAPPER(sys_waitpid);
1230GEN_SYSCALL_WRAPPER(sys_creat);
1231GEN_SYSCALL_WRAPPER(sys_link);
1232GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001233GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001234GEN_SYSCALL_WRAPPER(sys_chdir);
1235GEN_SYSCALL_WRAPPER(sys_time);
1236GEN_SYSCALL_WRAPPER(sys_mknod);
1237GEN_SYSCALL_WRAPPER(sys_chmod);
1238GEN_SYSCALL_WRAPPER(sys_lseek);
1239GEN_SYSCALL_WRAPPER(sys_getpid);
1240GEN_SYSCALL_WRAPPER(sys_alarm);
1241GEN_SYSCALL_WRAPPER(sys_pause);
1242GEN_SYSCALL_WRAPPER(sys_utime);
1243GEN_SYSCALL_WRAPPER(sys_access);
1244GEN_SYSCALL_WRAPPER(sys_kill);
1245GEN_SYSCALL_WRAPPER(sys_rename);
1246GEN_SYSCALL_WRAPPER(sys_mkdir);
1247GEN_SYSCALL_WRAPPER(sys_rmdir);
1248GEN_SYSCALL_WRAPPER(sys_dup);
1249GEN_SYSCALL_WRAPPER(sys_times);
1250GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1251GEN_SYSCALL_WRAPPER(sys_setpgid);
1252GEN_SYSCALL_WRAPPER(sys_umask);
1253GEN_SYSCALL_WRAPPER(sys_dup2);
1254GEN_SYSCALL_WRAPPER(sys_getppid);
1255GEN_SYSCALL_WRAPPER(sys_getpgrp);
1256GEN_SYSCALL_WRAPPER(sys_setsid);
1257GEN_SYSCALL_WRAPPER(sys_munmap);
1258GEN_SYSCALL_WRAPPER(sys_truncate);
1259GEN_SYSCALL_WRAPPER(sys_ftruncate);
1260GEN_SYSCALL_WRAPPER(sys_fchmod);
1261GEN_SYSCALL_WRAPPER(sys_msync);
1262GEN_SYSCALL_WRAPPER(sys_readv);
1263GEN_SYSCALL_WRAPPER(sys_writev);
1264GEN_SYSCALL_WRAPPER(sys_getsid);
1265GEN_SYSCALL_WRAPPER(sys_fdatasync);
1266GEN_SYSCALL_WRAPPER(sys_mlock);
1267GEN_SYSCALL_WRAPPER(sys_munlock);
1268GEN_SYSCALL_WRAPPER(sys_mlockall);
1269GEN_SYSCALL_WRAPPER(sys_munlockall);
1270GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1271GEN_SYSCALL_WRAPPER(sys_sched_getparam);
sewardjb5f6f512005-03-10 23:59:00 +00001272GEN_SYSCALL_WRAPPER(sys_sched_rr_get_interval);
nethercote8ff888f2004-11-17 17:11:45 +00001273GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1274GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1275GEN_SYSCALL_WRAPPER(sys_sched_yield);
1276GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1277GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1278GEN_SYSCALL_WRAPPER(sys_nanosleep);
1279GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1280GEN_SYSCALL_WRAPPER(sys_getuid);
1281GEN_SYSCALL_WRAPPER(sys_getgid);
1282GEN_SYSCALL_WRAPPER(sys_geteuid);
1283GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001284GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001285GEN_SYSCALL_WRAPPER(sys_fsync);
1286GEN_SYSCALL_WRAPPER(sys_wait4);
1287GEN_SYSCALL_WRAPPER(sys_mprotect);
1288GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1289GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1290GEN_SYSCALL_WRAPPER(sys_timer_settime);
1291GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1292GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1293GEN_SYSCALL_WRAPPER(sys_timer_delete);
1294GEN_SYSCALL_WRAPPER(sys_clock_settime);
1295GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1296GEN_SYSCALL_WRAPPER(sys_clock_getres);
sewardjb5f6f512005-03-10 23:59:00 +00001297GEN_SYSCALL_WRAPPER(sys_clock_nanosleep);
nethercote8ff888f2004-11-17 17:11:45 +00001298GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001299GEN_SYSCALL_WRAPPER(sys_symlink);
1300GEN_SYSCALL_WRAPPER(sys_getgroups);
1301GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1302GEN_SYSCALL_WRAPPER(sys_chown);
1303GEN_SYSCALL_WRAPPER(sys_setuid);
1304GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1305GEN_SYSCALL_WRAPPER(sys_madvise);
1306GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001307
1308// These ones aren't POSIX, but are in some standard and look reasonably
1309// generic, and are the same for all architectures under Linux.
1310GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1311GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1312GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1313GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1314GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001315GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1316GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1317GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1318GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1319GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1320GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1321GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
sewardjb5f6f512005-03-10 23:59:00 +00001322GEN_SYSCALL_WRAPPER(sys_stime); // SVr4, SVID, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001323GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1324GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1325GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1326GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1327GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1328GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1329GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1330GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1331GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1332GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001333
1334// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1335// uid_t types. The similarly named (minus the "16" suffix) ones below use
1336// 32-bit versions of these types.
1337GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1338GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1339GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1340GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1341GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1342GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1343GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1344GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1345GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1346GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1347GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1348GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1349
nethercote8ff888f2004-11-17 17:11:45 +00001350// Linux's funny many-in-one socketcall is certainly not generic, but I
1351// didn't want to move it until necessary because it's big and has a lot of
1352// associated junk.
1353GEN_SYSCALL_WRAPPER(sys_socketcall);
1354
nethercote3d5e9102004-11-17 18:22:38 +00001355// Some archs on Linux do not match the generic wrapper for sys_pipe().
1356GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001357
nethercote3d5e9102004-11-17 18:22:38 +00001358// May not be generic for every architecture under Linux.
1359GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1360
1361// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001362GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1363GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1364GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1365
nethercote3d5e9102004-11-17 18:22:38 +00001366// For the remainder, not really sure yet
1367GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1368GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1369GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1370GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1371GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1372GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1373GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1374GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001375GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1376GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001377GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1378GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1379GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001380GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1381GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1382GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1383GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1384GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1385GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1386GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1387GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1388GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1389GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1390GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001391GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1392GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1393GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1394GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1395GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1396GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1397GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1398GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1399GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1400GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001401GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001402GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1403GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1404GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1405GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1406GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1407GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1408GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1409GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1410GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1411GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1412GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1413GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1414GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1415GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001416GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1417GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001418GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001419GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1420GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1421GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001422GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1423GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1424GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1425GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1426GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1427GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1428
1429#undef GEN_SYSCALL_WRAPPER
1430
1431// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001432/* PRRAn == "pre-register-read-argument"
1433 PRRSN == "pre-register-read-syscall"
1434*/
nethercote8ff888f2004-11-17 17:11:45 +00001435
1436#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001437 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001438 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001439#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001440 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001441 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001442#define PRE_REG_READ0(tr, s) \
1443 if (VG_(defined_pre_reg_read)()) { \
1444 PRRSN; \
1445 }
1446#define PRE_REG_READ1(tr, s, t1, a1) \
1447 if (VG_(defined_pre_reg_read)()) { \
1448 PRRSN; \
1449 PRRAn(1,s,t1,a1); \
1450 }
1451#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1452 if (VG_(defined_pre_reg_read)()) { \
1453 PRRSN; \
1454 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1455 }
1456#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1457 if (VG_(defined_pre_reg_read)()) { \
1458 PRRSN; \
1459 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1460 }
1461#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1462 if (VG_(defined_pre_reg_read)()) { \
1463 PRRSN; \
1464 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1465 PRRAn(4,s,t4,a4); \
1466 }
1467#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1468 if (VG_(defined_pre_reg_read)()) { \
1469 PRRSN; \
1470 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1471 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1472 }
1473#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1474 if (VG_(defined_pre_reg_read)()) { \
1475 PRRSN; \
1476 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1477 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1478 }
1479
1480#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1481 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1482
1483#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1484 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1485
1486#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1487 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1488
1489#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001490 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001491
sewardj987a8eb2005-03-01 19:00:30 +00001492
1493//////////////////////////////////////////////////////////
1494
1495#define TId ThreadId
1496#define UW UWord
1497
1498extern void VG_(generic_PRE_sys_socketpair) ( TId, UW, UW, UW, UW );
1499extern UWord VG_(generic_POST_sys_socketpair) ( TId, UW, UW, UW, UW, UW );
1500extern UWord VG_(generic_POST_sys_socket) ( TId, UW );
1501extern void VG_(generic_PRE_sys_bind) ( TId, UW, UW, UW );
1502extern void VG_(generic_PRE_sys_accept) ( TId, UW, UW, UW );
1503extern UWord VG_(generic_POST_sys_accept) ( TId, UW, UW, UW, UW );
1504extern void VG_(generic_PRE_sys_sendto) ( TId, UW, UW, UW, UW, UW, UW );
1505extern void VG_(generic_PRE_sys_send) ( TId, UW, UW, UW );
1506extern void VG_(generic_PRE_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW );
1507extern void VG_(generic_POST_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW, UW );
1508extern void VG_(generic_PRE_sys_recv) ( TId, UW, UW, UW );
1509extern void VG_(generic_POST_sys_recv) ( TId, UW, UW, UW, UW );
1510extern void VG_(generic_PRE_sys_connect) ( TId, UW, UW, UW );
1511extern void VG_(generic_PRE_sys_setsockopt) ( TId, UW, UW, UW, UW, UW );
1512extern void VG_(generic_PRE_sys_getsockopt) ( TId, UW, UW, UW, UW, UW );
1513extern void VG_(generic_POST_sys_getsockopt) ( TId, UW, UW, UW, UW, UW, UW );
1514extern void VG_(generic_PRE_sys_getsockname) ( TId, UW, UW, UW );
1515extern void VG_(generic_POST_sys_getsockname) ( TId, UW, UW, UW, UW );
1516extern void VG_(generic_PRE_sys_getpeername) ( TId, UW, UW, UW );
1517extern void VG_(generic_POST_sys_getpeername) ( TId, UW, UW, UW, UW );
1518extern void VG_(generic_PRE_sys_sendmsg) ( TId, UW, UW );
1519extern void VG_(generic_PRE_sys_recvmsg) ( TId, UW, UW );
1520extern void VG_(generic_POST_sys_recvmsg) ( TId, UW, UW, UW );
1521
sewardjb369c5e2005-03-24 17:52:02 +00001522extern void VG_(generic_PRE_sys_semop) ( TId, UW, UW, UW );
1523extern void VG_(generic_PRE_sys_semtimedop) ( TId, UW, UW, UW, UW );
1524extern void VG_(generic_PRE_sys_semctl) ( TId, UW, UW, UW, UW );
1525extern void VG_(generic_POST_sys_semctl) ( TId, UW, UW, UW, UW, UW );
1526extern void VG_(generic_PRE_sys_msgsnd) ( TId, UW, UW, UW, UW );
1527extern void VG_(generic_PRE_sys_msgrcv) ( TId, UW, UW, UW, UW, UW );
1528extern void VG_(generic_POST_sys_msgrcv) ( TId, UW, UW, UW, UW, UW, UW );
1529extern void VG_(generic_PRE_sys_msgctl) ( TId, UW, UW, UW );
1530extern void VG_(generic_POST_sys_msgctl) ( TId, UW, UW, UW, UW );
1531extern UWord VG_(generic_PRE_sys_shmat) ( TId, UW, UW, UW );
1532extern void VG_(generic_POST_sys_shmat) ( TId, UW, UW, UW, UW );
1533extern Bool VG_(generic_PRE_sys_shmdt) ( TId, UW );
1534extern void VG_(generic_POST_sys_shmdt) ( TId, UW, UW );
1535extern void VG_(generic_PRE_sys_shmctl) ( TId, UW, UW, UW );
1536extern void VG_(generic_POST_sys_shmctl) ( TId, UW, UW, UW, UW );
1537
sewardj987a8eb2005-03-01 19:00:30 +00001538#undef TID
1539#undef UW
1540
1541
sewardjde4a1d02002-03-22 01:27:54 +00001542/* ---------------------------------------------------------------------
1543 Exports of vg_transtab.c
1544 ------------------------------------------------------------------ */
1545
sewardjfa8ec112005-01-19 11:55:34 +00001546/* The fast-cache for tt-lookup, and for finding counters. */
1547extern ULong* VG_(tt_fast) [VG_TT_FAST_SIZE];
1548extern UInt* VG_(tt_fastN)[VG_TT_FAST_SIZE];
njn25e49d8e72002-09-23 09:36:25 +00001549
sewardjb5f6f512005-03-10 23:59:00 +00001550
nethercote92e7b7f2004-08-07 17:52:25 +00001551extern void VG_(init_tt_tc) ( void );
sewardj6c3769f2002-11-29 01:02:45 +00001552
sewardjfa8ec112005-01-19 11:55:34 +00001553extern
1554void VG_(add_to_trans_tab)( VexGuestExtents* vge,
1555 Addr64 entry,
1556 AddrH code,
1557 UInt code_len );
1558
1559extern Bool VG_(search_transtab) ( /*OUT*/AddrH* result,
1560 Addr64 guest_addr,
1561 Bool upd_cache );
1562
1563extern void VG_(discard_translations) ( Addr64 start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001564
sewardj4ccf7072004-11-28 16:58:05 +00001565extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001566
nethercote92e7b7f2004-08-07 17:52:25 +00001567extern void VG_(print_tt_tc_stats) ( void );
1568
sewardjfa8ec112005-01-19 11:55:34 +00001569extern UInt VG_(get_bbs_translated) ( void );
1570
1571extern void VG_(show_BB_profile) ( void );
1572
sewardjde4a1d02002-03-22 01:27:54 +00001573
sewardjde4a1d02002-03-22 01:27:54 +00001574/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001575 Exports of vg_syscall.S
1576 ------------------------------------------------------------------ */
1577
njnca6fef02004-11-29 16:49:18 +00001578// We use a full prototype rather than "..." here to ensure that all
1579// arguments get converted to a UWord appropriately. Not doing so can
1580// cause problems when passing 32-bit integers on 64-bit platforms, because
1581// the top 32-bits might not be zeroed appropriately, eg. as would happen
1582// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001583extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001584
1585// Macros make life easier.
1586#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1587#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1588#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1589#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1590#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1591#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1592#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1593
jsgf855d93d2003-10-13 22:26:55 +00001594extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
sewardjb5f6f512005-03-10 23:59:00 +00001595 Int *child_tid, Int *parent_tid, vki_modify_ldt_t * );
fitzhardinge4f10ada2004-06-03 10:00:42 +00001596extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001597
1598/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001599 Exports of vg_dispatch.S
1600 ------------------------------------------------------------------ */
1601
njnd6f157d2004-11-30 17:27:21 +00001602/* This subroutine is called from the C world. It is passed
1603 a pointer to the VEX guest state (arch.vex). It must run code
1604 from the instruction pointer in the guest state, and exit when
1605 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1606 The return value must indicate why it returned back to the scheduler.
1607 It can also be exited if the executing code throws a non-resumable
1608 signal, for example SIGSEGV, in which case control longjmp()s back past
1609 here.
1610
1611 This code simply handles the common case fast -- when the translation
1612 address is found in the translation cache. For anything else, the
1613 scheduler does the work.
1614*/
sewardj0312f512005-03-30 19:04:29 +00001615extern UWord VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001616
sewardjde4a1d02002-03-22 01:27:54 +00001617/* ---------------------------------------------------------------------
1618 Exports of vg_helpers.S
1619 ------------------------------------------------------------------ */
1620
fitzhardinge92360792003-12-24 10:11:11 +00001621/* Information about trampoline code (for signal return and syscalls) */
1622extern const Char VG_(trampoline_code_start);
1623extern const Int VG_(trampoline_code_length);
1624extern const Int VG_(tramp_sigreturn_offset);
sewardjb5f6f512005-03-10 23:59:00 +00001625extern const Int VG_(tramp_rt_sigreturn_offset);
fitzhardinge92360792003-12-24 10:11:11 +00001626extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001627
njn4f9c9342002-04-29 16:03:24 +00001628/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001629 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001630 ------------------------------------------------------------------ */
1631
fitzhardinge98abfc72003-12-16 02:05:15 +00001632#define VG_TRACK(fn, args...) \
1633 do { \
1634 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001635 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001636 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001637
fitzhardinge98abfc72003-12-16 02:05:15 +00001638__attribute__ ((noreturn))
1639extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001640
nethercotec06e2132004-09-03 13:45:29 +00001641// ---------------------------------------------------------------------
1642// Architecture-specific things defined in eg. x86/*.c
1643// ---------------------------------------------------------------------
1644
sewardj51ac0872004-12-21 01:20:49 +00001645// Returns the architecture and subarchitecture, or indicates
1646// that this subarchitecture is unable to run Valgrind
1647// Returns False to indicate we cannot proceed further.
sewardj51ac0872004-12-21 01:20:49 +00001648extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1649 /*OUT*/VexSubArch* );
njncf45fd42004-11-24 16:30:22 +00001650// Accessors for the ThreadArchState
njn35172bc2005-03-26 00:04:03 +00001651#define INSTR_PTR(regs) ((regs).vex.VGA_INSTR_PTR)
1652#define STACK_PTR(regs) ((regs).vex.VGA_STACK_PTR)
1653#define FRAME_PTR(regs) ((regs).vex.VGA_FRAME_PTR)
1654#define CLREQ_ARGS(regs) ((regs).vex.VGA_CLREQ_ARGS)
njn35172bc2005-03-26 00:04:03 +00001655#define CLREQ_RET(regs) ((regs).vex.VGA_CLREQ_RET)
njn16de5572004-11-27 14:27:21 +00001656// Offsets for the Vex state
njn35172bc2005-03-26 00:04:03 +00001657#define O_STACK_PTR (offsetof(VexGuestArchState, VGA_STACK_PTR))
1658#define O_FRAME_PTR (offsetof(VexGuestArchState, VGA_FRAME_PTR))
1659#define O_CLREQ_RET (offsetof(VexGuestArchState, VGA_CLREQ_RET))
njncf45fd42004-11-24 16:30:22 +00001660
1661
sewardj2a99cf62004-11-24 10:44:19 +00001662// Setting up the initial thread (1) state
1663extern void
1664 VGA_(init_thread1state) ( Addr client_eip,
1665 Addr esp_at_startup,
1666 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001667
nethercotec009ebe2004-09-13 11:05:11 +00001668// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001669extern void VGA_(cleanup_thread) ( ThreadArchState* );
1670extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001671
sewardjb5f6f512005-03-10 23:59:00 +00001672// OS/Platform-specific thread clear (after thread exit)
1673extern void VGA_(os_state_clear)(ThreadState *);
1674
1675// OS/Platform-specific thread init (at scheduler init time)
1676extern void VGA_(os_state_init)(ThreadState *);
1677
1678// Run a thread from beginning to end. Does not return if tid == VG_(master_tid).
sewardj0c1a5962005-03-22 00:19:55 +00001679void VGA_(thread_wrapper)(Word /*ThreadId*/ tid);
sewardjb5f6f512005-03-10 23:59:00 +00001680
1681// Like VGA_(thread_wrapper), but it allocates a stack before calling
1682// to VGA_(thread_wrapper) on that stack, as if it had been set up by
1683// clone()
1684void VGA_(main_thread_wrapper)(ThreadId tid) __attribute__ ((__noreturn__));
1685
1686// Return how many bytes of a thread's Valgrind stack are unused
njn990e90c2005-04-05 02:49:09 +00001687SSizeT VGA_(stack_unused)(ThreadId tid);
sewardjb5f6f512005-03-10 23:59:00 +00001688
1689// Terminate the process. Does not return.
1690void VGA_(terminate)(ThreadId tid, VgSchedReturnCode src) __attribute__((__noreturn__));
1691
1692// wait until all other threads are dead
1693extern void VGA_(reap_threads)(ThreadId self);
1694
1695// handle an arch-specific client request
1696extern Bool VGA_(client_request)(ThreadId tid, UWord *args);
1697
nethercotec009ebe2004-09-13 11:05:11 +00001698// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001699extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001700
nethercotefedd8102004-09-13 15:19:34 +00001701// Pointercheck
1702extern Bool VGA_(setup_pointercheck) ( void );
1703
1704// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001705extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001706
sewardjb5f6f512005-03-10 23:59:00 +00001707// Used by leakcheck
1708extern void VGA_(mark_from_registers)(ThreadId tid, void (*marker)(Addr));
1709
nethercote6eec4602004-09-13 14:15:36 +00001710// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001711extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001712 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001713 void *handler, UInt flags,
sewardjb5f6f512005-03-10 23:59:00 +00001714 const vki_sigset_t *mask,
1715 void *restorer );
nethercote6eec4602004-09-13 14:15:36 +00001716
sewardjb5f6f512005-03-10 23:59:00 +00001717////typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001718
1719
nethercote41c75da2004-10-18 15:34:14 +00001720// ---------------------------------------------------------------------
1721// Platform-specific things defined in eg. x86/*.c
1722// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001723
njncf45fd42004-11-24 16:30:22 +00001724// Accessors for the ThreadArchState
njnf6d228b2005-03-26 02:42:31 +00001725#define SYSCALL_NUM(regs) ((regs).vex.VGP_SYSCALL_NUM)
1726#define SYSCALL_ARG1(regs) ((regs).vex.VGP_SYSCALL_ARG1)
1727#define SYSCALL_ARG2(regs) ((regs).vex.VGP_SYSCALL_ARG2)
1728#define SYSCALL_ARG3(regs) ((regs).vex.VGP_SYSCALL_ARG3)
1729#define SYSCALL_ARG4(regs) ((regs).vex.VGP_SYSCALL_ARG4)
1730#define SYSCALL_ARG5(regs) ((regs).vex.VGP_SYSCALL_ARG5)
1731#define SYSCALL_ARG6(regs) ((regs).vex.VGP_SYSCALL_ARG6)
1732#define SYSCALL_RET(regs) ((regs).vex.VGP_SYSCALL_RET)
njncf45fd42004-11-24 16:30:22 +00001733
1734// Offsets for the shadow state
njnf6d228b2005-03-26 02:42:31 +00001735#define O_SYSCALL_NUM (offsetof(VexGuestArchState, VGP_SYSCALL_NUM))
1736#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG1))
1737#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG2))
1738#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG3))
1739#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG4))
1740#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG5))
1741#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, VGP_SYSCALL_ARG6))
1742#define O_SYSCALL_RET (offsetof(VexGuestArchState, VGP_SYSCALL_RET))
njncf45fd42004-11-24 16:30:22 +00001743
nethercote8ff888f2004-11-17 17:11:45 +00001744struct SyscallTableEntry {
1745 UInt *flags_ptr;
sewardjb5f6f512005-03-10 23:59:00 +00001746 void (*before)(ThreadId tid, ThreadState *tst /*, UInt *flags*/);
nethercote8ff888f2004-11-17 17:11:45 +00001747 void (*after) (ThreadId tid, ThreadState *tst);
1748};
1749
1750/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1751 wrappers for the relevant syscalls used in the OS kernel for that number.
1752 Note that the constant names don't always match the wrapper names in a
1753 straightforward way. For example, on x86/Linux:
1754
1755 __NR_lchown --> sys_lchown16()
1756 __NR_lchown32 --> sys_lchown()
1757 __NR_select --> old_select()
1758 __NR__newselect --> sys_select()
1759*/
1760extern const struct SyscallTableEntry VGA_(syscall_table)[];
1761
1762extern const UInt VGA_(syscall_table_size);
1763
sewardj2a99cf62004-11-24 10:44:19 +00001764extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001765
sewardjb5f6f512005-03-10 23:59:00 +00001766/*
1767 Perform a syscall on behalf of a client thread, using a specific
1768 signal mask. On completion, the signal mask is set to restore_mask
1769 (which presumably blocks almost everything). If a signal happens
1770 during the syscall, the handler should call
1771 VGA_(interrupted_syscall)() to adjust the thread's context to do the
1772 right thing.
njn7be36952004-11-24 18:14:41 +00001773*/
sewardjb5f6f512005-03-10 23:59:00 +00001774extern void VGA_(client_syscall)(Int syscallno, ThreadState *tst,
1775 const vki_sigset_t *syscall_mask);
njn7be36952004-11-24 18:14:41 +00001776
sewardjb5f6f512005-03-10 23:59:00 +00001777/*
1778 Fix up the thread's state because a syscall may have been
1779 interrupted with a signal. Returns True if the syscall completed
1780 (either interrupted or finished normally), or False if it was
1781 restarted (or the signal didn't actually interrupt a syscall).
1782 */
1783extern void VGA_(interrupted_syscall)(ThreadId tid,
1784 struct vki_ucontext *uc,
1785 Bool restart);
1786
tom748a1312005-04-02 15:53:01 +00001787/*
1788 Do any platform specific redirects.
1789 */
1790extern void VGP_(setup_redirects)(void);
sewardjb5f6f512005-03-10 23:59:00 +00001791
1792///* ---------------------------------------------------------------------
1793// Thread modelling
1794// ------------------------------------------------------------------ */
1795//extern void VG_(tm_thread_create) (ThreadId creator, ThreadId tid, Bool detached);
1796//extern void VG_(tm_thread_exit) (ThreadId tid);
1797//extern Bool VG_(tm_thread_exists) (ThreadId tid);
1798//extern void VG_(tm_thread_detach) (ThreadId tid);
1799//extern void VG_(tm_thread_join) (ThreadId joiner, ThreadId joinee);
1800//extern void VG_(tm_thread_switchto)(ThreadId tid);
1801//
1802//extern void VG_(tm_mutex_init) (ThreadId tid, Addr mutexp);
1803//extern void VG_(tm_mutex_destroy)(ThreadId tid, Addr mutexp);
1804//extern void VG_(tm_mutex_trylock)(ThreadId tid, Addr mutexp);
1805//extern void VG_(tm_mutex_giveup) (ThreadId tid, Addr mutexp);
1806//extern void VG_(tm_mutex_acquire)(ThreadId tid, Addr mutexp);
1807//extern void VG_(tm_mutex_tryunlock)(ThreadId tid, Addr mutexp);
1808//extern void VG_(tm_mutex_unlock) (ThreadId tid, Addr mutexp);
1809//extern Bool VG_(tm_mutex_exists) (Addr mutexp);
1810//
1811//extern UInt VG_(tm_error_update_extra) (Error *err);
1812//extern Bool VG_(tm_error_equal) (VgRes res, Error *e1, Error *e2);
1813//extern void VG_(tm_error_print) (Error *err);
1814//
1815//extern void VG_(tm_init) ();
1816//
1817//extern void VG_(tm_cond_init) (ThreadId tid, Addr condp);
1818//extern void VG_(tm_cond_destroy) (ThreadId tid, Addr condp);
1819//extern void VG_(tm_cond_wait) (ThreadId tid, Addr condp, Addr mutexp);
1820//extern void VG_(tm_cond_wakeup) (ThreadId tid, Addr condp, Addr mutexp);
1821//extern void VG_(tm_cond_signal) (ThreadId tid, Addr condp);
1822//
1823///* ----- pthreads ----- */
1824//extern void VG_(pthread_init) ();
1825//extern void VG_(pthread_startfunc_wrapper)(Addr wrapper);
1826//
1827//struct vg_pthread_newthread_data {
1828// void *(*startfunc)(void *arg);
1829// void *arg;
1830//};
sewardj3b2736a2002-03-24 12:18:35 +00001831
1832/* ---------------------------------------------------------------------
1833 Finally - autoconf-generated settings
1834 ------------------------------------------------------------------ */
1835
1836#include "config.h"
1837
nethercotec06e2132004-09-03 13:45:29 +00001838#endif /* ndef __CORE_H */
1839
sewardjde4a1d02002-03-22 01:27:54 +00001840/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001841/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001842/*--------------------------------------------------------------------*/