Compare commits

..

No commits in common. "f442ff7790eb3b42d39afc60089b9f09d3dc186c" and "e224d1fb981125fc65dcc30ad2c53795e1bf16a4" have entirely different histories.

3 changed files with 112 additions and 167 deletions

View File

@ -1,35 +1,32 @@
#include "radix.h" #include "radix.h"
#define GET_BIT(key, mask) ( ((key[0] & mask[0]) | (key[1] & mask[1])) != 0 ) #define GET_BIT(key, bit) ( ( key.s[ bit / 16 ] & (1u << (15 - bit % 16)) ) != 0 )
#define SHIFT_MASK(mask) mask[0] >>= 1, mask[1] = (mask[1] >> 1) || !(mask[0])
int radix_insert(radix_holder_t, record_t); radix_node_t create_node(ipv6_t key, unsigned end_bit, unsigned rule) {
int radix_search(radix_holder_t, record_t); radix_node_t ret = calloc(1, sizeof(struct radix_node));
ret->_ip = key;
radix_holder_t create_holder() { ret->_ip_end_bit = end_bit;
radix_holder_t ret = calloc(1, sizeof(struct radix_holder)); ret->_rule_valid = VALID_RULE;
return ret; ret->_rule = rule;
}
radix_node_t create_node(record_t record) {
radix_node_t ret = malloc(sizeof(struct radix_node));
record->_valid = VALID_RULE;
memcpy(&ret->_data, record, sizeof(struct routing_record));
ret->_l = ret->_r = NULL;
return ret; return ret;
} }
static radix_node_t clone_node(radix_node_t n) { static radix_node_t clone_node(radix_node_t n) {
radix_node_t ret = malloc(sizeof(struct radix_node)); radix_node_t ret = calloc(1, sizeof(struct radix_node));
memcpy(ret, n, sizeof(struct radix_node)); memcpy(ret, n, sizeof(struct radix_node));
return ret; return ret;
} }
static void split_node(radix_node_t n, unsigned bit) { static void split_node(radix_node_t n, unsigned bit) {
radix_node_t tmp = clone_node(n); radix_node_t tmp = clone_node(n);
n->_data._mask = bit; n->_ip_end_bit = bit;
n->_l = n->_r = tmp; n->_l = n->_r = tmp;
n->_data._valid = INVALID_RULE; n->_rule_valid = INVALID_RULE;
}
radix_holder_t create_holder() {
radix_holder_t ret = calloc(1, sizeof(struct radix_holder));
return ret;
} }
int destory_holder(struct radix_holder* t) { int destory_holder(struct radix_holder* t) {
@ -46,28 +43,24 @@ int destory_node(struct radix_node* n) {
return ret; return ret;
} }
int radix_insert(radix_holder_t t, record_t /*restrict*/ r) { int radix_insert(radix_holder_t t, ipv6_t key, int val, int mask) {
unsigned char b; unsigned char b;
unsigned char ibit = 0; int ibit;
unsigned long mask[2] = {0x01ul << 63, 0x00};
radix_node_t node = t->_root; radix_node_t node = t->_root;
radix_node_t* next = &t->_root; radix_node_t* next = &t->_root;
r->_valid = INVALID_RULE; if (!t->_root) {
t->_root = create_node(key, mask, val);
if (!node) {
t->_root = create_node(r);
return t->_size = 1; return t->_size = 1;
} }
/*todo zkontrolovat mezni hodnoty, masku 128 a tak.. */
for (ibit = 0; ibit < r->_mask; ++ibit, SHIFT_MASK(mask)) { for (ibit = 0; ibit < mask; ++ibit) {
b = GET_BIT(r->_ip, mask); b = GET_BIT(key, ibit);
if (ibit == node->_data._mask) { /* node ends */ if (ibit >= node->_ip_end_bit) { /* node key ends */
next = b ? &node->_l : &node->_r; next = b ? &node->_l : &node->_r;
if (!*next) { /* add child */ if (!*next) {
*next = create_node(r); *next = create_node(key, mask, val);
++t->_size; ++t->_size;
return 1; return 1;
} }
@ -76,49 +69,48 @@ int radix_insert(radix_holder_t t, record_t /*restrict*/ r) {
continue; continue;
} }
if (b != GET_BIT(node->_data._ip, mask)) {/* bit differs -> split node */ if (b == GET_BIT(node->_ip, ibit)) /* bit match */
split_node(node, ibit); continue;
next = b ? &node->_l : &node->_r; /* new node */
*next = create_node(r);
++t->_size; next = b ? &node->_l : &node->_r;
return 1; if (*next && ibit == mask - 1) { /* last bit mismatch */
} node = *next;
continue;
} }
/* insert before */ split_node(node, ibit); /* split node */
if (node->_data._mask > r->_mask) { *next = create_node(key, mask, val);
split_node(node, ibit);
b = GET_BIT(node->_data._ip, mask);
next = b ? &node->_r : &node->_l;
*next = NULL;
r->_valid = VALID_RULE;
memcpy(&node->_data, r, sizeof(struct routing_record));
++t->_size; ++t->_size;
return 1; return 1;
} }
/* exact match */ /* exact match */
if (node->_data._mask == r->_mask && ibit == r->_mask) { if (node->_rule_valid && node->_ip_end_bit == mask) {
if (node->_data._valid) printf("WARNING: conflicting rule %x:%x:%x:%x:%x:%x:%x:%x",
key.s[0], key.s[1], key.s[2], key.s[3],
key.s[4], key.s[5], key.s[6], key.s[7]);
printf("/%d %d\n", mask, val);
return 0; return 0;
/* make valid */
node->_data._valid = VALID_RULE;
node->_data._rule = r->_rule;
++t->_size;
return 1;
} }
/* match with lower mask */
if (node->_rule_valid) {
split_node(node, ibit);
printf("!!!!!!!!!!!!!!\n"); b = GET_BIT(node->_ip, ibit + 1);
return 0; next = b ? &node->_r : &node->_l;
*next = NULL;
}
node->_rule_valid = VALID_RULE;
node->_rule = val;
return 1;
} }
int radix_search(radix_holder_t t, record_t r) { int radix_search(radix_holder_t t, ipv6_t key) {
unsigned char b;
int ret = INVALID_RULE; int ret = INVALID_RULE;
/*
radix_node_t iter = t->_root; radix_node_t iter = t->_root;
int ibit = 0; int ibit = 0;
if (!iter) if (!iter)
@ -131,14 +123,13 @@ int radix_search(radix_holder_t t, record_t r) {
b == GET_BIT(iter->_ip, ibit)) b == GET_BIT(iter->_ip, ibit))
continue; continue;
if (ibit == iter->_ip_end_bit) // set result if full match if (ibit == iter->_ip_end_bit) /* set result if full match */
ret = iter->_rule_valid ? iter->_rule : ret; ret = iter->_rule_valid ? iter->_rule : ret;
iter = b ? iter->_l : iter->_r; iter = b ? iter->_l : iter->_r;
if (!iter) if (!iter)
return ret; return ret;
} }
*/
return ret; return ret;
} }
@ -148,68 +139,30 @@ int radix_search(radix_holder_t t, record_t r) {
/* TESTING */ /* TESTING */
/*--------------------------------------------------------------------------------*/ /*--------------------------------------------------------------------------------*/
#include <assert.h> #include <assert.h>
#include <arpa/inet.h>
#define RULES_FILE "../data/routing-data" #define RULES_FILE "../data/routing-data"
#define TEST_FILE "../data/test-data" #define TEST_FILE "../data/test-data"
#define TEST_ROWS 0 /*66319*/ #define TEST_ROWS 5527
#define READ_MODE "r" #define READ_MODE "r"
int parse_line(FILE* f, record_t r) { int parse_line(ipv6_t* key, int* val, int* mask, FILE* f) { /*! assumes only good input */
int ikey, jkey; memset(key, 0, sizeof(ipv6_t));
unsigned long key[2] = {0,0};
struct in6_addr addr;
char ipv6_cidr[50];
char *separator;
if (fgets(ipv6_cidr, sizeof(ipv6_cidr), f) == NULL) { fscanf(f, "%hx:%hx:%hx:%hx:%hx:%hx:%hx:%hx",
if (!feof(f)) &key->s[0], &key->s[1], &key->s[2], &key->s[3],
printf("error reading\n"); &key->s[4], &key->s[5], &key->s[6], &key->s[7]);
return 0;
}
ipv6_cidr[strcspn(ipv6_cidr, "\n")] = 0; if (feof(f)) return 0; /* ends with newline */
separator = strchr(ipv6_cidr, '/'); while (fgetc(f) != '/');
if (!separator) {
printf("invalid CIDR notation\n");
return 1;
}
*separator++ = '\0'; fscanf(f, "%d %d", mask, val);
r->_mask = atoi(separator);
separator = strchr(separator, ' ');
r->_rule = atoi(++separator);
if (r->_mask < 0 || r->_mask > 128) {
printf("invalid prefix length\n");
return 1;
}
if (r->_rule < 0 || r->_rule > 65536) {
printf("invalid pop\n");
return 1;
}
if (inet_pton(AF_INET6, ipv6_cidr, &addr) != 1) {
printf("%s invalid address\n", ipv6_cidr);
return 0;
}
for (ikey = 0; ikey < 2; ++ikey) {
for (jkey = 0; jkey < 8; ++jkey) {
key[ikey] = (key[ikey] << 8) | addr.__in6_u.__u6_addr8[jkey + (ikey * 8)];
}
}
r->_ip[0] = key[0];
r->_ip[1] = key[1];
r->_valid = VALID_RULE;
return !feof(f); return !feof(f);
} }
int load_input(radix_holder_t t) { int load_input(radix_holder_t t) {
struct routing_record r; int val;
int mask;
ipv6_t key;
FILE* f; FILE* f;
int cnt = 0; int cnt = 0;
@ -218,77 +171,68 @@ int load_input(radix_holder_t t) {
exit(1); exit(1);
} }
while (parse_line(f, &r)) { while (parse_line(&key, &val, &mask, f)) {
if (radix_insert(t, &r)) cnt += radix_insert(t, key, val, mask);
++cnt;
else
printf("WARNING: conflicting insert\n");
} }
fclose(f); fclose(f);
return cnt; return cnt;
} }
int load_tests(unsigned long** subnets, int** rref) { int load_tests(ipv6_t** rips, int** rref) {
/* ipv6_t* ips;
unsigned long* ips;
int* ref; int* ref;
int row; int row;
FILE* f; FILE* f;
struct routing_record r;
if (!(f = fopen( TEST_FILE, READ_MODE ))) { if (!(f = fopen( TEST_FILE, READ_MODE ))) {
puts("cant open test file"); puts("cant open test file");
exit(1); exit(1);
} }
ips = calloc( TEST_ROWS, sizeof(unsigned long) ); ips = calloc( TEST_ROWS, sizeof(ipv6_t) );
ref = calloc( TEST_ROWS, sizeof(int) ); ref = calloc( TEST_ROWS, sizeof(int) );
for (row = 0; row < TEST_ROWS; ++ row) { for (row = 0; row < TEST_ROWS; ++ row) {
parse_line(f, &r); fscanf(f, "%hx:%hx:%hx:%hx:%hx:%hx:%hx:%hx",
ips[row] = r._ip; &ips[row].s[0], &ips[row].s[1], &ips[row].s[2], &ips[row].s[3],
ref[row] = r._rule; &ips[row].s[4], &ips[row].s[5], &ips[row].s[6], &ips[row].s[7]);
while (fgetc(f) != ' ');
fscanf(f, "%d", &(ref[row]));
} }
fclose(f); fclose(f);
*subnets = ips; *rips = ips;
*rref = ref; *rref = ref;
*/
return TEST_ROWS; return TEST_ROWS;
} }
int fire_tests(radix_holder_t t, unsigned long* subnets, int* ref, int num_tests ) { int fire_tests(radix_holder_t t, ipv6_t* ips, int* ref, int num_tests ) {
/*
int row; int row;
int wrong = 0; int wrong = 0;
struct routing_record r;
for (row = 0; row < TEST_ROWS; ++ row) { for (row = 0; row < TEST_ROWS; ++ row) {
r._ip = subnets[row]; if (radix_search(t, ips[row]) != ref[row]) {
r._ip = subnets[row+1]; printf("ref: %d got: %d @ %d\n", ref[row], radix_search(t, ips[row]), row );
radix_search(t, &r);
if ( !r._valid || r._rule != ref[row]) {
printf("ref: %d got: %d @ %d\n", ref[row], r._rule, row );
++wrong; ++wrong;
} }
} }
free(subnets); free(ips);
free(ref); free(ref);
return wrong; return wrong;
*/
return 0;
} }
int main() { int main() {
unsigned long* subnets; ipv6_t* ips;
int* ref; int* ref;
radix_holder_t t = create_holder(); radix_holder_t t = create_holder();
printf("Loaded %d rules\n", load_input(t) ); printf("Loaded %d rules\n", load_input(t) );
printf("Loaded %d tests\n", load_tests(&subnets, &ref) ); printf("Loaded %d tests\n", load_tests(&ips, &ref) );
printf("%d tests wrong\n", fire_tests(t, subnets, ref, TEST_ROWS) ); printf("%d tests wrong\n", fire_tests(t, ips, ref, TEST_ROWS) );
destory_holder(t); destory_holder(t);
return 0; return 0;

View File

@ -9,17 +9,19 @@
#define INVALID_RULE 0 #define INVALID_RULE 0
#define RULE_NOT_FOUND -1 #define RULE_NOT_FOUND -1
struct routing_record { union ipv6 {
unsigned long long _ip; unsigned short s[8];
unsigned short _rule; unsigned int i[4];
unsigned _ip_end_bit:7; unsigned long l[2];
unsigned _rule_valid:1;
}; };
struct radix_node { struct radix_node {
struct radix_node* _l; struct radix_node* _l;
struct radix_node* _r; struct radix_node* _r;
struct routing_record _data; union ipv6 _ip;
unsigned short _rule;
unsigned _ip_end_bit:7;
unsigned _rule_valid:1;
}; };
struct radix_holder { struct radix_holder {
@ -29,17 +31,18 @@ struct radix_holder {
typedef struct radix_node* radix_node_t; typedef struct radix_node* radix_node_t;
typedef struct radix_holder* radix_holder_t; typedef struct radix_holder* radix_holder_t;
typedef struct routing_record* record_t; typedef union ipv6 ipv6_t;
typedef int rule_t;
struct radix_holder* create_holder(); struct radix_holder* create_holder();
struct radix_node* create_node(record_t record); struct radix_node* create_node(ipv6_t key, unsigned end_bit, unsigned rule);
static struct radix_node* clone_node(radix_node_t n); static struct radix_node* clone_node(struct radix_node* n);
static void split_node(struct radix_node* n, unsigned bit); static void split_node(struct radix_node* n, unsigned bit);
int destory_holder(struct radix_holder*); int destory_holder(struct radix_holder*);
int destory_node(struct radix_node*); int destory_node(struct radix_node*);
int radix_insert(radix_holder_t, record_t); int radix_insert(struct radix_holder*, ipv6_t key, int val, int mask);
int radix_search(radix_holder_t, record_t); rule_t radix_search(struct radix_holder*, ipv6_t key);
#endif #endif

View File

@ -14,7 +14,6 @@ def generate_random_test_cases(rules, n):
rule_network = rule[0] rule_network = rule[0]
rule_next_hop = rule[1] rule_next_hop = rule[1]
network = rule_network
for _ in range(n): for _ in range(n):
next_hop = rule_next_hop next_hop = rule_next_hop
address = rule_network.network_address + random.randint(0, rule_network.num_addresses - 1) address = rule_network.network_address + random.randint(0, rule_network.num_addresses - 1)
@ -24,10 +23,9 @@ def generate_random_test_cases(rules, n):
continue continue
oth_network = oth_rule[0] oth_network = oth_rule[0]
oth_next_hop = oth_rule[1] oth_next_hop = oth_rule[1]
if address in oth_network and oth_network.subnet_of( network ): if address in oth_network and oth_network.subnet_of( rule_network ):
print(f"address {address} is closer to {oth_network} {rule_next_hop} than {rule_network} {oth_next_hop}") print(f"address {address} is closer to {oth_network} {rule_next_hop} than {rule_network} {oth_next_hop}")
next_hop = oth_next_hop next_hop = oth_next_hop
network = oth_network
f.write(f"{address} {next_hop}\n") f.write(f"{address} {next_hop}\n")
print(f"Generated test case: {address} {next_hop}") print(f"Generated test case: {address} {next_hop}")
print("tests for rule ", rule_network, " with next hop ", rule_next_hop, " generated") print("tests for rule ", rule_network, " with next hop ", rule_next_hop, " generated")