blob: 27c0e7622d732eb29ed92386143c36abcc17987c [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);
sewardjb5ff83e2002-12-01 19:40:49 +0000247/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000248extern Bool VG_(clo_chain_bb);
sewardjde4a1d02002-03-22 01:27:54 +0000249
250
251/* ---------------------------------------------------------------------
252 Debugging and profiling stuff
253 ------------------------------------------------------------------ */
254
njn25e49d8e72002-09-23 09:36:25 +0000255/* Change to 1 to get more accurate but more expensive core profiling. */
256#if 0
257# define VGP_ACCURATE_PROFILING
258#endif
259
sewardjde4a1d02002-03-22 01:27:54 +0000260/* Create a logfile into which messages can be dumped. */
261extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000262extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000263
264extern void VGP_(init_profiling) ( void );
265extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000266
njn25e49d8e72002-09-23 09:36:25 +0000267#undef VGP_PUSHCC
268#undef VGP_POPCC
269#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
270#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000271
njn25e49d8e72002-09-23 09:36:25 +0000272/* Use this for ones that happen a lot and thus we don't want to put in
273 all the time, eg. for %esp assignment. */
274#ifdef VGP_ACCURATE_PROFILING
275# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
276# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000277#else
njn25e49d8e72002-09-23 09:36:25 +0000278# define VGP_MAYBE_PUSHCC(x)
279# define VGP_MAYBE_POPCC(x)
280#endif
sewardjde4a1d02002-03-22 01:27:54 +0000281
282
283/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000284 Skin-related types
285 ------------------------------------------------------------------ */
286/* These structs are not exposed to skins to mitigate possibility of
287 binary-incompatibilities when the core/skin interface changes. Instead,
288 set functions are provided (see include/vg_skin.h). */
289typedef
290 struct {
291 Char* name;
292 Char* version;
293 Char* description;
294 Char* copyright_author;
295 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000296 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000297 }
298 VgDetails;
299
300extern VgDetails VG_(details);
301
302/* If new fields are added to this type, update:
303 * - vg_main.c:initialisation of VG_(needs)
304 * - vg_main.c:sanity_check_needs()
305 *
306 * If the name of this type or any of its fields change, update:
307 * - dependent comments (just search for "VG_(needs)").
308 */
309typedef
310 struct {
311 Bool libc_freeres;
312 Bool core_errors;
313
314 Bool skin_errors;
315 Bool basic_block_discards;
316 Bool shadow_regs;
317 Bool command_line_options;
318 Bool client_requests;
319 Bool extended_UCode;
320 Bool syscall_wrapper;
321 UInt sizeof_shadow_block;
322 Bool alternative_free;
323 Bool sanity_checks;
324 Bool data_syms;
325 }
326 VgNeeds;
327
328extern VgNeeds VG_(needs);
329
330/* Events happening in core to track. To be notified, assign a function
331 to the function pointer. To ignore an event, don't do anything
332 (default assignment is to NULL in which case the call is skipped). */
333typedef
334 struct {
335 /* Memory events */
336 void (*new_mem_startup)( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
337 void (*new_mem_heap) ( Addr a, UInt len, Bool is_inited );
338 void (*new_mem_stack) ( Addr a, UInt len );
339 void (*new_mem_stack_aligned) ( Addr a, UInt len );
340 void (*new_mem_stack_signal) ( Addr a, UInt len );
341 void (*new_mem_brk) ( Addr a, UInt len );
342 void (*new_mem_mmap) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
343
344 void (*copy_mem_heap) ( Addr from, Addr to, UInt len );
345 void (*copy_mem_remap) ( Addr from, Addr to, UInt len );
346 void (*change_mem_mprotect) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
347
348 /* Used on redzones around malloc'd blocks and at end of stack */
349 void (*ban_mem_heap) ( Addr a, UInt len );
350 void (*ban_mem_stack) ( Addr a, UInt len );
351
352 void (*die_mem_heap) ( Addr a, UInt len );
353 void (*die_mem_stack) ( Addr a, UInt len );
354 void (*die_mem_stack_aligned) ( Addr a, UInt len );
355 void (*die_mem_stack_signal) ( Addr a, UInt len );
356 void (*die_mem_brk) ( Addr a, UInt len );
357 void (*die_mem_munmap) ( Addr a, UInt len );
358
359 void (*bad_free) ( ThreadState* tst, Addr a );
360 void (*mismatched_free) ( ThreadState* tst, Addr a );
361
362 void (*pre_mem_read) ( CorePart part, ThreadState* tst,
363 Char* s, Addr a, UInt size );
364 void (*pre_mem_read_asciiz) ( CorePart part, ThreadState* tst,
365 Char* s, Addr a );
366 void (*pre_mem_write) ( CorePart part, ThreadState* tst,
367 Char* s, Addr a, UInt size );
368 /* Not implemented yet -- have to add in lots of places, which is a
369 pain. Won't bother unless/until there's a need. */
370 /* void (*post_mem_read) ( ThreadState* tst, Char* s,
371 Addr a, UInt size ); */
372 void (*post_mem_write) ( Addr a, UInt size );
373
374
375 /* Scheduler events (not exhaustive) */
376 void (*thread_run) ( ThreadId tid );
377
378
379 /* Thread events (not exhaustive) */
380 void (*post_thread_create) ( ThreadId tid, ThreadId child );
381 void (*post_thread_join) ( ThreadId joiner, ThreadId joinee );
382
383
384 /* Mutex events (not exhaustive) */
385 void (*pre_mutex_lock) ( ThreadId tid,
386 void* /*pthread_mutex_t* */ mutex );
387 void (*post_mutex_lock) ( ThreadId tid,
388 void* /*pthread_mutex_t* */ mutex );
389 void (*post_mutex_unlock) ( ThreadId tid,
390 void* /*pthread_mutex_t* */ mutex );
391
njnfdc28af2003-02-24 10:36:48 +0000392 /* Signal events (not exhaustive) */
393 void (*pre_deliver_signal) ( ThreadId tid, Int sigNo, Bool alt_stack );
394 void (*post_deliver_signal) ( ThreadId tid, Int sigNo );
395
njn810086f2002-11-14 12:42:47 +0000396
njnfdc28af2003-02-24 10:36:48 +0000397 /* Others... condition variable... */
njn810086f2002-11-14 12:42:47 +0000398 /* ... */
399 }
400 VgTrackEvents;
401
402extern VgTrackEvents VG_(track_events);
403
404
405/* ---------------------------------------------------------------------
406 Exports of vg_needs.c
407 ------------------------------------------------------------------ */
408
409void VG_(sanity_check_needs)(void);
410
411/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000412 Exports of vg_malloc2.c
413 ------------------------------------------------------------------ */
414
415/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000416 CORE is for the core's general use.
417 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000418 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000419 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000420 CLIENT is for the client's mallocs/frees.
421 DEMANGLE is for the C++ demangler.
422 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000423 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000424 TRANSIENT is for very short-term use. It should be empty
425 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000426 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000427*/
428typedef Int ArenaId;
429
njn25e49d8e72002-09-23 09:36:25 +0000430#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000431
njn25e49d8e72002-09-23 09:36:25 +0000432#define VG_AR_CORE 0 /* :: ArenaId */
433#define VG_AR_SKIN 1 /* :: ArenaId */
434#define VG_AR_SYMTAB 2 /* :: ArenaId */
435#define VG_AR_JITTER 3 /* :: ArenaId */
436#define VG_AR_CLIENT 4 /* :: ArenaId */
437#define VG_AR_DEMANGLE 5 /* :: ArenaId */
438#define VG_AR_EXECTXT 6 /* :: ArenaId */
439#define VG_AR_ERRORS 7 /* :: ArenaId */
440#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000441
njn25e49d8e72002-09-23 09:36:25 +0000442extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
443extern void VG_(arena_free) ( ArenaId arena, void* ptr );
444extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
445extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
446 Int size );
447extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000448 Int req_pszB );
449
sewardjde4a1d02002-03-22 01:27:54 +0000450extern void VG_(mallocSanityCheckAll) ( void );
451
452extern void VG_(show_all_arena_stats) ( void );
453extern Bool VG_(is_empty_arena) ( ArenaId aid );
454
455
456/* The red-zone size for the client. This can be arbitrary, but
457 unfortunately must be set at compile time. */
458#define VG_AR_CLIENT_REDZONE_SZW 4
459
460#define VG_AR_CLIENT_REDZONE_SZB \
461 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
462
463
464/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000465 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000466 ------------------------------------------------------------------ */
467
468/* This doesn't export code or data that valgrind.so needs to link
469 against. However, the scheduler does need to know the following
470 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000471 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000472
473#define VG_USERREQ__MALLOC 0x2001
474#define VG_USERREQ__BUILTIN_NEW 0x2002
475#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
476
477#define VG_USERREQ__FREE 0x2004
478#define VG_USERREQ__BUILTIN_DELETE 0x2005
479#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
480
481#define VG_USERREQ__CALLOC 0x2007
482#define VG_USERREQ__REALLOC 0x2008
483#define VG_USERREQ__MEMALIGN 0x2009
484
485
sewardj20917d82002-05-28 01:36:45 +0000486/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
487 MUST NOT return -- ever. Eventually it will do either __QUIT or
488 __WAIT_JOINER. */
489#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
490
491/* ( no-args ): calling thread disappears from the system forever.
492 Reclaim resources. */
493#define VG_USERREQ__QUIT 0x3002
494
495/* ( void* ): calling thread waits for joiner and returns the void* to
496 it. */
497#define VG_USERREQ__WAIT_JOINER 0x3003
498
499/* ( ThreadId, void** ): wait to join a thread. */
500#define VG_USERREQ__PTHREAD_JOIN 0x3004
501
502/* Set cancellation state and type for this thread. */
503#define VG_USERREQ__SET_CANCELSTATE 0x3005
504#define VG_USERREQ__SET_CANCELTYPE 0x3006
505
506/* ( no-args ): Test if we are at a cancellation point. */
507#define VG_USERREQ__TESTCANCEL 0x3007
508
509/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
510 with this arg to indicate that a cancel is now pending for the
511 specified thread. */
512#define VG_USERREQ__SET_CANCELPEND 0x3008
513
514/* Set/get detach state for this thread. */
515#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
516
517#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
518#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
519#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
520#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
521#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
522#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
523#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
524#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
525#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
526#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000527#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
528#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000529#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
530#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
531#define VG_USERREQ__SIGWAIT 0x3019
532#define VG_USERREQ__PTHREAD_KILL 0x301A
533#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000534#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000535
sewardj8ad94e12002-05-29 00:10:20 +0000536#define VG_USERREQ__CLEANUP_PUSH 0x3020
537#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000538#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000539
sewardjef037c72002-05-30 00:40:03 +0000540#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000541
542/* Ask how many signal handler returns have happened to this
543 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000544#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000545
sewardj2cb00342002-06-28 01:46:26 +0000546/* Get/set entries for a thread's pthread_atfork stack. */
547#define VG_USERREQ__SET_FHSTACK_USED 0x3025
548#define VG_USERREQ__GET_FHSTACK_USED 0x3026
549#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
550#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000551
sewardj1fe7b002002-07-16 01:43:15 +0000552/* Denote the finish of VG_(__libc_freeres_wrapper). */
553#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
554
sewardj45b4b372002-04-16 22:50:32 +0000555/* Cosmetic ... */
556#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000557/* Log a pthread error from client-space. Cosmetic. */
558#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj69a72a52002-11-03 13:41:41 +0000559/* Write a string to the logging sink. */
560#define VG_USERREQ__LOGMESSAGE 0x3103
561
sewardj45b4b372002-04-16 22:50:32 +0000562
sewardj54cacf02002-04-12 23:24:59 +0000563/*
564In vg_constants.h:
565#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000566*/
567
sewardj1fe7b002002-07-16 01:43:15 +0000568/* The scheduler does need to know the address of it so it can be
569 called at program exit. */
570extern void VG_(__libc_freeres_wrapper)( void );
571
sewardj54cacf02002-04-12 23:24:59 +0000572
sewardj2e93c502002-04-12 11:12:52 +0000573/* ---------------------------------------------------------------------
574 Constants pertaining to the simulated CPU state, VG_(baseBlock),
575 which need to go here to avoid ugly circularities.
576 ------------------------------------------------------------------ */
577
578/* How big is the saved FPU state? */
579#define VG_SIZE_OF_FPUSTATE 108
580/* ... and in words ... */
581#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
582
583
584/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000585 Exports of vg_ldt.c
586 ------------------------------------------------------------------ */
587
588/* This is the hardware-format for a segment descriptor, ie what the
589 x86 actually deals with. It is 8 bytes long. It's ugly. */
590
591typedef struct _LDT_ENTRY {
592 union {
593 struct {
594 UShort LimitLow;
595 UShort BaseLow;
596 unsigned BaseMid : 8;
597 unsigned Type : 5;
598 unsigned Dpl : 2;
599 unsigned Pres : 1;
600 unsigned LimitHi : 4;
601 unsigned Sys : 1;
602 unsigned Reserved_0 : 1;
603 unsigned Default_Big : 1;
604 unsigned Granularity : 1;
605 unsigned BaseHi : 8;
606 } Bits;
607 struct {
608 UInt word1;
609 UInt word2;
610 } Words;
611 }
612 LdtEnt;
613} VgLdtEntry;
614
615/* Maximum number of LDT entries supported (by the x86). */
616#define VG_M_LDT_ENTRIES 8192
617/* The size of each LDT entry == sizeof(VgLdtEntry) */
618#define VG_LDT_ENTRY_SIZE 8
619
620/* Alloc & copy, and dealloc. */
621extern VgLdtEntry*
622 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
623extern void
624 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
625
626/* Simulate the modify_ldt syscall. */
627extern Int VG_(sys_modify_ldt) ( ThreadId tid,
628 Int func, void* ptr, UInt bytecount );
629
sewardje1042472002-09-30 12:33:11 +0000630/* Called from generated code. Given a segment selector and a virtual
631 address, return a linear address, and do limit checks too. */
632extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
633
sewardj92a59562002-09-30 00:53:10 +0000634
635/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000636 Exports of vg_scheduler.c
637 ------------------------------------------------------------------ */
638
sewardj2e93c502002-04-12 11:12:52 +0000639typedef
640 enum {
641 VgTs_Empty, /* this slot is not in use */
642 VgTs_Runnable, /* waiting to be scheduled */
643 VgTs_WaitJoiner, /* waiting for someone to do join on me */
644 VgTs_WaitJoinee, /* waiting for the thread I did join on */
645 VgTs_WaitFD, /* waiting for I/O completion on a fd */
646 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000647 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000648 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000649 VgTs_Sleeping /* sleeping for a while */
650 }
651 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000652
653/* An entry in a threads's cleanup stack. */
654typedef
655 struct {
656 void (*fn)(void*);
657 void* arg;
658 }
659 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000660
661/* An entry in a thread's fork-handler stack. */
662typedef
663 struct {
664 void (*prepare)(void);
665 void (*parent)(void);
666 void (*child)(void);
667 }
668 ForkHandlerEntry;
669
670
njn25e49d8e72002-09-23 09:36:25 +0000671struct _ThreadState {
672 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
673 The thread identity is simply the index in vg_threads[].
674 ThreadId == 1 is the root thread and has the special property
675 that we don't try and allocate or deallocate its stack. For
676 convenience of generating error message, we also put the
677 ThreadId in this tid field, but be aware that it should
678 ALWAYS == the index in vg_threads[]. */
679 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000680
njn25e49d8e72002-09-23 09:36:25 +0000681 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000682
njn25e49d8e72002-09-23 09:36:25 +0000683 Complications: whenever this is set to VgTs_WaitMX, you
684 should also set .m_edx to whatever the required return value
685 is for pthread_mutex_lock / pthread_cond_timedwait for when
686 the mutex finally gets unblocked. */
687 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000688
njn25e49d8e72002-09-23 09:36:25 +0000689 /* When .status == WaitMX, points to the mutex I am waiting for.
690 When .status == WaitCV, points to the mutex associated with
691 the condition variable indicated by the .associated_cv field.
692 In all other cases, should be NULL. */
693 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000694
njn25e49d8e72002-09-23 09:36:25 +0000695 /* When .status == WaitCV, points to the condition variable I am
696 waiting for. In all other cases, should be NULL. */
697 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000698
njn25e49d8e72002-09-23 09:36:25 +0000699 /* If VgTs_Sleeping, this is when we should wake up, measured in
700 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000701
njn25e49d8e72002-09-23 09:36:25 +0000702 If VgTs_WaitCV, this indicates the time at which
703 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
704 this means infinitely far in the future, viz,
705 pthread_cond_wait. */
706 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000707
njn25e49d8e72002-09-23 09:36:25 +0000708 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
709 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000710
njn25e49d8e72002-09-23 09:36:25 +0000711 /* If VgTs_WaitJoinee, place to copy the return value to, and
712 the identity of the thread we're waiting for. */
713 void** joiner_thread_return;
714 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000715
njn25e49d8e72002-09-23 09:36:25 +0000716 /* Whether or not detached. */
717 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000718
njn25e49d8e72002-09-23 09:36:25 +0000719 /* Cancelability state and type. */
720 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
721 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
722
723 /* Pointer to fn to call to do cancellation. Indicates whether
724 or not cancellation is pending. If NULL, not pending. Else
725 should be &thread_exit_wrapper(), indicating that
726 cancallation is pending. */
727 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000728
njn25e49d8e72002-09-23 09:36:25 +0000729 /* The cleanup stack. */
730 Int custack_used;
731 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000732
sewardj00a66b12002-10-12 16:42:35 +0000733 /* A pointer to the thread's-specific-data. This is handled almost
734 entirely from vg_libpthread.c. We just provide hooks to get and
735 set this ptr. This is either NULL, indicating the thread has
736 read/written none of its specifics so far, OR points to a
737 void*[VG_N_THREAD_KEYS], allocated and deallocated in
738 vg_libpthread.c. */
739 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000740
njn25e49d8e72002-09-23 09:36:25 +0000741 /* This thread's blocked-signals mask. Semantics is that for a
742 signal to be delivered to this thread, the signal must not be
743 blocked by either the process-wide signal mask nor by this
744 one. So, if this thread is prepared to handle any signal that
745 the process as a whole is prepared to handle, this mask should
746 be made empty -- and that it is its default, starting
747 state. */
748 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000749
njn25e49d8e72002-09-23 09:36:25 +0000750 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
751 is the set of signals for which we are sigwait()ing. */
752 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000753
njn25e49d8e72002-09-23 09:36:25 +0000754 /* Counts the number of times a signal handler for this thread
755 has returned. This makes it easy to implement pause(), by
756 polling this value, of course interspersed with nanosleeps,
757 and waiting till it changes. */
758 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000759
njn25e49d8e72002-09-23 09:36:25 +0000760 /* Stacks. When a thread slot is freed, we don't deallocate its
761 stack; we just leave it lying around for the next use of the
762 slot. If the next use of the slot requires a larger stack,
763 only then is the old one deallocated and a new one
764 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000765
njn25e49d8e72002-09-23 09:36:25 +0000766 For the main thread (threadid == 0), this mechanism doesn't
767 apply. We don't know the size of the stack since we didn't
768 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000769
njn25e49d8e72002-09-23 09:36:25 +0000770 /* The allocated size of this thread's stack (permanently zero
771 if this is ThreadId == 0, since we didn't allocate its stack) */
772 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000773
njn25e49d8e72002-09-23 09:36:25 +0000774 /* Address of the lowest word in this thread's stack. NULL means
775 not allocated yet.
776 */
777 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000778
sewardj92a59562002-09-30 00:53:10 +0000779 /* Address of the highest legitimate word in this stack. This is
780 used for error messages only -- not critical for execution
781 correctness. Is is set for all stacks, specifically including
782 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000783 Addr stack_highest_word;
784
sewardj92a59562002-09-30 00:53:10 +0000785 /* Pointer to this thread's Local (Segment) Descriptor Table.
786 Starts out as NULL, indicating there is no table, and we hope to
787 keep it that way. If the thread does __NR_modify_ldt to create
788 entries, we allocate a 8192-entry table at that point. This is
789 a straight copy of the Linux kernel's scheme. Don't forget to
790 deallocate this at thread exit. */
791 VgLdtEntry* ldt;
792
793 /* Saved machine context. Note the FPU state, %EIP and segment
794 registers are not shadowed.
795
796 Although the segment registers are 16 bits long, storage
797 management here, in VG_(baseBlock) and in VG_(m_state_static) is
798 simplified if we pretend they are 32 bits. */
799 UInt m_cs;
800 UInt m_ss;
801 UInt m_ds;
802 UInt m_es;
803 UInt m_fs;
804 UInt m_gs;
805
njn25e49d8e72002-09-23 09:36:25 +0000806 UInt m_eax;
807 UInt m_ebx;
808 UInt m_ecx;
809 UInt m_edx;
810 UInt m_esi;
811 UInt m_edi;
812 UInt m_ebp;
813 UInt m_esp;
814 UInt m_eflags;
815 UInt m_eip;
816 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
817
818 UInt sh_eax;
819 UInt sh_ebx;
820 UInt sh_ecx;
821 UInt sh_edx;
822 UInt sh_esi;
823 UInt sh_edi;
824 UInt sh_ebp;
825 UInt sh_esp;
826 UInt sh_eflags;
827};
sewardj2e93c502002-04-12 11:12:52 +0000828
829
sewardj018f7622002-05-15 21:13:39 +0000830/* The thread table. */
831extern ThreadState VG_(threads)[VG_N_THREADS];
832
833/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000834extern Bool VG_(is_valid_tid) ( ThreadId tid );
835
sewardj018f7622002-05-15 21:13:39 +0000836/* Check that tid is in range. */
837extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
838
sewardj2e93c502002-04-12 11:12:52 +0000839/* Copy the specified thread's state into VG_(baseBlock) in
840 preparation for running it. */
841extern void VG_(load_thread_state)( ThreadId );
842
843/* Save the specified thread's state back in VG_(baseBlock), and fill
844 VG_(baseBlock) with junk, for sanity-check reasons. */
845extern void VG_(save_thread_state)( ThreadId );
846
sewardj1e8cdc92002-04-18 11:37:52 +0000847/* And for the currently running one, if valid. */
848extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000849
sewardj1e8cdc92002-04-18 11:37:52 +0000850/* Similarly ... */
851extern ThreadId VG_(get_current_tid) ( void );
852
sewardjccef2e62002-05-29 19:26:32 +0000853/* Nuke all threads except tid. */
854extern void VG_(nuke_all_threads_except) ( ThreadId me );
855
sewardj2e93c502002-04-12 11:12:52 +0000856
857/* Return codes from the scheduler. */
858typedef
sewardj7e87e382002-05-03 19:09:05 +0000859 enum {
860 VgSrc_Deadlock, /* no runnable threads and no prospect of any
861 even if we wait for a long time */
862 VgSrc_ExitSyscall, /* client called exit(). This is the normal
863 route out. */
864 VgSrc_BbsDone /* In a debugging run, the specified number of
865 bbs has been completed. */
866 }
sewardj2e93c502002-04-12 11:12:52 +0000867 VgSchedReturnCode;
868
sewardj7e87e382002-05-03 19:09:05 +0000869
sewardj2e93c502002-04-12 11:12:52 +0000870/* The scheduler. */
871extern VgSchedReturnCode VG_(scheduler) ( void );
872
873extern void VG_(scheduler_init) ( void );
874
sewardj15a43e12002-04-17 19:35:12 +0000875extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000876
877/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
878extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000879/* This says whether scheduler_jmpbuf is actually valid. Needed so
880 that our signal handler doesn't longjmp when the buffer isn't
881 actually valid. */
882extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000883/* ... and if so, here's the signal which caused it to do so. */
884extern Int VG_(longjmpd_on_signal);
885
886
sewardj2e93c502002-04-12 11:12:52 +0000887/* The red-zone size which we put at the bottom (highest address) of
888 thread stacks, for paranoia reasons. This can be arbitrary, and
889 doesn't really need to be set at compile time. */
890#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
891
892#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
893 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
894
njn25e49d8e72002-09-23 09:36:25 +0000895/* Junk to fill up a thread's shadow regs with when shadow regs aren't
896 * being used. */
897#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
898
899/* What we set a shadow register to when written by SET_EAX and similar
900 * things. */
901extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000902
sewardj018f7622002-05-15 21:13:39 +0000903/* Write a value to the client's %EDX (request return value register)
904 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000905#define SET_EDX(zztid, zzval) \
906 do { VG_(threads)[zztid].m_edx = (zzval); \
907 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000908 } while (0)
909
njn25e49d8e72002-09-23 09:36:25 +0000910#define SET_EAX(zztid, zzval) \
911 do { VG_(threads)[zztid].m_eax = (zzval); \
912 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000913 } while (0)
914
sewardj2e93c502002-04-12 11:12:52 +0000915
sewardjd8acdf22002-11-13 21:57:52 +0000916/* This is or'd into a pthread mutex's __m_kind field if it is used
917 before Valgrind is up and running (prehistory). This is used so
918 that if some early code (like the dynamic linker) takes a lock
919 before Valgrind starts and then releases it afterwards, we can work
920 out what's happening. */
921#define VG_PTHREAD_PREHISTORY 0x80000000
922
sewardj2e93c502002-04-12 11:12:52 +0000923/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000924 Exports of vg_signals.c
925 ------------------------------------------------------------------ */
926
sewardjde4a1d02002-03-22 01:27:54 +0000927extern void VG_(sigstartup_actions) ( void );
928
sewardjb48e5002002-05-13 00:16:03 +0000929extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000930extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000931extern void VG_(handle_SCSS_change) ( Bool force_update );
932
sewardjde4a1d02002-03-22 01:27:54 +0000933
934/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000935extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000936extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000937extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
938 Int how,
939 vki_ksigset_t* set,
940 vki_ksigset_t* oldset );
941extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
942 Int how,
943 vki_ksigset_t* set,
944 vki_ksigset_t* oldset );
945extern void VG_(send_signal_to_thread) ( ThreadId thread,
946 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000947
sewardjefbfcdf2002-06-19 17:35:45 +0000948extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
949
950
sewardj2e93c502002-04-12 11:12:52 +0000951/* Modify the current thread's state once we have detected it is
952 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000953extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000954
sewardj2e93c502002-04-12 11:12:52 +0000955/* Handy utilities to block/restore all host signals. */
956extern void VG_(block_all_host_signals)
957 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000958extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000959 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000960
961/* ---------------------------------------------------------------------
962 Exports of vg_mylibc.c
963 ------------------------------------------------------------------ */
964
njne427a662002-10-02 11:08:25 +0000965#define vg_assert(expr) \
966 ((void) ((expr) ? 0 : \
967 (VG_(core_assert_fail) (VG__STRING(expr), \
968 __FILE__, __LINE__, \
969 __PRETTY_FUNCTION__), 0)))
970__attribute__ ((__noreturn__))
971extern void VG_(core_assert_fail) ( Char* expr, Char* file,
972 Int line, Char* fn );
973__attribute__ ((__noreturn__))
974extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000975
njn25e49d8e72002-09-23 09:36:25 +0000976/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
977extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000978
njn25e49d8e72002-09-23 09:36:25 +0000979/* Skins use VG_(strdup)() which doesn't expose ArenaId */
980extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000981
njn25e49d8e72002-09-23 09:36:25 +0000982/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000983extern void VG_(start_rdtsc_calibration) ( void );
984extern void VG_(end_rdtsc_calibration) ( void );
985extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000986
njn25e49d8e72002-09-23 09:36:25 +0000987extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +0000988extern Int VG_(select)( Int n,
989 vki_fd_set* readfds,
990 vki_fd_set* writefds,
991 vki_fd_set* exceptfds,
992 struct vki_timeval * timeout );
993extern Int VG_(nanosleep)( const struct vki_timespec *req,
994 struct vki_timespec *rem );
995
sewardj570f8902002-11-03 11:44:36 +0000996extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000997
998/* --- Connecting over the network --- */
999extern Int VG_(connect_via_socket)( UChar* str );
1000
sewardj570f8902002-11-03 11:44:36 +00001001
1002/* ---------------------------------------------------------------------
1003 Exports of vg_message.c
1004 ------------------------------------------------------------------ */
1005
1006/* Low-level -- send bytes directly to the message sink. Do not
1007 use. */
1008extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1009
1010
sewardjde4a1d02002-03-22 01:27:54 +00001011/* ---------------------------------------------------------------------
1012 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1013 vg_from_ucode.c).
1014 ------------------------------------------------------------------ */
1015
sewardjde4a1d02002-03-22 01:27:54 +00001016#define VG_IS_FLAG_SUBSET(set1,set2) \
1017 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1018
1019#define VG_UNION_FLAG_SETS(set1,set2) \
1020 ( ((FlagSet)set1) | ((FlagSet)set2) )
1021
sewardjde4a1d02002-03-22 01:27:54 +00001022/* ---------------------------------------------------------------------
1023 Exports of vg_demangle.c
1024 ------------------------------------------------------------------ */
1025
1026extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1027
sewardjde4a1d02002-03-22 01:27:54 +00001028/* ---------------------------------------------------------------------
1029 Exports of vg_from_ucode.c
1030 ------------------------------------------------------------------ */
1031
sewardj22854b92002-11-30 14:00:47 +00001032extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001033
njn25e49d8e72002-09-23 09:36:25 +00001034extern void VG_(print_ccall_stats) ( void );
1035extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001036
sewardj22854b92002-11-30 14:00:47 +00001037extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1038extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1039extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1040extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1041
sewardjde4a1d02002-03-22 01:27:54 +00001042/* ---------------------------------------------------------------------
1043 Exports of vg_to_ucode.c
1044 ------------------------------------------------------------------ */
1045
1046extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001047
1048/* ---------------------------------------------------------------------
1049 Exports of vg_translate.c
1050 ------------------------------------------------------------------ */
1051
njn810086f2002-11-14 12:42:47 +00001052/* Expandable arrays of uinstrs. */
1053struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001054 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001055 Int used;
1056 Int size;
1057 UInstr* instrs;
1058 Int nextTemp;
1059};
1060
1061extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1062
sewardj1e8cdc92002-04-18 11:37:52 +00001063extern void VG_(translate) ( ThreadState* tst,
1064 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001065 UInt* orig_size,
1066 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001067 UInt* trans_size,
1068 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001069
njn25e49d8e72002-09-23 09:36:25 +00001070extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1071 UInstr* u );
1072extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1073extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001074
sewardjb5ff83e2002-12-01 19:40:49 +00001075
sewardjde4a1d02002-03-22 01:27:54 +00001076/* ---------------------------------------------------------------------
1077 Exports of vg_execontext.c.
1078 ------------------------------------------------------------------ */
1079
1080/* Records the PC and a bit of the call chain. The first 4 %eip
1081 values are used in comparisons do remove duplicate errors, and for
1082 comparing against suppression specifications. The rest are purely
1083 informational (but often important). */
1084
njn25e49d8e72002-09-23 09:36:25 +00001085struct _ExeContext {
1086 struct _ExeContext * next;
1087 /* Variable-length array. The size is VG_(clo_backtrace_size); at
1088 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
1089 [1] is its caller, [2] is the caller of [1], etc. */
1090 Addr eips[0];
1091};
sewardjde4a1d02002-03-22 01:27:54 +00001092
1093
1094/* Initialise the ExeContext storage mechanism. */
1095extern void VG_(init_ExeContext_storage) ( void );
1096
1097/* Print stats (informational only). */
1098extern void VG_(show_ExeContext_stats) ( void );
1099
njn25e49d8e72002-09-23 09:36:25 +00001100/* Like VG_(get_ExeContext), but with a slightly different type */
1101extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1102 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001103
1104
1105/* ---------------------------------------------------------------------
1106 Exports of vg_errcontext.c.
1107 ------------------------------------------------------------------ */
1108
njn25e49d8e72002-09-23 09:36:25 +00001109/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1110 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001111typedef
njn25e49d8e72002-09-23 09:36:25 +00001112 enum {
1113 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001114 }
njn25e49d8e72002-09-23 09:36:25 +00001115 CoreSuppKind;
1116
1117/* For each caller specified for a suppression, record the nature of
1118 the caller name. Not of interest to skins. */
1119typedef
1120 enum {
1121 ObjName, /* Name is of an shared object file. */
1122 FunName /* Name is of a function. */
1123 }
1124 SuppLocTy;
1125
njn810086f2002-11-14 12:42:47 +00001126/* Suppressions. Skins can get/set skin-relevant parts with functions
1127 declared in include/vg_skin.h. Extensible via the 'extra' field.
1128 Skins can use a normal enum (with element values in the normal range
1129 (0..)) for `skind'. */
1130struct _Supp {
1131 struct _Supp* next;
1132 /* The number of times this error has been suppressed. */
1133 Int count;
1134 /* The name by which the suppression is referred to. */
1135 Char* sname;
1136 /* First two (name of fn where err occurs, and immediate caller)
1137 * are mandatory; extra two are optional. */
1138 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1139 Char* caller [VG_N_SUPP_CALLERS];
1140
1141 /* The skin-specific part */
1142 /* What kind of suppression. Must use the range (0..) */
1143 SuppKind skind;
1144 /* String -- use is optional. NULL by default. */
1145 Char* string;
1146 /* Anything else -- use is optional. NULL by default. */
1147 void* extra;
1148};
njn25e49d8e72002-09-23 09:36:25 +00001149
1150/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1151 * effectively extend it by defining their own enums in the (0..) range. */
1152typedef
1153 enum {
1154 PThreadErr = -1, /* Pthreading error */
1155 }
1156 CoreErrorKind;
1157
njn810086f2002-11-14 12:42:47 +00001158/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1159 enum (with element values in the normal range (0..)) for `ekind'.
1160 Functions for getting/setting the skin-relevant fields are in
1161 include/vg_skin.h.
1162
1163 When errors are found and recorded with VG_(maybe_record_error)(), all
1164 the skin must do is pass in the four parameters; core will
1165 allocate/initialise the error record.
1166*/
1167struct _Error {
1168 struct _Error* next;
1169 /* NULL if unsuppressed; or ptr to suppression record. */
1170 Supp* supp;
1171 Int count;
njn810086f2002-11-14 12:42:47 +00001172 ThreadId tid;
1173 /* These record %EIP, %ESP and %EBP at the error point. They
1174 are only used to make GDB-attaching convenient; there is no
1175 other purpose; specifically they are not used to do
1176 comparisons between errors. */
1177 UInt m_eip;
1178 UInt m_esp;
1179 UInt m_ebp;
1180
1181 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001182 /* Initialised by core */
1183 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001184 /* Used by ALL. Must be in the range (0..) */
1185 Int ekind;
1186 /* Used frequently */
1187 Addr addr;
1188 /* Used frequently */
1189 Char* string;
1190 /* For any skin-specific extras */
1191 void* extra;
1192};
sewardjde4a1d02002-03-22 01:27:54 +00001193
1194
njn25e49d8e72002-09-23 09:36:25 +00001195extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001196
njn25e49d8e72002-09-23 09:36:25 +00001197extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001198
njn25e49d8e72002-09-23 09:36:25 +00001199extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001200
sewardj99aac972002-12-26 01:53:45 +00001201extern void VG_(get_objname_fnname) ( Addr a,
1202 Char* obj_buf, Int n_obj_buf,
1203 Char* fun_buf, Int n_fun_buf );
1204
1205/* Get hold of the suppression list ... just so we don't have to
1206 make it global. */
1207extern Supp* VG_(get_suppressions) ( void );
1208
1209
sewardjde4a1d02002-03-22 01:27:54 +00001210/* ---------------------------------------------------------------------
1211 Exports of vg_procselfmaps.c
1212 ------------------------------------------------------------------ */
1213
1214extern
1215void VG_(read_procselfmaps) (
1216 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
1217);
1218
1219
1220/* ---------------------------------------------------------------------
1221 Exports of vg_symtab2.c
1222 ------------------------------------------------------------------ */
1223
1224/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001225 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001226 which should trip up most stupidities.
1227*/
1228#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1229
njn25e49d8e72002-09-23 09:36:25 +00001230extern void VG_(maybe_read_symbols) ( void );
1231extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1232 Char rr, Char ww, Char xx,
1233 UInt foffset, UChar* filename );
1234extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001235
njn25e49d8e72002-09-23 09:36:25 +00001236extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1237extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001238
1239
1240/* ---------------------------------------------------------------------
1241 Exports of vg_clientmalloc.c
1242 ------------------------------------------------------------------ */
1243
njn810086f2002-11-14 12:42:47 +00001244typedef
1245 enum {
1246 Vg_AllocMalloc = 0,
1247 Vg_AllocNew = 1,
1248 Vg_AllocNewVec = 2
1249 }
1250 VgAllocKind;
1251
1252/* Description of a malloc'd chunk. Functions for extracting skin-relevant
1253 parts are in include/vg_skin.h Size of skin_extra array is given by
1254 VG_(needs).sizeof_shadow_chunk. */
1255struct _ShadowChunk {
1256 struct _ShadowChunk* next;
1257 UInt size : 30; /* size requested */
1258 VgAllocKind allockind : 2; /* which wrapper did the allocation */
1259 Addr data; /* ptr to actual block */
1260 UInt extra[0]; /* extra skin-specific info */
1261};
1262
1263
njn25e49d8e72002-09-23 09:36:25 +00001264extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001265
sewardj2e93c502002-04-12 11:12:52 +00001266/* These are called from the scheduler, when it intercepts a user
1267 request. */
sewardj8c824512002-04-14 04:16:48 +00001268extern void* VG_(client_malloc) ( ThreadState* tst,
1269 UInt size, VgAllocKind kind );
1270extern void* VG_(client_memalign) ( ThreadState* tst,
1271 UInt align, UInt size );
1272extern void VG_(client_free) ( ThreadState* tst,
1273 void* ptrV, VgAllocKind kind );
1274extern void* VG_(client_calloc) ( ThreadState* tst,
1275 UInt nmemb, UInt size1 );
1276extern void* VG_(client_realloc) ( ThreadState* tst,
1277 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001278
1279
1280/* ---------------------------------------------------------------------
1281 Exports of vg_main.c
1282 ------------------------------------------------------------------ */
1283
sewardj73cf3bc2002-11-03 03:20:15 +00001284/* Tell the logging mechanism whether we are logging to a file
1285 descriptor or a socket descriptor. */
1286extern Bool VG_(logging_to_filedes);
1287
njn25e49d8e72002-09-23 09:36:25 +00001288/* Sanity checks which may be done at any time. The scheduler decides when. */
1289extern void VG_(do_sanity_checks) ( Bool force_expensive );
1290
sewardjde4a1d02002-03-22 01:27:54 +00001291/* A structure used as an intermediary when passing the simulated
1292 CPU's state to some assembly fragments, particularly system calls.
1293 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001294 and then the inverse copy is done.
1295 */
sewardj92a59562002-09-30 00:53:10 +00001296extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1297 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001298 + 1 /* %eflags */
1299 + 1 /* %eip */
1300 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1301 ];
1302
1303/* Handy fns for doing the copy back and forth. */
1304extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1305extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1306
njnf4ce3d32003-02-10 10:17:26 +00001307/* Determine if VG_(handle_esp_assignment)() will be used */
1308extern Bool VG_(need_to_handle_esp_assignment) ( void );
1309
sewardjde4a1d02002-03-22 01:27:54 +00001310/* Called when some unhandleable client behaviour is detected.
1311 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001312extern void VG_(unimplemented) ( Char* msg )
1313 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001314
1315/* The stack on which Valgrind runs. We can't use the same stack as the
1316 simulatee -- that's an important design decision. */
1317extern UInt VG_(stack)[10000];
1318
njn25e49d8e72002-09-23 09:36:25 +00001319/* Similarly, we have to ask for signals to be delivered on an alternative
1320 stack, since it is possible, although unlikely, that we'll have to run
1321 client code from inside the Valgrind-installed signal handler. If this
1322 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001323extern UInt VG_(sigstack)[10000];
1324
sewardjde4a1d02002-03-22 01:27:54 +00001325/* Holds client's %esp at the point we gained control. From this the
1326 client's argc, argv and envp are deduced. */
1327extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001328
njn25e49d8e72002-09-23 09:36:25 +00001329/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1330 processes don't get traced into. Also mess up $libdir/valgrind so that
1331 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001332void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1333 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001334
1335/* Something of a function looking for a home ... start up GDB. This
1336 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1337 *client's* stack. This is necessary to give GDB the illusion that
1338 the client program really was running on the real cpu. */
1339extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1340
njn41557122002-10-14 09:25:37 +00001341/* VG_(bbs_done) in include/vg_skin.h */
1342
sewardjde4a1d02002-03-22 01:27:54 +00001343/* 64-bit counter for the number of bbs to go before a debug exit. */
1344extern ULong VG_(bbs_to_go);
1345
1346/* Counts downwards in vg_run_innerloop. */
1347extern UInt VG_(dispatch_ctr);
1348
sewardjde4a1d02002-03-22 01:27:54 +00001349/* Is the client running on the simulated CPU or the real one? */
1350extern Bool VG_(running_on_simd_CPU); /* Initially False */
1351
sewardj7e87e382002-05-03 19:09:05 +00001352/* This is the ThreadId of the last thread the scheduler ran. */
1353extern ThreadId VG_(last_run_tid);
1354
njn25e49d8e72002-09-23 09:36:25 +00001355/* This is the argument to __NR_exit() supplied by the first thread to
1356 call that syscall. We eventually pass that to __NR_exit() for
1357 real. */
1358extern UInt VG_(exitcode);
1359
sewardjde4a1d02002-03-22 01:27:54 +00001360
1361/* --- Counters, for informational purposes only. --- */
1362
1363/* Number of lookups which miss the fast tt helper. */
1364extern UInt VG_(tt_fast_misses);
1365
sewardjc0d8f682002-11-30 00:49:43 +00001366/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001367
sewardjde4a1d02002-03-22 01:27:54 +00001368/* Number and total o/t size of translations overall. */
1369extern UInt VG_(overall_in_count);
1370extern UInt VG_(overall_in_osize);
1371extern UInt VG_(overall_in_tsize);
1372/* Number and total o/t size of discards overall. */
1373extern UInt VG_(overall_out_count);
1374extern UInt VG_(overall_out_osize);
1375extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001376/* The number of discards of TT/TC. */
1377extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001378/* Counts of chain and unchain operations done. */
1379extern UInt VG_(bb_enchain_count);
1380extern UInt VG_(bb_dechain_count);
1381/* Number of unchained jumps performed. */
1382extern UInt VG_(unchained_jumps_done);
1383
sewardjde4a1d02002-03-22 01:27:54 +00001384
1385/* Counts pertaining to the register allocator. */
1386
1387/* total number of uinstrs input to reg-alloc */
1388extern UInt VG_(uinstrs_prealloc);
1389
1390/* total number of uinstrs added due to spill code */
1391extern UInt VG_(uinstrs_spill);
1392
1393/* number of bbs requiring spill code */
1394extern UInt VG_(translations_needing_spill);
1395
1396/* total of register ranks over all translations */
1397extern UInt VG_(total_reg_rank);
1398
sewardjde4a1d02002-03-22 01:27:54 +00001399/* Counts pertaining to internal sanity checking. */
1400extern UInt VG_(sanity_fast_count);
1401extern UInt VG_(sanity_slow_count);
1402
sewardj2e93c502002-04-12 11:12:52 +00001403/* Counts pertaining to the scheduler. */
1404extern UInt VG_(num_scheduling_events_MINOR);
1405extern UInt VG_(num_scheduling_events_MAJOR);
1406
sewardjfa492d42002-12-08 18:20:01 +00001407/* Insert and extract the D flag from eflags */
1408UInt VG_(insertDflag)(UInt eflags, Int d);
1409Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001410
1411/* ---------------------------------------------------------------------
1412 Exports of vg_memory.c
1413 ------------------------------------------------------------------ */
1414
njn25e49d8e72002-09-23 09:36:25 +00001415extern void VG_(init_memory) ( void );
1416extern void VG_(new_exe_segment) ( Addr a, UInt len );
1417extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001418
njn25e49d8e72002-09-23 09:36:25 +00001419/* Called from generated code. */
1420extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001421
1422/* Nasty kludgery to deal with applications which switch stacks,
1423 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001424#define VG_PLAUSIBLE_STACK_SIZE 8000000
1425
sewardjde4a1d02002-03-22 01:27:54 +00001426/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001427 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001428 ------------------------------------------------------------------ */
1429
njn25e49d8e72002-09-23 09:36:25 +00001430extern void VG_(init_dataseg_end_for_brk) ( void );
1431
sewardj2e93c502002-04-12 11:12:52 +00001432extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001433
njn25e49d8e72002-09-23 09:36:25 +00001434extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1435extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1436 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001437
1438extern Bool VG_(is_kerror) ( Int res );
1439
njn25e49d8e72002-09-23 09:36:25 +00001440#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1441 VG_(load_thread_state)(thread_id); \
1442 VG_(copy_baseBlock_to_m_state_static)(); \
1443 VG_(do_syscall)(); \
1444 VG_(copy_m_state_static_to_baseBlock)(); \
1445 VG_(save_thread_state)(thread_id); \
1446 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001447 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001448
1449
1450/* ---------------------------------------------------------------------
1451 Exports of vg_transtab.c
1452 ------------------------------------------------------------------ */
1453
njn25e49d8e72002-09-23 09:36:25 +00001454/* The fast-cache for tt-lookup. */
1455extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1456
sewardjde4a1d02002-03-22 01:27:54 +00001457extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001458
sewardjc0d8f682002-11-30 00:49:43 +00001459extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001460 Addr trans_addr, Int trans_size,
1461 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001462
sewardj18d75132002-05-16 11:06:21 +00001463extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001464
sewardj18d75132002-05-16 11:06:21 +00001465extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001466
1467extern void VG_(sanity_check_tc_tt) ( void );
1468extern Addr VG_(search_transtab) ( Addr original_addr );
1469
sewardjde4a1d02002-03-22 01:27:54 +00001470
1471
1472/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001473 Exports of vg_syscall.S
1474 ------------------------------------------------------------------ */
1475
1476extern void VG_(do_syscall) ( void );
1477
1478
1479/* ---------------------------------------------------------------------
1480 Exports of vg_startup.S
1481 ------------------------------------------------------------------ */
1482
sewardjde4a1d02002-03-22 01:27:54 +00001483extern void VG_(switch_to_real_CPU) ( void );
1484
sewardj35805422002-04-21 13:05:34 +00001485extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1486 Addr m_esp_at_error,
1487 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001488
1489
1490/* ---------------------------------------------------------------------
1491 Exports of vg_dispatch.S
1492 ------------------------------------------------------------------ */
1493
sewardj2e93c502002-04-12 11:12:52 +00001494/* Run a thread for a (very short) while, until some event happens
1495 which means we need to defer to the scheduler. */
1496extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001497
sewardj22854b92002-11-30 14:00:47 +00001498/* The patching routing called when a BB wants to chain itself to
1499 another. */
1500extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001501
1502/* ---------------------------------------------------------------------
1503 Exports of vg_helpers.S
1504 ------------------------------------------------------------------ */
1505
sewardjde4a1d02002-03-22 01:27:54 +00001506/* Mul, div, etc, -- we don't codegen these directly. */
1507extern void VG_(helper_idiv_64_32);
1508extern void VG_(helper_div_64_32);
1509extern void VG_(helper_idiv_32_16);
1510extern void VG_(helper_div_32_16);
1511extern void VG_(helper_idiv_16_8);
1512extern void VG_(helper_div_16_8);
1513
1514extern void VG_(helper_imul_32_64);
1515extern void VG_(helper_mul_32_64);
1516extern void VG_(helper_imul_16_32);
1517extern void VG_(helper_mul_16_32);
1518extern void VG_(helper_imul_8_16);
1519extern void VG_(helper_mul_8_16);
1520
1521extern void VG_(helper_CLD);
1522extern void VG_(helper_STD);
1523extern void VG_(helper_get_dirflag);
1524
sewardj7d78e782002-06-02 00:04:00 +00001525extern void VG_(helper_CLC);
1526extern void VG_(helper_STC);
1527
sewardjde4a1d02002-03-22 01:27:54 +00001528extern void VG_(helper_shldl);
1529extern void VG_(helper_shldw);
1530extern void VG_(helper_shrdl);
1531extern void VG_(helper_shrdw);
1532
1533extern void VG_(helper_RDTSC);
1534extern void VG_(helper_CPUID);
1535
sewardjde4a1d02002-03-22 01:27:54 +00001536extern void VG_(helper_bsf);
1537extern void VG_(helper_bsr);
1538
1539extern void VG_(helper_fstsw_AX);
1540extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001541extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001542extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001543
sewardj51096432002-12-14 23:59:09 +00001544extern void VG_(helper_undefined_instruction);
1545
sewardj20917d82002-05-28 01:36:45 +00001546/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001547extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001548
njn4f9c9342002-04-29 16:03:24 +00001549/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001550 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001551 ------------------------------------------------------------------ */
1552
njn25e49d8e72002-09-23 09:36:25 +00001553#define VG_TRACK(fn, args...) \
1554 do { \
1555 if (VG_(track_events).fn) \
1556 VG_(track_events).fn(args); \
1557 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001558
1559
sewardjde4a1d02002-03-22 01:27:54 +00001560/* ---------------------------------------------------------------------
1561 The state of the simulated CPU.
1562 ------------------------------------------------------------------ */
1563
sewardjde4a1d02002-03-22 01:27:54 +00001564/* ---------------------------------------------------------------------
1565 Offsets into baseBlock for everything which needs to referred to
1566 from generated code. The order of these decls does not imply
1567 what the order of the actual offsets is. The latter is important
1568 and is set up in vg_main.c.
1569 ------------------------------------------------------------------ */
1570
1571/* An array of words. In generated code, %ebp always points to the
1572 start of this array. Useful stuff, like the simulated CPU state,
1573 and the addresses of helper functions, can then be found by
1574 indexing off %ebp. The following declares variables which, at
1575 startup time, are given values denoting offsets into baseBlock.
1576 These offsets are in *words* from the start of baseBlock. */
1577
1578#define VG_BASEBLOCK_WORDS 200
1579
1580extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1581
1582
1583/* -----------------------------------------------------
1584 Read-write parts of baseBlock.
1585 -------------------------------------------------- */
1586
1587/* State of the simulated CPU. */
1588extern Int VGOFF_(m_eax);
1589extern Int VGOFF_(m_ecx);
1590extern Int VGOFF_(m_edx);
1591extern Int VGOFF_(m_ebx);
1592extern Int VGOFF_(m_esp);
1593extern Int VGOFF_(m_ebp);
1594extern Int VGOFF_(m_esi);
1595extern Int VGOFF_(m_edi);
1596extern Int VGOFF_(m_eflags);
1597extern Int VGOFF_(m_fpustate);
1598extern Int VGOFF_(m_eip);
1599
sewardjfa492d42002-12-08 18:20:01 +00001600extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1601
sewardj92a59562002-09-30 00:53:10 +00001602extern Int VGOFF_(m_cs);
1603extern Int VGOFF_(m_ss);
1604extern Int VGOFF_(m_ds);
1605extern Int VGOFF_(m_es);
1606extern Int VGOFF_(m_fs);
1607extern Int VGOFF_(m_gs);
1608
sewardjde4a1d02002-03-22 01:27:54 +00001609/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1610extern Int VGOFF_(spillslots);
1611
1612/* Records the valid bits for the 8 integer regs & flags reg. */
1613extern Int VGOFF_(sh_eax);
1614extern Int VGOFF_(sh_ecx);
1615extern Int VGOFF_(sh_edx);
1616extern Int VGOFF_(sh_ebx);
1617extern Int VGOFF_(sh_esp);
1618extern Int VGOFF_(sh_ebp);
1619extern Int VGOFF_(sh_esi);
1620extern Int VGOFF_(sh_edi);
1621extern Int VGOFF_(sh_eflags);
1622
sewardjde4a1d02002-03-22 01:27:54 +00001623/* -----------------------------------------------------
1624 Read-only parts of baseBlock.
1625 -------------------------------------------------- */
1626
sewardj92a59562002-09-30 00:53:10 +00001627/* This thread's LDT pointer. */
1628extern Int VGOFF_(ldt);
1629
njn211b6ad2003-02-03 12:33:31 +00001630/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001631
sewardj51096432002-12-14 23:59:09 +00001632extern Int VGOFF_(helper_undefined_instruction);
1633
sewardjde4a1d02002-03-22 01:27:54 +00001634extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001635
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
sewardjf220ccc2002-10-23 21:53:49 +00001650#define VGL_(x) vgIntercept_##x
sewardjde4a1d02002-03-22 01:27:54 +00001651
1652#endif /* ndef __VG_INCLUDE_H */
1653
sewardj3b2736a2002-03-24 12:18:35 +00001654
1655/* ---------------------------------------------------------------------
1656 Finally - autoconf-generated settings
1657 ------------------------------------------------------------------ */
1658
1659#include "config.h"
1660
sewardjde4a1d02002-03-22 01:27:54 +00001661/*--------------------------------------------------------------------*/
1662/*--- end vg_include.h ---*/
1663/*--------------------------------------------------------------------*/