source: branches/new-custids/cgi-bin/consistency-check.pl@ 419

Last change on this file since 419 was 190, checked in by Kris Deugau, 20 years ago

/trunk

consistency-check.pl:
Updated to be consistent with the new alloctypes and to check

the new container types for CIDR-level correctness.

Made output more consistent.

  • Property svn:executable set to *
  • Property svn:keywords set to Date Rev Author
File size: 7.0 KB
Line 
1#!/usr/bin/perl
2# ipdb/cgi-bin/consistency-check.pl
3# Does full check to see if the data in the db is consistent and complete.
4###
5# SVN revision info
6# $Date: 2005-03-08 22:40:12 +0000 (Tue, 08 Mar 2005) $
7# SVN revision $Rev: 190 $
8# Last update by $Author: kdeugau $
9###
10# Copyright (C) 2004 - Kris Deugau
11
12use DBI;
13use MyIPDB;
14use NetAddr::IP;
15
16($dbh,$errstr) = connectDB_My;
17
18# May as well. We need a number of globals.
19initIPDBGlobals($dbh);
20
21print "Checking master containment...\n";
22
23# First check - make sure ALL routes and allocated blocks are part
24# of one of the master blocks.
25print " Checking routed blocks:";
26$sth = $dbh->prepare("select cidr from routed");
27$sth->execute;
28$flag = '';
29ROUTED: while (@data = $sth->fetchrow_array) {
30 $cidr = new NetAddr::IP $data[0];
31 foreach $master (@masterblocks) {
32 if ($master->contains($cidr)) { next ROUTED; }
33 }
34 print "\n $cidr not mastered";
35}
36print "$flag done.\n";
37
38# Next test: All allocations must be part of a master.
39print " Checking allocations:";
40$sth = $dbh->prepare("select cidr from allocations");
41$sth->execute;
42$flag = '';
43ALLOCATED: while (@data = $sth->fetchrow_array) {
44 $cidr = new NetAddr::IP $data[0];
45 foreach $master (@masterblocks) {
46 if ($master->contains($cidr)) { next ALLOCATED; }
47 }
48 print "\n $cidr not mastered";
49 $flag = "\n ";
50}
51print "$flag done.\n";
52
53# Next: free blocks
54print " Checking freeblocks:";
55$sth = $dbh->prepare("select cidr from freeblocks order by cidr");
56$sth->execute;
57$flag = '';
58FREEBLOCK: while (@data = $sth->fetchrow_array) {
59 $cidr = new NetAddr::IP $data[0];
60 foreach $master (@masterblocks) {
61 if ($master->contains($cidr)) { next FREEBLOCK; }
62 }
63 print "\n $cidr not mastered";
64 $flag = "\n ";
65}
66print "$flag done.\n";
67
68print "Done checking master containment.\n\n";
69
70print "Checking pool containment...\n";
71
72$sth = $dbh->prepare("select pool,ip from poolips order by ip");
73$sth->execute;
74while (@data = $sth->fetchrow_array) {
75 $pool = new NetAddr::IP $data[0];
76 $ip = new NetAddr::IP $data[1];
77 print " IP $ip listed with incorrect pool $pool\n"
78 if !$pool->contains($ip);
79}
80$sth = $dbh->prepare("select distinct pool from poolips order by pool");
81$sth->execute;
82while (@data = $sth->fetchrow_array) {
83 $sth2 = $dbh->prepare("select cidr from allocations where cidr='$data[0]'");
84 $sth2->execute;
85 print " Pool $data[0] does not exist in allocations table\n"
86 if (($sth2->fetchrow_array)[0] eq '');
87}
88
89print "Done checking pool containment.\n\n";
90
91print "Checking block-alignment consistency...\n";
92
93# Block alignment consistency: All allocated+free blocks within a master
94# must NOT overlap, and they must show no gaps.
95# eg, if we have blocks:
96# master is 192.168.2.0/24
97# allocated 192.168.2.0/29, 192.168.2.8/29, 192.168.2.64/26
98# free 192.168.2.16/28, 192.168.2.32/27, 192.168.2.128/25
99# then we're OK, but if any one of the allocated or free blocks is missing,
100# something b0rked.
101
102# (select cidr from allocations where cidr <<= '$master') union
103# (select cidr from freeblocks where cidr <<= '$master')
104# order by cidr
105
106foreach $master (@masterblocks) {
107 print " Master $master:\n";
108 $prev = $master;
109 $sth = $dbh->prepare("(select network(cidr) as net, broadcast(cidr) as bcast ".
110 "from allocations where cidr <<= '$master' and type not like '_c') ".
111 "union (select network(cidr) as net, broadcast(cidr) as bcast ".
112 "from freeblocks where cidr <<= '$master' and not (routed='c')) order by net");
113 $sth->execute;
114
115 while (@data = $sth->fetchrow_array) {
116 $cur = new NetAddr::IP $data[0];
117
118 if ($master->numeric == $prev->numeric) {
119 # check if cur starts with master
120 if ($cur->numeric > $prev->numeric) {
121 print " Gap from start of master $master to first block $cur\n";
122 } elsif ($cur->numeric < $prev->numeric) {
123 print " BIG problem! Current block $cur begins before master $master!\n";
124 }
125 } else {
126 if ($cur->numeric < ($prev->numeric + 1)) {
127 print " Block ".$prev->network." overlaps block $cur\n";
128 } elsif ($cur->numeric > ($prev->numeric + 1)) {
129 print " Gap between end of block ".$prev->network." and block $cur\n";
130 }
131 }
132
133 $prev = $cur;
134 $prev--;
135
136 } # while (@data...)
137
138 $cur--;
139 $master--;
140 if ($cur->numeric ne $master->numeric) {
141 print " Gap from $cur to end of master at $master\n";
142 }
143 print " done $master.\n";
144}
145
146print "Done checking block alignment.\n\n";
147
148print "Checking containment on container blocks...\n";
149# First, we need a list of containers.
150# Then, we check all of the contained blocks to see if they're within
151# the proper container.
152$sth = $dbh->prepare("select cidr from allocations where type like '_c' order by cidr");
153$sth->execute;
154$i=0;
155while (@data = $sth->fetchrow_array) {
156 $containers[$i++] = new NetAddr::IP $data[0];
157}
158print " Checking general containment:";
159$sth = $dbh->prepare("select cidr from allocations where type like '_r' order by cidr");
160$sth->execute;
161$flag = '';
162CONTAINED: while (@data = $sth->fetchrow_array) {
163 $cidr = new NetAddr::IP $data[0];
164 foreach $container (@containers) {
165 next CONTAINED if $container->contains($cidr);
166 }
167 print "\n $cidr not contained";
168 $flag = "\n ";
169}
170print "$flag done.\n";
171print " Checking alignment:\n";
172foreach $container (@containers) {
173 print " Container $container:\n";
174 $prev = $container;
175 $sth = $dbh->prepare("(select network(cidr) as net, broadcast(cidr) as bcast ".
176 "from allocations where cidr <<= '$container' and type like '_r') ".
177 "union (select network(cidr) as net, broadcast(cidr) as bcast ".
178 "from freeblocks where cidr <<= '$container' and routed='w') order by net");
179 $sth->execute;
180
181 while (@data = $sth->fetchrow_array) {
182 $cur = new NetAddr::IP $data[0];
183
184 if ($container->numeric == $prev->numeric) {
185 # check if cur starts with master
186 if ($cur->numeric > $prev->numeric) {
187 print " Gap from start of container $container to first block $cur\n";
188 } elsif ($cur->numeric < $prev->numeric) {
189 print " BIG problem! Current block $cur begins before container $container!\n";
190 }
191 } else {
192 if ($cur->numeric < ($prev->numeric + 1)) {
193 print " Block ".$prev->network." overlaps block $cur\n";
194 } elsif ($cur->numeric > ($prev->numeric + 1)) {
195 print " Gap between end of block ".$prev->network." and block $cur\n";
196 }
197 }
198
199 $prev = $cur;
200 $prev--;
201
202 } # while (@data...)
203
204 $cur--;
205 $container--;
206 if ($cur->numeric ne $container->numeric) {
207 print " Gap from $cur to end of container at $container\n";
208 }
209 print " done $container.\n";
210
211}
212print " done container alignment.\n";
213print "Done checking container containment.\n\n";
214
215print "Checking for correctness on 'defined' CustIDs:\n";
216# New check: Make sure "defined" CustIDs are correct.
217$sth = $dbh->prepare("select cidr,type,custid from allocations where not type='cn' order by cidr");
218$sth->execute;
219while (@data = $sth->fetchrow_array) {
220 print "$data[0] ($disp_alloctypes{$data[1]}) has incorrect CustID $data[2]\n"
221 if $data[2] ne $def_custids{$data[1]};
222}
223
224print "Done CustID correctness check.\n";
Note: See TracBrowser for help on using the repository browser.