source: proto/SymbolTable/symtab_identity_template.cpp @ 1766

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

SymbolTable?: completed dictionary implementation and refactored templates

File size: 11.3 KB
Line 
1#include "../common_definitions.h"
2#include <pbgs_identity_symbol_table.h>
3
4#include "../symtab_common_functions.h"
5#include "../xmlwf_common_functions.h"
6
7#ifdef BUFFER_PROFILING
8        BOM_Table * parser_timer;
9
10#elif CODE_CLOCKER
11        #define NUM_EVENTS 1
12        int Events[NUM_EVENTS] = {PAPI_TOT_CYC};
13        //int Events[NUM_EVENTS] = {PAPI_L2_DCM};
14        //int Events[NUM_EVENTS] = {PAPI_TOT_CYC, PAPI_BR_MSP};
15        int cal_size = 20;
16        CC * parser_timer = new CC(Events,NUM_EVENTS,cal_size);
17#else
18        void * parser_timer;
19#endif
20
21int block_base=0;
22int buffer_base=0;
23int buffer_last;
24
25TagMatcher matcher;
26
27BitBlock elem_ends;
28int last_elem_start;
29bool block_boundary_case = false;
30BytePack hashvalues[2];
31
32vector <int> gids;
33PBGSIdentitySymbolTable pbgs_symbol_table;
34
35static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, Hash_data & hash_data, int chars_avail);
36
37void do_process(FILE *infile, FILE *outfile);
38
39static inline void validate_block_length_grouping(BitBlockForwardIterator & start, int block_base);
40
41static inline int ElemStart_grouping(int start_pos, int L) ;
42
43int main(int argc, char * argv[]) {
44    char * infilename, * outfilename;
45    FILE *infile, *outfile;
46
47    getFilenames(argc, argv, infilename, outfilename);
48    openInputOutputFiles(infilename, outfilename,
49                         infile, outfile);
50
51//      PERF_SEC_BIND(1);
52
53    PERF_SEC_INIT(parser_timer);
54
55    // store symbols form text to Symbol Table
56    do_process(infile, outfile);
57
58    PERF_SEC_DUMP(parser_timer);
59
60    PERF_SEC_DESTROY(parser_timer);
61
62    fclose(infile);
63    fclose(outfile);
64
65#if PRINT_SYMBOL_DISTRIBUTION
66//    print_GIDS();
67    pbgs_symbol_table.Print_Symbol_Table_Distribution();
68#endif
69
70    return(0);
71}
72
73static inline int ElemStart_grouping(int start_pos, int L) {
74    int hashvalue = compute_hash_value(L, start_pos - block_base, hashvalues);
75    int gid = 0;
76
77    switch (L)
78    {
79    case 1:
80        gid = pbgs_symbol_table.Lookup_or_Insert_Name<1>(source + start_pos, hashvalue);
81        break;
82    case 2:
83        gid = pbgs_symbol_table.Lookup_or_Insert_Name<2>(source + start_pos, hashvalue);
84        break;
85    case 3:
86        gid = pbgs_symbol_table.Lookup_or_Insert_Name<3>(source + start_pos, hashvalue);
87        break;
88    case 4:
89        gid = pbgs_symbol_table.Lookup_or_Insert_Name<4>(source + start_pos, hashvalue);
90        break;
91    case 5:
92        gid = pbgs_symbol_table.Lookup_or_Insert_Name<5>(source + start_pos, hashvalue);
93        break;
94    case 6:
95        gid = pbgs_symbol_table.Lookup_or_Insert_Name<6>(source + start_pos, hashvalue);
96        break;
97    case 7:
98        gid = pbgs_symbol_table.Lookup_or_Insert_Name<7>(source + start_pos, hashvalue);
99        break;
100    case 8:
101        gid = pbgs_symbol_table.Lookup_or_Insert_Name<8>(source + start_pos, hashvalue);
102        break;
103    case 9:
104        gid = pbgs_symbol_table.Lookup_or_Insert_Name<9>(source + start_pos, hashvalue);
105        break;
106    case 10:
107        gid = pbgs_symbol_table.Lookup_or_Insert_Name<10>(source + start_pos, hashvalue);
108        break;
109    case 11:
110        gid = pbgs_symbol_table.Lookup_or_Insert_Name<11>(source + start_pos, hashvalue);
111        break;
112    case 12:
113        gid = pbgs_symbol_table.Lookup_or_Insert_Name<12>(source + start_pos, hashvalue);
114        break;
115    case 13:
116        gid = pbgs_symbol_table.Lookup_or_Insert_Name<13>(source + start_pos, hashvalue);
117        break;
118    case 14:
119        gid = pbgs_symbol_table.Lookup_or_Insert_Name<14>(source + start_pos, hashvalue);
120        break;
121    case 15:
122        gid = pbgs_symbol_table.Lookup_or_Insert_Name<15>(source + start_pos, hashvalue);
123        break;
124    case 16:
125        gid = pbgs_symbol_table.Lookup_or_Insert_Name<16>(source + start_pos, hashvalue);
126        break;
127    default:
128        gid = pbgs_symbol_table.Lookup_or_Insert_Name(source + start_pos, hashvalue, L);
129        break;
130    }
131
132    gids.push_back(gid);
133#if DEBUG
134    int end = start_pos + L;
135    char* symbol = new char[L+1];
136    strncpy ( symbol, source + start_pos, L );
137    symbol[L] ='\0';
138    printf ("%s | L: %i | start: %i[%i] | end: %i[%i] | gid: %i | hashvalue: %i | symbol: %s\n", __FUNCTION__, L, start_pos, start_pos-buffer_base, end, end-buffer_base, gid, hashvalue, symbol );
139    delete symbol; symbol = 0;
140#endif
141    return 0;
142}
143
144inline void validate_block_length_grouping(BitBlockForwardIterator & start, int block_base) {
145
146    BitBlockForwardIterator end;
147    int start_pos, end_pos, lgth;
148
149    while(start != end) {
150        start_pos = *start;
151        end_pos = ScanForwardPos (&elem_ends, start_pos);
152        if (end_pos)
153        {
154            lgth = end_pos - start_pos;
155            start_pos += block_base;
156            ElemStart_grouping(start_pos, lgth);
157        }
158        else
159        {
160            //handle boundary case
161            block_boundary_case = true;
162            last_elem_start = start_pos - BLOCK_SIZE;
163        }
164        start++;
165    }
166}
167
168static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, Hash_data & hash_data, int chars_avail){
169
170    tracker.StoreNewlines(lex.LF);
171    elem_ends = tag_Callouts.ElemName_ends;
172    hashvalues[1] = hash_data.Hash_value;
173
174    if (block_boundary_case)
175    {
176        int end_pos = count_forward_zeroes(elem_ends);
177        ElemStart_grouping (last_elem_start + block_base, end_pos-last_elem_start);
178        block_boundary_case = false;
179    }
180
181    if ( bitblock_has_bit(tag_Callouts.ElemName_starts) )
182    {
183        BitBlockForwardIterator iter_length_grouping(&tag_Callouts.ElemName_starts);
184        validate_block_length_grouping(iter_length_grouping, block_base);
185    }
186
187    //copy current hash value data as previous one.
188    memmove (&hashvalues[0], &hashvalues[1], 16);
189
190    if (bitblock_has_bit(simd_or(check_streams.non_ascii_name_starts, check_streams.non_ascii_names))) {
191        BitBlockForwardIterator iter_NameStrt_check(&check_streams.non_ascii_name_starts);
192        validate_block(iter_NameStrt_check, block_base, NameStrt_check);
193        BitBlockForwardIterator iter_Name_check(&check_streams.non_ascii_names);
194        validate_block(iter_Name_check, block_base, Name_check);
195    }
196    if (bitblock_has_bit(ctCDPI_Callouts.PI_name_starts)){
197        BitBlockForwardIterator iter_PI_name_starts(&(ctCDPI_Callouts.PI_name_starts));
198        validate_block(iter_PI_name_starts, block_base, buffer_base, PIName_check);
199    }
200    if (bitblock_has_bit(ctCDPI_Callouts.CD_starts)){
201        BitBlockForwardIterator iter_CD_check(&ctCDPI_Callouts.CD_starts);
202        validate_block(iter_CD_check, block_base, CD_check);
203    }
204    if(bitblock_has_bit(ref_Callouts.GenRef_starts)){
205        BitBlockForwardIterator iter_GenRef_check(&ref_Callouts.GenRef_starts);
206        validate_block(iter_GenRef_check, block_base, GenRef_check);
207    }
208    if(bitblock_has_bit(ref_Callouts.DecRef_starts)){
209        BitBlockForwardIterator iter_DecRef_check(&ref_Callouts.DecRef_starts);
210        validate_block(iter_DecRef_check, block_base, DecRef_check);
211    }
212    if(bitblock_has_bit(ref_Callouts.HexRef_starts)){
213        BitBlockForwardIterator iter_HexRef_check(&ref_Callouts.HexRef_starts);
214        validate_block(iter_HexRef_check, block_base, HexRef_check);
215    }
216    if(bitblock_has_bit(check_streams.att_refs)){
217        BitBlockForwardIterator iter_AttRef_check(&check_streams.att_refs);
218        validate_block(iter_AttRef_check, block_base, AttRef_check);
219    }
220
221    if(error_tracker.Has_Noted_Error()){
222        int error_line, error_column;
223        tracker.get_Line_and_Column(error_tracker.Noted_Pos_In_Block(), error_line, error_column);
224        ReportError(error_tracker.Noted_Error_Msg(), error_line, error_column);
225        exit(-1);
226    }
227
228    matcher.store_streams(check_streams.tag_marks, check_streams.name_follows, check_streams.misc_mask, chars_avail);
229    tracker.AdvanceBlock();
230}
231
232
233static inline void print_GIDS()
234{
235    int span_count = gids.size();
236    for(int i=0;i<span_count;i++) {
237             cout << gids[i] << " ";
238    }
239    cout << endl;
240}
241
242void do_process(FILE *infile, FILE *outfile) {   
243@decl
244  int buf_pos = 0;
245  int block_pos = 0;
246  int errpos = 0;
247  int chars_avail = 0;
248  int check_pos = 0;
249  int chars_read = 0;
250  BytePack buf[(BUFFER_SIZE+BLOCK_SIZE+OVERLAP_BUFSIZE*2)/sizeof(SIMD_type)];
251
252  char * srcbuf = ((char *) buf) + OVERLAP_BUFSIZE;
253  buffer_base = buf_pos;
254  source = srcbuf;
255  chars_read = fread((void *)srcbuf, 1, BUFFER_SIZE + OVERLAP_BUFSIZE, infile);
256  chars_avail = chars_read;
257  if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
258
259  matcher.setSrc(srcbuf);
260
261  if(chars_read<4){
262    fprintf(stderr,"File is too short. Not well formed.\n");
263    exit(-1);
264  }
265
266  Entity_Info * e = new Entity_Info;
267  e->AnalyzeSignature((unsigned char *)srcbuf);
268
269  if (e->code_unit_base == ASCII) {
270
271    XML_Decl_Parser<ASCII> decl_parser((unsigned char *)srcbuf);
272
273    decl_parser.ReadXMLInfo(*e);
274
275    if (e->code_unit_size != SingleByte || (e->has_encoding_decl && (!at_UTF_8(e->encoding)))){
276        fprintf(stderr,"Sorry, this xmlwf demo only works for UTF-8.\n");
277        exit(-1);
278    }
279  }
280  else {
281    fprintf(stderr,"Sorry, this xmlwf demo does not process EBCDIC.\n");
282        exit(-1);
283  }
284
285  if (e->content_start != 0) {
286        memmove(&srcbuf[0], &srcbuf[e->content_start], chars_read - e->content_start);
287        buf_pos = e->content_start;
288        buffer_base = buf_pos;
289        if (chars_avail == BUFFER_SIZE) {
290                chars_read = chars_read - e->content_start +
291                             fread(&srcbuf[chars_read-e->content_start], 1, e->content_start, infile);
292                chars_avail = chars_read;
293                if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
294        }
295        else {
296          chars_read -=e->content_start;
297          chars_avail -=e->content_start;
298        }
299  }
300
301@stream_stmts
302
303/* Full Buffers */
304    while (chars_avail == BUFFER_SIZE) {
305      PERF_SEC_START(parser_timer);
306      for (int blk = 0; blk < SEGMENT_BLOCKS; blk++) {
307          block_base = blk*BLOCK_SIZE;
308          s2p_do_block((BytePack *) &srcbuf[block_base], basis_bits);
309          @block_stmts
310          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, hash_data, chars_avail);
311      }
312      matcher.StreamScan(chars_avail);
313      matcher.Advance_buffer();
314      tracker.Advance_buffer();
315      PERF_SEC_END(parser_timer, chars_avail);
316
317      int bytes_left = chars_read - chars_avail;
318      memmove(buf, &srcbuf[BUFFER_SIZE - OVERLAP_BUFSIZE], bytes_left + OVERLAP_BUFSIZE);
319      chars_read = fread(&srcbuf[bytes_left],1, BUFFER_SIZE + OVERLAP_BUFSIZE - bytes_left, infile) + bytes_left;
320
321      chars_avail = chars_read;
322      if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
323      buf_pos += chars_avail;
324      buffer_base = buf_pos;
325
326  }
327/* Final Partial Buffer */
328    PERF_SEC_START(parser_timer);
329
330    block_pos = 0;
331    int remaining = chars_avail;
332/* Full Blocks */
333    while (remaining >= BLOCK_SIZE) {
334          block_base = block_pos;
335          s2p_do_block((BytePack *) &srcbuf[block_pos], basis_bits);
336          @block_stmts
337          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, hash_data, chars_avail);
338          block_pos += BLOCK_SIZE;
339          remaining -= BLOCK_SIZE;
340    }
341    block_base = block_pos;
342    if (remaining > 0 || @any_carry) {
343          EOF_mask = bitblock::srl(simd<1>::constant<1>(), convert(BLOCK_SIZE-remaining));
344          s2p_do_final_block((BytePack *) &srcbuf[block_pos], basis_bits, EOF_mask);
345          @final_block_stmts
346          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, hash_data, chars_avail);
347    }
348    buf_pos += chars_avail;
349    buffer_base = buf_pos;
350
351    matcher.StreamScan(chars_avail);
352    matcher.Advance_buffer();
353    tracker.Advance_buffer();
354
355    PERF_SEC_END(parser_timer, chars_avail);
356    if (matcher.depth != 0) {
357      fprintf(stderr, "tag matching error (depth %i) at position %i\n", matcher.depth, buffer_base);
358      exit(-1);
359    }
360//  print_GIDS();
361#if PRINT_SYMBOL_DISTRIBUTION
362    pbgs_symbol_table.Print_Symbol_Table_Distribution();
363#endif
364}
Note: See TracBrowser for help on using the repository browser.