blob: ca70eef7cf2e1eacfa136f6c72395994d4f5187a [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. ---*/
sewardjde4a1d02002-03-22 01:27:54 +00004/*--- Include no other! ---*/
5/*--- vg_include.h ---*/
6/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
njn0e1b5142003-04-15 14:58:06 +000012 Copyright (C) 2000-2003 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
33#ifndef __VG_INCLUDE_H
34#define __VG_INCLUDE_H
35
sewardjde4a1d02002-03-22 01:27:54 +000036/* ---------------------------------------------------------------------
sewardj2d94c112002-06-03 01:25:54 +000037 Where to send bug reports to.
38 ------------------------------------------------------------------ */
39
40#define VG_EMAIL_ADDR "jseward@acm.org"
41
42
43/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +000044 Build options and table sizes. You should be able to change these
45 options or sizes, recompile, and still have a working system.
46 ------------------------------------------------------------------ */
47
48#include "vg_constants.h"
49
sewardj4cf05692002-10-27 20:28:29 +000050/* All stuff visible to core and skins goes in vg_skin.h. Things
51 * visible to core but not visible to any skins should go in this
52 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000053#include "vg_skin.h"
sewardjde4a1d02002-03-22 01:27:54 +000054
55/* Total number of spill slots available for allocation, if a TempReg
56 doesn't make it into a RealReg. Just bomb the entire system if
57 this value is too small; we don't expect it will ever get
58 particularly high. */
59#define VG_MAX_SPILLSLOTS 24
60
61
62/* Constants for the slow translation lookup cache. */
63#define VG_TRANSTAB_SLOW_BITS 11
64#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
65#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
66
67/* Size of a buffer used for creating messages. */
68#define M_VG_MSGBUF 10000
69
70/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000071#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000072
73/* Max length of pathname to a .so/executable file. */
74#define M_VG_LIBNAMESTR 100
75
76/* Max length of a text fragment used to construct error messages. */
77#define M_VG_ERRTXT 512
78
79/* Max length of the string copied from env var VG_ARGS at startup. */
80#define M_VG_CMDLINE_STRLEN 1000
81
82/* Max number of options for Valgrind which we can handle. */
83#define M_VG_CMDLINE_OPTS 100
84
85/* After this many different unsuppressed errors have been observed,
86 be more conservative about collecting new ones. */
87#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
88
89/* After this many different unsuppressed errors have been observed,
90 stop collecting errors at all, and tell the user their program is
91 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000092#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000093
94/* After this many total errors have been observed, stop collecting
95 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000096#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000097
sewardjde4a1d02002-03-22 01:27:54 +000098/* The maximum number of calls we're prepared to save in a
99 backtrace. */
100#define VG_DEEPEST_BACKTRACE 50
101
102/* Number of lists in which we keep track of malloc'd but not free'd
103 blocks. Should be prime. */
104#define VG_N_MALLOCLISTS 997
105
106/* Number of lists in which we keep track of ExeContexts. Should be
107 prime. */
108#define VG_N_EC_LISTS /*997*/ 4999
109
sewardj2e93c502002-04-12 11:12:52 +0000110/* Defines the thread-scheduling timeslice, in terms of the number of
111 basic blocks we attempt to run each thread for. Smaller values
112 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000113#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardj2e93c502002-04-12 11:12:52 +0000115/* Number of file descriptors that can simultaneously be waited on for
116 I/O to complete. Perhaps this should be the same as VG_N_THREADS
117 (surely a thread can't wait on more than one fd at once?. Who
118 knows.) */
119#define VG_N_WAITING_FDS 10
120
sewardjbf290b92002-05-01 02:28:01 +0000121/* Stack size for a thread. We try and check that they do not go
122 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000123#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000124
sewardj20917d82002-05-28 01:36:45 +0000125/* Number of entries in the semaphore-remapping table. */
126#define VG_N_SEMAPHORES 50
127
128/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000129#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000130
sewardj8ad94e12002-05-29 00:10:20 +0000131/* Number of entries in each thread's cleanup stack. */
132#define VG_N_CLEANUPSTACK 8
133
sewardj2cb00342002-06-28 01:46:26 +0000134/* Number of entries in each thread's fork-handler stack. */
135#define VG_N_FORKHANDLERSTACK 2
136
njn25e49d8e72002-09-23 09:36:25 +0000137/* Max number of callers for context in a suppression. */
138#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000139
njn6eba4ef2003-05-01 08:06:41 +0000140/* Valgrind's stack sizes, in words */
141#define VG_STACK_SIZE_W 10000
142#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000143
sewardjde4a1d02002-03-22 01:27:54 +0000144
145/* ---------------------------------------------------------------------
146 Basic types
147 ------------------------------------------------------------------ */
148
sewardjde4a1d02002-03-22 01:27:54 +0000149/* Just pray that gcc's constant folding works properly ... */
150#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
151 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
152 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
153
sewardjde4a1d02002-03-22 01:27:54 +0000154/* ---------------------------------------------------------------------
155 Command-line-settable options
156 ------------------------------------------------------------------ */
157
sewardj4f094a72002-11-05 23:37:35 +0000158/* Default destination port to be used in logging over a network, if
159 none specified. */
160#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000161
162/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000163#define VG_CLO_MAX_SFILES 10
164
sewardj4cf05692002-10-27 20:28:29 +0000165/* Describes where logging output is to be sent. */
166typedef
167 enum {
168 VgLogTo_Fd,
169 VgLogTo_File,
170 VgLogTo_Socket
171 } VgLogTo;
172
173
sewardj72f98ff2002-06-13 17:23:38 +0000174/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000175extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000176/* Enquire about whether to attach to GDB at errors? default: NO */
177extern Bool VG_(clo_GDB_attach);
njn43c799e2003-04-08 00:08:52 +0000178/* Enquire about generating a suppression for each error? default: NO */
179extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000180/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
181extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000182/* Automatically attempt to demangle C++ names? default: YES */
183extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000184/* Simulate child processes? default: NO */
185extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000186
187/* Where logging output is to be sent to.
188
189 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
190 taken from the command line. clo_logfile_name is irrelevant.
191
192 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
193 name, and is taken from the command line. clo_logfile_fd is then
194 made to hold the relevant file id, by opening clo_logfile_name
195 (concatenated with the process ID) for writing.
196
197 When log_to == VgLogTo_Socket, clo_logfile_name holds the
198 hostname:portnumber pair, and is taken from the command line.
199 clo_logfile_fd is then made to hold the relevant file handle, by
200 opening a connection to said hostname:portnumber pair.
201
202 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
203 (stderr). */
204extern VgLogTo VG_(clo_log_to);
205extern Int VG_(clo_logfile_fd);
206extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000207
208/* The number of suppression files specified. */
209extern Int VG_(clo_n_suppressions);
210/* The names of the suppression files. */
211extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
212
213/* Single stepping? default: NO */
214extern Bool VG_(clo_single_step);
215/* Code improvement? default: YES */
216extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000217/* DEBUG: print generated code? default: 00000 ( == NO ) */
218extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000219/* DEBUG: print system calls? default: NO */
220extern Bool VG_(clo_trace_syscalls);
221/* DEBUG: print signal details? default: NO */
222extern Bool VG_(clo_trace_signals);
223/* DEBUG: print symtab details? default: NO */
224extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000225/* DEBUG: print thread scheduling events? default: NO */
226extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000227/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
228 (some), 2 (all) */
229extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000230/* Stop after this many basic blocks. default: Infinity. */
231extern ULong VG_(clo_stop_after);
232/* Display gory details for the k'th most popular error. default:
233 Infinity. */
234extern Int VG_(clo_dump_error);
235/* Number of parents of a backtrace. Default: 8. */
236extern Int VG_(clo_backtrace_size);
sewardj3984b852002-05-12 03:00:17 +0000237/* Engage miscellaneous wierd hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000238extern Char* VG_(clo_weird_hacks);
sewardj858964b2002-10-05 14:15:43 +0000239/* Should we run __libc_freeres at exit? Sometimes causes crashes.
240 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
241 if the latter says False, then the setting of VG_(clo_weird_hacks)
242 is ignored. Ie if a skin says no, I don't want this to run, that
243 cannot be overridden from the command line. */
244extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000245/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000246extern Bool VG_(clo_chain_bb);
sewardjde4a1d02002-03-22 01:27:54 +0000247
248
249/* ---------------------------------------------------------------------
250 Debugging and profiling stuff
251 ------------------------------------------------------------------ */
252
sewardjde4a1d02002-03-22 01:27:54 +0000253/* Create a logfile into which messages can be dumped. */
254extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000255extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000256
257extern void VGP_(init_profiling) ( void );
258extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000259
njn25e49d8e72002-09-23 09:36:25 +0000260#undef VGP_PUSHCC
261#undef VGP_POPCC
262#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
263#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000264
sewardjde4a1d02002-03-22 01:27:54 +0000265/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000266 Skin-related types
267 ------------------------------------------------------------------ */
268/* These structs are not exposed to skins to mitigate possibility of
269 binary-incompatibilities when the core/skin interface changes. Instead,
270 set functions are provided (see include/vg_skin.h). */
271typedef
272 struct {
273 Char* name;
274 Char* version;
275 Char* description;
276 Char* copyright_author;
277 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000278 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000279 }
280 VgDetails;
281
282extern VgDetails VG_(details);
283
284/* If new fields are added to this type, update:
285 * - vg_main.c:initialisation of VG_(needs)
286 * - vg_main.c:sanity_check_needs()
287 *
288 * If the name of this type or any of its fields change, update:
289 * - dependent comments (just search for "VG_(needs)").
290 */
291typedef
292 struct {
293 Bool libc_freeres;
294 Bool core_errors;
295
296 Bool skin_errors;
297 Bool basic_block_discards;
298 Bool shadow_regs;
299 Bool command_line_options;
300 Bool client_requests;
301 Bool extended_UCode;
302 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000303 Bool sanity_checks;
304 Bool data_syms;
305 }
306 VgNeeds;
307
308extern VgNeeds VG_(needs);
309
310/* Events happening in core to track. To be notified, assign a function
311 to the function pointer. To ignore an event, don't do anything
312 (default assignment is to NULL in which case the call is skipped). */
313typedef
314 struct {
315 /* Memory events */
316 void (*new_mem_startup)( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
njn810086f2002-11-14 12:42:47 +0000317 void (*new_mem_stack_signal) ( Addr a, UInt len );
318 void (*new_mem_brk) ( Addr a, UInt len );
319 void (*new_mem_mmap) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
320
njn3e884182003-04-15 13:03:23 +0000321 void (*copy_mem_remap) ( Addr from, Addr to, UInt len );
322 void (*change_mem_mprotect) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
323 void (*die_mem_stack_signal) ( Addr a, UInt len );
324 void (*die_mem_brk) ( Addr a, UInt len );
325 void (*die_mem_munmap) ( Addr a, UInt len );
326
njn9b007f62003-04-07 14:40:25 +0000327 void (*new_mem_stack_4) ( Addr new_ESP );
328 void (*new_mem_stack_8) ( Addr new_ESP );
329 void (*new_mem_stack_12) ( Addr new_ESP );
330 void (*new_mem_stack_16) ( Addr new_ESP );
331 void (*new_mem_stack_32) ( Addr new_ESP );
332 void (*new_mem_stack) ( Addr a, UInt len );
333
njn9b007f62003-04-07 14:40:25 +0000334 void (*die_mem_stack_4) ( Addr die_ESP );
335 void (*die_mem_stack_8) ( Addr die_ESP );
336 void (*die_mem_stack_12) ( Addr die_ESP );
337 void (*die_mem_stack_16) ( Addr die_ESP );
338 void (*die_mem_stack_32) ( Addr die_ESP );
339 void (*die_mem_stack) ( Addr a, UInt len );
340
njn3e884182003-04-15 13:03:23 +0000341 void (*ban_mem_stack) ( Addr a, UInt len );
njn810086f2002-11-14 12:42:47 +0000342
343 void (*pre_mem_read) ( CorePart part, ThreadState* tst,
344 Char* s, Addr a, UInt size );
345 void (*pre_mem_read_asciiz) ( CorePart part, ThreadState* tst,
346 Char* s, Addr a );
347 void (*pre_mem_write) ( CorePart part, ThreadState* tst,
348 Char* s, Addr a, UInt size );
349 /* Not implemented yet -- have to add in lots of places, which is a
350 pain. Won't bother unless/until there's a need. */
351 /* void (*post_mem_read) ( ThreadState* tst, Char* s,
352 Addr a, UInt size ); */
353 void (*post_mem_write) ( Addr a, UInt size );
354
355
356 /* Scheduler events (not exhaustive) */
357 void (*thread_run) ( ThreadId tid );
358
359
360 /* Thread events (not exhaustive) */
361 void (*post_thread_create) ( ThreadId tid, ThreadId child );
362 void (*post_thread_join) ( ThreadId joiner, ThreadId joinee );
363
364
365 /* Mutex events (not exhaustive) */
366 void (*pre_mutex_lock) ( ThreadId tid,
367 void* /*pthread_mutex_t* */ mutex );
368 void (*post_mutex_lock) ( ThreadId tid,
369 void* /*pthread_mutex_t* */ mutex );
370 void (*post_mutex_unlock) ( ThreadId tid,
371 void* /*pthread_mutex_t* */ mutex );
372
njnfdc28af2003-02-24 10:36:48 +0000373 /* Signal events (not exhaustive) */
njn3e884182003-04-15 13:03:23 +0000374 void (* pre_deliver_signal) ( ThreadId tid, Int sigNo, Bool alt_stack );
njnfdc28af2003-02-24 10:36:48 +0000375 void (*post_deliver_signal) ( ThreadId tid, Int sigNo );
376
njn810086f2002-11-14 12:42:47 +0000377
njnfdc28af2003-02-24 10:36:48 +0000378 /* Others... condition variable... */
njn810086f2002-11-14 12:42:47 +0000379 /* ... */
380 }
381 VgTrackEvents;
382
383extern VgTrackEvents VG_(track_events);
384
385
386/* ---------------------------------------------------------------------
387 Exports of vg_needs.c
388 ------------------------------------------------------------------ */
389
390void VG_(sanity_check_needs)(void);
391
392/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000393 Exports of vg_malloc2.c
394 ------------------------------------------------------------------ */
395
396/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000397
398 CORE for the core's general use.
399 SKIN for the skin to use (and the only one it uses).
400 SYMTAB for Valgrind's symbol table storage.
401 JITTER for small storage during translation.
402 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
403 malloc() et al -- redzone size is chosen by the skin.
404 DEMANGLE for the C++ demangler.
405 EXECTXT for storing ExeContexts.
406 ERRORS for storing CoreErrors.
407 TRANSIENT for very short-term use. It should be empty in between uses.
408
njn25e49d8e72002-09-23 09:36:25 +0000409 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000410*/
411typedef Int ArenaId;
412
njn3e884182003-04-15 13:03:23 +0000413#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000414
njn3e884182003-04-15 13:03:23 +0000415#define VG_AR_CORE 0
416#define VG_AR_SKIN 1
417#define VG_AR_SYMTAB 2
418#define VG_AR_JITTER 3
419#define VG_AR_CLIENT 4
420#define VG_AR_DEMANGLE 5
421#define VG_AR_EXECTXT 6
422#define VG_AR_ERRORS 7
423#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000424
njn25e49d8e72002-09-23 09:36:25 +0000425extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
426extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000427extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
428 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000429extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
430 Int size );
431extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000432 Int req_pszB );
433
njn8a6b6c02003-04-22 22:45:55 +0000434extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
435
sewardjde4a1d02002-03-22 01:27:54 +0000436extern void VG_(mallocSanityCheckAll) ( void );
437
438extern void VG_(show_all_arena_stats) ( void );
439extern Bool VG_(is_empty_arena) ( ArenaId aid );
440
441
sewardjde4a1d02002-03-22 01:27:54 +0000442/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000443 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000444 ------------------------------------------------------------------ */
445
446/* This doesn't export code or data that valgrind.so needs to link
447 against. However, the scheduler does need to know the following
448 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000449 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000450
njn4c791212003-05-02 17:53:54 +0000451#define VG_USERREQ__MALLOC 0x2001
452#define VG_USERREQ__FREE 0x2002
453
454/*
455In vg_skin.h, so skins can use it.
456Call an arbitrary function with ThreadState as the first arg.
457#define VG_USERREQ__CLIENT_tstCALL0 0x2101
458#define VG_USERREQ__CLIENT_tstCALL1 0x2102
459#define VG_USERREQ__CLIENT_tstCALL2 0x2103
460#define VG_USERREQ__CLIENT_tstCALL3 0x2104
461*/
sewardj2e93c502002-04-12 11:12:52 +0000462
sewardj20917d82002-05-28 01:36:45 +0000463/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
464 MUST NOT return -- ever. Eventually it will do either __QUIT or
465 __WAIT_JOINER. */
466#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
467
468/* ( no-args ): calling thread disappears from the system forever.
469 Reclaim resources. */
470#define VG_USERREQ__QUIT 0x3002
471
472/* ( void* ): calling thread waits for joiner and returns the void* to
473 it. */
474#define VG_USERREQ__WAIT_JOINER 0x3003
475
476/* ( ThreadId, void** ): wait to join a thread. */
477#define VG_USERREQ__PTHREAD_JOIN 0x3004
478
479/* Set cancellation state and type for this thread. */
480#define VG_USERREQ__SET_CANCELSTATE 0x3005
481#define VG_USERREQ__SET_CANCELTYPE 0x3006
482
483/* ( no-args ): Test if we are at a cancellation point. */
484#define VG_USERREQ__TESTCANCEL 0x3007
485
486/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
487 with this arg to indicate that a cancel is now pending for the
488 specified thread. */
489#define VG_USERREQ__SET_CANCELPEND 0x3008
490
491/* Set/get detach state for this thread. */
492#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
493
494#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
495#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
496#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
497#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
498#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
499#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
500#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
501#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
502#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
503#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000504#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
505#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000506#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
507#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
508#define VG_USERREQ__SIGWAIT 0x3019
509#define VG_USERREQ__PTHREAD_KILL 0x301A
510#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000511#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000512
sewardj8ad94e12002-05-29 00:10:20 +0000513#define VG_USERREQ__CLEANUP_PUSH 0x3020
514#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000515#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000516
sewardjef037c72002-05-30 00:40:03 +0000517#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000518
519/* Ask how many signal handler returns have happened to this
520 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000521#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000522
sewardj2cb00342002-06-28 01:46:26 +0000523/* Get/set entries for a thread's pthread_atfork stack. */
524#define VG_USERREQ__SET_FHSTACK_USED 0x3025
525#define VG_USERREQ__GET_FHSTACK_USED 0x3026
526#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
527#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000528
sewardj1fe7b002002-07-16 01:43:15 +0000529/* Denote the finish of VG_(__libc_freeres_wrapper). */
530#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
531
sewardj45b4b372002-04-16 22:50:32 +0000532/* Cosmetic ... */
533#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000534/* Log a pthread error from client-space. Cosmetic. */
535#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj45b4b372002-04-16 22:50:32 +0000536
sewardj54cacf02002-04-12 23:24:59 +0000537/*
538In vg_constants.h:
539#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000540*/
541
njn4c791212003-05-02 17:53:54 +0000542
sewardj1fe7b002002-07-16 01:43:15 +0000543/* The scheduler does need to know the address of it so it can be
544 called at program exit. */
545extern void VG_(__libc_freeres_wrapper)( void );
546
sewardj11f0bb42003-04-26 20:11:15 +0000547extern void VGR_(wait_for_fd_to_be_readable_or_erring) ( int fd );
548extern void VGR_(wait_for_fd_to_be_writable_or_erring) ( int fd );
549
550extern int VGR_(recv)(int s, void *buf, unsigned int/*size_t*/ len,
551 int flags);
552
553extern int VGR_(accept)(int s, /*struct sockaddr*/ void *addr,
554 /*socklen_t*/ void *addrlen);
555
556
557extern int VGR_(select) ( int n,
558 /*fd_set*/ void *rfds,
559 /*fd_set*/ void *wfds,
560 /*fd_set*/ void *xfds,
561 /*struct timeval*/ void *timeout );
562
563extern int VGR_(msgsnd)(int msgid,
564 const void *msgp,
565 /*size_t*/ unsigned int msgsz,
566 int msgflg);
567
568extern int VGR_(msgrcv)( int msqid,
569 void* msgp,
570 /*size_t*/ unsigned int msgsz,
571 long msgtyp,
572 int msgflg );
573
574extern int VGR_(readv)(int fd,
575 const /*struct iovec*/ void *iovV,
576 int count);
577
578extern int VGR_(writev)(int fd,
579 const /*struct iovec*/ void *iovV,
580 int count);
sewardj54cacf02002-04-12 23:24:59 +0000581
sewardj2e93c502002-04-12 11:12:52 +0000582/* ---------------------------------------------------------------------
583 Constants pertaining to the simulated CPU state, VG_(baseBlock),
584 which need to go here to avoid ugly circularities.
585 ------------------------------------------------------------------ */
586
sewardjb91ae7f2003-04-29 23:50:00 +0000587/* How big is the saved SSE/SSE2 state? Note that this subsumes the
588 FPU state. On machines without SSE, we just save/restore the FPU
589 state into the first part of this area. */
590/* A general comment about SSE save/restore: It appears that the 7th
591 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
592 that restoring from it later does not cause a GP fault (which is
593 delivered as a segfault). I guess this will have to be done
594 any time we do fxsave :-( 7th word means word offset 6 or byte
595 offset 24 from the start address of the save area.
596 */
597#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000598/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000599#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000600
601
602/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000603 Exports of vg_defaults.c
604 ------------------------------------------------------------------ */
605
606extern Bool VG_(sk_malloc_called_by_scheduler);
607
608
609/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000610 Exports of vg_ldt.c
611 ------------------------------------------------------------------ */
612
613/* This is the hardware-format for a segment descriptor, ie what the
614 x86 actually deals with. It is 8 bytes long. It's ugly. */
615
616typedef struct _LDT_ENTRY {
617 union {
618 struct {
619 UShort LimitLow;
620 UShort BaseLow;
621 unsigned BaseMid : 8;
622 unsigned Type : 5;
623 unsigned Dpl : 2;
624 unsigned Pres : 1;
625 unsigned LimitHi : 4;
626 unsigned Sys : 1;
627 unsigned Reserved_0 : 1;
628 unsigned Default_Big : 1;
629 unsigned Granularity : 1;
630 unsigned BaseHi : 8;
631 } Bits;
632 struct {
633 UInt word1;
634 UInt word2;
635 } Words;
636 }
637 LdtEnt;
638} VgLdtEntry;
639
640/* Maximum number of LDT entries supported (by the x86). */
641#define VG_M_LDT_ENTRIES 8192
642/* The size of each LDT entry == sizeof(VgLdtEntry) */
643#define VG_LDT_ENTRY_SIZE 8
644
645/* Alloc & copy, and dealloc. */
646extern VgLdtEntry*
647 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
648extern void
649 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
650
651/* Simulate the modify_ldt syscall. */
652extern Int VG_(sys_modify_ldt) ( ThreadId tid,
653 Int func, void* ptr, UInt bytecount );
654
sewardje1042472002-09-30 12:33:11 +0000655/* Called from generated code. Given a segment selector and a virtual
656 address, return a linear address, and do limit checks too. */
657extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
658
sewardj92a59562002-09-30 00:53:10 +0000659
660/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000661 Exports of vg_scheduler.c
662 ------------------------------------------------------------------ */
663
sewardj2e93c502002-04-12 11:12:52 +0000664typedef
665 enum {
666 VgTs_Empty, /* this slot is not in use */
667 VgTs_Runnable, /* waiting to be scheduled */
668 VgTs_WaitJoiner, /* waiting for someone to do join on me */
669 VgTs_WaitJoinee, /* waiting for the thread I did join on */
670 VgTs_WaitFD, /* waiting for I/O completion on a fd */
671 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000672 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000673 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000674 VgTs_Sleeping /* sleeping for a while */
675 }
676 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000677
678/* An entry in a threads's cleanup stack. */
679typedef
680 struct {
681 void (*fn)(void*);
682 void* arg;
683 }
684 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000685
686/* An entry in a thread's fork-handler stack. */
687typedef
688 struct {
689 void (*prepare)(void);
690 void (*parent)(void);
691 void (*child)(void);
692 }
693 ForkHandlerEntry;
694
695
njn25e49d8e72002-09-23 09:36:25 +0000696struct _ThreadState {
697 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
698 The thread identity is simply the index in vg_threads[].
699 ThreadId == 1 is the root thread and has the special property
700 that we don't try and allocate or deallocate its stack. For
701 convenience of generating error message, we also put the
702 ThreadId in this tid field, but be aware that it should
703 ALWAYS == the index in vg_threads[]. */
704 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000705
njn25e49d8e72002-09-23 09:36:25 +0000706 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000707
njn25e49d8e72002-09-23 09:36:25 +0000708 Complications: whenever this is set to VgTs_WaitMX, you
709 should also set .m_edx to whatever the required return value
710 is for pthread_mutex_lock / pthread_cond_timedwait for when
711 the mutex finally gets unblocked. */
712 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000713
njn25e49d8e72002-09-23 09:36:25 +0000714 /* When .status == WaitMX, points to the mutex I am waiting for.
715 When .status == WaitCV, points to the mutex associated with
716 the condition variable indicated by the .associated_cv field.
717 In all other cases, should be NULL. */
718 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000719
njn25e49d8e72002-09-23 09:36:25 +0000720 /* When .status == WaitCV, points to the condition variable I am
721 waiting for. In all other cases, should be NULL. */
722 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000723
njn25e49d8e72002-09-23 09:36:25 +0000724 /* If VgTs_Sleeping, this is when we should wake up, measured in
725 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000726
njn25e49d8e72002-09-23 09:36:25 +0000727 If VgTs_WaitCV, this indicates the time at which
728 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
729 this means infinitely far in the future, viz,
730 pthread_cond_wait. */
731 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000732
njn25e49d8e72002-09-23 09:36:25 +0000733 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
734 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000735
njn25e49d8e72002-09-23 09:36:25 +0000736 /* If VgTs_WaitJoinee, place to copy the return value to, and
737 the identity of the thread we're waiting for. */
738 void** joiner_thread_return;
739 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000740
njn25e49d8e72002-09-23 09:36:25 +0000741 /* Whether or not detached. */
742 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000743
njn25e49d8e72002-09-23 09:36:25 +0000744 /* Cancelability state and type. */
745 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
746 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
747
748 /* Pointer to fn to call to do cancellation. Indicates whether
749 or not cancellation is pending. If NULL, not pending. Else
750 should be &thread_exit_wrapper(), indicating that
751 cancallation is pending. */
752 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000753
njn25e49d8e72002-09-23 09:36:25 +0000754 /* The cleanup stack. */
755 Int custack_used;
756 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000757
sewardj00a66b12002-10-12 16:42:35 +0000758 /* A pointer to the thread's-specific-data. This is handled almost
759 entirely from vg_libpthread.c. We just provide hooks to get and
760 set this ptr. This is either NULL, indicating the thread has
761 read/written none of its specifics so far, OR points to a
762 void*[VG_N_THREAD_KEYS], allocated and deallocated in
763 vg_libpthread.c. */
764 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000765
njn25e49d8e72002-09-23 09:36:25 +0000766 /* This thread's blocked-signals mask. Semantics is that for a
767 signal to be delivered to this thread, the signal must not be
768 blocked by either the process-wide signal mask nor by this
769 one. So, if this thread is prepared to handle any signal that
770 the process as a whole is prepared to handle, this mask should
771 be made empty -- and that it is its default, starting
772 state. */
773 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000774
njn25e49d8e72002-09-23 09:36:25 +0000775 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
776 is the set of signals for which we are sigwait()ing. */
777 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000778
njn25e49d8e72002-09-23 09:36:25 +0000779 /* Counts the number of times a signal handler for this thread
780 has returned. This makes it easy to implement pause(), by
781 polling this value, of course interspersed with nanosleeps,
782 and waiting till it changes. */
783 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000784
njn25e49d8e72002-09-23 09:36:25 +0000785 /* Stacks. When a thread slot is freed, we don't deallocate its
786 stack; we just leave it lying around for the next use of the
787 slot. If the next use of the slot requires a larger stack,
788 only then is the old one deallocated and a new one
789 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000790
njn25e49d8e72002-09-23 09:36:25 +0000791 For the main thread (threadid == 0), this mechanism doesn't
792 apply. We don't know the size of the stack since we didn't
793 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000794
njn25e49d8e72002-09-23 09:36:25 +0000795 /* The allocated size of this thread's stack (permanently zero
796 if this is ThreadId == 0, since we didn't allocate its stack) */
797 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000798
njn25e49d8e72002-09-23 09:36:25 +0000799 /* Address of the lowest word in this thread's stack. NULL means
800 not allocated yet.
801 */
802 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000803
sewardj92a59562002-09-30 00:53:10 +0000804 /* Address of the highest legitimate word in this stack. This is
805 used for error messages only -- not critical for execution
806 correctness. Is is set for all stacks, specifically including
807 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000808 Addr stack_highest_word;
809
sewardj92a59562002-09-30 00:53:10 +0000810 /* Pointer to this thread's Local (Segment) Descriptor Table.
811 Starts out as NULL, indicating there is no table, and we hope to
812 keep it that way. If the thread does __NR_modify_ldt to create
813 entries, we allocate a 8192-entry table at that point. This is
814 a straight copy of the Linux kernel's scheme. Don't forget to
815 deallocate this at thread exit. */
816 VgLdtEntry* ldt;
817
818 /* Saved machine context. Note the FPU state, %EIP and segment
819 registers are not shadowed.
820
821 Although the segment registers are 16 bits long, storage
822 management here, in VG_(baseBlock) and in VG_(m_state_static) is
823 simplified if we pretend they are 32 bits. */
824 UInt m_cs;
825 UInt m_ss;
826 UInt m_ds;
827 UInt m_es;
828 UInt m_fs;
829 UInt m_gs;
830
njn25e49d8e72002-09-23 09:36:25 +0000831 UInt m_eax;
832 UInt m_ebx;
833 UInt m_ecx;
834 UInt m_edx;
835 UInt m_esi;
836 UInt m_edi;
837 UInt m_ebp;
838 UInt m_esp;
839 UInt m_eflags;
840 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000841
842 /* The SSE/FPU state. This array does not (necessarily) have the
843 required 16-byte alignment required to get stuff in/out by
844 fxsave/fxrestore. So we have to do it "by hand".
845 */
846 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000847
848 UInt sh_eax;
849 UInt sh_ebx;
850 UInt sh_ecx;
851 UInt sh_edx;
852 UInt sh_esi;
853 UInt sh_edi;
854 UInt sh_ebp;
855 UInt sh_esp;
856 UInt sh_eflags;
857};
sewardj2e93c502002-04-12 11:12:52 +0000858
859
sewardj018f7622002-05-15 21:13:39 +0000860/* The thread table. */
861extern ThreadState VG_(threads)[VG_N_THREADS];
862
863/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000864extern Bool VG_(is_valid_tid) ( ThreadId tid );
865
sewardj018f7622002-05-15 21:13:39 +0000866/* Check that tid is in range. */
867extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
868
sewardj2e93c502002-04-12 11:12:52 +0000869/* Copy the specified thread's state into VG_(baseBlock) in
870 preparation for running it. */
871extern void VG_(load_thread_state)( ThreadId );
872
873/* Save the specified thread's state back in VG_(baseBlock), and fill
874 VG_(baseBlock) with junk, for sanity-check reasons. */
875extern void VG_(save_thread_state)( ThreadId );
876
sewardj1e8cdc92002-04-18 11:37:52 +0000877/* And for the currently running one, if valid. */
878extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000879
sewardj1e8cdc92002-04-18 11:37:52 +0000880/* Similarly ... */
881extern ThreadId VG_(get_current_tid) ( void );
882
sewardjccef2e62002-05-29 19:26:32 +0000883/* Nuke all threads except tid. */
884extern void VG_(nuke_all_threads_except) ( ThreadId me );
885
sewardj2e93c502002-04-12 11:12:52 +0000886
887/* Return codes from the scheduler. */
888typedef
sewardj7e87e382002-05-03 19:09:05 +0000889 enum {
890 VgSrc_Deadlock, /* no runnable threads and no prospect of any
891 even if we wait for a long time */
892 VgSrc_ExitSyscall, /* client called exit(). This is the normal
893 route out. */
894 VgSrc_BbsDone /* In a debugging run, the specified number of
895 bbs has been completed. */
896 }
sewardj2e93c502002-04-12 11:12:52 +0000897 VgSchedReturnCode;
898
sewardj7e87e382002-05-03 19:09:05 +0000899
sewardj2e93c502002-04-12 11:12:52 +0000900/* The scheduler. */
901extern VgSchedReturnCode VG_(scheduler) ( void );
902
903extern void VG_(scheduler_init) ( void );
904
sewardj15a43e12002-04-17 19:35:12 +0000905extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000906
907/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
908extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000909/* This says whether scheduler_jmpbuf is actually valid. Needed so
910 that our signal handler doesn't longjmp when the buffer isn't
911 actually valid. */
912extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000913/* ... and if so, here's the signal which caused it to do so. */
914extern Int VG_(longjmpd_on_signal);
915
916
sewardj2e93c502002-04-12 11:12:52 +0000917/* The red-zone size which we put at the bottom (highest address) of
918 thread stacks, for paranoia reasons. This can be arbitrary, and
919 doesn't really need to be set at compile time. */
920#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
921
922#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
923 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
924
njn25e49d8e72002-09-23 09:36:25 +0000925/* Junk to fill up a thread's shadow regs with when shadow regs aren't
926 * being used. */
927#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
928
929/* What we set a shadow register to when written by SET_EAX and similar
930 * things. */
931extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000932
sewardj018f7622002-05-15 21:13:39 +0000933/* Write a value to the client's %EDX (request return value register)
934 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000935#define SET_EDX(zztid, zzval) \
936 do { VG_(threads)[zztid].m_edx = (zzval); \
937 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000938 } while (0)
939
njn25e49d8e72002-09-23 09:36:25 +0000940#define SET_EAX(zztid, zzval) \
941 do { VG_(threads)[zztid].m_eax = (zzval); \
942 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000943 } while (0)
944
sewardj2e93c502002-04-12 11:12:52 +0000945
sewardjd8acdf22002-11-13 21:57:52 +0000946/* This is or'd into a pthread mutex's __m_kind field if it is used
947 before Valgrind is up and running (prehistory). This is used so
948 that if some early code (like the dynamic linker) takes a lock
949 before Valgrind starts and then releases it afterwards, we can work
950 out what's happening. */
951#define VG_PTHREAD_PREHISTORY 0x80000000
952
sewardj2e93c502002-04-12 11:12:52 +0000953/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000954 Exports of vg_signals.c
955 ------------------------------------------------------------------ */
956
sewardjde4a1d02002-03-22 01:27:54 +0000957extern void VG_(sigstartup_actions) ( void );
958
sewardjb48e5002002-05-13 00:16:03 +0000959extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000960extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000961extern void VG_(handle_SCSS_change) ( Bool force_update );
962
sewardjde4a1d02002-03-22 01:27:54 +0000963
964/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000965extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000966extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000967extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
968 Int how,
969 vki_ksigset_t* set,
970 vki_ksigset_t* oldset );
971extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
972 Int how,
973 vki_ksigset_t* set,
974 vki_ksigset_t* oldset );
975extern void VG_(send_signal_to_thread) ( ThreadId thread,
976 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000977
sewardjefbfcdf2002-06-19 17:35:45 +0000978extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
979
980
sewardj2e93c502002-04-12 11:12:52 +0000981/* Modify the current thread's state once we have detected it is
982 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000983extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000984
sewardj2e93c502002-04-12 11:12:52 +0000985/* Handy utilities to block/restore all host signals. */
986extern void VG_(block_all_host_signals)
987 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000988extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000989 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000990
991/* ---------------------------------------------------------------------
992 Exports of vg_mylibc.c
993 ------------------------------------------------------------------ */
994
njne427a662002-10-02 11:08:25 +0000995#define vg_assert(expr) \
996 ((void) ((expr) ? 0 : \
997 (VG_(core_assert_fail) (VG__STRING(expr), \
998 __FILE__, __LINE__, \
999 __PRETTY_FUNCTION__), 0)))
1000__attribute__ ((__noreturn__))
1001extern void VG_(core_assert_fail) ( Char* expr, Char* file,
1002 Int line, Char* fn );
1003__attribute__ ((__noreturn__))
1004extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001005
njn25e49d8e72002-09-23 09:36:25 +00001006/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1007extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001008
njn25e49d8e72002-09-23 09:36:25 +00001009/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1010extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001011
njn25e49d8e72002-09-23 09:36:25 +00001012/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +00001013extern void VG_(start_rdtsc_calibration) ( void );
1014extern void VG_(end_rdtsc_calibration) ( void );
1015extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001016
njn25e49d8e72002-09-23 09:36:25 +00001017extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001018extern Int VG_(select)( Int n,
1019 vki_fd_set* readfds,
1020 vki_fd_set* writefds,
1021 vki_fd_set* exceptfds,
1022 struct vki_timeval * timeout );
1023extern Int VG_(nanosleep)( const struct vki_timespec *req,
1024 struct vki_timespec *rem );
1025
sewardj570f8902002-11-03 11:44:36 +00001026extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001027
1028/* --- Connecting over the network --- */
1029extern Int VG_(connect_via_socket)( UChar* str );
1030
sewardj570f8902002-11-03 11:44:36 +00001031
1032/* ---------------------------------------------------------------------
1033 Exports of vg_message.c
1034 ------------------------------------------------------------------ */
1035
1036/* Low-level -- send bytes directly to the message sink. Do not
1037 use. */
1038extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1039
1040
sewardjde4a1d02002-03-22 01:27:54 +00001041/* ---------------------------------------------------------------------
1042 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1043 vg_from_ucode.c).
1044 ------------------------------------------------------------------ */
1045
sewardjde4a1d02002-03-22 01:27:54 +00001046#define VG_IS_FLAG_SUBSET(set1,set2) \
1047 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1048
1049#define VG_UNION_FLAG_SETS(set1,set2) \
1050 ( ((FlagSet)set1) | ((FlagSet)set2) )
1051
sewardjde4a1d02002-03-22 01:27:54 +00001052/* ---------------------------------------------------------------------
1053 Exports of vg_demangle.c
1054 ------------------------------------------------------------------ */
1055
1056extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1057
sewardjde4a1d02002-03-22 01:27:54 +00001058/* ---------------------------------------------------------------------
1059 Exports of vg_from_ucode.c
1060 ------------------------------------------------------------------ */
1061
sewardj22854b92002-11-30 14:00:47 +00001062extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001063
njn25e49d8e72002-09-23 09:36:25 +00001064extern void VG_(print_ccall_stats) ( void );
1065extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001066
sewardj22854b92002-11-30 14:00:47 +00001067extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1068extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1069extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1070extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1071
sewardjde4a1d02002-03-22 01:27:54 +00001072/* ---------------------------------------------------------------------
1073 Exports of vg_to_ucode.c
1074 ------------------------------------------------------------------ */
1075
1076extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001077
1078/* ---------------------------------------------------------------------
1079 Exports of vg_translate.c
1080 ------------------------------------------------------------------ */
1081
njn810086f2002-11-14 12:42:47 +00001082/* Expandable arrays of uinstrs. */
1083struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001084 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001085 Int used;
1086 Int size;
1087 UInstr* instrs;
1088 Int nextTemp;
1089};
1090
1091extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1092
sewardj1e8cdc92002-04-18 11:37:52 +00001093extern void VG_(translate) ( ThreadState* tst,
1094 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001095 UInt* orig_size,
1096 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001097 UInt* trans_size,
1098 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001099
njn25e49d8e72002-09-23 09:36:25 +00001100extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1101 UInstr* u );
1102extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1103extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001104
sewardjb5ff83e2002-12-01 19:40:49 +00001105
sewardjde4a1d02002-03-22 01:27:54 +00001106/* ---------------------------------------------------------------------
1107 Exports of vg_execontext.c.
1108 ------------------------------------------------------------------ */
1109
1110/* Records the PC and a bit of the call chain. The first 4 %eip
1111 values are used in comparisons do remove duplicate errors, and for
1112 comparing against suppression specifications. The rest are purely
1113 informational (but often important). */
1114
njn25e49d8e72002-09-23 09:36:25 +00001115struct _ExeContext {
1116 struct _ExeContext * next;
1117 /* Variable-length array. The size is VG_(clo_backtrace_size); at
1118 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
1119 [1] is its caller, [2] is the caller of [1], etc. */
1120 Addr eips[0];
1121};
sewardjde4a1d02002-03-22 01:27:54 +00001122
1123
1124/* Initialise the ExeContext storage mechanism. */
1125extern void VG_(init_ExeContext_storage) ( void );
1126
1127/* Print stats (informational only). */
1128extern void VG_(show_ExeContext_stats) ( void );
1129
njn25e49d8e72002-09-23 09:36:25 +00001130/* Like VG_(get_ExeContext), but with a slightly different type */
1131extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1132 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001133
1134
1135/* ---------------------------------------------------------------------
1136 Exports of vg_errcontext.c.
1137 ------------------------------------------------------------------ */
1138
njn25e49d8e72002-09-23 09:36:25 +00001139/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1140 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001141typedef
njn25e49d8e72002-09-23 09:36:25 +00001142 enum {
1143 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001144 }
njn25e49d8e72002-09-23 09:36:25 +00001145 CoreSuppKind;
1146
1147/* For each caller specified for a suppression, record the nature of
1148 the caller name. Not of interest to skins. */
1149typedef
1150 enum {
1151 ObjName, /* Name is of an shared object file. */
1152 FunName /* Name is of a function. */
1153 }
1154 SuppLocTy;
1155
njn810086f2002-11-14 12:42:47 +00001156/* Suppressions. Skins can get/set skin-relevant parts with functions
1157 declared in include/vg_skin.h. Extensible via the 'extra' field.
1158 Skins can use a normal enum (with element values in the normal range
1159 (0..)) for `skind'. */
1160struct _Supp {
1161 struct _Supp* next;
1162 /* The number of times this error has been suppressed. */
1163 Int count;
1164 /* The name by which the suppression is referred to. */
1165 Char* sname;
1166 /* First two (name of fn where err occurs, and immediate caller)
1167 * are mandatory; extra two are optional. */
1168 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1169 Char* caller [VG_N_SUPP_CALLERS];
1170
1171 /* The skin-specific part */
1172 /* What kind of suppression. Must use the range (0..) */
1173 SuppKind skind;
1174 /* String -- use is optional. NULL by default. */
1175 Char* string;
1176 /* Anything else -- use is optional. NULL by default. */
1177 void* extra;
1178};
njn25e49d8e72002-09-23 09:36:25 +00001179
1180/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1181 * effectively extend it by defining their own enums in the (0..) range. */
1182typedef
1183 enum {
1184 PThreadErr = -1, /* Pthreading error */
1185 }
1186 CoreErrorKind;
1187
njn810086f2002-11-14 12:42:47 +00001188/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1189 enum (with element values in the normal range (0..)) for `ekind'.
1190 Functions for getting/setting the skin-relevant fields are in
1191 include/vg_skin.h.
1192
1193 When errors are found and recorded with VG_(maybe_record_error)(), all
1194 the skin must do is pass in the four parameters; core will
1195 allocate/initialise the error record.
1196*/
1197struct _Error {
1198 struct _Error* next;
1199 /* NULL if unsuppressed; or ptr to suppression record. */
1200 Supp* supp;
1201 Int count;
njn810086f2002-11-14 12:42:47 +00001202 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001203
1204 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001205 /* Initialised by core */
1206 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001207 /* Used by ALL. Must be in the range (0..) */
1208 Int ekind;
1209 /* Used frequently */
1210 Addr addr;
1211 /* Used frequently */
1212 Char* string;
1213 /* For any skin-specific extras */
1214 void* extra;
1215};
sewardjde4a1d02002-03-22 01:27:54 +00001216
1217
njn25e49d8e72002-09-23 09:36:25 +00001218extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001219
njn25e49d8e72002-09-23 09:36:25 +00001220extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001221
njn25e49d8e72002-09-23 09:36:25 +00001222extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001223
sewardj99aac972002-12-26 01:53:45 +00001224/* Get hold of the suppression list ... just so we don't have to
1225 make it global. */
1226extern Supp* VG_(get_suppressions) ( void );
1227
njn43c799e2003-04-08 00:08:52 +00001228extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1229
1230extern void VG_(gen_suppression) ( Error* err );
sewardj99aac972002-12-26 01:53:45 +00001231
njn47363ab2003-04-21 13:24:40 +00001232extern UInt VG_(n_errs_found);
1233
sewardjde4a1d02002-03-22 01:27:54 +00001234/* ---------------------------------------------------------------------
1235 Exports of vg_procselfmaps.c
1236 ------------------------------------------------------------------ */
1237
njn3e884182003-04-15 13:03:23 +00001238/* Reads /proc/self/maps into a static buffer. */
1239void VG_(read_procselfmaps_contents) ( void );
1240
1241/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1242 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1243 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001244extern
1245void VG_(read_procselfmaps) (
njn3e884182003-04-15 13:03:23 +00001246 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* ),
1247 Bool read_from_file
sewardjde4a1d02002-03-22 01:27:54 +00001248);
1249
1250
1251/* ---------------------------------------------------------------------
1252 Exports of vg_symtab2.c
1253 ------------------------------------------------------------------ */
1254
njn25e49d8e72002-09-23 09:36:25 +00001255extern void VG_(maybe_read_symbols) ( void );
1256extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1257 Char rr, Char ww, Char xx,
1258 UInt foffset, UChar* filename );
1259extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001260
njn25e49d8e72002-09-23 09:36:25 +00001261extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1262extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001263
1264
1265/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001266 Exports of vg_main.c
1267 ------------------------------------------------------------------ */
1268
sewardjb91ae7f2003-04-29 23:50:00 +00001269/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1270 the SSE state all over the place. This is set up very early, in
1271 vg_startup.S. We have to determine it early since we can't even
1272 correctly snapshot the startup machine state without it. */
1273extern Bool VG_(have_ssestate);
1274
sewardj73cf3bc2002-11-03 03:20:15 +00001275/* Tell the logging mechanism whether we are logging to a file
1276 descriptor or a socket descriptor. */
1277extern Bool VG_(logging_to_filedes);
1278
njn25e49d8e72002-09-23 09:36:25 +00001279/* Sanity checks which may be done at any time. The scheduler decides when. */
1280extern void VG_(do_sanity_checks) ( Bool force_expensive );
1281
sewardjde4a1d02002-03-22 01:27:54 +00001282/* A structure used as an intermediary when passing the simulated
1283 CPU's state to some assembly fragments, particularly system calls.
1284 Stuff is copied from baseBlock to here, the assembly magic runs,
sewardjb91ae7f2003-04-29 23:50:00 +00001285 and then the inverse copy is done. Alignment: the SSE state must
1286 be 16-byte aligned. We ask for the whole struct to be 16-byte
1287 aligned, and the SSE state starts at the 6+8+1+1th == 16th word,
1288 so it too must be 16-byte aligned. Consequence: change this struct
1289 only _very carefully_ ! See also above comment re masking MXCSR.
1290*/
1291__attribute__ ((aligned (16)))
sewardj92a59562002-09-30 00:53:10 +00001292extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1293 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001294 + 1 /* %eflags */
1295 + 1 /* %eip */
sewardjb91ae7f2003-04-29 23:50:00 +00001296 + VG_SIZE_OF_SSESTATE_W /* SSE state */
sewardjde4a1d02002-03-22 01:27:54 +00001297 ];
1298
1299/* Handy fns for doing the copy back and forth. */
1300extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1301extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1302
njn9b007f62003-04-07 14:40:25 +00001303/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001304extern Bool VG_(need_to_handle_esp_assignment) ( void );
1305
sewardjde4a1d02002-03-22 01:27:54 +00001306/* Called when some unhandleable client behaviour is detected.
1307 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001308extern void VG_(unimplemented) ( Char* msg )
1309 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001310
1311/* The stack on which Valgrind runs. We can't use the same stack as the
1312 simulatee -- that's an important design decision. */
njn6eba4ef2003-05-01 08:06:41 +00001313extern UInt VG_(stack)[VG_STACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001314
njn25e49d8e72002-09-23 09:36:25 +00001315/* Similarly, we have to ask for signals to be delivered on an alternative
1316 stack, since it is possible, although unlikely, that we'll have to run
1317 client code from inside the Valgrind-installed signal handler. If this
1318 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001319extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001320
sewardjde4a1d02002-03-22 01:27:54 +00001321/* Holds client's %esp at the point we gained control. From this the
1322 client's argc, argv and envp are deduced. */
1323extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001324
sewardjd5815ec2003-04-06 12:23:27 +00001325/* Indicates presence, and holds address of client's sysinfo page, a
1326 feature of some modern kernels used to provide vsyscalls, etc. */
1327extern Bool VG_(sysinfo_page_exists);
1328extern Addr VG_(sysinfo_page_addr);
1329
njn25e49d8e72002-09-23 09:36:25 +00001330/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1331 processes don't get traced into. Also mess up $libdir/valgrind so that
1332 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001333void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1334 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001335
1336/* Something of a function looking for a home ... start up GDB. This
1337 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1338 *client's* stack. This is necessary to give GDB the illusion that
1339 the client program really was running on the real cpu. */
1340extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1341
njn41557122002-10-14 09:25:37 +00001342/* VG_(bbs_done) in include/vg_skin.h */
1343
sewardjde4a1d02002-03-22 01:27:54 +00001344/* 64-bit counter for the number of bbs to go before a debug exit. */
1345extern ULong VG_(bbs_to_go);
1346
1347/* Counts downwards in vg_run_innerloop. */
1348extern UInt VG_(dispatch_ctr);
1349
sewardjde4a1d02002-03-22 01:27:54 +00001350/* Is the client running on the simulated CPU or the real one? */
1351extern Bool VG_(running_on_simd_CPU); /* Initially False */
1352
sewardj7e87e382002-05-03 19:09:05 +00001353/* This is the ThreadId of the last thread the scheduler ran. */
1354extern ThreadId VG_(last_run_tid);
1355
njn25e49d8e72002-09-23 09:36:25 +00001356/* This is the argument to __NR_exit() supplied by the first thread to
1357 call that syscall. We eventually pass that to __NR_exit() for
1358 real. */
1359extern UInt VG_(exitcode);
1360
sewardjde4a1d02002-03-22 01:27:54 +00001361
1362/* --- Counters, for informational purposes only. --- */
1363
1364/* Number of lookups which miss the fast tt helper. */
1365extern UInt VG_(tt_fast_misses);
1366
sewardjc0d8f682002-11-30 00:49:43 +00001367/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001368
sewardjde4a1d02002-03-22 01:27:54 +00001369/* Number and total o/t size of translations overall. */
1370extern UInt VG_(overall_in_count);
1371extern UInt VG_(overall_in_osize);
1372extern UInt VG_(overall_in_tsize);
1373/* Number and total o/t size of discards overall. */
1374extern UInt VG_(overall_out_count);
1375extern UInt VG_(overall_out_osize);
1376extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001377/* The number of discards of TT/TC. */
1378extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001379/* Counts of chain and unchain operations done. */
1380extern UInt VG_(bb_enchain_count);
1381extern UInt VG_(bb_dechain_count);
1382/* Number of unchained jumps performed. */
1383extern UInt VG_(unchained_jumps_done);
1384
sewardjde4a1d02002-03-22 01:27:54 +00001385
1386/* Counts pertaining to the register allocator. */
1387
1388/* total number of uinstrs input to reg-alloc */
1389extern UInt VG_(uinstrs_prealloc);
1390
1391/* total number of uinstrs added due to spill code */
1392extern UInt VG_(uinstrs_spill);
1393
1394/* number of bbs requiring spill code */
1395extern UInt VG_(translations_needing_spill);
1396
1397/* total of register ranks over all translations */
1398extern UInt VG_(total_reg_rank);
1399
sewardjde4a1d02002-03-22 01:27:54 +00001400/* Counts pertaining to internal sanity checking. */
1401extern UInt VG_(sanity_fast_count);
1402extern UInt VG_(sanity_slow_count);
1403
sewardj2e93c502002-04-12 11:12:52 +00001404/* Counts pertaining to the scheduler. */
1405extern UInt VG_(num_scheduling_events_MINOR);
1406extern UInt VG_(num_scheduling_events_MAJOR);
1407
sewardjfa492d42002-12-08 18:20:01 +00001408/* Insert and extract the D flag from eflags */
1409UInt VG_(insertDflag)(UInt eflags, Int d);
1410Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001411
sewardj49e630d2003-04-23 21:18:52 +00001412/* start address and size of the initial stack */
1413extern Addr VG_(foundstack_start);
1414extern UInt VG_(foundstack_size);
1415
1416
sewardjde4a1d02002-03-22 01:27:54 +00001417/* ---------------------------------------------------------------------
1418 Exports of vg_memory.c
1419 ------------------------------------------------------------------ */
1420
njn25e49d8e72002-09-23 09:36:25 +00001421extern void VG_(init_memory) ( void );
1422extern void VG_(new_exe_segment) ( Addr a, UInt len );
1423extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001424
njn9b007f62003-04-07 14:40:25 +00001425extern __attribute__((regparm(1)))
1426 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001427
sewardjde4a1d02002-03-22 01:27:54 +00001428/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001429 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001430 ------------------------------------------------------------------ */
1431
njn25e49d8e72002-09-23 09:36:25 +00001432extern void VG_(init_dataseg_end_for_brk) ( void );
1433
sewardj2e93c502002-04-12 11:12:52 +00001434extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001435
njn25e49d8e72002-09-23 09:36:25 +00001436extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1437extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1438 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001439
1440extern Bool VG_(is_kerror) ( Int res );
1441
njn25e49d8e72002-09-23 09:36:25 +00001442#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1443 VG_(load_thread_state)(thread_id); \
1444 VG_(copy_baseBlock_to_m_state_static)(); \
1445 VG_(do_syscall)(); \
1446 VG_(copy_m_state_static_to_baseBlock)(); \
1447 VG_(save_thread_state)(thread_id); \
1448 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001449 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001450
1451
1452/* ---------------------------------------------------------------------
1453 Exports of vg_transtab.c
1454 ------------------------------------------------------------------ */
1455
njn25e49d8e72002-09-23 09:36:25 +00001456/* The fast-cache for tt-lookup. */
1457extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1458
sewardjde4a1d02002-03-22 01:27:54 +00001459extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001460
sewardjc0d8f682002-11-30 00:49:43 +00001461extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001462 Addr trans_addr, Int trans_size,
1463 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001464
sewardj18d75132002-05-16 11:06:21 +00001465extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001466
sewardj18d75132002-05-16 11:06:21 +00001467extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001468
1469extern void VG_(sanity_check_tc_tt) ( void );
1470extern Addr VG_(search_transtab) ( Addr original_addr );
1471
sewardjde4a1d02002-03-22 01:27:54 +00001472
1473
1474/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001475 Exports of vg_syscall.S
1476 ------------------------------------------------------------------ */
1477
1478extern void VG_(do_syscall) ( void );
1479
1480
1481/* ---------------------------------------------------------------------
1482 Exports of vg_startup.S
1483 ------------------------------------------------------------------ */
1484
sewardjde4a1d02002-03-22 01:27:54 +00001485extern void VG_(switch_to_real_CPU) ( void );
1486
sewardj35805422002-04-21 13:05:34 +00001487extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1488 Addr m_esp_at_error,
1489 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001490
1491
1492/* ---------------------------------------------------------------------
1493 Exports of vg_dispatch.S
1494 ------------------------------------------------------------------ */
1495
sewardj2e93c502002-04-12 11:12:52 +00001496/* Run a thread for a (very short) while, until some event happens
1497 which means we need to defer to the scheduler. */
1498extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001499
sewardj22854b92002-11-30 14:00:47 +00001500/* The patching routing called when a BB wants to chain itself to
1501 another. */
1502extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001503
1504/* ---------------------------------------------------------------------
1505 Exports of vg_helpers.S
1506 ------------------------------------------------------------------ */
1507
sewardjde4a1d02002-03-22 01:27:54 +00001508/* Mul, div, etc, -- we don't codegen these directly. */
1509extern void VG_(helper_idiv_64_32);
1510extern void VG_(helper_div_64_32);
1511extern void VG_(helper_idiv_32_16);
1512extern void VG_(helper_div_32_16);
1513extern void VG_(helper_idiv_16_8);
1514extern void VG_(helper_div_16_8);
1515
1516extern void VG_(helper_imul_32_64);
1517extern void VG_(helper_mul_32_64);
1518extern void VG_(helper_imul_16_32);
1519extern void VG_(helper_mul_16_32);
1520extern void VG_(helper_imul_8_16);
1521extern void VG_(helper_mul_8_16);
1522
1523extern void VG_(helper_CLD);
1524extern void VG_(helper_STD);
1525extern void VG_(helper_get_dirflag);
1526
sewardj7d78e782002-06-02 00:04:00 +00001527extern void VG_(helper_CLC);
1528extern void VG_(helper_STC);
1529
sewardjde4a1d02002-03-22 01:27:54 +00001530extern void VG_(helper_shldl);
1531extern void VG_(helper_shldw);
1532extern void VG_(helper_shrdl);
1533extern void VG_(helper_shrdw);
1534
1535extern void VG_(helper_RDTSC);
1536extern void VG_(helper_CPUID);
1537
sewardjde4a1d02002-03-22 01:27:54 +00001538extern void VG_(helper_bsf);
1539extern void VG_(helper_bsr);
1540
1541extern void VG_(helper_fstsw_AX);
1542extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001543extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001544extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001545
sewardj51096432002-12-14 23:59:09 +00001546extern void VG_(helper_undefined_instruction);
1547
sewardj20917d82002-05-28 01:36:45 +00001548/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001549extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001550
njn4f9c9342002-04-29 16:03:24 +00001551/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001552 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001553 ------------------------------------------------------------------ */
1554
njn25e49d8e72002-09-23 09:36:25 +00001555#define VG_TRACK(fn, args...) \
1556 do { \
1557 if (VG_(track_events).fn) \
1558 VG_(track_events).fn(args); \
1559 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001560
1561
sewardjde4a1d02002-03-22 01:27:54 +00001562/* ---------------------------------------------------------------------
1563 The state of the simulated CPU.
1564 ------------------------------------------------------------------ */
1565
sewardjde4a1d02002-03-22 01:27:54 +00001566/* ---------------------------------------------------------------------
1567 Offsets into baseBlock for everything which needs to referred to
1568 from generated code. The order of these decls does not imply
1569 what the order of the actual offsets is. The latter is important
1570 and is set up in vg_main.c.
1571 ------------------------------------------------------------------ */
1572
1573/* An array of words. In generated code, %ebp always points to the
1574 start of this array. Useful stuff, like the simulated CPU state,
1575 and the addresses of helper functions, can then be found by
1576 indexing off %ebp. The following declares variables which, at
1577 startup time, are given values denoting offsets into baseBlock.
1578 These offsets are in *words* from the start of baseBlock. */
1579
sewardjb91ae7f2003-04-29 23:50:00 +00001580#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001581
1582extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1583
1584
1585/* -----------------------------------------------------
1586 Read-write parts of baseBlock.
1587 -------------------------------------------------- */
1588
1589/* State of the simulated CPU. */
1590extern Int VGOFF_(m_eax);
1591extern Int VGOFF_(m_ecx);
1592extern Int VGOFF_(m_edx);
1593extern Int VGOFF_(m_ebx);
1594extern Int VGOFF_(m_esp);
1595extern Int VGOFF_(m_ebp);
1596extern Int VGOFF_(m_esi);
1597extern Int VGOFF_(m_edi);
1598extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001599extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001600extern Int VGOFF_(m_eip);
1601
sewardjfa492d42002-12-08 18:20:01 +00001602extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1603
sewardj92a59562002-09-30 00:53:10 +00001604extern Int VGOFF_(m_cs);
1605extern Int VGOFF_(m_ss);
1606extern Int VGOFF_(m_ds);
1607extern Int VGOFF_(m_es);
1608extern Int VGOFF_(m_fs);
1609extern Int VGOFF_(m_gs);
1610
sewardjde4a1d02002-03-22 01:27:54 +00001611/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1612extern Int VGOFF_(spillslots);
1613
1614/* Records the valid bits for the 8 integer regs & flags reg. */
1615extern Int VGOFF_(sh_eax);
1616extern Int VGOFF_(sh_ecx);
1617extern Int VGOFF_(sh_edx);
1618extern Int VGOFF_(sh_ebx);
1619extern Int VGOFF_(sh_esp);
1620extern Int VGOFF_(sh_ebp);
1621extern Int VGOFF_(sh_esi);
1622extern Int VGOFF_(sh_edi);
1623extern Int VGOFF_(sh_eflags);
1624
sewardjde4a1d02002-03-22 01:27:54 +00001625/* -----------------------------------------------------
1626 Read-only parts of baseBlock.
1627 -------------------------------------------------- */
1628
sewardj92a59562002-09-30 00:53:10 +00001629/* This thread's LDT pointer. */
1630extern Int VGOFF_(ldt);
1631
njn211b6ad2003-02-03 12:33:31 +00001632/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001633
sewardj51096432002-12-14 23:59:09 +00001634extern Int VGOFF_(helper_undefined_instruction);
1635
njn25e49d8e72002-09-23 09:36:25 +00001636/* For storing extension-specific helpers, determined at runtime. The addr
1637 * and offset arrays together form a (addr, offset) map that allows a
1638 * helper's baseBlock offset to be computed from its address. It's done
1639 * like this so CCALL_M_Ns and other helper calls can use the function
1640 * address rather than having to much around with offsets. */
1641extern UInt VG_(n_compact_helpers);
1642extern UInt VG_(n_noncompact_helpers);
1643
1644extern Addr VG_(compact_helper_addrs) [];
1645extern Int VG_(compact_helper_offsets)[];
1646
1647extern Addr VG_(noncompact_helper_addrs) [];
1648extern Int VG_(noncompact_helper_offsets)[];
1649
sewardjde4a1d02002-03-22 01:27:54 +00001650#endif /* ndef __VG_INCLUDE_H */
1651
sewardj3b2736a2002-03-24 12:18:35 +00001652
1653/* ---------------------------------------------------------------------
1654 Finally - autoconf-generated settings
1655 ------------------------------------------------------------------ */
1656
1657#include "config.h"
1658
sewardjde4a1d02002-03-22 01:27:54 +00001659/*--------------------------------------------------------------------*/
1660/*--- end vg_include.h ---*/
1661/*--------------------------------------------------------------------*/