blob: 388a776c1b804fbf7257e2d88fc4a30a49c5016e [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
nethercote5a2664c2004-09-02 15:37:39 +00004/*--- Include no other! (more or less...) ---*/
rjwalsh7109a8c2004-09-02 00:31:02 +00005/*--- core.h ---*/
sewardjde4a1d02002-03-22 01:27:54 +00006/*--------------------------------------------------------------------*/
7
8/*
njnb9c427c2004-12-01 14:14:42 +00009 This file is part of Valgrind, a dynamic binary instrumentation
10 framework.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
rjwalsh7109a8c2004-09-02 00:31:02 +000033#ifndef __CORE_H
34#define __CORE_H
sewardjde4a1d02002-03-22 01:27:54 +000035
nethercote7be47252004-09-02 16:02:58 +000036/*
37 Header hierarchy:
38
39 - core C files include core.h
40 - core asm files include core_asm.h
41 - tool C files include tool.h
42 - tool asm files include tool_asm.h
43
44 - The hierarchy of the header files themselves is based around the
45 following rules:
46
47 - core headers include tool headers
48 - generic headers include arch/OS/platform headers
49 - C headers include asm headers
50
51 This gives the following hierarchy (only showing 'arch' headers, not
nethercote80cca432004-09-02 16:25:49 +000052 'os' or 'platform' headers), where arrows indicate inclusion, and
53 $VG_ARCH==x86:
nethercote7be47252004-09-02 16:02:58 +000054
nethercote80cca432004-09-02 16:25:49 +000055
56 (include/x86/tool_arch_asm.h?) <----- coregrind/x86/core_arch_asm.h
57 ^ ^ ^ ^
58 / \ / \
59 / \ / \
60 / \ / \
61 include/tool_asm.h <-\---- coregrind/core_asm.h \
62 ^ \ ^ \
63 \ include/x86/tool_arch.h <--------coregrind/x86/core_arch.h
64 \ ^ \ ^
65 \ / \ /
66 \ / \ /
67 \ / \ /
68 include/tool.h <------------ coregrind/core.h
69
nethercote7be47252004-09-02 16:02:58 +000070
71 Note that core.h contains the *declarations* of arch-specific functions
72 and variables, which can be used by the core_arch.h file of any
73 architecture. (The functions/variables are *defined* within arch/.)
74 However, arch-specific macros and types cannot go into core.h, because
75 there is no separation between declaration and definition for
76 macros/types, so they instead go into $VG_ARCH/core_arch.h.
nethercote80cca432004-09-02 16:25:49 +000077
78 The tool-specific headers are all in include/ so they can be seen by any
79 external tools.
nethercote7be47252004-09-02 16:02:58 +000080*/
81
jsgf855d93d2003-10-13 22:26:55 +000082/* For system call numbers __NR_... */
nethercotef94fe2f2004-09-10 14:23:59 +000083#include "vki_unistd.h"
jsgf855d93d2003-10-13 22:26:55 +000084
nethercote13343132004-09-02 15:49:09 +000085#include "core_asm.h" // asm stuff
86#include "tool.h" // tool stuff
nethercotebb4222b2004-09-10 17:42:11 +000087#include "core_arch.h" // arch-specific stuff, eg. x86/core_arch.h
nethercote8ff888f2004-11-17 17:11:45 +000088
89// Ugly: this is needed by linux/core_os.h
90typedef struct _ThreadState ThreadState;
91
92#include "core_os.h" // OS-specific stuff, eg. linux/core_os.h
nethercotebb4222b2004-09-10 17:42:11 +000093#include "core_platform.h" // platform-specific stuff,
94 // eg. x86-linux/core_platform.h
sewardjde4a1d02002-03-22 01:27:54 +000095
fitzhardinge39de4b42003-10-31 07:12:21 +000096#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000097
njn26f02512004-11-22 18:33:15 +000098#undef TL_
99#define TL_(x) vgToolInternal_##x
fitzhardinge98abfc72003-12-16 02:05:15 +0000100
nethercote7be47252004-09-02 16:02:58 +0000101
102/* ---------------------------------------------------------------------
103 Build options and table sizes. You should be able to change these
104 options or sizes, recompile, and still have a working system.
105 ------------------------------------------------------------------ */
106
sewardjde4a1d02002-03-22 01:27:54 +0000107/* Constants for the slow translation lookup cache. */
108#define VG_TRANSTAB_SLOW_BITS 11
109#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
110#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
111
112/* Size of a buffer used for creating messages. */
113#define M_VG_MSGBUF 10000
114
115/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +0000116#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +0000117
118/* Max length of pathname to a .so/executable file. */
119#define M_VG_LIBNAMESTR 100
120
121/* Max length of a text fragment used to construct error messages. */
nethercote3b38c1d2004-10-18 15:47:18 +0000122#define M_VG_ERRTXT 4096
sewardjde4a1d02002-03-22 01:27:54 +0000123
124/* Max length of the string copied from env var VG_ARGS at startup. */
125#define M_VG_CMDLINE_STRLEN 1000
126
127/* Max number of options for Valgrind which we can handle. */
128#define M_VG_CMDLINE_OPTS 100
129
130/* After this many different unsuppressed errors have been observed,
131 be more conservative about collecting new ones. */
132#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
133
134/* After this many different unsuppressed errors have been observed,
135 stop collecting errors at all, and tell the user their program is
136 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +0000137#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +0000138
139/* After this many total errors have been observed, stop collecting
140 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +0000141#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000142
sewardjde4a1d02002-03-22 01:27:54 +0000143/* The maximum number of calls we're prepared to save in a
144 backtrace. */
145#define VG_DEEPEST_BACKTRACE 50
146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* Number of lists in which we keep track of ExeContexts. Should be
148 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000149#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000150
sewardj2e93c502002-04-12 11:12:52 +0000151/* Defines the thread-scheduling timeslice, in terms of the number of
152 basic blocks we attempt to run each thread for. Smaller values
153 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000154#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000155
fitzhardingef0046f22003-12-18 02:39:22 +0000156/* Number of file descriptors that Valgrind tries to reserve for
157 it's own use - two per thread plues a small number of extras. */
158#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000159
sewardjbf290b92002-05-01 02:28:01 +0000160/* Stack size for a thread. We try and check that they do not go
161 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000162#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000163
sewardj8ad94e12002-05-29 00:10:20 +0000164/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000165#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000166
sewardj2cb00342002-06-28 01:46:26 +0000167/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000168#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000169
njn25e49d8e72002-09-23 09:36:25 +0000170/* Max number of callers for context in a suppression. */
171#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000172
thughes8abf3922004-10-16 10:59:49 +0000173/* Numer of entries in each thread's signal queue. */
174#define VG_N_SIGNALQUEUE 8
175
fitzhardinge98abfc72003-12-16 02:05:15 +0000176/* Useful macros */
177/* a - alignment - must be a power of 2 */
178#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
179#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
nethercote73b526f2004-10-31 18:48:21 +0000180#define PGROUNDDN(p) ROUNDDN(p, VKI_PAGE_SIZE)
181#define PGROUNDUP(p) ROUNDUP(p, VKI_PAGE_SIZE)
fitzhardinge98abfc72003-12-16 02:05:15 +0000182
sewardj51ac0872004-12-21 01:20:49 +0000183
nethercote80013e92004-09-05 20:39:51 +0000184/* ---------------------------------------------------------------------
185 Environment variables
186 ------------------------------------------------------------------ */
187
188/* The directory we look for all our auxillary files in */
189#define VALGRINDLIB "VALGRINDLIB"
190
191/* Additional command-line arguments; they are overridden by actual
192 command-line option. Each argument is separated by spaces. There
193 is no quoting mechanism.
194 */
195#define VALGRINDOPTS "VALGRIND_OPTS"
196
197/* If this variable is present in the environment, then valgrind will
198 not parse the command line for options at all; all options come
199 from this variable. Arguments are terminated by ^A (\001). There
200 is no quoting mechanism.
201
202 This variable is not expected to be set by anything other than
203 Valgrind itself, as part of its handling of execve with
204 --trace-children=yes. This variable should not be present in the
205 client environment.
206 */
207#define VALGRINDCLO "_VALGRIND_CLO"
208
fitzhardinge98abfc72003-12-16 02:05:15 +0000209
sewardjde4a1d02002-03-22 01:27:54 +0000210/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000211 Command-line-settable options
212 ------------------------------------------------------------------ */
213
sewardj4f094a72002-11-05 23:37:35 +0000214/* Default destination port to be used in logging over a network, if
215 none specified. */
216#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000217
218/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000219#define VG_CLO_MAX_SFILES 10
220
nethercote04d0fbc2004-01-26 16:48:06 +0000221/* Default debugger command. */
222#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
223
sewardj4cf05692002-10-27 20:28:29 +0000224/* Describes where logging output is to be sent. */
225typedef
226 enum {
227 VgLogTo_Fd,
228 VgLogTo_File,
229 VgLogTo_Socket
230 } VgLogTo;
231
jsgf855d93d2003-10-13 22:26:55 +0000232/* pid of main process */
233extern Int VG_(main_pid);
234
235/* pgrp of process (global to all threads) */
236extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000237
thughesad1c9562004-06-26 11:27:52 +0000238/* Application-visible file descriptor limits */
239extern Int VG_(fd_soft_limit);
240extern Int VG_(fd_hard_limit);
fitzhardingef0046f22003-12-18 02:39:22 +0000241
sewardj8b635a42004-11-22 19:01:47 +0000242/* Vex iropt control */
243extern VexControl VG_(clo_vex_control);
sewardj72f98ff2002-06-13 17:23:38 +0000244/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000245extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000246/* Enquire about whether to attach to a debugger at errors? default: NO */
247extern Bool VG_(clo_db_attach);
248/* The debugger command? default: whatever gdb ./configure found */
249extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000250/* Enquire about generating a suppression for each error? default: NO */
251extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000252/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
nethercote27fec902004-06-16 21:26:32 +0000253extern Int VG_(clo_sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000254/* Automatically attempt to demangle C++ names? default: YES */
255extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000256/* Simulate child processes? default: NO */
257extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000258
259/* Where logging output is to be sent to.
260
nethercotef8548672004-06-21 12:42:35 +0000261 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
262 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000263
nethercotef8548672004-06-21 12:42:35 +0000264 When log_to == VgLogTo_File, clo_log_name holds the log-file
265 name, and is taken from the command line. clo_log_fd is then
266 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000267 (concatenated with the process ID) for writing.
268
nethercotef8548672004-06-21 12:42:35 +0000269 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000270 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000271 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000272 opening a connection to said hostname:portnumber pair.
273
nethercotef8548672004-06-21 12:42:35 +0000274 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000275 (stderr). */
276extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000277extern Int VG_(clo_log_fd);
278extern Char* VG_(clo_log_name);
sewardjde4a1d02002-03-22 01:27:54 +0000279
thughes6233a382004-08-21 11:10:44 +0000280/* Add timestamps to log messages? default: NO */
281extern Bool VG_(clo_time_stamp);
282
sewardj6024b212003-07-13 10:54:33 +0000283/* The file descriptor to read for input. default: 0 == stdin */
284extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000285/* The number of suppression files specified. */
286extern Int VG_(clo_n_suppressions);
287/* The names of the suppression files. */
288extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
289
sewardj8e4d7dc2004-11-28 18:07:41 +0000290/* PROFILE: collect bb profiling data? default: NO */
291extern Bool VG_(clo_bbprofile);
292
sewardjc771b292004-11-30 18:55:21 +0000293/* DEBUG: print generated code? default: 00000000 ( == NO ) */
njn25e49d8e72002-09-23 09:36:25 +0000294extern Bool VG_(clo_trace_codegen);
sewardjc771b292004-11-30 18:55:21 +0000295/* DEBUG: if tracing codegen, be quiet until after this bb ( 0 ) */
296extern Int VG_(clo_trace_notbelow);
sewardjde4a1d02002-03-22 01:27:54 +0000297/* DEBUG: print system calls? default: NO */
298extern Bool VG_(clo_trace_syscalls);
299/* DEBUG: print signal details? default: NO */
300extern Bool VG_(clo_trace_signals);
301/* DEBUG: print symtab details? default: NO */
302extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000303/* DEBUG: print thread scheduling events? default: NO */
304extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000305/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
306 (some), 2 (all) */
307extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000308/* Display gory details for the k'th most popular error. default:
309 Infinity. */
310extern Int VG_(clo_dump_error);
311/* Number of parents of a backtrace. Default: 8. */
312extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000313/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000314extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000315/* How often we should poll for signals, assuming we need to poll for
316 signals. */
317extern Int VG_(clo_signal_polltime);
318
319/* Low latency syscalls and signals */
320extern Bool VG_(clo_lowlat_syscalls);
321extern Bool VG_(clo_lowlat_signals);
322
rjwalshf5f536f2003-11-17 17:45:00 +0000323/* Track open file descriptors? */
324extern Bool VG_(clo_track_fds);
325
sewardj858964b2002-10-05 14:15:43 +0000326/* Should we run __libc_freeres at exit? Sometimes causes crashes.
327 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
328 if the latter says False, then the setting of VG_(clo_weird_hacks)
nethercote996901a2004-08-03 13:29:09 +0000329 is ignored. Ie if a tool says no, I don't want this to run, that
sewardj858964b2002-10-05 14:15:43 +0000330 cannot be overridden from the command line. */
331extern Bool VG_(clo_run_libc_freeres);
fitzhardinge462f4f92003-12-18 02:10:54 +0000332/* Generate branch-prediction hints? */
333extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000334/* Continue stack traces below main()? Default: NO */
335extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000336/* Test each client pointer dereference to check it's within the
337 client address space bounds */
338extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000339
rjwalshe4e779d2004-04-16 23:02:29 +0000340/* Set up the libc freeres wrapper */
341extern void VG_(intercept_libc_freeres_wrapper)(Addr);
342
sewardj51ac0872004-12-21 01:20:49 +0000343
sewardjde4a1d02002-03-22 01:27:54 +0000344/* ---------------------------------------------------------------------
nethercote85cdd342004-08-01 22:36:40 +0000345 Profiling stuff
sewardjde4a1d02002-03-22 01:27:54 +0000346 ------------------------------------------------------------------ */
347
sewardjde4a1d02002-03-22 01:27:54 +0000348extern void VGP_(init_profiling) ( void );
349extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000350
njn25e49d8e72002-09-23 09:36:25 +0000351#undef VGP_PUSHCC
352#undef VGP_POPCC
353#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
354#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000355
sewardj51ac0872004-12-21 01:20:49 +0000356
sewardjde4a1d02002-03-22 01:27:54 +0000357/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +0000358 Tool-related types
njn810086f2002-11-14 12:42:47 +0000359 ------------------------------------------------------------------ */
nethercote996901a2004-08-03 13:29:09 +0000360/* These structs are not exposed to tools to mitigate possibility of
361 binary-incompatibilities when the core/tool interface changes. Instead,
nethercote46063202004-09-02 08:51:43 +0000362 set functions are provided (see include/tool.h). */
njn810086f2002-11-14 12:42:47 +0000363typedef
364 struct {
365 Char* name;
366 Char* version;
367 Char* description;
368 Char* copyright_author;
369 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000370 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000371 }
372 VgDetails;
373
374extern VgDetails VG_(details);
375
376/* If new fields are added to this type, update:
377 * - vg_main.c:initialisation of VG_(needs)
378 * - vg_main.c:sanity_check_needs()
379 *
380 * If the name of this type or any of its fields change, update:
381 * - dependent comments (just search for "VG_(needs)").
382 */
383typedef
384 struct {
385 Bool libc_freeres;
386 Bool core_errors;
njn95ec8702004-11-22 16:46:13 +0000387 Bool tool_errors;
njn810086f2002-11-14 12:42:47 +0000388 Bool basic_block_discards;
njnabb14ad2004-11-24 16:57:16 +0000389 Bool no_longer_used_1; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000390 Bool command_line_options;
391 Bool client_requests;
njn37624a72004-11-22 20:37:42 +0000392 Bool no_longer_used_0; // for backwards compatibility
njn810086f2002-11-14 12:42:47 +0000393 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000394 Bool sanity_checks;
395 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000396 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000397 }
398 VgNeeds;
399
400extern VgNeeds VG_(needs);
401
fitzhardinge98abfc72003-12-16 02:05:15 +0000402extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000403
fitzhardinge98abfc72003-12-16 02:05:15 +0000404#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000405
sewardj51ac0872004-12-21 01:20:49 +0000406
njn810086f2002-11-14 12:42:47 +0000407/* ---------------------------------------------------------------------
408 Exports of vg_needs.c
409 ------------------------------------------------------------------ */
410
411void VG_(sanity_check_needs)(void);
412
sewardj51ac0872004-12-21 01:20:49 +0000413
njn810086f2002-11-14 12:42:47 +0000414/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000415 Exports of vg_malloc2.c
416 ------------------------------------------------------------------ */
417
418/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000419
420 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000421 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000422 SYMTAB for Valgrind's symbol table storage.
423 JITTER for small storage during translation.
nethercote996901a2004-08-03 13:29:09 +0000424 CLIENT for the client's mallocs/frees, if the tool replaces glibc's
425 malloc() et al -- redzone size is chosen by the tool.
njn3e884182003-04-15 13:03:23 +0000426 DEMANGLE for the C++ demangler.
427 EXECTXT for storing ExeContexts.
428 ERRORS for storing CoreErrors.
429 TRANSIENT for very short-term use. It should be empty in between uses.
430
njn25e49d8e72002-09-23 09:36:25 +0000431 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000432*/
433typedef Int ArenaId;
434
njn3e884182003-04-15 13:03:23 +0000435#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000436
njn3e884182003-04-15 13:03:23 +0000437#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000438#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000439#define VG_AR_SYMTAB 2
440#define VG_AR_JITTER 3
441#define VG_AR_CLIENT 4
442#define VG_AR_DEMANGLE 5
443#define VG_AR_EXECTXT 6
444#define VG_AR_ERRORS 7
445#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000446
nethercote2d5b8162004-08-11 09:40:52 +0000447// This is both the minimum payload size of a malloc'd block, and its
448// minimum alignment. Must be a power of 2 greater than 4, and should be
449// greater than 8.
450#define VG_MIN_MALLOC_SZB 8
451
452// Round-up size for --sloppy-malloc=yes.
453#define VG_SLOPPY_MALLOC_SZB 4
454
nethercote7ac7f7b2004-11-02 12:36:02 +0000455extern void* VG_(arena_malloc) ( ArenaId arena, SizeT nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000456extern void VG_(arena_free) ( ArenaId arena, void* ptr );
nethercote7ac7f7b2004-11-02 12:36:02 +0000457extern void* VG_(arena_calloc) ( ArenaId arena, SizeT alignment,
458 SizeT nmemb, SizeT nbytes );
459extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, SizeT alignment,
460 SizeT size );
461extern void* VG_(arena_malloc_aligned) ( ArenaId aid, SizeT req_alignB,
462 SizeT req_pszB );
sewardjde4a1d02002-03-22 01:27:54 +0000463
nethercote7ac7f7b2004-11-02 12:36:02 +0000464extern SizeT VG_(arena_payload_szB) ( ArenaId aid, void* payload );
njn8a6b6c02003-04-22 22:45:55 +0000465
nethercote885dd912004-08-03 23:14:00 +0000466extern void VG_(sanity_check_malloc_all) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000467
nethercote3a42fb82004-08-03 18:08:50 +0000468extern void VG_(print_all_arena_stats) ( void );
nethercote885dd912004-08-03 23:14:00 +0000469
sewardjde4a1d02002-03-22 01:27:54 +0000470extern Bool VG_(is_empty_arena) ( ArenaId aid );
471
sewardj51ac0872004-12-21 01:20:49 +0000472
sewardjde4a1d02002-03-22 01:27:54 +0000473/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000474 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000475 ------------------------------------------------------------------ */
476
477/* This doesn't export code or data that valgrind.so needs to link
478 against. However, the scheduler does need to know the following
479 request codes. A few, publically-visible, request codes are also
nethercote996901a2004-08-03 13:29:09 +0000480 defined in valgrind.h, and similar headers for some tools. */
sewardj2e93c502002-04-12 11:12:52 +0000481
njn4c791212003-05-02 17:53:54 +0000482#define VG_USERREQ__MALLOC 0x2001
483#define VG_USERREQ__FREE 0x2002
484
sewardj20917d82002-05-28 01:36:45 +0000485/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
486 MUST NOT return -- ever. Eventually it will do either __QUIT or
487 __WAIT_JOINER. */
488#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
489
490/* ( no-args ): calling thread disappears from the system forever.
491 Reclaim resources. */
492#define VG_USERREQ__QUIT 0x3002
493
494/* ( void* ): calling thread waits for joiner and returns the void* to
495 it. */
496#define VG_USERREQ__WAIT_JOINER 0x3003
497
498/* ( ThreadId, void** ): wait to join a thread. */
499#define VG_USERREQ__PTHREAD_JOIN 0x3004
500
501/* Set cancellation state and type for this thread. */
502#define VG_USERREQ__SET_CANCELSTATE 0x3005
503#define VG_USERREQ__SET_CANCELTYPE 0x3006
504
505/* ( no-args ): Test if we are at a cancellation point. */
506#define VG_USERREQ__TESTCANCEL 0x3007
507
508/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
509 with this arg to indicate that a cancel is now pending for the
510 specified thread. */
511#define VG_USERREQ__SET_CANCELPEND 0x3008
512
513/* Set/get detach state for this thread. */
514#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
515
thughese321d492004-10-17 15:00:20 +0000516#define VG_USERREQ__PTHREAD_GET_THREADID 0x300A
517#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300B
518#define VG_USERREQ__PTHREAD_MUTEX_TIMEDLOCK 0x300C
sewardj20917d82002-05-28 01:36:45 +0000519#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
520#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
521#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
522#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
523#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
524#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
525#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
526#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000527#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
528#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000529#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
530#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000531#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000532#define VG_USERREQ__PTHREAD_KILL 0x301A
533#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000534#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000535
sewardj8ad94e12002-05-29 00:10:20 +0000536#define VG_USERREQ__CLEANUP_PUSH 0x3020
537#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000538#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000539
sewardjef037c72002-05-30 00:40:03 +0000540#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000541
542/* Ask how many signal handler returns have happened to this
543 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000544#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000545
sewardj2cb00342002-06-28 01:46:26 +0000546/* Get/set entries for a thread's pthread_atfork stack. */
547#define VG_USERREQ__SET_FHSTACK_USED 0x3025
548#define VG_USERREQ__GET_FHSTACK_USED 0x3026
549#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
550#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000551
nethercotef971ab72004-08-02 16:27:40 +0000552/* Denote the finish of __libc_freeres_wrapper(). */
sewardj1fe7b002002-07-16 01:43:15 +0000553#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000554
555/* Allocate RT signals */
556#define VG_USERREQ__GET_SIGRT_MIN 0x302B
557#define VG_USERREQ__GET_SIGRT_MAX 0x302C
558#define VG_USERREQ__ALLOC_RTSIG 0x302D
559
560/* Hook for replace_malloc.o to get malloc functions */
561#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
562
thughesdaa34562004-06-27 12:48:53 +0000563/* Get stack information for a thread. */
564#define VG_USERREQ__GET_STACK_INFO 0x3033
565
sewardj45b4b372002-04-16 22:50:32 +0000566/* Cosmetic ... */
567#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000568/* Log a pthread error from client-space. Cosmetic. */
569#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000570/* Internal equivalent of VALGRIND_PRINTF . */
571#define VG_USERREQ__INTERNAL_PRINTF 0x3103
572/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
573#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000574
sewardj54cacf02002-04-12 23:24:59 +0000575/*
nethercote5a2664c2004-09-02 15:37:39 +0000576In core_asm.h:
sewardj54cacf02002-04-12 23:24:59 +0000577#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000578*/
579
rjwalshe4e779d2004-04-16 23:02:29 +0000580#define VG_INTERCEPT_PREFIX "_vgi__"
581#define VG_INTERCEPT_PREFIX_LEN 6
582#define VG_INTERCEPT(name) _vgi__##name
583#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
584
585#define VG_WRAPPER_PREFIX "_vgw__"
586#define VG_WRAPPER_PREFIX_LEN 6
587#define VG_WRAPPER(name) _vgw__##name
588#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
589
njn4c791212003-05-02 17:53:54 +0000590
fitzhardinge98abfc72003-12-16 02:05:15 +0000591struct vg_mallocfunc_info {
592 /* things vg_replace_malloc.o needs to know about */
njnd2252832004-11-26 10:53:33 +0000593 Addr tl_malloc;
594 Addr tl_calloc;
595 Addr tl_realloc;
596 Addr tl_memalign;
597 Addr tl___builtin_new;
598 Addr tl___builtin_vec_new;
599 Addr tl_free;
600 Addr tl___builtin_delete;
601 Addr tl___builtin_vec_delete;
fitzhardinge98abfc72003-12-16 02:05:15 +0000602
603 Addr arena_payload_szB;
604
605 Bool clo_sloppy_malloc;
606 Bool clo_trace_malloc;
607};
sewardj1fe7b002002-07-16 01:43:15 +0000608
sewardj51ac0872004-12-21 01:20:49 +0000609
sewardj2e93c502002-04-12 11:12:52 +0000610/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000611 Exports of vg_defaults.c
612 ------------------------------------------------------------------ */
613
njnd2252832004-11-26 10:53:33 +0000614extern Bool VG_(tl_malloc_called_by_scheduler);
njn3e884182003-04-15 13:03:23 +0000615
sewardj51ac0872004-12-21 01:20:49 +0000616
nethercotef9b59412004-09-10 15:33:32 +0000617/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000618 Exports of vg_libpthread.c
619 ------------------------------------------------------------------ */
620
621/* Replacements for pthread types, shared between vg_libpthread.c and
622 vg_scheduler.c. See comment in vg_libpthread.c above the other
623 vg_pthread_*_t types for a description of how these are used. */
624
625struct _vg_pthread_fastlock
626{
627 long int __vg_status; /* "Free" or "taken" or head of waiting list */
628 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
629 adaptive SMP lock stores spin count here. */
630};
631
632typedef struct
633{
634 int __vg_m_reserved; /* Reserved for future use */
635 int __vg_m_count; /* Depth of recursive locking */
636 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
637 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
638 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
639} vg_pthread_mutex_t;
640
641typedef struct
642{
643 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000644 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
645
646 // Nb: the following padding removed because it was missing from an
647 // earlier glibc, so the size test in the CONVERT macro was failing.
648 // --njn
649
nethercote1f0173b2004-02-28 15:40:36 +0000650 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000651 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000652 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000653 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000654} vg_pthread_cond_t;
655
656
657/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000658 Exports of vg_scheduler.c
659 ------------------------------------------------------------------ */
660
sewardj2e93c502002-04-12 11:12:52 +0000661typedef
jsgf855d93d2003-10-13 22:26:55 +0000662 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000663 VgTs_Empty, /* this slot is not in use */
664 VgTs_Runnable, /* waiting to be scheduled */
665 VgTs_WaitJoiner, /* waiting for someone to do join on me */
666 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000667 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000668 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000669 VgTs_WaitSys, /* waiting for a syscall to complete */
670 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000671 }
672 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000673
thughes11975ff2004-06-12 12:58:22 +0000674typedef
675 enum CleanupType {
676 VgCt_None, /* this cleanup entry is not initialised */
677 VgCt_Function, /* an old-style function pointer cleanup */
678 VgCt_Longjmp /* a new-style longjmp based cleanup */
679 }
680 CleanupType;
681
thughesdaa34562004-06-27 12:48:53 +0000682/* Information on a thread's stack. */
683typedef
684 struct {
685 Addr base;
686 UInt size;
687 UInt guardsize;
688 }
689 StackInfo;
690
sewardj8ad94e12002-05-29 00:10:20 +0000691/* An entry in a threads's cleanup stack. */
692typedef
693 struct {
thughes11975ff2004-06-12 12:58:22 +0000694 CleanupType type;
695 union {
696 struct {
697 void (*fn)(void*);
698 void* arg;
699 } function;
700 struct {
thughesebed9982004-06-12 17:25:25 +0000701 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000702 int ctype;
703 } longjmp;
704 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000705 }
706 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000707
708/* An entry in a thread's fork-handler stack. */
709typedef
710 struct {
711 void (*prepare)(void);
712 void (*parent)(void);
713 void (*child)(void);
714 }
715 ForkHandlerEntry;
716
jsgf855d93d2003-10-13 22:26:55 +0000717typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000718
nethercote8ff888f2004-11-17 17:11:45 +0000719//typedef
njn72718642003-07-24 08:45:32 +0000720 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000721 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
722 The thread identity is simply the index in vg_threads[].
723 ThreadId == 1 is the root thread and has the special property
724 that we don't try and allocate or deallocate its stack. For
725 convenience of generating error message, we also put the
726 ThreadId in this tid field, but be aware that it should
727 ALWAYS == the index in vg_threads[]. */
728 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000729
njn25e49d8e72002-09-23 09:36:25 +0000730 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000731
njn25e49d8e72002-09-23 09:36:25 +0000732 Complications: whenever this is set to VgTs_WaitMX, you
733 should also set .m_edx to whatever the required return value
734 is for pthread_mutex_lock / pthread_cond_timedwait for when
735 the mutex finally gets unblocked. */
736 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000737
njn25e49d8e72002-09-23 09:36:25 +0000738 /* When .status == WaitMX, points to the mutex I am waiting for.
739 When .status == WaitCV, points to the mutex associated with
740 the condition variable indicated by the .associated_cv field.
741 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000742 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000743
njn25e49d8e72002-09-23 09:36:25 +0000744 /* When .status == WaitCV, points to the condition variable I am
745 waiting for. In all other cases, should be NULL. */
746 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000747
njn25e49d8e72002-09-23 09:36:25 +0000748 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000749 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000750
njn25e49d8e72002-09-23 09:36:25 +0000751 If VgTs_WaitCV, this indicates the time at which
752 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
753 this means infinitely far in the future, viz,
754 pthread_cond_wait. */
755 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000756
njn25e49d8e72002-09-23 09:36:25 +0000757 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
758 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000759
njn25e49d8e72002-09-23 09:36:25 +0000760 /* If VgTs_WaitJoinee, place to copy the return value to, and
761 the identity of the thread we're waiting for. */
762 void** joiner_thread_return;
763 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000764
jsgf855d93d2003-10-13 22:26:55 +0000765 /* If VgTs_WaitSys, this is the syscall we're currently running */
766 Int syscallno;
767
thughesbaa46e52004-07-29 17:44:23 +0000768 /* If VgTs_WaitSys, this is the syscall flags */
769 UInt sys_flags;
770
jsgf855d93d2003-10-13 22:26:55 +0000771 /* Details about this thread's proxy LWP */
772 ProxyLWP *proxy;
773
njn25e49d8e72002-09-23 09:36:25 +0000774 /* Whether or not detached. */
775 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000776
njn25e49d8e72002-09-23 09:36:25 +0000777 /* Cancelability state and type. */
778 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
779 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
780
781 /* Pointer to fn to call to do cancellation. Indicates whether
782 or not cancellation is pending. If NULL, not pending. Else
783 should be &thread_exit_wrapper(), indicating that
784 cancallation is pending. */
785 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000786
njn25e49d8e72002-09-23 09:36:25 +0000787 /* The cleanup stack. */
788 Int custack_used;
789 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000790
sewardj00a66b12002-10-12 16:42:35 +0000791 /* A pointer to the thread's-specific-data. This is handled almost
792 entirely from vg_libpthread.c. We just provide hooks to get and
793 set this ptr. This is either NULL, indicating the thread has
794 read/written none of its specifics so far, OR points to a
795 void*[VG_N_THREAD_KEYS], allocated and deallocated in
796 vg_libpthread.c. */
797 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000798
njn25e49d8e72002-09-23 09:36:25 +0000799 /* This thread's blocked-signals mask. Semantics is that for a
800 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000801 blocked by this signal mask. If more than one thread accepts a
802 signal, then it will be delivered to one at random. If all
803 threads block the signal, it will remain pending until either a
804 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
805
806 sig_mask reflects what the client told us its signal mask should
807 be, but isn't necessarily the current signal mask of the proxy
808 LWP: it may have more signals blocked because of signal
809 handling, or it may be different because of sigsuspend.
810 */
nethercote73b526f2004-10-31 18:48:21 +0000811 vki_sigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000812
fitzhardingef0dd7e12004-01-16 02:17:30 +0000813 /* Effective signal mask. This is the mask which currently
814 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000815 handler is running.
816 */
nethercote73b526f2004-10-31 18:48:21 +0000817 vki_sigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000818
thughes8abf3922004-10-16 10:59:49 +0000819 /* Signal queue. This is used when the kernel doesn't route
820 signals properly in order to remember the signal information
821 while we are routing the signal. It is a circular queue with
822 insertions performed at the head and removals at the tail.
823 */
nethercote73b526f2004-10-31 18:48:21 +0000824 vki_siginfo_t sigqueue[VG_N_SIGNALQUEUE];
thughes8abf3922004-10-16 10:59:49 +0000825 Int sigqueue_head;
826 Int sigqueue_tail;
827
njn25e49d8e72002-09-23 09:36:25 +0000828 /* Stacks. When a thread slot is freed, we don't deallocate its
829 stack; we just leave it lying around for the next use of the
830 slot. If the next use of the slot requires a larger stack,
831 only then is the old one deallocated and a new one
832 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000833
njn25e49d8e72002-09-23 09:36:25 +0000834 For the main thread (threadid == 0), this mechanism doesn't
835 apply. We don't know the size of the stack since we didn't
836 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000837
njn25e49d8e72002-09-23 09:36:25 +0000838 /* The allocated size of this thread's stack (permanently zero
839 if this is ThreadId == 0, since we didn't allocate its stack) */
840 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000841
njn25e49d8e72002-09-23 09:36:25 +0000842 /* Address of the lowest word in this thread's stack. NULL means
843 not allocated yet.
844 */
845 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000846
thughesdaa34562004-06-27 12:48:53 +0000847 /* The allocated size of this thread's stack's guard area (permanently
848 zero if this is ThreadId == 0, since we didn't allocate its stack) */
849 UInt stack_guard_size;
850
sewardj92a59562002-09-30 00:53:10 +0000851 /* Address of the highest legitimate word in this stack. This is
852 used for error messages only -- not critical for execution
853 correctness. Is is set for all stacks, specifically including
854 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000855 Addr stack_highest_word;
856
fitzhardinge98c4dc02004-03-16 08:27:29 +0000857 /* Alternate signal stack */
nethercote73b526f2004-10-31 18:48:21 +0000858 vki_stack_t altstack;
fitzhardinge98c4dc02004-03-16 08:27:29 +0000859
nethercotec06e2132004-09-03 13:45:29 +0000860 /* Architecture-specific thread state */
sewardj2a99cf62004-11-24 10:44:19 +0000861 ThreadArchState arch;
nethercote8ff888f2004-11-17 17:11:45 +0000862};
863//ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000864
865
sewardj018f7622002-05-15 21:13:39 +0000866/* The thread table. */
867extern ThreadState VG_(threads)[VG_N_THREADS];
868
869/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000870extern Bool VG_(is_valid_tid) ( ThreadId tid );
871
jsgf855d93d2003-10-13 22:26:55 +0000872/* Get the ThreadState for a particular thread */
873extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
874
sewardjccef2e62002-05-29 19:26:32 +0000875/* Nuke all threads except tid. */
876extern void VG_(nuke_all_threads_except) ( ThreadId me );
877
jsgf855d93d2003-10-13 22:26:55 +0000878/* Give a hint to the scheduler that it may be a good time to find a
879 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
880 try to schedule that thread.
881*/
882extern void VG_(need_resched) ( ThreadId prefer_sched );
883
sewardj2e93c502002-04-12 11:12:52 +0000884/* Return codes from the scheduler. */
885typedef
sewardj7e87e382002-05-03 19:09:05 +0000886 enum {
887 VgSrc_Deadlock, /* no runnable threads and no prospect of any
888 even if we wait for a long time */
889 VgSrc_ExitSyscall, /* client called exit(). This is the normal
890 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000891 VgSrc_FatalSig /* Killed by the default action of a fatal
892 signal */
sewardj7e87e382002-05-03 19:09:05 +0000893 }
sewardj2e93c502002-04-12 11:12:52 +0000894 VgSchedReturnCode;
895
sewardj7e87e382002-05-03 19:09:05 +0000896
nethercote238a3c32004-08-09 13:13:31 +0000897// The scheduler. 'fatal_sigNo' is only set if VgSrc_FatalSig is returned.
898extern VgSchedReturnCode VG_(scheduler)
899 ( Int* exit_code, ThreadId* last_run_thread, Int* fatal_sigNo );
sewardj2e93c502002-04-12 11:12:52 +0000900
901extern void VG_(scheduler_init) ( void );
902
sewardj15a43e12002-04-17 19:35:12 +0000903extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000904
nethercote75d26242004-08-01 22:59:18 +0000905// Longjmp back to the scheduler and thus enter the sighandler immediately.
nethercote73b526f2004-10-31 18:48:21 +0000906extern void VG_(resume_scheduler) ( Int sigNo, vki_siginfo_t *info );
sewardj2e93c502002-04-12 11:12:52 +0000907
nethercote238a3c32004-08-09 13:13:31 +0000908// Longjmp, ending the scheduler, when a fatal signal occurs in the client.
909extern void VG_(scheduler_handle_fatal_signal)( Int sigNo );
910
sewardj2e93c502002-04-12 11:12:52 +0000911/* The red-zone size which we put at the bottom (highest address) of
912 thread stacks, for paranoia reasons. This can be arbitrary, and
913 doesn't really need to be set at compile time. */
nethercote6e4f9dc2004-07-30 23:36:37 +0000914#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB 16
sewardj2e93c502002-04-12 11:12:52 +0000915
nethercoteaff1c772004-09-13 16:11:09 +0000916// Write a value to a client's thread register, and shadow (if necessary).
917// Note that there are some further similar macros in the arch- and
918// platform-specific parts; these ones are the totally generic ones.
njncf45fd42004-11-24 16:30:22 +0000919#define SET_THREAD_REG( zztid, zzval, zzGETREG, zzevent, zzargs... ) \
920 do { zzGETREG(VG_(threads)[zztid].arch) = (zzval); \
921 VG_TRACK( zzevent, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000922 } while (0)
923
njnd3040452003-05-19 15:04:06 +0000924#define SET_CLREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000925 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write, \
926 Vg_CoreClientReq, zztid, O_CLREQ_RET, sizeof(UWord))
njnd3040452003-05-19 15:04:06 +0000927
928#define SET_CLCALL_RETVAL(zztid, zzval, f) \
njncf45fd42004-11-24 16:30:22 +0000929 SET_THREAD_REG(zztid, zzval, CLREQ_RET, post_reg_write_clientcall_return, \
930 zztid, O_CLREQ_RET, sizeof(UWord), f)
njnd3040452003-05-19 15:04:06 +0000931
932#define SET_PTHREQ_ESP(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000933 SET_THREAD_REG(zztid, zzval, STACK_PTR, post_reg_write, \
934 Vg_CorePThread, zztid, O_STACK_PTR, sizeof(Addr))
njnd3040452003-05-19 15:04:06 +0000935
936#define SET_PTHREQ_RETVAL(zztid, zzval) \
njncf45fd42004-11-24 16:30:22 +0000937 SET_THREAD_REG(zztid, zzval, PTHREQ_RET, post_reg_write, \
938 Vg_CorePThread, zztid, O_PTHREQ_RET, sizeof(UWord))
sewardj018f7622002-05-15 21:13:39 +0000939
sewardj2e93c502002-04-12 11:12:52 +0000940
941/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000942 Exports of vg_signals.c
943 ------------------------------------------------------------------ */
944
jsgf855d93d2003-10-13 22:26:55 +0000945extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
946
947/* RT signal allocation */
948extern Int VG_(sig_rtmin);
949extern Int VG_(sig_rtmax);
950extern Int VG_(sig_alloc_rtsig) ( Int high );
951
sewardjde4a1d02002-03-22 01:27:54 +0000952extern void VG_(sigstartup_actions) ( void );
953
nethercote73b526f2004-10-31 18:48:21 +0000954extern void VG_(deliver_signal) ( ThreadId tid, const vki_siginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000955extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000956
jsgf855d93d2003-10-13 22:26:55 +0000957extern Bool VG_(is_sig_ign) ( Int sigNo );
958
959/* Route pending signals from the scheduler LWP to the appropriate
960 thread LWP. */
961extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000962
963/* Fake system calls for signal handling. */
nethercote93d9aa12004-11-10 19:08:31 +0000964extern void VG_(do_sys_sigaltstack) ( ThreadId tid );
965extern void VG_(do_sys_sigaction) ( ThreadId tid );
966extern void VG_(do_sys_sigprocmask) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000967 vki_sigset_t* set,
968 vki_sigset_t* oldset );
nethercote85cdd342004-08-01 22:36:40 +0000969extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid, Int how,
nethercote73b526f2004-10-31 18:48:21 +0000970 vki_sigset_t* set,
971 vki_sigset_t* oldset );
sewardjefbfcdf2002-06-19 17:35:45 +0000972
sewardj2e93c502002-04-12 11:12:52 +0000973/* Modify the current thread's state once we have detected it is
974 returning from a signal handler. */
nethercoteaff1c772004-09-13 16:11:09 +0000975extern Bool VG_(signal_returns) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +0000976
sewardj2e93c502002-04-12 11:12:52 +0000977/* Handy utilities to block/restore all host signals. */
978extern void VG_(block_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000979 ( /* OUT */ vki_sigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000980extern void VG_(restore_all_host_signals)
nethercote73b526f2004-10-31 18:48:21 +0000981 ( /* IN */ vki_sigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000982
jsgf855d93d2003-10-13 22:26:55 +0000983extern void VG_(kill_self)(Int sigNo);
984
fitzhardingef1beb252004-03-16 09:49:08 +0000985/* These function synthesize a fault, as if the running instruction
986 had had a fault. These functions do not return - they longjmp back
987 into the scheduler so the signal can be delivered. */
988extern void VG_(synth_fault) (ThreadId tid);
989extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
990extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
sewardj5e2f0012004-12-13 14:10:34 +0000991extern void VG_(synth_sigill) (ThreadId tid, Addr addr);
fitzhardingef1beb252004-03-16 09:49:08 +0000992
nethercote759dda32004-08-07 18:16:56 +0000993extern void VG_(get_sigstack_bounds)( Addr* low, Addr* high );
fitzhardingef1beb252004-03-16 09:49:08 +0000994
sewardj51ac0872004-12-21 01:20:49 +0000995
sewardjde4a1d02002-03-22 01:27:54 +0000996/* ---------------------------------------------------------------------
997 Exports of vg_mylibc.c
998 ------------------------------------------------------------------ */
999
njnca0518d2004-11-26 19:34:36 +00001000// Useful for making failing stubs, when certain things haven't yet been
1001// implemented.
1002#define I_die_here \
1003 VG_(core_assert_fail) ("Unimplemented functionality", \
1004 __FILE__, __LINE__, __PRETTY_FUNCTION__)
1005
njne427a662002-10-02 11:08:25 +00001006#define vg_assert(expr) \
1007 ((void) ((expr) ? 0 : \
1008 (VG_(core_assert_fail) (VG__STRING(expr), \
1009 __FILE__, __LINE__, \
1010 __PRETTY_FUNCTION__), 0)))
1011__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001012extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1013 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001014__attribute__ ((__noreturn__))
1015extern void VG_(core_panic) ( Char* str );
thughes5876d552004-09-26 18:44:06 +00001016__attribute__ ((__noreturn__))
1017extern void VG_(core_panic_at) ( Char* str, ExeContext *ec );
sewardjde4a1d02002-03-22 01:27:54 +00001018
nethercote05675c82004-08-04 10:37:49 +00001019/* Tools use VG_(strdup)() which doesn't expose ArenaId */
njn25e49d8e72002-09-23 09:36:25 +00001020extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001021
njn25e49d8e72002-09-23 09:36:25 +00001022extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
jsgf855d93d2003-10-13 22:26:55 +00001023extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001024
fitzhardinge98abfc72003-12-16 02:05:15 +00001025/* system/mman.h */
nethercote8b5f40c2004-11-02 13:29:50 +00001026extern void* VG_(mmap)( void* start, SizeT length, UInt prot, UInt flags,
nethercote5b9fafd2004-11-04 18:39:22 +00001027 UInt sf_flags, UInt fd, OffT offset );
nethercote8b5f40c2004-11-02 13:29:50 +00001028extern Int VG_(munmap)( void* start, SizeT length );
1029extern Int VG_(mprotect)( void *start, SizeT length, UInt prot );
fitzhardinge98abfc72003-12-16 02:05:15 +00001030
1031
jsgf855d93d2003-10-13 22:26:55 +00001032/* Move an fd into the Valgrind-safe range */
1033Int VG_(safe_fd)(Int oldfd);
1034
sewardj570f8902002-11-03 11:44:36 +00001035extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001036
1037/* --- Connecting over the network --- */
1038extern Int VG_(connect_via_socket)( UChar* str );
1039
fitzhardinge98abfc72003-12-16 02:05:15 +00001040/* Environment manipulations */
nethercote60a96c52004-08-03 13:08:31 +00001041extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname,
1042 const Char *val );
1043extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
1044extern void VG_(env_remove_valgrind_env_stuff) ( Char** env );
sewardj570f8902002-11-03 11:44:36 +00001045
sewardj51ac0872004-12-21 01:20:49 +00001046
sewardj570f8902002-11-03 11:44:36 +00001047/* ---------------------------------------------------------------------
1048 Exports of vg_message.c
1049 ------------------------------------------------------------------ */
1050
1051/* Low-level -- send bytes directly to the message sink. Do not
1052 use. */
1053extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1054
nethercoted1da90e2004-08-03 17:26:39 +00001055// Functions for printing from code within Valgrind, but which runs on the
nethercotec91ce8d2004-08-09 11:15:10 +00001056// sim'd CPU. Defined here because needed for vg_libpthread.c,
1057// vg_replace_malloc.c, plus the rest of the core. The weak attribute
1058// ensures the multiple definitions are not a problem. They must be functions
1059// rather than macros so that va_list can be used.
1060
1061__attribute__((weak))
1062int
1063VALGRIND_INTERNAL_PRINTF(char *format, ...)
1064{
nethercotebe671db2004-10-26 11:44:46 +00001065 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001066 va_list vargs;
1067 va_start(vargs, format);
1068 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
nethercotebe671db2004-10-26 11:44:46 +00001069 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001070 va_end(vargs);
1071 return _qzz_res;
1072}
1073
1074__attribute__((weak))
1075int
1076VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
1077{
nethercotebe671db2004-10-26 11:44:46 +00001078 UWord _qzz_res = 0;
nethercotec91ce8d2004-08-09 11:15:10 +00001079 va_list vargs;
1080 va_start(vargs, format);
1081 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
nethercotebe671db2004-10-26 11:44:46 +00001082 (UWord)format, (UWord)vargs, 0, 0);
nethercotec91ce8d2004-08-09 11:15:10 +00001083 va_end(vargs);
1084 return _qzz_res;
1085}
1086
nethercoted1da90e2004-08-03 17:26:39 +00001087
sewardjde4a1d02002-03-22 01:27:54 +00001088/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001089 Exports of vg_demangle.c
1090 ------------------------------------------------------------------ */
1091
1092extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1093
sewardj4ccf7072004-11-28 16:58:05 +00001094
sewardjde4a1d02002-03-22 01:27:54 +00001095/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001096 Exports of vg_translate.c
1097 ------------------------------------------------------------------ */
1098
nethercote4d714382004-10-13 09:47:24 +00001099extern Bool VG_(translate) ( ThreadId tid, Addr orig_addr, Bool debugging );
sewardjde4a1d02002-03-22 01:27:54 +00001100
sewardjb5ff83e2002-12-01 19:40:49 +00001101
sewardjde4a1d02002-03-22 01:27:54 +00001102/* ---------------------------------------------------------------------
1103 Exports of vg_execontext.c.
1104 ------------------------------------------------------------------ */
1105
nethercote4ad74312004-10-26 09:59:49 +00001106/* Records the PC and a bit of the call chain. The first 4 IP
sewardjde4a1d02002-03-22 01:27:54 +00001107 values are used in comparisons do remove duplicate errors, and for
1108 comparing against suppression specifications. The rest are purely
1109 informational (but often important). */
1110
njn25e49d8e72002-09-23 09:36:25 +00001111struct _ExeContext {
1112 struct _ExeContext * next;
1113 /* Variable-length array. The size is VG_(clo_backtrace_size); at
nethercote86c5dcb2004-09-05 21:32:37 +00001114 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP,
njn25e49d8e72002-09-23 09:36:25 +00001115 [1] is its caller, [2] is the caller of [1], etc. */
nethercote86c5dcb2004-09-05 21:32:37 +00001116 Addr ips[0];
njn25e49d8e72002-09-23 09:36:25 +00001117};
sewardjde4a1d02002-03-22 01:27:54 +00001118
1119
sewardjde4a1d02002-03-22 01:27:54 +00001120/* Print stats (informational only). */
nethercote3a42fb82004-08-03 18:08:50 +00001121extern void VG_(print_ExeContext_stats) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001122
njn25e49d8e72002-09-23 09:36:25 +00001123/* Like VG_(get_ExeContext), but with a slightly different type */
nethercote3d4a0b12004-09-06 15:14:46 +00001124extern ExeContext* VG_(get_ExeContext2) ( Addr ip, Addr fp,
1125 Addr fp_min, Addr fp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001126
1127
1128/* ---------------------------------------------------------------------
1129 Exports of vg_errcontext.c.
1130 ------------------------------------------------------------------ */
1131
njn25e49d8e72002-09-23 09:36:25 +00001132extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001133
njn25e49d8e72002-09-23 09:36:25 +00001134extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001135
njn25e49d8e72002-09-23 09:36:25 +00001136extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001137
nethercotef2b11482004-08-02 12:36:01 +00001138extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
njn43c799e2003-04-08 00:08:52 +00001139
nethercotef2b11482004-08-02 12:36:01 +00001140extern UInt VG_(get_n_errs_found) ( void );
njn47363ab2003-04-21 13:24:40 +00001141
sewardj51ac0872004-12-21 01:20:49 +00001142
sewardjde4a1d02002-03-22 01:27:54 +00001143/* ---------------------------------------------------------------------
1144 Exports of vg_procselfmaps.c
1145 ------------------------------------------------------------------ */
1146
njnfa1016e2003-09-25 17:54:11 +00001147/* Reads /proc/self/maps into a static buffer which can be parsed by
1148 VG_(parse_procselfmaps)(). */
1149extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001150
1151/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1152 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1153 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001154extern
njnfa1016e2003-09-25 17:54:11 +00001155void VG_(parse_procselfmaps) (
nethercote8991d5a2004-11-03 17:07:46 +00001156 void (*record_mapping)( Addr addr, SizeT len, Char rr, Char ww, Char xx,
nethercote85cdd342004-08-01 22:36:40 +00001157 UInt dev, UInt ino, ULong foff,
1158 const UChar *filename ) );
sewardjde4a1d02002-03-22 01:27:54 +00001159
1160
1161/* ---------------------------------------------------------------------
1162 Exports of vg_symtab2.c
1163 ------------------------------------------------------------------ */
1164
fitzhardinge98abfc72003-12-16 02:05:15 +00001165typedef struct _Segment Segment;
1166
1167extern Bool VG_(is_object_file) ( const void *hdr );
nethercote4ad74312004-10-26 09:59:49 +00001168extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001169extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
fitzhardinge98abfc72003-12-16 02:05:15 +00001170extern void VG_(symtab_incref) ( SegInfo * );
nethercote8991d5a2004-11-03 17:07:46 +00001171extern void VG_(symtab_decref) ( SegInfo *, Addr a );
sewardjde4a1d02002-03-22 01:27:54 +00001172
njn25e49d8e72002-09-23 09:36:25 +00001173extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001174
fitzhardinge98abfc72003-12-16 02:05:15 +00001175/* Set up some default redirects */
1176extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001177
fitzhardinge98abfc72003-12-16 02:05:15 +00001178/* Redirection machinery */
nethercote85cdd342004-08-01 22:36:40 +00001179extern Addr VG_(code_redirect) ( Addr orig );
sewardjde4a1d02002-03-22 01:27:54 +00001180
sewardj51ac0872004-12-21 01:20:49 +00001181
sewardjde4a1d02002-03-22 01:27:54 +00001182/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001183 Exports of vg_main.c
1184 ------------------------------------------------------------------ */
1185
sewardj73cf3bc2002-11-03 03:20:15 +00001186/* Tell the logging mechanism whether we are logging to a file
1187 descriptor or a socket descriptor. */
1188extern Bool VG_(logging_to_filedes);
1189
njn25e49d8e72002-09-23 09:36:25 +00001190/* Sanity checks which may be done at any time. The scheduler decides when. */
nethercote885dd912004-08-03 23:14:00 +00001191extern void VG_(sanity_check_general) ( Bool force_expensive );
njn25e49d8e72002-09-23 09:36:25 +00001192
fitzhardinge98abfc72003-12-16 02:05:15 +00001193/* Address space */
1194extern Addr VG_(client_base); /* client address space limits */
1195extern Addr VG_(client_end);
1196extern Addr VG_(client_mapbase); /* base of mappings */
1197extern Addr VG_(clstk_base); /* client stack range */
1198extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001199extern Addr VG_(client_trampoline_code);
1200
fitzhardinge98abfc72003-12-16 02:05:15 +00001201extern Addr VG_(brk_base); /* start of brk */
1202extern Addr VG_(brk_limit); /* current brk */
nethercote996901a2004-08-03 13:29:09 +00001203extern Addr VG_(shadow_base); /* tool's shadow memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001204extern Addr VG_(shadow_end);
1205extern Addr VG_(valgrind_base); /* valgrind's address range */
nethercote820bd8c2004-09-07 23:04:49 +00001206extern Addr VG_(valgrind_last); // Nb: last byte, rather than one past the end
fitzhardinge98abfc72003-12-16 02:05:15 +00001207
nethercote73b526f2004-10-31 18:48:21 +00001208extern struct vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1209extern struct vki_rlimit VG_(client_rlimit_stack); /* client's original rlimit stack */
fitzhardingeb50068f2004-02-24 23:42:55 +00001210
fitzhardingea49f9b52003-12-16 22:26:45 +00001211/* client executable file descriptor */
1212extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001213
nethercotef6a1d502004-08-09 12:21:57 +00001214// Help set up the child used when doing execve() with --trace-children=yes
1215Char* VG_(build_child_VALGRINDCLO) ( Char* exename );
1216Char* VG_(build_child_exename) ( void );
1217
sewardjde4a1d02002-03-22 01:27:54 +00001218/* Called when some unhandleable client behaviour is detected.
1219 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001220extern void VG_(unimplemented) ( Char* msg )
1221 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001222
nethercote04d0fbc2004-01-26 16:48:06 +00001223/* Something of a function looking for a home ... start up debugger. */
njnc6168192004-11-29 13:54:10 +00001224extern void VG_(start_debugger) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001225
sewardjde4a1d02002-03-22 01:27:54 +00001226/* Counts downwards in vg_run_innerloop. */
1227extern UInt VG_(dispatch_ctr);
1228
sewardj4ccf7072004-11-28 16:58:05 +00001229/* Instruction pointer guest state offset, used by $VG_ARCH/dispatch.S. */
njn87c98122004-11-30 23:32:01 +00001230extern OffT VG_(instr_ptr_offset);
njn16de5572004-11-27 14:27:21 +00001231
sewardj4ccf7072004-11-28 16:58:05 +00001232/* Stats ... */
nethercote844e7122004-08-02 15:27:22 +00001233extern void VG_(print_scheduler_stats) ( void );
sewardj2e93c502002-04-12 11:12:52 +00001234
sewardj51ac0872004-12-21 01:20:49 +00001235/* Indicates what arch and subarch we are running on. */
1236extern VexArch VG_(vex_arch);
1237extern VexSubArch VG_(vex_subarch);
1238
nethercote2e05c332004-09-06 16:43:37 +00001239
sewardjde4a1d02002-03-22 01:27:54 +00001240/* ---------------------------------------------------------------------
1241 Exports of vg_memory.c
1242 ------------------------------------------------------------------ */
1243
fitzhardinge98abfc72003-12-16 02:05:15 +00001244/* A Segment is mapped piece of client memory. This covers all kinds
1245 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1246
1247 We try to encode everything we know about a particular segment here.
1248*/
nethercote85cdd342004-08-01 22:36:40 +00001249#define SF_FIXED (1 << 0) // client asked for MAP_FIXED
1250#define SF_SHARED (1 << 1) // shared
1251#define SF_SHM (1 << 2) // SYSV SHM (also SF_SHARED)
1252#define SF_MMAP (1 << 3) // mmap memory
1253#define SF_FILE (1 << 4) // mapping is backed by a file
1254#define SF_STACK (1 << 5) // is a stack
1255#define SF_GROWDOWN (1 << 6) // segment grows down
1256#define SF_GROWUP (1 << 7) // segment grows up
1257#define SF_EXEC (1 << 8) // segment created by exec
1258#define SF_DYNLIB (1 << 9) // mapped from dynamic library
1259#define SF_NOSYMS (1 << 10) // don't load syms, even if present
1260#define SF_BRK (1 << 11) // brk segment
1261#define SF_CORE (1 << 12) // allocated by core on behalf of the client
1262#define SF_VALGRIND (1 << 13) // a valgrind-internal mapping - not in client
1263#define SF_CODE (1 << 14) // segment contains cached code
fitzhardinge98abfc72003-12-16 02:05:15 +00001264
1265struct _Segment {
njnf9dc6192004-11-30 13:20:44 +00001266 UInt prot; // VKI_PROT_*
1267 UInt flags; // SF_*
fitzhardinge98abfc72003-12-16 02:05:15 +00001268
njnf9dc6192004-11-30 13:20:44 +00001269 Addr addr; // mapped addr (page aligned)
1270 SizeT len; // size of mapping (page aligned)
fitzhardinge98abfc72003-12-16 02:05:15 +00001271
njnf9dc6192004-11-30 13:20:44 +00001272 // These are valid if (flags & SF_FILE)
1273 OffT offset; // file offset
1274 const Char* filename; // filename (NULL if unknown)
1275 UInt dev; // device
1276 UInt ino; // inode
fitzhardinge98abfc72003-12-16 02:05:15 +00001277
njnf9dc6192004-11-30 13:20:44 +00001278 SegInfo* symtab; // symbol table
fitzhardinge98abfc72003-12-16 02:05:15 +00001279};
1280
1281/* segment mapped from a file descriptor */
nethercote8b5f40c2004-11-02 13:29:50 +00001282extern void VG_(map_fd_segment) (Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001283 Int fd, ULong off, const Char *filename);
1284
1285/* segment mapped from a file */
nethercote8b5f40c2004-11-02 13:29:50 +00001286extern void VG_(map_file_segment)(Addr addr, SizeT len, UInt prot, UInt flags,
fitzhardinge98abfc72003-12-16 02:05:15 +00001287 UInt dev, UInt ino, ULong off, const Char *filename);
1288
1289/* simple segment */
nethercote8b5f40c2004-11-02 13:29:50 +00001290extern void VG_(map_segment) (Addr addr, SizeT len, UInt prot, UInt flags);
fitzhardinge98abfc72003-12-16 02:05:15 +00001291
nethercote8b5f40c2004-11-02 13:29:50 +00001292extern void VG_(unmap_range) (Addr addr, SizeT len);
1293extern void VG_(mprotect_range)(Addr addr, SizeT len, UInt prot);
1294extern Addr VG_(find_map_space)(Addr base, SizeT len, Bool for_client);
fitzhardinge98abfc72003-12-16 02:05:15 +00001295
1296extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001297extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001298extern Segment *VG_(next_segment)(Segment *);
1299
nethercote8991d5a2004-11-03 17:07:46 +00001300extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, SizeT size);
1301extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, SizeT size);
fitzhardinge98abfc72003-12-16 02:05:15 +00001302
nethercote8991d5a2004-11-03 17:07:46 +00001303extern void VG_(pad_address_space) (void);
thughes9aaebc32004-07-15 23:13:37 +00001304extern void VG_(unpad_address_space)(void);
1305
sewardj2a99cf62004-11-24 10:44:19 +00001306extern REGPARM(2)
1307 void VG_(unknown_SP_update) ( Addr old_SP, Addr new_SP );
sewardjde4a1d02002-03-22 01:27:54 +00001308
jsgf855d93d2003-10-13 22:26:55 +00001309/* ---------------------------------------------------------------------
1310 Exports of vg_proxylwp.c
1311 ------------------------------------------------------------------ */
1312
1313/* Issue a syscall for thread tid */
njnc6168192004-11-29 13:54:10 +00001314extern Int VG_(sys_issue)(ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +00001315
1316extern void VG_(proxy_init) ( void );
1317extern void VG_(proxy_create) ( ThreadId tid );
1318extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1319extern void VG_(proxy_results) ( void );
sewardj0a785fd2004-11-24 21:24:24 +00001320extern void VG_(proxy_sendsig) ( ThreadId fromTid, ThreadId toTid, Int signo );
jsgf855d93d2003-10-13 22:26:55 +00001321extern void VG_(proxy_setsigmask)(ThreadId tid);
nethercote73b526f2004-10-31 18:48:21 +00001322extern void VG_(proxy_sigack) ( ThreadId tid, const vki_sigset_t *);
jsgf855d93d2003-10-13 22:26:55 +00001323extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1324extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001325extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001326
nethercote85cdd342004-08-01 22:36:40 +00001327extern void VG_(proxy_shutdown) ( void ); // shut down the syscall workers
1328extern Int VG_(proxy_resfd) ( void ); // FD something can select on to know
1329 // a syscall finished
jsgf855d93d2003-10-13 22:26:55 +00001330
1331/* Sanity-check the whole proxy-LWP machinery */
nethercote885dd912004-08-03 23:14:00 +00001332void VG_(sanity_check_proxy)(void);
jsgf855d93d2003-10-13 22:26:55 +00001333
1334/* Send a signal from a thread's proxy to the thread. This longjmps
1335 back into the proxy's main loop, so it doesn't return. */
1336__attribute__ ((__noreturn__))
nethercote73b526f2004-10-31 18:48:21 +00001337extern void VG_(proxy_handlesig)( const vki_siginfo_t *siginfo,
nethercotee5a3e2b2004-10-13 14:42:57 +00001338 Addr ip, Int sysnum );
jsgf855d93d2003-10-13 22:26:55 +00001339
sewardjde4a1d02002-03-22 01:27:54 +00001340/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001341 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001342 ------------------------------------------------------------------ */
1343
fitzhardinge98abfc72003-12-16 02:05:15 +00001344extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001345
jsgf855d93d2003-10-13 22:26:55 +00001346extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001347extern void VG_(post_syscall)( ThreadId tid, Bool restart );
sewardjde4a1d02002-03-22 01:27:54 +00001348
nethercote5b9fafd2004-11-04 18:39:22 +00001349extern Bool VG_(is_kerror) ( Word res );
sewardjde4a1d02002-03-22 01:27:54 +00001350
jsgf855d93d2003-10-13 22:26:55 +00001351/* Internal atfork handlers */
1352typedef void (*vg_atfork_t)(ThreadId);
1353extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001354
rjwalshf5f536f2003-11-17 17:45:00 +00001355/* fd leakage calls. */
1356extern void VG_(init_preopened_fds) ( void );
nethercote3a42fb82004-08-03 18:08:50 +00001357extern void VG_(show_open_fds) ( void );
rjwalshf5f536f2003-11-17 17:45:00 +00001358
nethercote8ff888f2004-11-17 17:11:45 +00001359// Return true if address range entirely contained within client
1360// address space.
1361Bool VG_(valid_client_addr)(Addr start, SizeT size, ThreadId tid,
1362 const Char *syscallname);
nethercote3d5e9102004-11-17 18:22:38 +00001363
1364// Return true if we're allowed to use or create this fd.
1365Bool VG_(fd_allowed)(Int fd, const Char *syscallname, ThreadId tid, Bool soft);
1366
njnc6168192004-11-29 13:54:10 +00001367void VG_(record_fd_open)(ThreadId tid, Int fd, char *pathname);
nethercote8ff888f2004-11-17 17:11:45 +00001368
1369// Flags describing syscall wrappers
1370#define Special (1 << 0)
1371#define MayBlock (1 << 1)
1372#define NBRunInLWP (1 << 2) // non-blocking, but must run in LWP context
1373#define PostOnFail (1 << 3)
1374
njn61fa0af2004-11-27 15:22:24 +00001375// Templates for generating the PRE and POST macros. For ones that must be
1376// publically visible, use an empty 'qual', 'prefix' should start with
1377// "vgArch_", and there should be corresponding global declarations (like
1378// the GEN_SYSCALL_WRAPPER ones below). Otherwise, use "static" for 'qual',
1379// and "vgArch_" should not be in the 'prefix'.
1380#define PRE_TEMPLATE(qual, prefix, name, f) \
1381 qual UInt prefix##_##name##_flags = f; \
1382 qual void prefix##_##name##_before(ThreadId tid, ThreadState *tst)
1383#define POST_TEMPLATE(qual, prefix, name) \
1384 qual void prefix##_##name##_after (ThreadId tid, ThreadState *tst)
1385
1386// This macro is used to write other macros which making writing syscall
1387// tables easier.
1388#define SYS_WRAPPER_ENTRY_X_(prefix, const, name) \
1389 [const] = { &prefix##_##name##_flags, \
1390 prefix##_##name##_before, NULL }
1391#define SYS_WRAPPER_ENTRY_XY(prefix, const, name) \
1392 [const] = { &prefix##_##name##_flags, \
1393 prefix##_##name##_before, \
1394 prefix##_##name##_after }
1395
1396// Macros for adding generic wrappers to a syscall table.
1397#define GENX_(const, name) SYS_WRAPPER_ENTRY_X_(vgArch_gen, const, name)
1398#define GENXY(const, name) SYS_WRAPPER_ENTRY_XY(vgArch_gen, const, name)
nethercote8ff888f2004-11-17 17:11:45 +00001399
njn22cfccb2004-11-27 16:10:23 +00001400// Space-saving macros for syscall wrappers
1401#define SYSNO SYSCALL_NUM(tst->arch) // in PRE(x)
1402#define RES SYSCALL_RET(tst->arch) // in POST(x)
1403#define ARG1 SYSCALL_ARG1(tst->arch)
1404#define ARG2 SYSCALL_ARG2(tst->arch)
1405#define ARG3 SYSCALL_ARG3(tst->arch)
1406#define ARG4 SYSCALL_ARG4(tst->arch)
1407#define ARG5 SYSCALL_ARG5(tst->arch)
1408#define ARG6 SYSCALL_ARG6(tst->arch)
1409
1410#define SET_RESULT(val) PLATFORM_SET_SYSCALL_RESULT(tst->arch, (val))
1411
1412#define PRINT(format, args...) \
1413 if (VG_(clo_trace_syscalls)) \
1414 VG_(printf)(format, ## args)
1415
nethercote8ff888f2004-11-17 17:11:45 +00001416// Generic (platform-independent) syscall wrappers. These are generally
1417// POSIX or something like that; those that are not POSIX are annotated
1418// with what standards they are part of, as stated in the Linux man pages.
nethercote3d5e9102004-11-17 18:22:38 +00001419// For many of them, it's unclear if they are generic, or Linux-specific, or
1420// x86/Linux-specific, or something else again.
nethercote8ff888f2004-11-17 17:11:45 +00001421//
1422// Nb: This list may change over time... ones thought at first to be generic
1423// may turn out not to be, and so be moved into OS-specific or
1424// platform-specific files. If there's any doubt, I'm leaving them in here.
1425//
1426// Nb 2: if porting to a new OS, you should really check all these generic
1427// wrappers to make sure they match your OS, painful as it might be.
njn61fa0af2004-11-27 15:22:24 +00001428//
1429// For each generic ("gen") wrapper, we declare the pre-wrapper, the
1430// post-wrapper (which is actually not always needed), and the associated
1431// flags.
1432#define GEN_SYSCALL_WRAPPER(x) \
1433 extern UInt VGA_(gen_##x##_flags); \
1434 extern void VGA_(gen_##x##_before)(ThreadId tid, ThreadState *tst); \
1435 extern void VGA_(gen_##x##_after) (ThreadId tid, ThreadState *tst)
nethercote8ff888f2004-11-17 17:11:45 +00001436
1437GEN_SYSCALL_WRAPPER(sys_ni_syscall); // * P -- unimplemented
1438GEN_SYSCALL_WRAPPER(sys_exit);
1439GEN_SYSCALL_WRAPPER(sys_fork);
1440GEN_SYSCALL_WRAPPER(sys_read);
1441GEN_SYSCALL_WRAPPER(sys_write);
1442GEN_SYSCALL_WRAPPER(sys_open);
1443GEN_SYSCALL_WRAPPER(sys_close);
1444GEN_SYSCALL_WRAPPER(sys_waitpid);
1445GEN_SYSCALL_WRAPPER(sys_creat);
1446GEN_SYSCALL_WRAPPER(sys_link);
1447GEN_SYSCALL_WRAPPER(sys_unlink);
nethercote3d5e9102004-11-17 18:22:38 +00001448GEN_SYSCALL_WRAPPER(sys_execve); // (*??) P
nethercote8ff888f2004-11-17 17:11:45 +00001449GEN_SYSCALL_WRAPPER(sys_chdir);
1450GEN_SYSCALL_WRAPPER(sys_time);
1451GEN_SYSCALL_WRAPPER(sys_mknod);
1452GEN_SYSCALL_WRAPPER(sys_chmod);
1453GEN_SYSCALL_WRAPPER(sys_lseek);
1454GEN_SYSCALL_WRAPPER(sys_getpid);
1455GEN_SYSCALL_WRAPPER(sys_alarm);
1456GEN_SYSCALL_WRAPPER(sys_pause);
1457GEN_SYSCALL_WRAPPER(sys_utime);
1458GEN_SYSCALL_WRAPPER(sys_access);
1459GEN_SYSCALL_WRAPPER(sys_kill);
1460GEN_SYSCALL_WRAPPER(sys_rename);
1461GEN_SYSCALL_WRAPPER(sys_mkdir);
1462GEN_SYSCALL_WRAPPER(sys_rmdir);
1463GEN_SYSCALL_WRAPPER(sys_dup);
1464GEN_SYSCALL_WRAPPER(sys_times);
1465GEN_SYSCALL_WRAPPER(sys_fcntl); // POSIX (but complicated)
1466GEN_SYSCALL_WRAPPER(sys_setpgid);
1467GEN_SYSCALL_WRAPPER(sys_umask);
1468GEN_SYSCALL_WRAPPER(sys_dup2);
1469GEN_SYSCALL_WRAPPER(sys_getppid);
1470GEN_SYSCALL_WRAPPER(sys_getpgrp);
1471GEN_SYSCALL_WRAPPER(sys_setsid);
1472GEN_SYSCALL_WRAPPER(sys_munmap);
1473GEN_SYSCALL_WRAPPER(sys_truncate);
1474GEN_SYSCALL_WRAPPER(sys_ftruncate);
1475GEN_SYSCALL_WRAPPER(sys_fchmod);
1476GEN_SYSCALL_WRAPPER(sys_msync);
1477GEN_SYSCALL_WRAPPER(sys_readv);
1478GEN_SYSCALL_WRAPPER(sys_writev);
1479GEN_SYSCALL_WRAPPER(sys_getsid);
1480GEN_SYSCALL_WRAPPER(sys_fdatasync);
1481GEN_SYSCALL_WRAPPER(sys_mlock);
1482GEN_SYSCALL_WRAPPER(sys_munlock);
1483GEN_SYSCALL_WRAPPER(sys_mlockall);
1484GEN_SYSCALL_WRAPPER(sys_munlockall);
1485GEN_SYSCALL_WRAPPER(sys_sched_setparam);
1486GEN_SYSCALL_WRAPPER(sys_sched_getparam);
1487GEN_SYSCALL_WRAPPER(sys_sched_setscheduler);
1488GEN_SYSCALL_WRAPPER(sys_sched_getscheduler);
1489GEN_SYSCALL_WRAPPER(sys_sched_yield);
1490GEN_SYSCALL_WRAPPER(sys_sched_get_priority_max);
1491GEN_SYSCALL_WRAPPER(sys_sched_get_priority_min);
1492GEN_SYSCALL_WRAPPER(sys_nanosleep);
1493GEN_SYSCALL_WRAPPER(sys_mremap); // POSIX, but Linux arg order may be odd
1494GEN_SYSCALL_WRAPPER(sys_getuid);
1495GEN_SYSCALL_WRAPPER(sys_getgid);
1496GEN_SYSCALL_WRAPPER(sys_geteuid);
1497GEN_SYSCALL_WRAPPER(sys_getegid);
nethercote3d5e9102004-11-17 18:22:38 +00001498GEN_SYSCALL_WRAPPER(sys_getpgid);
nethercote8ff888f2004-11-17 17:11:45 +00001499GEN_SYSCALL_WRAPPER(sys_fsync);
1500GEN_SYSCALL_WRAPPER(sys_wait4);
1501GEN_SYSCALL_WRAPPER(sys_mprotect);
1502GEN_SYSCALL_WRAPPER(sys_sigprocmask);
1503GEN_SYSCALL_WRAPPER(sys_timer_create); // Linux: varies across archs?
1504GEN_SYSCALL_WRAPPER(sys_timer_settime);
1505GEN_SYSCALL_WRAPPER(sys_timer_gettime);
1506GEN_SYSCALL_WRAPPER(sys_timer_getoverrun);
1507GEN_SYSCALL_WRAPPER(sys_timer_delete);
1508GEN_SYSCALL_WRAPPER(sys_clock_settime);
1509GEN_SYSCALL_WRAPPER(sys_clock_gettime);
1510GEN_SYSCALL_WRAPPER(sys_clock_getres);
1511GEN_SYSCALL_WRAPPER(sys_getcwd);
nethercote3d5e9102004-11-17 18:22:38 +00001512GEN_SYSCALL_WRAPPER(sys_symlink);
1513GEN_SYSCALL_WRAPPER(sys_getgroups);
1514GEN_SYSCALL_WRAPPER(sys_setgroups); // SVr4, SVID, X/OPEN, 4.3BSD
1515GEN_SYSCALL_WRAPPER(sys_chown);
1516GEN_SYSCALL_WRAPPER(sys_setuid);
1517GEN_SYSCALL_WRAPPER(sys_gettimeofday);
1518GEN_SYSCALL_WRAPPER(sys_madvise);
1519GEN_SYSCALL_WRAPPER(sys_sigpending);
nethercote8ff888f2004-11-17 17:11:45 +00001520
1521// These ones aren't POSIX, but are in some standard and look reasonably
1522// generic, and are the same for all architectures under Linux.
1523GEN_SYSCALL_WRAPPER(sys_nice); // SVr4, SVID EXT, AT&T, X/OPEN, BSD 4.3
1524GEN_SYSCALL_WRAPPER(sys_sync); // SVr4, SVID, X/OPEN, BSD 4.3
1525GEN_SYSCALL_WRAPPER(sys_brk); // 4.3BSD
1526GEN_SYSCALL_WRAPPER(sys_acct); // SVR4, non-POSIX
1527GEN_SYSCALL_WRAPPER(sys_chroot); // SVr4, SVID, 4.4BSD, X/OPEN
nethercote3d5e9102004-11-17 18:22:38 +00001528GEN_SYSCALL_WRAPPER(sys_readlink); // X/OPEN, 4.4BSD
1529GEN_SYSCALL_WRAPPER(sys_fchdir); // SVr4, SVID, POSIX, X/OPEN, 4.4BSD
1530GEN_SYSCALL_WRAPPER(sys_getdents); // SVr4,SVID
1531GEN_SYSCALL_WRAPPER(sys_select); // 4.4BSD
1532GEN_SYSCALL_WRAPPER(sys_flock); // 4.4BSD
1533GEN_SYSCALL_WRAPPER(sys_poll); // XPG4-UNIX
1534GEN_SYSCALL_WRAPPER(sys_getrusage); // SVr4, 4.3BSD
1535GEN_SYSCALL_WRAPPER(sys_settimeofday); // SVr4, 4.3BSD (non-POSIX)
1536GEN_SYSCALL_WRAPPER(sys_getpriority); // SVr4, 4.4BSD
1537GEN_SYSCALL_WRAPPER(sys_setpriority); // SVr4, 4.4BSD
1538GEN_SYSCALL_WRAPPER(sys_setitimer); // SVr4, 4.4BSD
1539GEN_SYSCALL_WRAPPER(sys_getitimer); // SVr4, 4.4BSD
1540GEN_SYSCALL_WRAPPER(sys_setreuid); // 4.3BSD
1541GEN_SYSCALL_WRAPPER(sys_setregid); // 4.3BSD
1542GEN_SYSCALL_WRAPPER(sys_fchown); // SVr4,4.3BSD
1543GEN_SYSCALL_WRAPPER(sys_setgid); // SVr4,SVID
1544GEN_SYSCALL_WRAPPER(sys_utimes); // 4.3BSD
nethercote8ff888f2004-11-17 17:11:45 +00001545
1546// These ones may be Linux specific... not sure. They use 16-bit gid_t and
1547// uid_t types. The similarly named (minus the "16" suffix) ones below use
1548// 32-bit versions of these types.
1549GEN_SYSCALL_WRAPPER(sys_setuid16); // ## P
1550GEN_SYSCALL_WRAPPER(sys_getuid16); // ## P
1551GEN_SYSCALL_WRAPPER(sys_setgid16); // ## SVr4,SVID
1552GEN_SYSCALL_WRAPPER(sys_getgid16); // ## P
1553GEN_SYSCALL_WRAPPER(sys_geteuid16); // ## P
1554GEN_SYSCALL_WRAPPER(sys_getegid16); // ## P
1555GEN_SYSCALL_WRAPPER(sys_setreuid16); // ## BSD4.3
1556GEN_SYSCALL_WRAPPER(sys_setregid16); // ## BSD4.3
1557GEN_SYSCALL_WRAPPER(sys_getgroups16); // ## P
1558GEN_SYSCALL_WRAPPER(sys_setgroups16); // ## SVr4, SVID, X/OPEN, 4.3BSD
1559GEN_SYSCALL_WRAPPER(sys_fchown16); // ## SVr4,BSD4.3
1560GEN_SYSCALL_WRAPPER(sys_chown16); // ## P
1561
nethercote8ff888f2004-11-17 17:11:45 +00001562// Linux's funny many-in-one socketcall is certainly not generic, but I
1563// didn't want to move it until necessary because it's big and has a lot of
1564// associated junk.
1565GEN_SYSCALL_WRAPPER(sys_socketcall);
1566
nethercote3d5e9102004-11-17 18:22:38 +00001567// Some archs on Linux do not match the generic wrapper for sys_pipe().
1568GEN_SYSCALL_WRAPPER(sys_pipe);
nethercote8ff888f2004-11-17 17:11:45 +00001569
nethercote3d5e9102004-11-17 18:22:38 +00001570// May not be generic for every architecture under Linux.
1571GEN_SYSCALL_WRAPPER(sys_sigaction); // (x86) P
1572
1573// Funny names, not sure...
nethercote8ff888f2004-11-17 17:11:45 +00001574GEN_SYSCALL_WRAPPER(sys_newstat); // * P
1575GEN_SYSCALL_WRAPPER(sys_newlstat); // *
1576GEN_SYSCALL_WRAPPER(sys_newfstat); // * P (SVr4,BSD4.3)
1577
nethercote3d5e9102004-11-17 18:22:38 +00001578// For the remainder, not really sure yet
1579GEN_SYSCALL_WRAPPER(old_mmap); // x86, weird arg passing
1580GEN_SYSCALL_WRAPPER(sys_ptrace); // (x86?) (almost-P)
1581GEN_SYSCALL_WRAPPER(sys_sigsuspend); // POSIX, but L (proto varies across archs)
1582GEN_SYSCALL_WRAPPER(sys_setrlimit); // SVr4, 4.3BSD
1583GEN_SYSCALL_WRAPPER(sys_ioctl); // x86? (various)
1584GEN_SYSCALL_WRAPPER(sys_old_getrlimit); // SVr4, 4.3BSD L?
1585GEN_SYSCALL_WRAPPER(sys_statfs); // * L?
1586GEN_SYSCALL_WRAPPER(sys_fstatfs); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001587GEN_SYSCALL_WRAPPER(sys_iopl); // (x86/amd64) L
1588GEN_SYSCALL_WRAPPER(sys_ipc); // (x86) L
nethercote8ff888f2004-11-17 17:11:45 +00001589GEN_SYSCALL_WRAPPER(sys_newuname); // * P
1590GEN_SYSCALL_WRAPPER(sys_init_module); // * L?
1591GEN_SYSCALL_WRAPPER(sys_quotactl); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001592GEN_SYSCALL_WRAPPER(sys_rt_sigaction); // (x86) ()
1593GEN_SYSCALL_WRAPPER(sys_rt_sigprocmask); // * ?
1594GEN_SYSCALL_WRAPPER(sys_rt_sigpending); // * ?
1595GEN_SYSCALL_WRAPPER(sys_rt_sigtimedwait); // * ?
1596GEN_SYSCALL_WRAPPER(sys_rt_sigqueueinfo); // * ?
1597GEN_SYSCALL_WRAPPER(sys_rt_sigsuspend); // () ()
1598GEN_SYSCALL_WRAPPER(sys_pread64); // * (Unix98?)
1599GEN_SYSCALL_WRAPPER(sys_pwrite64); // * (Unix98?)
1600GEN_SYSCALL_WRAPPER(sys_capget); // * L?
1601GEN_SYSCALL_WRAPPER(sys_capset); // * L?
1602GEN_SYSCALL_WRAPPER(sys_sigaltstack); // (x86) (XPG4-UNIX)
nethercote8ff888f2004-11-17 17:11:45 +00001603GEN_SYSCALL_WRAPPER(sys_getpmsg); // (?) (?)
1604GEN_SYSCALL_WRAPPER(sys_putpmsg); // (?) (?)
1605GEN_SYSCALL_WRAPPER(sys_getrlimit); // * (?)
1606GEN_SYSCALL_WRAPPER(sys_mmap2); // (x86?) P?
1607GEN_SYSCALL_WRAPPER(sys_truncate64); // %% (P?)
1608GEN_SYSCALL_WRAPPER(sys_ftruncate64); // %% (P?)
1609GEN_SYSCALL_WRAPPER(sys_stat64); // %% (?)
1610GEN_SYSCALL_WRAPPER(sys_lstat64); // %% (?)
1611GEN_SYSCALL_WRAPPER(sys_fstat64); // %% (?)
1612GEN_SYSCALL_WRAPPER(sys_lchown); // * (L?)
nethercote3d5e9102004-11-17 18:22:38 +00001613GEN_SYSCALL_WRAPPER(sys_mincore); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001614GEN_SYSCALL_WRAPPER(sys_getdents64); // * (SVr4,SVID?)
1615GEN_SYSCALL_WRAPPER(sys_fcntl64); // * P?
1616GEN_SYSCALL_WRAPPER(sys_setxattr); // * L?
1617GEN_SYSCALL_WRAPPER(sys_lsetxattr); // * L?
1618GEN_SYSCALL_WRAPPER(sys_fsetxattr); // * L?
1619GEN_SYSCALL_WRAPPER(sys_getxattr); // * L?
1620GEN_SYSCALL_WRAPPER(sys_lgetxattr); // * L?
1621GEN_SYSCALL_WRAPPER(sys_fgetxattr); // * L?
1622GEN_SYSCALL_WRAPPER(sys_listxattr); // * L?
1623GEN_SYSCALL_WRAPPER(sys_llistxattr); // * L?
1624GEN_SYSCALL_WRAPPER(sys_flistxattr); // * L?
1625GEN_SYSCALL_WRAPPER(sys_removexattr); // * L?
1626GEN_SYSCALL_WRAPPER(sys_lremovexattr); // * L?
1627GEN_SYSCALL_WRAPPER(sys_fremovexattr); // * L?
nethercote8ff888f2004-11-17 17:11:45 +00001628GEN_SYSCALL_WRAPPER(sys_sched_setaffinity); // * L?
1629GEN_SYSCALL_WRAPPER(sys_sched_getaffinity); // * L?
nethercote3d5e9102004-11-17 18:22:38 +00001630GEN_SYSCALL_WRAPPER(sys_exit_group); // * ?
nethercote8ff888f2004-11-17 17:11:45 +00001631GEN_SYSCALL_WRAPPER(sys_lookup_dcookie); // (*/32/64) L
nethercote8ff888f2004-11-17 17:11:45 +00001632GEN_SYSCALL_WRAPPER(sys_set_tid_address); // * ?
1633GEN_SYSCALL_WRAPPER(sys_statfs64); // * (?)
1634GEN_SYSCALL_WRAPPER(sys_fstatfs64); // * (?)
nethercote8ff888f2004-11-17 17:11:45 +00001635GEN_SYSCALL_WRAPPER(sys_mq_open); // * P?
1636GEN_SYSCALL_WRAPPER(sys_mq_unlink); // * P?
1637GEN_SYSCALL_WRAPPER(sys_mq_timedsend); // * P?
1638GEN_SYSCALL_WRAPPER(sys_mq_timedreceive); // * P?
1639GEN_SYSCALL_WRAPPER(sys_mq_notify); // * P?
1640GEN_SYSCALL_WRAPPER(sys_mq_getsetattr); // * P?
1641
1642#undef GEN_SYSCALL_WRAPPER
1643
1644// Macros used in syscall wrappers
sewardj8b635a42004-11-22 19:01:47 +00001645/* PRRAn == "pre-register-read-argument"
1646 PRRSN == "pre-register-read-syscall"
1647*/
nethercote8ff888f2004-11-17 17:11:45 +00001648
1649#define PRRSN \
njn26f02512004-11-22 18:33:15 +00001650 TL_(pre_reg_read)(Vg_CoreSysCall, tid, "(syscallno)", \
njncf45fd42004-11-24 16:30:22 +00001651 O_SYSCALL_NUM, sizeof(UWord));
nethercote8ff888f2004-11-17 17:11:45 +00001652#define PRRAn(n,s,t,a) \
njn26f02512004-11-22 18:33:15 +00001653 TL_(pre_reg_read)(Vg_CoreSysCall, tid, s"("#a")", \
njncf45fd42004-11-24 16:30:22 +00001654 O_SYSCALL_ARG##n, sizeof(t));
nethercote8ff888f2004-11-17 17:11:45 +00001655#define PRE_REG_READ0(tr, s) \
1656 if (VG_(defined_pre_reg_read)()) { \
1657 PRRSN; \
1658 }
1659#define PRE_REG_READ1(tr, s, t1, a1) \
1660 if (VG_(defined_pre_reg_read)()) { \
1661 PRRSN; \
1662 PRRAn(1,s,t1,a1); \
1663 }
1664#define PRE_REG_READ2(tr, s, t1, a1, t2, a2) \
1665 if (VG_(defined_pre_reg_read)()) { \
1666 PRRSN; \
1667 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); \
1668 }
1669#define PRE_REG_READ3(tr, s, t1, a1, t2, a2, t3, a3) \
1670 if (VG_(defined_pre_reg_read)()) { \
1671 PRRSN; \
1672 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1673 }
1674#define PRE_REG_READ4(tr, s, t1, a1, t2, a2, t3, a3, t4, a4) \
1675 if (VG_(defined_pre_reg_read)()) { \
1676 PRRSN; \
1677 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1678 PRRAn(4,s,t4,a4); \
1679 }
1680#define PRE_REG_READ5(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5) \
1681 if (VG_(defined_pre_reg_read)()) { \
1682 PRRSN; \
1683 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1684 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); \
1685 }
1686#define PRE_REG_READ6(tr, s, t1, a1, t2, a2, t3, a3, t4, a4, t5, a5, t6, a6) \
1687 if (VG_(defined_pre_reg_read)()) { \
1688 PRRSN; \
1689 PRRAn(1,s,t1,a1); PRRAn(2,s,t2,a2); PRRAn(3,s,t3,a3); \
1690 PRRAn(4,s,t4,a4); PRRAn(5,s,t5,a5); PRRAn(6,s,t6,a6); \
1691 }
1692
1693#define PRE_MEM_READ(zzname, zzaddr, zzlen) \
1694 VG_TRACK( pre_mem_read, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1695
1696#define PRE_MEM_RASCIIZ(zzname, zzaddr) \
1697 VG_TRACK( pre_mem_read_asciiz, Vg_CoreSysCall, tid, zzname, zzaddr)
1698
1699#define PRE_MEM_WRITE(zzname, zzaddr, zzlen) \
1700 VG_TRACK( pre_mem_write, Vg_CoreSysCall, tid, zzname, zzaddr, zzlen)
1701
1702#define POST_MEM_WRITE(zzaddr, zzlen) \
njncf45fd42004-11-24 16:30:22 +00001703 VG_TRACK( post_mem_write, Vg_CoreSysCall, tid, zzaddr, zzlen)
nethercote8ff888f2004-11-17 17:11:45 +00001704
sewardjde4a1d02002-03-22 01:27:54 +00001705/* ---------------------------------------------------------------------
1706 Exports of vg_transtab.c
1707 ------------------------------------------------------------------ */
1708
njn25e49d8e72002-09-23 09:36:25 +00001709/* The fast-cache for tt-lookup. */
1710extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1711
nethercote92e7b7f2004-08-07 17:52:25 +00001712extern void VG_(init_tt_tc) ( void );
sewardjc0d8f682002-11-30 00:49:43 +00001713extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj8b635a42004-11-22 19:01:47 +00001714 Addr trans_addr, Int trans_size );
nethercote92e7b7f2004-08-07 17:52:25 +00001715extern Addr VG_(search_transtab) ( Addr original_addr );
sewardj6c3769f2002-11-29 01:02:45 +00001716
sewardj4ccf7072004-11-28 16:58:05 +00001717extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001718
sewardj4ccf7072004-11-28 16:58:05 +00001719extern void VG_(sanity_check_tt_tc) ( Char* caller );
sewardjde4a1d02002-03-22 01:27:54 +00001720
nethercote92e7b7f2004-08-07 17:52:25 +00001721extern void VG_(print_tt_tc_stats) ( void );
1722
1723extern Int VG_(get_bbs_translated) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001724
sewardjde4a1d02002-03-22 01:27:54 +00001725/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001726 Exports of vg_syscall.S
1727 ------------------------------------------------------------------ */
1728
njnca6fef02004-11-29 16:49:18 +00001729// We use a full prototype rather than "..." here to ensure that all
1730// arguments get converted to a UWord appropriately. Not doing so can
1731// cause problems when passing 32-bit integers on 64-bit platforms, because
1732// the top 32-bits might not be zeroed appropriately, eg. as would happen
1733// with the 6th arg on AMD64 which is passed on the stack.
njnf4aeaea2004-11-29 17:33:31 +00001734extern Word VG_(do_syscall) ( UInt, UWord, UWord, UWord, UWord, UWord, UWord );
njnca6fef02004-11-29 16:49:18 +00001735
1736// Macros make life easier.
1737#define vgPlain_do_syscall0(s) VG_(do_syscall)((s),0,0,0,0,0,0)
1738#define vgPlain_do_syscall1(s,a) VG_(do_syscall)((s),(a),0,0,0,0,0)
1739#define vgPlain_do_syscall2(s,a,b) VG_(do_syscall)((s),(a),(b),0,0,0,0)
1740#define vgPlain_do_syscall3(s,a,b,c) VG_(do_syscall)((s),(a),(b),(c),0,0,0)
1741#define vgPlain_do_syscall4(s,a,b,c,d) VG_(do_syscall)((s),(a),(b),(c),(d),0,0)
1742#define vgPlain_do_syscall5(s,a,b,c,d,e) VG_(do_syscall)((s),(a),(b),(c),(d),(e),0)
1743#define vgPlain_do_syscall6(s,a,b,c,d,e,f) VG_(do_syscall)((s),(a),(b),(c),(d),(e),(f))
1744
jsgf855d93d2003-10-13 22:26:55 +00001745extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1746 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001747extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001748
1749/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001750 Exports of vg_dispatch.S
1751 ------------------------------------------------------------------ */
1752
njnd6f157d2004-11-30 17:27:21 +00001753/* This subroutine is called from the C world. It is passed
1754 a pointer to the VEX guest state (arch.vex). It must run code
1755 from the instruction pointer in the guest state, and exit when
1756 VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
1757 The return value must indicate why it returned back to the scheduler.
1758 It can also be exited if the executing code throws a non-resumable
1759 signal, for example SIGSEGV, in which case control longjmp()s back past
1760 here.
1761
1762 This code simply handles the common case fast -- when the translation
1763 address is found in the translation cache. For anything else, the
1764 scheduler does the work.
1765*/
sewardj2a99cf62004-11-24 10:44:19 +00001766extern UInt VG_(run_innerloop) ( void* guest_state );
sewardjde4a1d02002-03-22 01:27:54 +00001767
sewardjde4a1d02002-03-22 01:27:54 +00001768/* ---------------------------------------------------------------------
1769 Exports of vg_helpers.S
1770 ------------------------------------------------------------------ */
1771
fitzhardinge92360792003-12-24 10:11:11 +00001772/* Information about trampoline code (for signal return and syscalls) */
1773extern const Char VG_(trampoline_code_start);
1774extern const Int VG_(trampoline_code_length);
1775extern const Int VG_(tramp_sigreturn_offset);
1776extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001777
njn4f9c9342002-04-29 16:03:24 +00001778/* ---------------------------------------------------------------------
nethercote996901a2004-08-03 13:29:09 +00001779 Things relating to the used tool
njn4f9c9342002-04-29 16:03:24 +00001780 ------------------------------------------------------------------ */
1781
fitzhardinge98abfc72003-12-16 02:05:15 +00001782#define VG_TRACK(fn, args...) \
1783 do { \
1784 if (VG_(defined_##fn)()) \
njn26f02512004-11-22 18:33:15 +00001785 TL_(fn)(args); \
fitzhardinge98abfc72003-12-16 02:05:15 +00001786 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001787
fitzhardinge98abfc72003-12-16 02:05:15 +00001788__attribute__ ((noreturn))
1789extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001790
nethercotec06e2132004-09-03 13:45:29 +00001791// ---------------------------------------------------------------------
1792// Architecture-specific things defined in eg. x86/*.c
1793// ---------------------------------------------------------------------
1794
sewardj51ac0872004-12-21 01:20:49 +00001795// Returns the architecture and subarchitecture, or indicates
1796// that this subarchitecture is unable to run Valgrind
1797// Returns False to indicate we cannot proceed further.
1798
1799extern Bool VGA_(getArchAndSubArch)( /*OUT*/VexArch*,
1800 /*OUT*/VexSubArch* );
1801
njncf45fd42004-11-24 16:30:22 +00001802// Accessors for the ThreadArchState
1803#define INSTR_PTR(regs) ((regs).vex.ARCH_INSTR_PTR)
1804#define STACK_PTR(regs) ((regs).vex.ARCH_STACK_PTR)
1805#define FRAME_PTR(regs) ((regs).vex.ARCH_FRAME_PTR)
1806
1807#define CLREQ_ARGS(regs) ((regs).vex.ARCH_CLREQ_ARGS)
1808#define PTHREQ_RET(regs) ((regs).vex.ARCH_PTHREQ_RET)
1809#define CLREQ_RET(regs) ((regs).vex.ARCH_CLREQ_RET)
1810
sewardj4bd11462004-11-29 19:46:28 +00001811
njn16de5572004-11-27 14:27:21 +00001812// Offsets for the Vex state
njncf45fd42004-11-24 16:30:22 +00001813#define O_STACK_PTR (offsetof(VexGuestArchState, ARCH_STACK_PTR))
1814#define O_FRAME_PTR (offsetof(VexGuestArchState, ARCH_FRAME_PTR))
1815
1816#define O_CLREQ_RET (offsetof(VexGuestArchState, ARCH_CLREQ_RET))
1817#define O_PTHREQ_RET (offsetof(VexGuestArchState, ARCH_PTHREQ_RET))
1818
1819
sewardj2a99cf62004-11-24 10:44:19 +00001820// Setting up the initial thread (1) state
1821extern void
1822 VGA_(init_thread1state) ( Addr client_eip,
1823 Addr esp_at_startup,
1824 /*MOD*/ ThreadArchState* arch );
sewardjde4a1d02002-03-22 01:27:54 +00001825
nethercotec009ebe2004-09-13 11:05:11 +00001826// Thread stuff
sewardj2a99cf62004-11-24 10:44:19 +00001827extern void VGA_(cleanup_thread) ( ThreadArchState* );
1828extern void VGA_(setup_child) ( ThreadArchState*, ThreadArchState* );
nethercotef9b59412004-09-10 15:33:32 +00001829
nethercote6b9c8472004-09-13 13:16:40 +00001830extern void VGA_(set_arg_and_bogus_ret) ( ThreadId tid, UWord arg, Addr ret );
1831extern void VGA_(thread_initial_stack) ( ThreadId tid, UWord arg, Addr ret );
1832
nethercotec009ebe2004-09-13 11:05:11 +00001833// Symtab stuff
njncf45fd42004-11-24 16:30:22 +00001834extern UInt* VGA_(reg_addr_from_tst) ( Int regno, ThreadArchState* );
nethercotecd656042004-09-11 23:48:22 +00001835
nethercotefedd8102004-09-13 15:19:34 +00001836// Pointercheck
1837extern Bool VGA_(setup_pointercheck) ( void );
1838
1839// For attaching the debugger
sewardj2a99cf62004-11-24 10:44:19 +00001840extern Int VGA_(ptrace_setregs_from_tst) ( Int pid, ThreadArchState* arch );
nethercotefedd8102004-09-13 15:19:34 +00001841
nethercote6eec4602004-09-13 14:15:36 +00001842// Signal stuff
nethercote4ad74312004-10-26 09:59:49 +00001843extern void VGA_(push_signal_frame) ( ThreadId tid, Addr sp_top_of_frame,
nethercote73b526f2004-10-31 18:48:21 +00001844 const vki_siginfo_t *siginfo,
nethercote6eec4602004-09-13 14:15:36 +00001845 void *handler, UInt flags,
nethercote73b526f2004-10-31 18:48:21 +00001846 const vki_sigset_t *mask);
nethercote6eec4602004-09-13 14:15:36 +00001847extern Int VGA_(pop_signal_frame) ( ThreadId tid );
1848
nethercote9b3c7652004-10-19 13:18:00 +00001849// libpthread stuff
njne7da73c2004-11-26 12:44:19 +00001850typedef struct _ThreadArchAux ThreadArchAux;
nethercote9b3c7652004-10-19 13:18:00 +00001851
njne7da73c2004-11-26 12:44:19 +00001852void VGA_(thread_create) ( ThreadArchAux *aux );
1853void VGA_(thread_wrapper)( ThreadArchAux *aux );
nethercote9b3c7652004-10-19 13:18:00 +00001854void VGA_(thread_exit) ( void );
1855
1856Bool VGA_(has_tls) ( void );
1857
1858#define MY__STRING(__str) #__str
1859
1860// Assertion to use in code running on the simulated CPU.
1861#define my_assert(expr) \
1862 ((void) ((expr) ? 0 : \
1863 (VG_(user_assert_fail) (MY__STRING(expr), \
1864 __FILE__, __LINE__, \
1865 __PRETTY_FUNCTION__), 0)))
1866
1867extern void VG_(user_assert_fail) ( const Char* expr, const Char* file,
1868 Int line, const Char* fn );
1869
1870
nethercote41c75da2004-10-18 15:34:14 +00001871// ---------------------------------------------------------------------
1872// Platform-specific things defined in eg. x86/*.c
1873// ---------------------------------------------------------------------
nethercote775508a2004-09-07 22:38:23 +00001874
njncf45fd42004-11-24 16:30:22 +00001875// Accessors for the ThreadArchState
1876#define SYSCALL_NUM(regs) ((regs).vex.PLATFORM_SYSCALL_NUM)
1877#define SYSCALL_ARG1(regs) ((regs).vex.PLATFORM_SYSCALL_ARG1)
1878#define SYSCALL_ARG2(regs) ((regs).vex.PLATFORM_SYSCALL_ARG2)
1879#define SYSCALL_ARG3(regs) ((regs).vex.PLATFORM_SYSCALL_ARG3)
1880#define SYSCALL_ARG4(regs) ((regs).vex.PLATFORM_SYSCALL_ARG4)
1881#define SYSCALL_ARG5(regs) ((regs).vex.PLATFORM_SYSCALL_ARG5)
1882#define SYSCALL_ARG6(regs) ((regs).vex.PLATFORM_SYSCALL_ARG6)
1883#define SYSCALL_RET(regs) ((regs).vex.PLATFORM_SYSCALL_RET)
1884
1885// Offsets for the shadow state
njnfcd56362004-11-24 18:31:40 +00001886#define O_SYSCALL_NUM (offsetof(VexGuestArchState, PLATFORM_SYSCALL_NUM))
njncf45fd42004-11-24 16:30:22 +00001887#define O_SYSCALL_ARG1 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG1))
1888#define O_SYSCALL_ARG2 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG2))
1889#define O_SYSCALL_ARG3 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG3))
1890#define O_SYSCALL_ARG4 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG4))
1891#define O_SYSCALL_ARG5 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG5))
1892#define O_SYSCALL_ARG6 (offsetof(VexGuestArchState, PLATFORM_SYSCALL_ARG6))
1893#define O_SYSCALL_RET (offsetof(VexGuestArchState, PLATFORM_SYSCALL_RET))
1894
nethercote8ff888f2004-11-17 17:11:45 +00001895struct SyscallTableEntry {
1896 UInt *flags_ptr;
1897 void (*before)(ThreadId tid, ThreadState *tst);
1898 void (*after) (ThreadId tid, ThreadState *tst);
1899};
1900
1901/* This table is the mapping from __NR_xxx syscall numbers to the PRE/POST
1902 wrappers for the relevant syscalls used in the OS kernel for that number.
1903 Note that the constant names don't always match the wrapper names in a
1904 straightforward way. For example, on x86/Linux:
1905
1906 __NR_lchown --> sys_lchown16()
1907 __NR_lchown32 --> sys_lchown()
1908 __NR_select --> old_select()
1909 __NR__newselect --> sys_select()
1910*/
1911extern const struct SyscallTableEntry VGA_(syscall_table)[];
1912
1913extern const UInt VGA_(syscall_table_size);
1914
sewardj2a99cf62004-11-24 10:44:19 +00001915extern void VGA_(restart_syscall)(ThreadArchState* arch);
nethercote24e0d442004-10-18 17:36:40 +00001916
njn7be36952004-11-24 18:14:41 +00001917/* We need our own copy of VG_(do_syscall)() to handle a special
1918 race-condition. If we've got signals unblocked, and we take a
1919 signal in the gap either just before or after the syscall, we may
1920 end up not running the syscall at all, or running it more than
1921 once.
1922
1923 The solution is to make the signal handler derive the proxy's
1924 precise state by looking to see which eip it is executing at
1925 exception time.
1926
1927 Ranges:
1928
1929 VGA_(sys_before) ... VGA_(sys_restarted):
1930 Setting up register arguments and running state. If
1931 interrupted, then the syscall should be considered to return
1932 ERESTARTSYS.
1933
1934 VGA_(sys_restarted):
1935 If interrupted and eip==VGA_(sys_restarted), then either the syscall
1936 was about to start running, or it has run, was interrupted and
1937 the kernel wants to restart it. eax still contains the
1938 syscall number. If interrupted, then the syscall return value
1939 should be ERESTARTSYS.
1940
1941 VGA_(sys_after):
1942 If interrupted and eip==VGA_(sys_after), the syscall either just
1943 finished, or it was interrupted and the kernel doesn't want to
1944 restart it. Either way, eax equals the correct return value
1945 (either the actual return value, or EINTR).
1946
1947 VGA_(sys_after) ... VGA_(sys_done):
1948 System call is complete, but the state hasn't been updated,
1949 nor has the result been written back. eax contains the return
1950 value.
1951
1952 Freakin' horrible...
1953*/
1954extern const Addr VGA_(sys_before), VGA_(sys_restarted),
1955 VGA_(sys_after), VGA_(sys_done);
1956
1957extern void VGA_(do_thread_syscall)(UWord sys,
1958 UWord arg1, UWord arg2, UWord arg3,
1959 UWord arg4, UWord arg5, UWord arg6,
1960 UWord *result, /*enum PXState*/Int *statep,
1961 /*enum PXState*/Int poststate);
sewardj3b2736a2002-03-24 12:18:35 +00001962
1963/* ---------------------------------------------------------------------
1964 Finally - autoconf-generated settings
1965 ------------------------------------------------------------------ */
1966
1967#include "config.h"
1968
nethercotec06e2132004-09-03 13:45:29 +00001969#endif /* ndef __CORE_H */
1970
sewardjde4a1d02002-03-22 01:27:54 +00001971/*--------------------------------------------------------------------*/
nethercote109d0df2004-09-02 08:10:13 +00001972/*--- end ---*/
sewardjde4a1d02002-03-22 01:27:54 +00001973/*--------------------------------------------------------------------*/