blob: 4d4dd927dabb76c1db38c85d34980d4fc042f77c [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/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
jsgf855d93d2003-10-13 22:26:55 +000082/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000083#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000084
nethercote13343132004-09-02 15:49:09 +000085#include "core_asm.h" // asm stuff
86#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000087#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000088
89// Ugly: this is needed by linux/core_os.h
90typedef struct _ThreadState ThreadState;
91
92#include "core_os.h" // OS-specific stuff, eg. linux/core_os.h
nethercotebb4222b2004-09-10 17:42:11 +000093#include "core_platform.h" // platform-specific stuff,
94 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000095
fitzhardinge39de4b42003-10-31 07:12:21 +000096#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000097
njn26f02512004-11-22 18:33:15 +000098#undef TL_
99#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000100
nethercote7be47252004-09-02 16:02:58 +0000101
sewardj2a99cf62004-11-24 10:44:19 +0000102/* ToDo: nuke */
103#define INVALID_OFFSET (-1)
104
nethercote7be47252004-09-02 16:02:58 +0000105/* ---------------------------------------------------------------------
106 Build options and table sizes. You should be able to change these
107 options or sizes, recompile, and still have a working system.
108 ------------------------------------------------------------------ */
109
sewardjde4a1d02002-03-22 01:27:54 +0000110/* Constants for the slow translation lookup cache. */
111#define VG_TRANSTAB_SLOW_BITS 11
112#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
113#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
114
115/* Size of a buffer used for creating messages. */
116#define M_VG_MSGBUF 10000
117
118/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000119#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000120
121/* Max length of pathname to a .so/executable file. */
122#define M_VG_LIBNAMESTR 100
123
124/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000125#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000126
127/* Max length of the string copied from env var VG_ARGS at startup. */
128#define M_VG_CMDLINE_STRLEN 1000
129
130/* Max number of options for Valgrind which we can handle. */
131#define M_VG_CMDLINE_OPTS 100
132
133/* After this many different unsuppressed errors have been observed,
134 be more conservative about collecting new ones. */
135#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
136
137/* After this many different unsuppressed errors have been observed,
138 stop collecting errors at all, and tell the user their program is
139 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000140#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000141
142/* After this many total errors have been observed, stop collecting
143 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000144#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000145
sewardjde4a1d02002-03-22 01:27:54 +0000146/* The maximum number of calls we're prepared to save in a
147 backtrace. */
148#define VG_DEEPEST_BACKTRACE 50
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* Number of lists in which we keep track of ExeContexts. Should be
151 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000152#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000153
sewardj2e93c502002-04-12 11:12:52 +0000154/* Defines the thread-scheduling timeslice, in terms of the number of
155 basic blocks we attempt to run each thread for. Smaller values
156 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000157#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000158
fitzhardingef0046f22003-12-18 02:39:22 +0000159/* Number of file descriptors that Valgrind tries to reserve for
160 it's own use - two per thread plues a small number of extras. */
161#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000162
sewardjbf290b92002-05-01 02:28:01 +0000163/* Stack size for a thread. We try and check that they do not go
164 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000165#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000166
sewardj8ad94e12002-05-29 00:10:20 +0000167/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000168#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000169
sewardj2cb00342002-06-28 01:46:26 +0000170/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000171#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000172
njn25e49d8e72002-09-23 09:36:25 +0000173/* Max number of callers for context in a suppression. */
174#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000175
thughes8abf3922004-10-16 10:59:49 +0000176/* Numer of entries in each thread's signal queue. */
177#define VG_N_SIGNALQUEUE 8
178
fitzhardinge98abfc72003-12-16 02:05:15 +0000179/* Useful macros */
180/* a - alignment - must be a power of 2 */
181#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
182#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000183#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
184#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000185
nethercote80013e92004-09-05 20:39:51 +0000186/* ---------------------------------------------------------------------
187 Environment variables
188 ------------------------------------------------------------------ */
189
190/* The directory we look for all our auxillary files in */
191#define VALGRINDLIB "VALGRINDLIB"
192
193/* Additional command-line arguments; they are overridden by actual
194 command-line option. Each argument is separated by spaces. There
195 is no quoting mechanism.
196 */
197#define VALGRINDOPTS "VALGRIND_OPTS"
198
199/* If this variable is present in the environment, then valgrind will
200 not parse the command line for options at all; all options come
201 from this variable. Arguments are terminated by ^A (\001). There
202 is no quoting mechanism.
203
204 This variable is not expected to be set by anything other than
205 Valgrind itself, as part of its handling of execve with
206 --trace-children=yes. This variable should not be present in the
207 client environment.
208 */
209#define VALGRINDCLO "_VALGRIND_CLO"
210
fitzhardinge98abfc72003-12-16 02:05:15 +0000211
sewardjde4a1d02002-03-22 01:27:54 +0000212/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000213 Command-line-settable options
214 ------------------------------------------------------------------ */
215
sewardj4f094a72002-11-05 23:37:35 +0000216/* Default destination port to be used in logging over a network, if
217 none specified. */
218#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000219
220/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000221#define VG_CLO_MAX_SFILES 10
222
nethercote04d0fbc2004-01-26 16:48:06 +0000223/* Default debugger command. */
224#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
225
sewardj4cf05692002-10-27 20:28:29 +0000226/* Describes where logging output is to be sent. */
227typedef
228 enum {
229 VgLogTo_Fd,
230 VgLogTo_File,
231 VgLogTo_Socket
232 } VgLogTo;
233
jsgf855d93d2003-10-13 22:26:55 +0000234/* pid of main process */
235extern Int VG_(main_pid);
236
237/* pgrp of process (global to all threads) */
238extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000239
thughesad1c9562004-06-26 11:27:52 +0000240/* Application-visible file descriptor limits */
241extern Int VG_(fd_soft_limit);
242extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000243
sewardj8b635a42004-11-22 19:01:47 +0000244/* Vex iropt control */
245extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000246/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000247extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000248/* Enquire about whether to attach to a debugger at errors? default: NO */
249extern Bool VG_(clo_db_attach);
250/* The debugger command? default: whatever gdb ./configure found */
251extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000252/* Enquire about generating a suppression for each error? default: NO */
253extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000255extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000256/* Automatically attempt to demangle C++ names? default: YES */
257extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000258/* Simulate child processes? default: NO */
259extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000260
261/* Where logging output is to be sent to.
262
nethercotef8548672004-06-21 12:42:35 +0000263 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
264 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000265
nethercotef8548672004-06-21 12:42:35 +0000266 When log_to == VgLogTo_File, clo_log_name holds the log-file
267 name, and is taken from the command line. clo_log_fd is then
268 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000269 (concatenated with the process ID) for writing.
270
nethercotef8548672004-06-21 12:42:35 +0000271 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000272 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000273 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000274 opening a connection to said hostname:portnumber pair.
275
nethercotef8548672004-06-21 12:42:35 +0000276 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000277 (stderr). */
278extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000279extern Int VG_(clo_log_fd);
280extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000281
thughes6233a382004-08-21 11:10:44 +0000282/* Add timestamps to log messages? default: NO */
283extern Bool VG_(clo_time_stamp);
284
sewardj6024b212003-07-13 10:54:33 +0000285/* The file descriptor to read for input. default: 0 == stdin */
286extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000287/* The number of suppression files specified. */
288extern Int VG_(clo_n_suppressions);
289/* The names of the suppression files. */
290extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
291
292/* Single stepping? default: NO */
293extern Bool VG_(clo_single_step);
294/* Code improvement? default: YES */
295extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000296/* DEBUG: print generated code? default: 00000 ( == NO ) */
297extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000298/* DEBUG: print system calls? default: NO */
299extern Bool VG_(clo_trace_syscalls);
300/* DEBUG: print signal details? default: NO */
301extern Bool VG_(clo_trace_signals);
302/* DEBUG: print symtab details? default: NO */
303extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000304/* DEBUG: print thread scheduling events? default: NO */
305extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000306/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
307 (some), 2 (all) */
308extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000309/* Display gory details for the k'th most popular error. default:
310 Infinity. */
311extern Int VG_(clo_dump_error);
312/* Number of parents of a backtrace. Default: 8. */
313extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000314/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000315extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000316/* How often we should poll for signals, assuming we need to poll for
317 signals. */
318extern Int VG_(clo_signal_polltime);
319
320/* Low latency syscalls and signals */
321extern Bool VG_(clo_lowlat_syscalls);
322extern Bool VG_(clo_lowlat_signals);
323
rjwalshf5f536f2003-11-17 17:45:00 +0000324/* Track open file descriptors? */
325extern Bool VG_(clo_track_fds);
326
sewardj858964b2002-10-05 14:15:43 +0000327/* Should we run __libc_freeres at exit? Sometimes causes crashes.
328 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
329 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000330 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000331 cannot be overridden from the command line. */
332extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000333/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000334extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000335/* Generate branch-prediction hints? */
336extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000337/* Continue stack traces below main()? Default: NO */
338extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000339/* Test each client pointer dereference to check it's within the
340 client address space bounds */
341extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000342
rjwalshe4e779d2004-04-16 23:02:29 +0000343/* Set up the libc freeres wrapper */
344extern void VG_(intercept_libc_freeres_wrapper)(Addr);
345
sewardjde4a1d02002-03-22 01:27:54 +0000346/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000347 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000348 ------------------------------------------------------------------ */
349
sewardjde4a1d02002-03-22 01:27:54 +0000350extern void VGP_(init_profiling) ( void );
351extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000352
njn25e49d8e72002-09-23 09:36:25 +0000353#undef VGP_PUSHCC
354#undef VGP_POPCC
355#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
356#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000357
sewardjde4a1d02002-03-22 01:27:54 +0000358/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000359 Tool-related types
njn810086f2002-11-14 12:42:47 +0000360 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000361/* These structs are not exposed to tools to mitigate possibility of
362 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000363 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000364typedef
365 struct {
366 Char* name;
367 Char* version;
368 Char* description;
369 Char* copyright_author;
370 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000371 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000372 }
373 VgDetails;
374
375extern VgDetails VG_(details);
376
377/* If new fields are added to this type, update:
378 * - vg_main.c:initialisation of VG_(needs)
379 * - vg_main.c:sanity_check_needs()
380 *
381 * If the name of this type or any of its fields change, update:
382 * - dependent comments (just search for "VG_(needs)").
383 */
384typedef
385 struct {
386 Bool libc_freeres;
387 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000388 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000389 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000390 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000391 Bool command_line_options;
392 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000393 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000394 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000395 Bool sanity_checks;
396 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000397 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000398 }
399 VgNeeds;
400
401extern VgNeeds VG_(needs);
402
fitzhardinge98abfc72003-12-16 02:05:15 +0000403extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000404
fitzhardinge98abfc72003-12-16 02:05:15 +0000405#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000406
407/* ---------------------------------------------------------------------
408 Exports of vg_needs.c
409 ------------------------------------------------------------------ */
410
411void VG_(sanity_check_needs)(void);
412
413/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000414 Exports of vg_malloc2.c
415 ------------------------------------------------------------------ */
416
417/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000418
419 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000420 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000421 SYMTAB for Valgrind's symbol table storage.
422 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000423 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
424 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000425 DEMANGLE for the C++ demangler.
426 EXECTXT for storing ExeContexts.
427 ERRORS for storing CoreErrors.
428 TRANSIENT for very short-term use. It should be empty in between uses.
429
njn25e49d8e72002-09-23 09:36:25 +0000430 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000431*/
432typedef Int ArenaId;
433
njn3e884182003-04-15 13:03:23 +0000434#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000435
njn3e884182003-04-15 13:03:23 +0000436#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000437#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000438#define VG_AR_SYMTAB 2
439#define VG_AR_JITTER 3
440#define VG_AR_CLIENT 4
441#define VG_AR_DEMANGLE 5
442#define VG_AR_EXECTXT 6
443#define VG_AR_ERRORS 7
444#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000445
nethercote2d5b8162004-08-11 09:40:52 +0000446// This is both the minimum payload size of a malloc'd block, and its
447// minimum alignment. Must be a power of 2 greater than 4, and should be
448// greater than 8.
449#define VG_MIN_MALLOC_SZB 8
450
451// Round-up size for --sloppy-malloc=yes.
452#define VG_SLOPPY_MALLOC_SZB 4
453
nethercote7ac7f7b2004-11-02 12:36:02 +0000454extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000455extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000456extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
457 SizeT nmemb, SizeT nbytes );
458extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
459 SizeT size );
460extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
461 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000462
nethercote7ac7f7b2004-11-02 12:36:02 +0000463extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000464
nethercote885dd912004-08-03 23:14:00 +0000465extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000466
nethercote3a42fb82004-08-03 18:08:50 +0000467extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000468
sewardjde4a1d02002-03-22 01:27:54 +0000469extern Bool VG_(is_empty_arena) ( ArenaId aid );
470
sewardjde4a1d02002-03-22 01:27:54 +0000471/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000472 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000473 ------------------------------------------------------------------ */
474
475/* This doesn't export code or data that valgrind.so needs to link
476 against. However, the scheduler does need to know the following
477 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000478 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000479
njn4c791212003-05-02 17:53:54 +0000480#define VG_USERREQ__MALLOC 0x2001
481#define VG_USERREQ__FREE 0x2002
482
sewardj20917d82002-05-28 01:36:45 +0000483/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
484 MUST NOT return -- ever. Eventually it will do either __QUIT or
485 __WAIT_JOINER. */
486#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
487
488/* ( no-args ): calling thread disappears from the system forever.
489 Reclaim resources. */
490#define VG_USERREQ__QUIT 0x3002
491
492/* ( void* ): calling thread waits for joiner and returns the void* to
493 it. */
494#define VG_USERREQ__WAIT_JOINER 0x3003
495
496/* ( ThreadId, void** ): wait to join a thread. */
497#define VG_USERREQ__PTHREAD_JOIN 0x3004
498
499/* Set cancellation state and type for this thread. */
500#define VG_USERREQ__SET_CANCELSTATE 0x3005
501#define VG_USERREQ__SET_CANCELTYPE 0x3006
502
503/* ( no-args ): Test if we are at a cancellation point. */
504#define VG_USERREQ__TESTCANCEL 0x3007
505
506/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
507 with this arg to indicate that a cancel is now pending for the
508 specified thread. */
509#define VG_USERREQ__SET_CANCELPEND 0x3008
510
511/* Set/get detach state for this thread. */
512#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
513
thughese321d492004-10-17 15:00:20 +0000514#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
515#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
516#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000517#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
518#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
519#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
520#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
521#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
522#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
523#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
524#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000525#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
526#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000527#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
528#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000529#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000530#define VG_USERREQ__PTHREAD_KILL 0x301A
531#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000532#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000533
sewardj8ad94e12002-05-29 00:10:20 +0000534#define VG_USERREQ__CLEANUP_PUSH 0x3020
535#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000536#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000537
sewardjef037c72002-05-30 00:40:03 +0000538#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000539
540/* Ask how many signal handler returns have happened to this
541 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000542#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000543
sewardj2cb00342002-06-28 01:46:26 +0000544/* Get/set entries for a thread's pthread_atfork stack. */
545#define VG_USERREQ__SET_FHSTACK_USED 0x3025
546#define VG_USERREQ__GET_FHSTACK_USED 0x3026
547#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
548#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000549
nethercotef971ab72004-08-02 16:27:40 +0000550/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000551#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000552
553/* Allocate RT signals */
554#define VG_USERREQ__GET_SIGRT_MIN 0x302B
555#define VG_USERREQ__GET_SIGRT_MAX 0x302C
556#define VG_USERREQ__ALLOC_RTSIG 0x302D
557
558/* Hook for replace_malloc.o to get malloc functions */
559#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
560
thughesdaa34562004-06-27 12:48:53 +0000561/* Get stack information for a thread. */
562#define VG_USERREQ__GET_STACK_INFO 0x3033
563
sewardj45b4b372002-04-16 22:50:32 +0000564/* Cosmetic ... */
565#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000566/* Log a pthread error from client-space. Cosmetic. */
567#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000568/* Internal equivalent of VALGRIND_PRINTF . */
569#define VG_USERREQ__INTERNAL_PRINTF 0x3103
570/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
571#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000572
sewardj54cacf02002-04-12 23:24:59 +0000573/*
nethercote5a2664c2004-09-02 15:37:39 +0000574In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000575#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000576*/
577
rjwalshe4e779d2004-04-16 23:02:29 +0000578#define VG_INTERCEPT_PREFIX "_vgi__"
579#define VG_INTERCEPT_PREFIX_LEN 6
580#define VG_INTERCEPT(name) _vgi__##name
581#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
582
583#define VG_WRAPPER_PREFIX "_vgw__"
584#define VG_WRAPPER_PREFIX_LEN 6
585#define VG_WRAPPER(name) _vgw__##name
586#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
587
njn4c791212003-05-02 17:53:54 +0000588
fitzhardinge98abfc72003-12-16 02:05:15 +0000589struct vg_mallocfunc_info {
590 /* things vg_replace_malloc.o needs to know about */
njnd2252832004-11-26 10:53:33 +0000591 Addr tl_malloc;
592 Addr tl_calloc;
593 Addr tl_realloc;
594 Addr tl_memalign;
595 Addr tl___builtin_new;
596 Addr tl___builtin_vec_new;
597 Addr tl_free;
598 Addr tl___builtin_delete;
599 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000600
601 Addr arena_payload_szB;
602
603 Bool clo_sloppy_malloc;
604 Bool clo_trace_malloc;
605};
sewardj1fe7b002002-07-16 01:43:15 +0000606
sewardj2e93c502002-04-12 11:12:52 +0000607/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000608 Exports of vg_defaults.c
609 ------------------------------------------------------------------ */
610
njnd2252832004-11-26 10:53:33 +0000611extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000612
nethercotef9b59412004-09-10 15:33:32 +0000613/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000614 Exports of vg_libpthread.c
615 ------------------------------------------------------------------ */
616
617/* Replacements for pthread types, shared between vg_libpthread.c and
618 vg_scheduler.c. See comment in vg_libpthread.c above the other
619 vg_pthread_*_t types for a description of how these are used. */
620
621struct _vg_pthread_fastlock
622{
623 long int __vg_status; /* "Free" or "taken" or head of waiting list */
624 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
625 adaptive SMP lock stores spin count here. */
626};
627
628typedef struct
629{
630 int __vg_m_reserved; /* Reserved for future use */
631 int __vg_m_count; /* Depth of recursive locking */
632 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
633 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
634 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
635} vg_pthread_mutex_t;
636
637typedef struct
638{
639 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000640 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
641
642 // Nb: the following padding removed because it was missing from an
643 // earlier glibc, so the size test in the CONVERT macro was failing.
644 // --njn
645
nethercote1f0173b2004-02-28 15:40:36 +0000646 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000647 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000648 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000649 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000650} vg_pthread_cond_t;
651
652
653/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000654 Exports of vg_scheduler.c
655 ------------------------------------------------------------------ */
656
sewardj2e93c502002-04-12 11:12:52 +0000657typedef
jsgf855d93d2003-10-13 22:26:55 +0000658 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000659 VgTs_Empty, /* this slot is not in use */
660 VgTs_Runnable, /* waiting to be scheduled */
661 VgTs_WaitJoiner, /* waiting for someone to do join on me */
662 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000663 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000664 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000665 VgTs_WaitSys, /* waiting for a syscall to complete */
666 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000667 }
668 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000669
thughes11975ff2004-06-12 12:58:22 +0000670typedef
671 enum CleanupType {
672 VgCt_None, /* this cleanup entry is not initialised */
673 VgCt_Function, /* an old-style function pointer cleanup */
674 VgCt_Longjmp /* a new-style longjmp based cleanup */
675 }
676 CleanupType;
677
thughesdaa34562004-06-27 12:48:53 +0000678/* Information on a thread's stack. */
679typedef
680 struct {
681 Addr base;
682 UInt size;
683 UInt guardsize;
684 }
685 StackInfo;
686
sewardj8ad94e12002-05-29 00:10:20 +0000687/* An entry in a threads's cleanup stack. */
688typedef
689 struct {
thughes11975ff2004-06-12 12:58:22 +0000690 CleanupType type;
691 union {
692 struct {
693 void (*fn)(void*);
694 void* arg;
695 } function;
696 struct {
thughesebed9982004-06-12 17:25:25 +0000697 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000698 int ctype;
699 } longjmp;
700 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000701 }
702 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000703
704/* An entry in a thread's fork-handler stack. */
705typedef
706 struct {
707 void (*prepare)(void);
708 void (*parent)(void);
709 void (*child)(void);
710 }
711 ForkHandlerEntry;
712
jsgf855d93d2003-10-13 22:26:55 +0000713typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000714
nethercote8ff888f2004-11-17 17:11:45 +0000715//typedef
njn72718642003-07-24 08:45:32 +0000716 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000717 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
718 The thread identity is simply the index in vg_threads[].
719 ThreadId == 1 is the root thread and has the special property
720 that we don't try and allocate or deallocate its stack. For
721 convenience of generating error message, we also put the
722 ThreadId in this tid field, but be aware that it should
723 ALWAYS == the index in vg_threads[]. */
724 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000725
njn25e49d8e72002-09-23 09:36:25 +0000726 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000727
njn25e49d8e72002-09-23 09:36:25 +0000728 Complications: whenever this is set to VgTs_WaitMX, you
729 should also set .m_edx to whatever the required return value
730 is for pthread_mutex_lock / pthread_cond_timedwait for when
731 the mutex finally gets unblocked. */
732 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000733
njn25e49d8e72002-09-23 09:36:25 +0000734 /* When .status == WaitMX, points to the mutex I am waiting for.
735 When .status == WaitCV, points to the mutex associated with
736 the condition variable indicated by the .associated_cv field.
737 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000738 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 /* When .status == WaitCV, points to the condition variable I am
741 waiting for. In all other cases, should be NULL. */
742 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000743
njn25e49d8e72002-09-23 09:36:25 +0000744 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000745 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000746
njn25e49d8e72002-09-23 09:36:25 +0000747 If VgTs_WaitCV, this indicates the time at which
748 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
749 this means infinitely far in the future, viz,
750 pthread_cond_wait. */
751 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000752
njn25e49d8e72002-09-23 09:36:25 +0000753 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
754 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000755
njn25e49d8e72002-09-23 09:36:25 +0000756 /* If VgTs_WaitJoinee, place to copy the return value to, and
757 the identity of the thread we're waiting for. */
758 void** joiner_thread_return;
759 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000760
jsgf855d93d2003-10-13 22:26:55 +0000761 /* If VgTs_WaitSys, this is the syscall we're currently running */
762 Int syscallno;
763
thughesbaa46e52004-07-29 17:44:23 +0000764 /* If VgTs_WaitSys, this is the syscall flags */
765 UInt sys_flags;
766
jsgf855d93d2003-10-13 22:26:55 +0000767 /* Details about this thread's proxy LWP */
768 ProxyLWP *proxy;
769
njn25e49d8e72002-09-23 09:36:25 +0000770 /* Whether or not detached. */
771 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000772
njn25e49d8e72002-09-23 09:36:25 +0000773 /* Cancelability state and type. */
774 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
775 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
776
777 /* Pointer to fn to call to do cancellation. Indicates whether
778 or not cancellation is pending. If NULL, not pending. Else
779 should be &thread_exit_wrapper(), indicating that
780 cancallation is pending. */
781 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000782
njn25e49d8e72002-09-23 09:36:25 +0000783 /* The cleanup stack. */
784 Int custack_used;
785 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000786
sewardj00a66b12002-10-12 16:42:35 +0000787 /* A pointer to the thread's-specific-data. This is handled almost
788 entirely from vg_libpthread.c. We just provide hooks to get and
789 set this ptr. This is either NULL, indicating the thread has
790 read/written none of its specifics so far, OR points to a
791 void*[VG_N_THREAD_KEYS], allocated and deallocated in
792 vg_libpthread.c. */
793 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000794
njn25e49d8e72002-09-23 09:36:25 +0000795 /* This thread's blocked-signals mask. Semantics is that for a
796 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000797 blocked by this signal mask. If more than one thread accepts a
798 signal, then it will be delivered to one at random. If all
799 threads block the signal, it will remain pending until either a
800 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
801
802 sig_mask reflects what the client told us its signal mask should
803 be, but isn't necessarily the current signal mask of the proxy
804 LWP: it may have more signals blocked because of signal
805 handling, or it may be different because of sigsuspend.
806 */
nethercote73b526f2004-10-31 18:48:21 +0000807 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000808
fitzhardingef0dd7e12004-01-16 02:17:30 +0000809 /* Effective signal mask. This is the mask which currently
810 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000811 handler is running.
812 */
nethercote73b526f2004-10-31 18:48:21 +0000813 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000814
thughes8abf3922004-10-16 10:59:49 +0000815 /* Signal queue. This is used when the kernel doesn't route
816 signals properly in order to remember the signal information
817 while we are routing the signal. It is a circular queue with
818 insertions performed at the head and removals at the tail.
819 */
nethercote73b526f2004-10-31 18:48:21 +0000820 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000821 Int sigqueue_head;
822 Int sigqueue_tail;
823
njn25e49d8e72002-09-23 09:36:25 +0000824 /* Stacks. When a thread slot is freed, we don't deallocate its
825 stack; we just leave it lying around for the next use of the
826 slot. If the next use of the slot requires a larger stack,
827 only then is the old one deallocated and a new one
828 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000829
njn25e49d8e72002-09-23 09:36:25 +0000830 For the main thread (threadid == 0), this mechanism doesn't
831 apply. We don't know the size of the stack since we didn't
832 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000833
njn25e49d8e72002-09-23 09:36:25 +0000834 /* The allocated size of this thread's stack (permanently zero
835 if this is ThreadId == 0, since we didn't allocate its stack) */
836 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000837
njn25e49d8e72002-09-23 09:36:25 +0000838 /* Address of the lowest word in this thread's stack. NULL means
839 not allocated yet.
840 */
841 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000842
thughesdaa34562004-06-27 12:48:53 +0000843 /* The allocated size of this thread's stack's guard area (permanently
844 zero if this is ThreadId == 0, since we didn't allocate its stack) */
845 UInt stack_guard_size;
846
sewardj92a59562002-09-30 00:53:10 +0000847 /* Address of the highest legitimate word in this stack. This is
848 used for error messages only -- not critical for execution
849 correctness. Is is set for all stacks, specifically including
850 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000851 Addr stack_highest_word;
852
fitzhardinge98c4dc02004-03-16 08:27:29 +0000853 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000854 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000855
nethercotec06e2132004-09-03 13:45:29 +0000856 /* Architecture-specific thread state */
sewardj2a99cf62004-11-24 10:44:19 +0000857 ThreadArchState arch;
nethercote8ff888f2004-11-17 17:11:45 +0000858};
859//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000860
861
sewardj018f7622002-05-15 21:13:39 +0000862/* The thread table. */
863extern ThreadState VG_(threads)[VG_N_THREADS];
864
865/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000866extern Bool VG_(is_valid_tid) ( ThreadId tid );
867
jsgf855d93d2003-10-13 22:26:55 +0000868/* Get the ThreadState for a particular thread */
869extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
870
sewardjccef2e62002-05-29 19:26:32 +0000871/* Nuke all threads except tid. */
872extern void VG_(nuke_all_threads_except) ( ThreadId me );
873
jsgf855d93d2003-10-13 22:26:55 +0000874/* Give a hint to the scheduler that it may be a good time to find a
875 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
876 try to schedule that thread.
877*/
878extern void VG_(need_resched) ( ThreadId prefer_sched );
879
sewardj2e93c502002-04-12 11:12:52 +0000880/* Return codes from the scheduler. */
881typedef
sewardj7e87e382002-05-03 19:09:05 +0000882 enum {
883 VgSrc_Deadlock, /* no runnable threads and no prospect of any
884 even if we wait for a long time */
885 VgSrc_ExitSyscall, /* client called exit(). This is the normal
886 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000887 VgSrc_FatalSig /* Killed by the default action of a fatal
888 signal */
sewardj7e87e382002-05-03 19:09:05 +0000889 }
sewardj2e93c502002-04-12 11:12:52 +0000890 VgSchedReturnCode;
891
sewardj7e87e382002-05-03 19:09:05 +0000892
nethercote238a3c32004-08-09 13:13:31 +0000893// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
894extern VgSchedReturnCode VG_(scheduler)
895 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000896
897extern void VG_(scheduler_init) ( void );
898
sewardj15a43e12002-04-17 19:35:12 +0000899extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000900
nethercote75d26242004-08-01 22:59:18 +0000901// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000902extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000903
nethercote238a3c32004-08-09 13:13:31 +0000904// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
905extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
906
sewardj2e93c502002-04-12 11:12:52 +0000907/* The red-zone size which we put at the bottom (highest address) of
908 thread stacks, for paranoia reasons. This can be arbitrary, and
909 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000910#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000911
nethercoteaff1c772004-09-13 16:11:09 +0000912// Write a value to a client's thread register, and shadow (if necessary).
913// Note that there are some further similar macros in the arch- and
914// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000915#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
916 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
917 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000918 } while (0)
919
njnd3040452003-05-19 15:04:06 +0000920#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000921 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
922 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000923
924#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000925 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
926 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000927
928#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000929 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
930 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000931
932#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000933 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
934 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000935
sewardj2e93c502002-04-12 11:12:52 +0000936
937/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000938 Exports of vg_signals.c
939 ------------------------------------------------------------------ */
940
jsgf855d93d2003-10-13 22:26:55 +0000941extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
942
943/* RT signal allocation */
944extern Int VG_(sig_rtmin);
945extern Int VG_(sig_rtmax);
946extern Int VG_(sig_alloc_rtsig) ( Int high );
947
sewardjde4a1d02002-03-22 01:27:54 +0000948extern void VG_(sigstartup_actions) ( void );
949
nethercote73b526f2004-10-31 18:48:21 +0000950extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000951extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000952
jsgf855d93d2003-10-13 22:26:55 +0000953extern Bool VG_(is_sig_ign) ( Int sigNo );
954
955/* Route pending signals from the scheduler LWP to the appropriate
956 thread LWP. */
957extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000958
959/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000960extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
961extern void VG_(do_sys_sigaction) ( ThreadId tid );
962extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000963 vki_sigset_t* set,
964 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000965extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000966 vki_sigset_t* set,
967 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000968
sewardj2e93c502002-04-12 11:12:52 +0000969/* Modify the current thread's state once we have detected it is
970 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000971extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000972
sewardj2e93c502002-04-12 11:12:52 +0000973/* Handy utilities to block/restore all host signals. */
974extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000975 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000976extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000977 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000978
jsgf855d93d2003-10-13 22:26:55 +0000979extern void VG_(kill_self)(Int sigNo);
980
fitzhardingef1beb252004-03-16 09:49:08 +0000981/* These function synthesize a fault, as if the running instruction
982 had had a fault. These functions do not return - they longjmp back
983 into the scheduler so the signal can be delivered. */
984extern void VG_(synth_fault) (ThreadId tid);
985extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
986extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
987
nethercote759dda32004-08-07 18:16:56 +0000988extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000989
sewardjde4a1d02002-03-22 01:27:54 +0000990/* ---------------------------------------------------------------------
991 Exports of vg_mylibc.c
992 ------------------------------------------------------------------ */
993
njnca0518d2004-11-26 19:34:36 +0000994// Useful for making failing stubs, when certain things haven't yet been
995// implemented.
996#define I_die_here \
997 VG_(core_assert_fail) ("Unimplemented functionality", \
998 __FILE__, __LINE__, __PRETTY_FUNCTION__)
999
njne427a662002-10-02 11:08:25 +00001000#define vg_assert(expr) \
1001 ((void) ((expr) ? 0 : \
1002 (VG_(core_assert_fail) (VG__STRING(expr), \
1003 __FILE__, __LINE__, \
1004 __PRETTY_FUNCTION__), 0)))
1005__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001006extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1007 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001008__attribute__ ((__noreturn__))
1009extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001010__attribute__ ((__noreturn__))
1011extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001012
nethercote05675c82004-08-04 10:37:49 +00001013/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001014extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001015
njn25e49d8e72002-09-23 09:36:25 +00001016extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001017extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001018
fitzhardinge98abfc72003-12-16 02:05:15 +00001019/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001020extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001021 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001022extern Int VG_(munmap)( void* start, SizeT length );
1023extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001024
1025
jsgf855d93d2003-10-13 22:26:55 +00001026/* Move an fd into the Valgrind-safe range */
1027Int VG_(safe_fd)(Int oldfd);
1028
sewardj570f8902002-11-03 11:44:36 +00001029extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001030
1031/* --- Connecting over the network --- */
1032extern Int VG_(connect_via_socket)( UChar* str );
1033
fitzhardinge98abfc72003-12-16 02:05:15 +00001034/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001035extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1036 const Char *val );
1037extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1038extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001039
1040/* ---------------------------------------------------------------------
1041 Exports of vg_message.c
1042 ------------------------------------------------------------------ */
1043
1044/* Low-level -- send bytes directly to the message sink. Do not
1045 use. */
1046extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1047
nethercoted1da90e2004-08-03 17:26:39 +00001048// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001049// sim'd CPU. Defined here because needed for vg_libpthread.c,
1050// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1051// ensures the multiple definitions are not a problem. They must be functions
1052// rather than macros so that va_list can be used.
1053
1054__attribute__((weak))
1055int
1056VALGRIND_INTERNAL_PRINTF(char *format, ...)
1057{
nethercotebe671db2004-10-26 11:44:46 +00001058 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001059 va_list vargs;
1060 va_start(vargs, format);
1061 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001062 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001063 va_end(vargs);
1064 return _qzz_res;
1065}
1066
1067__attribute__((weak))
1068int
1069VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1070{
nethercotebe671db2004-10-26 11:44:46 +00001071 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001072 va_list vargs;
1073 va_start(vargs, format);
1074 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001075 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001076 va_end(vargs);
1077 return _qzz_res;
1078}
1079
nethercoted1da90e2004-08-03 17:26:39 +00001080
sewardjde4a1d02002-03-22 01:27:54 +00001081/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001082 Exports of vg_demangle.c
1083 ------------------------------------------------------------------ */
1084
1085extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1086
sewardjde4a1d02002-03-22 01:27:54 +00001087/* ---------------------------------------------------------------------
1088 Exports of vg_from_ucode.c
1089 ------------------------------------------------------------------ */
1090
njn25e49d8e72002-09-23 09:36:25 +00001091extern void VG_(print_ccall_stats) ( void );
1092extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001093
sewardj22854b92002-11-30 14:00:47 +00001094extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1095extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001096
sewardjde4a1d02002-03-22 01:27:54 +00001097/* ---------------------------------------------------------------------
1098 Exports of vg_to_ucode.c
1099 ------------------------------------------------------------------ */
1100
fitzhardingec2dbbac2004-01-23 23:09:01 +00001101Bool VG_(cpu_has_feature)(UInt feat);
1102
sewardjde4a1d02002-03-22 01:27:54 +00001103
1104/* ---------------------------------------------------------------------
1105 Exports of vg_translate.c
1106 ------------------------------------------------------------------ */
1107
nethercote4d714382004-10-13 09:47:24 +00001108extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001109
sewardjb5ff83e2002-12-01 19:40:49 +00001110
sewardjde4a1d02002-03-22 01:27:54 +00001111/* ---------------------------------------------------------------------
1112 Exports of vg_execontext.c.
1113 ------------------------------------------------------------------ */
1114
nethercote4ad74312004-10-26 09:59:49 +00001115/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001116 values are used in comparisons do remove duplicate errors, and for
1117 comparing against suppression specifications. The rest are purely
1118 informational (but often important). */
1119
njn25e49d8e72002-09-23 09:36:25 +00001120struct _ExeContext {
1121 struct _ExeContext * next;
1122 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001123 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001124 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001125 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001126};
sewardjde4a1d02002-03-22 01:27:54 +00001127
1128
sewardjde4a1d02002-03-22 01:27:54 +00001129/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001130extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001131
njn25e49d8e72002-09-23 09:36:25 +00001132/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001133extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1134 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001135
1136
1137/* ---------------------------------------------------------------------
1138 Exports of vg_errcontext.c.
1139 ------------------------------------------------------------------ */
1140
njn25e49d8e72002-09-23 09:36:25 +00001141extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001142
njn25e49d8e72002-09-23 09:36:25 +00001143extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001144
njn25e49d8e72002-09-23 09:36:25 +00001145extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001146
nethercotef2b11482004-08-02 12:36:01 +00001147extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001148
nethercotef2b11482004-08-02 12:36:01 +00001149extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001150
sewardjde4a1d02002-03-22 01:27:54 +00001151/* ---------------------------------------------------------------------
1152 Exports of vg_procselfmaps.c
1153 ------------------------------------------------------------------ */
1154
njnfa1016e2003-09-25 17:54:11 +00001155/* Reads /proc/self/maps into a static buffer which can be parsed by
1156 VG_(parse_procselfmaps)(). */
1157extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001158
1159/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1160 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1161 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001162extern
njnfa1016e2003-09-25 17:54:11 +00001163void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001164 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001165 UInt dev, UInt ino, ULong foff,
1166 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001167
1168
1169/* ---------------------------------------------------------------------
1170 Exports of vg_symtab2.c
1171 ------------------------------------------------------------------ */
1172
fitzhardinge98abfc72003-12-16 02:05:15 +00001173typedef struct _Segment Segment;
1174
1175extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001176extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001177extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001178extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001179extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001180
njn25e49d8e72002-09-23 09:36:25 +00001181extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001182
fitzhardinge98abfc72003-12-16 02:05:15 +00001183/* Set up some default redirects */
1184extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001185
fitzhardinge98abfc72003-12-16 02:05:15 +00001186/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001187extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001188
1189/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001190 Exports of vg_main.c
1191 ------------------------------------------------------------------ */
1192
sewardjb91ae7f2003-04-29 23:50:00 +00001193/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1194 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001195 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001196 correctly snapshot the startup machine state without it. */
1197extern Bool VG_(have_ssestate);
1198
sewardj73cf3bc2002-11-03 03:20:15 +00001199/* Tell the logging mechanism whether we are logging to a file
1200 descriptor or a socket descriptor. */
1201extern Bool VG_(logging_to_filedes);
1202
njn25e49d8e72002-09-23 09:36:25 +00001203/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001204extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001205
fitzhardinge98abfc72003-12-16 02:05:15 +00001206/* Address space */
1207extern Addr VG_(client_base); /* client address space limits */
1208extern Addr VG_(client_end);
1209extern Addr VG_(client_mapbase); /* base of mappings */
1210extern Addr VG_(clstk_base); /* client stack range */
1211extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001212extern Addr VG_(client_trampoline_code);
1213
fitzhardinge98abfc72003-12-16 02:05:15 +00001214extern Addr VG_(brk_base); /* start of brk */
1215extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001216extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001217extern Addr VG_(shadow_end);
1218extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001219extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001220
nethercote73b526f2004-10-31 18:48:21 +00001221extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1222extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001223
fitzhardingea49f9b52003-12-16 22:26:45 +00001224/* client executable file descriptor */
1225extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001226
nethercotef6a1d502004-08-09 12:21:57 +00001227// Help set up the child used when doing execve() with --trace-children=yes
1228Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1229Char* VG_(build_child_exename) ( void );
1230
sewardjde4a1d02002-03-22 01:27:54 +00001231/* Called when some unhandleable client behaviour is detected.
1232 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001233extern void VG_(unimplemented) ( Char* msg )
1234 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001235
nethercote04d0fbc2004-01-26 16:48:06 +00001236/* Something of a function looking for a home ... start up debugger. */
1237extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001238
sewardjde4a1d02002-03-22 01:27:54 +00001239/* Counts downwards in vg_run_innerloop. */
1240extern UInt VG_(dispatch_ctr);
1241
sewardjde4a1d02002-03-22 01:27:54 +00001242/* --- Counters, for informational purposes only. --- */
1243
nethercote92e7b7f2004-08-07 17:52:25 +00001244// These counters must be declared here because they're maintained by
1245// vg_dispatch.S.
1246extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1247extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1248extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001249
nethercote844e7122004-08-02 15:27:22 +00001250extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001251
nethercote2e05c332004-09-06 16:43:37 +00001252
sewardjde4a1d02002-03-22 01:27:54 +00001253/* ---------------------------------------------------------------------
1254 Exports of vg_memory.c
1255 ------------------------------------------------------------------ */
1256
fitzhardinge98abfc72003-12-16 02:05:15 +00001257/* A Segment is mapped piece of client memory. This covers all kinds
1258 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1259
1260 We try to encode everything we know about a particular segment here.
1261*/
nethercote85cdd342004-08-01 22:36:40 +00001262#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1263#define SF_SHARED (1 << 1) // shared
1264#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1265#define SF_MMAP (1 << 3) // mmap memory
1266#define SF_FILE (1 << 4) // mapping is backed by a file
1267#define SF_STACK (1 << 5) // is a stack
1268#define SF_GROWDOWN (1 << 6) // segment grows down
1269#define SF_GROWUP (1 << 7) // segment grows up
1270#define SF_EXEC (1 << 8) // segment created by exec
1271#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1272#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1273#define SF_BRK (1 << 11) // brk segment
1274#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1275#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1276#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001277
1278struct _Segment {
1279 UInt prot; /* VKI_PROT_* */
1280 UInt flags; /* SF_* */
1281
1282 Addr addr; /* mapped addr (page aligned) */
nethercote8991d5a2004-11-03 17:07:46 +00001283 SizeT len; /* size of mapping (page aligned) */
fitzhardinge98abfc72003-12-16 02:05:15 +00001284
1285 /* These are valid if (flags & SF_FILE) */
1286 ULong offset; /* file offset */
1287 const Char *filename; /* filename (NULL if unknown) */
1288 UInt dev; /* device */
1289 UInt ino; /* inode */
1290
1291 SegInfo *symtab; /* symbol table */
1292};
1293
1294/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001295extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001296 Int fd, ULong off, const Char *filename);
1297
1298/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001299extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001300 UInt dev, UInt ino, ULong off, const Char *filename);
1301
1302/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001303extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001304
nethercote8b5f40c2004-11-02 13:29:50 +00001305extern void VG_(unmap_range) (Addr addr, SizeT len);
1306extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1307extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001308
1309extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001310extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001311extern Segment *VG_(next_segment)(Segment *);
1312
nethercote8991d5a2004-11-03 17:07:46 +00001313extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1314extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001315
nethercote8991d5a2004-11-03 17:07:46 +00001316extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001317extern void VG_(unpad_address_space)(void);
1318
sewardj2a99cf62004-11-24 10:44:19 +00001319extern REGPARM(2)
1320 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001321
jsgf855d93d2003-10-13 22:26:55 +00001322/* ---------------------------------------------------------------------
1323 Exports of vg_proxylwp.c
1324 ------------------------------------------------------------------ */
1325
1326/* Issue a syscall for thread tid */
1327extern Int VG_(sys_issue)(int tid);
1328
1329extern void VG_(proxy_init) ( void );
1330extern void VG_(proxy_create) ( ThreadId tid );
1331extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1332extern void VG_(proxy_results) ( void );
sewardj0a785fd2004-11-24 21:24:24 +00001333extern void VG_(proxy_sendsig) ( ThreadId fromTid, ThreadId toTid, Int signo );
jsgf855d93d2003-10-13 22:26:55 +00001334extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001335extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001336extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1337extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001338extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001339
nethercote85cdd342004-08-01 22:36:40 +00001340extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1341extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1342 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001343
1344/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001345void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001346
1347/* Send a signal from a thread's proxy to the thread. This longjmps
1348 back into the proxy's main loop, so it doesn't return. */
1349__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001350extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001351 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001352
sewardjde4a1d02002-03-22 01:27:54 +00001353/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001354 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001355 ------------------------------------------------------------------ */
1356
fitzhardinge98abfc72003-12-16 02:05:15 +00001357extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001358
jsgf855d93d2003-10-13 22:26:55 +00001359extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001360extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001361
nethercote5b9fafd2004-11-04 18:39:22 +00001362extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001363
jsgf855d93d2003-10-13 22:26:55 +00001364/* Internal atfork handlers */
1365typedef void (*vg_atfork_t)(ThreadId);
1366extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001367
rjwalshf5f536f2003-11-17 17:45:00 +00001368/* fd leakage calls. */
1369extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001370extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001371
nethercote8ff888f2004-11-17 17:11:45 +00001372// Return true if address range entirely contained within client
1373// address space.
1374Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1375 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001376
1377// Return true if we're allowed to use or create this fd.
1378Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1379
1380void VG_(record_fd_open)(Int tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001381
1382// Flags describing syscall wrappers
1383#define Special (1 << 0)
1384#define MayBlock (1 << 1)
1385#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1386#define PostOnFail (1 << 3)
1387
1388// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1389// post-wrapper (which is actually not always needed), and the associated
1390// flags.
1391#define GEN_SYSCALL_WRAPPER(x) \
1392 extern UInt VGA_(gen_##x##_flags); \
1393 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1394 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
1395
1396// Generic (platform-independent) syscall wrappers. These are generally
1397// POSIX or something like that; those that are not POSIX are annotated
1398// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001399// For many of them, it's unclear if they are generic, or Linux-specific, or
1400// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001401//
1402// Nb: This list may change over time... ones thought at first to be generic
1403// may turn out not to be, and so be moved into OS-specific or
1404// platform-specific files. If there's any doubt, I'm leaving them in here.
1405//
1406// Nb 2: if porting to a new OS, you should really check all these generic
1407// wrappers to make sure they match your OS, painful as it might be.
1408
1409GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1410GEN_SYSCALL_WRAPPER(sys_exit);
1411GEN_SYSCALL_WRAPPER(sys_fork);
1412GEN_SYSCALL_WRAPPER(sys_read);
1413GEN_SYSCALL_WRAPPER(sys_write);
1414GEN_SYSCALL_WRAPPER(sys_open);
1415GEN_SYSCALL_WRAPPER(sys_close);
1416GEN_SYSCALL_WRAPPER(sys_waitpid);
1417GEN_SYSCALL_WRAPPER(sys_creat);
1418GEN_SYSCALL_WRAPPER(sys_link);
1419GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001420GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001421GEN_SYSCALL_WRAPPER(sys_chdir);
1422GEN_SYSCALL_WRAPPER(sys_time);
1423GEN_SYSCALL_WRAPPER(sys_mknod);
1424GEN_SYSCALL_WRAPPER(sys_chmod);
1425GEN_SYSCALL_WRAPPER(sys_lseek);
1426GEN_SYSCALL_WRAPPER(sys_getpid);
1427GEN_SYSCALL_WRAPPER(sys_alarm);
1428GEN_SYSCALL_WRAPPER(sys_pause);
1429GEN_SYSCALL_WRAPPER(sys_utime);
1430GEN_SYSCALL_WRAPPER(sys_access);
1431GEN_SYSCALL_WRAPPER(sys_kill);
1432GEN_SYSCALL_WRAPPER(sys_rename);
1433GEN_SYSCALL_WRAPPER(sys_mkdir);
1434GEN_SYSCALL_WRAPPER(sys_rmdir);
1435GEN_SYSCALL_WRAPPER(sys_dup);
1436GEN_SYSCALL_WRAPPER(sys_times);
1437GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1438GEN_SYSCALL_WRAPPER(sys_setpgid);
1439GEN_SYSCALL_WRAPPER(sys_umask);
1440GEN_SYSCALL_WRAPPER(sys_dup2);
1441GEN_SYSCALL_WRAPPER(sys_getppid);
1442GEN_SYSCALL_WRAPPER(sys_getpgrp);
1443GEN_SYSCALL_WRAPPER(sys_setsid);
1444GEN_SYSCALL_WRAPPER(sys_munmap);
1445GEN_SYSCALL_WRAPPER(sys_truncate);
1446GEN_SYSCALL_WRAPPER(sys_ftruncate);
1447GEN_SYSCALL_WRAPPER(sys_fchmod);
1448GEN_SYSCALL_WRAPPER(sys_msync);
1449GEN_SYSCALL_WRAPPER(sys_readv);
1450GEN_SYSCALL_WRAPPER(sys_writev);
1451GEN_SYSCALL_WRAPPER(sys_getsid);
1452GEN_SYSCALL_WRAPPER(sys_fdatasync);
1453GEN_SYSCALL_WRAPPER(sys_mlock);
1454GEN_SYSCALL_WRAPPER(sys_munlock);
1455GEN_SYSCALL_WRAPPER(sys_mlockall);
1456GEN_SYSCALL_WRAPPER(sys_munlockall);
1457GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1458GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1459GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1460GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1461GEN_SYSCALL_WRAPPER(sys_sched_yield);
1462GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1463GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1464GEN_SYSCALL_WRAPPER(sys_nanosleep);
1465GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1466GEN_SYSCALL_WRAPPER(sys_getuid);
1467GEN_SYSCALL_WRAPPER(sys_getgid);
1468GEN_SYSCALL_WRAPPER(sys_geteuid);
1469GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001470GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001471GEN_SYSCALL_WRAPPER(sys_fsync);
1472GEN_SYSCALL_WRAPPER(sys_wait4);
1473GEN_SYSCALL_WRAPPER(sys_mprotect);
1474GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1475GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1476GEN_SYSCALL_WRAPPER(sys_timer_settime);
1477GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1478GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1479GEN_SYSCALL_WRAPPER(sys_timer_delete);
1480GEN_SYSCALL_WRAPPER(sys_clock_settime);
1481GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1482GEN_SYSCALL_WRAPPER(sys_clock_getres);
1483GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001484GEN_SYSCALL_WRAPPER(sys_symlink);
1485GEN_SYSCALL_WRAPPER(sys_getgroups);
1486GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1487GEN_SYSCALL_WRAPPER(sys_chown);
1488GEN_SYSCALL_WRAPPER(sys_setuid);
1489GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1490GEN_SYSCALL_WRAPPER(sys_madvise);
1491GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001492
1493// These ones aren't POSIX, but are in some standard and look reasonably
1494// generic, and are the same for all architectures under Linux.
1495GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1496GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1497GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1498GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1499GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001500GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1501GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1502GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1503GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1504GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1505GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1506GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1507GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1508GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1509GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1510GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1511GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1512GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1513GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1514GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1515GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1516GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001517
1518// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1519// uid_t types. The similarly named (minus the "16" suffix) ones below use
1520// 32-bit versions of these types.
1521GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1522GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1523GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1524GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1525GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1526GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1527GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1528GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1529GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1530GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1531GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1532GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1533
nethercote8ff888f2004-11-17 17:11:45 +00001534// Linux's funny many-in-one socketcall is certainly not generic, but I
1535// didn't want to move it until necessary because it's big and has a lot of
1536// associated junk.
1537GEN_SYSCALL_WRAPPER(sys_socketcall);
1538
nethercote3d5e9102004-11-17 18:22:38 +00001539// Some archs on Linux do not match the generic wrapper for sys_pipe().
1540GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001541
nethercote3d5e9102004-11-17 18:22:38 +00001542// May not be generic for every architecture under Linux.
1543GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1544
1545// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001546GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1547GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1548GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1549
nethercote3d5e9102004-11-17 18:22:38 +00001550// For the remainder, not really sure yet
1551GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1552GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1553GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1554GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1555GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1556GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1557GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1558GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001559GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1560GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001561GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1562GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1563GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001564GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1565GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1566GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1567GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1568GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1569GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1570GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1571GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1572GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1573GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1574GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001575GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1576GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1577GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1578GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1579GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1580GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1581GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1582GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1583GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1584GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001585GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001586GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1587GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1588GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1589GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1590GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1591GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1592GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1593GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1594GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1595GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1596GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1597GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1598GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1599GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001600GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1601GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001602GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001603GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001604GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1605GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1606GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001607GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1608GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1609GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1610GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1611GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1612GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1613
1614#undef GEN_SYSCALL_WRAPPER
1615
1616// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001617/* PRRAn == "pre-register-read-argument"
1618 PRRSN == "pre-register-read-syscall"
1619*/
nethercote8ff888f2004-11-17 17:11:45 +00001620
1621#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001622 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001623 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001624#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001625 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001626 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001627#define PRE_REG_READ0(tr, s) \
1628 if (VG_(defined_pre_reg_read)()) { \
1629 PRRSN; \
1630 }
1631#define PRE_REG_READ1(tr, s, t1, a1) \
1632 if (VG_(defined_pre_reg_read)()) { \
1633 PRRSN; \
1634 PRRAn(1,s,t1,a1); \
1635 }
1636#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1637 if (VG_(defined_pre_reg_read)()) { \
1638 PRRSN; \
1639 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1640 }
1641#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1642 if (VG_(defined_pre_reg_read)()) { \
1643 PRRSN; \
1644 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1645 }
1646#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1647 if (VG_(defined_pre_reg_read)()) { \
1648 PRRSN; \
1649 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1650 PRRAn(4,s,t4,a4); \
1651 }
1652#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1653 if (VG_(defined_pre_reg_read)()) { \
1654 PRRSN; \
1655 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1656 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1657 }
1658#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1659 if (VG_(defined_pre_reg_read)()) { \
1660 PRRSN; \
1661 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1662 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1663 }
1664
1665#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1666 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1667
1668#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1669 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1670
1671#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1672 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1673
1674#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001675 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001676
sewardjde4a1d02002-03-22 01:27:54 +00001677/* ---------------------------------------------------------------------
1678 Exports of vg_transtab.c
1679 ------------------------------------------------------------------ */
1680
njn25e49d8e72002-09-23 09:36:25 +00001681/* The fast-cache for tt-lookup. */
1682extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1683
nethercote92e7b7f2004-08-07 17:52:25 +00001684extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001685extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj8b635a42004-11-22 19:01:47 +00001686 Addr trans_addr, Int trans_size );
nethercote92e7b7f2004-08-07 17:52:25 +00001687extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001688
nethercote92e7b7f2004-08-07 17:52:25 +00001689extern void VG_(invalidate_translations) ( Addr start, UInt range,
1690 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001691
nethercote92e7b7f2004-08-07 17:52:25 +00001692extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001693
nethercote92e7b7f2004-08-07 17:52:25 +00001694extern void VG_(print_tt_tc_stats) ( void );
1695
1696extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001697
sewardjde4a1d02002-03-22 01:27:54 +00001698/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001699 Exports of vg_syscall.S
1700 ------------------------------------------------------------------ */
1701
jsgf855d93d2003-10-13 22:26:55 +00001702extern Int VG_(do_syscall) ( UInt, ... );
1703extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1704 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001705extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001706
1707/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001708 Exports of vg_dispatch.S
1709 ------------------------------------------------------------------ */
1710
sewardj2e93c502002-04-12 11:12:52 +00001711/* Run a thread for a (very short) while, until some event happens
sewardj2a99cf62004-11-24 10:44:19 +00001712 which means we need to defer to the scheduler. This is passed
1713 a pointer to the VEX guest state (arch.vex). */
1714extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001715
sewardj22854b92002-11-30 14:00:47 +00001716/* The patching routing called when a BB wants to chain itself to
1717 another. */
1718extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001719
1720/* ---------------------------------------------------------------------
1721 Exports of vg_helpers.S
1722 ------------------------------------------------------------------ */
1723
fitzhardinge92360792003-12-24 10:11:11 +00001724/* Information about trampoline code (for signal return and syscalls) */
1725extern const Char VG_(trampoline_code_start);
1726extern const Int VG_(trampoline_code_length);
1727extern const Int VG_(tramp_sigreturn_offset);
1728extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001729
njn4f9c9342002-04-29 16:03:24 +00001730/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001731 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001732 ------------------------------------------------------------------ */
1733
fitzhardinge98abfc72003-12-16 02:05:15 +00001734#define VG_TRACK(fn, args...) \
1735 do { \
1736 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001737 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001738 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001739
fitzhardinge98abfc72003-12-16 02:05:15 +00001740__attribute__ ((noreturn))
1741extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001742
nethercotec06e2132004-09-03 13:45:29 +00001743// ---------------------------------------------------------------------
1744// Architecture-specific things defined in eg. x86/*.c
1745// ---------------------------------------------------------------------
1746
njncf45fd42004-11-24 16:30:22 +00001747// Accessors for the ThreadArchState
1748#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1749#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1750#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
1751
1752#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1753#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1754#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
1755
1756// Offsets for the shadow state
1757#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1758#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
1759
1760#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1761#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1762
1763
sewardj2a99cf62004-11-24 10:44:19 +00001764// Setting up the initial thread (1) state
1765extern void
1766 VGA_(init_thread1state) ( Addr client_eip,
1767 Addr esp_at_startup,
1768 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001769
nethercotec009ebe2004-09-13 11:05:11 +00001770// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001771extern void VGA_(clear_thread) ( ThreadArchState* );
1772extern void VGA_(cleanup_thread) ( ThreadArchState* );
1773extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001774
nethercote6b9c8472004-09-13 13:16:40 +00001775extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1776extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1777
nethercotec009ebe2004-09-13 11:05:11 +00001778// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001779extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001780
nethercotefedd8102004-09-13 15:19:34 +00001781// Pointercheck
1782extern Bool VGA_(setup_pointercheck) ( void );
1783
1784// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001785extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001786
nethercote6eec4602004-09-13 14:15:36 +00001787// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001788extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001789 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001790 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001791 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001792extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1793
nethercote9b3c7652004-10-19 13:18:00 +00001794// libpthread stuff
njne7da73c2004-11-26 12:44:19 +00001795typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001796
njne7da73c2004-11-26 12:44:19 +00001797void VGA_(thread_create) ( ThreadArchAux *aux );
1798void VGA_(thread_wrapper)( ThreadArchAux *aux );
nethercote9b3c7652004-10-19 13:18:00 +00001799void VGA_(thread_exit) ( void );
1800
1801Bool VGA_(has_tls) ( void );
1802
1803#define MY__STRING(__str) #__str
1804
1805// Assertion to use in code running on the simulated CPU.
1806#define my_assert(expr) \
1807 ((void) ((expr) ? 0 : \
1808 (VG_(user_assert_fail) (MY__STRING(expr), \
1809 __FILE__, __LINE__, \
1810 __PRETTY_FUNCTION__), 0)))
1811
1812extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1813 Int line, const Char* fn );
1814
1815
nethercote41c75da2004-10-18 15:34:14 +00001816// ---------------------------------------------------------------------
1817// Platform-specific things defined in eg. x86/*.c
1818// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001819
njncf45fd42004-11-24 16:30:22 +00001820// Accessors for the ThreadArchState
1821#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1822#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1823#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1824#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1825#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1826#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1827#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1828#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1829
1830// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001831#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001832#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1833#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1834#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1835#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1836#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1837#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1838#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1839
nethercote8ff888f2004-11-17 17:11:45 +00001840struct SyscallTableEntry {
1841 UInt *flags_ptr;
1842 void (*before)(ThreadId tid, ThreadState *tst);
1843 void (*after) (ThreadId tid, ThreadState *tst);
1844};
1845
1846/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1847 wrappers for the relevant syscalls used in the OS kernel for that number.
1848 Note that the constant names don't always match the wrapper names in a
1849 straightforward way. For example, on x86/Linux:
1850
1851 __NR_lchown --> sys_lchown16()
1852 __NR_lchown32 --> sys_lchown()
1853 __NR_select --> old_select()
1854 __NR__newselect --> sys_select()
1855*/
1856extern const struct SyscallTableEntry VGA_(syscall_table)[];
1857
1858extern const UInt VGA_(syscall_table_size);
1859
sewardj2a99cf62004-11-24 10:44:19 +00001860extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001861
njn7be36952004-11-24 18:14:41 +00001862/* We need our own copy of VG_(do_syscall)() to handle a special
1863 race-condition. If we've got signals unblocked, and we take a
1864 signal in the gap either just before or after the syscall, we may
1865 end up not running the syscall at all, or running it more than
1866 once.
1867
1868 The solution is to make the signal handler derive the proxy's
1869 precise state by looking to see which eip it is executing at
1870 exception time.
1871
1872 Ranges:
1873
1874 VGA_(sys_before) ... VGA_(sys_restarted):
1875 Setting up register arguments and running state. If
1876 interrupted, then the syscall should be considered to return
1877 ERESTARTSYS.
1878
1879 VGA_(sys_restarted):
1880 If interrupted and eip==VGA_(sys_restarted), then either the syscall
1881 was about to start running, or it has run, was interrupted and
1882 the kernel wants to restart it. eax still contains the
1883 syscall number. If interrupted, then the syscall return value
1884 should be ERESTARTSYS.
1885
1886 VGA_(sys_after):
1887 If interrupted and eip==VGA_(sys_after), the syscall either just
1888 finished, or it was interrupted and the kernel doesn't want to
1889 restart it. Either way, eax equals the correct return value
1890 (either the actual return value, or EINTR).
1891
1892 VGA_(sys_after) ... VGA_(sys_done):
1893 System call is complete, but the state hasn't been updated,
1894 nor has the result been written back. eax contains the return
1895 value.
1896
1897 Freakin' horrible...
1898*/
1899extern const Addr VGA_(sys_before), VGA_(sys_restarted),
1900 VGA_(sys_after), VGA_(sys_done);
1901
1902extern void VGA_(do_thread_syscall)(UWord sys,
1903 UWord arg1, UWord arg2, UWord arg3,
1904 UWord arg4, UWord arg5, UWord arg6,
1905 UWord *result, /*enum PXState*/Int *statep,
1906 /*enum PXState*/Int poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001907
1908/* ---------------------------------------------------------------------
1909 Finally - autoconf-generated settings
1910 ------------------------------------------------------------------ */
1911
1912#include "config.h"
1913
nethercotec06e2132004-09-03 13:45:29 +00001914#endif /* ndef __CORE_H */
1915
sewardjde4a1d02002-03-22 01:27:54 +00001916/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001917/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001918/*--------------------------------------------------------------------*/