1997-09-18 16:21:02 +02:00
/*-------------------------------------------------------------------------
*
1999-02-14 00:22:53 +01:00
* s_lock . h
2001-09-29 06:02:27 +02:00
* Hardware - dependent implementation of spinlocks .
1997-09-18 16:21:02 +02:00
*
2001-09-29 06:02:27 +02:00
* NOTE : none of the macros in this file are intended to be called directly .
* Call them through the hardware - independent macros in spin . h .
1997-09-18 16:21:02 +02:00
*
2001-09-29 06:02:27 +02:00
* The following hardware - dependent macros must be provided for each
* supported platform :
2000-12-29 22:31:21 +01:00
*
* void S_INIT_LOCK ( slock_t * lock )
* Initialize a spinlock ( to the unlocked state ) .
*
* void S_LOCK ( slock_t * lock )
* Acquire a spinlock , waiting if necessary .
* Time out and abort ( ) if unable to acquire the lock in a
* " reasonable " amount of time - - - typically ~ 1 minute .
1998-04-29 14:41:29 +02:00
*
2000-12-29 22:31:21 +01:00
* void S_UNLOCK ( slock_t * lock )
* Unlock a previously acquired lock .
1998-04-29 14:41:29 +02:00
*
2000-12-29 22:31:21 +01:00
* bool S_LOCK_FREE ( slock_t * lock )
* Tests if the lock is free . Returns TRUE if free , FALSE if locked .
* This does * not * change the state of the lock .
1998-04-29 14:41:29 +02:00
*
2001-09-29 06:02:27 +02:00
* Note to implementors : there are default implementations for all these
* macros at the bottom of the file . Check if your platform can use
* these or needs to override them .
*
* Usually , S_LOCK ( ) is implemented in terms of an even lower - level macro
* TAS ( ) :
*
2000-12-29 22:31:21 +01:00
* int TAS ( slock_t * lock )
* Atomic test - and - set instruction . Attempt to acquire the lock ,
2001-01-19 03:58:59 +01:00
* but do * not * wait . Returns 0 if successful , nonzero if unable
2000-12-29 22:31:21 +01:00
* to acquire the lock .
1998-04-29 14:41:29 +02:00
*
2001-09-29 06:02:27 +02:00
* TAS ( ) is NOT part of the API , and should never be called directly .
1997-09-18 16:21:02 +02:00
*
2001-09-29 06:02:27 +02:00
* CAUTION : on some platforms TAS ( ) may sometimes report failure to acquire
* a lock even when the lock is not locked . For example , on Alpha TAS ( )
* will " fail " if interrupted . Therefore TAS ( ) should always be invoked
* in a retry loop , even if you are certain the lock is free .
1998-04-29 14:41:29 +02:00
*
2001-12-11 03:58:49 +01:00
* ANOTHER CAUTION : be sure that TAS ( ) and S_UNLOCK ( ) represent sequence
* points , ie , loads and stores of other values must not be moved across
* a lock or unlock . In most cases it suffices to make the operation be
* done through a " volatile " pointer .
*
2000-12-29 22:31:21 +01:00
* On most supported platforms , TAS ( ) uses a tas ( ) function written
* in assembly language to execute a hardware atomic - test - and - set
* instruction . Equivalent OS - supplied mutex routines could be used too .
1998-06-16 09:18:16 +02:00
*
2000-12-29 22:31:21 +01:00
* If no system - specific TAS ( ) is available ( ie , HAS_TEST_AND_SET is not
2001-09-29 06:02:27 +02:00
* defined ) , then we fall back on an emulation that uses SysV semaphores
* ( see spin . c ) . This emulation will be MUCH MUCH slower than a proper TAS ( )
2000-12-29 22:31:21 +01:00
* implementation , because of the cost of a kernel call per lock or unlock .
* An old report is that Postgres spends around 40 % of its time in semop ( 2 )
* when using the SysV semaphore code .
1997-09-18 16:21:02 +02:00
*
2001-09-29 06:02:27 +02:00
*
2003-08-04 04:40:20 +02:00
* Portions Copyright ( c ) 1996 - 2003 , PostgreSQL Global Development Group
2001-09-29 06:02:27 +02:00
* Portions Copyright ( c ) 1994 , Regents of the University of California
*
2003-09-12 18:10:27 +02:00
* $ Id : s_lock . h , v 1.113 2003 / 09 / 12 16 : 10 : 27 momjian Exp $
2001-09-29 06:02:27 +02:00
*
* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
1997-09-18 16:21:02 +02:00
*/
2000-11-29 00:27:57 +01:00
# ifndef S_LOCK_H
1997-09-18 16:21:02 +02:00
# define S_LOCK_H
2002-05-05 02:03:29 +02:00
# include "storage/pg_sema.h"
1997-09-18 16:21:02 +02:00
1998-12-15 13:47:01 +01:00
1997-09-18 16:21:02 +02:00
# if defined(HAS_TEST_AND_SET)
1998-06-16 09:18:16 +02:00
2003-06-05 18:07:25 +02:00
# if defined(__GNUC__) || defined(__ICC)
1998-06-16 09:18:16 +02:00
/*************************************************************************
* All the gcc inlines
1998-04-29 14:41:29 +02:00
*/
2001-01-19 03:58:59 +01:00
/*
2001-01-20 01:03:55 +01:00
* Standard gcc asm format :
2001-01-19 03:58:59 +01:00
*
2001-01-20 01:03:55 +01:00
__asm__ __volatile__ (
" command \n "
" command \n "
" command \n "
: " =r " ( _res ) return value , in register
: " r " ( lock ) argument , ' lock pointer ' , in register
: " r0 " ) ; inline code uses this register
2001-01-19 03:58:59 +01:00
*/
1998-04-29 14:41:29 +02:00
2003-07-20 06:31:32 +02:00
# if defined(__i386__) || defined(__x86_64__) /* AMD Opteron */
1998-06-16 09:18:16 +02:00
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
1998-09-01 06:40:42 +02:00
register slock_t _res = 1 ;
1998-06-16 09:18:16 +02:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" lock \n "
" xchgb %0,%1 \n "
: " =q " ( _res ) , " =m " ( * lock )
: " 0 " ( _res ) ) ;
1998-06-16 09:18:16 +02:00
return ( int ) _res ;
}
1998-09-01 06:40:42 +02:00
2003-06-25 01:19:11 +02:00
# endif /* __i386__ || __x86_64__ */
1998-06-16 09:18:16 +02:00
2003-07-20 06:31:32 +02:00
/* Intel Itanium */
2003-08-01 21:12:52 +02:00
# if defined(__ia64__) || defined(__ia64)
2000-07-05 18:09:31 +02:00
# define TAS(lock) tas(lock)
static __inline__ int
2001-01-19 03:58:59 +01:00
tas ( volatile slock_t * lock )
2000-07-05 18:09:31 +02:00
{
2001-01-19 03:58:59 +01:00
long int ret ;
2000-07-05 18:09:31 +02:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" xchg4 %0=%1,%2 \n "
: " =r " ( ret ) , " =m " ( * lock )
: " r " ( 1 ) , " 1 " ( * lock )
: " memory " ) ;
2000-07-05 18:09:31 +02:00
2001-01-19 03:58:59 +01:00
return ( int ) ret ;
2000-07-05 18:09:31 +02:00
}
2001-01-19 03:58:59 +01:00
2003-08-01 21:12:52 +02:00
# endif /* __ia64__ || __ia64 */
2000-07-05 18:09:31 +02:00
1998-06-16 09:18:16 +02:00
1999-11-18 22:47:41 +01:00
# if defined(__arm__) || defined(__arm__)
1999-04-13 19:42:26 +02:00
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
2001-01-19 03:58:59 +01:00
register slock_t _res = 1 ;
1999-04-13 19:42:26 +02:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" swpb %0, %0, [%3] \n "
: " =r " ( _res ) , " =m " ( * lock )
: " 0 " ( _res ) , " r " ( lock ) ) ;
2001-01-19 03:58:59 +01:00
return ( int ) _res ;
1999-04-13 19:42:26 +02:00
}
2001-01-19 03:58:59 +01:00
# endif /* __arm__ */
1999-04-13 19:42:26 +02:00
2002-11-22 02:13:16 +01:00
# if defined(__s390__) && !defined(__s390x__)
2000-12-03 15:41:47 +01:00
/*
* S / 390 Linux
*/
2001-01-19 03:58:59 +01:00
# define TAS(lock) tas(lock)
2000-12-03 15:41:47 +01:00
2002-01-29 16:44:42 +01:00
static __inline__ int
2000-12-03 15:41:47 +01:00
tas ( volatile slock_t * lock )
{
2001-01-19 03:58:59 +01:00
int _res ;
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" la 1,1 \n "
" l 2,%2 \n "
" slr 0,0 \n "
" cs 0,1,0(2) \n "
" lr %1,0 \n "
: " =m " ( lock ) , " =d " ( _res )
: " m " ( lock )
: " 0 " , " 1 " , " 2 " ) ;
2001-01-19 03:58:59 +01:00
return ( _res ) ;
2000-12-03 15:41:47 +01:00
}
2001-01-19 03:58:59 +01:00
# endif /* __s390__ */
1999-04-13 19:42:26 +02:00
2002-11-22 02:13:16 +01:00
# if defined(__s390x__)
/*
* S / 390 x Linux ( 64 - bit zSeries )
*/
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
int _res ;
__asm__ __volatile__ (
" la 1,1 \n "
" lg 2,%2 \n "
" slr 0,0 \n "
" cs 0,1,0(2) \n "
" lr %1,0 \n "
: " =m " ( lock ) , " =d " ( _res )
: " m " ( lock )
: " 0 " , " 1 " , " 2 " ) ;
return ( _res ) ;
}
# endif /* __s390x__ */
1999-04-13 19:42:26 +02:00
1999-07-13 22:00:37 +02:00
# if defined(__sparc__)
1998-06-16 09:18:16 +02:00
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
1998-09-01 06:40:42 +02:00
register slock_t _res = 1 ;
1998-06-16 09:18:16 +02:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" ldstub [%2], %0 \n "
: " =r " ( _res ) , " =m " ( * lock )
: " r " ( lock ) ) ;
1998-06-16 09:18:16 +02:00
return ( int ) _res ;
}
1998-09-01 06:40:42 +02:00
1999-07-13 22:00:37 +02:00
# endif /* __sparc__ */
1998-06-16 09:18:16 +02:00
2003-04-20 23:54:34 +02:00
# if defined(__ppc__) || defined(__powerpc__) || defined(__powerpc64__)
# define TAS(lock) tas(lock)
/*
* NOTE : per the Enhanced PowerPC Architecture manual , v1 .0 dated 7 - May - 2002 ,
* an isync is a sufficient synchronization barrier after a lwarx / stwcx loop .
*/
2002-11-10 01:33:43 +01:00
static __inline__ int
tas ( volatile slock_t * lock )
{
slock_t _t ;
int _res ;
__asm__ __volatile__ (
2003-04-04 08:57:39 +02:00
" lwarx %0,0,%2 \n "
2002-11-10 01:33:43 +01:00
" cmpwi %0,0 \n "
2003-04-04 07:32:30 +02:00
" bne 1f \n "
2002-11-10 01:33:43 +01:00
" addi %0,%0,1 \n "
2003-04-04 08:57:39 +02:00
" stwcx. %0,0,%2 \n "
2002-11-10 01:33:43 +01:00
" beq 2f \n "
2003-04-04 08:57:39 +02:00
" 1: li %1,1 \n "
2003-04-04 07:32:30 +02:00
" b 3f \n "
" 2: \n "
" isync \n "
2003-04-04 08:57:39 +02:00
" li %1,0 \n "
2003-04-04 07:32:30 +02:00
" 3: \n "
2002-11-10 01:33:43 +01:00
2003-04-04 08:57:39 +02:00
: " =&r " ( _t ) , " =r " ( _res )
2002-11-10 01:33:43 +01:00
: " r " ( lock )
: " cc " , " memory "
) ;
return _res ;
}
2003-04-20 23:54:34 +02:00
# endif /* powerpc */
2002-11-10 01:33:43 +01:00
1998-06-16 09:18:16 +02:00
1999-06-13 02:07:43 +02:00
# if defined(__mc68000__) && defined(__linux__)
1999-06-11 00:59:22 +02:00
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
register int rv ;
2001-01-19 03:58:59 +01:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-02-10 05:07:25 +01:00
" clrl %0 \n "
" tas %1 \n "
" sne %0 \n "
2001-01-20 01:03:55 +01:00
: " =d " ( rv ) , " =m " ( * lock )
: " 1 " ( * lock )
: " cc " ) ;
2001-01-19 03:58:59 +01:00
1999-06-11 00:59:22 +02:00
return rv ;
}
2001-01-19 03:58:59 +01:00
# endif /* defined(__mc68000__) && defined(__linux__) */
1999-06-11 00:59:22 +02:00
1998-06-16 09:18:16 +02:00
2003-04-20 23:54:34 +02:00
# if defined(__ppc__) || defined(__powerpc__) || defined(__powerpc64__)
2002-09-21 02:14:05 +02:00
/*
2003-04-20 23:54:34 +02:00
* PowerPC S_UNLOCK is almost standard but requires a " sync " instruction .
2002-09-21 02:14:05 +02:00
*/
# define S_UNLOCK(lock) \
do \
{ \
__asm__ __volatile__ ( " sync \n " ) ; \
* ( ( volatile slock_t * ) ( lock ) ) = 0 ; \
} while ( 0 )
2003-04-20 23:54:34 +02:00
# endif /* powerpc */
2002-09-21 02:14:05 +02:00
1998-06-16 09:18:16 +02:00
# if defined(NEED_VAX_TAS_ASM)
/*
* VAXen - - even multiprocessor ones
* ( thanks to Tom Ivar Helbekkmo )
*/
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
2001-04-14 01:32:57 +02:00
register int _res ;
1998-06-16 09:18:16 +02:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" movl $1, r0 \n "
" bbssi $0, (%1), 1f \n "
" clrl r0 \n "
" 1: movl r0, %0 \n "
: " =r " ( _res )
: " r " ( lock )
: " r0 " ) ;
2001-04-14 01:32:57 +02:00
return _res ;
1998-06-16 09:18:16 +02:00
}
1998-09-01 06:40:42 +02:00
# endif /* NEED_VAX_TAS_ASM */
1998-06-16 09:18:16 +02:00
1998-10-02 17:23:08 +02:00
# if defined(NEED_NS32K_TAS_ASM)
# define TAS(lock) tas(lock)
static __inline__ int
tas ( volatile slock_t * lock )
{
2001-04-14 01:32:57 +02:00
register int _res ;
2001-01-19 03:58:59 +01:00
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" sbitb 0, %0 \n "
" sfsd %1 \n "
: " =m " ( * lock ) , " =r " ( _res ) ) ;
2001-04-14 01:32:57 +02:00
return _res ;
1998-10-02 17:23:08 +02:00
}
2001-01-19 03:58:59 +01:00
# endif /* NEED_NS32K_TAS_ASM */
1998-10-02 17:23:08 +02:00
1998-06-16 09:18:16 +02:00
2000-12-29 22:31:21 +01:00
# else /* !__GNUC__ */
1998-04-29 14:41:29 +02:00
2000-12-29 22:31:21 +01:00
/***************************************************************************
* All non - gcc inlines
1999-12-16 02:25:23 +01:00
*/
2000-12-29 22:31:21 +01:00
# if defined(NEED_I386_TAS_ASM) && defined(USE_UNIVEL_CC)
1998-06-16 09:18:16 +02:00
# define TAS(lock) tas(lock)
1997-09-18 16:21:02 +02:00
1998-09-01 06:40:42 +02:00
asm int
2000-10-23 00:15:13 +02:00
tas ( volatile slock_t * s_lock )
1998-06-16 09:18:16 +02:00
{
1998-09-11 18:56:24 +02:00
/* UNIVEL wants %mem in column 1, so we don't pg_indent this file */
2001-01-19 07:59:59 +01:00
% mem s_lock
1998-09-11 18:56:24 +02:00
pushl % ebx
1998-09-01 06:40:42 +02:00
movl s_lock , % ebx
movl $ 255 , % eax
1998-06-16 09:18:16 +02:00
lock
1998-09-11 18:56:24 +02:00
xchgb % al , ( % ebx )
popl % ebx
1998-06-16 09:18:16 +02:00
}
1998-07-19 06:17:13 +02:00
2001-01-19 03:58:59 +01:00
# endif /* defined(NEED_I386_TAS_ASM) && defined(USE_UNIVEL_CC) */
1997-09-18 16:21:02 +02:00
1998-09-01 06:40:42 +02:00
# endif /* defined(__GNUC__) */
1998-07-18 16:58:58 +02:00
/*************************************************************************
2003-08-01 21:12:52 +02:00
* These are the platforms that have only one compiler , or do not use inline
* assembler ( and hence have common code for gcc and non - gcc compilers ,
* if both are available ) .
1998-07-18 16:58:58 +02:00
*/
1998-02-13 06:10:06 +01:00
1999-11-23 20:47:14 +01:00
# if defined(__alpha)
/*
2000-12-30 03:34:56 +01:00
* Correct multi - processor locking methods are explained in section 5.5 .3
* of the Alpha AXP Architecture Handbook , which at this writing can be
* found at ftp : //ftp.netbsd.org/pub/NetBSD/misc/dec-docs/index.html.
* For gcc we implement the handbook ' s code directly with inline assembler .
1999-11-23 20:47:14 +01:00
*/
2000-12-30 03:34:56 +01:00
# if defined(__GNUC__)
1999-11-23 20:47:14 +01:00
2000-12-30 03:34:56 +01:00
# define TAS(lock) tas(lock)
2001-01-19 04:58:35 +01:00
# define S_UNLOCK(lock) \
do \
{ \
2001-01-20 01:03:55 +01:00
__asm__ __volatile__ ( " mb \n " ) ; \
2001-12-11 03:58:49 +01:00
* ( ( volatile slock_t * ) ( lock ) ) = 0 ; \
2001-01-19 04:58:35 +01:00
} while ( 0 )
1999-11-23 20:47:14 +01:00
static __inline__ int
tas ( volatile slock_t * lock )
{
2000-12-30 03:34:56 +01:00
register slock_t _res ;
2001-01-19 04:58:35 +01:00
__asm__ __volatile__ (
2001-01-20 01:03:55 +01:00
" ldq $0, %0 \n "
" bne $0, 2f \n "
" ldq_l %1, %0 \n "
" bne %1, 2f \n "
" mov 1, $0 \n "
" stq_c $0, %0 \n "
" beq $0, 2f \n "
" mb \n "
" br 3f \n "
" 2: mov 1, %1 \n "
" 3: \n "
: " =m " ( * lock ) , " =r " ( _res )
2001-01-19 22:09:57 +01:00
:
2001-01-20 01:03:55 +01:00
: " 0 " ) ;
1999-11-23 20:47:14 +01:00
return ( int ) _res ;
}
2000-12-30 03:34:56 +01:00
2001-01-19 03:58:59 +01:00
# else /* !defined(__GNUC__) */
2000-12-30 03:34:56 +01:00
/*
* The Tru64 compiler doesn ' t support gcc - style inline asm , but it does
* have some builtin functions that accomplish much the same results .
* For simplicity , slock_t is defined as long ( ie , quadword ) on Alpha
* regardless of the compiler in use . LOCK_LONG and UNLOCK_LONG only
* operate on an int ( ie , longword ) , but that ' s OK as long as we define
* S_INIT_LOCK to zero out the whole quadword .
*/
# include <alpha/builtins.h>
# define S_INIT_LOCK(lock) (*(lock) = 0)
2001-01-19 03:58:59 +01:00
# define TAS(lock) (__LOCK_LONG_RETRY((lock), 1) == 0)
# define S_UNLOCK(lock) __UNLOCK_LONG(lock)
2000-12-30 03:34:56 +01:00
2001-01-19 03:58:59 +01:00
# endif /* defined(__GNUC__) */
1999-11-23 20:47:14 +01:00
2001-01-19 03:58:59 +01:00
# endif /* __alpha */
1999-11-23 20:47:14 +01:00
2003-08-01 21:12:52 +02:00
# if defined(__hppa)
1998-07-18 16:51:10 +02:00
/*
2003-08-01 21:12:52 +02:00
* HP ' s PA - RISC
1998-07-18 16:51:10 +02:00
*
* Note that slock_t on PA - RISC is a structure instead of char
1998-10-01 03:53:50 +02:00
* ( see include / port / hpux . h ) .
1998-07-18 16:51:10 +02:00
*
* a " set " slock_t has a single word cleared . a " clear " slock_t has
2000-12-29 22:31:21 +01:00
* all words set to non - zero . tas ( ) is in tas . s
1998-07-18 16:51:10 +02:00
*/
1998-02-13 06:10:06 +01:00
1998-10-01 03:53:50 +02:00
# define S_UNLOCK(lock) \
2001-01-19 08:03:53 +01:00
do { \
volatile slock_t * lock_ = ( volatile slock_t * ) ( lock ) ; \
2001-02-17 00:50:40 +01:00
lock_ - > sema [ 0 ] = - 1 ; \
lock_ - > sema [ 1 ] = - 1 ; \
lock_ - > sema [ 2 ] = - 1 ; \
lock_ - > sema [ 3 ] = - 1 ; \
2001-01-19 08:03:53 +01:00
} while ( 0 )
1998-10-01 03:53:50 +02:00
1998-07-18 16:51:10 +02:00
# define S_LOCK_FREE(lock) ( *(int *) (((long) (lock) + 15) & ~15) != 0)
1998-10-01 03:53:50 +02:00
2003-08-01 21:12:52 +02:00
# endif /* __hppa */
1998-02-13 06:10:06 +01:00
2001-05-24 17:53:34 +02:00
# if defined(__QNX__) && defined(__WATCOMC__)
2000-12-29 22:31:21 +01:00
/*
2001-05-24 17:53:34 +02:00
* QNX 4 using WATCOM C
2000-12-29 22:31:21 +01:00
*/
2001-05-24 17:53:34 +02:00
# define TAS(lock) wc_tas(lock)
extern slock_t wc_tas ( volatile slock_t * lock ) ;
# pragma aux wc_tas =\
" mov al,1 " \
" lock xchg al,[esi] " \
parm [ esi ] \
value [ al ] ;
# endif /* __QNX__ and __WATCOMC__*/
2000-12-29 22:31:21 +01:00
1998-07-18 16:58:58 +02:00
# if defined(__sgi)
/*
* SGI IRIX 5
1998-10-02 17:38:04 +02:00
* slock_t is defined as a unsigned long . We use the standard SGI
2001-01-19 03:58:59 +01:00
* mutex API .
1998-10-02 17:38:04 +02:00
*
* The following comment is left for historical reasons , but is probably
* not a good idea since the mutex ABI is supported .
1998-07-18 16:58:58 +02:00
*
* This stuff may be supplemented in the future with Masato Kataoka ' s MIPS - II
* assembly from his NECEWS SVR4 port , but we probably ought to retain this
* for the R3000 chips out there .
*/
1999-07-16 01:04:24 +02:00
# include "mutex.h"
1998-09-12 18:07:53 +02:00
# define TAS(lock) (test_and_set(lock,1))
# define S_UNLOCK(lock) (test_then_and(lock,0))
# define S_INIT_LOCK(lock) (test_then_and(lock,0))
# define S_LOCK_FREE(lock) (test_then_add(lock,0) == 0)
1998-09-01 06:40:42 +02:00
# endif /* __sgi */
1998-07-18 16:58:58 +02:00
1998-09-21 04:25:29 +02:00
# if defined(sinix)
/*
2001-01-19 03:58:59 +01:00
* SINIX / Reliant UNIX
1998-09-21 04:25:29 +02:00
* slock_t is defined as a struct abilock_t , which has a single unsigned long
* member . ( Basically same as SGI )
*
*/
# define TAS(lock) (!acquire_lock(lock))
# define S_UNLOCK(lock) release_lock(lock)
# define S_INIT_LOCK(lock) init_lock(lock)
# define S_LOCK_FREE(lock) (stat_lock(lock) == UNLOCKED)
# endif /* sinix */
2001-01-19 03:58:59 +01:00
1998-07-18 16:58:58 +02:00
# if defined(_AIX)
/*
* AIX ( POWER )
*
* Note that slock_t on POWER / POWER2 / PowerPC is int instead of char
*/
2002-09-02 06:42:52 +02:00
# define TAS(lock) _check_lock(lock, 0, 1)
# define S_UNLOCK(lock) _clear_lock(lock, 0)
1998-09-01 06:40:42 +02:00
# endif /* _AIX */
1998-07-18 16:58:58 +02:00
# if defined (nextstep)
/*
* NEXTSTEP ( mach )
* slock_t is defined as a struct mutex .
*/
# define S_LOCK(lock) mutex_lock(lock)
# define S_UNLOCK(lock) mutex_unlock(lock)
# define S_INIT_LOCK(lock) mutex_init(lock)
/* For Mach, we have to delve inside the entrails of `struct mutex'. Ick! */
# define S_LOCK_FREE(alock) ((alock)->lock == 0)
1998-09-01 06:40:42 +02:00
# endif /* nextstep */
1998-07-18 16:58:58 +02:00
2003-09-12 18:10:27 +02:00
# else /* HAS_TEST_AND_SET */
# ifdef HAVE_SPINLOCKS
# error This platform does not support native spinlocks. To continue the compile, rerun configure using --without-spinlocks. However, performance will be poor. Please report this to pgsql-bugs@postgresql.org.
# endif
2000-12-29 22:31:21 +01:00
/*
2002-05-05 02:03:29 +02:00
* Fake spinlock implementation using semaphores - - - slow and prone
2000-12-29 22:31:21 +01:00
* to fall foul of kernel limits on number of semaphores , so don ' t use this
2001-09-29 06:02:27 +02:00
* unless you must ! The subroutines appear in spin . c .
2000-12-29 22:31:21 +01:00
*/
2002-05-05 02:03:29 +02:00
typedef PGSemaphoreData slock_t ;
2000-12-29 22:31:21 +01:00
extern bool s_lock_free_sema ( volatile slock_t * lock ) ;
extern void s_unlock_sema ( volatile slock_t * lock ) ;
extern void s_init_lock_sema ( volatile slock_t * lock ) ;
2001-01-19 03:58:59 +01:00
extern int tas_sema ( volatile slock_t * lock ) ;
2000-12-29 22:31:21 +01:00
2001-01-19 03:58:59 +01:00
# define S_LOCK_FREE(lock) s_lock_free_sema(lock)
# define S_UNLOCK(lock) s_unlock_sema(lock)
# define S_INIT_LOCK(lock) s_init_lock_sema(lock)
# define TAS(lock) tas_sema(lock)
2000-12-29 22:31:21 +01:00
# endif /* HAS_TEST_AND_SET */
1998-07-18 16:58:58 +02:00
2001-09-29 06:02:27 +02:00
/*
1998-06-16 09:18:16 +02:00
* Default Definitions - override these above as needed .
*/
1997-09-18 16:21:02 +02:00
1998-06-16 09:18:16 +02:00
# if !defined(S_LOCK)
1998-06-15 20:40:05 +02:00
# define S_LOCK(lock) \
1998-10-01 03:53:50 +02:00
do { \
2000-12-29 22:31:21 +01:00
if ( TAS ( lock ) ) \
s_lock ( ( lock ) , __FILE__ , __LINE__ ) ; \
1998-10-01 03:53:50 +02:00
} while ( 0 )
1998-09-01 06:40:42 +02:00
# endif /* S_LOCK */
1997-09-18 16:21:02 +02:00
1998-05-04 18:58:59 +02:00
# if !defined(S_LOCK_FREE)
1998-06-16 09:18:16 +02:00
# define S_LOCK_FREE(lock) (*(lock) == 0)
1998-09-01 06:40:42 +02:00
# endif /* S_LOCK_FREE */
1997-12-30 05:01:28 +01:00
1998-05-04 18:58:59 +02:00
# if !defined(S_UNLOCK)
2001-12-11 03:58:49 +01:00
# define S_UNLOCK(lock) (*((volatile slock_t *) (lock)) = 0)
1998-09-01 06:40:42 +02:00
# endif /* S_UNLOCK */
1997-09-18 16:21:02 +02:00
1998-05-04 18:58:59 +02:00
# if !defined(S_INIT_LOCK)
1998-02-26 05:46:47 +01:00
# define S_INIT_LOCK(lock) S_UNLOCK(lock)
1998-09-01 06:40:42 +02:00
# endif /* S_INIT_LOCK */
1997-09-18 16:21:02 +02:00
1998-05-04 18:58:59 +02:00
# if !defined(TAS)
2000-12-29 22:31:21 +01:00
extern int tas ( volatile slock_t * lock ) ; /* in port/.../tas.s, or
1998-09-01 06:40:42 +02:00
* s_lock . c */
1997-09-25 01:37:26 +02:00
2000-12-29 22:31:21 +01:00
# define TAS(lock) tas(lock)
1998-09-01 06:40:42 +02:00
# endif /* TAS */
1998-06-16 09:18:16 +02:00
2000-11-29 00:27:57 +01:00
2001-09-29 06:02:27 +02:00
/*
2001-03-25 19:52:46 +02:00
* Platform - independent out - of - line support routines
*/
2001-09-29 06:02:27 +02:00
extern void s_lock ( volatile slock_t * lock , const char * file , int line ) ;
2001-03-25 19:52:46 +02:00
2000-11-29 00:27:57 +01:00
# endif /* S_LOCK_H */