blob: 6fcd9a69f71e85154e49604fbaa6c4c5c076a775 [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
fitzhardinge98abfc72003-12-16 02:05:15 +000099#undef SK_
100#define SK_(x) vgSkinInternal_##x
101
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
sewardj72f98ff2002-06-13 17:23:38 +0000242/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000243extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000244/* Enquire about whether to attach to a debugger at errors? default: NO */
245extern Bool VG_(clo_db_attach);
246/* The debugger command? default: whatever gdb ./configure found */
247extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000248/* Enquire about generating a suppression for each error? default: NO */
249extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000250/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000251extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000252/* Automatically attempt to demangle C++ names? default: YES */
253extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Simulate child processes? default: NO */
255extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000256
257/* Where logging output is to be sent to.
258
nethercotef8548672004-06-21 12:42:35 +0000259 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
260 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000261
nethercotef8548672004-06-21 12:42:35 +0000262 When log_to == VgLogTo_File, clo_log_name holds the log-file
263 name, and is taken from the command line. clo_log_fd is then
264 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000265 (concatenated with the process ID) for writing.
266
nethercotef8548672004-06-21 12:42:35 +0000267 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000268 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000269 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000270 opening a connection to said hostname:portnumber pair.
271
nethercotef8548672004-06-21 12:42:35 +0000272 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000273 (stderr). */
274extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000275extern Int VG_(clo_log_fd);
276extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000277
thughes6233a382004-08-21 11:10:44 +0000278/* Add timestamps to log messages? default: NO */
279extern Bool VG_(clo_time_stamp);
280
sewardj6024b212003-07-13 10:54:33 +0000281/* The file descriptor to read for input. default: 0 == stdin */
282extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000283/* The number of suppression files specified. */
284extern Int VG_(clo_n_suppressions);
285/* The names of the suppression files. */
286extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
287
288/* Single stepping? default: NO */
289extern Bool VG_(clo_single_step);
290/* Code improvement? default: YES */
291extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000292/* DEBUG: print generated code? default: 00000 ( == NO ) */
293extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000294/* DEBUG: print system calls? default: NO */
295extern Bool VG_(clo_trace_syscalls);
296/* DEBUG: print signal details? default: NO */
297extern Bool VG_(clo_trace_signals);
298/* DEBUG: print symtab details? default: NO */
299extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000300/* DEBUG: print thread scheduling events? default: NO */
301extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000302/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
303 (some), 2 (all) */
304extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000305/* Display gory details for the k'th most popular error. default:
306 Infinity. */
307extern Int VG_(clo_dump_error);
308/* Number of parents of a backtrace. Default: 8. */
309extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000310/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000311extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000312/* How often we should poll for signals, assuming we need to poll for
313 signals. */
314extern Int VG_(clo_signal_polltime);
315
316/* Low latency syscalls and signals */
317extern Bool VG_(clo_lowlat_syscalls);
318extern Bool VG_(clo_lowlat_signals);
319
rjwalshf5f536f2003-11-17 17:45:00 +0000320/* Track open file descriptors? */
321extern Bool VG_(clo_track_fds);
322
sewardj858964b2002-10-05 14:15:43 +0000323/* Should we run __libc_freeres at exit? Sometimes causes crashes.
324 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
325 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000326 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000327 cannot be overridden from the command line. */
328extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000329/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000330extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000331/* Generate branch-prediction hints? */
332extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000333/* Continue stack traces below main()? Default: NO */
334extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000335/* Test each client pointer dereference to check it's within the
336 client address space bounds */
337extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000338
rjwalshe4e779d2004-04-16 23:02:29 +0000339/* Set up the libc freeres wrapper */
340extern void VG_(intercept_libc_freeres_wrapper)(Addr);
341
sewardjde4a1d02002-03-22 01:27:54 +0000342/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000343 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000344 ------------------------------------------------------------------ */
345
sewardjde4a1d02002-03-22 01:27:54 +0000346extern void VGP_(init_profiling) ( void );
347extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000348
njn25e49d8e72002-09-23 09:36:25 +0000349#undef VGP_PUSHCC
350#undef VGP_POPCC
351#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
352#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000353
sewardjde4a1d02002-03-22 01:27:54 +0000354/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000355 Tool-related types
njn810086f2002-11-14 12:42:47 +0000356 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000357/* These structs are not exposed to tools to mitigate possibility of
358 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000359 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000360typedef
361 struct {
362 Char* name;
363 Char* version;
364 Char* description;
365 Char* copyright_author;
366 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000367 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000368 }
369 VgDetails;
370
371extern VgDetails VG_(details);
372
373/* If new fields are added to this type, update:
374 * - vg_main.c:initialisation of VG_(needs)
375 * - vg_main.c:sanity_check_needs()
376 *
377 * If the name of this type or any of its fields change, update:
378 * - dependent comments (just search for "VG_(needs)").
379 */
380typedef
381 struct {
382 Bool libc_freeres;
383 Bool core_errors;
njn810086f2002-11-14 12:42:47 +0000384 Bool skin_errors;
385 Bool basic_block_discards;
386 Bool shadow_regs;
387 Bool command_line_options;
388 Bool client_requests;
389 Bool extended_UCode;
390 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000391 Bool sanity_checks;
392 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000393 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000394 }
395 VgNeeds;
396
397extern VgNeeds VG_(needs);
398
fitzhardinge98abfc72003-12-16 02:05:15 +0000399extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000400
fitzhardinge98abfc72003-12-16 02:05:15 +0000401#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000402
403/* ---------------------------------------------------------------------
404 Exports of vg_needs.c
405 ------------------------------------------------------------------ */
406
407void VG_(sanity_check_needs)(void);
408
409/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000410 Exports of vg_malloc2.c
411 ------------------------------------------------------------------ */
412
413/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000414
415 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000416 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000417 SYMTAB for Valgrind's symbol table storage.
418 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000419 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
420 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000421 DEMANGLE for the C++ demangler.
422 EXECTXT for storing ExeContexts.
423 ERRORS for storing CoreErrors.
424 TRANSIENT for very short-term use. It should be empty in between uses.
425
njn25e49d8e72002-09-23 09:36:25 +0000426 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000427*/
428typedef Int ArenaId;
429
njn3e884182003-04-15 13:03:23 +0000430#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000431
njn3e884182003-04-15 13:03:23 +0000432#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000433#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000434#define VG_AR_SYMTAB 2
435#define VG_AR_JITTER 3
436#define VG_AR_CLIENT 4
437#define VG_AR_DEMANGLE 5
438#define VG_AR_EXECTXT 6
439#define VG_AR_ERRORS 7
440#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000441
nethercote2d5b8162004-08-11 09:40:52 +0000442// This is both the minimum payload size of a malloc'd block, and its
443// minimum alignment. Must be a power of 2 greater than 4, and should be
444// greater than 8.
445#define VG_MIN_MALLOC_SZB 8
446
447// Round-up size for --sloppy-malloc=yes.
448#define VG_SLOPPY_MALLOC_SZB 4
449
nethercote7ac7f7b2004-11-02 12:36:02 +0000450extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000451extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000452extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
453 SizeT nmemb, SizeT nbytes );
454extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
455 SizeT size );
456extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
457 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000458
nethercote7ac7f7b2004-11-02 12:36:02 +0000459extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000460
nethercote885dd912004-08-03 23:14:00 +0000461extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000462
nethercote3a42fb82004-08-03 18:08:50 +0000463extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000464
sewardjde4a1d02002-03-22 01:27:54 +0000465extern Bool VG_(is_empty_arena) ( ArenaId aid );
466
sewardjde4a1d02002-03-22 01:27:54 +0000467/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000468 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000469 ------------------------------------------------------------------ */
470
471/* This doesn't export code or data that valgrind.so needs to link
472 against. However, the scheduler does need to know the following
473 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000474 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000475
njn4c791212003-05-02 17:53:54 +0000476#define VG_USERREQ__MALLOC 0x2001
477#define VG_USERREQ__FREE 0x2002
478
sewardj20917d82002-05-28 01:36:45 +0000479/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
480 MUST NOT return -- ever. Eventually it will do either __QUIT or
481 __WAIT_JOINER. */
482#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
483
484/* ( no-args ): calling thread disappears from the system forever.
485 Reclaim resources. */
486#define VG_USERREQ__QUIT 0x3002
487
488/* ( void* ): calling thread waits for joiner and returns the void* to
489 it. */
490#define VG_USERREQ__WAIT_JOINER 0x3003
491
492/* ( ThreadId, void** ): wait to join a thread. */
493#define VG_USERREQ__PTHREAD_JOIN 0x3004
494
495/* Set cancellation state and type for this thread. */
496#define VG_USERREQ__SET_CANCELSTATE 0x3005
497#define VG_USERREQ__SET_CANCELTYPE 0x3006
498
499/* ( no-args ): Test if we are at a cancellation point. */
500#define VG_USERREQ__TESTCANCEL 0x3007
501
502/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
503 with this arg to indicate that a cancel is now pending for the
504 specified thread. */
505#define VG_USERREQ__SET_CANCELPEND 0x3008
506
507/* Set/get detach state for this thread. */
508#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
509
thughese321d492004-10-17 15:00:20 +0000510#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
511#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
512#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000513#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
514#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
515#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
516#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
517#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
518#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
519#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
520#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000521#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
522#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000523#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
524#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000525#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000526#define VG_USERREQ__PTHREAD_KILL 0x301A
527#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000528#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000529
sewardj8ad94e12002-05-29 00:10:20 +0000530#define VG_USERREQ__CLEANUP_PUSH 0x3020
531#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000532#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000533
sewardjef037c72002-05-30 00:40:03 +0000534#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000535
536/* Ask how many signal handler returns have happened to this
537 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000538#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000539
sewardj2cb00342002-06-28 01:46:26 +0000540/* Get/set entries for a thread's pthread_atfork stack. */
541#define VG_USERREQ__SET_FHSTACK_USED 0x3025
542#define VG_USERREQ__GET_FHSTACK_USED 0x3026
543#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
544#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000545
nethercotef971ab72004-08-02 16:27:40 +0000546/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000547#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000548
549/* Allocate RT signals */
550#define VG_USERREQ__GET_SIGRT_MIN 0x302B
551#define VG_USERREQ__GET_SIGRT_MAX 0x302C
552#define VG_USERREQ__ALLOC_RTSIG 0x302D
553
554/* Hook for replace_malloc.o to get malloc functions */
555#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
556
thughesdaa34562004-06-27 12:48:53 +0000557/* Get stack information for a thread. */
558#define VG_USERREQ__GET_STACK_INFO 0x3033
559
sewardj45b4b372002-04-16 22:50:32 +0000560/* Cosmetic ... */
561#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000562/* Log a pthread error from client-space. Cosmetic. */
563#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000564/* Internal equivalent of VALGRIND_PRINTF . */
565#define VG_USERREQ__INTERNAL_PRINTF 0x3103
566/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
567#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000568
sewardj54cacf02002-04-12 23:24:59 +0000569/*
nethercote5a2664c2004-09-02 15:37:39 +0000570In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000571#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000572*/
573
rjwalshe4e779d2004-04-16 23:02:29 +0000574#define VG_INTERCEPT_PREFIX "_vgi__"
575#define VG_INTERCEPT_PREFIX_LEN 6
576#define VG_INTERCEPT(name) _vgi__##name
577#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
578
579#define VG_WRAPPER_PREFIX "_vgw__"
580#define VG_WRAPPER_PREFIX_LEN 6
581#define VG_WRAPPER(name) _vgw__##name
582#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
583
njn4c791212003-05-02 17:53:54 +0000584
fitzhardinge98abfc72003-12-16 02:05:15 +0000585struct vg_mallocfunc_info {
586 /* things vg_replace_malloc.o needs to know about */
587 Addr sk_malloc;
588 Addr sk_calloc;
589 Addr sk_realloc;
590 Addr sk_memalign;
591 Addr sk___builtin_new;
592 Addr sk___builtin_vec_new;
593 Addr sk_free;
594 Addr sk___builtin_delete;
595 Addr sk___builtin_vec_delete;
596
597 Addr arena_payload_szB;
598
599 Bool clo_sloppy_malloc;
600 Bool clo_trace_malloc;
601};
sewardj1fe7b002002-07-16 01:43:15 +0000602
sewardj2e93c502002-04-12 11:12:52 +0000603/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000604 Exports of vg_defaults.c
605 ------------------------------------------------------------------ */
606
607extern Bool VG_(sk_malloc_called_by_scheduler);
608
nethercotef9b59412004-09-10 15:33:32 +0000609/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000610 Exports of vg_libpthread.c
611 ------------------------------------------------------------------ */
612
613/* Replacements for pthread types, shared between vg_libpthread.c and
614 vg_scheduler.c. See comment in vg_libpthread.c above the other
615 vg_pthread_*_t types for a description of how these are used. */
616
617struct _vg_pthread_fastlock
618{
619 long int __vg_status; /* "Free" or "taken" or head of waiting list */
620 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
621 adaptive SMP lock stores spin count here. */
622};
623
624typedef struct
625{
626 int __vg_m_reserved; /* Reserved for future use */
627 int __vg_m_count; /* Depth of recursive locking */
628 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
629 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
630 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
631} vg_pthread_mutex_t;
632
633typedef struct
634{
635 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000636 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
637
638 // Nb: the following padding removed because it was missing from an
639 // earlier glibc, so the size test in the CONVERT macro was failing.
640 // --njn
641
nethercote1f0173b2004-02-28 15:40:36 +0000642 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000643 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000644 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000645 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000646} vg_pthread_cond_t;
647
648
649/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000650 Exports of vg_scheduler.c
651 ------------------------------------------------------------------ */
652
sewardj2e93c502002-04-12 11:12:52 +0000653typedef
jsgf855d93d2003-10-13 22:26:55 +0000654 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000655 VgTs_Empty, /* this slot is not in use */
656 VgTs_Runnable, /* waiting to be scheduled */
657 VgTs_WaitJoiner, /* waiting for someone to do join on me */
658 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000659 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000660 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000661 VgTs_WaitSys, /* waiting for a syscall to complete */
662 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000663 }
664 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000665
thughes11975ff2004-06-12 12:58:22 +0000666typedef
667 enum CleanupType {
668 VgCt_None, /* this cleanup entry is not initialised */
669 VgCt_Function, /* an old-style function pointer cleanup */
670 VgCt_Longjmp /* a new-style longjmp based cleanup */
671 }
672 CleanupType;
673
thughesdaa34562004-06-27 12:48:53 +0000674/* Information on a thread's stack. */
675typedef
676 struct {
677 Addr base;
678 UInt size;
679 UInt guardsize;
680 }
681 StackInfo;
682
sewardj8ad94e12002-05-29 00:10:20 +0000683/* An entry in a threads's cleanup stack. */
684typedef
685 struct {
thughes11975ff2004-06-12 12:58:22 +0000686 CleanupType type;
687 union {
688 struct {
689 void (*fn)(void*);
690 void* arg;
691 } function;
692 struct {
thughesebed9982004-06-12 17:25:25 +0000693 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000694 int ctype;
695 } longjmp;
696 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000697 }
698 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000699
700/* An entry in a thread's fork-handler stack. */
701typedef
702 struct {
703 void (*prepare)(void);
704 void (*parent)(void);
705 void (*child)(void);
706 }
707 ForkHandlerEntry;
708
jsgf855d93d2003-10-13 22:26:55 +0000709typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000710
nethercote8ff888f2004-11-17 17:11:45 +0000711//typedef
njn72718642003-07-24 08:45:32 +0000712 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000713 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
714 The thread identity is simply the index in vg_threads[].
715 ThreadId == 1 is the root thread and has the special property
716 that we don't try and allocate or deallocate its stack. For
717 convenience of generating error message, we also put the
718 ThreadId in this tid field, but be aware that it should
719 ALWAYS == the index in vg_threads[]. */
720 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000721
njn25e49d8e72002-09-23 09:36:25 +0000722 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000723
njn25e49d8e72002-09-23 09:36:25 +0000724 Complications: whenever this is set to VgTs_WaitMX, you
725 should also set .m_edx to whatever the required return value
726 is for pthread_mutex_lock / pthread_cond_timedwait for when
727 the mutex finally gets unblocked. */
728 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000729
njn25e49d8e72002-09-23 09:36:25 +0000730 /* When .status == WaitMX, points to the mutex I am waiting for.
731 When .status == WaitCV, points to the mutex associated with
732 the condition variable indicated by the .associated_cv field.
733 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000734 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000735
njn25e49d8e72002-09-23 09:36:25 +0000736 /* When .status == WaitCV, points to the condition variable I am
737 waiting for. In all other cases, should be NULL. */
738 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000741 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000742
njn25e49d8e72002-09-23 09:36:25 +0000743 If VgTs_WaitCV, this indicates the time at which
744 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
745 this means infinitely far in the future, viz,
746 pthread_cond_wait. */
747 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000748
njn25e49d8e72002-09-23 09:36:25 +0000749 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
750 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* If VgTs_WaitJoinee, place to copy the return value to, and
753 the identity of the thread we're waiting for. */
754 void** joiner_thread_return;
755 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000756
jsgf855d93d2003-10-13 22:26:55 +0000757 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
758 void *sys_pre_res;
759
760 /* If VgTs_WaitSys, this is the syscall we're currently running */
761 Int syscallno;
762
thughesbaa46e52004-07-29 17:44:23 +0000763 /* If VgTs_WaitSys, this is the syscall flags */
764 UInt sys_flags;
765
jsgf855d93d2003-10-13 22:26:55 +0000766 /* Details about this thread's proxy LWP */
767 ProxyLWP *proxy;
768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* Whether or not detached. */
770 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000771
njn25e49d8e72002-09-23 09:36:25 +0000772 /* Cancelability state and type. */
773 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
774 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
775
776 /* Pointer to fn to call to do cancellation. Indicates whether
777 or not cancellation is pending. If NULL, not pending. Else
778 should be &thread_exit_wrapper(), indicating that
779 cancallation is pending. */
780 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* The cleanup stack. */
783 Int custack_used;
784 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000785
sewardj00a66b12002-10-12 16:42:35 +0000786 /* A pointer to the thread's-specific-data. This is handled almost
787 entirely from vg_libpthread.c. We just provide hooks to get and
788 set this ptr. This is either NULL, indicating the thread has
789 read/written none of its specifics so far, OR points to a
790 void*[VG_N_THREAD_KEYS], allocated and deallocated in
791 vg_libpthread.c. */
792 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000793
njn25e49d8e72002-09-23 09:36:25 +0000794 /* This thread's blocked-signals mask. Semantics is that for a
795 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000796 blocked by this signal mask. If more than one thread accepts a
797 signal, then it will be delivered to one at random. If all
798 threads block the signal, it will remain pending until either a
799 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
800
801 sig_mask reflects what the client told us its signal mask should
802 be, but isn't necessarily the current signal mask of the proxy
803 LWP: it may have more signals blocked because of signal
804 handling, or it may be different because of sigsuspend.
805 */
nethercote73b526f2004-10-31 18:48:21 +0000806 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000807
fitzhardingef0dd7e12004-01-16 02:17:30 +0000808 /* Effective signal mask. This is the mask which currently
809 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000810 handler is running.
811 */
nethercote73b526f2004-10-31 18:48:21 +0000812 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000813
thughes8abf3922004-10-16 10:59:49 +0000814 /* Signal queue. This is used when the kernel doesn't route
815 signals properly in order to remember the signal information
816 while we are routing the signal. It is a circular queue with
817 insertions performed at the head and removals at the tail.
818 */
nethercote73b526f2004-10-31 18:48:21 +0000819 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000820 Int sigqueue_head;
821 Int sigqueue_tail;
822
njn25e49d8e72002-09-23 09:36:25 +0000823 /* Stacks. When a thread slot is freed, we don't deallocate its
824 stack; we just leave it lying around for the next use of the
825 slot. If the next use of the slot requires a larger stack,
826 only then is the old one deallocated and a new one
827 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000828
njn25e49d8e72002-09-23 09:36:25 +0000829 For the main thread (threadid == 0), this mechanism doesn't
830 apply. We don't know the size of the stack since we didn't
831 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000832
njn25e49d8e72002-09-23 09:36:25 +0000833 /* The allocated size of this thread's stack (permanently zero
834 if this is ThreadId == 0, since we didn't allocate its stack) */
835 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000836
njn25e49d8e72002-09-23 09:36:25 +0000837 /* Address of the lowest word in this thread's stack. NULL means
838 not allocated yet.
839 */
840 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000841
thughesdaa34562004-06-27 12:48:53 +0000842 /* The allocated size of this thread's stack's guard area (permanently
843 zero if this is ThreadId == 0, since we didn't allocate its stack) */
844 UInt stack_guard_size;
845
sewardj92a59562002-09-30 00:53:10 +0000846 /* Address of the highest legitimate word in this stack. This is
847 used for error messages only -- not critical for execution
848 correctness. Is is set for all stacks, specifically including
849 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000850 Addr stack_highest_word;
851
fitzhardinge98c4dc02004-03-16 08:27:29 +0000852 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000853 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000854
nethercotec06e2132004-09-03 13:45:29 +0000855 /* Architecture-specific thread state */
856 arch_thread_t arch;
nethercote8ff888f2004-11-17 17:11:45 +0000857};
858//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000859
860
sewardj018f7622002-05-15 21:13:39 +0000861/* The thread table. */
862extern ThreadState VG_(threads)[VG_N_THREADS];
863
864/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000865extern Bool VG_(is_valid_tid) ( ThreadId tid );
866
njn72718642003-07-24 08:45:32 +0000867/* Determine if 'tid' is that of the current running thread (Nb: returns
868 False if no thread is currently running. */
869extern Bool VG_(is_running_thread)(ThreadId tid);
870
jsgf855d93d2003-10-13 22:26:55 +0000871/* Get the ThreadState for a particular thread */
872extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
873
sewardj1e8cdc92002-04-18 11:37:52 +0000874/* Similarly ... */
875extern ThreadId VG_(get_current_tid) ( void );
876
sewardjccef2e62002-05-29 19:26:32 +0000877/* Nuke all threads except tid. */
878extern void VG_(nuke_all_threads_except) ( ThreadId me );
879
jsgf855d93d2003-10-13 22:26:55 +0000880/* Give a hint to the scheduler that it may be a good time to find a
881 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
882 try to schedule that thread.
883*/
884extern void VG_(need_resched) ( ThreadId prefer_sched );
885
sewardj2e93c502002-04-12 11:12:52 +0000886/* Return codes from the scheduler. */
887typedef
sewardj7e87e382002-05-03 19:09:05 +0000888 enum {
889 VgSrc_Deadlock, /* no runnable threads and no prospect of any
890 even if we wait for a long time */
891 VgSrc_ExitSyscall, /* client called exit(). This is the normal
892 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000893 VgSrc_FatalSig /* Killed by the default action of a fatal
894 signal */
sewardj7e87e382002-05-03 19:09:05 +0000895 }
sewardj2e93c502002-04-12 11:12:52 +0000896 VgSchedReturnCode;
897
sewardj7e87e382002-05-03 19:09:05 +0000898
nethercote238a3c32004-08-09 13:13:31 +0000899// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
900extern VgSchedReturnCode VG_(scheduler)
901 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000902
903extern void VG_(scheduler_init) ( void );
904
sewardj15a43e12002-04-17 19:35:12 +0000905extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000906
nethercote75d26242004-08-01 22:59:18 +0000907// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000908extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000909
nethercote238a3c32004-08-09 13:13:31 +0000910// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
911extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
912
sewardj2e93c502002-04-12 11:12:52 +0000913/* The red-zone size which we put at the bottom (highest address) of
914 thread stacks, for paranoia reasons. This can be arbitrary, and
915 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000916#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000917
nethercoteaff1c772004-09-13 16:11:09 +0000918// Write a value to a client's thread register, and shadow (if necessary).
919// Note that there are some further similar macros in the arch- and
920// platform-specific parts; these ones are the totally generic ones.
921#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzREG, zzevent, zzargs... ) \
922 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
923 VG_TRACK( zzevent, zztid, zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000924 } while (0)
925
njnd3040452003-05-19 15:04:06 +0000926#define SET_CLREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000927 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
928 post_reg_write_clientreq_return)
njnd3040452003-05-19 15:04:06 +0000929
930#define SET_CLCALL_RETVAL(zztid, zzval, f) \
nethercoteaff1c772004-09-13 16:11:09 +0000931 SET_THREAD_REG(zztid, zzval, ARCH_CLREQ_RET, R_CLREQ_RET, \
932 post_reg_write_clientcall_return, f)
njnd3040452003-05-19 15:04:06 +0000933
934#define SET_PTHREQ_ESP(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000935 SET_THREAD_REG(zztid, zzval, ARCH_STACK_PTR, R_STACK_PTR, \
936 post_reg_write_pthread_return)
njnd3040452003-05-19 15:04:06 +0000937
938#define SET_PTHREQ_RETVAL(zztid, zzval) \
nethercoteaff1c772004-09-13 16:11:09 +0000939 SET_THREAD_REG(zztid, zzval, ARCH_PTHREQ_RET, R_PTHREQ_RET, \
940 post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000941
sewardj2e93c502002-04-12 11:12:52 +0000942
943/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000944 Exports of vg_signals.c
945 ------------------------------------------------------------------ */
946
jsgf855d93d2003-10-13 22:26:55 +0000947extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
948
949/* RT signal allocation */
950extern Int VG_(sig_rtmin);
951extern Int VG_(sig_rtmax);
952extern Int VG_(sig_alloc_rtsig) ( Int high );
953
sewardjde4a1d02002-03-22 01:27:54 +0000954extern void VG_(sigstartup_actions) ( void );
955
nethercote73b526f2004-10-31 18:48:21 +0000956extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000957extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000958
jsgf855d93d2003-10-13 22:26:55 +0000959extern Bool VG_(is_sig_ign) ( Int sigNo );
960
961/* Route pending signals from the scheduler LWP to the appropriate
962 thread LWP. */
963extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000964
965/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000966extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
967extern void VG_(do_sys_sigaction) ( ThreadId tid );
968extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000969 vki_sigset_t* set,
970 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000971extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000972 vki_sigset_t* set,
973 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000974
sewardj2e93c502002-04-12 11:12:52 +0000975/* Modify the current thread's state once we have detected it is
976 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000977extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000978
sewardj2e93c502002-04-12 11:12:52 +0000979/* Handy utilities to block/restore all host signals. */
980extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000981 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000982extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000983 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000984
jsgf855d93d2003-10-13 22:26:55 +0000985extern void VG_(kill_self)(Int sigNo);
986
fitzhardingef1beb252004-03-16 09:49:08 +0000987/* These function synthesize a fault, as if the running instruction
988 had had a fault. These functions do not return - they longjmp back
989 into the scheduler so the signal can be delivered. */
990extern void VG_(synth_fault) (ThreadId tid);
991extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
992extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
993
nethercote759dda32004-08-07 18:16:56 +0000994extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000995
sewardjde4a1d02002-03-22 01:27:54 +0000996/* ---------------------------------------------------------------------
997 Exports of vg_mylibc.c
998 ------------------------------------------------------------------ */
999
njne427a662002-10-02 11:08:25 +00001000#define vg_assert(expr) \
1001 ((void) ((expr) ? 0 : \
1002 (VG_(core_assert_fail) (VG__STRING(expr), \
1003 __FILE__, __LINE__, \
1004 __PRETTY_FUNCTION__), 0)))
1005__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001006extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1007 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001008__attribute__ ((__noreturn__))
1009extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001010__attribute__ ((__noreturn__))
1011extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001012
nethercote05675c82004-08-04 10:37:49 +00001013/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001014extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001015
njn25e49d8e72002-09-23 09:36:25 +00001016extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001017extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001018
fitzhardinge98abfc72003-12-16 02:05:15 +00001019/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001020extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001021 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001022extern Int VG_(munmap)( void* start, SizeT length );
1023extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001024
1025
jsgf855d93d2003-10-13 22:26:55 +00001026/* Move an fd into the Valgrind-safe range */
1027Int VG_(safe_fd)(Int oldfd);
1028
sewardj570f8902002-11-03 11:44:36 +00001029extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001030
1031/* --- Connecting over the network --- */
1032extern Int VG_(connect_via_socket)( UChar* str );
1033
fitzhardinge98abfc72003-12-16 02:05:15 +00001034/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001035extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1036 const Char *val );
1037extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1038extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001039
1040/* ---------------------------------------------------------------------
1041 Exports of vg_message.c
1042 ------------------------------------------------------------------ */
1043
1044/* Low-level -- send bytes directly to the message sink. Do not
1045 use. */
1046extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1047
nethercoted1da90e2004-08-03 17:26:39 +00001048// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001049// sim'd CPU. Defined here because needed for vg_libpthread.c,
1050// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1051// ensures the multiple definitions are not a problem. They must be functions
1052// rather than macros so that va_list can be used.
1053
1054__attribute__((weak))
1055int
1056VALGRIND_INTERNAL_PRINTF(char *format, ...)
1057{
nethercotebe671db2004-10-26 11:44:46 +00001058 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001059 va_list vargs;
1060 va_start(vargs, format);
1061 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001062 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001063 va_end(vargs);
1064 return _qzz_res;
1065}
1066
1067__attribute__((weak))
1068int
1069VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1070{
nethercotebe671db2004-10-26 11:44:46 +00001071 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001072 va_list vargs;
1073 va_start(vargs, format);
1074 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001075 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001076 va_end(vargs);
1077 return _qzz_res;
1078}
1079
nethercoted1da90e2004-08-03 17:26:39 +00001080
sewardjde4a1d02002-03-22 01:27:54 +00001081/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001082 Exports of vg_demangle.c
1083 ------------------------------------------------------------------ */
1084
1085extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1086
sewardjde4a1d02002-03-22 01:27:54 +00001087/* ---------------------------------------------------------------------
1088 Exports of vg_from_ucode.c
1089 ------------------------------------------------------------------ */
1090
sewardj22854b92002-11-30 14:00:47 +00001091extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001092
njn25e49d8e72002-09-23 09:36:25 +00001093extern void VG_(print_ccall_stats) ( void );
1094extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001095
sewardj22854b92002-11-30 14:00:47 +00001096extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1097extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
sewardj22854b92002-11-30 14:00:47 +00001098
sewardjde4a1d02002-03-22 01:27:54 +00001099/* ---------------------------------------------------------------------
1100 Exports of vg_to_ucode.c
1101 ------------------------------------------------------------------ */
1102
fitzhardingec2dbbac2004-01-23 23:09:01 +00001103Bool VG_(cpu_has_feature)(UInt feat);
1104
nethercote4ad74312004-10-26 09:59:49 +00001105extern Int VG_(disBB) ( UCodeBlock* cb, Addr ip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001106
1107/* ---------------------------------------------------------------------
1108 Exports of vg_translate.c
1109 ------------------------------------------------------------------ */
1110
njn810086f2002-11-14 12:42:47 +00001111/* Expandable arrays of uinstrs. */
1112struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001113 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001114 Int used;
1115 Int size;
1116 UInstr* instrs;
1117 Int nextTemp;
1118};
1119
nethercote4d714382004-10-13 09:47:24 +00001120extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001121
nethercote885dd912004-08-03 23:14:00 +00001122extern void VG_(sanity_check_UInstr) ( UInt n, UInstr* u );
sewardjde4a1d02002-03-22 01:27:54 +00001123
nethercotebee3fd92004-08-02 15:17:43 +00001124extern void VG_(print_reg_alloc_stats) ( void );
sewardjb5ff83e2002-12-01 19:40:49 +00001125
sewardjde4a1d02002-03-22 01:27:54 +00001126/* ---------------------------------------------------------------------
1127 Exports of vg_execontext.c.
1128 ------------------------------------------------------------------ */
1129
nethercote4ad74312004-10-26 09:59:49 +00001130/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001131 values are used in comparisons do remove duplicate errors, and for
1132 comparing against suppression specifications. The rest are purely
1133 informational (but often important). */
1134
njn25e49d8e72002-09-23 09:36:25 +00001135struct _ExeContext {
1136 struct _ExeContext * next;
1137 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001138 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001139 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001140 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001141};
sewardjde4a1d02002-03-22 01:27:54 +00001142
1143
sewardjde4a1d02002-03-22 01:27:54 +00001144/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001145extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001146
njn25e49d8e72002-09-23 09:36:25 +00001147/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001148extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1149 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001150
1151
1152/* ---------------------------------------------------------------------
1153 Exports of vg_errcontext.c.
1154 ------------------------------------------------------------------ */
1155
njn25e49d8e72002-09-23 09:36:25 +00001156extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001157
njn25e49d8e72002-09-23 09:36:25 +00001158extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001159
njn25e49d8e72002-09-23 09:36:25 +00001160extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001161
nethercotef2b11482004-08-02 12:36:01 +00001162extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001163
nethercotef2b11482004-08-02 12:36:01 +00001164extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001165
sewardjde4a1d02002-03-22 01:27:54 +00001166/* ---------------------------------------------------------------------
1167 Exports of vg_procselfmaps.c
1168 ------------------------------------------------------------------ */
1169
njnfa1016e2003-09-25 17:54:11 +00001170/* Reads /proc/self/maps into a static buffer which can be parsed by
1171 VG_(parse_procselfmaps)(). */
1172extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001173
1174/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1175 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1176 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001177extern
njnfa1016e2003-09-25 17:54:11 +00001178void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001179 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001180 UInt dev, UInt ino, ULong foff,
1181 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001182
1183
1184/* ---------------------------------------------------------------------
1185 Exports of vg_symtab2.c
1186 ------------------------------------------------------------------ */
1187
fitzhardinge98abfc72003-12-16 02:05:15 +00001188typedef struct _Segment Segment;
1189
1190extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001191extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001192extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001193extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001194extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001195
njn25e49d8e72002-09-23 09:36:25 +00001196extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001197
fitzhardinge98abfc72003-12-16 02:05:15 +00001198/* Set up some default redirects */
1199extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001200
fitzhardinge98abfc72003-12-16 02:05:15 +00001201/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001202extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001203
1204/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001205 Exports of vg_main.c
1206 ------------------------------------------------------------------ */
1207
sewardjb91ae7f2003-04-29 23:50:00 +00001208/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1209 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001210 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001211 correctly snapshot the startup machine state without it. */
1212extern Bool VG_(have_ssestate);
1213
sewardj73cf3bc2002-11-03 03:20:15 +00001214/* Tell the logging mechanism whether we are logging to a file
1215 descriptor or a socket descriptor. */
1216extern Bool VG_(logging_to_filedes);
1217
njn25e49d8e72002-09-23 09:36:25 +00001218/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001219extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001220
fitzhardinge98abfc72003-12-16 02:05:15 +00001221/* Address space */
1222extern Addr VG_(client_base); /* client address space limits */
1223extern Addr VG_(client_end);
1224extern Addr VG_(client_mapbase); /* base of mappings */
1225extern Addr VG_(clstk_base); /* client stack range */
1226extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001227extern Addr VG_(client_trampoline_code);
1228
fitzhardinge98abfc72003-12-16 02:05:15 +00001229extern Addr VG_(brk_base); /* start of brk */
1230extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001231extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001232extern Addr VG_(shadow_end);
1233extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001234extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001235
nethercote73b526f2004-10-31 18:48:21 +00001236extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1237extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001238
fitzhardingea49f9b52003-12-16 22:26:45 +00001239/* client executable file descriptor */
1240extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001241
nethercotef6a1d502004-08-09 12:21:57 +00001242// Help set up the child used when doing execve() with --trace-children=yes
1243Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1244Char* VG_(build_child_exename) ( void );
1245
nethercote4ad74312004-10-26 09:59:49 +00001246/* Determine if SP adjustment must be noted */
1247extern Bool VG_(need_to_handle_SP_assignment) ( void );
njnf4ce3d32003-02-10 10:17:26 +00001248
sewardjde4a1d02002-03-22 01:27:54 +00001249/* Called when some unhandleable client behaviour is detected.
1250 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001251extern void VG_(unimplemented) ( Char* msg )
1252 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001253
nethercote04d0fbc2004-01-26 16:48:06 +00001254/* Something of a function looking for a home ... start up debugger. */
1255extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001256
sewardjde4a1d02002-03-22 01:27:54 +00001257/* Counts downwards in vg_run_innerloop. */
1258extern UInt VG_(dispatch_ctr);
1259
sewardjde4a1d02002-03-22 01:27:54 +00001260/* --- Counters, for informational purposes only. --- */
1261
nethercote92e7b7f2004-08-07 17:52:25 +00001262// These counters must be declared here because they're maintained by
1263// vg_dispatch.S.
1264extern UInt VG_(bb_enchain_count); // Counts of chain operations done
1265extern UInt VG_(bb_dechain_count); // Counts of unchain operations done
1266extern UInt VG_(unchained_jumps_done); // Number of unchained jumps performed
sewardj22854b92002-11-30 14:00:47 +00001267
nethercote844e7122004-08-02 15:27:22 +00001268extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001269
nethercote2e05c332004-09-06 16:43:37 +00001270extern Int VG_(alloc_BaB)( Int ); // Allocate slots in baseBlock
1271extern void VG_(align_BaB)( UInt ); // Align baseBlock offset
1272extern Int VG_(alloc_BaB_1_set)( Addr ); // Allocate & init baseBlock slot
1273
sewardjde4a1d02002-03-22 01:27:54 +00001274/* ---------------------------------------------------------------------
1275 Exports of vg_memory.c
1276 ------------------------------------------------------------------ */
1277
fitzhardinge98abfc72003-12-16 02:05:15 +00001278/* A Segment is mapped piece of client memory. This covers all kinds
1279 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1280
1281 We try to encode everything we know about a particular segment here.
1282*/
nethercote85cdd342004-08-01 22:36:40 +00001283#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1284#define SF_SHARED (1 << 1) // shared
1285#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1286#define SF_MMAP (1 << 3) // mmap memory
1287#define SF_FILE (1 << 4) // mapping is backed by a file
1288#define SF_STACK (1 << 5) // is a stack
1289#define SF_GROWDOWN (1 << 6) // segment grows down
1290#define SF_GROWUP (1 << 7) // segment grows up
1291#define SF_EXEC (1 << 8) // segment created by exec
1292#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1293#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1294#define SF_BRK (1 << 11) // brk segment
1295#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1296#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1297#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001298
1299struct _Segment {
1300 UInt prot; /* VKI_PROT_* */
1301 UInt flags; /* SF_* */
1302
1303 Addr addr; /* mapped addr (page aligned) */
nethercote8991d5a2004-11-03 17:07:46 +00001304 SizeT len; /* size of mapping (page aligned) */
fitzhardinge98abfc72003-12-16 02:05:15 +00001305
1306 /* These are valid if (flags & SF_FILE) */
1307 ULong offset; /* file offset */
1308 const Char *filename; /* filename (NULL if unknown) */
1309 UInt dev; /* device */
1310 UInt ino; /* inode */
1311
1312 SegInfo *symtab; /* symbol table */
1313};
1314
1315/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001316extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001317 Int fd, ULong off, const Char *filename);
1318
1319/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001320extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001321 UInt dev, UInt ino, ULong off, const Char *filename);
1322
1323/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001324extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001325
nethercote8b5f40c2004-11-02 13:29:50 +00001326extern void VG_(unmap_range) (Addr addr, SizeT len);
1327extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1328extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001329
1330extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001331extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001332extern Segment *VG_(next_segment)(Segment *);
1333
nethercote8991d5a2004-11-03 17:07:46 +00001334extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1335extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001336
nethercote8991d5a2004-11-03 17:07:46 +00001337extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001338extern void VG_(unpad_address_space)(void);
1339
nethercoteeec46302004-08-23 15:06:23 +00001340extern REGPARM(1)
nethercote4ad74312004-10-26 09:59:49 +00001341 void VG_(unknown_SP_update) ( Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001342
jsgf855d93d2003-10-13 22:26:55 +00001343/* ---------------------------------------------------------------------
1344 Exports of vg_proxylwp.c
1345 ------------------------------------------------------------------ */
1346
nethercote24e0d442004-10-18 17:36:40 +00001347enum PXState
1348{
1349 PXS_BAD = -1,
1350 PXS_WaitReq, /* waiting for a request */
1351 PXS_RunSyscall, /* running a syscall */
1352 PXS_IntReply, /* request interrupted - need to send reply */
1353 PXS_SysDone, /* small window between syscall
1354 complete and results written out */
1355 PXS_SigACK, /* waiting for a signal ACK */
1356};
1357
1358
jsgf855d93d2003-10-13 22:26:55 +00001359/* Issue a syscall for thread tid */
1360extern Int VG_(sys_issue)(int tid);
1361
1362extern void VG_(proxy_init) ( void );
1363extern void VG_(proxy_create) ( ThreadId tid );
1364extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1365extern void VG_(proxy_results) ( void );
1366extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1367extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001368extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001369extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1370extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001371extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001372
nethercote85cdd342004-08-01 22:36:40 +00001373extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1374extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1375 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001376
1377/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001378void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001379
1380/* Send a signal from a thread's proxy to the thread. This longjmps
1381 back into the proxy's main loop, so it doesn't return. */
1382__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001383extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001384 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001385
sewardjde4a1d02002-03-22 01:27:54 +00001386/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001387 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001388 ------------------------------------------------------------------ */
1389
fitzhardinge98abfc72003-12-16 02:05:15 +00001390extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001391
jsgf855d93d2003-10-13 22:26:55 +00001392extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001393extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001394
nethercote5b9fafd2004-11-04 18:39:22 +00001395extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001396
jsgf855d93d2003-10-13 22:26:55 +00001397/* Internal atfork handlers */
1398typedef void (*vg_atfork_t)(ThreadId);
1399extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001400
rjwalshf5f536f2003-11-17 17:45:00 +00001401/* fd leakage calls. */
1402extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001403extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001404
nethercote8ff888f2004-11-17 17:11:45 +00001405// Return true if address range entirely contained within client
1406// address space.
1407Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1408 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001409
1410// Return true if we're allowed to use or create this fd.
1411Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1412
1413void VG_(record_fd_open)(Int tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001414
1415// Flags describing syscall wrappers
1416#define Special (1 << 0)
1417#define MayBlock (1 << 1)
1418#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1419#define PostOnFail (1 << 3)
1420
1421// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1422// post-wrapper (which is actually not always needed), and the associated
1423// flags.
1424#define GEN_SYSCALL_WRAPPER(x) \
1425 extern UInt VGA_(gen_##x##_flags); \
1426 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1427 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
1428
1429// Generic (platform-independent) syscall wrappers. These are generally
1430// POSIX or something like that; those that are not POSIX are annotated
1431// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001432// For many of them, it's unclear if they are generic, or Linux-specific, or
1433// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001434//
1435// Nb: This list may change over time... ones thought at first to be generic
1436// may turn out not to be, and so be moved into OS-specific or
1437// platform-specific files. If there's any doubt, I'm leaving them in here.
1438//
1439// Nb 2: if porting to a new OS, you should really check all these generic
1440// wrappers to make sure they match your OS, painful as it might be.
1441
1442GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1443GEN_SYSCALL_WRAPPER(sys_exit);
1444GEN_SYSCALL_WRAPPER(sys_fork);
1445GEN_SYSCALL_WRAPPER(sys_read);
1446GEN_SYSCALL_WRAPPER(sys_write);
1447GEN_SYSCALL_WRAPPER(sys_open);
1448GEN_SYSCALL_WRAPPER(sys_close);
1449GEN_SYSCALL_WRAPPER(sys_waitpid);
1450GEN_SYSCALL_WRAPPER(sys_creat);
1451GEN_SYSCALL_WRAPPER(sys_link);
1452GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001453GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001454GEN_SYSCALL_WRAPPER(sys_chdir);
1455GEN_SYSCALL_WRAPPER(sys_time);
1456GEN_SYSCALL_WRAPPER(sys_mknod);
1457GEN_SYSCALL_WRAPPER(sys_chmod);
1458GEN_SYSCALL_WRAPPER(sys_lseek);
1459GEN_SYSCALL_WRAPPER(sys_getpid);
1460GEN_SYSCALL_WRAPPER(sys_alarm);
1461GEN_SYSCALL_WRAPPER(sys_pause);
1462GEN_SYSCALL_WRAPPER(sys_utime);
1463GEN_SYSCALL_WRAPPER(sys_access);
1464GEN_SYSCALL_WRAPPER(sys_kill);
1465GEN_SYSCALL_WRAPPER(sys_rename);
1466GEN_SYSCALL_WRAPPER(sys_mkdir);
1467GEN_SYSCALL_WRAPPER(sys_rmdir);
1468GEN_SYSCALL_WRAPPER(sys_dup);
1469GEN_SYSCALL_WRAPPER(sys_times);
1470GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1471GEN_SYSCALL_WRAPPER(sys_setpgid);
1472GEN_SYSCALL_WRAPPER(sys_umask);
1473GEN_SYSCALL_WRAPPER(sys_dup2);
1474GEN_SYSCALL_WRAPPER(sys_getppid);
1475GEN_SYSCALL_WRAPPER(sys_getpgrp);
1476GEN_SYSCALL_WRAPPER(sys_setsid);
1477GEN_SYSCALL_WRAPPER(sys_munmap);
1478GEN_SYSCALL_WRAPPER(sys_truncate);
1479GEN_SYSCALL_WRAPPER(sys_ftruncate);
1480GEN_SYSCALL_WRAPPER(sys_fchmod);
1481GEN_SYSCALL_WRAPPER(sys_msync);
1482GEN_SYSCALL_WRAPPER(sys_readv);
1483GEN_SYSCALL_WRAPPER(sys_writev);
1484GEN_SYSCALL_WRAPPER(sys_getsid);
1485GEN_SYSCALL_WRAPPER(sys_fdatasync);
1486GEN_SYSCALL_WRAPPER(sys_mlock);
1487GEN_SYSCALL_WRAPPER(sys_munlock);
1488GEN_SYSCALL_WRAPPER(sys_mlockall);
1489GEN_SYSCALL_WRAPPER(sys_munlockall);
1490GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1491GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1492GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1493GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1494GEN_SYSCALL_WRAPPER(sys_sched_yield);
1495GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1496GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1497GEN_SYSCALL_WRAPPER(sys_nanosleep);
1498GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1499GEN_SYSCALL_WRAPPER(sys_getuid);
1500GEN_SYSCALL_WRAPPER(sys_getgid);
1501GEN_SYSCALL_WRAPPER(sys_geteuid);
1502GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001503GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001504GEN_SYSCALL_WRAPPER(sys_fsync);
1505GEN_SYSCALL_WRAPPER(sys_wait4);
1506GEN_SYSCALL_WRAPPER(sys_mprotect);
1507GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1508GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1509GEN_SYSCALL_WRAPPER(sys_timer_settime);
1510GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1511GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1512GEN_SYSCALL_WRAPPER(sys_timer_delete);
1513GEN_SYSCALL_WRAPPER(sys_clock_settime);
1514GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1515GEN_SYSCALL_WRAPPER(sys_clock_getres);
1516GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001517GEN_SYSCALL_WRAPPER(sys_symlink);
1518GEN_SYSCALL_WRAPPER(sys_getgroups);
1519GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1520GEN_SYSCALL_WRAPPER(sys_chown);
1521GEN_SYSCALL_WRAPPER(sys_setuid);
1522GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1523GEN_SYSCALL_WRAPPER(sys_madvise);
1524GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001525
1526// These ones aren't POSIX, but are in some standard and look reasonably
1527// generic, and are the same for all architectures under Linux.
1528GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1529GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1530GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1531GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1532GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001533GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1534GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1535GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1536GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1537GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1538GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1539GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1540GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1541GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1542GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1543GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1544GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1545GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1546GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1547GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1548GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1549GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001550
1551// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1552// uid_t types. The similarly named (minus the "16" suffix) ones below use
1553// 32-bit versions of these types.
1554GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1555GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1556GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1557GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1558GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1559GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1560GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1561GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1562GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1563GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1564GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1565GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1566
nethercote8ff888f2004-11-17 17:11:45 +00001567// Linux's funny many-in-one socketcall is certainly not generic, but I
1568// didn't want to move it until necessary because it's big and has a lot of
1569// associated junk.
1570GEN_SYSCALL_WRAPPER(sys_socketcall);
1571
nethercote3d5e9102004-11-17 18:22:38 +00001572// Some archs on Linux do not match the generic wrapper for sys_pipe().
1573GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001574
nethercote3d5e9102004-11-17 18:22:38 +00001575// May not be generic for every architecture under Linux.
1576GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1577
1578// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001579GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1580GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1581GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1582
nethercote3d5e9102004-11-17 18:22:38 +00001583// For the remainder, not really sure yet
1584GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1585GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1586GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1587GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1588GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1589GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1590GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1591GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001592GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1593GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001594GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1595GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1596GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001597GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1598GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1599GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1600GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1601GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1602GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1603GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1604GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1605GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1606GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1607GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001608GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1609GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1610GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1611GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1612GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1613GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1614GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1615GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1616GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1617GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001618GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001619GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1620GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1621GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1622GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1623GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1624GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1625GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1626GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1627GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1628GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1629GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1630GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1631GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1632GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001633GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1634GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001635GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001636GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001637GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1638GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1639GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001640GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1641GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1642GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1643GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1644GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1645GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1646
1647#undef GEN_SYSCALL_WRAPPER
1648
1649// Macros used in syscall wrappers
1650
1651#define PRRSN \
1652 SK_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
1653 R_SYSCALL_NUM, sizeof(UWord));
1654#define PRRAn(n,s,t,a) \
1655 SK_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
1656 R_SYSCALL_ARG##n, sizeof(t));
1657#define PRE_REG_READ0(tr, s) \
1658 if (VG_(defined_pre_reg_read)()) { \
1659 PRRSN; \
1660 }
1661#define PRE_REG_READ1(tr, s, t1, a1) \
1662 if (VG_(defined_pre_reg_read)()) { \
1663 PRRSN; \
1664 PRRAn(1,s,t1,a1); \
1665 }
1666#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1667 if (VG_(defined_pre_reg_read)()) { \
1668 PRRSN; \
1669 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1670 }
1671#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1672 if (VG_(defined_pre_reg_read)()) { \
1673 PRRSN; \
1674 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1675 }
1676#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1677 if (VG_(defined_pre_reg_read)()) { \
1678 PRRSN; \
1679 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1680 PRRAn(4,s,t4,a4); \
1681 }
1682#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1683 if (VG_(defined_pre_reg_read)()) { \
1684 PRRSN; \
1685 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1686 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1687 }
1688#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1689 if (VG_(defined_pre_reg_read)()) { \
1690 PRRSN; \
1691 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1692 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1693 }
1694
1695#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1696 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1697
1698#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1699 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1700
1701#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1702 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1703
1704#define POST_MEM_WRITE(zzaddr, zzlen) \
1705 VG_TRACK( post_mem_write, zzaddr, zzlen)
1706
1707
1708
1709/*--------------------------------------------------------------------*/
1710/*--- end vg_syscalls.c ---*/
1711/*--------------------------------------------------------------------*/
1712
sewardjde4a1d02002-03-22 01:27:54 +00001713/* ---------------------------------------------------------------------
1714 Exports of vg_transtab.c
1715 ------------------------------------------------------------------ */
1716
njn25e49d8e72002-09-23 09:36:25 +00001717/* The fast-cache for tt-lookup. */
1718extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1719
nethercote92e7b7f2004-08-07 17:52:25 +00001720extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001721extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001722 Addr trans_addr, Int trans_size,
1723 UShort jumps[VG_MAX_JUMPS]);
nethercote92e7b7f2004-08-07 17:52:25 +00001724extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001725
nethercote92e7b7f2004-08-07 17:52:25 +00001726extern void VG_(invalidate_translations) ( Addr start, UInt range,
1727 Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001728
nethercote92e7b7f2004-08-07 17:52:25 +00001729extern void VG_(sanity_check_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001730
nethercote92e7b7f2004-08-07 17:52:25 +00001731extern void VG_(print_tt_tc_stats) ( void );
1732
1733extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001734
sewardjde4a1d02002-03-22 01:27:54 +00001735/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001736 Exports of vg_syscall.S
1737 ------------------------------------------------------------------ */
1738
jsgf855d93d2003-10-13 22:26:55 +00001739extern Int VG_(do_syscall) ( UInt, ... );
1740extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1741 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001742extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001743
1744/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001745 Exports of vg_dispatch.S
1746 ------------------------------------------------------------------ */
1747
sewardj2e93c502002-04-12 11:12:52 +00001748/* Run a thread for a (very short) while, until some event happens
1749 which means we need to defer to the scheduler. */
1750extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001751
sewardj22854b92002-11-30 14:00:47 +00001752/* The patching routing called when a BB wants to chain itself to
1753 another. */
1754extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001755
1756/* ---------------------------------------------------------------------
1757 Exports of vg_helpers.S
1758 ------------------------------------------------------------------ */
1759
sewardj51096432002-12-14 23:59:09 +00001760extern void VG_(helper_undefined_instruction);
1761
fitzhardinge92360792003-12-24 10:11:11 +00001762/* Information about trampoline code (for signal return and syscalls) */
1763extern const Char VG_(trampoline_code_start);
1764extern const Int VG_(trampoline_code_length);
1765extern const Int VG_(tramp_sigreturn_offset);
1766extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001767
njn4f9c9342002-04-29 16:03:24 +00001768/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001769 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001770 ------------------------------------------------------------------ */
1771
fitzhardinge98abfc72003-12-16 02:05:15 +00001772#define VG_TRACK(fn, args...) \
1773 do { \
1774 if (VG_(defined_##fn)()) \
1775 SK_(fn)(args); \
1776 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001777
fitzhardinge98abfc72003-12-16 02:05:15 +00001778__attribute__ ((noreturn))
1779extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001780
sewardjde4a1d02002-03-22 01:27:54 +00001781/* ---------------------------------------------------------------------
nethercote6a27d832004-09-07 10:17:02 +00001782 The baseBlock -- arch-neutral bits
sewardjde4a1d02002-03-22 01:27:54 +00001783 ------------------------------------------------------------------ */
1784
nethercote2e05c332004-09-06 16:43:37 +00001785#define INVALID_OFFSET (-1)
sewardjde4a1d02002-03-22 01:27:54 +00001786
1787/* An array of words. In generated code, %ebp always points to the
1788 start of this array. Useful stuff, like the simulated CPU state,
1789 and the addresses of helper functions, can then be found by
1790 indexing off %ebp. The following declares variables which, at
1791 startup time, are given values denoting offsets into baseBlock.
1792 These offsets are in *words* from the start of baseBlock. */
1793
sewardjb91ae7f2003-04-29 23:50:00 +00001794#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001795
1796extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1797
nethercotec06e2132004-09-03 13:45:29 +00001798// ---------------------------------------------------------------------
1799// Architecture-specific things defined in eg. x86/*.c
1800// ---------------------------------------------------------------------
1801
nethercotec009ebe2004-09-13 11:05:11 +00001802// For setting up the baseBlock
nethercote4ad74312004-10-26 09:59:49 +00001803extern void VGA_(init_low_baseBlock) ( Addr client_ip, Addr sp_at_startup );
1804extern void VGA_(init_high_baseBlock) ( Addr client_ip, Addr sp_at_startup );
nethercote2e05c332004-09-06 16:43:37 +00001805
nethercotec009ebe2004-09-13 11:05:11 +00001806// Register state moving
nethercotec06e2132004-09-03 13:45:29 +00001807extern void VGA_(load_state) ( arch_thread_t*, ThreadId tid );
1808extern void VGA_(save_state) ( arch_thread_t*, ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001809
nethercotec009ebe2004-09-13 11:05:11 +00001810// Thread stuff
nethercote7587d472004-09-11 23:51:50 +00001811extern void VGA_(clear_thread) ( arch_thread_t* );
1812extern void VGA_(init_thread) ( arch_thread_t* );
nethercotef9b59412004-09-10 15:33:32 +00001813extern void VGA_(cleanup_thread) ( arch_thread_t* );
1814extern void VGA_(setup_child) ( arch_thread_t*, arch_thread_t* );
1815
nethercote6b9c8472004-09-13 13:16:40 +00001816extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1817extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1818
nethercotec009ebe2004-09-13 11:05:11 +00001819// Symtab stuff
nethercotecd656042004-09-11 23:48:22 +00001820extern UInt* VGA_(reg_addr_from_BB) ( Int reg );
1821extern UInt* VGA_(reg_addr_from_tst) ( Int reg, arch_thread_t* );
1822
nethercotefedd8102004-09-13 15:19:34 +00001823// Pointercheck
1824extern Bool VGA_(setup_pointercheck) ( void );
1825
1826// For attaching the debugger
1827extern Int VGA_(ptrace_setregs_from_BB) ( Int pid );
1828extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, arch_thread_t* arch );
1829
1830// Making coredumps
nethercote73b526f2004-10-31 18:48:21 +00001831extern void VGA_(fill_elfregs_from_BB) ( struct vki_user_regs_struct* regs );
1832extern void VGA_(fill_elfregs_from_tst) ( struct vki_user_regs_struct* regs,
nethercotefedd8102004-09-13 15:19:34 +00001833 const arch_thread_t* arch );
nethercote73b526f2004-10-31 18:48:21 +00001834extern void VGA_(fill_elffpregs_from_BB) ( vki_elf_fpregset_t* fpu );
1835extern void VGA_(fill_elffpregs_from_tst) ( vki_elf_fpregset_t* fpu,
nethercotefedd8102004-09-13 15:19:34 +00001836 const arch_thread_t* arch );
nethercote73b526f2004-10-31 18:48:21 +00001837extern void VGA_(fill_elffpxregs_from_BB) ( vki_elf_fpxregset_t* xfpu );
1838extern void VGA_(fill_elffpxregs_from_tst) ( vki_elf_fpxregset_t* xfpu,
nethercotefedd8102004-09-13 15:19:34 +00001839 const arch_thread_t* arch );
1840
nethercote6eec4602004-09-13 14:15:36 +00001841// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001842extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001843 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001844 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001845 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001846extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1847
nethercote9b3c7652004-10-19 13:18:00 +00001848// libpthread stuff
1849typedef struct arch_thread_aux arch_thread_aux_t;
1850
1851void VGA_(thread_create) ( arch_thread_aux_t *aux );
1852void VGA_(thread_wrapper)( arch_thread_aux_t *aux );
1853void VGA_(thread_exit) ( void );
1854
1855Bool VGA_(has_tls) ( void );
1856
1857#define MY__STRING(__str) #__str
1858
1859// Assertion to use in code running on the simulated CPU.
1860#define my_assert(expr) \
1861 ((void) ((expr) ? 0 : \
1862 (VG_(user_assert_fail) (MY__STRING(expr), \
1863 __FILE__, __LINE__, \
1864 __PRETTY_FUNCTION__), 0)))
1865
1866extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1867 Int line, const Char* fn );
1868
1869
nethercote41c75da2004-10-18 15:34:14 +00001870// ---------------------------------------------------------------------
1871// Platform-specific things defined in eg. x86/*.c
1872// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001873
nethercote8ff888f2004-11-17 17:11:45 +00001874struct SyscallTableEntry {
1875 UInt *flags_ptr;
1876 void (*before)(ThreadId tid, ThreadState *tst);
1877 void (*after) (ThreadId tid, ThreadState *tst);
1878};
1879
1880/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1881 wrappers for the relevant syscalls used in the OS kernel for that number.
1882 Note that the constant names don't always match the wrapper names in a
1883 straightforward way. For example, on x86/Linux:
1884
1885 __NR_lchown --> sys_lchown16()
1886 __NR_lchown32 --> sys_lchown()
1887 __NR_select --> old_select()
1888 __NR__newselect --> sys_select()
1889*/
1890extern const struct SyscallTableEntry VGA_(syscall_table)[];
1891
1892extern const UInt VGA_(syscall_table_size);
1893
1894
nethercote24e0d442004-10-18 17:36:40 +00001895extern const Addr vga_sys_before, vga_sys_restarted,
nethercote8ff888f2004-11-17 17:11:45 +00001896 vga_sys_after, vga_sys_done;
nethercote24e0d442004-10-18 17:36:40 +00001897
nethercote6eb106b2004-10-18 17:41:36 +00001898extern void VGA_(restart_syscall)(arch_thread_t* arch);
nethercote24e0d442004-10-18 17:36:40 +00001899
nethercote6eb106b2004-10-18 17:41:36 +00001900extern void VGA_(thread_syscall)(Int syscallno, arch_thread_t* arch,
nethercote24e0d442004-10-18 17:36:40 +00001901 enum PXState* state, enum PXState poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001902
1903/* ---------------------------------------------------------------------
1904 Finally - autoconf-generated settings
1905 ------------------------------------------------------------------ */
1906
1907#include "config.h"
1908
nethercotec06e2132004-09-03 13:45:29 +00001909#endif /* ndef __CORE_H */
1910
sewardjde4a1d02002-03-22 01:27:54 +00001911/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001912/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001913/*--------------------------------------------------------------------*/