forked from fast-pack/JavaFastPFOR
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathFastPFOR.java
More file actions
238 lines (221 loc) · 7.09 KB
/
Copy pathFastPFOR.java
File metadata and controls
238 lines (221 loc) · 7.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
/**
* This code is released under the
* Apache License Version 2.0 http://www.apache.org/licenses/.
*
* (c) Daniel Lemire, http://lemire.me/en/
*/
package me.lemire.integercompression;
import java.nio.ByteBuffer;
import java.util.Arrays;
/**
* This is a new PFOR Scheme designed by D. Lemire called FastPFOR.
*
* For details, please see
*
* Daniel Lemire and Leonid Boytsov, Decoding billions of integers per second through vectorization
* http://arxiv.org/abs/1209.2137
*
* For sufficiently compressible arrays, it is faster and better than other PFOR
* schemes.
*
* @author Daniel Lemire
*/
public final class FastPFOR implements IntegerCODEC {
int PageSize;
final static int BlockSize = 128;
final static int overheadofeachexcept = 8;
int[][] datatobepacked = new int[32][];
ByteBuffer bytecontainer;
public FastPFOR(int pagesize) {
PageSize = pagesize;
initArrays();
}
public FastPFOR() {
PageSize = 65536;
initArrays();
}
public void initArrays() {
bytecontainer = ByteBuffer.allocateDirect(3 * PageSize / BlockSize
+ PageSize);
for (int k = 1; k < 32; ++k)
datatobepacked[k] = new int[PageSize / 32 * 4];// heuristic
}
@Override
public void compress(int[] in, IntWrapper inpos, int inlength, int[] out,
IntWrapper outpos) {
inlength = inlength / 128 * 128;
final int finalinpos = inpos.get() + inlength;
out[outpos.get()] = inlength;
outpos.increment();
while (inpos.get() != finalinpos) {
int thissize = finalinpos > PageSize + inpos.get() ? PageSize
: (finalinpos - inpos.get());
encodePage(in, inpos, thissize, out, outpos);
}
}
public static void getBestBFromData(int[] in, int pos,
byte[] bestbbestcexceptmaxb) {
int freqs[] = new int[32];
for (int k = pos; k < BlockSize + pos; ++k)
freqs[Util.bits(in[k])]++;
bestbbestcexceptmaxb[0] = 31;
while (freqs[bestbbestcexceptmaxb[0]] == 0)
bestbbestcexceptmaxb[0]--;
bestbbestcexceptmaxb[2] = bestbbestcexceptmaxb[0];
int bestcost = bestbbestcexceptmaxb[0] * BlockSize;
byte cexcept = 0;
bestbbestcexceptmaxb[1] = cexcept;
for (int b = bestbbestcexceptmaxb[0] - 1; b >= 0; --b) {
cexcept += freqs[b + 1];
if (cexcept < 0)
break;
int thiscost = cexcept * overheadofeachexcept + cexcept
* (bestbbestcexceptmaxb[2] - b) + b * BlockSize + 8;// the
// extra
// 8 is
// the
// cost
// of
// storing
// maxbits
if (thiscost < bestcost) {
bestcost = thiscost;
bestbbestcexceptmaxb[0] = (byte) b;
bestbbestcexceptmaxb[1] = cexcept;
}
}
}
private void encodePage(int[] in, IntWrapper inpos, int thissize,
int[] out, IntWrapper outpos) {
final int headerpos = outpos.get();
outpos.increment();
int tmpoutpos = outpos.get();
int[] datapointers = new int[32];
bytecontainer.clear();
final byte[] bestbbestcexceptmaxb = new byte[3];
int tmpinpos = inpos.get();
for (final int finalinpos = tmpinpos + thissize; tmpinpos + BlockSize <= finalinpos; tmpinpos += BlockSize) {
getBestBFromData(in, tmpinpos, bestbbestcexceptmaxb);
final int tmpbestb = bestbbestcexceptmaxb[0];
bytecontainer.put(bestbbestcexceptmaxb[0]);
bytecontainer.put(bestbbestcexceptmaxb[1]);
if (bestbbestcexceptmaxb[1] > 0) {
bytecontainer.put(bestbbestcexceptmaxb[2]);
final int index = bestbbestcexceptmaxb[2]
- bestbbestcexceptmaxb[0];
if (datapointers[index] + bestbbestcexceptmaxb[1] >= datatobepacked[index].length) {
int newsize = 2 * (datapointers[index] + bestbbestcexceptmaxb[1]);
newsize = (newsize + 31) / 32 * 32;// make sure it is a
// multiple of
// 32
datatobepacked[index] = Arrays.copyOf(
datatobepacked[index], newsize);
}
final int maxval = 1 << bestbbestcexceptmaxb[0];
for (int k = 0; k < BlockSize; ++k) {
if (in[k + tmpinpos] >= maxval) {
// we have an exception
bytecontainer.put((byte) k);
datatobepacked[index][datapointers[index]++] = in[k
+ tmpinpos] >>> tmpbestb;
}
}
}
for (int k = 0; k < 128; k += 32) {
BitPacking.fastpack(in, tmpinpos + k, out, tmpoutpos, tmpbestb);
tmpoutpos += tmpbestb;
}
}
inpos.set(tmpinpos);
out[headerpos] = tmpoutpos - headerpos;
while ((bytecontainer.position() & 3) != 0)
bytecontainer.put((byte) 0);
final int bytesize = bytecontainer.position();
out[tmpoutpos++] = bytesize;
final int howmanyints = bytesize / 4;
bytecontainer.flip();
bytecontainer.asIntBuffer().get(out, tmpoutpos, howmanyints);
tmpoutpos += howmanyints;
int bitmap = 0;
for (int k = 1; k <= 31; ++k) {
if (datapointers[k] != 0)
bitmap |= (1 << (k - 1));
}
out[tmpoutpos++] = bitmap;
for (int k = 1; k <= 31; ++k) {
if (datapointers[k] != 0) {
out[tmpoutpos++] = datapointers[k];// size
for (int j = 0; j < datapointers[k]; j += 32) {
BitPacking
.fastpack(datatobepacked[k], j, out, tmpoutpos, k);
tmpoutpos += k;
}
}
}
outpos.set(tmpoutpos);
}
@Override
public void uncompress(int[] in, IntWrapper inpos, int inlength, int[] out,
IntWrapper outpos) {
// Util.assertTrue(inpos.get()+inlength <= in.length);
int mynvalue = in[inpos.get()];
inpos.increment();
int finalout = outpos.get() + mynvalue;
while (outpos.get() != finalout) {
int thissize = finalout > PageSize + outpos.get() ? PageSize
: (finalout - outpos.get());
decodePage(in, inpos, out, outpos, thissize);
}
}
private void decodePage(int[] in, IntWrapper inpos, int[] out,
IntWrapper outpos, int thissize) {
final int initpos = inpos.get();
final int wheremeta = in[inpos.get()];
inpos.increment();
int inexcept = initpos + wheremeta;
final int bytesize = in[inexcept++];
bytecontainer.clear();
// Util.assertTrue((bytesize & 3) == 0);
bytecontainer.asIntBuffer().put(in, inexcept, bytesize / 4);
inexcept += bytesize / 4;
final int bitmap = in[inexcept++];
for (int k = 1; k <= 31; ++k) {
if ((bitmap & (1 << (k - 1))) != 0) {
int size = in[inexcept++];
if (datatobepacked[k].length < size)
datatobepacked[k] = new int[(size + 31) / 32 * 32];
for (int j = 0; j < size; j += 32) {
BitPacking
.fastunpack(in, inexcept, datatobepacked[k], j, k);
inexcept += k;
}
}
}
int[] datapointers = new int[32];
int tmpoutpos = outpos.get();
int tmpinpos = inpos.get();
for (int run = 0; run < thissize / BlockSize; ++run, tmpoutpos += BlockSize) {
final byte b = bytecontainer.get();
final byte cexcept = bytecontainer.get();
for (int k = 0; k < 128; k += 32) {
BitPacking.fastunpack(in, tmpinpos, out, tmpoutpos + k, b);
tmpinpos += b;
}
if (cexcept > 0) {
final byte maxbits = bytecontainer.get();
final int index = maxbits - b;
for (int k = 0; k < cexcept; ++k) {
final byte pos = bytecontainer.get();
final int exceptvalue = datatobepacked[index][datapointers[index]++];
out[pos + tmpoutpos] |= exceptvalue << b;
}
}
}
outpos.set(tmpoutpos);
inpos.set(inexcept);
}
@Override
public String toString() {
return this.getClass().getName();
}
}