blob: 9ecb4fc90993a1b45bca2c2e67f649550139395c [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
nethercote5a2664c2004-09-02 15:37:39 +00004/*--- Include no other! (more or less...) ---*/
rjwalsh7109a8c2004-09-02 00:31:02 +00005/*--- core.h ---*/
sewardjde4a1d02002-03-22 01:27:54 +00006/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
sewardjde4a1d02002-03-22 01:27:54 +000082
jsgf855d93d2003-10-13 22:26:55 +000083/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000084#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000085
nethercote13343132004-09-02 15:49:09 +000086#include "core_asm.h" // asm stuff
87#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000088#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000089
90// Ugly: this is needed by linux/core_os.h
91typedef struct _ThreadState ThreadState;
92
93#include "core_os.h" // OS-specific stuff, eg. linux/core_os.h
nethercotebb4222b2004-09-10 17:42:11 +000094#include "core_platform.h" // platform-specific stuff,
95 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000096
fitzhardinge39de4b42003-10-31 07:12:21 +000097#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000098
njn26f02512004-11-22 18:33:15 +000099#undef TL_
100#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000101
nethercote7be47252004-09-02 16:02:58 +0000102
103/* ---------------------------------------------------------------------
104 Build options and table sizes. You should be able to change these
105 options or sizes, recompile, and still have a working system.
106 ------------------------------------------------------------------ */
107
sewardjde4a1d02002-03-22 01:27:54 +0000108/* Constants for the slow translation lookup cache. */
109#define VG_TRANSTAB_SLOW_BITS 11
110#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
111#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
112
113/* Size of a buffer used for creating messages. */
114#define M_VG_MSGBUF 10000
115
116/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000117#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000118
119/* Max length of pathname to a .so/executable file. */
120#define M_VG_LIBNAMESTR 100
121
122/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000123#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000124
125/* Max length of the string copied from env var VG_ARGS at startup. */
126#define M_VG_CMDLINE_STRLEN 1000
127
128/* Max number of options for Valgrind which we can handle. */
129#define M_VG_CMDLINE_OPTS 100
130
131/* After this many different unsuppressed errors have been observed,
132 be more conservative about collecting new ones. */
133#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
134
135/* After this many different unsuppressed errors have been observed,
136 stop collecting errors at all, and tell the user their program is
137 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000138#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000139
140/* After this many total errors have been observed, stop collecting
141 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000142#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000143
sewardjde4a1d02002-03-22 01:27:54 +0000144/* The maximum number of calls we're prepared to save in a
145 backtrace. */
146#define VG_DEEPEST_BACKTRACE 50
147
sewardjde4a1d02002-03-22 01:27:54 +0000148/* Number of lists in which we keep track of ExeContexts. Should be
149 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000150#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000151
sewardj2e93c502002-04-12 11:12:52 +0000152/* Defines the thread-scheduling timeslice, in terms of the number of
153 basic blocks we attempt to run each thread for. Smaller values
154 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000155#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000156
fitzhardingef0046f22003-12-18 02:39:22 +0000157/* Number of file descriptors that Valgrind tries to reserve for
158 it's own use - two per thread plues a small number of extras. */
159#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000160
sewardjbf290b92002-05-01 02:28:01 +0000161/* Stack size for a thread. We try and check that they do not go
162 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000163#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000164
sewardj8ad94e12002-05-29 00:10:20 +0000165/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000166#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000167
sewardj2cb00342002-06-28 01:46:26 +0000168/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000169#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000170
njn25e49d8e72002-09-23 09:36:25 +0000171/* Max number of callers for context in a suppression. */
172#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000173
thughes8abf3922004-10-16 10:59:49 +0000174/* Numer of entries in each thread's signal queue. */
175#define VG_N_SIGNALQUEUE 8
176
fitzhardinge98abfc72003-12-16 02:05:15 +0000177/* Useful macros */
178/* a - alignment - must be a power of 2 */
179#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
180#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000181#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
182#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000183
nethercote80013e92004-09-05 20:39:51 +0000184/* ---------------------------------------------------------------------
185 Environment variables
186 ------------------------------------------------------------------ */
187
188/* The directory we look for all our auxillary files in */
189#define VALGRINDLIB "VALGRINDLIB"
190
191/* Additional command-line arguments; they are overridden by actual
192 command-line option. Each argument is separated by spaces. There
193 is no quoting mechanism.
194 */
195#define VALGRINDOPTS "VALGRIND_OPTS"
196
197/* If this variable is present in the environment, then valgrind will
198 not parse the command line for options at all; all options come
199 from this variable. Arguments are terminated by ^A (\001). There
200 is no quoting mechanism.
201
202 This variable is not expected to be set by anything other than
203 Valgrind itself, as part of its handling of execve with
204 --trace-children=yes. This variable should not be present in the
205 client environment.
206 */
207#define VALGRINDCLO "_VALGRIND_CLO"
208
fitzhardinge98abfc72003-12-16 02:05:15 +0000209
sewardjde4a1d02002-03-22 01:27:54 +0000210/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000211 Command-line-settable options
212 ------------------------------------------------------------------ */
213
sewardj4f094a72002-11-05 23:37:35 +0000214/* Default destination port to be used in logging over a network, if
215 none specified. */
216#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000217
218/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000219#define VG_CLO_MAX_SFILES 10
220
nethercote04d0fbc2004-01-26 16:48:06 +0000221/* Default debugger command. */
222#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
223
sewardj4cf05692002-10-27 20:28:29 +0000224/* Describes where logging output is to be sent. */
225typedef
226 enum {
227 VgLogTo_Fd,
228 VgLogTo_File,
229 VgLogTo_Socket
230 } VgLogTo;
231
jsgf855d93d2003-10-13 22:26:55 +0000232/* pid of main process */
233extern Int VG_(main_pid);
234
235/* pgrp of process (global to all threads) */
236extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000237
thughesad1c9562004-06-26 11:27:52 +0000238/* Application-visible file descriptor limits */
239extern Int VG_(fd_soft_limit);
240extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000241
sewardj8b635a42004-11-22 19:01:47 +0000242/* Vex iropt control */
243extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000244/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000245extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000246/* Enquire about whether to attach to a debugger at errors? default: NO */
247extern Bool VG_(clo_db_attach);
248/* The debugger command? default: whatever gdb ./configure found */
249extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000250/* Enquire about generating a suppression for each error? default: NO */
251extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000252/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000253extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Automatically attempt to demangle C++ names? default: YES */
255extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000256/* Simulate child processes? default: NO */
257extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000258
259/* Where logging output is to be sent to.
260
nethercotef8548672004-06-21 12:42:35 +0000261 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
262 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000263
nethercotef8548672004-06-21 12:42:35 +0000264 When log_to == VgLogTo_File, clo_log_name holds the log-file
265 name, and is taken from the command line. clo_log_fd is then
266 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000267 (concatenated with the process ID) for writing.
268
nethercotef8548672004-06-21 12:42:35 +0000269 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000270 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000271 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000272 opening a connection to said hostname:portnumber pair.
273
nethercotef8548672004-06-21 12:42:35 +0000274 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000275 (stderr). */
276extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000277extern Int VG_(clo_log_fd);
278extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000279
thughes6233a382004-08-21 11:10:44 +0000280/* Add timestamps to log messages? default: NO */
281extern Bool VG_(clo_time_stamp);
282
sewardj6024b212003-07-13 10:54:33 +0000283/* The file descriptor to read for input. default: 0 == stdin */
284extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000285/* The number of suppression files specified. */
286extern Int VG_(clo_n_suppressions);
287/* The names of the suppression files. */
288extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
289
290/* Single stepping? default: NO */
291extern Bool VG_(clo_single_step);
292/* Code improvement? default: YES */
293extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000294/* DEBUG: print generated code? default: 00000 ( == NO ) */
295extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000296/* DEBUG: print system calls? default: NO */
297extern Bool VG_(clo_trace_syscalls);
298/* DEBUG: print signal details? default: NO */
299extern Bool VG_(clo_trace_signals);
300/* DEBUG: print symtab details? default: NO */
301extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000302/* DEBUG: print thread scheduling events? default: NO */
303extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000304/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
305 (some), 2 (all) */
306extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000307/* Display gory details for the k'th most popular error. default:
308 Infinity. */
309extern Int VG_(clo_dump_error);
310/* Number of parents of a backtrace. Default: 8. */
311extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000312/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000313extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000314/* How often we should poll for signals, assuming we need to poll for
315 signals. */
316extern Int VG_(clo_signal_polltime);
317
318/* Low latency syscalls and signals */
319extern Bool VG_(clo_lowlat_syscalls);
320extern Bool VG_(clo_lowlat_signals);
321
rjwalshf5f536f2003-11-17 17:45:00 +0000322/* Track open file descriptors? */
323extern Bool VG_(clo_track_fds);
324
sewardj858964b2002-10-05 14:15:43 +0000325/* Should we run __libc_freeres at exit? Sometimes causes crashes.
326 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
327 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000328 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000329 cannot be overridden from the command line. */
330extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000331/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000332extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000333/* Generate branch-prediction hints? */
334extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000335/* Continue stack traces below main()? Default: NO */
336extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000337/* Test each client pointer dereference to check it's within the
338 client address space bounds */
339extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000340
rjwalshe4e779d2004-04-16 23:02:29 +0000341/* Set up the libc freeres wrapper */
342extern void VG_(intercept_libc_freeres_wrapper)(Addr);
343
sewardjde4a1d02002-03-22 01:27:54 +0000344/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000345 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000346 ------------------------------------------------------------------ */
347
sewardjde4a1d02002-03-22 01:27:54 +0000348extern void VGP_(init_profiling) ( void );
349extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000350
njn25e49d8e72002-09-23 09:36:25 +0000351#undef VGP_PUSHCC
352#undef VGP_POPCC
353#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
354#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000355
sewardjde4a1d02002-03-22 01:27:54 +0000356/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000357 Tool-related types
njn810086f2002-11-14 12:42:47 +0000358 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000359/* These structs are not exposed to tools to mitigate possibility of
360 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000361 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000362typedef
363 struct {
364 Char* name;
365 Char* version;
366 Char* description;
367 Char* copyright_author;
368 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000369 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000370 }
371 VgDetails;
372
373extern VgDetails VG_(details);
374
375/* If new fields are added to this type, update:
376 * - vg_main.c:initialisation of VG_(needs)
377 * - vg_main.c:sanity_check_needs()
378 *
379 * If the name of this type or any of its fields change, update:
380 * - dependent comments (just search for "VG_(needs)").
381 */
382typedef
383 struct {
384 Bool libc_freeres;
385 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000386 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000387 Bool basic_block_discards;
388 Bool shadow_regs;
389 Bool command_line_options;
390 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000391 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000392 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000393 Bool sanity_checks;
394 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000395 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000396 }
397 VgNeeds;
398
399extern VgNeeds VG_(needs);
400
fitzhardinge98abfc72003-12-16 02:05:15 +0000401extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000402
fitzhardinge98abfc72003-12-16 02:05:15 +0000403#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000404
405/* ---------------------------------------------------------------------
406 Exports of vg_needs.c
407 ------------------------------------------------------------------ */
408
409void VG_(sanity_check_needs)(void);
410
411/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000412 Exports of vg_malloc2.c
413 ------------------------------------------------------------------ */
414
415/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000416
417 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000418 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000419 SYMTAB for Valgrind's symbol table storage.
420 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000421 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
422 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000423 DEMANGLE for the C++ demangler.
424 EXECTXT for storing ExeContexts.
425 ERRORS for storing CoreErrors.
426 TRANSIENT for very short-term use. It should be empty in between uses.
427
njn25e49d8e72002-09-23 09:36:25 +0000428 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000429*/
430typedef Int ArenaId;
431
njn3e884182003-04-15 13:03:23 +0000432#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000433
njn3e884182003-04-15 13:03:23 +0000434#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000435#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000436#define VG_AR_SYMTAB 2
437#define VG_AR_JITTER 3
438#define VG_AR_CLIENT 4
439#define VG_AR_DEMANGLE 5
440#define VG_AR_EXECTXT 6
441#define VG_AR_ERRORS 7
442#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000443
nethercote2d5b8162004-08-11 09:40:52 +0000444// This is both the minimum payload size of a malloc'd block, and its
445// minimum alignment. Must be a power of 2 greater than 4, and should be
446// greater than 8.
447#define VG_MIN_MALLOC_SZB 8
448
449// Round-up size for --sloppy-malloc=yes.
450#define VG_SLOPPY_MALLOC_SZB 4
451
nethercote7ac7f7b2004-11-02 12:36:02 +0000452extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000453extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000454extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
455 SizeT nmemb, SizeT nbytes );
456extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
457 SizeT size );
458extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
459 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000460
nethercote7ac7f7b2004-11-02 12:36:02 +0000461extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000462
nethercote885dd912004-08-03 23:14:00 +0000463extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000464
nethercote3a42fb82004-08-03 18:08:50 +0000465extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000466
sewardjde4a1d02002-03-22 01:27:54 +0000467extern Bool VG_(is_empty_arena) ( ArenaId aid );
468
sewardjde4a1d02002-03-22 01:27:54 +0000469/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000470 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000471 ------------------------------------------------------------------ */
472
473/* This doesn't export code or data that valgrind.so needs to link
474 against. However, the scheduler does need to know the following
475 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000476 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000477
njn4c791212003-05-02 17:53:54 +0000478#define VG_USERREQ__MALLOC 0x2001
479#define VG_USERREQ__FREE 0x2002
480
sewardj20917d82002-05-28 01:36:45 +0000481/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
482 MUST NOT return -- ever. Eventually it will do either __QUIT or
483 __WAIT_JOINER. */
484#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
485
486/* ( no-args ): calling thread disappears from the system forever.
487 Reclaim resources. */
488#define VG_USERREQ__QUIT 0x3002
489
490/* ( void* ): calling thread waits for joiner and returns the void* to
491 it. */
492#define VG_USERREQ__WAIT_JOINER 0x3003
493
494/* ( ThreadId, void** ): wait to join a thread. */
495#define VG_USERREQ__PTHREAD_JOIN 0x3004
496
497/* Set cancellation state and type for this thread. */
498#define VG_USERREQ__SET_CANCELSTATE 0x3005
499#define VG_USERREQ__SET_CANCELTYPE 0x3006
500
501/* ( no-args ): Test if we are at a cancellation point. */
502#define VG_USERREQ__TESTCANCEL 0x3007
503
504/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
505 with this arg to indicate that a cancel is now pending for the
506 specified thread. */
507#define VG_USERREQ__SET_CANCELPEND 0x3008
508
509/* Set/get detach state for this thread. */
510#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
511
thughese321d492004-10-17 15:00:20 +0000512#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
513#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
514#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000515#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
516#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
517#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
518#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
519#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
520#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
521#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
522#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000523#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
524#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000525#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
526#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000527#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000528#define VG_USERREQ__PTHREAD_KILL 0x301A
529#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000530#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000531
sewardj8ad94e12002-05-29 00:10:20 +0000532#define VG_USERREQ__CLEANUP_PUSH 0x3020
533#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000534#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000535
sewardjef037c72002-05-30 00:40:03 +0000536#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000537
538/* Ask how many signal handler returns have happened to this
539 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000540#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000541
sewardj2cb00342002-06-28 01:46:26 +0000542/* Get/set entries for a thread's pthread_atfork stack. */
543#define VG_USERREQ__SET_FHSTACK_USED 0x3025
544#define VG_USERREQ__GET_FHSTACK_USED 0x3026
545#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
546#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000547
nethercotef971ab72004-08-02 16:27:40 +0000548/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000549#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000550
551/* Allocate RT signals */
552#define VG_USERREQ__GET_SIGRT_MIN 0x302B
553#define VG_USERREQ__GET_SIGRT_MAX 0x302C
554#define VG_USERREQ__ALLOC_RTSIG 0x302D
555
556/* Hook for replace_malloc.o to get malloc functions */
557#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
558
thughesdaa34562004-06-27 12:48:53 +0000559/* Get stack information for a thread. */
560#define VG_USERREQ__GET_STACK_INFO 0x3033
561
sewardj45b4b372002-04-16 22:50:32 +0000562/* Cosmetic ... */
563#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000564/* Log a pthread error from client-space. Cosmetic. */
565#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000566/* Internal equivalent of VALGRIND_PRINTF . */
567#define VG_USERREQ__INTERNAL_PRINTF 0x3103
568/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
569#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000570
sewardj54cacf02002-04-12 23:24:59 +0000571/*
nethercote5a2664c2004-09-02 15:37:39 +0000572In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000573#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000574*/
575
rjwalshe4e779d2004-04-16 23:02:29 +0000576#define VG_INTERCEPT_PREFIX "_vgi__"
577#define VG_INTERCEPT_PREFIX_LEN 6
578#define VG_INTERCEPT(name) _vgi__##name
579#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
580
581#define VG_WRAPPER_PREFIX "_vgw__"
582#define VG_WRAPPER_PREFIX_LEN 6
583#define VG_WRAPPER(name) _vgw__##name
584#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
585
njn4c791212003-05-02 17:53:54 +0000586
fitzhardinge98abfc72003-12-16 02:05:15 +0000587struct vg_mallocfunc_info {
588 /* things vg_replace_malloc.o needs to know about */
589 Addr sk_malloc;
590 Addr sk_calloc;
591 Addr sk_realloc;
592 Addr sk_memalign;
593 Addr sk___builtin_new;
594 Addr sk___builtin_vec_new;
595 Addr sk_free;
596 Addr sk___builtin_delete;
597 Addr sk___builtin_vec_delete;
598
599 Addr arena_payload_szB;
600
601 Bool clo_sloppy_malloc;
602 Bool clo_trace_malloc;
603};
sewardj1fe7b002002-07-16 01:43:15 +0000604
sewardj2e93c502002-04-12 11:12:52 +0000605/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000606 Exports of vg_defaults.c
607 ------------------------------------------------------------------ */
608
609extern Bool VG_(sk_malloc_called_by_scheduler);
610
nethercotef9b59412004-09-10 15:33:32 +0000611/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000612 Exports of vg_libpthread.c
613 ------------------------------------------------------------------ */
614
615/* Replacements for pthread types, shared between vg_libpthread.c and
616 vg_scheduler.c. See comment in vg_libpthread.c above the other
617 vg_pthread_*_t types for a description of how these are used. */
618
619struct _vg_pthread_fastlock
620{
621 long int __vg_status; /* "Free" or "taken" or head of waiting list */
622 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
623 adaptive SMP lock stores spin count here. */
624};
625
626typedef struct
627{
628 int __vg_m_reserved; /* Reserved for future use */
629 int __vg_m_count; /* Depth of recursive locking */
630 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
631 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
632 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
633} vg_pthread_mutex_t;
634
635typedef struct
636{
637 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000638 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
639
640 // Nb: the following padding removed because it was missing from an
641 // earlier glibc, so the size test in the CONVERT macro was failing.
642 // --njn
643
nethercote1f0173b2004-02-28 15:40:36 +0000644 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000645 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000646 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000647 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000648} vg_pthread_cond_t;
649
650
651/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000652 Exports of vg_scheduler.c
653 ------------------------------------------------------------------ */
654
sewardj2e93c502002-04-12 11:12:52 +0000655typedef
jsgf855d93d2003-10-13 22:26:55 +0000656 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000657 VgTs_Empty, /* this slot is not in use */
658 VgTs_Runnable, /* waiting to be scheduled */
659 VgTs_WaitJoiner, /* waiting for someone to do join on me */
660 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000661 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000662 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000663 VgTs_WaitSys, /* waiting for a syscall to complete */
664 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000665 }
666 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000667
thughes11975ff2004-06-12 12:58:22 +0000668typedef
669 enum CleanupType {
670 VgCt_None, /* this cleanup entry is not initialised */
671 VgCt_Function, /* an old-style function pointer cleanup */
672 VgCt_Longjmp /* a new-style longjmp based cleanup */
673 }
674 CleanupType;
675
thughesdaa34562004-06-27 12:48:53 +0000676/* Information on a thread's stack. */
677typedef
678 struct {
679 Addr base;
680 UInt size;
681 UInt guardsize;
682 }
683 StackInfo;
684
sewardj8ad94e12002-05-29 00:10:20 +0000685/* An entry in a threads's cleanup stack. */
686typedef
687 struct {
thughes11975ff2004-06-12 12:58:22 +0000688 CleanupType type;
689 union {
690 struct {
691 void (*fn)(void*);
692 void* arg;
693 } function;
694 struct {
thughesebed9982004-06-12 17:25:25 +0000695 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000696 int ctype;
697 } longjmp;
698 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000699 }
700 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000701
702/* An entry in a thread's fork-handler stack. */
703typedef
704 struct {
705 void (*prepare)(void);
706 void (*parent)(void);
707 void (*child)(void);
708 }
709 ForkHandlerEntry;
710
jsgf855d93d2003-10-13 22:26:55 +0000711typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000712
nethercote8ff888f2004-11-17 17:11:45 +0000713//typedef
njn72718642003-07-24 08:45:32 +0000714 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000715 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
716 The thread identity is simply the index in vg_threads[].
717 ThreadId == 1 is the root thread and has the special property
718 that we don't try and allocate or deallocate its stack. For
719 convenience of generating error message, we also put the
720 ThreadId in this tid field, but be aware that it should
721 ALWAYS == the index in vg_threads[]. */
722 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000723
njn25e49d8e72002-09-23 09:36:25 +0000724 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000725
njn25e49d8e72002-09-23 09:36:25 +0000726 Complications: whenever this is set to VgTs_WaitMX, you
727 should also set .m_edx to whatever the required return value
728 is for pthread_mutex_lock / pthread_cond_timedwait for when
729 the mutex finally gets unblocked. */
730 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000731
njn25e49d8e72002-09-23 09:36:25 +0000732 /* When .status == WaitMX, points to the mutex I am waiting for.
733 When .status == WaitCV, points to the mutex associated with
734 the condition variable indicated by the .associated_cv field.
735 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000736 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000737
njn25e49d8e72002-09-23 09:36:25 +0000738 /* When .status == WaitCV, points to the condition variable I am
739 waiting for. In all other cases, should be NULL. */
740 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000743 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000744
njn25e49d8e72002-09-23 09:36:25 +0000745 If VgTs_WaitCV, this indicates the time at which
746 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
747 this means infinitely far in the future, viz,
748 pthread_cond_wait. */
749 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000750
njn25e49d8e72002-09-23 09:36:25 +0000751 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
752 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000753
njn25e49d8e72002-09-23 09:36:25 +0000754 /* If VgTs_WaitJoinee, place to copy the return value to, and
755 the identity of the thread we're waiting for. */
756 void** joiner_thread_return;
757 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000758
jsgf855d93d2003-10-13 22:26:55 +0000759 /* If VgTs_WaitSys, this is the syscall we're currently running */
760 Int syscallno;
761
thughesbaa46e52004-07-29 17:44:23 +0000762 /* If VgTs_WaitSys, this is the syscall flags */
763 UInt sys_flags;
764
jsgf855d93d2003-10-13 22:26:55 +0000765 /* Details about this thread's proxy LWP */
766 ProxyLWP *proxy;
767
njn25e49d8e72002-09-23 09:36:25 +0000768 /* Whether or not detached. */
769 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000770
njn25e49d8e72002-09-23 09:36:25 +0000771 /* Cancelability state and type. */
772 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
773 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
774
775 /* Pointer to fn to call to do cancellation. Indicates whether
776 or not cancellation is pending. If NULL, not pending. Else
777 should be &thread_exit_wrapper(), indicating that
778 cancallation is pending. */
779 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000780
njn25e49d8e72002-09-23 09:36:25 +0000781 /* The cleanup stack. */
782 Int custack_used;
783 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000784
sewardj00a66b12002-10-12 16:42:35 +0000785 /* A pointer to the thread's-specific-data. This is handled almost
786 entirely from vg_libpthread.c. We just provide hooks to get and
787 set this ptr. This is either NULL, indicating the thread has
788 read/written none of its specifics so far, OR points to a
789 void*[VG_N_THREAD_KEYS], allocated and deallocated in
790 vg_libpthread.c. */
791 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000792
njn25e49d8e72002-09-23 09:36:25 +0000793 /* This thread's blocked-signals mask. Semantics is that for a
794 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000795 blocked by this signal mask. If more than one thread accepts a
796 signal, then it will be delivered to one at random. If all
797 threads block the signal, it will remain pending until either a
798 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
799
800 sig_mask reflects what the client told us its signal mask should
801 be, but isn't necessarily the current signal mask of the proxy
802 LWP: it may have more signals blocked because of signal
803 handling, or it may be different because of sigsuspend.
804 */
nethercote73b526f2004-10-31 18:48:21 +0000805 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000806
fitzhardingef0dd7e12004-01-16 02:17:30 +0000807 /* Effective signal mask. This is the mask which currently
808 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000809 handler is running.
810 */
nethercote73b526f2004-10-31 18:48:21 +0000811 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000812
thughes8abf3922004-10-16 10:59:49 +0000813 /* Signal queue. This is used when the kernel doesn't route
814 signals properly in order to remember the signal information
815 while we are routing the signal. It is a circular queue with
816 insertions performed at the head and removals at the tail.
817 */
nethercote73b526f2004-10-31 18:48:21 +0000818 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000819 Int sigqueue_head;
820 Int sigqueue_tail;
821
njn25e49d8e72002-09-23 09:36:25 +0000822 /* Stacks. When a thread slot is freed, we don't deallocate its
823 stack; we just leave it lying around for the next use of the
824 slot. If the next use of the slot requires a larger stack,
825 only then is the old one deallocated and a new one
826 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000827
njn25e49d8e72002-09-23 09:36:25 +0000828 For the main thread (threadid == 0), this mechanism doesn't
829 apply. We don't know the size of the stack since we didn't
830 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000831
njn25e49d8e72002-09-23 09:36:25 +0000832 /* The allocated size of this thread's stack (permanently zero
833 if this is ThreadId == 0, since we didn't allocate its stack) */
834 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000835
njn25e49d8e72002-09-23 09:36:25 +0000836 /* Address of the lowest word in this thread's stack. NULL means
837 not allocated yet.
838 */
839 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000840
thughesdaa34562004-06-27 12:48:53 +0000841 /* The allocated size of this thread's stack's guard area (permanently
842 zero if this is ThreadId == 0, since we didn't allocate its stack) */
843 UInt stack_guard_size;
844
sewardj92a59562002-09-30 00:53:10 +0000845 /* Address of the highest legitimate word in this stack. This is
846 used for error messages only -- not critical for execution
847 correctness. Is is set for all stacks, specifically including
848 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000849 Addr stack_highest_word;
850
fitzhardinge98c4dc02004-03-16 08:27:29 +0000851 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000852 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000853
nethercotec06e2132004-09-03 13:45:29 +0000854 /* Architecture-specific thread state */
855 arch_thread_t arch;
nethercote8ff888f2004-11-17 17:11:45 +0000856};
857//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000858
859
sewardj018f7622002-05-15 21:13:39 +0000860/* The thread table. */
861extern ThreadState VG_(threads)[VG_N_THREADS];
862
863/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000864extern Bool VG_(is_valid_tid) ( ThreadId tid );
865
njn72718642003-07-24 08:45:32 +0000866/* Determine if 'tid' is that of the current running thread (Nb: returns
867 False if no thread is currently running. */
868extern Bool VG_(is_running_thread)(ThreadId tid);
869
jsgf855d93d2003-10-13 22:26:55 +0000870/* Get the ThreadState for a particular thread */
871extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
872
sewardj1e8cdc92002-04-18 11:37:52 +0000873/* Similarly ... */
874extern ThreadId VG_(get_current_tid) ( void );
875
sewardjccef2e62002-05-29 19:26:32 +0000876/* Nuke all threads except tid. */
877extern void VG_(nuke_all_threads_except) ( ThreadId me );
878
jsgf855d93d2003-10-13 22:26:55 +0000879/* Give a hint to the scheduler that it may be a good time to find a
880 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
881 try to schedule that thread.
882*/
883extern void VG_(need_resched) ( ThreadId prefer_sched );
884
sewardj2e93c502002-04-12 11:12:52 +0000885/* Return codes from the scheduler. */
886typedef
sewardj7e87e382002-05-03 19:09:05 +0000887 enum {
888 VgSrc_Deadlock, /* no runnable threads and no prospect of any
889 even if we wait for a long time */
890 VgSrc_ExitSyscall, /* client called exit(). This is the normal
891 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000892 VgSrc_FatalSig /* Killed by the default action of a fatal
893 signal */
sewardj7e87e382002-05-03 19:09:05 +0000894 }
sewardj2e93c502002-04-12 11:12:52 +0000895 VgSchedReturnCode;
896
sewardj7e87e382002-05-03 19:09:05 +0000897
nethercote238a3c32004-08-09 13:13:31 +0000898// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
899extern VgSchedReturnCode VG_(scheduler)
900 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000901
902extern void VG_(scheduler_init) ( void );
903
sewardj15a43e12002-04-17 19:35:12 +0000904extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000905
nethercote75d26242004-08-01 22:59:18 +0000906// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000907extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000908
nethercote238a3c32004-08-09 13:13:31 +0000909// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
910extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
911
sewardj2e93c502002-04-12 11:12:52 +0000912/* The red-zone size which we put at the bottom (highest address) of
913 thread stacks, for paranoia reasons. This can be arbitrary, and
914 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000915#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000916
nethercoteaff1c772004-09-13 16:11:09 +0000917// Write a value to a client's thread register, and shadow (if necessary).
918// Note that there are some further similar macros in the arch- and
919// platform-specific parts; these ones are the totally generic ones.
920#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzREG, zzevent, zzargs... ) \
921 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
922 VG_TRACK( zzevent, zztid, zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000923 } while (0)
924
njnd3040452003-05-19 15:04:06 +0000925#define SET_CLREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000926 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
927 post_reg_write_clientreq_return)
njnd3040452003-05-19 15:04:06 +0000928
929#define SET_CLCALL_RETVAL(zztid, zzval, f) \
nethercoteaff1c772004-09-13 16:11:09 +0000930 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
931 post_reg_write_clientcall_return, f)
njnd3040452003-05-19 15:04:06 +0000932
933#define SET_PTHREQ_ESP(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000934 SET_THREAD_REG(zztid, zzval, ARCH_STACK_PTR, R_STACK_PTR, \
935 post_reg_write_pthread_return)
njnd3040452003-05-19 15:04:06 +0000936
937#define SET_PTHREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000938 SET_THREAD_REG(zztid, zzval, ARCH_PTHREQ_RET, R_PTHREQ_RET, \
939 post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000940
sewardj2e93c502002-04-12 11:12:52 +0000941
942/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000943 Exports of vg_signals.c
944 ------------------------------------------------------------------ */
945
jsgf855d93d2003-10-13 22:26:55 +0000946extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
947
948/* RT signal allocation */
949extern Int VG_(sig_rtmin);
950extern Int VG_(sig_rtmax);
951extern Int VG_(sig_alloc_rtsig) ( Int high );
952
sewardjde4a1d02002-03-22 01:27:54 +0000953extern void VG_(sigstartup_actions) ( void );
954
nethercote73b526f2004-10-31 18:48:21 +0000955extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000956extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000957
jsgf855d93d2003-10-13 22:26:55 +0000958extern Bool VG_(is_sig_ign) ( Int sigNo );
959
960/* Route pending signals from the scheduler LWP to the appropriate
961 thread LWP. */
962extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000963
964/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000965extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
966extern void VG_(do_sys_sigaction) ( ThreadId tid );
967extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000968 vki_sigset_t* set,
969 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000970extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000971 vki_sigset_t* set,
972 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000973
sewardj2e93c502002-04-12 11:12:52 +0000974/* Modify the current thread's state once we have detected it is
975 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000976extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000977
sewardj2e93c502002-04-12 11:12:52 +0000978/* Handy utilities to block/restore all host signals. */
979extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000980 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000981extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000982 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000983
jsgf855d93d2003-10-13 22:26:55 +0000984extern void VG_(kill_self)(Int sigNo);
985
fitzhardingef1beb252004-03-16 09:49:08 +0000986/* These function synthesize a fault, as if the running instruction
987 had had a fault. These functions do not return - they longjmp back
988 into the scheduler so the signal can be delivered. */
989extern void VG_(synth_fault) (ThreadId tid);
990extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
991extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
992
nethercote759dda32004-08-07 18:16:56 +0000993extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000994
sewardjde4a1d02002-03-22 01:27:54 +0000995/* ---------------------------------------------------------------------
996 Exports of vg_mylibc.c
997 ------------------------------------------------------------------ */
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
sewardjde4a1d02002-03-22 01:27:54 +00001086/* ---------------------------------------------------------------------
1087 Exports of vg_from_ucode.c
1088 ------------------------------------------------------------------ */
1089
njn25e49d8e72002-09-23 09:36:25 +00001090extern void VG_(print_ccall_stats) ( void );
1091extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001092
sewardj22854b92002-11-30 14:00:47 +00001093extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1094extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001095
sewardjde4a1d02002-03-22 01:27:54 +00001096/* ---------------------------------------------------------------------
1097 Exports of vg_to_ucode.c
1098 ------------------------------------------------------------------ */
1099
fitzhardingec2dbbac2004-01-23 23:09:01 +00001100Bool VG_(cpu_has_feature)(UInt feat);
1101
sewardjde4a1d02002-03-22 01:27:54 +00001102
1103/* ---------------------------------------------------------------------
1104 Exports of vg_translate.c
1105 ------------------------------------------------------------------ */
1106
nethercote4d714382004-10-13 09:47:24 +00001107extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001108
sewardjb5ff83e2002-12-01 19:40:49 +00001109
sewardjde4a1d02002-03-22 01:27:54 +00001110/* ---------------------------------------------------------------------
1111 Exports of vg_execontext.c.
1112 ------------------------------------------------------------------ */
1113
nethercote4ad74312004-10-26 09:59:49 +00001114/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001115 values are used in comparisons do remove duplicate errors, and for
1116 comparing against suppression specifications. The rest are purely
1117 informational (but often important). */
1118
njn25e49d8e72002-09-23 09:36:25 +00001119struct _ExeContext {
1120 struct _ExeContext * next;
1121 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001122 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001123 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001124 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001125};
sewardjde4a1d02002-03-22 01:27:54 +00001126
1127
sewardjde4a1d02002-03-22 01:27:54 +00001128/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001129extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001130
njn25e49d8e72002-09-23 09:36:25 +00001131/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001132extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1133 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001134
1135
1136/* ---------------------------------------------------------------------
1137 Exports of vg_errcontext.c.
1138 ------------------------------------------------------------------ */
1139
njn25e49d8e72002-09-23 09:36:25 +00001140extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001141
njn25e49d8e72002-09-23 09:36:25 +00001142extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001143
njn25e49d8e72002-09-23 09:36:25 +00001144extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001145
nethercotef2b11482004-08-02 12:36:01 +00001146extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001147
nethercotef2b11482004-08-02 12:36:01 +00001148extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001149
sewardjde4a1d02002-03-22 01:27:54 +00001150/* ---------------------------------------------------------------------
1151 Exports of vg_procselfmaps.c
1152 ------------------------------------------------------------------ */
1153
njnfa1016e2003-09-25 17:54:11 +00001154/* Reads /proc/self/maps into a static buffer which can be parsed by
1155 VG_(parse_procselfmaps)(). */
1156extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001157
1158/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1159 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1160 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001161extern
njnfa1016e2003-09-25 17:54:11 +00001162void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001163 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001164 UInt dev, UInt ino, ULong foff,
1165 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001166
1167
1168/* ---------------------------------------------------------------------
1169 Exports of vg_symtab2.c
1170 ------------------------------------------------------------------ */
1171
fitzhardinge98abfc72003-12-16 02:05:15 +00001172typedef struct _Segment Segment;
1173
1174extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001175extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001176extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001177extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001178extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001179
njn25e49d8e72002-09-23 09:36:25 +00001180extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001181
fitzhardinge98abfc72003-12-16 02:05:15 +00001182/* Set up some default redirects */
1183extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001184
fitzhardinge98abfc72003-12-16 02:05:15 +00001185/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001186extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001187
1188/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001189 Exports of vg_main.c
1190 ------------------------------------------------------------------ */
1191
sewardjb91ae7f2003-04-29 23:50:00 +00001192/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1193 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001194 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001195 correctly snapshot the startup machine state without it. */
1196extern Bool VG_(have_ssestate);
1197
sewardj73cf3bc2002-11-03 03:20:15 +00001198/* Tell the logging mechanism whether we are logging to a file
1199 descriptor or a socket descriptor. */
1200extern Bool VG_(logging_to_filedes);
1201
njn25e49d8e72002-09-23 09:36:25 +00001202/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001203extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001204
fitzhardinge98abfc72003-12-16 02:05:15 +00001205/* Address space */
1206extern Addr VG_(client_base); /* client address space limits */
1207extern Addr VG_(client_end);
1208extern Addr VG_(client_mapbase); /* base of mappings */
1209extern Addr VG_(clstk_base); /* client stack range */
1210extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001211extern Addr VG_(client_trampoline_code);
1212
fitzhardinge98abfc72003-12-16 02:05:15 +00001213extern Addr VG_(brk_base); /* start of brk */
1214extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001215extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001216extern Addr VG_(shadow_end);
1217extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001218extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001219
nethercote73b526f2004-10-31 18:48:21 +00001220extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1221extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001222
fitzhardingea49f9b52003-12-16 22:26:45 +00001223/* client executable file descriptor */
1224extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001225
nethercotef6a1d502004-08-09 12:21:57 +00001226// Help set up the child used when doing execve() with --trace-children=yes
1227Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1228Char* VG_(build_child_exename) ( void );
1229
nethercote4ad74312004-10-26 09:59:49 +00001230/* Determine if SP adjustment must be noted */
1231extern Bool VG_(need_to_handle_SP_assignment) ( void );
njnf4ce3d32003-02-10 10:17:26 +00001232
sewardjde4a1d02002-03-22 01:27:54 +00001233/* Called when some unhandleable client behaviour is detected.
1234 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001235extern void VG_(unimplemented) ( Char* msg )
1236 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001237
nethercote04d0fbc2004-01-26 16:48:06 +00001238/* Something of a function looking for a home ... start up debugger. */
1239extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001240
sewardjde4a1d02002-03-22 01:27:54 +00001241/* Counts downwards in vg_run_innerloop. */
1242extern UInt VG_(dispatch_ctr);
1243
sewardjde4a1d02002-03-22 01:27:54 +00001244/* --- Counters, for informational purposes only. --- */
1245
nethercote92e7b7f2004-08-07 17:52:25 +00001246// These counters must be declared here because they're maintained by
1247// vg_dispatch.S.
1248extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1249extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1250extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001251
nethercote844e7122004-08-02 15:27:22 +00001252extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001253
nethercote2e05c332004-09-06 16:43:37 +00001254extern Int VG_(alloc_BaB)( Int ); // Allocate slots in baseBlock
1255extern void VG_(align_BaB)( UInt ); // Align baseBlock offset
1256extern Int VG_(alloc_BaB_1_set)( Addr ); // Allocate & init baseBlock slot
1257
sewardjde4a1d02002-03-22 01:27:54 +00001258/* ---------------------------------------------------------------------
1259 Exports of vg_memory.c
1260 ------------------------------------------------------------------ */
1261
fitzhardinge98abfc72003-12-16 02:05:15 +00001262/* A Segment is mapped piece of client memory. This covers all kinds
1263 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1264
1265 We try to encode everything we know about a particular segment here.
1266*/
nethercote85cdd342004-08-01 22:36:40 +00001267#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1268#define SF_SHARED (1 << 1) // shared
1269#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1270#define SF_MMAP (1 << 3) // mmap memory
1271#define SF_FILE (1 << 4) // mapping is backed by a file
1272#define SF_STACK (1 << 5) // is a stack
1273#define SF_GROWDOWN (1 << 6) // segment grows down
1274#define SF_GROWUP (1 << 7) // segment grows up
1275#define SF_EXEC (1 << 8) // segment created by exec
1276#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1277#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1278#define SF_BRK (1 << 11) // brk segment
1279#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1280#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1281#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001282
1283struct _Segment {
1284 UInt prot; /* VKI_PROT_* */
1285 UInt flags; /* SF_* */
1286
1287 Addr addr; /* mapped addr (page aligned) */
nethercote8991d5a2004-11-03 17:07:46 +00001288 SizeT len; /* size of mapping (page aligned) */
fitzhardinge98abfc72003-12-16 02:05:15 +00001289
1290 /* These are valid if (flags & SF_FILE) */
1291 ULong offset; /* file offset */
1292 const Char *filename; /* filename (NULL if unknown) */
1293 UInt dev; /* device */
1294 UInt ino; /* inode */
1295
1296 SegInfo *symtab; /* symbol table */
1297};
1298
1299/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001300extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001301 Int fd, ULong off, const Char *filename);
1302
1303/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001304extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001305 UInt dev, UInt ino, ULong off, const Char *filename);
1306
1307/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001308extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001309
nethercote8b5f40c2004-11-02 13:29:50 +00001310extern void VG_(unmap_range) (Addr addr, SizeT len);
1311extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1312extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001313
1314extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001315extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001316extern Segment *VG_(next_segment)(Segment *);
1317
nethercote8991d5a2004-11-03 17:07:46 +00001318extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1319extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001320
nethercote8991d5a2004-11-03 17:07:46 +00001321extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001322extern void VG_(unpad_address_space)(void);
1323
nethercoteeec46302004-08-23 15:06:23 +00001324extern REGPARM(1)
nethercote4ad74312004-10-26 09:59:49 +00001325 void VG_(unknown_SP_update) ( Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001326
jsgf855d93d2003-10-13 22:26:55 +00001327/* ---------------------------------------------------------------------
1328 Exports of vg_proxylwp.c
1329 ------------------------------------------------------------------ */
1330
nethercote24e0d442004-10-18 17:36:40 +00001331enum PXState
1332{
1333 PXS_BAD = -1,
1334 PXS_WaitReq, /* waiting for a request */
1335 PXS_RunSyscall, /* running a syscall */
1336 PXS_IntReply, /* request interrupted - need to send reply */
1337 PXS_SysDone, /* small window between syscall
1338 complete and results written out */
1339 PXS_SigACK, /* waiting for a signal ACK */
1340};
1341
1342
jsgf855d93d2003-10-13 22:26:55 +00001343/* Issue a syscall for thread tid */
1344extern Int VG_(sys_issue)(int tid);
1345
1346extern void VG_(proxy_init) ( void );
1347extern void VG_(proxy_create) ( ThreadId tid );
1348extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1349extern void VG_(proxy_results) ( void );
1350extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1351extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001352extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001353extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1354extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001355extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001356
nethercote85cdd342004-08-01 22:36:40 +00001357extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1358extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1359 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001360
1361/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001362void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001363
1364/* Send a signal from a thread's proxy to the thread. This longjmps
1365 back into the proxy's main loop, so it doesn't return. */
1366__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001367extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001368 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001369
sewardjde4a1d02002-03-22 01:27:54 +00001370/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001371 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001372 ------------------------------------------------------------------ */
1373
fitzhardinge98abfc72003-12-16 02:05:15 +00001374extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001375
jsgf855d93d2003-10-13 22:26:55 +00001376extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001377extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001378
nethercote5b9fafd2004-11-04 18:39:22 +00001379extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001380
jsgf855d93d2003-10-13 22:26:55 +00001381/* Internal atfork handlers */
1382typedef void (*vg_atfork_t)(ThreadId);
1383extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001384
rjwalshf5f536f2003-11-17 17:45:00 +00001385/* fd leakage calls. */
1386extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001387extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001388
nethercote8ff888f2004-11-17 17:11:45 +00001389// Return true if address range entirely contained within client
1390// address space.
1391Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1392 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001393
1394// Return true if we're allowed to use or create this fd.
1395Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1396
1397void VG_(record_fd_open)(Int tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001398
1399// Flags describing syscall wrappers
1400#define Special (1 << 0)
1401#define MayBlock (1 << 1)
1402#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1403#define PostOnFail (1 << 3)
1404
1405// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1406// post-wrapper (which is actually not always needed), and the associated
1407// flags.
1408#define GEN_SYSCALL_WRAPPER(x) \
1409 extern UInt VGA_(gen_##x##_flags); \
1410 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1411 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
1412
1413// Generic (platform-independent) syscall wrappers. These are generally
1414// POSIX or something like that; those that are not POSIX are annotated
1415// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001416// For many of them, it's unclear if they are generic, or Linux-specific, or
1417// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001418//
1419// Nb: This list may change over time... ones thought at first to be generic
1420// may turn out not to be, and so be moved into OS-specific or
1421// platform-specific files. If there's any doubt, I'm leaving them in here.
1422//
1423// Nb 2: if porting to a new OS, you should really check all these generic
1424// wrappers to make sure they match your OS, painful as it might be.
1425
1426GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1427GEN_SYSCALL_WRAPPER(sys_exit);
1428GEN_SYSCALL_WRAPPER(sys_fork);
1429GEN_SYSCALL_WRAPPER(sys_read);
1430GEN_SYSCALL_WRAPPER(sys_write);
1431GEN_SYSCALL_WRAPPER(sys_open);
1432GEN_SYSCALL_WRAPPER(sys_close);
1433GEN_SYSCALL_WRAPPER(sys_waitpid);
1434GEN_SYSCALL_WRAPPER(sys_creat);
1435GEN_SYSCALL_WRAPPER(sys_link);
1436GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001437GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001438GEN_SYSCALL_WRAPPER(sys_chdir);
1439GEN_SYSCALL_WRAPPER(sys_time);
1440GEN_SYSCALL_WRAPPER(sys_mknod);
1441GEN_SYSCALL_WRAPPER(sys_chmod);
1442GEN_SYSCALL_WRAPPER(sys_lseek);
1443GEN_SYSCALL_WRAPPER(sys_getpid);
1444GEN_SYSCALL_WRAPPER(sys_alarm);
1445GEN_SYSCALL_WRAPPER(sys_pause);
1446GEN_SYSCALL_WRAPPER(sys_utime);
1447GEN_SYSCALL_WRAPPER(sys_access);
1448GEN_SYSCALL_WRAPPER(sys_kill);
1449GEN_SYSCALL_WRAPPER(sys_rename);
1450GEN_SYSCALL_WRAPPER(sys_mkdir);
1451GEN_SYSCALL_WRAPPER(sys_rmdir);
1452GEN_SYSCALL_WRAPPER(sys_dup);
1453GEN_SYSCALL_WRAPPER(sys_times);
1454GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1455GEN_SYSCALL_WRAPPER(sys_setpgid);
1456GEN_SYSCALL_WRAPPER(sys_umask);
1457GEN_SYSCALL_WRAPPER(sys_dup2);
1458GEN_SYSCALL_WRAPPER(sys_getppid);
1459GEN_SYSCALL_WRAPPER(sys_getpgrp);
1460GEN_SYSCALL_WRAPPER(sys_setsid);
1461GEN_SYSCALL_WRAPPER(sys_munmap);
1462GEN_SYSCALL_WRAPPER(sys_truncate);
1463GEN_SYSCALL_WRAPPER(sys_ftruncate);
1464GEN_SYSCALL_WRAPPER(sys_fchmod);
1465GEN_SYSCALL_WRAPPER(sys_msync);
1466GEN_SYSCALL_WRAPPER(sys_readv);
1467GEN_SYSCALL_WRAPPER(sys_writev);
1468GEN_SYSCALL_WRAPPER(sys_getsid);
1469GEN_SYSCALL_WRAPPER(sys_fdatasync);
1470GEN_SYSCALL_WRAPPER(sys_mlock);
1471GEN_SYSCALL_WRAPPER(sys_munlock);
1472GEN_SYSCALL_WRAPPER(sys_mlockall);
1473GEN_SYSCALL_WRAPPER(sys_munlockall);
1474GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1475GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1476GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1477GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1478GEN_SYSCALL_WRAPPER(sys_sched_yield);
1479GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1480GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1481GEN_SYSCALL_WRAPPER(sys_nanosleep);
1482GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1483GEN_SYSCALL_WRAPPER(sys_getuid);
1484GEN_SYSCALL_WRAPPER(sys_getgid);
1485GEN_SYSCALL_WRAPPER(sys_geteuid);
1486GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001487GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001488GEN_SYSCALL_WRAPPER(sys_fsync);
1489GEN_SYSCALL_WRAPPER(sys_wait4);
1490GEN_SYSCALL_WRAPPER(sys_mprotect);
1491GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1492GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1493GEN_SYSCALL_WRAPPER(sys_timer_settime);
1494GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1495GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1496GEN_SYSCALL_WRAPPER(sys_timer_delete);
1497GEN_SYSCALL_WRAPPER(sys_clock_settime);
1498GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1499GEN_SYSCALL_WRAPPER(sys_clock_getres);
1500GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001501GEN_SYSCALL_WRAPPER(sys_symlink);
1502GEN_SYSCALL_WRAPPER(sys_getgroups);
1503GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1504GEN_SYSCALL_WRAPPER(sys_chown);
1505GEN_SYSCALL_WRAPPER(sys_setuid);
1506GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1507GEN_SYSCALL_WRAPPER(sys_madvise);
1508GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001509
1510// These ones aren't POSIX, but are in some standard and look reasonably
1511// generic, and are the same for all architectures under Linux.
1512GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1513GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1514GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1515GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1516GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001517GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1518GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1519GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1520GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1521GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1522GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1523GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1524GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1525GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1526GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1527GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1528GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1529GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1530GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1531GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1532GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1533GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001534
1535// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1536// uid_t types. The similarly named (minus the "16" suffix) ones below use
1537// 32-bit versions of these types.
1538GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1539GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1540GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1541GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1542GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1543GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1544GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1545GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1546GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1547GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1548GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1549GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1550
nethercote8ff888f2004-11-17 17:11:45 +00001551// Linux's funny many-in-one socketcall is certainly not generic, but I
1552// didn't want to move it until necessary because it's big and has a lot of
1553// associated junk.
1554GEN_SYSCALL_WRAPPER(sys_socketcall);
1555
nethercote3d5e9102004-11-17 18:22:38 +00001556// Some archs on Linux do not match the generic wrapper for sys_pipe().
1557GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001558
nethercote3d5e9102004-11-17 18:22:38 +00001559// May not be generic for every architecture under Linux.
1560GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1561
1562// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001563GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1564GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1565GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1566
nethercote3d5e9102004-11-17 18:22:38 +00001567// For the remainder, not really sure yet
1568GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1569GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1570GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1571GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1572GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1573GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1574GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1575GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001576GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1577GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001578GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1579GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1580GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001581GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1582GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1583GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1584GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1585GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1586GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1587GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1588GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1589GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1590GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1591GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001592GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1593GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1594GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1595GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1596GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1597GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1598GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1599GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1600GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1601GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001602GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001603GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1604GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1605GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1606GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1607GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1608GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1609GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1610GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1611GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1612GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1613GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1614GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1615GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1616GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001617GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1618GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001619GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001620GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001621GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1622GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1623GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001624GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1625GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1626GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1627GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1628GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1629GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1630
1631#undef GEN_SYSCALL_WRAPPER
1632
1633// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001634/* PRRAn == "pre-register-read-argument"
1635 PRRSN == "pre-register-read-syscall"
1636*/
nethercote8ff888f2004-11-17 17:11:45 +00001637
1638#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001639 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
nethercote8ff888f2004-11-17 17:11:45 +00001640 R_SYSCALL_NUM, sizeof(UWord));
1641#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001642 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
nethercote8ff888f2004-11-17 17:11:45 +00001643 R_SYSCALL_ARG##n, sizeof(t));
1644#define PRE_REG_READ0(tr, s) \
1645 if (VG_(defined_pre_reg_read)()) { \
1646 PRRSN; \
1647 }
1648#define PRE_REG_READ1(tr, s, t1, a1) \
1649 if (VG_(defined_pre_reg_read)()) { \
1650 PRRSN; \
1651 PRRAn(1,s,t1,a1); \
1652 }
1653#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1654 if (VG_(defined_pre_reg_read)()) { \
1655 PRRSN; \
1656 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1657 }
1658#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1659 if (VG_(defined_pre_reg_read)()) { \
1660 PRRSN; \
1661 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1662 }
1663#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1664 if (VG_(defined_pre_reg_read)()) { \
1665 PRRSN; \
1666 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1667 PRRAn(4,s,t4,a4); \
1668 }
1669#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1670 if (VG_(defined_pre_reg_read)()) { \
1671 PRRSN; \
1672 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1673 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1674 }
1675#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1676 if (VG_(defined_pre_reg_read)()) { \
1677 PRRSN; \
1678 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1679 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1680 }
1681
1682#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1683 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1684
1685#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1686 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1687
1688#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1689 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1690
1691#define POST_MEM_WRITE(zzaddr, zzlen) \
1692 VG_TRACK( post_mem_write, zzaddr, zzlen)
1693
sewardjde4a1d02002-03-22 01:27:54 +00001694/* ---------------------------------------------------------------------
1695 Exports of vg_transtab.c
1696 ------------------------------------------------------------------ */
1697
njn25e49d8e72002-09-23 09:36:25 +00001698/* The fast-cache for tt-lookup. */
1699extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1700
nethercote92e7b7f2004-08-07 17:52:25 +00001701extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001702extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj8b635a42004-11-22 19:01:47 +00001703 Addr trans_addr, Int trans_size );
nethercote92e7b7f2004-08-07 17:52:25 +00001704extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001705
nethercote92e7b7f2004-08-07 17:52:25 +00001706extern void VG_(invalidate_translations) ( Addr start, UInt range,
1707 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001708
nethercote92e7b7f2004-08-07 17:52:25 +00001709extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001710
nethercote92e7b7f2004-08-07 17:52:25 +00001711extern void VG_(print_tt_tc_stats) ( void );
1712
1713extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001714
sewardjde4a1d02002-03-22 01:27:54 +00001715/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001716 Exports of vg_syscall.S
1717 ------------------------------------------------------------------ */
1718
jsgf855d93d2003-10-13 22:26:55 +00001719extern Int VG_(do_syscall) ( UInt, ... );
1720extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1721 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001722extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001723
1724/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001725 Exports of vg_dispatch.S
1726 ------------------------------------------------------------------ */
1727
sewardj2e93c502002-04-12 11:12:52 +00001728/* Run a thread for a (very short) while, until some event happens
1729 which means we need to defer to the scheduler. */
1730extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001731
sewardj22854b92002-11-30 14:00:47 +00001732/* The patching routing called when a BB wants to chain itself to
1733 another. */
1734extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001735
1736/* ---------------------------------------------------------------------
1737 Exports of vg_helpers.S
1738 ------------------------------------------------------------------ */
1739
sewardj51096432002-12-14 23:59:09 +00001740extern void VG_(helper_undefined_instruction);
1741
fitzhardinge92360792003-12-24 10:11:11 +00001742/* Information about trampoline code (for signal return and syscalls) */
1743extern const Char VG_(trampoline_code_start);
1744extern const Int VG_(trampoline_code_length);
1745extern const Int VG_(tramp_sigreturn_offset);
1746extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001747
njn4f9c9342002-04-29 16:03:24 +00001748/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001749 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001750 ------------------------------------------------------------------ */
1751
fitzhardinge98abfc72003-12-16 02:05:15 +00001752#define VG_TRACK(fn, args...) \
1753 do { \
1754 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001755 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001756 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001757
fitzhardinge98abfc72003-12-16 02:05:15 +00001758__attribute__ ((noreturn))
1759extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001760
sewardjde4a1d02002-03-22 01:27:54 +00001761/* ---------------------------------------------------------------------
nethercote6a27d832004-09-07 10:17:02 +00001762 The baseBlock -- arch-neutral bits
sewardjde4a1d02002-03-22 01:27:54 +00001763 ------------------------------------------------------------------ */
1764
nethercote2e05c332004-09-06 16:43:37 +00001765#define INVALID_OFFSET (-1)
sewardjde4a1d02002-03-22 01:27:54 +00001766
1767/* An array of words. In generated code, %ebp always points to the
1768 start of this array. Useful stuff, like the simulated CPU state,
1769 and the addresses of helper functions, can then be found by
1770 indexing off %ebp. The following declares variables which, at
1771 startup time, are given values denoting offsets into baseBlock.
1772 These offsets are in *words* from the start of baseBlock. */
1773
sewardjb91ae7f2003-04-29 23:50:00 +00001774#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001775
1776extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1777
nethercotec06e2132004-09-03 13:45:29 +00001778// ---------------------------------------------------------------------
1779// Architecture-specific things defined in eg. x86/*.c
1780// ---------------------------------------------------------------------
1781
nethercotec009ebe2004-09-13 11:05:11 +00001782// For setting up the baseBlock
nethercote4ad74312004-10-26 09:59:49 +00001783extern void VGA_(init_low_baseBlock) ( Addr client_ip, Addr sp_at_startup );
1784extern void VGA_(init_high_baseBlock) ( Addr client_ip, Addr sp_at_startup );
nethercote2e05c332004-09-06 16:43:37 +00001785
nethercotec009ebe2004-09-13 11:05:11 +00001786// Register state moving
nethercotec06e2132004-09-03 13:45:29 +00001787extern void VGA_(load_state) ( arch_thread_t*, ThreadId tid );
1788extern void VGA_(save_state) ( arch_thread_t*, ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001789
sewardj8b635a42004-11-22 19:01:47 +00001790// Register state access
1791extern void VGA_(set_thread_shadow_archreg) ( ThreadId tid, UInt archreg, UInt val );
1792extern UInt VGA_(get_thread_shadow_archreg) ( ThreadId tid, UInt archreg );
1793extern UInt VGA_(get_shadow_archreg) ( UInt archreg );
1794
nethercotec009ebe2004-09-13 11:05:11 +00001795// Thread stuff
nethercote7587d472004-09-11 23:51:50 +00001796extern void VGA_(clear_thread) ( arch_thread_t* );
1797extern void VGA_(init_thread) ( arch_thread_t* );
nethercotef9b59412004-09-10 15:33:32 +00001798extern void VGA_(cleanup_thread) ( arch_thread_t* );
1799extern void VGA_(setup_child) ( arch_thread_t*, arch_thread_t* );
1800
nethercote6b9c8472004-09-13 13:16:40 +00001801extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1802extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1803
nethercotec009ebe2004-09-13 11:05:11 +00001804// Symtab stuff
nethercotecd656042004-09-11 23:48:22 +00001805extern UInt* VGA_(reg_addr_from_BB) ( Int reg );
1806extern UInt* VGA_(reg_addr_from_tst) ( Int reg, arch_thread_t* );
1807
nethercotefedd8102004-09-13 15:19:34 +00001808// Pointercheck
1809extern Bool VGA_(setup_pointercheck) ( void );
1810
1811// For attaching the debugger
1812extern Int VGA_(ptrace_setregs_from_BB) ( Int pid );
1813extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, arch_thread_t* arch );
1814
1815// Making coredumps
nethercote73b526f2004-10-31 18:48:21 +00001816extern void VGA_(fill_elfregs_from_BB) ( struct vki_user_regs_struct* regs );
1817extern void VGA_(fill_elfregs_from_tst) ( struct vki_user_regs_struct* regs,
sewardj8b635a42004-11-22 19:01:47 +00001818 arch_thread_t* arch );
nethercote73b526f2004-10-31 18:48:21 +00001819extern void VGA_(fill_elffpregs_from_BB) ( vki_elf_fpregset_t* fpu );
1820extern void VGA_(fill_elffpregs_from_tst) ( vki_elf_fpregset_t* fpu,
nethercotefedd8102004-09-13 15:19:34 +00001821 const arch_thread_t* arch );
nethercote73b526f2004-10-31 18:48:21 +00001822extern void VGA_(fill_elffpxregs_from_BB) ( vki_elf_fpxregset_t* xfpu );
1823extern void VGA_(fill_elffpxregs_from_tst) ( vki_elf_fpxregset_t* xfpu,
nethercotefedd8102004-09-13 15:19:34 +00001824 const arch_thread_t* arch );
1825
nethercote6eec4602004-09-13 14:15:36 +00001826// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001827extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001828 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001829 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001830 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001831extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1832
nethercote9b3c7652004-10-19 13:18:00 +00001833// libpthread stuff
1834typedef struct arch_thread_aux arch_thread_aux_t;
1835
1836void VGA_(thread_create) ( arch_thread_aux_t *aux );
1837void VGA_(thread_wrapper)( arch_thread_aux_t *aux );
1838void VGA_(thread_exit) ( void );
1839
1840Bool VGA_(has_tls) ( void );
1841
1842#define MY__STRING(__str) #__str
1843
1844// Assertion to use in code running on the simulated CPU.
1845#define my_assert(expr) \
1846 ((void) ((expr) ? 0 : \
1847 (VG_(user_assert_fail) (MY__STRING(expr), \
1848 __FILE__, __LINE__, \
1849 __PRETTY_FUNCTION__), 0)))
1850
1851extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1852 Int line, const Char* fn );
1853
1854
nethercote41c75da2004-10-18 15:34:14 +00001855// ---------------------------------------------------------------------
1856// Platform-specific things defined in eg. x86/*.c
1857// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001858
nethercote8ff888f2004-11-17 17:11:45 +00001859struct SyscallTableEntry {
1860 UInt *flags_ptr;
1861 void (*before)(ThreadId tid, ThreadState *tst);
1862 void (*after) (ThreadId tid, ThreadState *tst);
1863};
1864
1865/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1866 wrappers for the relevant syscalls used in the OS kernel for that number.
1867 Note that the constant names don't always match the wrapper names in a
1868 straightforward way. For example, on x86/Linux:
1869
1870 __NR_lchown --> sys_lchown16()
1871 __NR_lchown32 --> sys_lchown()
1872 __NR_select --> old_select()
1873 __NR__newselect --> sys_select()
1874*/
1875extern const struct SyscallTableEntry VGA_(syscall_table)[];
1876
1877extern const UInt VGA_(syscall_table_size);
1878
1879
nethercote24e0d442004-10-18 17:36:40 +00001880extern const Addr vga_sys_before, vga_sys_restarted,
nethercote8ff888f2004-11-17 17:11:45 +00001881 vga_sys_after, vga_sys_done;
nethercote24e0d442004-10-18 17:36:40 +00001882
nethercote6eb106b2004-10-18 17:41:36 +00001883extern void VGA_(restart_syscall)(arch_thread_t* arch);
nethercote24e0d442004-10-18 17:36:40 +00001884
nethercote6eb106b2004-10-18 17:41:36 +00001885extern void VGA_(thread_syscall)(Int syscallno, arch_thread_t* arch,
nethercote24e0d442004-10-18 17:36:40 +00001886 enum PXState* state, enum PXState poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001887
1888/* ---------------------------------------------------------------------
1889 Finally - autoconf-generated settings
1890 ------------------------------------------------------------------ */
1891
1892#include "config.h"
1893
nethercotec06e2132004-09-03 13:45:29 +00001894#endif /* ndef __CORE_H */
1895
sewardjde4a1d02002-03-22 01:27:54 +00001896/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001897/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001898/*--------------------------------------------------------------------*/