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 11436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Copyright (C) 2006-2013 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 45436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov#if defined(VGP_ppc32_linux) || defined(VGP_ppc64_linux) \ 46436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov || defined(VGP_arm64_linux) 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownunsigned long VKI_PAGE_SHIFT = 12; 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownunsigned long VKI_PAGE_SIZE = 1UL << 12; 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do initial consistency checks on some of the definitions to do with 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown signals (vki_sigset_t and vki_sigaction_{toK,fromK}_t). This stuff 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown is fragile enough that it's important to check at startup that 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the world looks like what we expect it to look like. 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The most important thing is to check that the definition of signal 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sets for this platform is right. A signal set consists of some 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown number _VKI_NSIG_WORDS of 32- or 64-bit words. Because the kernel 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown itself has some indexing scheme to set/clear individual bits in the 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown set, we must make sure we use the same layout/scheme: where this 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown requirement bites us is in the VG_(sigfillset) etc functions in 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown m_libcsignal.c. So we check carefully here that it's all sensible. 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(vki_do_initial_consistency_checks) ( void ) 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-independent checks on signal sets --- */ 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigset_t set; 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Set's size must agree with _VKI_NSIG 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( 8 * sizeof(set) == _VKI_NSIG ); 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Set's word size must agree with _VKI_NSIG_BPW 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( 8 * sizeof(set.sig[0]) == _VKI_NSIG_BPW ); 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // The set elements are 32- or 64-bit 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( _VKI_NSIG_BPW == 32 || _VKI_NSIG_BPW == 64 ); 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-specific checks on signal sets --- */ 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 79b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov# if defined(VGO_linux) 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* nothing to check */ 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# elif defined(VGP_x86_darwin) || defined(VGP_amd64_darwin) 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG == NSIG); 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG == 32); 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(_VKI_NSIG_WORDS == 1); 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(sigset_t) /* defined by Darwin */ 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigset_t) /* what we actually use */); 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# else 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# error "Unknown plat" 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* --- Platform-specific checks on sigactions --- */ 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 93b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov# if defined(VGO_linux) 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* the toK- and fromK- forms are identical */ 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( sizeof(vki_sigaction_toK_t) 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigaction_fromK_t) ); 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# elif defined(VGO_darwin) 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* the toK- and fromK- forms differ by one function-pointer field 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (sa_tramp) */ 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert( sizeof(vki_sigaction_toK_t) 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown == sizeof(vki_sigaction_fromK_t) + sizeof(void*) ); 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(struct sigaction) == sizeof(vki_sigaction_fromK_t)); 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(struct __sigaction) == sizeof(vki_sigaction_toK_t)); 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { struct __sigaction t1; 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigaction_toK_t t2; 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct sigaction f1; 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vki_sigaction_fromK_t f2; 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_handler) == sizeof(t2.ksa_handler)); 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_tramp) == sizeof(t2.sa_tramp)); 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_mask) == sizeof(t2.sa_mask)); 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(t1.sa_flags) == sizeof(t2.sa_flags)); 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_handler) == sizeof(f2.ksa_handler)); 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_mask) == sizeof(f2.sa_mask)); 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(f1.sa_flags) == sizeof(f2.sa_flags)); 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# if 0 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1,sa_handler) == offsetof(t2.ksa_handler)); 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_tramp) == offsetof(t2.sa_tramp)); 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_mask) == offsetof(t2.sa_mask)); 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(t1.sa_flags) == offsetof(t2.sa_flags)); 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_handler) == offsetof(f2.ksa_handler)); 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_mask) == offsetof(f2.sa_mask)); 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(offsetof(f1.sa_flags) == offsetof(f2.sa_flags)); 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* also .. */ 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* VKI_SET_SIGMASK is hardwired into syscall-x86-darwin.S and 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown syscall-amd64-darwin.S */ 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VKI_SIG_SETMASK == 3); 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# else 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# error "Unknown OS" 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown# endif 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end m_vki.c ---*/ 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 140