1 2 /*--------------------------------------------------------------------*/ 3 /*--- Private scheduler lock header. priv_sched-lock-impl.h ---*/ 4 /*--- ---*/ 5 /*--- Scheduler lock implementation details. ---*/ 6 /*--------------------------------------------------------------------*/ 7 8 /* 9 This file is part of Valgrind, a dynamic binary instrumentation 10 framework. 11 12 Copyright (C) 2011-2013 Bart Van Assche <bvanassche (at) acm.org>. 13 14 This program is free software; you can redistribute it and/or 15 modify it under the terms of the GNU General Public License as 16 published by the Free Software Foundation; either version 2 of the 17 License, or (at your option) any later version. 18 19 This program is distributed in the hope that it will be useful, but 20 WITHOUT ANY WARRANTY; without even the implied warranty of 21 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 22 General Public License for more details. 23 24 You should have received a copy of the GNU General Public License 25 along with this program; if not, write to the Free Software 26 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 27 02111-1307, USA. 28 29 The GNU General Public License is contained in the file COPYING. 30 */ 31 32 #ifndef __PRIV_SCHED_LOCK_IMPL_H 33 #define __PRIV_SCHED_LOCK_IMPL_H 34 35 #include "pub_core_basics.h" // HChar 36 37 struct sched_lock_ops { 38 const HChar *(*get_sched_lock_name)(void); 39 struct sched_lock *(*create_sched_lock)(void); 40 void (*destroy_sched_lock)(struct sched_lock *p); 41 int (*get_sched_lock_owner)(struct sched_lock *p); 42 void (*acquire_sched_lock)(struct sched_lock *p); 43 void (*release_sched_lock)(struct sched_lock *p); 44 }; 45 46 extern const struct sched_lock_ops ML_(generic_sched_lock_ops); 47 extern const struct sched_lock_ops ML_(linux_ticket_lock_ops); 48 49 #endif // __PRIV_SCHED_LOCK_IMPL_H 50 51 /*--------------------------------------------------------------------*/ 52 /*--- end ---*/ 53 /*--------------------------------------------------------------------*/ 54
