cc3fa75512
1997-11-11 21:30 Ulrich Drepper <drepper@cygnus.com> * include/sys/stat.h: Define stat, fstat, lstat and *64 variants as macros so the the library compiles correctly even without optimization. * io/fstat.c: Undef fstat. * io/fstat64.c: Undef fstat64 * io/lstat.c: Undef lstat. * io/lstat64.c: Undef lstat64 * io/stat.c: Undef stat. * io/stat64.c: Undef stat64 * io/fts.c: Include <include/sys/stat.h> to get macro definitions. * io/ftw.c: Likewise. * io/getdirname.c: Likewise. * Makefile (install): Run test-installation.pl if possible. * db2/Makefile: Update from db-2.3.12. * db2/db.h: Likewise. * db2/db_int.h: Likewise. * db2/btree/bt_cursor.c: Likewise. * db2/btree/bt_delete.c: Likewise. * db2/btree/bt_open.c: Likewise. * db2/btree/bt_put.c: Likewise. * db2/btree/bt_rec.c: Likewise. * db2/btree/bt_recno.c: Likewise. * db2/btree/bt_search.c: Likewise. * db2/btree/bt_split.c: Likewise. * db2/btree/bt_stat.c: Likewise. * db2/btree/btree.src: Likewise. * db2/btree/btree_auto.c: Likewise. * db2/btree/bt_cursor.c: Likewise. * db2/btree/bt_delete.c: Likewise. * db2/btree/bt_open.c: Likewise. * db2/btree/bt_put.c: Likewise. * db2/btree/bt_rec.c: Likewise. * db2/btree/bt_recno.c: Likewise. * db2/btree/bt_search.c: Likewise. * db2/btree/bt_split.c: Likewise. * db2/btree/bt_stat.c: Likewise. * db2/btree/btree.src: Likewise. * db2/btree/btree_auto.c: Likewise. * db2/common/db_appinit.c: Likewise. * db2/common/db_apprec.c: Likewise. * db2/common/db_byteorder.c: Likewise. * db2/common/db_region.c: Likewise. * db2/db/db.c: Likewise * db2/db/db.src: Likewise * db2/db/db_auto.c: Likewise * db2/db/db_dispatch.c: Likewise * db2/db/db_dup.c: Likewise * db2/db/db_overflow.c: Likewise * db2/db/db_pr.c: Likewise * db2/db/db_rec.c: Likewise * db2/db/db_ret.c: Likewise * db2/db/db_thread.c: Likewise * db2/db185/db185.c: Likewise. * db2/hash/hash.c: Likewise. * db2/hash/hash.src: Likewise. * db2/hash/hash_auto.c: Likewise. * db2/hash/hash_dup.c: Likewise. * db2/hash/hash_page.c: Likewise. * db2/hash/hash_rec.c: Likewise. * db2/include/btree_auto.h: Likewise. * db2/include/btree_ext.h: Likewise. * db2/include/clib_ext.h: Likewise. * db2/include/common_ext.h: Likewise. * db2/include/db.h.src: Likewise. * db2/include/db_am.h: Likewise. * db2/include/db_auto.h: Likewise. * db2/include/db_cxx.h: Likewise. * db2/include/db_ext.h: Likewise. * db2/include/db_int.h.src: Likewise. * db2/include/hash.h: Likewise. * db2/include/hash_auto.h: Likewise. * db2/include/hash_ext.h: Likewise. * db2/include/lock.h: Likewise. * db2/include/lock_ext.h: Likewise. * db2/include/log.h: Likewise. * db2/include/log_ext.h: Likewise. * db2/include/mp.h: Likewise. * db2/include/mp_ext.h: Likewise. * db2/include/mutex_ext.h: Likewise. * db2/include/os_ext.h: Likewise. * db2/include/os_func.h: Likewise. * db2/include/txn.h: Likewise. * db2/include/txn_ext.h: Likewise. * db2/lock/lock.c: Likewise. * db2/lock/lock_deadlock.c: Likewise. * db2/log/log.c: Likewise. * db2/log/log_archive.c: Likewise. * db2/log/log_auto.c: Likewise. * db2/log/log_findckp.c: Likewise. * db2/log/log_get.c: Likewise. * db2/log/log_put.c: Likewise. * db2/log/log_rec.c: Likewise. * db2/log/log_register.c: Likewise. * db2/mp/mp_bh.c: Likewise. * db2/mp/mp_fget.c: Likewise. * db2/mp/mp_fopen.c: Likewise. * db2/mp/mp_fput.c: Likewise. * db2/mp/mp_fset.c: Likewise. * db2/mp/mp_open.c: Likewise. * db2/mp/mp_pr.c: Likewise. * db2/mp/mp_region.c: Likewise. * db2/mp/mp_sync.c: Likewise. * db2/mutex/mutex.c: Likewise. * db2/os/os_abs.c: Likewise. * db2/os/os_dir.c: Likewise. * db2/os/os_fid.c: Likewise. * db2/os/os_fsync.c: Likewise. * db2/os/os_func.c: Likewise. * db2/os/os_map.c: Likewise. * db2/os/os_oflags.c: Likewise. * db2/os/os_open.c: Likewise. * db2/os/os_rpath.c: Likewise. * db2/os/os_rw.c: Likewise. * db2/os/os_seek.c: Likewise. * db2/os/os_sleep.c: Likewise. * db2/os/os_stat.c: Likewise. * db2/os/os_unlink.c: Likewise. * db2/progs/db_deadlock/db_deadlock.c: Likewise. * db2/progs/db_dump/db_dump.c: Likewise. * db2/progs/db_load/db_load.c: Likewise. * db2/progs/db_recover/db_recover.c: Likewise. * db2/progs/db_stat/db_stat.c: Likewise. * db2/txn/txn.c: Likewise. * db2/txn/txn_auto.c: Likewise. * db2/txn/txn_rec.c: Likewise. * db2/os/db_os_abs.c: Removed. * db2/os/db_os_dir.c: Removed. * db2/os/db_os_fid.c: Removed. * db2/os/db_os_lseek.c: Removed. * db2/os/db_os_mmap.c: Removed. * db2/os/db_os_open.c: Removed. * db2/os/db_os_rw.c: Removed. * db2/os/db_os_sleep.c: Removed. * db2/os/db_os_stat.c: Removed. * db2/os/db_os_unlink.c: Removed. * libio/stdio.h (fopen): Add __restrict to parameters. * manual/process.texi (system): Describe behaviour for NULL argument. * stdio-common/printf-parse.h: Parse hh modifier. * stdio-common/vfprintf.c: Handle hh modifier. * stdio-common/vfscanf.c: Likewise. * manual/stdio.texi: Describe hh modifier for scanf/printf. * math/complex.h: Don't define _Imaginary_I, but instead _Complex_I. gcc does no yet know the `imaginary' keyword. * math/test-math.c: Add little test for know gcc bug. * math/tgmath.h: Make complex versions of log10() only available if __USE_GNU. * stdlib/test-canon.c: Fix typo. * sysdeps/generic/setenv.c: Avoid compilation warnings. Reported by Jim Meyering. * sysdeps/generic/bits/errno.h: EILSEQ is an ISO C error number. * sysdeps/mach/hurd/bits/errno.h: Likewise. * sysdeps/standalone/bits/errno.h: Likewise. * sysdeps/unix/sysv/linux/bits/errno.h: Likewise. * sysdeps/i386/i586/memcpy.S: New file. * sysdeps/i386/i586/mempcpy.S: New file. * sysdeps/i386/i586/memset.S: Fix typo. * sysdeps/posix/getcwd.c: Define HAVE_MEMPCPY for _LIBC. Add casts. * sysdeps/posix/system.c: Add comment to explain code. * sysdeps/wordsize-32/inttypes.h: Include <stddef.h> for wchar_t. Define PTRDIFF_{MIN,MAX}, SIG_ATOMIC_{MIN,MAX}, SIZE_MAX, WCHAR_{MIN,MAX}, WINT_{MIN,MAX}. Define wcstoimax, wcstoumax. * sysdeps/wordsize-64/inttypes.h: Likewise. * wcsmbs/wchar.h: Define WCHAR_{MIN,MAX} if not already defined. Declare __wcsto{l,ul,ll,ull}_internal only if not already done. * time/Makefile (routines): Add strfxtime. * time/strftime.c: Implement %F and %f format. * time/strfxtime.c: New file. * time/time.h: Define new types and symbols from ISO C 9X. * time/mktime.c: Little comment correction. 1997-11-10 Andreas Jaeger <aj@arthur.rhein-neckar.de> * sysdeps/libm-ieee754/s_sincosl.c: Fix typo. * sysdeps/libm-ieee754/s_tanl.c: Fix typo. * sysdeps/libm-ieee754/s_floorl.c: Correct typos. * sysdeps/libm-ieee754/e_remainderl.c: Replace EXTRACT_LDOUBLE_WORDS by GET_LDOUBLE_WORDS. * sysdeps/libm-ieee754/e_atan2l.c: Replace EXTRACT_LDOUBLE_WORDS by GET_LDOUBLE_WORDS. * sysdeps/libm-ieee754/s_scalbnl.c: Replace ";" by "," for correct variable declaration. * sysdeps/libm-ieee754/s_scalblnl.c: Likewise. * sysdeps/libm-ieee754/s_lrint.c (__lrint): Correct function. * math/libm-test.c (sqrt_test): Add test for sqrt (0.25). (asin_test): Add more test. 1997-11-10 23:34 Ulrich Drepper <drepper@cygnus.com> * sysdeps/libm-ieee754/e_asin.c: Add braces to make code clearer and to not confuse the poor compiler. * sysdeps/libm-ieee754/e_asinf.c: Likewise. Reported by vertex@cagent.com. 1997-11-09 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * elf/dl-lookup.c (do_lookup): Don't accept the base version if we require a specific one. * libio/oldfreopen.c: Bind old symbols to version GLIBC_2.0. * libio/oldiofopen.c: Likewise. * libio/oldstdfiles.c: Likewise. * libc.map: Export them. 1997-11-10 07:40 H.J. Lu <hjl@gnu.ai.mit.edu> * stdlib/exit.c (exit): Handle recursive calls to exit (). 1997-11-09 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * sysdeps/m68k/fpu/s_llrint.c: Fixed to take double argument instead of long double. * sysdeps/m68k/fpu/s_llrintf.c: New file. * sysdeps/m68k/fpu/s_llrintl.c: New file. * sysdeps/libm-ieee754/s_llrint.c: Make compilable and fix overflow condition. * sysdeps/libm-ieee754/s_llrintf.c: Fix overflow condition. * sysdeps/libm-ieee754/s_llrintl.c: Likewise. * sysdeps/libm-ieee754/s_llround.c: Likewise. * sysdeps/libm-ieee754/s_llroundf.c: Likewise. * sysdeps/libm-ieee754/s_llroundl.c: Likewise. * sysdeps/libm-ieee754/s_lrint.c: Likewise. * sysdeps/libm-ieee754/s_lrintf.c: Likewise. * sysdeps/libm-ieee754/s_lrintl.c: Likewise. * sysdeps/libm-ieee754/s_lround.c: Likewise. * sysdeps/libm-ieee754/s_lroundf.c: Likewise. * sysdeps/libm-ieee754/s_lroundl.c: Likewise. * math/libm-test.c: Test all three variants of lrint and llrint. Fix typos in lround and llround tests. Add tests for boundary cases for lrint and llround. 1997-11-08 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * manual/arith.texi: Misc doc fixes. * manual/ctype.texi: Likewise. * manual/pattern.texi: Likewise. * manual/terminal.texi: Likewise. 1997-11-08 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * sysdeps/unix/sysv/linux/xstatconv.c: Use struct assignment instead of memcpy to let the compiler use whatever it regards as optimal. * sysdeps/unix/sysv/linux/alpha/xstatconv.c: Likewise. 1997-11-08 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * sysdeps/unix/sysv/linux/Makefile (sysdep_headers) [$(subdir)=misc]: Add sys/prctl.h. * sysdeps/unix/sysv/linux/Dist: Distribute it. 1997-11-08 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * io/ftwtest-sh: Don't use the unknown which command, instead try pwd as /bin/pwd and /usr/bin/pwd. 1997-11-08 Andreas Schwab <schwab@issan.informatik.uni-dortmund.de> * manual/maint.texi (Tools for Installation): Don't recommend broken version 3.76.1 of make. (Porting): Fix wording. 1997-11-06 06:13 H.J. Lu <hjl@gnu.ai.mit.edu> * config.make.in (build-pic-default): New, defined with pic_default. * configure.in (pic_default): New, set to yes if PIC is default. * Makeconfig (CPPFLAGS-.o, CPPFLAGS-.op, CPPFLAGS-.og, CPPFLAGS-.ob): Add -DPIC if $(build-pic-default) is yes. 1997-11-09 18:15 Ulrich Drepper <drepper@cygnus.com> * Makerules (libc.so): Fix typo. * csu/Makefile (CFLAGS-initfini.s): Correctly fix moving function definition. Patch by Zack Weinberg <zack@rabi.phys.columbia.edu>. * stdlib/strtod.c: Handle numbers like 0.0e10000 correctly which produce ±0.0. Reported by Joe Keane <jgk@jgk.org>. * sysdeps/libm-ieee754/s_ceill.c: Fix typos. * sysdeps/libm-ieee754/s_llrint.c: Correct code, it never worked. 1997-11-06 07:00 H.J. Lu <hjl@gnu.ai.mit.edu> * sysdeps/unix/sysv/i386/i686/time.S: Removed. 1997-11-08 14:07 Thorsten Kukuk <kukuk@vt.uni-paderborn.de> * nis/libnsl.map: Add __do_niscall2 for nis_cachemgr. * nis/nis_call.c: Set UDP resend timeout correct. * nis/nss_compat/compat-grp.c: Rewritten to make it faster. * nis/nss_compat/compat-pwd.c: Likewise. * nis/nss_compat/compat-spwd.c: Likewise. * nis/ypclnt.c: Fix UDP resend timeout, fix yp_bind/do_ypcall interaction. * inet/protocols/routed.h: Include sys/socket.h. * inet/protocols/talkd.h: Likewise. * inet/protocols/timed.h: Include rpc/types.h. * sunrpc/rpc/pmap_clnt.h: Include rpc/clnt.h. 1997-11-06 01:39 Ulrich Drepper <drepper@cygnus.com> * Makerules (libc.so): Add missing closing brace. 1997-11-05 Brendan Kehoe <brendan@lisa.cygnus.com> * libio.h (__P): Name its arg `p' instead of `params'. This was added solely to work around problems with the definition of __P in the Solaris math.h header.
498 lines
12 KiB
C
498 lines
12 KiB
C
/*-
|
|
* See the file LICENSE for redistribution information.
|
|
*
|
|
* Copyright (c) 1996, 1997
|
|
* Sleepycat Software. All rights reserved.
|
|
*/
|
|
|
|
#include "config.h"
|
|
|
|
#ifndef lint
|
|
static const char copyright[] =
|
|
"@(#) Copyright (c) 1997\n\
|
|
Sleepycat Software Inc. All rights reserved.\n";
|
|
static const char sccsid[] = "@(#)lock_deadlock.c 10.25 (Sleepycat) 11/1/97";
|
|
#endif
|
|
|
|
#ifndef NO_SYSTEM_INCLUDES
|
|
#include <sys/types.h>
|
|
|
|
#include <errno.h>
|
|
#include <string.h>
|
|
#include <stdlib.h>
|
|
#endif
|
|
|
|
#include "db_int.h"
|
|
#include "shqueue.h"
|
|
#include "db_shash.h"
|
|
#include "lock.h"
|
|
#include "common_ext.h"
|
|
|
|
#define ISSET_MAP(M, N) (M[(N) / 32] & (1 << (N) % 32))
|
|
|
|
#define CLEAR_MAP(M, N) { \
|
|
u_int32_t __i; \
|
|
for (__i = 0; __i < (N); __i++) \
|
|
M[__i] = 0; \
|
|
}
|
|
|
|
#define SET_MAP(M, B) (M[(B) / 32] |= (1 << ((B) % 32)))
|
|
#define CLR_MAP(M, B) (M[(B) / 32] &= ~(1 << ((B) % 32)))
|
|
|
|
#define OR_MAP(D, S, N) { \
|
|
u_int32_t __i; \
|
|
for (__i = 0; __i < (N); __i++) \
|
|
D[__i] |= S[__i]; \
|
|
}
|
|
#define BAD_KILLID 0xffffffff
|
|
|
|
typedef struct {
|
|
int valid;
|
|
u_int32_t id;
|
|
DB_LOCK last_lock;
|
|
db_pgno_t pgno;
|
|
} locker_info;
|
|
|
|
static int __dd_abort __P((DB_ENV *, locker_info *));
|
|
static int __dd_build
|
|
__P((DB_ENV *, u_int32_t **, u_int32_t *, locker_info **));
|
|
static u_int32_t
|
|
*__dd_find __P((u_int32_t *, locker_info *, u_int32_t));
|
|
|
|
#ifdef DEBUG
|
|
static void __dd_debug __P((DB_ENV *, locker_info *, u_int32_t *, u_int32_t));
|
|
#endif
|
|
|
|
int
|
|
lock_detect(lt, flags, atype)
|
|
DB_LOCKTAB *lt;
|
|
int flags;
|
|
u_int32_t atype;
|
|
{
|
|
DB_ENV *dbenv;
|
|
locker_info *idmap;
|
|
u_int32_t *bitmap, *deadlock, i, killid, nentries, nlockers;
|
|
int do_pass, ret;
|
|
|
|
/* Validate arguments. */
|
|
if ((ret =
|
|
__db_fchk(lt->dbenv, "lock_detect", flags, DB_LOCK_CONFLICT)) != 0)
|
|
return (ret);
|
|
|
|
/* Check if a detector run is necessary. */
|
|
dbenv = lt->dbenv;
|
|
if (LF_ISSET(DB_LOCK_CONFLICT)) {
|
|
/* Make a pass every time a lock waits. */
|
|
LOCK_LOCKREGION(lt);
|
|
do_pass = dbenv->lk_info->region->need_dd != 0;
|
|
UNLOCK_LOCKREGION(lt);
|
|
|
|
if (!do_pass)
|
|
return (0);
|
|
}
|
|
|
|
/* Build the waits-for bitmap. */
|
|
if ((ret = __dd_build(dbenv, &bitmap, &nlockers, &idmap)) != 0)
|
|
return (ret);
|
|
|
|
if (nlockers == 0)
|
|
return (0);
|
|
#ifdef DEBUG
|
|
if (dbenv->db_verbose != 0)
|
|
__dd_debug(dbenv, idmap, bitmap, nlockers);
|
|
#endif
|
|
/* Find a deadlock. */
|
|
deadlock = __dd_find(bitmap, idmap, nlockers);
|
|
nentries = ALIGN(nlockers, 32) / 32;
|
|
killid = BAD_KILLID;
|
|
if (deadlock != NULL) {
|
|
/* Kill someone. */
|
|
switch (atype) {
|
|
case DB_LOCK_OLDEST:
|
|
/*
|
|
* Find the first bit set in the current
|
|
* array and then look for a lower tid in
|
|
* the array.
|
|
*/
|
|
for (i = 0; i < nlockers; i++)
|
|
if (ISSET_MAP(deadlock, i))
|
|
killid = i;
|
|
|
|
if (killid == BAD_KILLID) {
|
|
__db_err(dbenv,
|
|
"warning: could not find locker to abort");
|
|
break;
|
|
}
|
|
|
|
/*
|
|
* The oldest transaction has the lowest
|
|
* transaction id.
|
|
*/
|
|
for (i = killid + 1; i < nlockers; i++)
|
|
if (ISSET_MAP(deadlock, i) &&
|
|
idmap[i].id < idmap[killid].id)
|
|
killid = i;
|
|
break;
|
|
case DB_LOCK_DEFAULT:
|
|
case DB_LOCK_RANDOM:
|
|
/*
|
|
* We are trying to calculate the id of the
|
|
* locker whose entry is indicated by deadlock.
|
|
*/
|
|
killid = (deadlock - bitmap) / nentries;
|
|
break;
|
|
case DB_LOCK_YOUNGEST:
|
|
/*
|
|
* Find the first bit set in the current
|
|
* array and then look for a lower tid in
|
|
* the array.
|
|
*/
|
|
for (i = 0; i < nlockers; i++)
|
|
if (ISSET_MAP(deadlock, i))
|
|
killid = i;
|
|
|
|
if (killid == BAD_KILLID) {
|
|
__db_err(dbenv,
|
|
"warning: could not find locker to abort");
|
|
break;
|
|
}
|
|
/*
|
|
* The youngest transaction has the highest
|
|
* transaction id.
|
|
*/
|
|
for (i = killid + 1; i < nlockers; i++)
|
|
if (ISSET_MAP(deadlock, i) &&
|
|
idmap[i].id > idmap[killid].id)
|
|
killid = i;
|
|
break;
|
|
default:
|
|
killid = BAD_KILLID;
|
|
ret = EINVAL;
|
|
}
|
|
|
|
/* Kill the locker with lockid idmap[killid]. */
|
|
if (dbenv->db_verbose != 0 && killid != BAD_KILLID)
|
|
__db_err(dbenv, "Aborting locker %lx",
|
|
(u_long)idmap[killid].id);
|
|
|
|
if (killid != BAD_KILLID &&
|
|
(ret = __dd_abort(dbenv, &idmap[killid])) != 0)
|
|
__db_err(dbenv,
|
|
"warning: unable to abort locker %lx",
|
|
(u_long)idmap[killid].id);
|
|
}
|
|
__db_free(bitmap);
|
|
__db_free(idmap);
|
|
|
|
return (ret);
|
|
}
|
|
|
|
/*
|
|
* ========================================================================
|
|
* Utilities
|
|
*/
|
|
static int
|
|
__dd_build(dbenv, bmp, nlockers, idmap)
|
|
DB_ENV *dbenv;
|
|
u_int32_t **bmp, *nlockers;
|
|
locker_info **idmap;
|
|
{
|
|
struct __db_lock *lp;
|
|
DB_LOCKTAB *lt;
|
|
DB_LOCKOBJ *op, *lo, *lockerp;
|
|
u_int8_t *pptr;
|
|
locker_info *id_array;
|
|
u_int32_t *bitmap, count, *entryp, i, id, nentries, *tmpmap;
|
|
int is_first, ret;
|
|
|
|
lt = dbenv->lk_info;
|
|
|
|
/*
|
|
* We'll check how many lockers there are, add a few more in for
|
|
* good measure and then allocate all the structures. Then we'll
|
|
* verify that we have enough room when we go back in and get the
|
|
* mutex the second time.
|
|
*/
|
|
LOCK_LOCKREGION(lt);
|
|
retry: count = lt->region->nlockers;
|
|
lt->region->need_dd = 0;
|
|
UNLOCK_LOCKREGION(lt);
|
|
|
|
if (count == 0) {
|
|
*nlockers = 0;
|
|
return (0);
|
|
}
|
|
|
|
if (dbenv->db_verbose)
|
|
__db_err(dbenv, "%lu lockers", (u_long)count);
|
|
|
|
count += 10;
|
|
nentries = ALIGN(count, 32) / 32;
|
|
/*
|
|
* Allocate enough space for a count by count bitmap matrix.
|
|
*
|
|
* XXX
|
|
* We can probably save the malloc's between iterations just
|
|
* reallocing if necessary because count grew by too much.
|
|
*/
|
|
if ((bitmap = (u_int32_t *)__db_calloc((size_t)count,
|
|
sizeof(u_int32_t) * nentries)) == NULL) {
|
|
__db_err(dbenv, "%s", strerror(ENOMEM));
|
|
return (ENOMEM);
|
|
}
|
|
|
|
if ((tmpmap =
|
|
(u_int32_t *)__db_calloc(sizeof(u_int32_t), nentries)) == NULL) {
|
|
__db_err(dbenv, "%s", strerror(ENOMEM));
|
|
__db_free(bitmap);
|
|
return (ENOMEM);
|
|
}
|
|
|
|
if ((id_array = (locker_info *)__db_calloc((size_t)count,
|
|
sizeof(locker_info))) == NULL) {
|
|
__db_err(dbenv, "%s", strerror(ENOMEM));
|
|
__db_free(bitmap);
|
|
__db_free(tmpmap);
|
|
return (ENOMEM);
|
|
}
|
|
|
|
/*
|
|
* Now go back in and actually fill in the matrix.
|
|
*/
|
|
LOCK_LOCKREGION(lt);
|
|
if (lt->region->nlockers > count) {
|
|
__db_free(bitmap);
|
|
__db_free(tmpmap);
|
|
__db_free(id_array);
|
|
goto retry;
|
|
}
|
|
|
|
/*
|
|
* First we go through and assign each locker a deadlock detector id.
|
|
* Note that we fill in the idmap in the next loop since that's the
|
|
* only place where we conveniently have both the deadlock id and the
|
|
* actual locker.
|
|
*/
|
|
for (id = 0, i = 0; i < lt->region->table_size; i++)
|
|
for (op = SH_TAILQ_FIRST(<->hashtab[i], __db_lockobj);
|
|
op != NULL; op = SH_TAILQ_NEXT(op, links, __db_lockobj))
|
|
if (op->type == DB_LOCK_LOCKER)
|
|
op->dd_id = id++;
|
|
/*
|
|
* We go through the hash table and find each object. For each object,
|
|
* we traverse the waiters list and add an entry in the waitsfor matrix
|
|
* for each waiter/holder combination.
|
|
*/
|
|
for (i = 0; i < lt->region->table_size; i++) {
|
|
for (op = SH_TAILQ_FIRST(<->hashtab[i], __db_lockobj);
|
|
op != NULL; op = SH_TAILQ_NEXT(op, links, __db_lockobj)) {
|
|
if (op->type != DB_LOCK_OBJTYPE)
|
|
continue;
|
|
CLEAR_MAP(tmpmap, nentries);
|
|
|
|
/*
|
|
* First we go through and create a bit map that
|
|
* represents all the holders of this object.
|
|
*/
|
|
for (lp = SH_TAILQ_FIRST(&op->holders, __db_lock);
|
|
lp != NULL;
|
|
lp = SH_TAILQ_NEXT(lp, links, __db_lock)) {
|
|
if (__lock_getobj(lt, lp->holder,
|
|
NULL, DB_LOCK_LOCKER, &lockerp) != 0) {
|
|
__db_err(dbenv,
|
|
"warning unable to find object");
|
|
continue;
|
|
}
|
|
id_array[lockerp->dd_id].id = lp->holder;
|
|
id_array[lockerp->dd_id].valid = 1;
|
|
|
|
/*
|
|
* If the holder has already been aborted, then
|
|
* we should ignore it for now.
|
|
*/
|
|
if (lp->status == DB_LSTAT_HELD)
|
|
SET_MAP(tmpmap, lockerp->dd_id);
|
|
}
|
|
|
|
/*
|
|
* Next, for each waiter, we set its row in the matrix
|
|
* equal to the map of holders we set up above.
|
|
*/
|
|
for (is_first = 1,
|
|
lp = SH_TAILQ_FIRST(&op->waiters, __db_lock);
|
|
lp != NULL;
|
|
is_first = 0,
|
|
lp = SH_TAILQ_NEXT(lp, links, __db_lock)) {
|
|
if ((ret = __lock_getobj(lt, lp->holder,
|
|
NULL, DB_LOCK_LOCKER, &lockerp)) != 0) {
|
|
__db_err(dbenv,
|
|
"warning unable to find object");
|
|
continue;
|
|
}
|
|
id_array[lockerp->dd_id].id = lp->holder;
|
|
id_array[lockerp->dd_id].valid = 1;
|
|
|
|
/*
|
|
* If the transaction is pending abortion, then
|
|
* ignore it on this iteration.
|
|
*/
|
|
if (lp->status != DB_LSTAT_WAITING)
|
|
continue;
|
|
|
|
entryp = bitmap + (nentries * lockerp->dd_id);
|
|
OR_MAP(entryp, tmpmap, nentries);
|
|
/*
|
|
* If this is the first waiter on the queue,
|
|
* then we remove the waitsfor relationship
|
|
* with oneself. However, if it's anywhere
|
|
* else on the queue, then we have to keep
|
|
* it and we have an automatic deadlock.
|
|
*/
|
|
if (is_first)
|
|
CLR_MAP(entryp, lockerp->dd_id);
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Now for each locker; record its last lock. */
|
|
for (id = 0; id < count; id++) {
|
|
if (!id_array[id].valid)
|
|
continue;
|
|
if ((ret = __lock_getobj(lt,
|
|
id_array[id].id, NULL, DB_LOCK_LOCKER, &lockerp)) != 0) {
|
|
__db_err(dbenv,
|
|
"No locks for locker %lu", (u_long)id_array[id].id);
|
|
continue;
|
|
}
|
|
lp = SH_LIST_FIRST(&lockerp->heldby, __db_lock);
|
|
if (lp != NULL) {
|
|
id_array[id].last_lock = LOCK_TO_OFFSET(lt, lp);
|
|
lo = (DB_LOCKOBJ *)((u_int8_t *)lp + lp->obj);
|
|
pptr = SH_DBT_PTR(&lo->lockobj);
|
|
if (lo->lockobj.size >= sizeof(db_pgno_t))
|
|
memcpy(&id_array[id].pgno, pptr,
|
|
sizeof(db_pgno_t));
|
|
else
|
|
id_array[id].pgno = 0;
|
|
}
|
|
}
|
|
|
|
/* Pass complete, reset the deadlock detector bit. */
|
|
lt->region->need_dd = 0;
|
|
UNLOCK_LOCKREGION(lt);
|
|
|
|
/*
|
|
* Now we can release everything except the bitmap matrix that we
|
|
* created.
|
|
*/
|
|
*nlockers = id;
|
|
*idmap = id_array;
|
|
*bmp = bitmap;
|
|
__db_free(tmpmap);
|
|
return (0);
|
|
}
|
|
|
|
static u_int32_t *
|
|
__dd_find(bmp, idmap, nlockers)
|
|
u_int32_t *bmp, nlockers;
|
|
locker_info *idmap;
|
|
{
|
|
u_int32_t i, j, nentries, *mymap, *tmpmap;
|
|
|
|
/*
|
|
* For each locker, OR in the bits from the lockers on which that
|
|
* locker is waiting.
|
|
*/
|
|
nentries = ALIGN(nlockers, 32) / 32;
|
|
for (mymap = bmp, i = 0; i < nlockers; i++, mymap += nentries) {
|
|
if (!idmap[i].valid)
|
|
continue;
|
|
for (j = 0; j < nlockers; j++) {
|
|
if (ISSET_MAP(mymap, j)) {
|
|
/* Find the map for this bit. */
|
|
tmpmap = bmp + (nentries * j);
|
|
OR_MAP(mymap, tmpmap, nentries);
|
|
if (ISSET_MAP(mymap, i))
|
|
return (mymap);
|
|
}
|
|
}
|
|
}
|
|
return (NULL);
|
|
}
|
|
|
|
static int
|
|
__dd_abort(dbenv, info)
|
|
DB_ENV *dbenv;
|
|
locker_info *info;
|
|
{
|
|
struct __db_lock *lockp;
|
|
DB_LOCKTAB *lt;
|
|
DB_LOCKOBJ *lockerp, *sh_obj;
|
|
int ret;
|
|
|
|
lt = dbenv->lk_info;
|
|
LOCK_LOCKREGION(lt);
|
|
|
|
/* Find the locker's last lock. */
|
|
if ((ret =
|
|
__lock_getobj(lt, info->id, NULL, DB_LOCK_LOCKER, &lockerp)) != 0)
|
|
goto out;
|
|
|
|
lockp = SH_LIST_FIRST(&lockerp->heldby, __db_lock);
|
|
if (LOCK_TO_OFFSET(lt, lockp) != info->last_lock ||
|
|
lockp == NULL || lockp->status != DB_LSTAT_WAITING)
|
|
goto out;
|
|
|
|
/* Abort lock, take it off list, and wake up this lock. */
|
|
lockp->status = DB_LSTAT_ABORTED;
|
|
lt->region->ndeadlocks++;
|
|
SH_LIST_REMOVE(lockp, locker_links, __db_lock);
|
|
sh_obj = (DB_LOCKOBJ *)((u_int8_t *)lockp + lockp->obj);
|
|
SH_TAILQ_REMOVE(&sh_obj->waiters, lockp, links, __db_lock);
|
|
(void)__db_mutex_unlock(&lockp->mutex, lt->fd);
|
|
|
|
ret = 0;
|
|
|
|
out: UNLOCK_LOCKREGION(lt);
|
|
return (ret);
|
|
}
|
|
|
|
#ifdef DEBUG
|
|
static void
|
|
__dd_debug(dbenv, idmap, bitmap, nlockers)
|
|
DB_ENV *dbenv;
|
|
locker_info *idmap;
|
|
u_int32_t *bitmap, nlockers;
|
|
{
|
|
u_int32_t i, j, *mymap, nentries;
|
|
char *msgbuf;
|
|
|
|
__db_err(dbenv, "Waitsfor array");
|
|
__db_err(dbenv, "waiter\twaiting on");
|
|
/*
|
|
* Allocate space to print 10 bytes per item waited on.
|
|
*/
|
|
if ((msgbuf = (char *)__db_malloc((nlockers + 1) * 10 + 64)) == NULL) {
|
|
__db_err(dbenv, "%s", strerror(ENOMEM));
|
|
return;
|
|
}
|
|
|
|
nentries = ALIGN(nlockers, 32) / 32;
|
|
for (mymap = bitmap, i = 0; i < nlockers; i++, mymap += nentries) {
|
|
if (!idmap[i].valid)
|
|
continue;
|
|
sprintf(msgbuf, /* Waiter. */
|
|
"%lx/%lu:\t", (u_long)idmap[i].id, (u_long)idmap[i].pgno);
|
|
for (j = 0; j < nlockers; j++)
|
|
if (ISSET_MAP(mymap, j))
|
|
sprintf(msgbuf, "%s %lx", msgbuf,
|
|
(u_long)idmap[j].id);
|
|
(void)sprintf(msgbuf,
|
|
"%s %lu", msgbuf, (u_long)idmap[i].last_lock);
|
|
__db_err(dbenv, msgbuf);
|
|
}
|
|
|
|
__db_free(msgbuf);
|
|
}
|
|
#endif
|