blob: 8b559f19122b0fa49cd07fd48aa9734f2bd72bfd [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
12 Copyright (C) 2000-2002 Julian Seward
13 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
sewardjde4a1d02002-03-22 01:27:54 +0000140
141/* ---------------------------------------------------------------------
142 Basic types
143 ------------------------------------------------------------------ */
144
sewardjde4a1d02002-03-22 01:27:54 +0000145/* Just pray that gcc's constant folding works properly ... */
146#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
147 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
148 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* ---------------------------------------------------------------------
151 Command-line-settable options
152 ------------------------------------------------------------------ */
153
sewardj4f094a72002-11-05 23:37:35 +0000154/* Default destination port to be used in logging over a network, if
155 none specified. */
156#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000157
158/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000159#define VG_CLO_MAX_SFILES 10
160
sewardj4cf05692002-10-27 20:28:29 +0000161/* Describes where logging output is to be sent. */
162typedef
163 enum {
164 VgLogTo_Fd,
165 VgLogTo_File,
166 VgLogTo_Socket
167 } VgLogTo;
168
169
sewardj72f98ff2002-06-13 17:23:38 +0000170/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000171extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000172/* Enquire about whether to attach to GDB at errors? default: NO */
173extern Bool VG_(clo_GDB_attach);
174/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
175extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000176/* Automatically attempt to demangle C++ names? default: YES */
177extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000178/* Round malloc sizes upwards to integral number of words? default:
179 NO */
180extern Bool VG_(clo_sloppy_malloc);
sewardj246d4662002-06-14 10:17:05 +0000181/* Minimum alignment in functions that don't specify alignment explicitly.
182 default: 0, i.e. use default of the machine (== 4) */
183extern Int VG_(clo_alignment);
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);
225/* DEBUG: print malloc details? default: NO */
226extern Bool VG_(clo_trace_malloc);
sewardj8937c812002-04-12 20:12:20 +0000227/* DEBUG: print thread scheduling events? default: NO */
228extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000229/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
230 (some), 2 (all) */
231extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000232/* Stop after this many basic blocks. default: Infinity. */
233extern ULong VG_(clo_stop_after);
234/* Display gory details for the k'th most popular error. default:
235 Infinity. */
236extern Int VG_(clo_dump_error);
237/* Number of parents of a backtrace. Default: 8. */
238extern Int VG_(clo_backtrace_size);
sewardj3984b852002-05-12 03:00:17 +0000239/* Engage miscellaneous wierd hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000240extern Char* VG_(clo_weird_hacks);
sewardj858964b2002-10-05 14:15:43 +0000241/* Should we run __libc_freeres at exit? Sometimes causes crashes.
242 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
243 if the latter says False, then the setting of VG_(clo_weird_hacks)
244 is ignored. Ie if a skin says no, I don't want this to run, that
245 cannot be overridden from the command line. */
246extern Bool VG_(clo_run_libc_freeres);
sewardjde4a1d02002-03-22 01:27:54 +0000247
248
249/* ---------------------------------------------------------------------
250 Debugging and profiling stuff
251 ------------------------------------------------------------------ */
252
njn25e49d8e72002-09-23 09:36:25 +0000253/* Change to 1 to get more accurate but more expensive core profiling. */
254#if 0
255# define VGP_ACCURATE_PROFILING
256#endif
257
sewardjde4a1d02002-03-22 01:27:54 +0000258/* Create a logfile into which messages can be dumped. */
259extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000260extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000261
262extern void VGP_(init_profiling) ( void );
263extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000264
njn25e49d8e72002-09-23 09:36:25 +0000265#undef VGP_PUSHCC
266#undef VGP_POPCC
267#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
268#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000269
njn25e49d8e72002-09-23 09:36:25 +0000270/* Use this for ones that happen a lot and thus we don't want to put in
271 all the time, eg. for %esp assignment. */
272#ifdef VGP_ACCURATE_PROFILING
273# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
274# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000275#else
njn25e49d8e72002-09-23 09:36:25 +0000276# define VGP_MAYBE_PUSHCC(x)
277# define VGP_MAYBE_POPCC(x)
278#endif
sewardjde4a1d02002-03-22 01:27:54 +0000279
280
281/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000282 Skin-related types
283 ------------------------------------------------------------------ */
284/* These structs are not exposed to skins to mitigate possibility of
285 binary-incompatibilities when the core/skin interface changes. Instead,
286 set functions are provided (see include/vg_skin.h). */
287typedef
288 struct {
289 Char* name;
290 Char* version;
291 Char* description;
292 Char* copyright_author;
293 Char* bug_reports_to;
294 }
295 VgDetails;
296
297extern VgDetails VG_(details);
298
299/* If new fields are added to this type, update:
300 * - vg_main.c:initialisation of VG_(needs)
301 * - vg_main.c:sanity_check_needs()
302 *
303 * If the name of this type or any of its fields change, update:
304 * - dependent comments (just search for "VG_(needs)").
305 */
306typedef
307 struct {
308 Bool libc_freeres;
309 Bool core_errors;
310
311 Bool skin_errors;
312 Bool basic_block_discards;
313 Bool shadow_regs;
314 Bool command_line_options;
315 Bool client_requests;
316 Bool extended_UCode;
317 Bool syscall_wrapper;
318 UInt sizeof_shadow_block;
319 Bool alternative_free;
320 Bool sanity_checks;
321 Bool data_syms;
322 }
323 VgNeeds;
324
325extern VgNeeds VG_(needs);
326
327/* Events happening in core to track. To be notified, assign a function
328 to the function pointer. To ignore an event, don't do anything
329 (default assignment is to NULL in which case the call is skipped). */
330typedef
331 struct {
332 /* Memory events */
333 void (*new_mem_startup)( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
334 void (*new_mem_heap) ( Addr a, UInt len, Bool is_inited );
335 void (*new_mem_stack) ( Addr a, UInt len );
336 void (*new_mem_stack_aligned) ( Addr a, UInt len );
337 void (*new_mem_stack_signal) ( Addr a, UInt len );
338 void (*new_mem_brk) ( Addr a, UInt len );
339 void (*new_mem_mmap) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
340
341 void (*copy_mem_heap) ( Addr from, Addr to, UInt len );
342 void (*copy_mem_remap) ( Addr from, Addr to, UInt len );
343 void (*change_mem_mprotect) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
344
345 /* Used on redzones around malloc'd blocks and at end of stack */
346 void (*ban_mem_heap) ( Addr a, UInt len );
347 void (*ban_mem_stack) ( Addr a, UInt len );
348
349 void (*die_mem_heap) ( Addr a, UInt len );
350 void (*die_mem_stack) ( Addr a, UInt len );
351 void (*die_mem_stack_aligned) ( Addr a, UInt len );
352 void (*die_mem_stack_signal) ( Addr a, UInt len );
353 void (*die_mem_brk) ( Addr a, UInt len );
354 void (*die_mem_munmap) ( Addr a, UInt len );
355
356 void (*bad_free) ( ThreadState* tst, Addr a );
357 void (*mismatched_free) ( ThreadState* tst, Addr a );
358
359 void (*pre_mem_read) ( CorePart part, ThreadState* tst,
360 Char* s, Addr a, UInt size );
361 void (*pre_mem_read_asciiz) ( CorePart part, ThreadState* tst,
362 Char* s, Addr a );
363 void (*pre_mem_write) ( CorePart part, ThreadState* tst,
364 Char* s, Addr a, UInt size );
365 /* Not implemented yet -- have to add in lots of places, which is a
366 pain. Won't bother unless/until there's a need. */
367 /* void (*post_mem_read) ( ThreadState* tst, Char* s,
368 Addr a, UInt size ); */
369 void (*post_mem_write) ( Addr a, UInt size );
370
371
372 /* Scheduler events (not exhaustive) */
373 void (*thread_run) ( ThreadId tid );
374
375
376 /* Thread events (not exhaustive) */
377 void (*post_thread_create) ( ThreadId tid, ThreadId child );
378 void (*post_thread_join) ( ThreadId joiner, ThreadId joinee );
379
380
381 /* Mutex events (not exhaustive) */
382 void (*pre_mutex_lock) ( ThreadId tid,
383 void* /*pthread_mutex_t* */ mutex );
384 void (*post_mutex_lock) ( ThreadId tid,
385 void* /*pthread_mutex_t* */ mutex );
386 void (*post_mutex_unlock) ( ThreadId tid,
387 void* /*pthread_mutex_t* */ mutex );
388
389
390 /* Others... condition variable, signal events... */
391 /* ... */
392 }
393 VgTrackEvents;
394
395extern VgTrackEvents VG_(track_events);
396
397
398/* ---------------------------------------------------------------------
399 Exports of vg_needs.c
400 ------------------------------------------------------------------ */
401
402void VG_(sanity_check_needs)(void);
403
404/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000405 Exports of vg_malloc2.c
406 ------------------------------------------------------------------ */
407
408/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000409 CORE is for the core's general use.
410 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000411 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000412 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000413 CLIENT is for the client's mallocs/frees.
414 DEMANGLE is for the C++ demangler.
415 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000416 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000417 TRANSIENT is for very short-term use. It should be empty
418 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000419 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000420*/
421typedef Int ArenaId;
422
njn25e49d8e72002-09-23 09:36:25 +0000423#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000424
njn25e49d8e72002-09-23 09:36:25 +0000425#define VG_AR_CORE 0 /* :: ArenaId */
426#define VG_AR_SKIN 1 /* :: ArenaId */
427#define VG_AR_SYMTAB 2 /* :: ArenaId */
428#define VG_AR_JITTER 3 /* :: ArenaId */
429#define VG_AR_CLIENT 4 /* :: ArenaId */
430#define VG_AR_DEMANGLE 5 /* :: ArenaId */
431#define VG_AR_EXECTXT 6 /* :: ArenaId */
432#define VG_AR_ERRORS 7 /* :: ArenaId */
433#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000434
njn25e49d8e72002-09-23 09:36:25 +0000435extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
436extern void VG_(arena_free) ( ArenaId arena, void* ptr );
437extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
438extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
439 Int size );
440extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000441 Int req_pszB );
442
sewardjde4a1d02002-03-22 01:27:54 +0000443extern void VG_(mallocSanityCheckAll) ( void );
444
445extern void VG_(show_all_arena_stats) ( void );
446extern Bool VG_(is_empty_arena) ( ArenaId aid );
447
448
449/* The red-zone size for the client. This can be arbitrary, but
450 unfortunately must be set at compile time. */
451#define VG_AR_CLIENT_REDZONE_SZW 4
452
453#define VG_AR_CLIENT_REDZONE_SZB \
454 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
455
456
457/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000458 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000459 ------------------------------------------------------------------ */
460
461/* This doesn't export code or data that valgrind.so needs to link
462 against. However, the scheduler does need to know the following
463 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000464 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000465
466#define VG_USERREQ__MALLOC 0x2001
467#define VG_USERREQ__BUILTIN_NEW 0x2002
468#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
469
470#define VG_USERREQ__FREE 0x2004
471#define VG_USERREQ__BUILTIN_DELETE 0x2005
472#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
473
474#define VG_USERREQ__CALLOC 0x2007
475#define VG_USERREQ__REALLOC 0x2008
476#define VG_USERREQ__MEMALIGN 0x2009
477
478
sewardj20917d82002-05-28 01:36:45 +0000479/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
480 MUST NOT return -- ever. Eventually it will do either __QUIT or
481 __WAIT_JOINER. */
482#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
483
484/* ( no-args ): calling thread disappears from the system forever.
485 Reclaim resources. */
486#define VG_USERREQ__QUIT 0x3002
487
488/* ( void* ): calling thread waits for joiner and returns the void* to
489 it. */
490#define VG_USERREQ__WAIT_JOINER 0x3003
491
492/* ( ThreadId, void** ): wait to join a thread. */
493#define VG_USERREQ__PTHREAD_JOIN 0x3004
494
495/* Set cancellation state and type for this thread. */
496#define VG_USERREQ__SET_CANCELSTATE 0x3005
497#define VG_USERREQ__SET_CANCELTYPE 0x3006
498
499/* ( no-args ): Test if we are at a cancellation point. */
500#define VG_USERREQ__TESTCANCEL 0x3007
501
502/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
503 with this arg to indicate that a cancel is now pending for the
504 specified thread. */
505#define VG_USERREQ__SET_CANCELPEND 0x3008
506
507/* Set/get detach state for this thread. */
508#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
509
510#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
511#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
512#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
513#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
514#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
515#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
516#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
517#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
518#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
519#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000520#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
521#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000522#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
523#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
524#define VG_USERREQ__SIGWAIT 0x3019
525#define VG_USERREQ__PTHREAD_KILL 0x301A
526#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000527#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000528
sewardj8ad94e12002-05-29 00:10:20 +0000529#define VG_USERREQ__CLEANUP_PUSH 0x3020
530#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000531#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000532
sewardjef037c72002-05-30 00:40:03 +0000533#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000534
535/* Ask how many signal handler returns have happened to this
536 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000537#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000538
sewardj2cb00342002-06-28 01:46:26 +0000539/* Get/set entries for a thread's pthread_atfork stack. */
540#define VG_USERREQ__SET_FHSTACK_USED 0x3025
541#define VG_USERREQ__GET_FHSTACK_USED 0x3026
542#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
543#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000544
sewardj1fe7b002002-07-16 01:43:15 +0000545/* Denote the finish of VG_(__libc_freeres_wrapper). */
546#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
547
sewardj45b4b372002-04-16 22:50:32 +0000548/* Cosmetic ... */
549#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000550/* Log a pthread error from client-space. Cosmetic. */
551#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj69a72a52002-11-03 13:41:41 +0000552/* Write a string to the logging sink. */
553#define VG_USERREQ__LOGMESSAGE 0x3103
554
sewardj45b4b372002-04-16 22:50:32 +0000555
sewardj54cacf02002-04-12 23:24:59 +0000556/*
557In vg_constants.h:
558#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000559*/
560
sewardj1fe7b002002-07-16 01:43:15 +0000561/* The scheduler does need to know the address of it so it can be
562 called at program exit. */
563extern void VG_(__libc_freeres_wrapper)( void );
564
sewardj54cacf02002-04-12 23:24:59 +0000565
sewardj2e93c502002-04-12 11:12:52 +0000566/* ---------------------------------------------------------------------
567 Constants pertaining to the simulated CPU state, VG_(baseBlock),
568 which need to go here to avoid ugly circularities.
569 ------------------------------------------------------------------ */
570
571/* How big is the saved FPU state? */
572#define VG_SIZE_OF_FPUSTATE 108
573/* ... and in words ... */
574#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
575
576
577/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000578 Exports of vg_ldt.c
579 ------------------------------------------------------------------ */
580
581/* This is the hardware-format for a segment descriptor, ie what the
582 x86 actually deals with. It is 8 bytes long. It's ugly. */
583
584typedef struct _LDT_ENTRY {
585 union {
586 struct {
587 UShort LimitLow;
588 UShort BaseLow;
589 unsigned BaseMid : 8;
590 unsigned Type : 5;
591 unsigned Dpl : 2;
592 unsigned Pres : 1;
593 unsigned LimitHi : 4;
594 unsigned Sys : 1;
595 unsigned Reserved_0 : 1;
596 unsigned Default_Big : 1;
597 unsigned Granularity : 1;
598 unsigned BaseHi : 8;
599 } Bits;
600 struct {
601 UInt word1;
602 UInt word2;
603 } Words;
604 }
605 LdtEnt;
606} VgLdtEntry;
607
608/* Maximum number of LDT entries supported (by the x86). */
609#define VG_M_LDT_ENTRIES 8192
610/* The size of each LDT entry == sizeof(VgLdtEntry) */
611#define VG_LDT_ENTRY_SIZE 8
612
613/* Alloc & copy, and dealloc. */
614extern VgLdtEntry*
615 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
616extern void
617 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
618
619/* Simulate the modify_ldt syscall. */
620extern Int VG_(sys_modify_ldt) ( ThreadId tid,
621 Int func, void* ptr, UInt bytecount );
622
sewardje1042472002-09-30 12:33:11 +0000623/* Called from generated code. Given a segment selector and a virtual
624 address, return a linear address, and do limit checks too. */
625extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
626
sewardj92a59562002-09-30 00:53:10 +0000627
628/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000629 Exports of vg_scheduler.c
630 ------------------------------------------------------------------ */
631
sewardj2e93c502002-04-12 11:12:52 +0000632typedef
633 enum {
634 VgTs_Empty, /* this slot is not in use */
635 VgTs_Runnable, /* waiting to be scheduled */
636 VgTs_WaitJoiner, /* waiting for someone to do join on me */
637 VgTs_WaitJoinee, /* waiting for the thread I did join on */
638 VgTs_WaitFD, /* waiting for I/O completion on a fd */
639 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000640 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000641 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000642 VgTs_Sleeping /* sleeping for a while */
643 }
644 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000645
646/* An entry in a threads's cleanup stack. */
647typedef
648 struct {
649 void (*fn)(void*);
650 void* arg;
651 }
652 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000653
654/* An entry in a thread's fork-handler stack. */
655typedef
656 struct {
657 void (*prepare)(void);
658 void (*parent)(void);
659 void (*child)(void);
660 }
661 ForkHandlerEntry;
662
663
njn25e49d8e72002-09-23 09:36:25 +0000664struct _ThreadState {
665 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
666 The thread identity is simply the index in vg_threads[].
667 ThreadId == 1 is the root thread and has the special property
668 that we don't try and allocate or deallocate its stack. For
669 convenience of generating error message, we also put the
670 ThreadId in this tid field, but be aware that it should
671 ALWAYS == the index in vg_threads[]. */
672 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000673
njn25e49d8e72002-09-23 09:36:25 +0000674 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000675
njn25e49d8e72002-09-23 09:36:25 +0000676 Complications: whenever this is set to VgTs_WaitMX, you
677 should also set .m_edx to whatever the required return value
678 is for pthread_mutex_lock / pthread_cond_timedwait for when
679 the mutex finally gets unblocked. */
680 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000681
njn25e49d8e72002-09-23 09:36:25 +0000682 /* When .status == WaitMX, points to the mutex I am waiting for.
683 When .status == WaitCV, points to the mutex associated with
684 the condition variable indicated by the .associated_cv field.
685 In all other cases, should be NULL. */
686 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000687
njn25e49d8e72002-09-23 09:36:25 +0000688 /* When .status == WaitCV, points to the condition variable I am
689 waiting for. In all other cases, should be NULL. */
690 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000691
njn25e49d8e72002-09-23 09:36:25 +0000692 /* If VgTs_Sleeping, this is when we should wake up, measured in
693 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000694
njn25e49d8e72002-09-23 09:36:25 +0000695 If VgTs_WaitCV, this indicates the time at which
696 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
697 this means infinitely far in the future, viz,
698 pthread_cond_wait. */
699 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000700
njn25e49d8e72002-09-23 09:36:25 +0000701 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
702 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000703
njn25e49d8e72002-09-23 09:36:25 +0000704 /* If VgTs_WaitJoinee, place to copy the return value to, and
705 the identity of the thread we're waiting for. */
706 void** joiner_thread_return;
707 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000708
njn25e49d8e72002-09-23 09:36:25 +0000709 /* Whether or not detached. */
710 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000711
njn25e49d8e72002-09-23 09:36:25 +0000712 /* Cancelability state and type. */
713 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
714 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
715
716 /* Pointer to fn to call to do cancellation. Indicates whether
717 or not cancellation is pending. If NULL, not pending. Else
718 should be &thread_exit_wrapper(), indicating that
719 cancallation is pending. */
720 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000721
njn25e49d8e72002-09-23 09:36:25 +0000722 /* The cleanup stack. */
723 Int custack_used;
724 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000725
sewardj00a66b12002-10-12 16:42:35 +0000726 /* A pointer to the thread's-specific-data. This is handled almost
727 entirely from vg_libpthread.c. We just provide hooks to get and
728 set this ptr. This is either NULL, indicating the thread has
729 read/written none of its specifics so far, OR points to a
730 void*[VG_N_THREAD_KEYS], allocated and deallocated in
731 vg_libpthread.c. */
732 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000733
njn25e49d8e72002-09-23 09:36:25 +0000734 /* This thread's blocked-signals mask. Semantics is that for a
735 signal to be delivered to this thread, the signal must not be
736 blocked by either the process-wide signal mask nor by this
737 one. So, if this thread is prepared to handle any signal that
738 the process as a whole is prepared to handle, this mask should
739 be made empty -- and that it is its default, starting
740 state. */
741 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000742
njn25e49d8e72002-09-23 09:36:25 +0000743 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
744 is the set of signals for which we are sigwait()ing. */
745 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000746
njn25e49d8e72002-09-23 09:36:25 +0000747 /* Counts the number of times a signal handler for this thread
748 has returned. This makes it easy to implement pause(), by
749 polling this value, of course interspersed with nanosleeps,
750 and waiting till it changes. */
751 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000752
njn25e49d8e72002-09-23 09:36:25 +0000753 /* Stacks. When a thread slot is freed, we don't deallocate its
754 stack; we just leave it lying around for the next use of the
755 slot. If the next use of the slot requires a larger stack,
756 only then is the old one deallocated and a new one
757 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000758
njn25e49d8e72002-09-23 09:36:25 +0000759 For the main thread (threadid == 0), this mechanism doesn't
760 apply. We don't know the size of the stack since we didn't
761 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000762
njn25e49d8e72002-09-23 09:36:25 +0000763 /* The allocated size of this thread's stack (permanently zero
764 if this is ThreadId == 0, since we didn't allocate its stack) */
765 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000766
njn25e49d8e72002-09-23 09:36:25 +0000767 /* Address of the lowest word in this thread's stack. NULL means
768 not allocated yet.
769 */
770 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000771
sewardj92a59562002-09-30 00:53:10 +0000772 /* Address of the highest legitimate word in this stack. This is
773 used for error messages only -- not critical for execution
774 correctness. Is is set for all stacks, specifically including
775 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000776 Addr stack_highest_word;
777
sewardj92a59562002-09-30 00:53:10 +0000778 /* Pointer to this thread's Local (Segment) Descriptor Table.
779 Starts out as NULL, indicating there is no table, and we hope to
780 keep it that way. If the thread does __NR_modify_ldt to create
781 entries, we allocate a 8192-entry table at that point. This is
782 a straight copy of the Linux kernel's scheme. Don't forget to
783 deallocate this at thread exit. */
784 VgLdtEntry* ldt;
785
786 /* Saved machine context. Note the FPU state, %EIP and segment
787 registers are not shadowed.
788
789 Although the segment registers are 16 bits long, storage
790 management here, in VG_(baseBlock) and in VG_(m_state_static) is
791 simplified if we pretend they are 32 bits. */
792 UInt m_cs;
793 UInt m_ss;
794 UInt m_ds;
795 UInt m_es;
796 UInt m_fs;
797 UInt m_gs;
798
njn25e49d8e72002-09-23 09:36:25 +0000799 UInt m_eax;
800 UInt m_ebx;
801 UInt m_ecx;
802 UInt m_edx;
803 UInt m_esi;
804 UInt m_edi;
805 UInt m_ebp;
806 UInt m_esp;
807 UInt m_eflags;
808 UInt m_eip;
809 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
810
811 UInt sh_eax;
812 UInt sh_ebx;
813 UInt sh_ecx;
814 UInt sh_edx;
815 UInt sh_esi;
816 UInt sh_edi;
817 UInt sh_ebp;
818 UInt sh_esp;
819 UInt sh_eflags;
820};
sewardj2e93c502002-04-12 11:12:52 +0000821
822
sewardj018f7622002-05-15 21:13:39 +0000823/* The thread table. */
824extern ThreadState VG_(threads)[VG_N_THREADS];
825
826/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000827extern Bool VG_(is_valid_tid) ( ThreadId tid );
828
sewardj018f7622002-05-15 21:13:39 +0000829/* Check that tid is in range. */
830extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
831
sewardj2e93c502002-04-12 11:12:52 +0000832/* Copy the specified thread's state into VG_(baseBlock) in
833 preparation for running it. */
834extern void VG_(load_thread_state)( ThreadId );
835
836/* Save the specified thread's state back in VG_(baseBlock), and fill
837 VG_(baseBlock) with junk, for sanity-check reasons. */
838extern void VG_(save_thread_state)( ThreadId );
839
sewardj1e8cdc92002-04-18 11:37:52 +0000840/* And for the currently running one, if valid. */
841extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000842
sewardj1e8cdc92002-04-18 11:37:52 +0000843/* Similarly ... */
844extern ThreadId VG_(get_current_tid) ( void );
845
sewardjccef2e62002-05-29 19:26:32 +0000846/* Nuke all threads except tid. */
847extern void VG_(nuke_all_threads_except) ( ThreadId me );
848
sewardj2e93c502002-04-12 11:12:52 +0000849
850/* Return codes from the scheduler. */
851typedef
sewardj7e87e382002-05-03 19:09:05 +0000852 enum {
853 VgSrc_Deadlock, /* no runnable threads and no prospect of any
854 even if we wait for a long time */
855 VgSrc_ExitSyscall, /* client called exit(). This is the normal
856 route out. */
857 VgSrc_BbsDone /* In a debugging run, the specified number of
858 bbs has been completed. */
859 }
sewardj2e93c502002-04-12 11:12:52 +0000860 VgSchedReturnCode;
861
sewardj7e87e382002-05-03 19:09:05 +0000862
sewardj2e93c502002-04-12 11:12:52 +0000863/* The scheduler. */
864extern VgSchedReturnCode VG_(scheduler) ( void );
865
866extern void VG_(scheduler_init) ( void );
867
sewardj15a43e12002-04-17 19:35:12 +0000868extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000869
870/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
871extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000872/* This says whether scheduler_jmpbuf is actually valid. Needed so
873 that our signal handler doesn't longjmp when the buffer isn't
874 actually valid. */
875extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000876/* ... and if so, here's the signal which caused it to do so. */
877extern Int VG_(longjmpd_on_signal);
878
879
sewardja1679dd2002-05-10 22:31:40 +0000880/* Possible places where the main stack might be based. We check that
881 the initial stack, which we can't move, is allocated here.
882 VG_(scheduler_init) checks this. Andrea Archelangi's 2.4 kernels
883 have been rumoured to start stacks at 0x80000000, so that too is
njn25e49d8e72002-09-23 09:36:25 +0000884 considered. It seems systems with longer uptimes tend to to use
885 stacks which start at 0x40000000 sometimes. JRS 2002-Aug-21: I
886 also have reports of stacks starting at 0xE0000000.*/
887
sewardja1679dd2002-05-10 22:31:40 +0000888#define VG_STARTUP_STACK_BASE_1 (Addr)0xC0000000
889#define VG_STARTUP_STACK_BASE_2 (Addr)0x80000000
daywalkera2562202002-07-15 19:39:51 +0000890#define VG_STARTUP_STACK_BASE_3 (Addr)0x40000000
njn25e49d8e72002-09-23 09:36:25 +0000891#define VG_STARTUP_STACK_BASE_4 (Addr)0xE0000000
sewardja1679dd2002-05-10 22:31:40 +0000892#define VG_STARTUP_STACK_SMALLERTHAN 0x100000 /* 1024k */
893
894#define VG_STACK_MATCHES_BASE(zzstack, zzbase) \
895 ( \
896 ((zzstack) & ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN)) \
897 == \
898 ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN) \
899 )
sewardj2e93c502002-04-12 11:12:52 +0000900
901
902/* The red-zone size which we put at the bottom (highest address) of
903 thread stacks, for paranoia reasons. This can be arbitrary, and
904 doesn't really need to be set at compile time. */
905#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
906
907#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
908 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
909
njn25e49d8e72002-09-23 09:36:25 +0000910/* Junk to fill up a thread's shadow regs with when shadow regs aren't
911 * being used. */
912#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
913
914/* What we set a shadow register to when written by SET_EAX and similar
915 * things. */
916extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000917
sewardj018f7622002-05-15 21:13:39 +0000918/* Write a value to the client's %EDX (request return value register)
919 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000920#define SET_EDX(zztid, zzval) \
921 do { VG_(threads)[zztid].m_edx = (zzval); \
922 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000923 } while (0)
924
njn25e49d8e72002-09-23 09:36:25 +0000925#define SET_EAX(zztid, zzval) \
926 do { VG_(threads)[zztid].m_eax = (zzval); \
927 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000928 } while (0)
929
sewardj2e93c502002-04-12 11:12:52 +0000930
sewardjd8acdf22002-11-13 21:57:52 +0000931/* This is or'd into a pthread mutex's __m_kind field if it is used
932 before Valgrind is up and running (prehistory). This is used so
933 that if some early code (like the dynamic linker) takes a lock
934 before Valgrind starts and then releases it afterwards, we can work
935 out what's happening. */
936#define VG_PTHREAD_PREHISTORY 0x80000000
937
sewardj2e93c502002-04-12 11:12:52 +0000938/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000939 Exports of vg_signals.c
940 ------------------------------------------------------------------ */
941
sewardjde4a1d02002-03-22 01:27:54 +0000942extern void VG_(sigstartup_actions) ( void );
943
sewardjb48e5002002-05-13 00:16:03 +0000944extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000945extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000946extern void VG_(handle_SCSS_change) ( Bool force_update );
947
sewardjde4a1d02002-03-22 01:27:54 +0000948
949/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000950extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000951extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000952extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
953 Int how,
954 vki_ksigset_t* set,
955 vki_ksigset_t* oldset );
956extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
957 Int how,
958 vki_ksigset_t* set,
959 vki_ksigset_t* oldset );
960extern void VG_(send_signal_to_thread) ( ThreadId thread,
961 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000962
sewardjefbfcdf2002-06-19 17:35:45 +0000963extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
964
965
sewardj2e93c502002-04-12 11:12:52 +0000966/* Modify the current thread's state once we have detected it is
967 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000968extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000969
sewardj2e93c502002-04-12 11:12:52 +0000970/* Handy utilities to block/restore all host signals. */
971extern void VG_(block_all_host_signals)
972 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000973extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000974 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000975
976/* ---------------------------------------------------------------------
977 Exports of vg_mylibc.c
978 ------------------------------------------------------------------ */
979
njne427a662002-10-02 11:08:25 +0000980#define vg_assert(expr) \
981 ((void) ((expr) ? 0 : \
982 (VG_(core_assert_fail) (VG__STRING(expr), \
983 __FILE__, __LINE__, \
984 __PRETTY_FUNCTION__), 0)))
985__attribute__ ((__noreturn__))
986extern void VG_(core_assert_fail) ( Char* expr, Char* file,
987 Int line, Char* fn );
988__attribute__ ((__noreturn__))
989extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000990
njn25e49d8e72002-09-23 09:36:25 +0000991/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
992extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000993
njn25e49d8e72002-09-23 09:36:25 +0000994/* Skins use VG_(strdup)() which doesn't expose ArenaId */
995extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000996
njn25e49d8e72002-09-23 09:36:25 +0000997/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000998extern void VG_(start_rdtsc_calibration) ( void );
999extern void VG_(end_rdtsc_calibration) ( void );
1000extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001001
njn25e49d8e72002-09-23 09:36:25 +00001002extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001003extern Int VG_(select)( Int n,
1004 vki_fd_set* readfds,
1005 vki_fd_set* writefds,
1006 vki_fd_set* exceptfds,
1007 struct vki_timeval * timeout );
1008extern Int VG_(nanosleep)( const struct vki_timespec *req,
1009 struct vki_timespec *rem );
1010
sewardj570f8902002-11-03 11:44:36 +00001011extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001012
1013/* --- Connecting over the network --- */
1014extern Int VG_(connect_via_socket)( UChar* str );
1015
sewardj570f8902002-11-03 11:44:36 +00001016
1017/* ---------------------------------------------------------------------
1018 Exports of vg_message.c
1019 ------------------------------------------------------------------ */
1020
1021/* Low-level -- send bytes directly to the message sink. Do not
1022 use. */
1023extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1024
1025
sewardjde4a1d02002-03-22 01:27:54 +00001026/* ---------------------------------------------------------------------
1027 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1028 vg_from_ucode.c).
1029 ------------------------------------------------------------------ */
1030
sewardjde4a1d02002-03-22 01:27:54 +00001031#define VG_IS_FLAG_SUBSET(set1,set2) \
1032 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1033
1034#define VG_UNION_FLAG_SETS(set1,set2) \
1035 ( ((FlagSet)set1) | ((FlagSet)set2) )
1036
sewardjde4a1d02002-03-22 01:27:54 +00001037/* ---------------------------------------------------------------------
1038 Exports of vg_demangle.c
1039 ------------------------------------------------------------------ */
1040
1041extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1042
sewardjde4a1d02002-03-22 01:27:54 +00001043/* ---------------------------------------------------------------------
1044 Exports of vg_from_ucode.c
1045 ------------------------------------------------------------------ */
1046
1047extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes );
1048
njn25e49d8e72002-09-23 09:36:25 +00001049extern void VG_(print_ccall_stats) ( void );
1050extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001051
1052/* ---------------------------------------------------------------------
1053 Exports of vg_to_ucode.c
1054 ------------------------------------------------------------------ */
1055
1056extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001057
1058/* ---------------------------------------------------------------------
1059 Exports of vg_translate.c
1060 ------------------------------------------------------------------ */
1061
njn810086f2002-11-14 12:42:47 +00001062/* Expandable arrays of uinstrs. */
1063struct _UCodeBlock {
1064 Int used;
1065 Int size;
1066 UInstr* instrs;
1067 Int nextTemp;
1068};
1069
1070extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1071
sewardj1e8cdc92002-04-18 11:37:52 +00001072extern void VG_(translate) ( ThreadState* tst,
1073 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001074 UInt* orig_size,
1075 Addr* trans_addr,
1076 UInt* trans_size );
1077
njn25e49d8e72002-09-23 09:36:25 +00001078extern Char* VG_(nameCondcode) ( Condcode cond );
1079extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1080 UInstr* u );
1081extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1082extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001083
1084/* ---------------------------------------------------------------------
1085 Exports of vg_execontext.c.
1086 ------------------------------------------------------------------ */
1087
1088/* Records the PC and a bit of the call chain. The first 4 %eip
1089 values are used in comparisons do remove duplicate errors, and for
1090 comparing against suppression specifications. The rest are purely
1091 informational (but often important). */
1092
njn25e49d8e72002-09-23 09:36:25 +00001093struct _ExeContext {
1094 struct _ExeContext * next;
1095 /* Variable-length array. The size is VG_(clo_backtrace_size); at
1096 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
1097 [1] is its caller, [2] is the caller of [1], etc. */
1098 Addr eips[0];
1099};
sewardjde4a1d02002-03-22 01:27:54 +00001100
1101
1102/* Initialise the ExeContext storage mechanism. */
1103extern void VG_(init_ExeContext_storage) ( void );
1104
1105/* Print stats (informational only). */
1106extern void VG_(show_ExeContext_stats) ( void );
1107
njn25e49d8e72002-09-23 09:36:25 +00001108/* Like VG_(get_ExeContext), but with a slightly different type */
1109extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1110 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001111
1112
1113/* ---------------------------------------------------------------------
1114 Exports of vg_errcontext.c.
1115 ------------------------------------------------------------------ */
1116
njn25e49d8e72002-09-23 09:36:25 +00001117/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1118 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001119typedef
njn25e49d8e72002-09-23 09:36:25 +00001120 enum {
1121 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001122 }
njn25e49d8e72002-09-23 09:36:25 +00001123 CoreSuppKind;
1124
1125/* For each caller specified for a suppression, record the nature of
1126 the caller name. Not of interest to skins. */
1127typedef
1128 enum {
1129 ObjName, /* Name is of an shared object file. */
1130 FunName /* Name is of a function. */
1131 }
1132 SuppLocTy;
1133
njn810086f2002-11-14 12:42:47 +00001134/* Suppressions. Skins can get/set skin-relevant parts with functions
1135 declared in include/vg_skin.h. Extensible via the 'extra' field.
1136 Skins can use a normal enum (with element values in the normal range
1137 (0..)) for `skind'. */
1138struct _Supp {
1139 struct _Supp* next;
1140 /* The number of times this error has been suppressed. */
1141 Int count;
1142 /* The name by which the suppression is referred to. */
1143 Char* sname;
1144 /* First two (name of fn where err occurs, and immediate caller)
1145 * are mandatory; extra two are optional. */
1146 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1147 Char* caller [VG_N_SUPP_CALLERS];
1148
1149 /* The skin-specific part */
1150 /* What kind of suppression. Must use the range (0..) */
1151 SuppKind skind;
1152 /* String -- use is optional. NULL by default. */
1153 Char* string;
1154 /* Anything else -- use is optional. NULL by default. */
1155 void* extra;
1156};
njn25e49d8e72002-09-23 09:36:25 +00001157
1158/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1159 * effectively extend it by defining their own enums in the (0..) range. */
1160typedef
1161 enum {
1162 PThreadErr = -1, /* Pthreading error */
1163 }
1164 CoreErrorKind;
1165
njn810086f2002-11-14 12:42:47 +00001166/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1167 enum (with element values in the normal range (0..)) for `ekind'.
1168 Functions for getting/setting the skin-relevant fields are in
1169 include/vg_skin.h.
1170
1171 When errors are found and recorded with VG_(maybe_record_error)(), all
1172 the skin must do is pass in the four parameters; core will
1173 allocate/initialise the error record.
1174*/
1175struct _Error {
1176 struct _Error* next;
1177 /* NULL if unsuppressed; or ptr to suppression record. */
1178 Supp* supp;
1179 Int count;
1180 ExeContext* where;
1181 ThreadId tid;
1182 /* These record %EIP, %ESP and %EBP at the error point. They
1183 are only used to make GDB-attaching convenient; there is no
1184 other purpose; specifically they are not used to do
1185 comparisons between errors. */
1186 UInt m_eip;
1187 UInt m_esp;
1188 UInt m_ebp;
1189
1190 /* The skin-specific part */
1191 /* Used by ALL. Must be in the range (0..) */
1192 Int ekind;
1193 /* Used frequently */
1194 Addr addr;
1195 /* Used frequently */
1196 Char* string;
1197 /* For any skin-specific extras */
1198 void* extra;
1199};
sewardjde4a1d02002-03-22 01:27:54 +00001200
1201
njn25e49d8e72002-09-23 09:36:25 +00001202extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001203
njn25e49d8e72002-09-23 09:36:25 +00001204extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001205
njn25e49d8e72002-09-23 09:36:25 +00001206extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001207
1208/* ---------------------------------------------------------------------
1209 Exports of vg_procselfmaps.c
1210 ------------------------------------------------------------------ */
1211
1212extern
1213void VG_(read_procselfmaps) (
1214 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
1215);
1216
1217
1218/* ---------------------------------------------------------------------
1219 Exports of vg_symtab2.c
1220 ------------------------------------------------------------------ */
1221
1222/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001223 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001224 which should trip up most stupidities.
1225*/
1226#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1227
njn25e49d8e72002-09-23 09:36:25 +00001228extern void VG_(maybe_read_symbols) ( void );
1229extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1230 Char rr, Char ww, Char xx,
1231 UInt foffset, UChar* filename );
1232extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001233
njn25e49d8e72002-09-23 09:36:25 +00001234extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1235extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001236
1237
1238/* ---------------------------------------------------------------------
1239 Exports of vg_clientmalloc.c
1240 ------------------------------------------------------------------ */
1241
njn810086f2002-11-14 12:42:47 +00001242typedef
1243 enum {
1244 Vg_AllocMalloc = 0,
1245 Vg_AllocNew = 1,
1246 Vg_AllocNewVec = 2
1247 }
1248 VgAllocKind;
1249
1250/* Description of a malloc'd chunk. Functions for extracting skin-relevant
1251 parts are in include/vg_skin.h Size of skin_extra array is given by
1252 VG_(needs).sizeof_shadow_chunk. */
1253struct _ShadowChunk {
1254 struct _ShadowChunk* next;
1255 UInt size : 30; /* size requested */
1256 VgAllocKind allockind : 2; /* which wrapper did the allocation */
1257 Addr data; /* ptr to actual block */
1258 UInt extra[0]; /* extra skin-specific info */
1259};
1260
1261
njn25e49d8e72002-09-23 09:36:25 +00001262extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001263
sewardj2e93c502002-04-12 11:12:52 +00001264/* These are called from the scheduler, when it intercepts a user
1265 request. */
sewardj8c824512002-04-14 04:16:48 +00001266extern void* VG_(client_malloc) ( ThreadState* tst,
1267 UInt size, VgAllocKind kind );
1268extern void* VG_(client_memalign) ( ThreadState* tst,
1269 UInt align, UInt size );
1270extern void VG_(client_free) ( ThreadState* tst,
1271 void* ptrV, VgAllocKind kind );
1272extern void* VG_(client_calloc) ( ThreadState* tst,
1273 UInt nmemb, UInt size1 );
1274extern void* VG_(client_realloc) ( ThreadState* tst,
1275 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001276
1277
1278/* ---------------------------------------------------------------------
1279 Exports of vg_main.c
1280 ------------------------------------------------------------------ */
1281
sewardj73cf3bc2002-11-03 03:20:15 +00001282/* Tell the logging mechanism whether we are logging to a file
1283 descriptor or a socket descriptor. */
1284extern Bool VG_(logging_to_filedes);
1285
njn25e49d8e72002-09-23 09:36:25 +00001286/* Sanity checks which may be done at any time. The scheduler decides when. */
1287extern void VG_(do_sanity_checks) ( Bool force_expensive );
1288
sewardjde4a1d02002-03-22 01:27:54 +00001289/* A structure used as an intermediary when passing the simulated
1290 CPU's state to some assembly fragments, particularly system calls.
1291 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001292 and then the inverse copy is done.
1293 */
sewardj92a59562002-09-30 00:53:10 +00001294extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1295 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001296 + 1 /* %eflags */
1297 + 1 /* %eip */
1298 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1299 ];
1300
1301/* Handy fns for doing the copy back and forth. */
1302extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1303extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1304
sewardjde4a1d02002-03-22 01:27:54 +00001305/* Called when some unhandleable client behaviour is detected.
1306 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001307extern void VG_(unimplemented) ( Char* msg )
1308 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001309
1310/* The stack on which Valgrind runs. We can't use the same stack as the
1311 simulatee -- that's an important design decision. */
1312extern UInt VG_(stack)[10000];
1313
njn25e49d8e72002-09-23 09:36:25 +00001314/* Similarly, we have to ask for signals to be delivered on an alternative
1315 stack, since it is possible, although unlikely, that we'll have to run
1316 client code from inside the Valgrind-installed signal handler. If this
1317 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001318extern UInt VG_(sigstack)[10000];
1319
sewardjde4a1d02002-03-22 01:27:54 +00001320/* Holds client's %esp at the point we gained control. From this the
1321 client's argc, argv and envp are deduced. */
1322extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001323
njn25e49d8e72002-09-23 09:36:25 +00001324/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1325 processes don't get traced into. Also mess up $libdir/valgrind so that
1326 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001327void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1328 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001329
1330/* Something of a function looking for a home ... start up GDB. This
1331 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1332 *client's* stack. This is necessary to give GDB the illusion that
1333 the client program really was running on the real cpu. */
1334extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1335
njn41557122002-10-14 09:25:37 +00001336/* VG_(bbs_done) in include/vg_skin.h */
1337
sewardjde4a1d02002-03-22 01:27:54 +00001338/* 64-bit counter for the number of bbs to go before a debug exit. */
1339extern ULong VG_(bbs_to_go);
1340
1341/* Counts downwards in vg_run_innerloop. */
1342extern UInt VG_(dispatch_ctr);
1343
sewardjde4a1d02002-03-22 01:27:54 +00001344/* Is the client running on the simulated CPU or the real one? */
1345extern Bool VG_(running_on_simd_CPU); /* Initially False */
1346
1347/* The current LRU epoch. */
1348extern UInt VG_(current_epoch);
1349
sewardj7e87e382002-05-03 19:09:05 +00001350/* This is the ThreadId of the last thread the scheduler ran. */
1351extern ThreadId VG_(last_run_tid);
1352
njn25e49d8e72002-09-23 09:36:25 +00001353/* This is the argument to __NR_exit() supplied by the first thread to
1354 call that syscall. We eventually pass that to __NR_exit() for
1355 real. */
1356extern UInt VG_(exitcode);
1357
sewardjde4a1d02002-03-22 01:27:54 +00001358
1359/* --- Counters, for informational purposes only. --- */
1360
1361/* Number of lookups which miss the fast tt helper. */
1362extern UInt VG_(tt_fast_misses);
1363
1364/* Counts for LRU informational messages. */
1365
1366/* Number and total o/t size of new translations this epoch. */
1367extern UInt VG_(this_epoch_in_count);
1368extern UInt VG_(this_epoch_in_osize);
1369extern UInt VG_(this_epoch_in_tsize);
1370/* Number and total o/t size of discarded translations this epoch. */
1371extern UInt VG_(this_epoch_out_count);
1372extern UInt VG_(this_epoch_out_osize);
1373extern UInt VG_(this_epoch_out_tsize);
1374/* Number and total o/t size of translations overall. */
1375extern UInt VG_(overall_in_count);
1376extern UInt VG_(overall_in_osize);
1377extern UInt VG_(overall_in_tsize);
1378/* Number and total o/t size of discards overall. */
1379extern UInt VG_(overall_out_count);
1380extern UInt VG_(overall_out_osize);
1381extern UInt VG_(overall_out_tsize);
1382
1383/* The number of LRU-clearings of TT/TC. */
1384extern UInt VG_(number_of_lrus);
1385
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
sewardjde4a1d02002-03-22 01:27:54 +00001408
1409/* ---------------------------------------------------------------------
1410 Exports of vg_memory.c
1411 ------------------------------------------------------------------ */
1412
njn25e49d8e72002-09-23 09:36:25 +00001413extern void VG_(init_memory) ( void );
1414extern void VG_(new_exe_segment) ( Addr a, UInt len );
1415extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001416
njn25e49d8e72002-09-23 09:36:25 +00001417/* Called from generated code. */
1418extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001419
1420/* Nasty kludgery to deal with applications which switch stacks,
1421 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001422#define VG_PLAUSIBLE_STACK_SIZE 8000000
1423
sewardjde4a1d02002-03-22 01:27:54 +00001424/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001425 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001426 ------------------------------------------------------------------ */
1427
njn25e49d8e72002-09-23 09:36:25 +00001428extern void VG_(init_dataseg_end_for_brk) ( void );
1429
sewardj2e93c502002-04-12 11:12:52 +00001430extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001431
njn25e49d8e72002-09-23 09:36:25 +00001432extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1433extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1434 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001435
1436extern Bool VG_(is_kerror) ( Int res );
1437
njn25e49d8e72002-09-23 09:36:25 +00001438#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1439 VG_(load_thread_state)(thread_id); \
1440 VG_(copy_baseBlock_to_m_state_static)(); \
1441 VG_(do_syscall)(); \
1442 VG_(copy_m_state_static_to_baseBlock)(); \
1443 VG_(save_thread_state)(thread_id); \
1444 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001445 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001446
1447
1448/* ---------------------------------------------------------------------
1449 Exports of vg_transtab.c
1450 ------------------------------------------------------------------ */
1451
1452/* An entry in the translation table (TT). */
1453typedef
1454 struct {
1455 /* +0 */ Addr orig_addr;
1456 /* +4 */ Addr trans_addr;
1457 /* +8 */ UInt mru_epoch;
1458 /* +12 */ UShort orig_size;
1459 /* +14 */ UShort trans_size;
1460 }
1461 TTEntry;
1462
1463/* The number of basic blocks in an epoch (one age-step). */
1464#define VG_BBS_PER_EPOCH 20000
1465
njn25e49d8e72002-09-23 09:36:25 +00001466/* The fast-cache for tt-lookup. */
1467extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1468
sewardjde4a1d02002-03-22 01:27:54 +00001469extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
1470extern void VG_(maybe_do_lru_pass) ( void );
1471extern void VG_(flush_transtab) ( void );
1472extern Addr VG_(copy_to_transcache) ( Addr trans_addr, Int trans_size );
1473extern void VG_(add_to_trans_tab) ( TTEntry* tte );
sewardj18d75132002-05-16 11:06:21 +00001474extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001475
sewardj18d75132002-05-16 11:06:21 +00001476extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001477
1478extern void VG_(sanity_check_tc_tt) ( void );
1479extern Addr VG_(search_transtab) ( Addr original_addr );
1480
1481extern void VG_(invalidate_tt_fast)( void );
1482
1483
1484/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001485 Exports of vg_syscall.S
1486 ------------------------------------------------------------------ */
1487
1488extern void VG_(do_syscall) ( void );
1489
1490
1491/* ---------------------------------------------------------------------
1492 Exports of vg_startup.S
1493 ------------------------------------------------------------------ */
1494
sewardjde4a1d02002-03-22 01:27:54 +00001495extern void VG_(switch_to_real_CPU) ( void );
1496
sewardj35805422002-04-21 13:05:34 +00001497extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1498 Addr m_esp_at_error,
1499 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001500
1501
1502/* ---------------------------------------------------------------------
1503 Exports of vg_dispatch.S
1504 ------------------------------------------------------------------ */
1505
sewardj2e93c502002-04-12 11:12:52 +00001506/* Run a thread for a (very short) while, until some event happens
1507 which means we need to defer to the scheduler. */
1508extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001509
1510
1511/* ---------------------------------------------------------------------
1512 Exports of vg_helpers.S
1513 ------------------------------------------------------------------ */
1514
sewardjde4a1d02002-03-22 01:27:54 +00001515/* Mul, div, etc, -- we don't codegen these directly. */
1516extern void VG_(helper_idiv_64_32);
1517extern void VG_(helper_div_64_32);
1518extern void VG_(helper_idiv_32_16);
1519extern void VG_(helper_div_32_16);
1520extern void VG_(helper_idiv_16_8);
1521extern void VG_(helper_div_16_8);
1522
1523extern void VG_(helper_imul_32_64);
1524extern void VG_(helper_mul_32_64);
1525extern void VG_(helper_imul_16_32);
1526extern void VG_(helper_mul_16_32);
1527extern void VG_(helper_imul_8_16);
1528extern void VG_(helper_mul_8_16);
1529
1530extern void VG_(helper_CLD);
1531extern void VG_(helper_STD);
1532extern void VG_(helper_get_dirflag);
1533
sewardj7d78e782002-06-02 00:04:00 +00001534extern void VG_(helper_CLC);
1535extern void VG_(helper_STC);
1536
sewardjde4a1d02002-03-22 01:27:54 +00001537extern void VG_(helper_shldl);
1538extern void VG_(helper_shldw);
1539extern void VG_(helper_shrdl);
1540extern void VG_(helper_shrdw);
1541
1542extern void VG_(helper_RDTSC);
1543extern void VG_(helper_CPUID);
1544
sewardjde4a1d02002-03-22 01:27:54 +00001545extern void VG_(helper_bsf);
1546extern void VG_(helper_bsr);
1547
1548extern void VG_(helper_fstsw_AX);
1549extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001550extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001551extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001552
sewardj20917d82002-05-28 01:36:45 +00001553/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001554extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001555
njn4f9c9342002-04-29 16:03:24 +00001556/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001557 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001558 ------------------------------------------------------------------ */
1559
njn25e49d8e72002-09-23 09:36:25 +00001560#define VG_TRACK(fn, args...) \
1561 do { \
1562 if (VG_(track_events).fn) \
1563 VG_(track_events).fn(args); \
1564 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001565
1566
sewardjde4a1d02002-03-22 01:27:54 +00001567/* ---------------------------------------------------------------------
1568 The state of the simulated CPU.
1569 ------------------------------------------------------------------ */
1570
sewardjde4a1d02002-03-22 01:27:54 +00001571/* ---------------------------------------------------------------------
1572 Offsets into baseBlock for everything which needs to referred to
1573 from generated code. The order of these decls does not imply
1574 what the order of the actual offsets is. The latter is important
1575 and is set up in vg_main.c.
1576 ------------------------------------------------------------------ */
1577
1578/* An array of words. In generated code, %ebp always points to the
1579 start of this array. Useful stuff, like the simulated CPU state,
1580 and the addresses of helper functions, can then be found by
1581 indexing off %ebp. The following declares variables which, at
1582 startup time, are given values denoting offsets into baseBlock.
1583 These offsets are in *words* from the start of baseBlock. */
1584
1585#define VG_BASEBLOCK_WORDS 200
1586
1587extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1588
1589
1590/* -----------------------------------------------------
1591 Read-write parts of baseBlock.
1592 -------------------------------------------------- */
1593
1594/* State of the simulated CPU. */
1595extern Int VGOFF_(m_eax);
1596extern Int VGOFF_(m_ecx);
1597extern Int VGOFF_(m_edx);
1598extern Int VGOFF_(m_ebx);
1599extern Int VGOFF_(m_esp);
1600extern Int VGOFF_(m_ebp);
1601extern Int VGOFF_(m_esi);
1602extern Int VGOFF_(m_edi);
1603extern Int VGOFF_(m_eflags);
1604extern Int VGOFF_(m_fpustate);
1605extern Int VGOFF_(m_eip);
1606
sewardj92a59562002-09-30 00:53:10 +00001607extern Int VGOFF_(m_cs);
1608extern Int VGOFF_(m_ss);
1609extern Int VGOFF_(m_ds);
1610extern Int VGOFF_(m_es);
1611extern Int VGOFF_(m_fs);
1612extern Int VGOFF_(m_gs);
1613
sewardjde4a1d02002-03-22 01:27:54 +00001614/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1615extern Int VGOFF_(spillslots);
1616
1617/* Records the valid bits for the 8 integer regs & flags reg. */
1618extern Int VGOFF_(sh_eax);
1619extern Int VGOFF_(sh_ecx);
1620extern Int VGOFF_(sh_edx);
1621extern Int VGOFF_(sh_ebx);
1622extern Int VGOFF_(sh_esp);
1623extern Int VGOFF_(sh_ebp);
1624extern Int VGOFF_(sh_esi);
1625extern Int VGOFF_(sh_edi);
1626extern Int VGOFF_(sh_eflags);
1627
sewardjde4a1d02002-03-22 01:27:54 +00001628/* -----------------------------------------------------
1629 Read-only parts of baseBlock.
1630 -------------------------------------------------- */
1631
sewardj92a59562002-09-30 00:53:10 +00001632/* This thread's LDT pointer. */
1633extern Int VGOFF_(ldt);
1634
sewardjde4a1d02002-03-22 01:27:54 +00001635/* Offsets of addresses of helper functions. A "helper" function is
1636 one which is called from generated code. */
1637
1638extern Int VGOFF_(helper_idiv_64_32);
1639extern Int VGOFF_(helper_div_64_32);
1640extern Int VGOFF_(helper_idiv_32_16);
1641extern Int VGOFF_(helper_div_32_16);
1642extern Int VGOFF_(helper_idiv_16_8);
1643extern Int VGOFF_(helper_div_16_8);
1644
1645extern Int VGOFF_(helper_imul_32_64);
1646extern Int VGOFF_(helper_mul_32_64);
1647extern Int VGOFF_(helper_imul_16_32);
1648extern Int VGOFF_(helper_mul_16_32);
1649extern Int VGOFF_(helper_imul_8_16);
1650extern Int VGOFF_(helper_mul_8_16);
1651
1652extern Int VGOFF_(helper_CLD);
1653extern Int VGOFF_(helper_STD);
1654extern Int VGOFF_(helper_get_dirflag);
1655
sewardj7d78e782002-06-02 00:04:00 +00001656extern Int VGOFF_(helper_CLC);
1657extern Int VGOFF_(helper_STC);
1658
sewardjde4a1d02002-03-22 01:27:54 +00001659extern Int VGOFF_(helper_shldl);
1660extern Int VGOFF_(helper_shldw);
1661extern Int VGOFF_(helper_shrdl);
1662extern Int VGOFF_(helper_shrdw);
1663
1664extern Int VGOFF_(helper_RDTSC);
1665extern Int VGOFF_(helper_CPUID);
1666
sewardjde4a1d02002-03-22 01:27:54 +00001667extern Int VGOFF_(helper_bsf);
1668extern Int VGOFF_(helper_bsr);
1669
1670extern Int VGOFF_(helper_fstsw_AX);
1671extern Int VGOFF_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001672extern Int VGOFF_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001673extern Int VGOFF_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001674
sewardjde4a1d02002-03-22 01:27:54 +00001675extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001676
njn25e49d8e72002-09-23 09:36:25 +00001677/* For storing extension-specific helpers, determined at runtime. The addr
1678 * and offset arrays together form a (addr, offset) map that allows a
1679 * helper's baseBlock offset to be computed from its address. It's done
1680 * like this so CCALL_M_Ns and other helper calls can use the function
1681 * address rather than having to much around with offsets. */
1682extern UInt VG_(n_compact_helpers);
1683extern UInt VG_(n_noncompact_helpers);
1684
1685extern Addr VG_(compact_helper_addrs) [];
1686extern Int VG_(compact_helper_offsets)[];
1687
1688extern Addr VG_(noncompact_helper_addrs) [];
1689extern Int VG_(noncompact_helper_offsets)[];
1690
sewardjf220ccc2002-10-23 21:53:49 +00001691#define VGL_(x) vgIntercept_##x
sewardjde4a1d02002-03-22 01:27:54 +00001692
1693#endif /* ndef __VG_INCLUDE_H */
1694
sewardj3b2736a2002-03-24 12:18:35 +00001695
1696/* ---------------------------------------------------------------------
1697 Finally - autoconf-generated settings
1698 ------------------------------------------------------------------ */
1699
1700#include "config.h"
1701
sewardjde4a1d02002-03-22 01:27:54 +00001702/*--------------------------------------------------------------------*/
1703/*--- end vg_include.h ---*/
1704/*--------------------------------------------------------------------*/