Move word type and word size usage to constants & make it of 128 bits

This commit is contained in:
Santiago Pastorino 2018-02-14 20:30:49 -03:00
parent b1f8e6fb06
commit e5d79c4bc7
No known key found for this signature in database
GPG Key ID: 88C941CDA1D46432
1 changed files with 26 additions and 23 deletions

View File

@ -10,16 +10,19 @@
use std::iter::FromIterator; use std::iter::FromIterator;
type Word = u128;
const WORD_BITS: usize = 128;
/// A very simple BitVector type. /// A very simple BitVector type.
#[derive(Clone, Debug, PartialEq)] #[derive(Clone, Debug, PartialEq)]
pub struct BitVector { pub struct BitVector {
data: Vec<u64>, data: Vec<Word>,
} }
impl BitVector { impl BitVector {
#[inline] #[inline]
pub fn new(num_bits: usize) -> BitVector { pub fn new(num_bits: usize) -> BitVector {
let num_words = u64s(num_bits); let num_words = words(num_bits);
BitVector { data: vec![0; num_words] } BitVector { data: vec![0; num_words] }
} }
@ -78,7 +81,7 @@ impl BitVector {
#[inline] #[inline]
pub fn grow(&mut self, num_bits: usize) { pub fn grow(&mut self, num_bits: usize) {
let num_words = u64s(num_bits); let num_words = words(num_bits);
if self.data.len() < num_words { if self.data.len() < num_words {
self.data.resize(num_words, 0) self.data.resize(num_words, 0)
} }
@ -96,8 +99,8 @@ impl BitVector {
} }
pub struct BitVectorIter<'a> { pub struct BitVectorIter<'a> {
iter: ::std::slice::Iter<'a, u64>, iter: ::std::slice::Iter<'a, Word>,
current: u64, current: Word,
idx: usize, idx: usize,
} }
@ -107,10 +110,10 @@ impl<'a> Iterator for BitVectorIter<'a> {
while self.current == 0 { while self.current == 0 {
self.current = if let Some(&i) = self.iter.next() { self.current = if let Some(&i) = self.iter.next() {
if i == 0 { if i == 0 {
self.idx += 64; self.idx += WORD_BITS;
continue; continue;
} else { } else {
self.idx = u64s(self.idx) * 64; self.idx = words(self.idx) * WORD_BITS;
i i
} }
} else { } else {
@ -129,9 +132,9 @@ impl FromIterator<bool> for BitVector {
fn from_iter<I>(iter: I) -> BitVector where I: IntoIterator<Item=bool> { fn from_iter<I>(iter: I) -> BitVector where I: IntoIterator<Item=bool> {
let iter = iter.into_iter(); let iter = iter.into_iter();
let (len, _) = iter.size_hint(); let (len, _) = iter.size_hint();
// Make the minimum length for the bitvector 64 bits since that's // Make the minimum length for the bitvector WORD_BITS bits since that's
// the smallest non-zero size anyway. // the smallest non-zero size anyway.
let len = if len < 64 { 64 } else { len }; let len = if len < WORD_BITS { WORD_BITS } else { len };
let mut bv = BitVector::new(len); let mut bv = BitVector::new(len);
for (idx, val) in iter.enumerate() { for (idx, val) in iter.enumerate() {
if idx > len { if idx > len {
@ -152,26 +155,26 @@ impl FromIterator<bool> for BitVector {
#[derive(Clone, Debug)] #[derive(Clone, Debug)]
pub struct BitMatrix { pub struct BitMatrix {
columns: usize, columns: usize,
vector: Vec<u64>, vector: Vec<Word>,
} }
impl BitMatrix { impl BitMatrix {
/// Create a new `rows x columns` matrix, initially empty. /// Create a new `rows x columns` matrix, initially empty.
pub fn new(rows: usize, columns: usize) -> BitMatrix { pub fn new(rows: usize, columns: usize) -> BitMatrix {
// For every element, we need one bit for every other // For every element, we need one bit for every other
// element. Round up to an even number of u64s. // element. Round up to an even number of words.
let u64s_per_row = u64s(columns); let words_per_row = words(columns);
BitMatrix { BitMatrix {
columns, columns,
vector: vec![0; rows * u64s_per_row], vector: vec![0; rows * words_per_row],
} }
} }
/// The range of bits for a given row. /// The range of bits for a given row.
fn range(&self, row: usize) -> (usize, usize) { fn range(&self, row: usize) -> (usize, usize) {
let u64s_per_row = u64s(self.columns); let words_per_row = words(self.columns);
let start = row * u64s_per_row; let start = row * words_per_row;
(start, start + u64s_per_row) (start, start + words_per_row)
} }
/// Sets the cell at `(row, column)` to true. Put another way, add /// Sets the cell at `(row, column)` to true. Put another way, add
@ -208,12 +211,12 @@ impl BitMatrix {
let mut result = Vec::with_capacity(self.columns); let mut result = Vec::with_capacity(self.columns);
for (base, (i, j)) in (a_start..a_end).zip(b_start..b_end).enumerate() { for (base, (i, j)) in (a_start..a_end).zip(b_start..b_end).enumerate() {
let mut v = self.vector[i] & self.vector[j]; let mut v = self.vector[i] & self.vector[j];
for bit in 0..64 { for bit in 0..WORD_BITS {
if v == 0 { if v == 0 {
break; break;
} }
if v & 0x1 != 0 { if v & 0x1 != 0 {
result.push(base * 64 + bit); result.push(base * WORD_BITS + bit);
} }
v >>= 1; v >>= 1;
} }
@ -255,14 +258,14 @@ impl BitMatrix {
} }
#[inline] #[inline]
fn u64s(elements: usize) -> usize { fn words(elements: usize) -> usize {
(elements + 63) / 64 (elements + WORD_BITS - 1) / WORD_BITS
} }
#[inline] #[inline]
fn word_mask(index: usize) -> (usize, u64) { fn word_mask(index: usize) -> (usize, Word) {
let word = index / 64; let word = index / WORD_BITS;
let mask = 1 << (index % 64); let mask = 1 << (index % WORD_BITS);
(word, mask) (word, mask)
} }