1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Notional "implementation" for m_vki. ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- m_vki.c ---*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 11b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2006-2011 OpenWorks LLP 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.co.uk 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_basics.h" 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcassert.h" 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_vki.h" /* self */ 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* We have pub_{core,tool}_vki.h. This is the matching implementation 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for that interface. In fact there is no implementation, as the 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sole purpose of the module is to export types and constants 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown describing the kernel interface, so this file is nearly empty. */ 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* ppc32/64-linux determines page size at startup, hence m_vki is 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the logical place to store that info. */ 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if defined(VGP_ppc32_linux) || defined(VGP_ppc64_linux) 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownunsigned long VKI_PAGE_SHIFT = 12; 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownunsigned long VKI_PAGE_SIZE = 1UL << 12; 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do initial consistency checks on some of the definitions to do with 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown signals (vki_sigset_t and vki_sigaction_{toK,fromK}_t). This stuff 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown is fragile enough that it's important to check at startup that 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the world looks like what we expect it to look like. 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The most important thing is to check that the definition of signal 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sets for this platform is right. A signal set consists of some 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown number _VKI_NSIG_WORDS of 32- or 64-bit words. Because the kernel 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown itself has some indexing scheme to set/clear individual bits in the 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown set, we must make sure we use the same layout/scheme: where this 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown requirement bites us is in the VG_(sigfillset) etc functions in 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown m_libcsignal.c. So we check carefully here that it's all sensible. 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(vki_do_initial_consistency_checks) ( void ) 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-independent checks on signal sets --- */ 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigset_t set; 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Set's size must agree with _VKI_NSIG 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( 8 * sizeof(set) == _VKI_NSIG ); 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Set's word size must agree with _VKI_NSIG_BPW 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( 8 * sizeof(set.sig[0]) == _VKI_NSIG_BPW ); 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // The set elements are 32- or 64-bit 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( _VKI_NSIG_BPW == 32 || _VKI_NSIG_BPW == 64 ); 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-specific checks on signal sets --- */ 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov# if defined(VGO_linux) 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* nothing to check */ 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# elif defined(VGP_x86_darwin) || defined(VGP_amd64_darwin) 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG == NSIG); 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG == 32); 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG_WORDS == 1); 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(sigset_t) /* defined by Darwin */ 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigset_t) /* what we actually use */); 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# else 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# error "Unknown plat" 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-specific checks on sigactions --- */ 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 92b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov# if defined(VGO_linux) 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* the toK- and fromK- forms are identical */ 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( sizeof(vki_sigaction_toK_t) 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigaction_fromK_t) ); 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# elif defined(VGO_darwin) 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* the toK- and fromK- forms differ by one function-pointer field 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (sa_tramp) */ 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( sizeof(vki_sigaction_toK_t) 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigaction_fromK_t) + sizeof(void*) ); 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(struct sigaction) == sizeof(vki_sigaction_fromK_t)); 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(struct __sigaction) == sizeof(vki_sigaction_toK_t)); 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { struct __sigaction t1; 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigaction_toK_t t2; 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct sigaction f1; 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigaction_fromK_t f2; 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_handler) == sizeof(t2.ksa_handler)); 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_tramp) == sizeof(t2.sa_tramp)); 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_mask) == sizeof(t2.sa_mask)); 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_flags) == sizeof(t2.sa_flags)); 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_handler) == sizeof(f2.ksa_handler)); 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_mask) == sizeof(f2.sa_mask)); 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_flags) == sizeof(f2.sa_flags)); 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# if 0 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1,sa_handler) == offsetof(t2.ksa_handler)); 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_tramp) == offsetof(t2.sa_tramp)); 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_mask) == offsetof(t2.sa_mask)); 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_flags) == offsetof(t2.sa_flags)); 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_handler) == offsetof(f2.ksa_handler)); 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_mask) == offsetof(f2.sa_mask)); 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_flags) == offsetof(f2.sa_flags)); 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* also .. */ 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* VKI_SET_SIGMASK is hardwired into syscall-x86-darwin.S and 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown syscall-amd64-darwin.S */ 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VKI_SIG_SETMASK == 3); 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# else 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# error "Unknown OS" 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end m_vki.c ---*/ 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 139