check.c File Reference

#include "internal.h"

Include dependency graph for check.c:

Go to the source code of this file.

Macros
#define	DLIST_CHECK1(list, nodevar, body)
#define	DLIST_CHECK2(list, nodevar, part, body)
#define	DLIST_ASSERTON(node, nodevar, list, part)

Functions
void	adns_checkconsistency (adns_state ads, adns_query qu)
static void	checkc_query_alloc (adns_state ads, adns_query qu)
static void	checkc_query (adns_state ads, adns_query qu)
static void	checkc_notcpbuf (adns_state ads)
static void	checkc_global (adns_state ads)
static void	checkc_queue_udpw (adns_state ads)
static void	checkc_queue_tcpw (adns_state ads)
static void	checkc_queue_childw (adns_state ads)
static void	checkc_queue_output (adns_state ads)
void	adns__consistency (adns_state ads, adns_query qu, consistency_checks cc)

Macro Definition Documentation

DLIST_ASSERTON

#define DLIST_ASSERTON	(		node,
			nodevar,
			list,
			part
	)

Value:

do {                                        \
    for ((nodevar)= (list).head;                        \
     (nodevar) != (node);                           \
     (nodevar)= (nodevar)->part next) {                 \
      assert((nodevar));                            \
    }                                       \
  } while(0)

Definition at line 70 of file check.c.

DLIST_CHECK1

#define DLIST_CHECK1	(		list,
			nodevar,
			body
	)

Value:

if ((list).head) {                              \
    assert(! (list).head->back);                        \
    for ((nodevar)= (list).head; (nodevar); (nodevar)= (nodevar)->next) {   \
      assert((nodevar)->next                        \
         ? (nodevar) == (nodevar)->next->back           \
         : (nodevar) == (list).tail);                   \
      body                                  \
    }                                       \
  }

Definition at line 48 of file check.c.

DLIST_CHECK2

#define DLIST_CHECK2	(		list,
			nodevar,
			part,
			body
	)

Value:

if ((list).head) {                              \
    assert(! (list).head->part.back);                       \
    for ((nodevar)= (list).head; (nodevar); (nodevar)= (nodevar)->part.next) {  \
      assert((nodevar)->part.next                       \
         ? (nodevar) == (nodevar)->part.next->part.back         \
         : (nodevar) == (list).tail);                   \
      body                                  \
    }                                       \
  }

Definition at line 59 of file check.c.

Function Documentation

adns__consistency()

void adns__consistency	(	adns_state	ads,
		adns_query	qu,
		consistency_checks	cc
	)

Definition at line 185 of file check.c.

                                                                             {
  adns_query search;

  switch (cc) {
  case cc_user:
    break;
  case cc_entex:
    if (!(ads->iflags & adns_if_checkc_entex)) return;
    break;
  case cc_freq:
    if ((ads->iflags & adns_if_checkc_freq) != adns_if_checkc_freq) return;
    break;
  default:
    abort();
  }

  checkc_global(ads);
  checkc_queue_udpw(ads);
  checkc_queue_tcpw(ads);
  checkc_queue_childw(ads);
  checkc_queue_output(ads);

  if (qu) {
    switch (qu->state) {
    case query_tosend:
      DLIST_ASSERTON(qu, search, ads->udpw, );
      break;
    case query_tcpw:
      DLIST_ASSERTON(qu, search, ads->tcpw, );
      break;
    case query_childw:
      DLIST_ASSERTON(qu, search, ads->childw, );
      break;
    case query_done:
      DLIST_ASSERTON(qu, search, ads->output, );
      break;
    default:
      assert(!"specific query state");
    }
  }
}

Referenced by adns_afterselect(), adns_beforeselect(), adns_cancel(), adns_check(), adns_checkconsistency(), adns_finish(), adns_firsttimeout(), adns_forallqueries_begin(), adns_forallqueries_next(), adns_globalsystemfailure(), adns_init(), adns_init_strcfg(), adns_processany(), adns_processexceptional(), adns_processreadable(), adns_processtimeouts(), adns_processwriteable(), adns_submit(), and adns_wait().

adns_checkconsistency()

void adns_checkconsistency	(	adns_state	ads,
		adns_query	qu
	)

Definition at line 30 of file check.c.

                                                          {
  adns__consistency(ads,qu,cc_user);
}

