| bit-package {bit} | R Documentation |
Package 'bit' provides bitmapped vectors of booleans (no NAs),
coercion from and to logicals, integers and integer subscripts;
fast boolean operators and fast summary statistics.
With bit vectors you can store true binary booleans {FALSE,TRUE} at the expense
of 1 bit only, on a 32 bit architecture this means factor 32 less RAM and
factor 32 more speed on boolean operations. With this speed gain it even
pays-off to convert to bit in order to avoid a single boolean operation on
logicals or a single set operation on (longer) integer subscripts, the pay-off
is dramatic when such components are used more than once.
Reading from and writing to bit is approximately as fast as accessing standard logicals - mostly due to R's time for memory allocation. The package allows to work with pre-allocated memory for return values by calling .Call() directly: when evaluating the speed of C-access with pre-allocated vector memory, coping from bit to logical requires only 70 logical; and copying from logical to bit comes at a performance penalty of 150
bit(length) ## S3 method for class 'bit': print(x, ...)
length |
length of vector in bits |
x |
a bit vector |
... |
further arguments to print |
| Package: | bit |
| Type: | Package |
| Version: | 1.0 |
| Date: | 2008-09-13 |
| License: | GPL-2 |
| LazyLoad: | yes |
| Encoding: | latin1 |
| Built: | R 2.7.2; i386-pc-mingw32; 2008-09-22 13:53:55; windows |
Index:
| function | see also | description |
.BITS | globalenv | variable holding number of bits on this system |
bit_init | .First.lib | initially allocate bit-masks (done in .First.lib) |
bit_done | .Last.lib | finally de-allocate bit-masks (done in .Last.lib) |
bit | logical | create bit vector |
print.bit | print | print bit vector |
length.bit | length | get length of bit vector |
length<-.bit | length<- | change length of bit vector |
is.bit | is.logical | test for bit vector |
as.bit | as.logical | generically coerce to bit vector |
as.bit.logical | coerce logical to bit vector (FALSE => FALSE, c(NA, TRUE) => TRUE) | |
as.bit.integer | coerce integer to bit vector (0 => FALSE, ELSE => TRUE) | |
as.bit.which | coerce integer subscripts to bit vector (TRUE at positive positions resp. FALSE at negative positions) | |
as.logical.bit | as.logical | coerce bit vector to logical (FALSE/TRUE) |
as.integer.bit | as.integer | coerce bit vector to integer (0/1) |
which.bit | which | coerce bit vector to integer subscripts (positive or negative positions) |
!.bit | ! | boolean NOT |
&.bit | & | boolean AND |
|.bit | | | boolean OR |
xor.bit | xor | boolean XOR |
!=.bit | != | boolean unequality (same as XOR) |
==.bit | == | boolean equality |
[[.bit | [[ | get single bit (index checked) |
[[<-.bit | [[<- | set single bit (index checked) |
[.bit | [ | get vector of bits (unchecked) |
[<-.bit | [<- | set vector of bits (unchecked) |
all.bit | all | aggregate AND |
any.bit | any | aggregate OR |
min.bit | min | aggregate MIN (integer version of ALL) |
max.bit | max | aggregate MAX (integer version of ANY) |
range.bit | range | aggregate [MIN,MAX] |
sum.bit | sum | aggregate SUM (count of TRUE) |
summary.bit | tabulate | aggregate count of FALSE and TRUE |
regtest.bit | regressiontests for the package |
bit returns a vector of integer sufficiently long to store 'length' bits
(but not longer) with an attribute 'n' and class 'bit'
Since this package was created for high performance purposes, only positive integer subscripts are allowed.
The '[' and '[<-' methods don't check whether the subscripts are positive integers in the allowed range.
All R-functions behave as expected - i.e. they do not change their arguments and create new return values.
If you want to save the time for return value memory allocation, you must use .Call directly
(see the dontrun example in sum.bit).
Note that the package has not been tested under 64 bit.
Note also that the mapping of NAs to TRUE differs from the mapping of NAs to FALSE
in vmode="boolean" in package ff (and one of the two may change in the future).
Jens Oehlschlägel <Jens.Oehlschlaegel@truecluster.com>
Maintainer: Jens Oehlschlägel <Jens.Oehlschlaegel@truecluster.com>
logical in base R and vmode in package 'ff'
x <- bit(12) # create bit vector
x # autoprint bit vector
length(x) <- 16 # change length
length(x) # get length
x[[2]] # extract single element
x[[2]] <- TRUE # replace single element
x[1:2] # extract parts of bit vector
x[1:2] <- TRUE # replace parts of bit vector
which(x) # coerce bit to subscripts
x <- as.bit.which(3:4, 4) # coerce subscripts to bit
as.logical(x) # coerce bit to logical
y <- as.bit(c(FALSE, TRUE, FALSE, TRUE)) # coerce logical to bit
is.bit(y) # test for bit
!x # boolean NOT
x & y # boolean AND
x | y # boolean OR
xor(x, y) # boolean Exclusive OR
x != y # boolean unequality (same as xor)
x == y # boolean equality
all(x) # aggregate AND
any(x) # aggregate OR
min(x) # aggregate MIN (integer version of ALL)
max(x) # aggregate MAX (integer version of ANY)
range(x) # aggregate [MIN,MAX]
sum(x) # aggregate SUM (count of TRUE)
summary(x) # aggregate count of FALSE and TRUE
## Not run:
cat("\nEven for a single boolean operation transforming logical to bit pays off\n")
n <- 10000000
x <- sample(c(FALSE, TRUE), n, TRUE)
y <- sample(c(FALSE, TRUE), n, TRUE)
system.time(x|y)
system.time({
x <- as.bit(x)
y <- as.bit(y)
})
system.time( x | y )
cat("Even more so if multiple operations are needed :-)\n")
cat("\nEven for a single set operation transforming subscripts to bit pays off\n")
n <- 10000000
x <- sample(n, n/2)
y <- sample(n, n/2)
system.time( union(x,y) )
system.time({
x <- as.bit.which(x, n)
y <- as.bit.which(y, n)
})
system.time( which.bit( x | y ) )
cat("Even more so if multiple operations are needed :-)\n")
cat("\nSome timings WITH memory allocation\n")
n <- 2000000
l <- sample(c(FALSE, TRUE), n, TRUE)
# copy logical to logical
system.time(for(i in 1:100){ # 0.0112
l2 <- l
l2[1] <- TRUE # force new memory allocation (copy on modify)
rm(l2)
})/100
# copy logical to bit
system.time(for(i in 1:100){ # 0.0123
b <- as.bit(l)
rm(b)
})/100
# copy bit to logical
b <- as.bit(l)
system.time(for(i in 1:100){ # 0.009
l2 <- as.logical(b)
rm(l2)
})/100
l2 <- l
# replace logical by TRUE
system.time(for(i in 1:100){
l[] <- TRUE
})/100
# replace bit by TRUE (NOTE that we recycle the assignment value on R side == memory allocation and assignment first)
system.time(for(i in 1:100){
b[] <- TRUE
})/100
# THUS the following is faster
system.time(for(i in 1:100){
b <- !bit(n)
})/100
# replace logical by logical
system.time(for(i in 1:100){
l[] <- l2
})/100
# replace bit by logical
system.time(for(i in 1:100){
b[] <- l2
})/100
# extract logical
system.time(for(i in 1:100){
l2[]
})/100
# extract bit
system.time(for(i in 1:100){
b[]
})/100
cat("\nSome timings WITHOUT memory allocation (Serge, that's for you)\n")
n <- 2000000
l <- sample(c(FALSE, TRUE), n, TRUE)
b <- as.bit(l)
# read from logical, write to logical
l2 <- logical(n)
system.time(for(i in 1:100).Call("R_filter_getset", l, l2, PACKAGE="bit")) / 100
# read from bit, write to logical
l2 <- logical(n)
system.time(for(i in 1:100).Call("R_bit_get", b, l2, PACKAGE="bit")) / 100
# read from logical, write to bit
system.time(for(i in 1:100).Call("R_bit_set", b, l2, PACKAGE="bit")) / 100
## End(Not run)