blob: de9b5762203713ce209464e9436e991ff9bd57e4 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
nethercote5a2664c2004-09-02 15:37:39 +00004/*--- Include no other! (more or less...) ---*/
rjwalsh7109a8c2004-09-02 00:31:02 +00005/*--- core.h ---*/
sewardjde4a1d02002-03-22 01:27:54 +00006/*--------------------------------------------------------------------*/
7
8/*
njnb9c427c2004-12-01 14:14:42 +00009 This file is part of Valgrind, a dynamic binary instrumentation
10 framework.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
jsgf855d93d2003-10-13 22:26:55 +000082/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000083#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000084
nethercote13343132004-09-02 15:49:09 +000085#include "core_asm.h" // asm stuff
86#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000087#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000088
89// Ugly: this is needed by linux/core_os.h
90typedef struct _ThreadState ThreadState;
91
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
sewardj8e4d7dc2004-11-28 18:07:41 +0000292/* PROFILE: collect bb profiling data? default: NO */
293extern Bool VG_(clo_bbprofile);
294
sewardjc771b292004-11-30 18:55:21 +0000295/* DEBUG: print generated code? default: 00000000 ( == NO ) */
njn25e49d8e72002-09-23 09:36:25 +0000296extern Bool VG_(clo_trace_codegen);
sewardjc771b292004-11-30 18:55:21 +0000297/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
298extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000299/* DEBUG: print system calls? default: NO */
300extern Bool VG_(clo_trace_syscalls);
301/* DEBUG: print signal details? default: NO */
302extern Bool VG_(clo_trace_signals);
303/* DEBUG: print symtab details? default: NO */
304extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000305/* DEBUG: print thread scheduling events? default: NO */
306extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000307/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
308 (some), 2 (all) */
309extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000310/* Display gory details for the k'th most popular error. default:
311 Infinity. */
312extern Int VG_(clo_dump_error);
313/* Number of parents of a backtrace. Default: 8. */
314extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000315/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000316extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000317/* How often we should poll for signals, assuming we need to poll for
318 signals. */
319extern Int VG_(clo_signal_polltime);
320
321/* Low latency syscalls and signals */
322extern Bool VG_(clo_lowlat_syscalls);
323extern Bool VG_(clo_lowlat_signals);
324
rjwalshf5f536f2003-11-17 17:45:00 +0000325/* Track open file descriptors? */
326extern Bool VG_(clo_track_fds);
327
sewardj858964b2002-10-05 14:15:43 +0000328/* Should we run __libc_freeres at exit? Sometimes causes crashes.
329 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
330 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000331 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000332 cannot be overridden from the command line. */
333extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000334/* Generate branch-prediction hints? */
335extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000336/* Continue stack traces below main()? Default: NO */
337extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000338/* Test each client pointer dereference to check it's within the
339 client address space bounds */
340extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000341
rjwalshe4e779d2004-04-16 23:02:29 +0000342/* Set up the libc freeres wrapper */
343extern void VG_(intercept_libc_freeres_wrapper)(Addr);
344
sewardjde4a1d02002-03-22 01:27:54 +0000345/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000346 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000347 ------------------------------------------------------------------ */
348
sewardjde4a1d02002-03-22 01:27:54 +0000349extern void VGP_(init_profiling) ( void );
350extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000351
njn25e49d8e72002-09-23 09:36:25 +0000352#undef VGP_PUSHCC
353#undef VGP_POPCC
354#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
355#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000356
sewardjde4a1d02002-03-22 01:27:54 +0000357/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000358 Tool-related types
njn810086f2002-11-14 12:42:47 +0000359 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000360/* These structs are not exposed to tools to mitigate possibility of
361 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000362 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000363typedef
364 struct {
365 Char* name;
366 Char* version;
367 Char* description;
368 Char* copyright_author;
369 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000370 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000371 }
372 VgDetails;
373
374extern VgDetails VG_(details);
375
376/* If new fields are added to this type, update:
377 * - vg_main.c:initialisation of VG_(needs)
378 * - vg_main.c:sanity_check_needs()
379 *
380 * If the name of this type or any of its fields change, update:
381 * - dependent comments (just search for "VG_(needs)").
382 */
383typedef
384 struct {
385 Bool libc_freeres;
386 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000387 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000388 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000389 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000390 Bool command_line_options;
391 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000392 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000393 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000394 Bool sanity_checks;
395 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000396 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000397 }
398 VgNeeds;
399
400extern VgNeeds VG_(needs);
401
fitzhardinge98abfc72003-12-16 02:05:15 +0000402extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000403
fitzhardinge98abfc72003-12-16 02:05:15 +0000404#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000405
406/* ---------------------------------------------------------------------
407 Exports of vg_needs.c
408 ------------------------------------------------------------------ */
409
410void VG_(sanity_check_needs)(void);
411
412/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000413 Exports of vg_malloc2.c
414 ------------------------------------------------------------------ */
415
416/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000417
418 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000419 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000420 SYMTAB for Valgrind's symbol table storage.
421 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000422 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
423 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000424 DEMANGLE for the C++ demangler.
425 EXECTXT for storing ExeContexts.
426 ERRORS for storing CoreErrors.
427 TRANSIENT for very short-term use. It should be empty in between uses.
428
njn25e49d8e72002-09-23 09:36:25 +0000429 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000430*/
431typedef Int ArenaId;
432
njn3e884182003-04-15 13:03:23 +0000433#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000434
njn3e884182003-04-15 13:03:23 +0000435#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000436#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000437#define VG_AR_SYMTAB 2
438#define VG_AR_JITTER 3
439#define VG_AR_CLIENT 4
440#define VG_AR_DEMANGLE 5
441#define VG_AR_EXECTXT 6
442#define VG_AR_ERRORS 7
443#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000444
nethercote2d5b8162004-08-11 09:40:52 +0000445// This is both the minimum payload size of a malloc'd block, and its
446// minimum alignment. Must be a power of 2 greater than 4, and should be
447// greater than 8.
448#define VG_MIN_MALLOC_SZB 8
449
450// Round-up size for --sloppy-malloc=yes.
451#define VG_SLOPPY_MALLOC_SZB 4
452
nethercote7ac7f7b2004-11-02 12:36:02 +0000453extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000454extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000455extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
456 SizeT nmemb, SizeT nbytes );
457extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
458 SizeT size );
459extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
460 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000461
nethercote7ac7f7b2004-11-02 12:36:02 +0000462extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000463
nethercote885dd912004-08-03 23:14:00 +0000464extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000465
nethercote3a42fb82004-08-03 18:08:50 +0000466extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000467
sewardjde4a1d02002-03-22 01:27:54 +0000468extern Bool VG_(is_empty_arena) ( ArenaId aid );
469
sewardjde4a1d02002-03-22 01:27:54 +0000470/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000471 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000472 ------------------------------------------------------------------ */
473
474/* This doesn't export code or data that valgrind.so needs to link
475 against. However, the scheduler does need to know the following
476 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000477 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000478
njn4c791212003-05-02 17:53:54 +0000479#define VG_USERREQ__MALLOC 0x2001
480#define VG_USERREQ__FREE 0x2002
481
sewardj20917d82002-05-28 01:36:45 +0000482/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
483 MUST NOT return -- ever. Eventually it will do either __QUIT or
484 __WAIT_JOINER. */
485#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
486
487/* ( no-args ): calling thread disappears from the system forever.
488 Reclaim resources. */
489#define VG_USERREQ__QUIT 0x3002
490
491/* ( void* ): calling thread waits for joiner and returns the void* to
492 it. */
493#define VG_USERREQ__WAIT_JOINER 0x3003
494
495/* ( ThreadId, void** ): wait to join a thread. */
496#define VG_USERREQ__PTHREAD_JOIN 0x3004
497
498/* Set cancellation state and type for this thread. */
499#define VG_USERREQ__SET_CANCELSTATE 0x3005
500#define VG_USERREQ__SET_CANCELTYPE 0x3006
501
502/* ( no-args ): Test if we are at a cancellation point. */
503#define VG_USERREQ__TESTCANCEL 0x3007
504
505/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
506 with this arg to indicate that a cancel is now pending for the
507 specified thread. */
508#define VG_USERREQ__SET_CANCELPEND 0x3008
509
510/* Set/get detach state for this thread. */
511#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
512
thughese321d492004-10-17 15:00:20 +0000513#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
514#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
515#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000516#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
517#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
518#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
519#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
520#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
521#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
522#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
523#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000524#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
525#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000526#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
527#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000528#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000529#define VG_USERREQ__PTHREAD_KILL 0x301A
530#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000531#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000532
sewardj8ad94e12002-05-29 00:10:20 +0000533#define VG_USERREQ__CLEANUP_PUSH 0x3020
534#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000535#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000536
sewardjef037c72002-05-30 00:40:03 +0000537#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000538
539/* Ask how many signal handler returns have happened to this
540 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000541#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000542
sewardj2cb00342002-06-28 01:46:26 +0000543/* Get/set entries for a thread's pthread_atfork stack. */
544#define VG_USERREQ__SET_FHSTACK_USED 0x3025
545#define VG_USERREQ__GET_FHSTACK_USED 0x3026
546#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
547#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000548
nethercotef971ab72004-08-02 16:27:40 +0000549/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000550#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000551
552/* Allocate RT signals */
553#define VG_USERREQ__GET_SIGRT_MIN 0x302B
554#define VG_USERREQ__GET_SIGRT_MAX 0x302C
555#define VG_USERREQ__ALLOC_RTSIG 0x302D
556
557/* Hook for replace_malloc.o to get malloc functions */
558#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
559
thughesdaa34562004-06-27 12:48:53 +0000560/* Get stack information for a thread. */
561#define VG_USERREQ__GET_STACK_INFO 0x3033
562
sewardj45b4b372002-04-16 22:50:32 +0000563/* Cosmetic ... */
564#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000565/* Log a pthread error from client-space. Cosmetic. */
566#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000567/* Internal equivalent of VALGRIND_PRINTF . */
568#define VG_USERREQ__INTERNAL_PRINTF 0x3103
569/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
570#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000571
sewardj54cacf02002-04-12 23:24:59 +0000572/*
nethercote5a2664c2004-09-02 15:37:39 +0000573In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000574#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000575*/
576
rjwalshe4e779d2004-04-16 23:02:29 +0000577#define VG_INTERCEPT_PREFIX "_vgi__"
578#define VG_INTERCEPT_PREFIX_LEN 6
579#define VG_INTERCEPT(name) _vgi__##name
580#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
581
582#define VG_WRAPPER_PREFIX "_vgw__"
583#define VG_WRAPPER_PREFIX_LEN 6
584#define VG_WRAPPER(name) _vgw__##name
585#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
586
njn4c791212003-05-02 17:53:54 +0000587
fitzhardinge98abfc72003-12-16 02:05:15 +0000588struct vg_mallocfunc_info {
589 /* things vg_replace_malloc.o needs to know about */
njnd2252832004-11-26 10:53:33 +0000590 Addr tl_malloc;
591 Addr tl_calloc;
592 Addr tl_realloc;
593 Addr tl_memalign;
594 Addr tl___builtin_new;
595 Addr tl___builtin_vec_new;
596 Addr tl_free;
597 Addr tl___builtin_delete;
598 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000599
600 Addr arena_payload_szB;
601
602 Bool clo_sloppy_malloc;
603 Bool clo_trace_malloc;
604};
sewardj1fe7b002002-07-16 01:43:15 +0000605
sewardj2e93c502002-04-12 11:12:52 +0000606/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000607 Exports of vg_defaults.c
608 ------------------------------------------------------------------ */
609
njnd2252832004-11-26 10:53:33 +0000610extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000611
nethercotef9b59412004-09-10 15:33:32 +0000612/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000613 Exports of vg_libpthread.c
614 ------------------------------------------------------------------ */
615
616/* Replacements for pthread types, shared between vg_libpthread.c and
617 vg_scheduler.c. See comment in vg_libpthread.c above the other
618 vg_pthread_*_t types for a description of how these are used. */
619
620struct _vg_pthread_fastlock
621{
622 long int __vg_status; /* "Free" or "taken" or head of waiting list */
623 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
624 adaptive SMP lock stores spin count here. */
625};
626
627typedef struct
628{
629 int __vg_m_reserved; /* Reserved for future use */
630 int __vg_m_count; /* Depth of recursive locking */
631 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
632 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
633 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
634} vg_pthread_mutex_t;
635
636typedef struct
637{
638 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000639 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
640
641 // Nb: the following padding removed because it was missing from an
642 // earlier glibc, so the size test in the CONVERT macro was failing.
643 // --njn
644
nethercote1f0173b2004-02-28 15:40:36 +0000645 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000646 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000647 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000648 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000649} vg_pthread_cond_t;
650
651
652/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000653 Exports of vg_scheduler.c
654 ------------------------------------------------------------------ */
655
sewardj2e93c502002-04-12 11:12:52 +0000656typedef
jsgf855d93d2003-10-13 22:26:55 +0000657 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000658 VgTs_Empty, /* this slot is not in use */
659 VgTs_Runnable, /* waiting to be scheduled */
660 VgTs_WaitJoiner, /* waiting for someone to do join on me */
661 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000662 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000663 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000664 VgTs_WaitSys, /* waiting for a syscall to complete */
665 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000666 }
667 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000668
thughes11975ff2004-06-12 12:58:22 +0000669typedef
670 enum CleanupType {
671 VgCt_None, /* this cleanup entry is not initialised */
672 VgCt_Function, /* an old-style function pointer cleanup */
673 VgCt_Longjmp /* a new-style longjmp based cleanup */
674 }
675 CleanupType;
676
thughesdaa34562004-06-27 12:48:53 +0000677/* Information on a thread's stack. */
678typedef
679 struct {
680 Addr base;
681 UInt size;
682 UInt guardsize;
683 }
684 StackInfo;
685
sewardj8ad94e12002-05-29 00:10:20 +0000686/* An entry in a threads's cleanup stack. */
687typedef
688 struct {
thughes11975ff2004-06-12 12:58:22 +0000689 CleanupType type;
690 union {
691 struct {
692 void (*fn)(void*);
693 void* arg;
694 } function;
695 struct {
thughesebed9982004-06-12 17:25:25 +0000696 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000697 int ctype;
698 } longjmp;
699 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000700 }
701 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000702
703/* An entry in a thread's fork-handler stack. */
704typedef
705 struct {
706 void (*prepare)(void);
707 void (*parent)(void);
708 void (*child)(void);
709 }
710 ForkHandlerEntry;
711
jsgf855d93d2003-10-13 22:26:55 +0000712typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000713
nethercote8ff888f2004-11-17 17:11:45 +0000714//typedef
njn72718642003-07-24 08:45:32 +0000715 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000716 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
717 The thread identity is simply the index in vg_threads[].
718 ThreadId == 1 is the root thread and has the special property
719 that we don't try and allocate or deallocate its stack. For
720 convenience of generating error message, we also put the
721 ThreadId in this tid field, but be aware that it should
722 ALWAYS == the index in vg_threads[]. */
723 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000724
njn25e49d8e72002-09-23 09:36:25 +0000725 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000726
njn25e49d8e72002-09-23 09:36:25 +0000727 Complications: whenever this is set to VgTs_WaitMX, you
728 should also set .m_edx to whatever the required return value
729 is for pthread_mutex_lock / pthread_cond_timedwait for when
730 the mutex finally gets unblocked. */
731 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000732
njn25e49d8e72002-09-23 09:36:25 +0000733 /* When .status == WaitMX, points to the mutex I am waiting for.
734 When .status == WaitCV, points to the mutex associated with
735 the condition variable indicated by the .associated_cv field.
736 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000737 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000738
njn25e49d8e72002-09-23 09:36:25 +0000739 /* When .status == WaitCV, points to the condition variable I am
740 waiting for. In all other cases, should be NULL. */
741 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000742
njn25e49d8e72002-09-23 09:36:25 +0000743 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000744 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000745
njn25e49d8e72002-09-23 09:36:25 +0000746 If VgTs_WaitCV, this indicates the time at which
747 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
748 this means infinitely far in the future, viz,
749 pthread_cond_wait. */
750 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
753 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000754
njn25e49d8e72002-09-23 09:36:25 +0000755 /* If VgTs_WaitJoinee, place to copy the return value to, and
756 the identity of the thread we're waiting for. */
757 void** joiner_thread_return;
758 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000759
jsgf855d93d2003-10-13 22:26:55 +0000760 /* If VgTs_WaitSys, this is the syscall we're currently running */
761 Int syscallno;
762
thughesbaa46e52004-07-29 17:44:23 +0000763 /* If VgTs_WaitSys, this is the syscall flags */
764 UInt sys_flags;
765
jsgf855d93d2003-10-13 22:26:55 +0000766 /* Details about this thread's proxy LWP */
767 ProxyLWP *proxy;
768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* Whether or not detached. */
770 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000771
njn25e49d8e72002-09-23 09:36:25 +0000772 /* Cancelability state and type. */
773 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
774 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
775
776 /* Pointer to fn to call to do cancellation. Indicates whether
777 or not cancellation is pending. If NULL, not pending. Else
778 should be &thread_exit_wrapper(), indicating that
779 cancallation is pending. */
780 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* The cleanup stack. */
783 Int custack_used;
784 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000785
sewardj00a66b12002-10-12 16:42:35 +0000786 /* A pointer to the thread's-specific-data. This is handled almost
787 entirely from vg_libpthread.c. We just provide hooks to get and
788 set this ptr. This is either NULL, indicating the thread has
789 read/written none of its specifics so far, OR points to a
790 void*[VG_N_THREAD_KEYS], allocated and deallocated in
791 vg_libpthread.c. */
792 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000793
njn25e49d8e72002-09-23 09:36:25 +0000794 /* This thread's blocked-signals mask. Semantics is that for a
795 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000796 blocked by this signal mask. If more than one thread accepts a
797 signal, then it will be delivered to one at random. If all
798 threads block the signal, it will remain pending until either a
799 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
800
801 sig_mask reflects what the client told us its signal mask should
802 be, but isn't necessarily the current signal mask of the proxy
803 LWP: it may have more signals blocked because of signal
804 handling, or it may be different because of sigsuspend.
805 */
nethercote73b526f2004-10-31 18:48:21 +0000806 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000807
fitzhardingef0dd7e12004-01-16 02:17:30 +0000808 /* Effective signal mask. This is the mask which currently
809 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000810 handler is running.
811 */
nethercote73b526f2004-10-31 18:48:21 +0000812 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000813
thughes8abf3922004-10-16 10:59:49 +0000814 /* Signal queue. This is used when the kernel doesn't route
815 signals properly in order to remember the signal information
816 while we are routing the signal. It is a circular queue with
817 insertions performed at the head and removals at the tail.
818 */
nethercote73b526f2004-10-31 18:48:21 +0000819 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000820 Int sigqueue_head;
821 Int sigqueue_tail;
822
njn25e49d8e72002-09-23 09:36:25 +0000823 /* Stacks. When a thread slot is freed, we don't deallocate its
824 stack; we just leave it lying around for the next use of the
825 slot. If the next use of the slot requires a larger stack,
826 only then is the old one deallocated and a new one
827 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000828
njn25e49d8e72002-09-23 09:36:25 +0000829 For the main thread (threadid == 0), this mechanism doesn't
830 apply. We don't know the size of the stack since we didn't
831 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000832
njn25e49d8e72002-09-23 09:36:25 +0000833 /* The allocated size of this thread's stack (permanently zero
834 if this is ThreadId == 0, since we didn't allocate its stack) */
835 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000836
njn25e49d8e72002-09-23 09:36:25 +0000837 /* Address of the lowest word in this thread's stack. NULL means
838 not allocated yet.
839 */
840 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000841
thughesdaa34562004-06-27 12:48:53 +0000842 /* The allocated size of this thread's stack's guard area (permanently
843 zero if this is ThreadId == 0, since we didn't allocate its stack) */
844 UInt stack_guard_size;
845
sewardj92a59562002-09-30 00:53:10 +0000846 /* Address of the highest legitimate word in this stack. This is
847 used for error messages only -- not critical for execution
848 correctness. Is is set for all stacks, specifically including
849 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000850 Addr stack_highest_word;
851
fitzhardinge98c4dc02004-03-16 08:27:29 +0000852 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000853 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000854
nethercotec06e2132004-09-03 13:45:29 +0000855 /* Architecture-specific thread state */
sewardj2a99cf62004-11-24 10:44:19 +0000856 ThreadArchState arch;
nethercote8ff888f2004-11-17 17:11:45 +0000857};
858//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000859
860
sewardj018f7622002-05-15 21:13:39 +0000861/* The thread table. */
862extern ThreadState VG_(threads)[VG_N_THREADS];
863
864/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000865extern Bool VG_(is_valid_tid) ( ThreadId tid );
866
jsgf855d93d2003-10-13 22:26:55 +0000867/* Get the ThreadState for a particular thread */
868extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
869
sewardjccef2e62002-05-29 19:26:32 +0000870/* Nuke all threads except tid. */
871extern void VG_(nuke_all_threads_except) ( ThreadId me );
872
jsgf855d93d2003-10-13 22:26:55 +0000873/* Give a hint to the scheduler that it may be a good time to find a
874 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
875 try to schedule that thread.
876*/
877extern void VG_(need_resched) ( ThreadId prefer_sched );
878
sewardj2e93c502002-04-12 11:12:52 +0000879/* Return codes from the scheduler. */
880typedef
sewardj7e87e382002-05-03 19:09:05 +0000881 enum {
882 VgSrc_Deadlock, /* no runnable threads and no prospect of any
883 even if we wait for a long time */
884 VgSrc_ExitSyscall, /* client called exit(). This is the normal
885 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000886 VgSrc_FatalSig /* Killed by the default action of a fatal
887 signal */
sewardj7e87e382002-05-03 19:09:05 +0000888 }
sewardj2e93c502002-04-12 11:12:52 +0000889 VgSchedReturnCode;
890
sewardj7e87e382002-05-03 19:09:05 +0000891
nethercote238a3c32004-08-09 13:13:31 +0000892// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
893extern VgSchedReturnCode VG_(scheduler)
894 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000895
896extern void VG_(scheduler_init) ( void );
897
sewardj15a43e12002-04-17 19:35:12 +0000898extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000899
nethercote75d26242004-08-01 22:59:18 +0000900// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000901extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000902
nethercote238a3c32004-08-09 13:13:31 +0000903// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
904extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
905
sewardj2e93c502002-04-12 11:12:52 +0000906/* The red-zone size which we put at the bottom (highest address) of
907 thread stacks, for paranoia reasons. This can be arbitrary, and
908 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000909#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000910
nethercoteaff1c772004-09-13 16:11:09 +0000911// Write a value to a client's thread register, and shadow (if necessary).
912// Note that there are some further similar macros in the arch- and
913// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000914#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
915 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
916 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000917 } while (0)
918
njnd3040452003-05-19 15:04:06 +0000919#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000920 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
921 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000922
923#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000924 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
925 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000926
927#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000928 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
929 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000930
931#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000932 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
933 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000934
sewardj2e93c502002-04-12 11:12:52 +0000935
936/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000937 Exports of vg_signals.c
938 ------------------------------------------------------------------ */
939
jsgf855d93d2003-10-13 22:26:55 +0000940extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
941
942/* RT signal allocation */
943extern Int VG_(sig_rtmin);
944extern Int VG_(sig_rtmax);
945extern Int VG_(sig_alloc_rtsig) ( Int high );
946
sewardjde4a1d02002-03-22 01:27:54 +0000947extern void VG_(sigstartup_actions) ( void );
948
nethercote73b526f2004-10-31 18:48:21 +0000949extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000950extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000951
jsgf855d93d2003-10-13 22:26:55 +0000952extern Bool VG_(is_sig_ign) ( Int sigNo );
953
954/* Route pending signals from the scheduler LWP to the appropriate
955 thread LWP. */
956extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000957
958/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000959extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
960extern void VG_(do_sys_sigaction) ( ThreadId tid );
961extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000962 vki_sigset_t* set,
963 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000964extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000965 vki_sigset_t* set,
966 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000967
sewardj2e93c502002-04-12 11:12:52 +0000968/* Modify the current thread's state once we have detected it is
969 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000970extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000971
sewardj2e93c502002-04-12 11:12:52 +0000972/* Handy utilities to block/restore all host signals. */
973extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000974 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000975extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000976 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000977
jsgf855d93d2003-10-13 22:26:55 +0000978extern void VG_(kill_self)(Int sigNo);
979
fitzhardingef1beb252004-03-16 09:49:08 +0000980/* These function synthesize a fault, as if the running instruction
981 had had a fault. These functions do not return - they longjmp back
982 into the scheduler so the signal can be delivered. */
983extern void VG_(synth_fault) (ThreadId tid);
984extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
985extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
986
nethercote759dda32004-08-07 18:16:56 +0000987extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000988
sewardjde4a1d02002-03-22 01:27:54 +0000989/* ---------------------------------------------------------------------
990 Exports of vg_mylibc.c
991 ------------------------------------------------------------------ */
992
njnca0518d2004-11-26 19:34:36 +0000993// Useful for making failing stubs, when certain things haven't yet been
994// implemented.
995#define I_die_here \
996 VG_(core_assert_fail) ("Unimplemented functionality", \
997 __FILE__, __LINE__, __PRETTY_FUNCTION__)
998
njne427a662002-10-02 11:08:25 +0000999#define vg_assert(expr) \
1000 ((void) ((expr) ? 0 : \
1001 (VG_(core_assert_fail) (VG__STRING(expr), \
1002 __FILE__, __LINE__, \
1003 __PRETTY_FUNCTION__), 0)))
1004__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001005extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1006 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001007__attribute__ ((__noreturn__))
1008extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001009__attribute__ ((__noreturn__))
1010extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001011
nethercote05675c82004-08-04 10:37:49 +00001012/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001013extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001014
njn25e49d8e72002-09-23 09:36:25 +00001015extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001016extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001017
fitzhardinge98abfc72003-12-16 02:05:15 +00001018/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001019extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001020 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001021extern Int VG_(munmap)( void* start, SizeT length );
1022extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001023
1024
jsgf855d93d2003-10-13 22:26:55 +00001025/* Move an fd into the Valgrind-safe range */
1026Int VG_(safe_fd)(Int oldfd);
1027
sewardj570f8902002-11-03 11:44:36 +00001028extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001029
1030/* --- Connecting over the network --- */
1031extern Int VG_(connect_via_socket)( UChar* str );
1032
fitzhardinge98abfc72003-12-16 02:05:15 +00001033/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001034extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1035 const Char *val );
1036extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1037extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001038
1039/* ---------------------------------------------------------------------
1040 Exports of vg_message.c
1041 ------------------------------------------------------------------ */
1042
1043/* Low-level -- send bytes directly to the message sink. Do not
1044 use. */
1045extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1046
nethercoted1da90e2004-08-03 17:26:39 +00001047// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001048// sim'd CPU. Defined here because needed for vg_libpthread.c,
1049// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1050// ensures the multiple definitions are not a problem. They must be functions
1051// rather than macros so that va_list can be used.
1052
1053__attribute__((weak))
1054int
1055VALGRIND_INTERNAL_PRINTF(char *format, ...)
1056{
nethercotebe671db2004-10-26 11:44:46 +00001057 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001058 va_list vargs;
1059 va_start(vargs, format);
1060 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001061 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001062 va_end(vargs);
1063 return _qzz_res;
1064}
1065
1066__attribute__((weak))
1067int
1068VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1069{
nethercotebe671db2004-10-26 11:44:46 +00001070 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001071 va_list vargs;
1072 va_start(vargs, format);
1073 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001074 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001075 va_end(vargs);
1076 return _qzz_res;
1077}
1078
nethercoted1da90e2004-08-03 17:26:39 +00001079
sewardjde4a1d02002-03-22 01:27:54 +00001080/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001081 Exports of vg_demangle.c
1082 ------------------------------------------------------------------ */
1083
1084extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1085
sewardj4ccf7072004-11-28 16:58:05 +00001086
sewardjde4a1d02002-03-22 01:27:54 +00001087/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001088 Exports of vg_to_ucode.c
1089 ------------------------------------------------------------------ */
1090
fitzhardingec2dbbac2004-01-23 23:09:01 +00001091Bool VG_(cpu_has_feature)(UInt feat);
1092
sewardjde4a1d02002-03-22 01:27:54 +00001093
1094/* ---------------------------------------------------------------------
1095 Exports of vg_translate.c
1096 ------------------------------------------------------------------ */
1097
nethercote4d714382004-10-13 09:47:24 +00001098extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001099
sewardjb5ff83e2002-12-01 19:40:49 +00001100
sewardjde4a1d02002-03-22 01:27:54 +00001101/* ---------------------------------------------------------------------
1102 Exports of vg_execontext.c.
1103 ------------------------------------------------------------------ */
1104
nethercote4ad74312004-10-26 09:59:49 +00001105/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001106 values are used in comparisons do remove duplicate errors, and for
1107 comparing against suppression specifications. The rest are purely
1108 informational (but often important). */
1109
njn25e49d8e72002-09-23 09:36:25 +00001110struct _ExeContext {
1111 struct _ExeContext * next;
1112 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001113 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001114 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001115 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001116};
sewardjde4a1d02002-03-22 01:27:54 +00001117
1118
sewardjde4a1d02002-03-22 01:27:54 +00001119/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001120extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001121
njn25e49d8e72002-09-23 09:36:25 +00001122/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001123extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1124 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001125
1126
1127/* ---------------------------------------------------------------------
1128 Exports of vg_errcontext.c.
1129 ------------------------------------------------------------------ */
1130
njn25e49d8e72002-09-23 09:36:25 +00001131extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001132
njn25e49d8e72002-09-23 09:36:25 +00001133extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001134
njn25e49d8e72002-09-23 09:36:25 +00001135extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001136
nethercotef2b11482004-08-02 12:36:01 +00001137extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001138
nethercotef2b11482004-08-02 12:36:01 +00001139extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001140
sewardjde4a1d02002-03-22 01:27:54 +00001141/* ---------------------------------------------------------------------
1142 Exports of vg_procselfmaps.c
1143 ------------------------------------------------------------------ */
1144
njnfa1016e2003-09-25 17:54:11 +00001145/* Reads /proc/self/maps into a static buffer which can be parsed by
1146 VG_(parse_procselfmaps)(). */
1147extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001148
1149/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1150 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1151 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001152extern
njnfa1016e2003-09-25 17:54:11 +00001153void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001154 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001155 UInt dev, UInt ino, ULong foff,
1156 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001157
1158
1159/* ---------------------------------------------------------------------
1160 Exports of vg_symtab2.c
1161 ------------------------------------------------------------------ */
1162
fitzhardinge98abfc72003-12-16 02:05:15 +00001163typedef struct _Segment Segment;
1164
1165extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001166extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001167extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001168extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001169extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001170
njn25e49d8e72002-09-23 09:36:25 +00001171extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001172
fitzhardinge98abfc72003-12-16 02:05:15 +00001173/* Set up some default redirects */
1174extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001175
fitzhardinge98abfc72003-12-16 02:05:15 +00001176/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001177extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001178
1179/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001180 Exports of vg_main.c
1181 ------------------------------------------------------------------ */
1182
sewardj73cf3bc2002-11-03 03:20:15 +00001183/* Tell the logging mechanism whether we are logging to a file
1184 descriptor or a socket descriptor. */
1185extern Bool VG_(logging_to_filedes);
1186
njn25e49d8e72002-09-23 09:36:25 +00001187/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001188extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001189
fitzhardinge98abfc72003-12-16 02:05:15 +00001190/* Address space */
1191extern Addr VG_(client_base); /* client address space limits */
1192extern Addr VG_(client_end);
1193extern Addr VG_(client_mapbase); /* base of mappings */
1194extern Addr VG_(clstk_base); /* client stack range */
1195extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001196extern Addr VG_(client_trampoline_code);
1197
fitzhardinge98abfc72003-12-16 02:05:15 +00001198extern Addr VG_(brk_base); /* start of brk */
1199extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001200extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001201extern Addr VG_(shadow_end);
1202extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001203extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001204
nethercote73b526f2004-10-31 18:48:21 +00001205extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1206extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001207
fitzhardingea49f9b52003-12-16 22:26:45 +00001208/* client executable file descriptor */
1209extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001210
nethercotef6a1d502004-08-09 12:21:57 +00001211// Help set up the child used when doing execve() with --trace-children=yes
1212Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1213Char* VG_(build_child_exename) ( void );
1214
sewardjde4a1d02002-03-22 01:27:54 +00001215/* Called when some unhandleable client behaviour is detected.
1216 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001217extern void VG_(unimplemented) ( Char* msg )
1218 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001219
nethercote04d0fbc2004-01-26 16:48:06 +00001220/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001221extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001222
sewardjde4a1d02002-03-22 01:27:54 +00001223/* Counts downwards in vg_run_innerloop. */
1224extern UInt VG_(dispatch_ctr);
1225
sewardj4ccf7072004-11-28 16:58:05 +00001226/* Instruction pointer guest state offset, used by $VG_ARCH/dispatch.S. */
njn87c98122004-11-30 23:32:01 +00001227extern OffT VG_(instr_ptr_offset);
njn16de5572004-11-27 14:27:21 +00001228
sewardj4ccf7072004-11-28 16:58:05 +00001229/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001230extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001231
nethercote2e05c332004-09-06 16:43:37 +00001232
sewardjde4a1d02002-03-22 01:27:54 +00001233/* ---------------------------------------------------------------------
1234 Exports of vg_memory.c
1235 ------------------------------------------------------------------ */
1236
fitzhardinge98abfc72003-12-16 02:05:15 +00001237/* A Segment is mapped piece of client memory. This covers all kinds
1238 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1239
1240 We try to encode everything we know about a particular segment here.
1241*/
nethercote85cdd342004-08-01 22:36:40 +00001242#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1243#define SF_SHARED (1 << 1) // shared
1244#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1245#define SF_MMAP (1 << 3) // mmap memory
1246#define SF_FILE (1 << 4) // mapping is backed by a file
1247#define SF_STACK (1 << 5) // is a stack
1248#define SF_GROWDOWN (1 << 6) // segment grows down
1249#define SF_GROWUP (1 << 7) // segment grows up
1250#define SF_EXEC (1 << 8) // segment created by exec
1251#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1252#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1253#define SF_BRK (1 << 11) // brk segment
1254#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1255#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1256#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001257
1258struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001259 UInt prot; // VKI_PROT_*
1260 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001261
njnf9dc6192004-11-30 13:20:44 +00001262 Addr addr; // mapped addr (page aligned)
1263 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001264
njnf9dc6192004-11-30 13:20:44 +00001265 // These are valid if (flags & SF_FILE)
1266 OffT offset; // file offset
1267 const Char* filename; // filename (NULL if unknown)
1268 UInt dev; // device
1269 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001270
njnf9dc6192004-11-30 13:20:44 +00001271 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001272};
1273
1274/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001275extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001276 Int fd, ULong off, const Char *filename);
1277
1278/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001279extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001280 UInt dev, UInt ino, ULong off, const Char *filename);
1281
1282/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001283extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001284
nethercote8b5f40c2004-11-02 13:29:50 +00001285extern void VG_(unmap_range) (Addr addr, SizeT len);
1286extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1287extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001288
1289extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001290extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001291extern Segment *VG_(next_segment)(Segment *);
1292
nethercote8991d5a2004-11-03 17:07:46 +00001293extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1294extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001295
nethercote8991d5a2004-11-03 17:07:46 +00001296extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001297extern void VG_(unpad_address_space)(void);
1298
sewardj2a99cf62004-11-24 10:44:19 +00001299extern REGPARM(2)
1300 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001301
jsgf855d93d2003-10-13 22:26:55 +00001302/* ---------------------------------------------------------------------
1303 Exports of vg_proxylwp.c
1304 ------------------------------------------------------------------ */
1305
1306/* Issue a syscall for thread tid */
njnc6168192004-11-29 13:54:10 +00001307extern Int VG_(sys_issue)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +00001308
1309extern void VG_(proxy_init) ( void );
1310extern void VG_(proxy_create) ( ThreadId tid );
1311extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1312extern void VG_(proxy_results) ( void );
sewardj0a785fd2004-11-24 21:24:24 +00001313extern void VG_(proxy_sendsig) ( ThreadId fromTid, ThreadId toTid, Int signo );
jsgf855d93d2003-10-13 22:26:55 +00001314extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001315extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001316extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1317extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001318extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001319
nethercote85cdd342004-08-01 22:36:40 +00001320extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1321extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1322 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001323
1324/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001325void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001326
1327/* Send a signal from a thread's proxy to the thread. This longjmps
1328 back into the proxy's main loop, so it doesn't return. */
1329__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001330extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001331 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001332
sewardjde4a1d02002-03-22 01:27:54 +00001333/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001334 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001335 ------------------------------------------------------------------ */
1336
fitzhardinge98abfc72003-12-16 02:05:15 +00001337extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001338
jsgf855d93d2003-10-13 22:26:55 +00001339extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001340extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001341
nethercote5b9fafd2004-11-04 18:39:22 +00001342extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001343
jsgf855d93d2003-10-13 22:26:55 +00001344/* Internal atfork handlers */
1345typedef void (*vg_atfork_t)(ThreadId);
1346extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001347
rjwalshf5f536f2003-11-17 17:45:00 +00001348/* fd leakage calls. */
1349extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001350extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001351
nethercote8ff888f2004-11-17 17:11:45 +00001352// Return true if address range entirely contained within client
1353// address space.
1354Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1355 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001356
1357// Return true if we're allowed to use or create this fd.
1358Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1359
njnc6168192004-11-29 13:54:10 +00001360void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001361
1362// Flags describing syscall wrappers
1363#define Special (1 << 0)
1364#define MayBlock (1 << 1)
1365#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1366#define PostOnFail (1 << 3)
1367
njn61fa0af2004-11-27 15:22:24 +00001368// Templates for generating the PRE and POST macros. For ones that must be
1369// publically visible, use an empty 'qual', 'prefix' should start with
1370// "vgArch_", and there should be corresponding global declarations (like
1371// the GEN_SYSCALL_WRAPPER ones below). Otherwise, use "static" for 'qual',
1372// and "vgArch_" should not be in the 'prefix'.
1373#define PRE_TEMPLATE(qual, prefix, name, f) \
1374 qual UInt prefix##_##name##_flags = f; \
1375 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1376#define POST_TEMPLATE(qual, prefix, name) \
1377 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1378
1379// This macro is used to write other macros which making writing syscall
1380// tables easier.
1381#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1382 [const] = { &prefix##_##name##_flags, \
1383 prefix##_##name##_before, NULL }
1384#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1385 [const] = { &prefix##_##name##_flags, \
1386 prefix##_##name##_before, \
1387 prefix##_##name##_after }
1388
1389// Macros for adding generic wrappers to a syscall table.
1390#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1391#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001392
njn22cfccb2004-11-27 16:10:23 +00001393// Space-saving macros for syscall wrappers
1394#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1395#define RES SYSCALL_RET(tst->arch) // in POST(x)
1396#define ARG1 SYSCALL_ARG1(tst->arch)
1397#define ARG2 SYSCALL_ARG2(tst->arch)
1398#define ARG3 SYSCALL_ARG3(tst->arch)
1399#define ARG4 SYSCALL_ARG4(tst->arch)
1400#define ARG5 SYSCALL_ARG5(tst->arch)
1401#define ARG6 SYSCALL_ARG6(tst->arch)
1402
1403#define SET_RESULT(val) PLATFORM_SET_SYSCALL_RESULT(tst->arch, (val))
1404
1405#define PRINT(format, args...) \
1406 if (VG_(clo_trace_syscalls)) \
1407 VG_(printf)(format, ## args)
1408
nethercote8ff888f2004-11-17 17:11:45 +00001409// Generic (platform-independent) syscall wrappers. These are generally
1410// POSIX or something like that; those that are not POSIX are annotated
1411// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001412// For many of them, it's unclear if they are generic, or Linux-specific, or
1413// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001414//
1415// Nb: This list may change over time... ones thought at first to be generic
1416// may turn out not to be, and so be moved into OS-specific or
1417// platform-specific files. If there's any doubt, I'm leaving them in here.
1418//
1419// Nb 2: if porting to a new OS, you should really check all these generic
1420// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001421//
1422// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1423// post-wrapper (which is actually not always needed), and the associated
1424// flags.
1425#define GEN_SYSCALL_WRAPPER(x) \
1426 extern UInt VGA_(gen_##x##_flags); \
1427 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1428 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001429
1430GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1431GEN_SYSCALL_WRAPPER(sys_exit);
1432GEN_SYSCALL_WRAPPER(sys_fork);
1433GEN_SYSCALL_WRAPPER(sys_read);
1434GEN_SYSCALL_WRAPPER(sys_write);
1435GEN_SYSCALL_WRAPPER(sys_open);
1436GEN_SYSCALL_WRAPPER(sys_close);
1437GEN_SYSCALL_WRAPPER(sys_waitpid);
1438GEN_SYSCALL_WRAPPER(sys_creat);
1439GEN_SYSCALL_WRAPPER(sys_link);
1440GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001441GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001442GEN_SYSCALL_WRAPPER(sys_chdir);
1443GEN_SYSCALL_WRAPPER(sys_time);
1444GEN_SYSCALL_WRAPPER(sys_mknod);
1445GEN_SYSCALL_WRAPPER(sys_chmod);
1446GEN_SYSCALL_WRAPPER(sys_lseek);
1447GEN_SYSCALL_WRAPPER(sys_getpid);
1448GEN_SYSCALL_WRAPPER(sys_alarm);
1449GEN_SYSCALL_WRAPPER(sys_pause);
1450GEN_SYSCALL_WRAPPER(sys_utime);
1451GEN_SYSCALL_WRAPPER(sys_access);
1452GEN_SYSCALL_WRAPPER(sys_kill);
1453GEN_SYSCALL_WRAPPER(sys_rename);
1454GEN_SYSCALL_WRAPPER(sys_mkdir);
1455GEN_SYSCALL_WRAPPER(sys_rmdir);
1456GEN_SYSCALL_WRAPPER(sys_dup);
1457GEN_SYSCALL_WRAPPER(sys_times);
1458GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1459GEN_SYSCALL_WRAPPER(sys_setpgid);
1460GEN_SYSCALL_WRAPPER(sys_umask);
1461GEN_SYSCALL_WRAPPER(sys_dup2);
1462GEN_SYSCALL_WRAPPER(sys_getppid);
1463GEN_SYSCALL_WRAPPER(sys_getpgrp);
1464GEN_SYSCALL_WRAPPER(sys_setsid);
1465GEN_SYSCALL_WRAPPER(sys_munmap);
1466GEN_SYSCALL_WRAPPER(sys_truncate);
1467GEN_SYSCALL_WRAPPER(sys_ftruncate);
1468GEN_SYSCALL_WRAPPER(sys_fchmod);
1469GEN_SYSCALL_WRAPPER(sys_msync);
1470GEN_SYSCALL_WRAPPER(sys_readv);
1471GEN_SYSCALL_WRAPPER(sys_writev);
1472GEN_SYSCALL_WRAPPER(sys_getsid);
1473GEN_SYSCALL_WRAPPER(sys_fdatasync);
1474GEN_SYSCALL_WRAPPER(sys_mlock);
1475GEN_SYSCALL_WRAPPER(sys_munlock);
1476GEN_SYSCALL_WRAPPER(sys_mlockall);
1477GEN_SYSCALL_WRAPPER(sys_munlockall);
1478GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1479GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1480GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1481GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1482GEN_SYSCALL_WRAPPER(sys_sched_yield);
1483GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1484GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1485GEN_SYSCALL_WRAPPER(sys_nanosleep);
1486GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1487GEN_SYSCALL_WRAPPER(sys_getuid);
1488GEN_SYSCALL_WRAPPER(sys_getgid);
1489GEN_SYSCALL_WRAPPER(sys_geteuid);
1490GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001491GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001492GEN_SYSCALL_WRAPPER(sys_fsync);
1493GEN_SYSCALL_WRAPPER(sys_wait4);
1494GEN_SYSCALL_WRAPPER(sys_mprotect);
1495GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1496GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1497GEN_SYSCALL_WRAPPER(sys_timer_settime);
1498GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1499GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1500GEN_SYSCALL_WRAPPER(sys_timer_delete);
1501GEN_SYSCALL_WRAPPER(sys_clock_settime);
1502GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1503GEN_SYSCALL_WRAPPER(sys_clock_getres);
1504GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001505GEN_SYSCALL_WRAPPER(sys_symlink);
1506GEN_SYSCALL_WRAPPER(sys_getgroups);
1507GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1508GEN_SYSCALL_WRAPPER(sys_chown);
1509GEN_SYSCALL_WRAPPER(sys_setuid);
1510GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1511GEN_SYSCALL_WRAPPER(sys_madvise);
1512GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001513
1514// These ones aren't POSIX, but are in some standard and look reasonably
1515// generic, and are the same for all architectures under Linux.
1516GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1517GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1518GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1519GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1520GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001521GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1522GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1523GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1524GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1525GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1526GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1527GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1528GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1529GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1530GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1531GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1532GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1533GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1534GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1535GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1536GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1537GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001538
1539// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1540// uid_t types. The similarly named (minus the "16" suffix) ones below use
1541// 32-bit versions of these types.
1542GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1543GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1544GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1545GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1546GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1547GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1548GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1549GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1550GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1551GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1552GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1553GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1554
nethercote8ff888f2004-11-17 17:11:45 +00001555// Linux's funny many-in-one socketcall is certainly not generic, but I
1556// didn't want to move it until necessary because it's big and has a lot of
1557// associated junk.
1558GEN_SYSCALL_WRAPPER(sys_socketcall);
1559
nethercote3d5e9102004-11-17 18:22:38 +00001560// Some archs on Linux do not match the generic wrapper for sys_pipe().
1561GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001562
nethercote3d5e9102004-11-17 18:22:38 +00001563// May not be generic for every architecture under Linux.
1564GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1565
1566// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001567GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1568GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1569GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1570
nethercote3d5e9102004-11-17 18:22:38 +00001571// For the remainder, not really sure yet
1572GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1573GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1574GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1575GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1576GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1577GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1578GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1579GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001580GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1581GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001582GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1583GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1584GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001585GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1586GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1587GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1588GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1589GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1590GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1591GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1592GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1593GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1594GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1595GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001596GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1597GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1598GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1599GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1600GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1601GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1602GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1603GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1604GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1605GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001606GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001607GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1608GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1609GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1610GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1611GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1612GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1613GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1614GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1615GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1616GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1617GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1618GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1619GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1620GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001621GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1622GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001623GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001624GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001625GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1626GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1627GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001628GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1629GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1630GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1631GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1632GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1633GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1634
1635#undef GEN_SYSCALL_WRAPPER
1636
1637// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001638/* PRRAn == "pre-register-read-argument"
1639 PRRSN == "pre-register-read-syscall"
1640*/
nethercote8ff888f2004-11-17 17:11:45 +00001641
1642#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001643 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001644 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001645#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001646 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001647 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001648#define PRE_REG_READ0(tr, s) \
1649 if (VG_(defined_pre_reg_read)()) { \
1650 PRRSN; \
1651 }
1652#define PRE_REG_READ1(tr, s, t1, a1) \
1653 if (VG_(defined_pre_reg_read)()) { \
1654 PRRSN; \
1655 PRRAn(1,s,t1,a1); \
1656 }
1657#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1658 if (VG_(defined_pre_reg_read)()) { \
1659 PRRSN; \
1660 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1661 }
1662#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1663 if (VG_(defined_pre_reg_read)()) { \
1664 PRRSN; \
1665 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1666 }
1667#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1668 if (VG_(defined_pre_reg_read)()) { \
1669 PRRSN; \
1670 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1671 PRRAn(4,s,t4,a4); \
1672 }
1673#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1674 if (VG_(defined_pre_reg_read)()) { \
1675 PRRSN; \
1676 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1677 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1678 }
1679#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1680 if (VG_(defined_pre_reg_read)()) { \
1681 PRRSN; \
1682 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1683 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1684 }
1685
1686#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1687 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1688
1689#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1690 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1691
1692#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1693 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1694
1695#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001696 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001697
sewardjde4a1d02002-03-22 01:27:54 +00001698/* ---------------------------------------------------------------------
1699 Exports of vg_transtab.c
1700 ------------------------------------------------------------------ */
1701
njn25e49d8e72002-09-23 09:36:25 +00001702/* The fast-cache for tt-lookup. */
1703extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1704
nethercote92e7b7f2004-08-07 17:52:25 +00001705extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001706extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj8b635a42004-11-22 19:01:47 +00001707 Addr trans_addr, Int trans_size );
nethercote92e7b7f2004-08-07 17:52:25 +00001708extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001709
sewardj4ccf7072004-11-28 16:58:05 +00001710extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001711
sewardj4ccf7072004-11-28 16:58:05 +00001712extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001713
nethercote92e7b7f2004-08-07 17:52:25 +00001714extern void VG_(print_tt_tc_stats) ( void );
1715
1716extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001717
sewardjde4a1d02002-03-22 01:27:54 +00001718/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001719 Exports of vg_syscall.S
1720 ------------------------------------------------------------------ */
1721
njnca6fef02004-11-29 16:49:18 +00001722// We use a full prototype rather than "..." here to ensure that all
1723// arguments get converted to a UWord appropriately. Not doing so can
1724// cause problems when passing 32-bit integers on 64-bit platforms, because
1725// the top 32-bits might not be zeroed appropriately, eg. as would happen
1726// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001727extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001728
1729// Macros make life easier.
1730#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1731#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1732#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1733#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1734#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1735#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1736#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1737
jsgf855d93d2003-10-13 22:26:55 +00001738extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1739 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001740extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001741
1742/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001743 Exports of vg_dispatch.S
1744 ------------------------------------------------------------------ */
1745
njnd6f157d2004-11-30 17:27:21 +00001746/* This subroutine is called from the C world. It is passed
1747 a pointer to the VEX guest state (arch.vex). It must run code
1748 from the instruction pointer in the guest state, and exit when
1749 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1750 The return value must indicate why it returned back to the scheduler.
1751 It can also be exited if the executing code throws a non-resumable
1752 signal, for example SIGSEGV, in which case control longjmp()s back past
1753 here.
1754
1755 This code simply handles the common case fast -- when the translation
1756 address is found in the translation cache. For anything else, the
1757 scheduler does the work.
1758*/
sewardj2a99cf62004-11-24 10:44:19 +00001759extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001760
sewardjde4a1d02002-03-22 01:27:54 +00001761/* ---------------------------------------------------------------------
1762 Exports of vg_helpers.S
1763 ------------------------------------------------------------------ */
1764
fitzhardinge92360792003-12-24 10:11:11 +00001765/* Information about trampoline code (for signal return and syscalls) */
1766extern const Char VG_(trampoline_code_start);
1767extern const Int VG_(trampoline_code_length);
1768extern const Int VG_(tramp_sigreturn_offset);
1769extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001770
njn4f9c9342002-04-29 16:03:24 +00001771/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001772 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001773 ------------------------------------------------------------------ */
1774
fitzhardinge98abfc72003-12-16 02:05:15 +00001775#define VG_TRACK(fn, args...) \
1776 do { \
1777 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001778 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001779 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001780
fitzhardinge98abfc72003-12-16 02:05:15 +00001781__attribute__ ((noreturn))
1782extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001783
nethercotec06e2132004-09-03 13:45:29 +00001784// ---------------------------------------------------------------------
1785// Architecture-specific things defined in eg. x86/*.c
1786// ---------------------------------------------------------------------
1787
njncf45fd42004-11-24 16:30:22 +00001788// Accessors for the ThreadArchState
1789#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1790#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1791#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
1792
1793#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1794#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1795#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
1796
sewardj4bd11462004-11-29 19:46:28 +00001797
njn16de5572004-11-27 14:27:21 +00001798// Offsets for the Vex state
njncf45fd42004-11-24 16:30:22 +00001799#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1800#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
1801
1802#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1803#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1804
1805
sewardj2a99cf62004-11-24 10:44:19 +00001806// Setting up the initial thread (1) state
1807extern void
1808 VGA_(init_thread1state) ( Addr client_eip,
1809 Addr esp_at_startup,
1810 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001811
nethercotec009ebe2004-09-13 11:05:11 +00001812// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001813extern void VGA_(clear_thread) ( ThreadArchState* );
1814extern void VGA_(cleanup_thread) ( ThreadArchState* );
1815extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001816
nethercote6b9c8472004-09-13 13:16:40 +00001817extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1818extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1819
nethercotec009ebe2004-09-13 11:05:11 +00001820// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001821extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001822
nethercotefedd8102004-09-13 15:19:34 +00001823// Pointercheck
1824extern Bool VGA_(setup_pointercheck) ( void );
1825
1826// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001827extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001828
nethercote6eec4602004-09-13 14:15:36 +00001829// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001830extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001831 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001832 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001833 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001834extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1835
nethercote9b3c7652004-10-19 13:18:00 +00001836// libpthread stuff
njne7da73c2004-11-26 12:44:19 +00001837typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001838
njne7da73c2004-11-26 12:44:19 +00001839void VGA_(thread_create) ( ThreadArchAux *aux );
1840void VGA_(thread_wrapper)( ThreadArchAux *aux );
nethercote9b3c7652004-10-19 13:18:00 +00001841void VGA_(thread_exit) ( void );
1842
1843Bool VGA_(has_tls) ( void );
1844
1845#define MY__STRING(__str) #__str
1846
1847// Assertion to use in code running on the simulated CPU.
1848#define my_assert(expr) \
1849 ((void) ((expr) ? 0 : \
1850 (VG_(user_assert_fail) (MY__STRING(expr), \
1851 __FILE__, __LINE__, \
1852 __PRETTY_FUNCTION__), 0)))
1853
1854extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1855 Int line, const Char* fn );
1856
1857
nethercote41c75da2004-10-18 15:34:14 +00001858// ---------------------------------------------------------------------
1859// Platform-specific things defined in eg. x86/*.c
1860// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001861
njncf45fd42004-11-24 16:30:22 +00001862// Accessors for the ThreadArchState
1863#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1864#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1865#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1866#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1867#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1868#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1869#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1870#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1871
1872// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001873#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001874#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1875#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1876#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1877#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1878#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1879#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1880#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1881
nethercote8ff888f2004-11-17 17:11:45 +00001882struct SyscallTableEntry {
1883 UInt *flags_ptr;
1884 void (*before)(ThreadId tid, ThreadState *tst);
1885 void (*after) (ThreadId tid, ThreadState *tst);
1886};
1887
1888/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1889 wrappers for the relevant syscalls used in the OS kernel for that number.
1890 Note that the constant names don't always match the wrapper names in a
1891 straightforward way. For example, on x86/Linux:
1892
1893 __NR_lchown --> sys_lchown16()
1894 __NR_lchown32 --> sys_lchown()
1895 __NR_select --> old_select()
1896 __NR__newselect --> sys_select()
1897*/
1898extern const struct SyscallTableEntry VGA_(syscall_table)[];
1899
1900extern const UInt VGA_(syscall_table_size);
1901
sewardj2a99cf62004-11-24 10:44:19 +00001902extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001903
njn7be36952004-11-24 18:14:41 +00001904/* We need our own copy of VG_(do_syscall)() to handle a special
1905 race-condition. If we've got signals unblocked, and we take a
1906 signal in the gap either just before or after the syscall, we may
1907 end up not running the syscall at all, or running it more than
1908 once.
1909
1910 The solution is to make the signal handler derive the proxy's
1911 precise state by looking to see which eip it is executing at
1912 exception time.
1913
1914 Ranges:
1915
1916 VGA_(sys_before) ... VGA_(sys_restarted):
1917 Setting up register arguments and running state. If
1918 interrupted, then the syscall should be considered to return
1919 ERESTARTSYS.
1920
1921 VGA_(sys_restarted):
1922 If interrupted and eip==VGA_(sys_restarted), then either the syscall
1923 was about to start running, or it has run, was interrupted and
1924 the kernel wants to restart it. eax still contains the
1925 syscall number. If interrupted, then the syscall return value
1926 should be ERESTARTSYS.
1927
1928 VGA_(sys_after):
1929 If interrupted and eip==VGA_(sys_after), the syscall either just
1930 finished, or it was interrupted and the kernel doesn't want to
1931 restart it. Either way, eax equals the correct return value
1932 (either the actual return value, or EINTR).
1933
1934 VGA_(sys_after) ... VGA_(sys_done):
1935 System call is complete, but the state hasn't been updated,
1936 nor has the result been written back. eax contains the return
1937 value.
1938
1939 Freakin' horrible...
1940*/
1941extern const Addr VGA_(sys_before), VGA_(sys_restarted),
1942 VGA_(sys_after), VGA_(sys_done);
1943
1944extern void VGA_(do_thread_syscall)(UWord sys,
1945 UWord arg1, UWord arg2, UWord arg3,
1946 UWord arg4, UWord arg5, UWord arg6,
1947 UWord *result, /*enum PXState*/Int *statep,
1948 /*enum PXState*/Int poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001949
1950/* ---------------------------------------------------------------------
1951 Finally - autoconf-generated settings
1952 ------------------------------------------------------------------ */
1953
1954#include "config.h"
1955
nethercotec06e2132004-09-03 13:45:29 +00001956#endif /* ndef __CORE_H */
1957
sewardjde4a1d02002-03-22 01:27:54 +00001958/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001959/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001960/*--------------------------------------------------------------------*/