source: proto/SymbolTable/dictionary_pbgs_identity_template.cpp @ 1684

Last change on this file since 1684 was 1684, checked in by vla24, 8 years ago

SymbolTable?: updated templates implementation to use BitBlockForwardIterator?. Fixed block boundary case handling for div2 grouping strategy.

File size: 12.4 KB
Line 
1#include "../symtab_global.h"
2#include <pbgs_identity_symbol_table.h>
3
4#ifdef BUFFER_PROFILING
5        BOM_Table * parser_timer;
6
7#elif CODE_CLOCKER
8        #define NUM_EVENTS 1
9        int Events[NUM_EVENTS] = {PAPI_TOT_CYC};
10        //int Events[NUM_EVENTS] = {PAPI_L2_DCM};
11        //int Events[NUM_EVENTS] = {PAPI_TOT_CYC, PAPI_BR_MSP};
12        int cal_size = 20;
13        CC * parser_timer = new CC(Events,NUM_EVENTS,cal_size);
14#else
15        void * parser_timer;
16#endif
17
18int block_base=0;
19int buffer_base=0;
20int buffer_last;
21char * source;
22LineColTracker tracker;
23TagMatcher matcher;
24BitBlock EOF_mask = simd<1>::constant<1>();
25ErrorTracker error_tracker;
26
27BitBlock elem_starts;
28int previous_block_last_elem_start;
29BytePack hashvalues[2];
30
31vector <int> gids;
32PBGSIdentitySymbolTable pbgs_symbol_table;
33
34@global
35
36static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits);
37static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask);
38static inline void postprocess_do_block(Dictionary& dictionary, Hash_data hash_data);
39
40void do_process(FILE *infile, FILE *outfile);
41
42template <int L> static inline void validate_block_length_grouping(BitBlockForwardIterator & start, int block_base);
43
44static inline int ScanBackwardPos(BitBlock * block, int pos);
45static inline int compute_hash_value (int lgth, int start);
46template <int L> static inline int ElemEnd_grouping(int pos);
47
48int main(int argc, char * argv[]) {
49        char * infilename, * outfilename;
50        FILE *infile, *outfile;
51        struct stat fileinfo;
52
53        if (argc < 2) {
54                printf("Usage: %s <filename> [<outputfile>]\n", argv[0]);
55                exit(-1);
56        }
57
58        infilename = argv[1];
59        stat(infilename, &fileinfo);
60        infile = fopen(infilename, "rb");
61        if (!infile) {
62                fprintf(stderr, "Error: cannot open %s for input.\n", infilename);
63                exit(-1);
64        }
65
66        if (argc < 3) outfile = stdout;
67        else {
68                outfilename = argv[2];
69                outfile = fopen(outfilename, "wb");
70                if (!outfile) {
71                        fprintf(stderr, "Error: cannot open %s for writing.\n", outfilename);
72                        exit(-1);
73                }
74        }
75
76//      PERF_SEC_BIND(1);
77
78        PERF_SEC_INIT(parser_timer);
79
80        do_process(infile, outfile);
81
82        PERF_SEC_DUMP(parser_timer);
83
84        PERF_SEC_DESTROY(parser_timer);
85
86        fclose(infile);
87        fclose(outfile);
88
89        return(0);
90}
91
92/* s2p Definitions */
93static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits) {
94  s2p(U8[0], U8[1], U8[2], U8[3], U8[4], U8[5], U8[6], U8[7],
95        basis_bits.bit_0, basis_bits.bit_1, basis_bits.bit_2, basis_bits.bit_3, basis_bits.bit_4, basis_bits.bit_5, basis_bits.bit_6, basis_bits.bit_7);
96}
97
98static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask) {
99  s2p_do_block(U8, basis_bits);
100  basis_bits.bit_0 = simd_and(basis_bits.bit_0, EOF_mask);
101  basis_bits.bit_1 = simd_and(basis_bits.bit_1, EOF_mask);
102  basis_bits.bit_2 = simd_and(basis_bits.bit_2, EOF_mask);
103  basis_bits.bit_3 = simd_and(basis_bits.bit_3, EOF_mask);
104  basis_bits.bit_4 = simd_and(basis_bits.bit_4, EOF_mask);
105  basis_bits.bit_5 = simd_and(basis_bits.bit_5, EOF_mask);
106  basis_bits.bit_6 = simd_and(basis_bits.bit_6, EOF_mask);
107  basis_bits.bit_7 = simd_and(basis_bits.bit_7, EOF_mask);
108}
109
110static inline int ScanBackwardPos(BitBlock * block, int pos)
111{
112    BitBlock s = block[0];
113    BitBlock temp = simd_and( s, simd_not(simd<128>::sll(simd<2>::constant<3>(), convert(pos))) );
114
115    if (bitblock_has_bit(temp))
116    {
117        // sizeof (BitBlock)*8 - cbzl( s & ~(~0 << pos)) - 1;
118        return BLOCK_SIZE - count_reverse_zeroes (temp) - 1;
119    }
120    else
121    {
122        //handle boundary case
123        return previous_block_last_elem_start - 1;
124    }
125}
126
127static inline int compute_hash_value (int lgth, int start)
128{
129    unsigned int offset_bit = start + 128;
130    uint64_t stream = *((uint64_t*)(((uint32_t*)hashvalues)+(offset_bit>>5)));
131    return stream >> (offset_bit & 0x1F) & ~(~0 << lgth);
132}
133
134template <int L>
135static inline int ElemEnd_grouping(int end) {
136    int start = end - L;
137    int hashvalue = compute_hash_value(L, start - block_base);
138    int gid = pbgs_symbol_table.Lookup_or_Insert_Name<L>(source + start, hashvalue);
139    gids.push_back(gid);
140#if DEBUG
141    char* symbol = new char[L+1];
142    strncpy ( symbol, source + start, L );
143    symbol[L] ='\0';
144    printf ("%s | start: %i[%i] | end: %i[%i] | gid: %i | hashvalue: %i | symbol: %s\n", __FUNCTION__, start, start-buffer_base, end, end-buffer_base, gid, hashvalue, symbol );
145    delete symbol; symbol = 0;
146#endif
147    return 0;
148}
149
150template<>
151inline int ElemEnd_grouping<17>(int end) {
152    int start = ScanBackwardPos (&elem_starts, end - block_base) + block_base;
153    int lgth = end - start;
154    int hashvalue = compute_hash_value(lgth, start - block_base);
155    int gid = 0;
156
157//    if (lgth < 32)
158//    {
159//      gid = pbgs_symbol_table.Lookup_or_Insert_Name_32(source + start, hashvalue, lgth);
160//    }
161//    else
162    {
163        gid = pbgs_symbol_table.Lookup_or_Insert_Name(source + start, hashvalue, lgth);
164    }
165    gids.push_back(gid);
166#if DEBUG
167    char* symbol = new char[lgth+1];
168    strncpy ( symbol, source + start, lgth );
169    symbol[lgth] ='\0';
170    printf ("%s | start: %i[%i] | end: %i[%i] | lgth: %i | hashvalue: %i | gid: %i | symbol: %s\n", __FUNCTION__, start, start - block_base, end, end - block_base, lgth, hashvalue, gid, symbol);
171#endif
172    return 0;
173}
174
175template <int L>
176static inline void validate_block_length_grouping(BitBlockForwardIterator & start, int block_base) {
177
178    BitBlockForwardIterator end;
179    int block_pos;
180
181    while(start != end) {
182        block_pos = block_base + *start;
183        ElemEnd_grouping<L>(block_pos);
184        start++;
185    }
186}
187
188static inline void postprocess_do_block(Dictionary& dictionary, Hash_data hash_data){
189
190    elem_starts = dictionary.Word_starts;
191    hashvalues[1] = hash_data.Hash_value;
192
193    if ( bitblock_has_bit(dictionary.Word_ends_1) )
194    {
195        BitBlockForwardIterator iter_length_grouping_1(&dictionary.Word_ends_1);
196        validate_block_length_grouping<1>(iter_length_grouping_1, block_base);
197    }
198
199    if ( bitblock_has_bit(dictionary.Word_ends_2) )
200    {
201        BitBlockForwardIterator iter_length_grouping_2(&dictionary.Word_ends_2);
202        validate_block_length_grouping<2>(iter_length_grouping_2, block_base);
203    }
204
205    if ( bitblock_has_bit(dictionary.Word_ends_3) )
206    {
207        BitBlockForwardIterator iter_length_grouping_3(&dictionary.Word_ends_3);
208        validate_block_length_grouping<3>(iter_length_grouping_3, block_base);
209    }
210
211    if ( bitblock_has_bit(dictionary.Word_ends_4) )
212    {
213        BitBlockForwardIterator iter_length_grouping_4(&dictionary.Word_ends_4);
214        validate_block_length_grouping<4>(iter_length_grouping_4, block_base);
215    }
216
217    if ( bitblock_has_bit(dictionary.Word_ends_5) )
218    {
219        BitBlockForwardIterator iter_length_grouping_5(&dictionary.Word_ends_5);
220        validate_block_length_grouping<5>(iter_length_grouping_5, block_base);
221    }
222
223    if ( bitblock_has_bit(dictionary.Word_ends_6) )
224    {
225        BitBlockForwardIterator iter_length_grouping_6(&dictionary.Word_ends_6);
226        validate_block_length_grouping<6>(iter_length_grouping_6, block_base);
227    }
228
229    if ( bitblock_has_bit(dictionary.Word_ends_7) )
230    {
231        BitBlockForwardIterator iter_length_grouping_7(&dictionary.Word_ends_7);
232        validate_block_length_grouping<7>(iter_length_grouping_7, block_base);
233    }
234
235    if ( bitblock_has_bit(dictionary.Word_ends_8) )
236    {
237        BitBlockForwardIterator iter_length_grouping_8(&dictionary.Word_ends_8);
238        validate_block_length_grouping<8>(iter_length_grouping_8, block_base);
239    }
240
241    if ( bitblock_has_bit(dictionary.Word_ends_9) )
242    {
243        BitBlockForwardIterator iter_length_grouping_9(&dictionary.Word_ends_9);
244        validate_block_length_grouping<9>(iter_length_grouping_9, block_base);
245    }
246
247    if ( bitblock_has_bit(dictionary.Word_ends_10) )
248    {
249        BitBlockForwardIterator iter_length_grouping_10(&dictionary.Word_ends_10);
250        validate_block_length_grouping<10>(iter_length_grouping_10, block_base);
251    }
252
253    if ( bitblock_has_bit(dictionary.Word_ends_11) )
254    {
255        BitBlockForwardIterator iter_length_grouping_11(&dictionary.Word_ends_11);
256        validate_block_length_grouping<11>(iter_length_grouping_11, block_base);
257    }
258
259    if ( bitblock_has_bit(dictionary.Word_ends_12) )
260    {
261        BitBlockForwardIterator iter_length_grouping_12(&dictionary.Word_ends_12);
262        validate_block_length_grouping<12>(iter_length_grouping_12, block_base);
263    }
264
265    if ( bitblock_has_bit(dictionary.Word_ends_13) )
266    {
267        BitBlockForwardIterator iter_length_grouping_13(&dictionary.Word_ends_13);
268        validate_block_length_grouping<13>(iter_length_grouping_13, block_base);
269    }
270
271    if ( bitblock_has_bit(dictionary.Word_ends_14) )
272    {
273        BitBlockForwardIterator iter_length_grouping_14(&dictionary.Word_ends_14);
274        validate_block_length_grouping<14>(iter_length_grouping_14, block_base);
275    }
276
277    if ( bitblock_has_bit(dictionary.Word_ends_15) )
278    {
279        BitBlockForwardIterator iter_length_grouping_15(&dictionary.Word_ends_15);
280        validate_block_length_grouping<15>(iter_length_grouping_15, block_base);
281    }
282
283    if ( bitblock_has_bit(dictionary.Word_ends_16) )
284    {
285        BitBlockForwardIterator iter_length_grouping_16(&dictionary.Word_ends_16);
286        validate_block_length_grouping<16>(iter_length_grouping_16, block_base);
287    }
288
289    if ( bitblock_has_bit(dictionary.Word_ends_17_and_longer) )
290    {
291        BitBlockForwardIterator iter_length_grouping_remaining(&dictionary.Word_ends_17_and_longer);
292        validate_block_length_grouping<17>(iter_length_grouping_remaining, block_base);
293    }
294
295    // Store the last starting position in case we hit boundary case
296    previous_block_last_elem_start = - count_reverse_zeroes (elem_starts);
297
298    //copy current hash value data as previous one.
299    memmove (&hashvalues[0], &hashvalues[1], 16);
300}
301
302static inline void print_GIDS()
303{
304    int span_count = gids.size();
305    for(int i=0;i<span_count;i++) {
306             cout << gids[i] << " ";
307    }
308    cout << endl;
309}
310
311void do_process(FILE *infile, FILE *outfile) {
312
313@decl
314
315  int buf_pos = 0;
316  int block_pos = 0;
317  int errpos = 0;
318  int chars_avail = 0;
319  int check_pos = 0;
320  int chars_read = 0;
321  BytePack buf[(BUFFER_SIZE+BLOCK_SIZE+OVERLAP_BUFSIZE*2)/sizeof(SIMD_type)];
322
323  char * srcbuf = ((char *) buf) + OVERLAP_BUFSIZE;
324  buffer_base = buf_pos;
325  source = srcbuf;
326
327  chars_read = fread((void *)srcbuf, 1, BUFFER_SIZE + OVERLAP_BUFSIZE, infile);
328  chars_avail = chars_read;
329  if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
330
331  Entity_Info * e = new Entity_Info;
332  e->AnalyzeSignature((unsigned char *)srcbuf);
333
334  if (e->content_start != 0) {
335        memmove(&srcbuf[0], &srcbuf[e->content_start], chars_read - e->content_start);
336        buf_pos = e->content_start;
337        buffer_base = buf_pos;
338        if (chars_avail == BUFFER_SIZE) {
339                chars_read = chars_read - e->content_start +
340                             fread(&srcbuf[chars_read-e->content_start], 1, e->content_start, infile);
341                chars_avail = chars_read;
342                if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
343        }
344        else {
345          chars_read -=e->content_start;
346          chars_avail -=e->content_start;
347        }
348  }
349
350@stream_stmts
351
352/* Full Buffers */
353
354    while (chars_avail == BUFFER_SIZE) {
355      PERF_SEC_START(parser_timer);
356      for (int blk = 0; blk < SEGMENT_BLOCKS; blk++) {
357          block_base = blk*BLOCK_SIZE;
358          s2p_do_block((BytePack *) &srcbuf[block_base], basis_bits);
359          @block_stmts
360          postprocess_do_block(dictionary, hash_data);
361      }
362      PERF_SEC_END(parser_timer, chars_avail);
363           
364      int bytes_left = chars_read - chars_avail;
365      memmove(buf, &srcbuf[BUFFER_SIZE - OVERLAP_BUFSIZE], bytes_left + OVERLAP_BUFSIZE);
366      chars_read = fread(&srcbuf[bytes_left],1, BUFFER_SIZE + OVERLAP_BUFSIZE - bytes_left, infile) + bytes_left;
367      chars_avail = chars_read;
368      if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
369      buf_pos += chars_avail;
370      buffer_base = buf_pos;
371    }
372/* Final Partial Buffer */
373    PERF_SEC_START(parser_timer);
374
375    block_pos = 0;
376    int remaining = chars_avail;
377/* Full Blocks */
378    while (remaining >= BLOCK_SIZE) {
379          block_base = block_pos;
380          s2p_do_block((BytePack *) &srcbuf[block_pos], basis_bits);
381          @block_stmts
382          postprocess_do_block(dictionary, hash_data);
383          block_pos += BLOCK_SIZE;
384          remaining -= BLOCK_SIZE;
385    }
386    block_base = block_pos;
387    if (remaining > 0 || @any_carry) {
388          EOF_mask = bitblock::srl(simd<1>::constant<1>(), convert(BLOCK_SIZE-remaining));
389          s2p_do_final_block((BytePack *) &srcbuf[block_pos], basis_bits, EOF_mask);
390          @final_block_stmts
391          postprocess_do_block(dictionary, hash_data);
392    }
393    buf_pos += chars_avail;
394    buffer_base = buf_pos;
395
396    PERF_SEC_END(parser_timer, chars_avail);
397
398#if DEBUG
399//    print_GIDS();
400    pbgs_symbol_table.Print_Symbol_Table_Distribution();
401#endif
402}
Note: See TracBrowser for help on using the repository browser.