qam_verify.c
上传用户:romrleung
上传日期:2022-05-23
资源大小:18897k
文件大小:5k
- /*-
- * See the file LICENSE for redistribution information.
- *
- * Copyright (c) 1999-2002
- * Sleepycat Software. All rights reserved.
- */
- #include "db_config.h"
- #ifndef lint
- static const char revid[] = "$Id: qam_verify.c,v 1.30 2002/06/26 20:49:27 bostic Exp $";
- #endif /* not lint */
- #ifndef NO_SYSTEM_INCLUDES
- #include <sys/types.h>
- #endif
- #include "db_int.h"
- #include "dbinc/db_page.h"
- #include "dbinc/db_verify.h"
- #include "dbinc/qam.h"
- #include "dbinc/db_am.h"
- /*
- * __qam_vrfy_meta --
- * Verify the queue-specific part of a metadata page.
- *
- * PUBLIC: int __qam_vrfy_meta __P((DB *, VRFY_DBINFO *, QMETA *,
- * PUBLIC: db_pgno_t, u_int32_t));
- */
- int
- __qam_vrfy_meta(dbp, vdp, meta, pgno, flags)
- DB *dbp;
- VRFY_DBINFO *vdp;
- QMETA *meta;
- db_pgno_t pgno;
- u_int32_t flags;
- {
- VRFY_PAGEINFO *pip;
- int isbad, ret, t_ret;
- if ((ret = __db_vrfy_getpageinfo(vdp, pgno, &pip)) != 0)
- return (ret);
- isbad = 0;
- /*
- * Queue can't be used in subdatabases, so if this isn't set
- * something very odd is going on.
- */
- if (!F_ISSET(pip, VRFY_INCOMPLETE))
- EPRINT((dbp->dbenv,
- "Page %lu: queue databases must be one-per-file",
- (u_long)pgno));
- /*
- * cur_recno/rec_page
- * Cur_recno may be one beyond the end of the page and
- * we start numbering from 1.
- */
- if (vdp->last_pgno > 0 && meta->cur_recno > 0 &&
- meta->cur_recno - 1 > meta->rec_page * vdp->last_pgno) {
- EPRINT((dbp->dbenv,
- "Page %lu: current recno %lu references record past last page number %lu",
- (u_long)pgno,
- (u_long)meta->cur_recno, (u_long)vdp->last_pgno));
- isbad = 1;
- }
- /*
- * re_len: If this is bad, we can't safely verify queue data pages, so
- * return DB_VERIFY_FATAL
- */
- if (ALIGN(meta->re_len + sizeof(QAMDATA) - 1, sizeof(u_int32_t)) *
- meta->rec_page + QPAGE_SZ(dbp) > dbp->pgsize) {
- EPRINT((dbp->dbenv,
- "Page %lu: queue record length %lu too high for page size and recs/page",
- (u_long)pgno, (u_long)meta->re_len));
- ret = DB_VERIFY_FATAL;
- goto err;
- } else {
- vdp->re_len = meta->re_len;
- vdp->rec_page = meta->rec_page;
- }
- err: if ((t_ret =
- __db_vrfy_putpageinfo(dbp->dbenv, vdp, pip)) != 0 && ret == 0)
- ret = t_ret;
- return (ret == 0 && isbad == 1 ? DB_VERIFY_BAD : ret);
- }
- /*
- * __qam_vrfy_data --
- * Verify a queue data page.
- *
- * PUBLIC: int __qam_vrfy_data __P((DB *, VRFY_DBINFO *, QPAGE *,
- * PUBLIC: db_pgno_t, u_int32_t));
- */
- int
- __qam_vrfy_data(dbp, vdp, h, pgno, flags)
- DB *dbp;
- VRFY_DBINFO *vdp;
- QPAGE *h;
- db_pgno_t pgno;
- u_int32_t flags;
- {
- DB fakedb;
- struct __queue fakeq;
- QAMDATA *qp;
- db_recno_t i;
- u_int8_t qflags;
- /*
- * Not much to do here, except make sure that flags are reasonable.
- *
- * QAM_GET_RECORD assumes a properly initialized q_internal
- * structure, however, and we don't have one, so we play
- * some gross games to fake it out.
- */
- fakedb.q_internal = &fakeq;
- fakedb.flags = dbp->flags;
- fakeq.re_len = vdp->re_len;
- for (i = 0; i < vdp->rec_page; i++) {
- qp = QAM_GET_RECORD(&fakedb, h, i);
- if ((u_int8_t *)qp >= (u_int8_t *)h + dbp->pgsize) {
- EPRINT((dbp->dbenv,
- "Page %lu: queue record %lu extends past end of page",
- (u_long)pgno, (u_long)i));
- return (DB_VERIFY_BAD);
- }
- qflags = qp->flags;
- qflags &= !(QAM_VALID | QAM_SET);
- if (qflags != 0) {
- EPRINT((dbp->dbenv,
- "Page %lu: queue record %lu has bad flags",
- (u_long)pgno, (u_long)i));
- return (DB_VERIFY_BAD);
- }
- }
- return (0);
- }
- /*
- * __qam_vrfy_structure --
- * Verify a queue database structure, such as it is.
- *
- * PUBLIC: int __qam_vrfy_structure __P((DB *, VRFY_DBINFO *, u_int32_t));
- */
- int
- __qam_vrfy_structure(dbp, vdp, flags)
- DB *dbp;
- VRFY_DBINFO *vdp;
- u_int32_t flags;
- {
- VRFY_PAGEINFO *pip;
- db_pgno_t i;
- int ret, isbad;
- isbad = 0;
- if ((ret = __db_vrfy_getpageinfo(vdp, PGNO_BASE_MD, &pip)) != 0)
- return (ret);
- if (pip->type != P_QAMMETA) {
- EPRINT((dbp->dbenv,
- "Page %lu: queue database has no meta page",
- (u_long)PGNO_BASE_MD));
- isbad = 1;
- goto err;
- }
- if ((ret = __db_vrfy_pgset_inc(vdp->pgset, 0)) != 0)
- goto err;
- for (i = 1; i <= vdp->last_pgno; i++) {
- /* Send feedback to the application about our progress. */
- if (!LF_ISSET(DB_SALVAGE))
- __db_vrfy_struct_feedback(dbp, vdp);
- if ((ret = __db_vrfy_putpageinfo(dbp->dbenv, vdp, pip)) != 0 ||
- (ret = __db_vrfy_getpageinfo(vdp, i, &pip)) != 0)
- return (ret);
- if (!F_ISSET(pip, VRFY_IS_ALLZEROES) &&
- pip->type != P_QAMDATA) {
- EPRINT((dbp->dbenv,
- "Page %lu: queue database page of incorrect type %lu",
- (u_long)i, (u_long)pip->type));
- isbad = 1;
- goto err;
- } else if ((ret = __db_vrfy_pgset_inc(vdp->pgset, i)) != 0)
- goto err;
- }
- err: if ((ret = __db_vrfy_putpageinfo(dbp->dbenv, vdp, pip)) != 0)
- return (ret);
- return (isbad == 1 ? DB_VERIFY_BAD : 0);
- }