blob: 89c6d45711bb1ff09ea55b99ca08b254cc55c0da [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
fitzhardinge39de4b42003-10-31 07:12:21 +000096#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000097
njn26f02512004-11-22 18:33:15 +000098#undef TL_
99#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000100
nethercote7be47252004-09-02 16:02:58 +0000101
102/* ---------------------------------------------------------------------
njn14319cc2005-03-13 06:26:22 +0000103 Global macros.
nethercote7be47252004-09-02 16:02:58 +0000104 ------------------------------------------------------------------ */
105
sewardjde4a1d02002-03-22 01:27:54 +0000106/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000107#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000108
sewardjde4a1d02002-03-22 01:27:54 +0000109/* The maximum number of calls we're prepared to save in a
110 backtrace. */
111#define VG_DEEPEST_BACKTRACE 50
112
fitzhardinge98abfc72003-12-16 02:05:15 +0000113/* Useful macros */
114/* a - alignment - must be a power of 2 */
115#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
116#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000117#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
118#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000119
sewardj51ac0872004-12-21 01:20:49 +0000120
nethercote80013e92004-09-05 20:39:51 +0000121/* ---------------------------------------------------------------------
122 Environment variables
123 ------------------------------------------------------------------ */
124
125/* The directory we look for all our auxillary files in */
126#define VALGRINDLIB "VALGRINDLIB"
127
128/* Additional command-line arguments; they are overridden by actual
129 command-line option. Each argument is separated by spaces. There
130 is no quoting mechanism.
131 */
132#define VALGRINDOPTS "VALGRIND_OPTS"
133
134/* If this variable is present in the environment, then valgrind will
135 not parse the command line for options at all; all options come
136 from this variable. Arguments are terminated by ^A (\001). There
137 is no quoting mechanism.
138
139 This variable is not expected to be set by anything other than
140 Valgrind itself, as part of its handling of execve with
141 --trace-children=yes. This variable should not be present in the
142 client environment.
143 */
144#define VALGRINDCLO "_VALGRIND_CLO"
145
fitzhardinge98abfc72003-12-16 02:05:15 +0000146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000148 Command-line-settable options
149 ------------------------------------------------------------------ */
150
sewardj4f094a72002-11-05 23:37:35 +0000151/* Default destination port to be used in logging over a network, if
152 none specified. */
153#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000154
155/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000156#define VG_CLO_MAX_SFILES 10
157
sewardj4cf05692002-10-27 20:28:29 +0000158/* Describes where logging output is to be sent. */
159typedef
160 enum {
161 VgLogTo_Fd,
162 VgLogTo_File,
sewardj603d4102005-01-11 14:01:02 +0000163 VgLogTo_FileExactly,
sewardj4cf05692002-10-27 20:28:29 +0000164 VgLogTo_Socket
165 } VgLogTo;
166
thughesad1c9562004-06-26 11:27:52 +0000167/* Application-visible file descriptor limits */
168extern Int VG_(fd_soft_limit);
169extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000170
sewardj8b635a42004-11-22 19:01:47 +0000171/* Vex iropt control */
172extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000173/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000174extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000175/* Enquire about whether to attach to a debugger at errors? default: NO */
176extern Bool VG_(clo_db_attach);
177/* The debugger command? default: whatever gdb ./configure found */
178extern Char* VG_(clo_db_command);
sewardjd153fae2005-01-10 17:24:47 +0000179/* Generating a suppression for each error? default: 0 (NO)
180 Other values: 1 (yes, but ask user), 2 (yes, don't ask user) */
181extern Int VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000182/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000183extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000184/* Automatically attempt to demangle C++ names? default: YES */
185extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000186/* Simulate child processes? default: NO */
187extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000188
189/* Where logging output is to be sent to.
190
nethercotef8548672004-06-21 12:42:35 +0000191 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
192 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000193
nethercotef8548672004-06-21 12:42:35 +0000194 When log_to == VgLogTo_File, clo_log_name holds the log-file
195 name, and is taken from the command line. clo_log_fd is then
196 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000197 (concatenated with the process ID) for writing.
198
nethercotef8548672004-06-21 12:42:35 +0000199 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000200 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000201 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000202 opening a connection to said hostname:portnumber pair.
203
nethercotef8548672004-06-21 12:42:35 +0000204 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000205 (stderr). */
206extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000207extern Int VG_(clo_log_fd);
208extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000209
thughes6233a382004-08-21 11:10:44 +0000210/* Add timestamps to log messages? default: NO */
211extern Bool VG_(clo_time_stamp);
212
sewardj6024b212003-07-13 10:54:33 +0000213/* The file descriptor to read for input. default: 0 == stdin */
214extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000215/* The number of suppression files specified. */
216extern Int VG_(clo_n_suppressions);
217/* The names of the suppression files. */
218extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
219
sewardjc771b292004-11-30 18:55:21 +0000220/* DEBUG: print generated code? default: 00000000 ( == NO ) */
sewardjfa8ec112005-01-19 11:55:34 +0000221extern Bool VG_(clo_trace_flags);
222/* DEBUG: do bb profiling? default: 00000000 ( == NO ) */
223extern Bool VG_(clo_profile_flags);
sewardjc771b292004-11-30 18:55:21 +0000224/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
225extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000226/* DEBUG: print system calls? default: NO */
227extern Bool VG_(clo_trace_syscalls);
228/* DEBUG: print signal details? default: NO */
229extern Bool VG_(clo_trace_signals);
230/* DEBUG: print symtab details? default: NO */
231extern Bool VG_(clo_trace_symtab);
sewardjb5f6f512005-03-10 23:59:00 +0000232/* DEBUG: print redirection details? default: NO */
233extern Bool VG_(clo_trace_redir);
sewardj8937c812002-04-12 20:12:20 +0000234/* DEBUG: print thread scheduling events? default: NO */
235extern Bool VG_(clo_trace_sched);
sewardjb5f6f512005-03-10 23:59:00 +0000236/* DEBUG: print pthreads calls? default: NO */
237extern Bool VG_(clo_trace_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000238/* Display gory details for the k'th most popular error. default:
239 Infinity. */
240extern Int VG_(clo_dump_error);
241/* Number of parents of a backtrace. Default: 8. */
242extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000243/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000244extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000245
rjwalshf5f536f2003-11-17 17:45:00 +0000246/* Track open file descriptors? */
247extern Bool VG_(clo_track_fds);
248
sewardj858964b2002-10-05 14:15:43 +0000249/* Should we run __libc_freeres at exit? Sometimes causes crashes.
250 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
251 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000252 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000253 cannot be overridden from the command line. */
254extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000255/* Generate branch-prediction hints? */
256extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000257/* Continue stack traces below main()? Default: NO */
258extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000259/* Test each client pointer dereference to check it's within the
260 client address space bounds */
261extern Bool VG_(clo_pointercheck);
sewardjb5f6f512005-03-10 23:59:00 +0000262/* Model the pthread library */
263extern Bool VG_(clo_model_pthreads);
sewardjde4a1d02002-03-22 01:27:54 +0000264
sewardj062f3552005-01-06 16:13:40 +0000265/* HACK: Use hacked version of clone for Quadrics Elan3 drivers */
266extern Bool VG_(clo_support_elan3);
267
rjwalshe4e779d2004-04-16 23:02:29 +0000268/* Set up the libc freeres wrapper */
sewardjb5f6f512005-03-10 23:59:00 +0000269extern void VGA_(intercept_libc_freeres_wrapper)(Addr);
rjwalshe4e779d2004-04-16 23:02:29 +0000270
sewardjb5f6f512005-03-10 23:59:00 +0000271// Clean up the client by calling before the final reports
272extern void VGA_(final_tidyup)(ThreadId tid);
273
274// Arch-specific client requests
275extern Bool VGA_(client_requests)(ThreadId tid, UWord *args);
sewardj51ac0872004-12-21 01:20:49 +0000276
sewardjde4a1d02002-03-22 01:27:54 +0000277/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000278 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000279 ------------------------------------------------------------------ */
280
sewardjde4a1d02002-03-22 01:27:54 +0000281extern void VGP_(init_profiling) ( void );
282extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000283
njn25e49d8e72002-09-23 09:36:25 +0000284#undef VGP_PUSHCC
285#undef VGP_POPCC
286#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
287#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000288
sewardj51ac0872004-12-21 01:20:49 +0000289
sewardjde4a1d02002-03-22 01:27:54 +0000290/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000291 Tool-related types
njn810086f2002-11-14 12:42:47 +0000292 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000293/* These structs are not exposed to tools to mitigate possibility of
294 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000295 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000296typedef
297 struct {
298 Char* name;
299 Char* version;
300 Char* description;
301 Char* copyright_author;
302 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000303 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000304 }
305 VgDetails;
306
307extern VgDetails VG_(details);
308
309/* If new fields are added to this type, update:
310 * - vg_main.c:initialisation of VG_(needs)
311 * - vg_main.c:sanity_check_needs()
312 *
313 * If the name of this type or any of its fields change, update:
314 * - dependent comments (just search for "VG_(needs)").
315 */
316typedef
317 struct {
318 Bool libc_freeres;
319 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000320 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000321 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000322 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000323 Bool command_line_options;
324 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000325 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000326 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000327 Bool sanity_checks;
328 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000329 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000330 }
331 VgNeeds;
332
333extern VgNeeds VG_(needs);
334
fitzhardinge98abfc72003-12-16 02:05:15 +0000335extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000336
fitzhardinge98abfc72003-12-16 02:05:15 +0000337#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000338
sewardj51ac0872004-12-21 01:20:49 +0000339
njn810086f2002-11-14 12:42:47 +0000340/* ---------------------------------------------------------------------
341 Exports of vg_needs.c
342 ------------------------------------------------------------------ */
343
344void VG_(sanity_check_needs)(void);
345
sewardj51ac0872004-12-21 01:20:49 +0000346
njn810086f2002-11-14 12:42:47 +0000347/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000348 Exports of vg_malloc2.c
349 ------------------------------------------------------------------ */
350
351/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000352
353 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000354 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000355 SYMTAB for Valgrind's symbol table storage.
356 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000357 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
358 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000359 DEMANGLE for the C++ demangler.
360 EXECTXT for storing ExeContexts.
361 ERRORS for storing CoreErrors.
362 TRANSIENT for very short-term use. It should be empty in between uses.
363
njn25e49d8e72002-09-23 09:36:25 +0000364 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000365*/
366typedef Int ArenaId;
367
njn3e884182003-04-15 13:03:23 +0000368#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000369
njn3e884182003-04-15 13:03:23 +0000370#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000371#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000372#define VG_AR_SYMTAB 2
373#define VG_AR_JITTER 3
374#define VG_AR_CLIENT 4
375#define VG_AR_DEMANGLE 5
376#define VG_AR_EXECTXT 6
377#define VG_AR_ERRORS 7
378#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000379
nethercote2d5b8162004-08-11 09:40:52 +0000380// This is both the minimum payload size of a malloc'd block, and its
381// minimum alignment. Must be a power of 2 greater than 4, and should be
382// greater than 8.
383#define VG_MIN_MALLOC_SZB 8
384
385// Round-up size for --sloppy-malloc=yes.
386#define VG_SLOPPY_MALLOC_SZB 4
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 );
nethercote7ac7f7b2004-11-02 12:36:02 +0000390extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
njn926ed472005-03-11 04:44:10 +0000391 SizeT nmemb, SizeT bytes_per_memb );
nethercote7ac7f7b2004-11-02 12:36:02 +0000392extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
393 SizeT size );
394extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
395 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000396
nethercote7ac7f7b2004-11-02 12:36:02 +0000397extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000398
nethercote885dd912004-08-03 23:14:00 +0000399extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000400
nethercote3a42fb82004-08-03 18:08:50 +0000401extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000402
sewardjde4a1d02002-03-22 01:27:54 +0000403extern Bool VG_(is_empty_arena) ( ArenaId aid );
404
sewardj51ac0872004-12-21 01:20:49 +0000405
sewardjde4a1d02002-03-22 01:27:54 +0000406/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000407 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000408 ------------------------------------------------------------------ */
409
410/* This doesn't export code or data that valgrind.so needs to link
411 against. However, the scheduler does need to know the following
412 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000413 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000414
njn4c791212003-05-02 17:53:54 +0000415#define VG_USERREQ__MALLOC 0x2001
416#define VG_USERREQ__FREE 0x2002
417
sewardjb5f6f512005-03-10 23:59:00 +0000418/* Obsolete pthread-related requests */
sewardj20917d82002-05-28 01:36:45 +0000419#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
sewardj20917d82002-05-28 01:36:45 +0000420#define VG_USERREQ__QUIT 0x3002
sewardj20917d82002-05-28 01:36:45 +0000421#define VG_USERREQ__WAIT_JOINER 0x3003
sewardj20917d82002-05-28 01:36:45 +0000422#define VG_USERREQ__PTHREAD_JOIN 0x3004
sewardj20917d82002-05-28 01:36:45 +0000423#define VG_USERREQ__SET_CANCELSTATE 0x3005
424#define VG_USERREQ__SET_CANCELTYPE 0x3006
sewardj20917d82002-05-28 01:36:45 +0000425#define VG_USERREQ__TESTCANCEL 0x3007
sewardj20917d82002-05-28 01:36:45 +0000426#define VG_USERREQ__SET_CANCELPEND 0x3008
sewardj20917d82002-05-28 01:36:45 +0000427#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
thughese321d492004-10-17 15:00:20 +0000428#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
429#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
430#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000431#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
432#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
433#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
434#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
435#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
436#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
437#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
438#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000439#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
440#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000441#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
sewardjb5f6f512005-03-10 23:59:00 +0000442#define VG_USERREQ__SIGWAIT 0x3019
sewardj20917d82002-05-28 01:36:45 +0000443#define VG_USERREQ__PTHREAD_KILL 0x301A
444#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000445#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj8ad94e12002-05-29 00:10:20 +0000446#define VG_USERREQ__CLEANUP_PUSH 0x3020
447#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000448#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardjef037c72002-05-30 00:40:03 +0000449#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjb5f6f512005-03-10 23:59:00 +0000450#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardj2cb00342002-06-28 01:46:26 +0000451#define VG_USERREQ__SET_FHSTACK_USED 0x3025
452#define VG_USERREQ__GET_FHSTACK_USED 0x3026
453#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
454#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
fitzhardinge98abfc72003-12-16 02:05:15 +0000455#define VG_USERREQ__GET_SIGRT_MIN 0x302B
456#define VG_USERREQ__GET_SIGRT_MAX 0x302C
457#define VG_USERREQ__ALLOC_RTSIG 0x302D
fitzhardinge98abfc72003-12-16 02:05:15 +0000458#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
thughesdaa34562004-06-27 12:48:53 +0000459#define VG_USERREQ__GET_STACK_INFO 0x3033
sewardj45b4b372002-04-16 22:50:32 +0000460#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000461#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardjb5f6f512005-03-10 23:59:00 +0000462
463
464#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
465
fitzhardinge39de4b42003-10-31 07:12:21 +0000466/* Internal equivalent of VALGRIND_PRINTF . */
467#define VG_USERREQ__INTERNAL_PRINTF 0x3103
njnaa3c26b2005-03-12 05:32:28 +0000468/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . (no longer used) */
469//#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000470
sewardjb5f6f512005-03-10 23:59:00 +0000471/* Denote the finish of __libc_freeres_wrapper().
472 A synonym for exit. */
473#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
sewardj54cacf02002-04-12 23:24:59 +0000474
rjwalshe4e779d2004-04-16 23:02:29 +0000475#define VG_INTERCEPT_PREFIX "_vgi__"
476#define VG_INTERCEPT_PREFIX_LEN 6
477#define VG_INTERCEPT(name) _vgi__##name
478#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
479
480#define VG_WRAPPER_PREFIX "_vgw__"
481#define VG_WRAPPER_PREFIX_LEN 6
482#define VG_WRAPPER(name) _vgw__##name
483#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
484
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 */
njnd2252832004-11-26 10:53:33 +0000488 Addr tl_malloc;
489 Addr tl_calloc;
490 Addr tl_realloc;
491 Addr tl_memalign;
492 Addr tl___builtin_new;
493 Addr tl___builtin_vec_new;
494 Addr tl_free;
495 Addr tl___builtin_delete;
496 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000497
498 Addr arena_payload_szB;
499
500 Bool clo_sloppy_malloc;
501 Bool clo_trace_malloc;
502};
sewardj1fe7b002002-07-16 01:43:15 +0000503
sewardj51ac0872004-12-21 01:20:49 +0000504
sewardj2e93c502002-04-12 11:12:52 +0000505/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000506 Exports of vg_defaults.c
507 ------------------------------------------------------------------ */
508
njnd2252832004-11-26 10:53:33 +0000509extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000510
sewardj51ac0872004-12-21 01:20:49 +0000511
nethercote1f0173b2004-02-28 15:40:36 +0000512
513/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000514 Exports of vg_scheduler.c
515 ------------------------------------------------------------------ */
516
sewardjb5f6f512005-03-10 23:59:00 +0000517/*
518 Thread state machine:
519
520 Empty -> Init -> Runnable <=> WaitSys/Yielding
521 ^ |
522 \---- Zombie -----/
523 */
sewardj2e93c502002-04-12 11:12:52 +0000524typedef
jsgf855d93d2003-10-13 22:26:55 +0000525 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000526 VgTs_Empty, /* this slot is not in use */
sewardjb5f6f512005-03-10 23:59:00 +0000527 VgTs_Init, /* just allocated */
528 VgTs_Runnable, /* ready to run */
jsgf855d93d2003-10-13 22:26:55 +0000529 VgTs_WaitSys, /* waiting for a syscall to complete */
sewardjb5f6f512005-03-10 23:59:00 +0000530 VgTs_Yielding, /* temporarily yielding the CPU */
531 VgTs_Zombie, /* transient state just before exiting */
sewardj2e93c502002-04-12 11:12:52 +0000532 }
533 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000534
sewardjb5f6f512005-03-10 23:59:00 +0000535/* Return codes from the scheduler. */
thughes11975ff2004-06-12 12:58:22 +0000536typedef
sewardjb5f6f512005-03-10 23:59:00 +0000537 enum {
538 VgSrc_None, /* not exiting yet */
539 VgSrc_ExitSyscall, /* client called exit(). This is the normal
540 route out. */
541 VgSrc_FatalSig /* Killed by the default action of a fatal
542 signal */
thughes11975ff2004-06-12 12:58:22 +0000543 }
sewardjb5f6f512005-03-10 23:59:00 +0000544 VgSchedReturnCode;
thughes11975ff2004-06-12 12:58:22 +0000545
sewardjb5f6f512005-03-10 23:59:00 +0000546struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000547 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
548 The thread identity is simply the index in vg_threads[].
549 ThreadId == 1 is the root thread and has the special property
550 that we don't try and allocate or deallocate its stack. For
551 convenience of generating error message, we also put the
552 ThreadId in this tid field, but be aware that it should
553 ALWAYS == the index in vg_threads[]. */
554 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000555
sewardjb5f6f512005-03-10 23:59:00 +0000556 /* Current scheduling status. */
njn25e49d8e72002-09-23 09:36:25 +0000557 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000558
sewardjb5f6f512005-03-10 23:59:00 +0000559 /* This is set if the thread is in the process of exiting for any
560 reason. The precise details of the exit are in the OS-specific
561 state. */
562 VgSchedReturnCode exitreason;
sewardj3b5d8862002-04-20 13:53:23 +0000563
sewardjb5f6f512005-03-10 23:59:00 +0000564 /* Architecture-specific thread state. */
565 ThreadArchState arch;
sewardjb48e5002002-05-13 00:16:03 +0000566
njn25e49d8e72002-09-23 09:36:25 +0000567 /* This thread's blocked-signals mask. Semantics is that for a
568 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000569 blocked by this signal mask. If more than one thread accepts a
570 signal, then it will be delivered to one at random. If all
571 threads block the signal, it will remain pending until either a
sewardjb5f6f512005-03-10 23:59:00 +0000572 thread unblocks it or someone uses sigwaitsig/sigtimedwait. */
nethercote73b526f2004-10-31 18:48:21 +0000573 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000574
sewardjb5f6f512005-03-10 23:59:00 +0000575 /* tmp_sig_mask is usually the same as sig_mask, and is kept in
576 sync whenever sig_mask is changed. The only time they have
577 different values is during the execution of a sigsuspend, where
578 tmp_sig_mask is the temporary mask which sigsuspend installs.
579 It is only consulted to compute the signal mask applied to a
580 signal handler. */
581 vki_sigset_t tmp_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000582
sewardjb5f6f512005-03-10 23:59:00 +0000583 /* A little signal queue for signals we can't get the kernel to
584 queue for us. This is only allocated as needed, since it should
585 be rare. */
586 struct SigQueue *sig_queue;
587
588 /* Syscall the Thread is currently running; -1 if none. Should only
589 be set while Thread is in VgTs_WaitSys. */
590 Int syscallno;
591
592 /* A value the Tool wants to pass from its pre-syscall to its
593 post-syscall function. */
594 void *tool_pre_syscall_value;
thughes8abf3922004-10-16 10:59:49 +0000595
njn25e49d8e72002-09-23 09:36:25 +0000596 /* Stacks. When a thread slot is freed, we don't deallocate its
597 stack; we just leave it lying around for the next use of the
598 slot. If the next use of the slot requires a larger stack,
599 only then is the old one deallocated and a new one
600 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000601
njn25e49d8e72002-09-23 09:36:25 +0000602 For the main thread (threadid == 0), this mechanism doesn't
603 apply. We don't know the size of the stack since we didn't
604 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000605
njn25e49d8e72002-09-23 09:36:25 +0000606 /* The allocated size of this thread's stack (permanently zero
607 if this is ThreadId == 0, since we didn't allocate its stack) */
608 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000609
njn25e49d8e72002-09-23 09:36:25 +0000610 /* Address of the lowest word in this thread's stack. NULL means
611 not allocated yet.
612 */
613 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000614
sewardj92a59562002-09-30 00:53:10 +0000615 /* Address of the highest legitimate word in this stack. This is
616 used for error messages only -- not critical for execution
617 correctness. Is is set for all stacks, specifically including
618 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000619 Addr stack_highest_word;
620
fitzhardinge98c4dc02004-03-16 08:27:29 +0000621 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000622 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000623
sewardjb5f6f512005-03-10 23:59:00 +0000624 /* OS-specific thread state */
625 os_thread_t os_state;
sewardj004e8ca2005-02-28 17:27:04 +0000626
627 /* Used in the syscall handlers. Set to True to indicate that the
628 PRE routine for a syscall has set the syscall result already and
629 so the syscall does not need to be handed to the kernel. */
630 Bool syscall_result_set;
sewardjb5f6f512005-03-10 23:59:00 +0000631
632 /* Per-thread jmp_buf to resume scheduler after a signal */
633 Bool sched_jmpbuf_valid;
634 jmp_buf sched_jmpbuf;
635
636 /* Info about the signal we just got */
637 vki_siginfo_t siginfo;
nethercote8ff888f2004-11-17 17:11:45 +0000638};
639//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000640
sewardj018f7622002-05-15 21:13:39 +0000641/* The thread table. */
642extern ThreadState VG_(threads)[VG_N_THREADS];
643
sewardjb5f6f512005-03-10 23:59:00 +0000644/* Allocate a new ThreadState */
645extern ThreadId VG_(alloc_ThreadState)(void);
646
647/* A thread exits. tid must currently be running. */
648extern void VG_(exit_thread)(ThreadId tid);
649
650/* Kill a thread. This interrupts whatever a thread is doing, and
651 makes it exit ASAP. This does not set the exitreason or
652 exitcode. */
653extern void VG_(kill_thread)(ThreadId tid);
654
sewardj018f7622002-05-15 21:13:39 +0000655/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000656extern Bool VG_(is_valid_tid) ( ThreadId tid );
657
jsgf855d93d2003-10-13 22:26:55 +0000658/* Get the ThreadState for a particular thread */
659extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
660
sewardjb5f6f512005-03-10 23:59:00 +0000661/* Given an LWP id (ie, real kernel thread id), find the corresponding
662 ThreadId */
663extern ThreadId VG_(get_lwp_tid)(Int lwpid);
664
665/* Returns true if a thread is currently running (ie, has the CPU lock) */
666extern Bool VG_(is_running_thread)(ThreadId tid);
667
668/* Returns true if the thread is in the process of exiting */
669extern Bool VG_(is_exiting)(ThreadId tid);
670
671/* Return the number of non-dead Threads */
672extern Int VG_(count_living_threads)(void);
673
sewardjccef2e62002-05-29 19:26:32 +0000674/* Nuke all threads except tid. */
sewardjb5f6f512005-03-10 23:59:00 +0000675extern void VG_(nuke_all_threads_except) ( ThreadId me, VgSchedReturnCode reason );
sewardjccef2e62002-05-29 19:26:32 +0000676
sewardjb5f6f512005-03-10 23:59:00 +0000677/* Make a thread the running thread. The thread must previously been
678 sleeping, and not holding the CPU semaphore. This will set the
679 thread state to VgTs_Runnable, and the thread will attempt to take
680 the CPU semaphore. By the time it returns, tid will be the running
681 thread. */
682extern void VG_(set_running) ( ThreadId tid );
jsgf855d93d2003-10-13 22:26:55 +0000683
sewardjb5f6f512005-03-10 23:59:00 +0000684/* Set a thread into a sleeping state. Before the call, the thread
685 must be runnable, and holding the CPU semaphore. When this call
686 returns, the thread will be set to the specified sleeping state,
687 and will not be holding the CPU semaphore. Note that another
688 thread could be running by the time this call returns, so the
689 caller must be careful not to touch any shared state. It is also
690 the caller's responsibility to actually block until the thread is
691 ready to run again. */
692extern void VG_(set_sleeping) ( ThreadId tid, ThreadStatus state );
sewardj2e93c502002-04-12 11:12:52 +0000693
sewardjb5f6f512005-03-10 23:59:00 +0000694/* Yield the CPU for a while */
695extern void VG_(vg_yield)(void);
sewardj7e87e382002-05-03 19:09:05 +0000696
sewardjb5f6f512005-03-10 23:59:00 +0000697// The scheduler.
698extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid );
699
700// Do everything which needs doing before the process finally ends,
701// like printing reports, etc
702extern void VG_(shutdown_actions)(ThreadId tid);
sewardj2e93c502002-04-12 11:12:52 +0000703
704extern void VG_(scheduler_init) ( void );
705
sewardj15a43e12002-04-17 19:35:12 +0000706extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000707
nethercote75d26242004-08-01 22:59:18 +0000708// Longjmp back to the scheduler and thus enter the sighandler immediately.
sewardjb5f6f512005-03-10 23:59:00 +0000709extern void VG_(resume_scheduler) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000710
sewardjb5f6f512005-03-10 23:59:00 +0000711/* If true, a fault is Valgrind-internal (ie, a bug) */
712extern Bool VG_(my_fault);
nethercote238a3c32004-08-09 13:13:31 +0000713
nethercoteaff1c772004-09-13 16:11:09 +0000714// Write a value to a client's thread register, and shadow (if necessary).
715// Note that there are some further similar macros in the arch- and
716// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000717#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
718 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
719 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000720 } while (0)
721
njnd3040452003-05-19 15:04:06 +0000722#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000723 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
724 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000725
726#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000727 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
728 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000729
730#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000731 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
732 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000733
734#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000735 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
736 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000737
sewardj2e93c502002-04-12 11:12:52 +0000738/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000739 Exports of vg_signals.c
740 ------------------------------------------------------------------ */
741
sewardjb5f6f512005-03-10 23:59:00 +0000742/* Set the standard set of blocked signals, used wheneever we're not
743 running a client syscall. */
744extern void VG_(block_signals)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +0000745
sewardjb5f6f512005-03-10 23:59:00 +0000746/* Highest signal the kernel will let us use */
747extern Int VG_(max_signal);
jsgf855d93d2003-10-13 22:26:55 +0000748
sewardjde4a1d02002-03-22 01:27:54 +0000749extern void VG_(sigstartup_actions) ( void );
750
jsgf855d93d2003-10-13 22:26:55 +0000751extern Bool VG_(is_sig_ign) ( Int sigNo );
752
sewardjb5f6f512005-03-10 23:59:00 +0000753/* Poll a thread's set of pending signals, and update the Thread's context to deliver one */
754extern void VG_(poll_signals) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000755
756/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000757extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
sewardjb5f6f512005-03-10 23:59:00 +0000758extern Int VG_(do_sys_sigaction) ( Int signo,
759 const struct vki_sigaction *new_act,
760 struct vki_sigaction *old_act );
nethercote93d9aa12004-11-10 19:08:31 +0000761extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000762 vki_sigset_t* set,
763 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000764
sewardj2e93c502002-04-12 11:12:52 +0000765/* Handy utilities to block/restore all host signals. */
766extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000767 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000768extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000769 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000770
jsgf855d93d2003-10-13 22:26:55 +0000771extern void VG_(kill_self)(Int sigNo);
772
fitzhardingef1beb252004-03-16 09:49:08 +0000773/* These function synthesize a fault, as if the running instruction
774 had had a fault. These functions do not return - they longjmp back
775 into the scheduler so the signal can be delivered. */
776extern void VG_(synth_fault) (ThreadId tid);
777extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
778extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +0000779extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +0000780
sewardjb5f6f512005-03-10 23:59:00 +0000781/* Extend the stack to cover addr, if possible */
782extern Bool VG_(extend_stack)(Addr addr, UInt maxsize);
783
784/* Returns True if the signal is OK for the client to use */
785extern Bool VG_(client_signal_OK)(Int sigNo);
786
787/* Forces the client's signal handler to SIG_DFL - generally just
788 before using that signal to kill the process. */
789extern void VG_(set_default_handler)(Int sig);
790
791/* Adjust a client's signal mask to match our internal requirements */
792extern void VG_(sanitize_client_sigmask)(ThreadId tid, vki_sigset_t *mask);
793
794/* Wait until a thread-related predicate is true */
795extern void VG_(wait_for_threadstate)(Bool (*pred)(void *), void *arg);
sewardj51ac0872004-12-21 01:20:49 +0000796
sewardjde4a1d02002-03-22 01:27:54 +0000797/* ---------------------------------------------------------------------
798 Exports of vg_mylibc.c
799 ------------------------------------------------------------------ */
800
njnca0518d2004-11-26 19:34:36 +0000801// Useful for making failing stubs, when certain things haven't yet been
802// implemented.
803#define I_die_here \
804 VG_(core_assert_fail) ("Unimplemented functionality", \
805 __FILE__, __LINE__, __PRETTY_FUNCTION__)
806
njne427a662002-10-02 11:08:25 +0000807#define vg_assert(expr) \
808 ((void) ((expr) ? 0 : \
809 (VG_(core_assert_fail) (VG__STRING(expr), \
810 __FILE__, __LINE__, \
811 __PRETTY_FUNCTION__), 0)))
812__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +0000813extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
814 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +0000815__attribute__ ((__noreturn__))
816extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +0000817__attribute__ ((__noreturn__))
818extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +0000819
nethercote05675c82004-08-04 10:37:49 +0000820/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +0000821extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000822
njn25e49d8e72002-09-23 09:36:25 +0000823extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +0000824extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +0000825
fitzhardinge98abfc72003-12-16 02:05:15 +0000826/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +0000827extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +0000828 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +0000829extern Int VG_(munmap)( void* start, SizeT length );
830extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
sewardj79048ce2005-02-18 08:28:32 +0000831extern Int VG_(mprotect_native)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +0000832
833
jsgf855d93d2003-10-13 22:26:55 +0000834/* Move an fd into the Valgrind-safe range */
835Int VG_(safe_fd)(Int oldfd);
836
sewardj570f8902002-11-03 11:44:36 +0000837extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000838
839/* --- Connecting over the network --- */
840extern Int VG_(connect_via_socket)( UChar* str );
841
fitzhardinge98abfc72003-12-16 02:05:15 +0000842/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +0000843extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
844 const Char *val );
845extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
846extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +0000847
sewardjb5f6f512005-03-10 23:59:00 +0000848extern void VG_(nanosleep)(struct vki_timespec *);
sewardj570f8902002-11-03 11:44:36 +0000849/* ---------------------------------------------------------------------
850 Exports of vg_message.c
851 ------------------------------------------------------------------ */
852
853/* Low-level -- send bytes directly to the message sink. Do not
854 use. */
855extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
856
sewardjde4a1d02002-03-22 01:27:54 +0000857/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000858 Exports of vg_demangle.c
859 ------------------------------------------------------------------ */
860
861extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
862
sewardjb5f6f512005-03-10 23:59:00 +0000863extern void VG_(reloc_abs_jump) ( UChar *jmp );
sewardj4ccf7072004-11-28 16:58:05 +0000864
sewardjde4a1d02002-03-22 01:27:54 +0000865/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000866 Exports of vg_translate.c
867 ------------------------------------------------------------------ */
868
sewardjfa8ec112005-01-19 11:55:34 +0000869extern
870Bool VG_(translate) ( ThreadId tid,
871 Addr64 orig_addr,
872 Bool debugging_translation,
873 Int debugging_verbosity );
sewardjb5ff83e2002-12-01 19:40:49 +0000874
sewardjde4a1d02002-03-22 01:27:54 +0000875/* ---------------------------------------------------------------------
876 Exports of vg_execontext.c.
877 ------------------------------------------------------------------ */
878
nethercote4ad74312004-10-26 09:59:49 +0000879/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +0000880 values are used in comparisons do remove duplicate errors, and for
881 comparing against suppression specifications. The rest are purely
882 informational (but often important). */
883
njn25e49d8e72002-09-23 09:36:25 +0000884struct _ExeContext {
885 struct _ExeContext * next;
886 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +0000887 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +0000888 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +0000889 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +0000890};
sewardjde4a1d02002-03-22 01:27:54 +0000891
892
sewardjde4a1d02002-03-22 01:27:54 +0000893/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +0000894extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000895
njn25e49d8e72002-09-23 09:36:25 +0000896/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +0000897extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
898 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000899
900
901/* ---------------------------------------------------------------------
902 Exports of vg_errcontext.c.
903 ------------------------------------------------------------------ */
904
sewardjb5f6f512005-03-10 23:59:00 +0000905typedef
906 enum {
907 ThreadErr = -1, // Thread error
908 MutexErr = -2, // Mutex error
909 }
910 CoreErrorKind;
sewardjde4a1d02002-03-22 01:27:54 +0000911
sewardjb5f6f512005-03-10 23:59:00 +0000912extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000913
njn25e49d8e72002-09-23 09:36:25 +0000914extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000915
nethercotef2b11482004-08-02 12:36:01 +0000916extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +0000917
nethercotef2b11482004-08-02 12:36:01 +0000918extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +0000919
sewardj51ac0872004-12-21 01:20:49 +0000920
sewardjde4a1d02002-03-22 01:27:54 +0000921/* ---------------------------------------------------------------------
922 Exports of vg_procselfmaps.c
923 ------------------------------------------------------------------ */
924
sewardjb5f6f512005-03-10 23:59:00 +0000925/* Parses /proc/self/maps, calling `record_mapping' for each entry. */
sewardjde4a1d02002-03-22 01:27:54 +0000926extern
njnfa1016e2003-09-25 17:54:11 +0000927void VG_(parse_procselfmaps) (
sewardjb5f6f512005-03-10 23:59:00 +0000928 void (*record_mapping)( Addr addr, SizeT len, UInt prot,
nethercote85cdd342004-08-01 22:36:40 +0000929 UInt dev, UInt ino, ULong foff,
930 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +0000931
932
933/* ---------------------------------------------------------------------
934 Exports of vg_symtab2.c
935 ------------------------------------------------------------------ */
936
fitzhardinge98abfc72003-12-16 02:05:15 +0000937typedef struct _Segment Segment;
sewardjb5f6f512005-03-10 23:59:00 +0000938typedef struct _CodeRedirect CodeRedirect;
fitzhardinge98abfc72003-12-16 02:05:15 +0000939
940extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +0000941extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +0000942extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +0000943extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +0000944extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +0000945
njn25e49d8e72002-09-23 09:36:25 +0000946extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +0000947
sewardjb5f6f512005-03-10 23:59:00 +0000948extern Addr VG_(reverse_search_one_symtab) ( const SegInfo* si, const Char* name );
949
fitzhardinge98abfc72003-12-16 02:05:15 +0000950/* Set up some default redirects */
951extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +0000952
sewardjb5f6f512005-03-10 23:59:00 +0000953extern Bool VG_(resolve_redir_allsegs)(CodeRedirect *redir);
954
955/* ---------------------------------------------------------------------
956 Exports of vg_redir.c
957 ------------------------------------------------------------------ */
fitzhardinge98abfc72003-12-16 02:05:15 +0000958/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +0000959extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +0000960
sewardjb5f6f512005-03-10 23:59:00 +0000961extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
962 Addr to_addr);
963extern void VG_(resolve_seg_redirs)(SegInfo *si);
964extern Bool VG_(resolve_redir)(CodeRedirect *redir, const SegInfo *si);
965
966/* Wrapping machinery */
967enum return_type {
968 RT_RETURN,
969 RT_LONGJMP,
970 RT_EXIT,
971};
972
973typedef struct _FuncWrapper FuncWrapper;
974struct _FuncWrapper {
975 void *(*before)(va_list args);
976 void (*after) (void *nonce, enum return_type, Word retval);
977};
978
979extern void VG_(wrap_function)(Addr eip, const FuncWrapper *wrapper);
980extern const FuncWrapper *VG_(is_wrapped)(Addr eip);
981extern Bool VG_(is_wrapper_return)(Addr eip);
982
983/* Primary interface for adding wrappers for client-side functions. */
984extern CodeRedirect *VG_(add_wrapper)(const Char *from_lib, const Char *from_sym,
985 const FuncWrapper *wrapper);
986
987extern Bool VG_(is_resolved)(const CodeRedirect *redir);
sewardj51ac0872004-12-21 01:20:49 +0000988
sewardjde4a1d02002-03-22 01:27:54 +0000989/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000990 Exports of vg_main.c
991 ------------------------------------------------------------------ */
992
sewardj73cf3bc2002-11-03 03:20:15 +0000993/* Tell the logging mechanism whether we are logging to a file
994 descriptor or a socket descriptor. */
995extern Bool VG_(logging_to_filedes);
996
njn25e49d8e72002-09-23 09:36:25 +0000997/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +0000998extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +0000999
fitzhardinge98abfc72003-12-16 02:05:15 +00001000/* Address space */
1001extern Addr VG_(client_base); /* client address space limits */
1002extern Addr VG_(client_end);
1003extern Addr VG_(client_mapbase); /* base of mappings */
1004extern Addr VG_(clstk_base); /* client stack range */
1005extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001006extern Addr VG_(client_trampoline_code);
1007
fitzhardinge98abfc72003-12-16 02:05:15 +00001008extern Addr VG_(brk_base); /* start of brk */
1009extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001010extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001011extern Addr VG_(shadow_end);
1012extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001013extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001014
nethercote73b526f2004-10-31 18:48:21 +00001015extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1016extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001017
fitzhardingea49f9b52003-12-16 22:26:45 +00001018/* client executable file descriptor */
1019extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001020
nethercotef6a1d502004-08-09 12:21:57 +00001021// Help set up the child used when doing execve() with --trace-children=yes
1022Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1023Char* VG_(build_child_exename) ( void );
1024
sewardjb5f6f512005-03-10 23:59:00 +00001025/* The master thread the one which will be responsible for mopping
1026 everything up at exit. Normally it is tid 1, since that's the
1027 first thread created, but it may be something else after a
1028 fork(). */
1029extern ThreadId VG_(master_tid);
1030
sewardjde4a1d02002-03-22 01:27:54 +00001031/* Called when some unhandleable client behaviour is detected.
1032 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001033extern void VG_(unimplemented) ( Char* msg )
1034 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001035
nethercote04d0fbc2004-01-26 16:48:06 +00001036/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001037extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001038
sewardjde4a1d02002-03-22 01:27:54 +00001039/* Counts downwards in vg_run_innerloop. */
1040extern UInt VG_(dispatch_ctr);
1041
sewardj4ccf7072004-11-28 16:58:05 +00001042/* Instruction pointer guest state offset, used by $VG_ARCH/dispatch.S. */
njn87c98122004-11-30 23:32:01 +00001043extern OffT VG_(instr_ptr_offset);
njn16de5572004-11-27 14:27:21 +00001044
sewardj4ccf7072004-11-28 16:58:05 +00001045/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001046extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001047
sewardj51ac0872004-12-21 01:20:49 +00001048/* Indicates what arch and subarch we are running on. */
1049extern VexArch VG_(vex_arch);
1050extern VexSubArch VG_(vex_subarch);
1051
nethercote2e05c332004-09-06 16:43:37 +00001052
sewardjde4a1d02002-03-22 01:27:54 +00001053/* ---------------------------------------------------------------------
1054 Exports of vg_memory.c
1055 ------------------------------------------------------------------ */
1056
fitzhardinge98abfc72003-12-16 02:05:15 +00001057/* A Segment is mapped piece of client memory. This covers all kinds
1058 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1059
1060 We try to encode everything we know about a particular segment here.
1061*/
nethercote85cdd342004-08-01 22:36:40 +00001062#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1063#define SF_SHARED (1 << 1) // shared
1064#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1065#define SF_MMAP (1 << 3) // mmap memory
1066#define SF_FILE (1 << 4) // mapping is backed by a file
1067#define SF_STACK (1 << 5) // is a stack
1068#define SF_GROWDOWN (1 << 6) // segment grows down
1069#define SF_GROWUP (1 << 7) // segment grows up
1070#define SF_EXEC (1 << 8) // segment created by exec
1071#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1072#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1073#define SF_BRK (1 << 11) // brk segment
1074#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1075#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1076#define SF_CODE (1 << 14) // segment contains cached code
sewardjb5f6f512005-03-10 23:59:00 +00001077#define SF_DEVICE (1 << 15) // device mapping; avoid careless touching
fitzhardinge98abfc72003-12-16 02:05:15 +00001078
1079struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001080 UInt prot; // VKI_PROT_*
1081 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001082
njnf9dc6192004-11-30 13:20:44 +00001083 Addr addr; // mapped addr (page aligned)
1084 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001085
njnf9dc6192004-11-30 13:20:44 +00001086 // These are valid if (flags & SF_FILE)
1087 OffT offset; // file offset
1088 const Char* filename; // filename (NULL if unknown)
sewardj79048ce2005-02-18 08:28:32 +00001089 Int fnIdx; // filename table index (-1 if unknown)
njnf9dc6192004-11-30 13:20:44 +00001090 UInt dev; // device
1091 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001092
njnf9dc6192004-11-30 13:20:44 +00001093 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001094};
1095
1096/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001097extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001098 Int fd, ULong off, const Char *filename);
1099
1100/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001101extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001102 UInt dev, UInt ino, ULong off, const Char *filename);
1103
1104/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001105extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001106
nethercote8b5f40c2004-11-02 13:29:50 +00001107extern void VG_(unmap_range) (Addr addr, SizeT len);
1108extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1109extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001110
sewardj548be6d2005-02-16 01:31:37 +00001111/* Find the segment containing a, or NULL if none. */
fitzhardinge98abfc72003-12-16 02:05:15 +00001112extern Segment *VG_(find_segment)(Addr a);
sewardj548be6d2005-02-16 01:31:37 +00001113
1114/* a is an unmapped address (is checked). Find the next segment
1115 along in the address space, or NULL if none. */
1116extern Segment *VG_(find_segment_above_unmapped)(Addr a);
1117
1118/* a is a mapped address (in a segment, is checked). Find the
1119 next segment along. */
1120extern Segment *VG_(find_segment_above_mapped)(Addr a);
1121
sewardj1024cf72005-02-28 14:39:21 +00001122extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1123extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001124
sewardjb5f6f512005-03-10 23:59:00 +00001125extern Segment *VG_(split_segment)(Addr a);
1126
1127extern void VG_(pad_address_space) (Addr start);
1128extern void VG_(unpad_address_space)(Addr start);
thughes9aaebc32004-07-15 23:13:37 +00001129
sewardj2a99cf62004-11-24 10:44:19 +00001130extern REGPARM(2)
1131 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001132
sewardjb5f6f512005-03-10 23:59:00 +00001133///* Search /proc/self/maps for changes which aren't reflected in the
1134// segment list */
1135//extern void VG_(sync_segments)(UInt flags);
jsgf855d93d2003-10-13 22:26:55 +00001136
sewardjb5f6f512005-03-10 23:59:00 +00001137/* Return string for prot */
1138extern const HChar *VG_(prot_str)(UInt prot);
jsgf855d93d2003-10-13 22:26:55 +00001139
sewardjb5f6f512005-03-10 23:59:00 +00001140//extern void VG_(print_shadow_stats)();
jsgf855d93d2003-10-13 22:26:55 +00001141
sewardjde4a1d02002-03-22 01:27:54 +00001142/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001143 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001144 ------------------------------------------------------------------ */
1145
sewardj79048ce2005-02-18 08:28:32 +00001146extern HChar* VG_(resolve_filename_nodup)(Int fd);
1147extern HChar* VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001148
sewardjb5f6f512005-03-10 23:59:00 +00001149/* Simple Valgrind-internal atfork mechanism */
1150extern void VG_(do_atfork_pre) (ThreadId tid);
1151extern void VG_(do_atfork_parent)(ThreadId tid);
1152extern void VG_(do_atfork_child) (ThreadId tid);
1153
1154
1155extern void VG_(client_syscall) ( ThreadId tid );
1156
1157extern void VG_(post_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001158
nethercote5b9fafd2004-11-04 18:39:22 +00001159extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001160
jsgf855d93d2003-10-13 22:26:55 +00001161/* Internal atfork handlers */
1162typedef void (*vg_atfork_t)(ThreadId);
1163extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001164
rjwalshf5f536f2003-11-17 17:45:00 +00001165/* fd leakage calls. */
1166extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001167extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001168
nethercote8ff888f2004-11-17 17:11:45 +00001169// Return true if address range entirely contained within client
1170// address space.
1171Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1172 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001173
1174// Return true if we're allowed to use or create this fd.
1175Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1176
njnc6168192004-11-29 13:54:10 +00001177void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001178
1179// Flags describing syscall wrappers
sewardjb5f6f512005-03-10 23:59:00 +00001180#define Special (1 << 0) /* handled specially */
1181#define MayBlock (1 << 1) /* may block */
1182#define PostOnFail (1 << 2) /* call POST() function on failure */
1183#define PadAddr (1 << 3) /* pad+unpad address space around syscall */
1184#define Done (1 << 4) /* used if a PRE() did the syscall */
nethercote8ff888f2004-11-17 17:11:45 +00001185
njn61fa0af2004-11-27 15:22:24 +00001186// Templates for generating the PRE and POST macros. For ones that must be
1187// publically visible, use an empty 'qual', 'prefix' should start with
1188// "vgArch_", and there should be corresponding global declarations (like
1189// the GEN_SYSCALL_WRAPPER ones below). Otherwise, use "static" for 'qual',
1190// and "vgArch_" should not be in the 'prefix'.
1191#define PRE_TEMPLATE(qual, prefix, name, f) \
1192 qual UInt prefix##_##name##_flags = f; \
1193 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1194#define POST_TEMPLATE(qual, prefix, name) \
1195 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1196
1197// This macro is used to write other macros which making writing syscall
1198// tables easier.
1199#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1200 [const] = { &prefix##_##name##_flags, \
1201 prefix##_##name##_before, NULL }
1202#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1203 [const] = { &prefix##_##name##_flags, \
1204 prefix##_##name##_before, \
1205 prefix##_##name##_after }
1206
1207// Macros for adding generic wrappers to a syscall table.
1208#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1209#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001210
njn22cfccb2004-11-27 16:10:23 +00001211// Space-saving macros for syscall wrappers
1212#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1213#define RES SYSCALL_RET(tst->arch) // in POST(x)
1214#define ARG1 SYSCALL_ARG1(tst->arch)
1215#define ARG2 SYSCALL_ARG2(tst->arch)
1216#define ARG3 SYSCALL_ARG3(tst->arch)
1217#define ARG4 SYSCALL_ARG4(tst->arch)
1218#define ARG5 SYSCALL_ARG5(tst->arch)
1219#define ARG6 SYSCALL_ARG6(tst->arch)
1220
sewardj004e8ca2005-02-28 17:27:04 +00001221#define SET_RESULT(val) \
1222 do { PLATFORM_SET_SYSCALL_RESULT(tst->arch, (val)); \
1223 tst->syscall_result_set = True; \
1224 } while (0)
njn22cfccb2004-11-27 16:10:23 +00001225
1226#define PRINT(format, args...) \
1227 if (VG_(clo_trace_syscalls)) \
1228 VG_(printf)(format, ## args)
1229
nethercote8ff888f2004-11-17 17:11:45 +00001230// Generic (platform-independent) syscall wrappers. These are generally
1231// POSIX or something like that; those that are not POSIX are annotated
1232// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001233// For many of them, it's unclear if they are generic, or Linux-specific, or
1234// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001235//
1236// Nb: This list may change over time... ones thought at first to be generic
1237// may turn out not to be, and so be moved into OS-specific or
1238// platform-specific files. If there's any doubt, I'm leaving them in here.
1239//
1240// Nb 2: if porting to a new OS, you should really check all these generic
1241// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001242//
1243// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1244// post-wrapper (which is actually not always needed), and the associated
1245// flags.
1246#define GEN_SYSCALL_WRAPPER(x) \
1247 extern UInt VGA_(gen_##x##_flags); \
1248 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1249 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001250
1251GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1252GEN_SYSCALL_WRAPPER(sys_exit);
1253GEN_SYSCALL_WRAPPER(sys_fork);
1254GEN_SYSCALL_WRAPPER(sys_read);
1255GEN_SYSCALL_WRAPPER(sys_write);
1256GEN_SYSCALL_WRAPPER(sys_open);
1257GEN_SYSCALL_WRAPPER(sys_close);
1258GEN_SYSCALL_WRAPPER(sys_waitpid);
1259GEN_SYSCALL_WRAPPER(sys_creat);
1260GEN_SYSCALL_WRAPPER(sys_link);
1261GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001262GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001263GEN_SYSCALL_WRAPPER(sys_chdir);
1264GEN_SYSCALL_WRAPPER(sys_time);
1265GEN_SYSCALL_WRAPPER(sys_mknod);
1266GEN_SYSCALL_WRAPPER(sys_chmod);
1267GEN_SYSCALL_WRAPPER(sys_lseek);
1268GEN_SYSCALL_WRAPPER(sys_getpid);
1269GEN_SYSCALL_WRAPPER(sys_alarm);
1270GEN_SYSCALL_WRAPPER(sys_pause);
1271GEN_SYSCALL_WRAPPER(sys_utime);
1272GEN_SYSCALL_WRAPPER(sys_access);
1273GEN_SYSCALL_WRAPPER(sys_kill);
1274GEN_SYSCALL_WRAPPER(sys_rename);
1275GEN_SYSCALL_WRAPPER(sys_mkdir);
1276GEN_SYSCALL_WRAPPER(sys_rmdir);
1277GEN_SYSCALL_WRAPPER(sys_dup);
1278GEN_SYSCALL_WRAPPER(sys_times);
1279GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1280GEN_SYSCALL_WRAPPER(sys_setpgid);
1281GEN_SYSCALL_WRAPPER(sys_umask);
1282GEN_SYSCALL_WRAPPER(sys_dup2);
1283GEN_SYSCALL_WRAPPER(sys_getppid);
1284GEN_SYSCALL_WRAPPER(sys_getpgrp);
1285GEN_SYSCALL_WRAPPER(sys_setsid);
1286GEN_SYSCALL_WRAPPER(sys_munmap);
1287GEN_SYSCALL_WRAPPER(sys_truncate);
1288GEN_SYSCALL_WRAPPER(sys_ftruncate);
1289GEN_SYSCALL_WRAPPER(sys_fchmod);
1290GEN_SYSCALL_WRAPPER(sys_msync);
1291GEN_SYSCALL_WRAPPER(sys_readv);
1292GEN_SYSCALL_WRAPPER(sys_writev);
1293GEN_SYSCALL_WRAPPER(sys_getsid);
1294GEN_SYSCALL_WRAPPER(sys_fdatasync);
1295GEN_SYSCALL_WRAPPER(sys_mlock);
1296GEN_SYSCALL_WRAPPER(sys_munlock);
1297GEN_SYSCALL_WRAPPER(sys_mlockall);
1298GEN_SYSCALL_WRAPPER(sys_munlockall);
1299GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1300GEN_SYSCALL_WRAPPER(sys_sched_getparam);
sewardjb5f6f512005-03-10 23:59:00 +00001301GEN_SYSCALL_WRAPPER(sys_sched_rr_get_interval);
nethercote8ff888f2004-11-17 17:11:45 +00001302GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1303GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1304GEN_SYSCALL_WRAPPER(sys_sched_yield);
1305GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1306GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1307GEN_SYSCALL_WRAPPER(sys_nanosleep);
1308GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1309GEN_SYSCALL_WRAPPER(sys_getuid);
1310GEN_SYSCALL_WRAPPER(sys_getgid);
1311GEN_SYSCALL_WRAPPER(sys_geteuid);
1312GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001313GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001314GEN_SYSCALL_WRAPPER(sys_fsync);
1315GEN_SYSCALL_WRAPPER(sys_wait4);
1316GEN_SYSCALL_WRAPPER(sys_mprotect);
1317GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1318GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1319GEN_SYSCALL_WRAPPER(sys_timer_settime);
1320GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1321GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1322GEN_SYSCALL_WRAPPER(sys_timer_delete);
1323GEN_SYSCALL_WRAPPER(sys_clock_settime);
1324GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1325GEN_SYSCALL_WRAPPER(sys_clock_getres);
sewardjb5f6f512005-03-10 23:59:00 +00001326GEN_SYSCALL_WRAPPER(sys_clock_nanosleep);
nethercote8ff888f2004-11-17 17:11:45 +00001327GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001328GEN_SYSCALL_WRAPPER(sys_symlink);
1329GEN_SYSCALL_WRAPPER(sys_getgroups);
1330GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1331GEN_SYSCALL_WRAPPER(sys_chown);
1332GEN_SYSCALL_WRAPPER(sys_setuid);
1333GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1334GEN_SYSCALL_WRAPPER(sys_madvise);
1335GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001336
1337// These ones aren't POSIX, but are in some standard and look reasonably
1338// generic, and are the same for all architectures under Linux.
1339GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1340GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1341GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1342GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1343GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001344GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1345GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1346GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1347GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1348GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1349GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1350GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
sewardjb5f6f512005-03-10 23:59:00 +00001351GEN_SYSCALL_WRAPPER(sys_stime); // SVr4, SVID, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001352GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1353GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1354GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1355GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1356GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1357GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1358GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1359GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1360GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1361GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001362
1363// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1364// uid_t types. The similarly named (minus the "16" suffix) ones below use
1365// 32-bit versions of these types.
1366GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1367GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1368GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1369GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1370GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1371GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1372GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1373GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1374GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1375GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1376GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1377GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1378
nethercote8ff888f2004-11-17 17:11:45 +00001379// Linux's funny many-in-one socketcall is certainly not generic, but I
1380// didn't want to move it until necessary because it's big and has a lot of
1381// associated junk.
1382GEN_SYSCALL_WRAPPER(sys_socketcall);
1383
nethercote3d5e9102004-11-17 18:22:38 +00001384// Some archs on Linux do not match the generic wrapper for sys_pipe().
1385GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001386
nethercote3d5e9102004-11-17 18:22:38 +00001387// May not be generic for every architecture under Linux.
1388GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1389
1390// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001391GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1392GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1393GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1394
nethercote3d5e9102004-11-17 18:22:38 +00001395// For the remainder, not really sure yet
1396GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1397GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1398GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1399GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1400GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1401GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1402GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1403GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001404GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1405GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001406GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1407GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1408GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001409GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1410GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1411GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1412GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1413GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1414GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1415GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1416GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1417GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1418GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1419GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001420GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1421GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1422GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1423GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1424GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1425GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1426GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1427GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1428GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1429GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001430GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001431GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1432GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1433GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1434GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1435GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1436GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1437GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1438GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1439GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1440GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1441GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1442GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1443GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1444GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001445GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1446GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001447GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001448GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1449GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1450GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001451GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1452GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1453GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1454GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1455GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1456GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
sewardjb5f6f512005-03-10 23:59:00 +00001457GEN_SYSCALL_WRAPPER(sys_tkill); // * L
1458GEN_SYSCALL_WRAPPER(sys_tgkill); // * L
1459GEN_SYSCALL_WRAPPER(sys_gettid); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001460
1461#undef GEN_SYSCALL_WRAPPER
1462
1463// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001464/* PRRAn == "pre-register-read-argument"
1465 PRRSN == "pre-register-read-syscall"
1466*/
nethercote8ff888f2004-11-17 17:11:45 +00001467
1468#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001469 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001470 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001471#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001472 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001473 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001474#define PRE_REG_READ0(tr, s) \
1475 if (VG_(defined_pre_reg_read)()) { \
1476 PRRSN; \
1477 }
1478#define PRE_REG_READ1(tr, s, t1, a1) \
1479 if (VG_(defined_pre_reg_read)()) { \
1480 PRRSN; \
1481 PRRAn(1,s,t1,a1); \
1482 }
1483#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1484 if (VG_(defined_pre_reg_read)()) { \
1485 PRRSN; \
1486 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1487 }
1488#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1489 if (VG_(defined_pre_reg_read)()) { \
1490 PRRSN; \
1491 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1492 }
1493#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1494 if (VG_(defined_pre_reg_read)()) { \
1495 PRRSN; \
1496 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1497 PRRAn(4,s,t4,a4); \
1498 }
1499#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1500 if (VG_(defined_pre_reg_read)()) { \
1501 PRRSN; \
1502 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1503 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1504 }
1505#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1506 if (VG_(defined_pre_reg_read)()) { \
1507 PRRSN; \
1508 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1509 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1510 }
1511
1512#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1513 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1514
1515#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1516 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1517
1518#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1519 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1520
1521#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001522 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001523
sewardj987a8eb2005-03-01 19:00:30 +00001524
1525//////////////////////////////////////////////////////////
1526
1527#define TId ThreadId
1528#define UW UWord
1529
1530extern void VG_(generic_PRE_sys_socketpair) ( TId, UW, UW, UW, UW );
1531extern UWord VG_(generic_POST_sys_socketpair) ( TId, UW, UW, UW, UW, UW );
1532extern UWord VG_(generic_POST_sys_socket) ( TId, UW );
1533extern void VG_(generic_PRE_sys_bind) ( TId, UW, UW, UW );
1534extern void VG_(generic_PRE_sys_accept) ( TId, UW, UW, UW );
1535extern UWord VG_(generic_POST_sys_accept) ( TId, UW, UW, UW, UW );
1536extern void VG_(generic_PRE_sys_sendto) ( TId, UW, UW, UW, UW, UW, UW );
1537extern void VG_(generic_PRE_sys_send) ( TId, UW, UW, UW );
1538extern void VG_(generic_PRE_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW );
1539extern void VG_(generic_POST_sys_recvfrom) ( TId, UW, UW, UW, UW, UW, UW, UW );
1540extern void VG_(generic_PRE_sys_recv) ( TId, UW, UW, UW );
1541extern void VG_(generic_POST_sys_recv) ( TId, UW, UW, UW, UW );
1542extern void VG_(generic_PRE_sys_connect) ( TId, UW, UW, UW );
1543extern void VG_(generic_PRE_sys_setsockopt) ( TId, UW, UW, UW, UW, UW );
1544extern void VG_(generic_PRE_sys_getsockopt) ( TId, UW, UW, UW, UW, UW );
1545extern void VG_(generic_POST_sys_getsockopt) ( TId, UW, UW, UW, UW, UW, UW );
1546extern void VG_(generic_PRE_sys_getsockname) ( TId, UW, UW, UW );
1547extern void VG_(generic_POST_sys_getsockname) ( TId, UW, UW, UW, UW );
1548extern void VG_(generic_PRE_sys_getpeername) ( TId, UW, UW, UW );
1549extern void VG_(generic_POST_sys_getpeername) ( TId, UW, UW, UW, UW );
1550extern void VG_(generic_PRE_sys_sendmsg) ( TId, UW, UW );
1551extern void VG_(generic_PRE_sys_recvmsg) ( TId, UW, UW );
1552extern void VG_(generic_POST_sys_recvmsg) ( TId, UW, UW, UW );
1553
1554#undef TID
1555#undef UW
1556
1557
sewardjde4a1d02002-03-22 01:27:54 +00001558/* ---------------------------------------------------------------------
1559 Exports of vg_transtab.c
1560 ------------------------------------------------------------------ */
1561
sewardjfa8ec112005-01-19 11:55:34 +00001562/* The fast-cache for tt-lookup, and for finding counters. */
1563extern ULong* VG_(tt_fast) [VG_TT_FAST_SIZE];
1564extern UInt* VG_(tt_fastN)[VG_TT_FAST_SIZE];
njn25e49d8e72002-09-23 09:36:25 +00001565
sewardjb5f6f512005-03-10 23:59:00 +00001566
nethercote92e7b7f2004-08-07 17:52:25 +00001567extern void VG_(init_tt_tc) ( void );
sewardj6c3769f2002-11-29 01:02:45 +00001568
sewardjfa8ec112005-01-19 11:55:34 +00001569extern
1570void VG_(add_to_trans_tab)( VexGuestExtents* vge,
1571 Addr64 entry,
1572 AddrH code,
1573 UInt code_len );
1574
1575extern Bool VG_(search_transtab) ( /*OUT*/AddrH* result,
1576 Addr64 guest_addr,
1577 Bool upd_cache );
1578
1579extern void VG_(discard_translations) ( Addr64 start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001580
sewardj4ccf7072004-11-28 16:58:05 +00001581extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001582
nethercote92e7b7f2004-08-07 17:52:25 +00001583extern void VG_(print_tt_tc_stats) ( void );
1584
sewardjfa8ec112005-01-19 11:55:34 +00001585extern UInt VG_(get_bbs_translated) ( void );
1586
1587extern void VG_(show_BB_profile) ( void );
1588
sewardjde4a1d02002-03-22 01:27:54 +00001589
sewardjde4a1d02002-03-22 01:27:54 +00001590/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001591 Exports of vg_syscall.S
1592 ------------------------------------------------------------------ */
1593
njnca6fef02004-11-29 16:49:18 +00001594// We use a full prototype rather than "..." here to ensure that all
1595// arguments get converted to a UWord appropriately. Not doing so can
1596// cause problems when passing 32-bit integers on 64-bit platforms, because
1597// the top 32-bits might not be zeroed appropriately, eg. as would happen
1598// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001599extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001600
1601// Macros make life easier.
1602#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1603#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1604#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1605#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1606#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1607#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1608#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1609
jsgf855d93d2003-10-13 22:26:55 +00001610extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
sewardjb5f6f512005-03-10 23:59:00 +00001611 Int *child_tid, Int *parent_tid, vki_modify_ldt_t * );
fitzhardinge4f10ada2004-06-03 10:00:42 +00001612extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001613
1614/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001615 Exports of vg_dispatch.S
1616 ------------------------------------------------------------------ */
1617
njnd6f157d2004-11-30 17:27:21 +00001618/* This subroutine is called from the C world. It is passed
1619 a pointer to the VEX guest state (arch.vex). It must run code
1620 from the instruction pointer in the guest state, and exit when
1621 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1622 The return value must indicate why it returned back to the scheduler.
1623 It can also be exited if the executing code throws a non-resumable
1624 signal, for example SIGSEGV, in which case control longjmp()s back past
1625 here.
1626
1627 This code simply handles the common case fast -- when the translation
1628 address is found in the translation cache. For anything else, the
1629 scheduler does the work.
1630*/
sewardj2a99cf62004-11-24 10:44:19 +00001631extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001632
sewardjde4a1d02002-03-22 01:27:54 +00001633/* ---------------------------------------------------------------------
1634 Exports of vg_helpers.S
1635 ------------------------------------------------------------------ */
1636
fitzhardinge92360792003-12-24 10:11:11 +00001637/* Information about trampoline code (for signal return and syscalls) */
1638extern const Char VG_(trampoline_code_start);
1639extern const Int VG_(trampoline_code_length);
1640extern const Int VG_(tramp_sigreturn_offset);
sewardjb5f6f512005-03-10 23:59:00 +00001641extern const Int VG_(tramp_rt_sigreturn_offset);
fitzhardinge92360792003-12-24 10:11:11 +00001642extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001643
njn4f9c9342002-04-29 16:03:24 +00001644/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001645 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001646 ------------------------------------------------------------------ */
1647
fitzhardinge98abfc72003-12-16 02:05:15 +00001648#define VG_TRACK(fn, args...) \
1649 do { \
1650 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001651 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001652 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001653
fitzhardinge98abfc72003-12-16 02:05:15 +00001654__attribute__ ((noreturn))
1655extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001656
nethercotec06e2132004-09-03 13:45:29 +00001657// ---------------------------------------------------------------------
1658// Architecture-specific things defined in eg. x86/*.c
1659// ---------------------------------------------------------------------
1660
sewardj51ac0872004-12-21 01:20:49 +00001661// Returns the architecture and subarchitecture, or indicates
1662// that this subarchitecture is unable to run Valgrind
1663// Returns False to indicate we cannot proceed further.
sewardj51ac0872004-12-21 01:20:49 +00001664extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1665 /*OUT*/VexSubArch* );
njncf45fd42004-11-24 16:30:22 +00001666// Accessors for the ThreadArchState
1667#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1668#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1669#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
njncf45fd42004-11-24 16:30:22 +00001670#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1671#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1672#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
njn16de5572004-11-27 14:27:21 +00001673// Offsets for the Vex state
njncf45fd42004-11-24 16:30:22 +00001674#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1675#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
njncf45fd42004-11-24 16:30:22 +00001676#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1677#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1678
1679
sewardj2a99cf62004-11-24 10:44:19 +00001680// Setting up the initial thread (1) state
1681extern void
1682 VGA_(init_thread1state) ( Addr client_eip,
1683 Addr esp_at_startup,
1684 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001685
nethercotec009ebe2004-09-13 11:05:11 +00001686// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001687extern void VGA_(cleanup_thread) ( ThreadArchState* );
1688extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001689
sewardjb5f6f512005-03-10 23:59:00 +00001690// OS/Platform-specific thread clear (after thread exit)
1691extern void VGA_(os_state_clear)(ThreadState *);
1692
1693// OS/Platform-specific thread init (at scheduler init time)
1694extern void VGA_(os_state_init)(ThreadState *);
1695
1696// Run a thread from beginning to end. Does not return if tid == VG_(master_tid).
1697void VGA_(thread_wrapper)(ThreadId tid);
1698
1699// Like VGA_(thread_wrapper), but it allocates a stack before calling
1700// to VGA_(thread_wrapper) on that stack, as if it had been set up by
1701// clone()
1702void VGA_(main_thread_wrapper)(ThreadId tid) __attribute__ ((__noreturn__));
1703
1704// Return how many bytes of a thread's Valgrind stack are unused
1705Int VGA_(stack_unused)(ThreadId tid);
1706
1707// Terminate the process. Does not return.
1708void VGA_(terminate)(ThreadId tid, VgSchedReturnCode src) __attribute__((__noreturn__));
1709
1710// wait until all other threads are dead
1711extern void VGA_(reap_threads)(ThreadId self);
1712
1713// handle an arch-specific client request
1714extern Bool VGA_(client_request)(ThreadId tid, UWord *args);
1715
nethercotec009ebe2004-09-13 11:05:11 +00001716// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001717extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001718
nethercotefedd8102004-09-13 15:19:34 +00001719// Pointercheck
1720extern Bool VGA_(setup_pointercheck) ( void );
1721
1722// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001723extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001724
sewardjb5f6f512005-03-10 23:59:00 +00001725// Used by leakcheck
1726extern void VGA_(mark_from_registers)(ThreadId tid, void (*marker)(Addr));
1727
nethercote6eec4602004-09-13 14:15:36 +00001728// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001729extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001730 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001731 void *handler, UInt flags,
sewardjb5f6f512005-03-10 23:59:00 +00001732 const vki_sigset_t *mask,
1733 void *restorer );
nethercote6eec4602004-09-13 14:15:36 +00001734
sewardjb5f6f512005-03-10 23:59:00 +00001735////typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001736#define MY__STRING(__str) #__str
1737
1738// Assertion to use in code running on the simulated CPU.
1739#define my_assert(expr) \
1740 ((void) ((expr) ? 0 : \
1741 (VG_(user_assert_fail) (MY__STRING(expr), \
1742 __FILE__, __LINE__, \
1743 __PRETTY_FUNCTION__), 0)))
1744
1745extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1746 Int line, const Char* fn );
1747
1748
nethercote41c75da2004-10-18 15:34:14 +00001749// ---------------------------------------------------------------------
1750// Platform-specific things defined in eg. x86/*.c
1751// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001752
njncf45fd42004-11-24 16:30:22 +00001753// Accessors for the ThreadArchState
1754#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1755#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1756#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1757#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1758#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1759#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1760#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1761#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1762
1763// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001764#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001765#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1766#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1767#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1768#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1769#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1770#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1771#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1772
nethercote8ff888f2004-11-17 17:11:45 +00001773struct SyscallTableEntry {
1774 UInt *flags_ptr;
sewardjb5f6f512005-03-10 23:59:00 +00001775 void (*before)(ThreadId tid, ThreadState *tst /*, UInt *flags*/);
nethercote8ff888f2004-11-17 17:11:45 +00001776 void (*after) (ThreadId tid, ThreadState *tst);
1777};
1778
1779/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1780 wrappers for the relevant syscalls used in the OS kernel for that number.
1781 Note that the constant names don't always match the wrapper names in a
1782 straightforward way. For example, on x86/Linux:
1783
1784 __NR_lchown --> sys_lchown16()
1785 __NR_lchown32 --> sys_lchown()
1786 __NR_select --> old_select()
1787 __NR__newselect --> sys_select()
1788*/
1789extern const struct SyscallTableEntry VGA_(syscall_table)[];
1790
1791extern const UInt VGA_(syscall_table_size);
1792
sewardj2a99cf62004-11-24 10:44:19 +00001793extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001794
sewardjb5f6f512005-03-10 23:59:00 +00001795/*
1796 Perform a syscall on behalf of a client thread, using a specific
1797 signal mask. On completion, the signal mask is set to restore_mask
1798 (which presumably blocks almost everything). If a signal happens
1799 during the syscall, the handler should call
1800 VGA_(interrupted_syscall)() to adjust the thread's context to do the
1801 right thing.
njn7be36952004-11-24 18:14:41 +00001802*/
sewardjb5f6f512005-03-10 23:59:00 +00001803extern void VGA_(client_syscall)(Int syscallno, ThreadState *tst,
1804 const vki_sigset_t *syscall_mask);
njn7be36952004-11-24 18:14:41 +00001805
sewardjb5f6f512005-03-10 23:59:00 +00001806/*
1807 Fix up the thread's state because a syscall may have been
1808 interrupted with a signal. Returns True if the syscall completed
1809 (either interrupted or finished normally), or False if it was
1810 restarted (or the signal didn't actually interrupt a syscall).
1811 */
1812extern void VGA_(interrupted_syscall)(ThreadId tid,
1813 struct vki_ucontext *uc,
1814 Bool restart);
1815
1816
1817///* ---------------------------------------------------------------------
1818// Thread modelling
1819// ------------------------------------------------------------------ */
1820//extern void VG_(tm_thread_create) (ThreadId creator, ThreadId tid, Bool detached);
1821//extern void VG_(tm_thread_exit) (ThreadId tid);
1822//extern Bool VG_(tm_thread_exists) (ThreadId tid);
1823//extern void VG_(tm_thread_detach) (ThreadId tid);
1824//extern void VG_(tm_thread_join) (ThreadId joiner, ThreadId joinee);
1825//extern void VG_(tm_thread_switchto)(ThreadId tid);
1826//
1827//extern void VG_(tm_mutex_init) (ThreadId tid, Addr mutexp);
1828//extern void VG_(tm_mutex_destroy)(ThreadId tid, Addr mutexp);
1829//extern void VG_(tm_mutex_trylock)(ThreadId tid, Addr mutexp);
1830//extern void VG_(tm_mutex_giveup) (ThreadId tid, Addr mutexp);
1831//extern void VG_(tm_mutex_acquire)(ThreadId tid, Addr mutexp);
1832//extern void VG_(tm_mutex_tryunlock)(ThreadId tid, Addr mutexp);
1833//extern void VG_(tm_mutex_unlock) (ThreadId tid, Addr mutexp);
1834//extern Bool VG_(tm_mutex_exists) (Addr mutexp);
1835//
1836//extern UInt VG_(tm_error_update_extra) (Error *err);
1837//extern Bool VG_(tm_error_equal) (VgRes res, Error *e1, Error *e2);
1838//extern void VG_(tm_error_print) (Error *err);
1839//
1840//extern void VG_(tm_init) ();
1841//
1842//extern void VG_(tm_cond_init) (ThreadId tid, Addr condp);
1843//extern void VG_(tm_cond_destroy) (ThreadId tid, Addr condp);
1844//extern void VG_(tm_cond_wait) (ThreadId tid, Addr condp, Addr mutexp);
1845//extern void VG_(tm_cond_wakeup) (ThreadId tid, Addr condp, Addr mutexp);
1846//extern void VG_(tm_cond_signal) (ThreadId tid, Addr condp);
1847//
1848///* ----- pthreads ----- */
1849//extern void VG_(pthread_init) ();
1850//extern void VG_(pthread_startfunc_wrapper)(Addr wrapper);
1851//
1852//struct vg_pthread_newthread_data {
1853// void *(*startfunc)(void *arg);
1854// void *arg;
1855//};
sewardj3b2736a2002-03-24 12:18:35 +00001856
1857/* ---------------------------------------------------------------------
1858 Finally - autoconf-generated settings
1859 ------------------------------------------------------------------ */
1860
1861#include "config.h"
1862
nethercotec06e2132004-09-03 13:45:29 +00001863#endif /* ndef __CORE_H */
1864
sewardjde4a1d02002-03-22 01:27:54 +00001865/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001866/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001867/*--------------------------------------------------------------------*/