checkc_global()

static void checkc_global ( adns_state  ads )

static

Definition at line 102 of file check.c.

                                          {
  int i;
  
  assert(ads->udpsocket >= 0);

  for (i=0; i<ads->nsortlist; i++)
    assert(!(ads->sortlist[i].base.s_addr & ~ads->sortlist[i].mask.s_addr));

  assert(ads->tcpserver >= 0 && ads->tcpserver < ads->nservers);

  switch (ads->tcpstate) {
  case server_connecting:
    assert(ads->tcpsocket >= 0);
    checkc_notcpbuf(ads);
    break;
  case server_disconnected:
  case server_broken:
    assert(ads->tcpsocket == -1);
    checkc_notcpbuf(ads);
    break;
  case server_ok:
    assert(ads->tcpsocket >= 0);
    assert(ads->tcprecv_skip <= ads->tcprecv.used);
    break;
  default:
    assert(!"ads->tcpstate value");
  }

  assert(ads->searchlist || !ads->nsearchlist);
}

Referenced by adns__consistency().

checkc_notcpbuf()

static void checkc_notcpbuf ( adns_state  ads )

static

Definition at line 96 of file check.c.

                                            {
  assert(!ads->tcpsend.used);
  assert(!ads->tcprecv.used);
  assert(!ads->tcprecv_skip);
}

Referenced by checkc_global().

checkc_query()

static void checkc_query ( adns_state  ads, adns_query  qu  )

static

Definition at line 87 of file check.c.

                                                        {
  adns_query child;

  assert(qu->udpnextserver < ads->nservers);
  assert(!(qu->udpsent & (~0UL << ads->nservers)));
  assert(qu->search_pos <= ads->nsearchlist);
  if (qu->parent) DLIST_ASSERTON(qu, child, qu->parent->children, siblings.);
}

Referenced by checkc_queue_childw().

checkc_query_alloc()

static void checkc_query_alloc ( adns_state  ads, adns_query  qu  )

static

Definition at line 79 of file check.c.

                                                              {
  allocnode *an;


  DLIST_CHECK1(qu->allocations, an, {
  });
}

Referenced by checkc_queue_childw().

checkc_queue_childw()

static void checkc_queue_childw ( adns_state  ads )

static

Definition at line 158 of file check.c.

                                                {
  adns_query parent, child;

  DLIST_CHECK1(ads->childw, parent, {
    assert(parent->state == query_childw);
    assert(parent->children.head);
    DLIST_CHECK2(parent->children, child, siblings, {
      assert(child->parent == parent);
      assert(child->state != query_done);
    });
    checkc_query(ads,parent);
    checkc_query_alloc(ads,parent);
  });
}

Referenced by adns__consistency().

checkc_queue_output()

static void checkc_queue_output ( adns_state  ads )

static

Definition at line 173 of file check.c.

                                                {
  adns_query qu;

  DLIST_CHECK1(ads->output, qu, {
    assert(qu->state == query_done);
    assert(!qu->children.head && !qu->children.tail);
    assert(!qu->parent);
    assert(!qu->allocations.head && !qu->allocations.tail);
    checkc_query(ads,qu);
  });
}

Referenced by adns__consistency().

checkc_queue_tcpw()

static void checkc_queue_tcpw ( adns_state  ads )

static

Definition at line 146 of file check.c.

                                              {
  adns_query qu;

  DLIST_CHECK1(ads->tcpw, qu, {
    assert(qu->state==query_tcpw);
    assert(!qu->children.head && !qu->children.tail);
    assert(qu->retries <= ads->nservers+1);
    checkc_query(ads,qu);
    checkc_query_alloc(ads,qu);
  });
}

Referenced by adns__consistency().

checkc_queue_udpw()

static void checkc_queue_udpw ( adns_state  ads )

static

Definition at line 133 of file check.c.

                                              {
  adns_query qu;

  DLIST_CHECK1(ads->udpw, qu, {
    assert(qu->state==query_tosend);
    assert(qu->retries <= UDPMAXRETRIES);
    assert(qu->udpsent);
    assert(!qu->children.head && !qu->children.tail);
    checkc_query(ads,qu);
    checkc_query_alloc(ads,qu);
  });
}

Referenced by adns__consistency().