source: proto/SymbolTable/symtab_hash_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: 14.6 KB
Line 
1#include "../symtab_global.h"
2#include <hash_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;
20char * source;
21LineColTracker tracker;
22TagMatcher matcher;
23ErrorTracker error_tracker;
24BitBlock EOF_mask = simd<1>::constant<1>();
25
26queue <size_t> elem_starts_buf;
27queue <size_t> elem_ends_buf;
28vector <int> gids;
29HashSymbolTable symbol_table;
30
31static inline int NameStrt_check(int pos);
32static inline int Name_check(int pos);
33static inline int PIName_check(int pos);
34static inline int CD_check(int pos);
35static inline int GenRef_check(int pos);
36static inline int HexRef_check(int pos);
37static inline int DecRef_check(int pos);
38static inline int AttRef_check(int pos);
39
40@global
41
42static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits);
43static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask);
44static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, int chars_avail);
45void do_process(FILE *infile, FILE *outfile);
46
47static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int));
48static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int,int));
49
50static inline void do_symbol_table_lookup();
51
52void do_process(FILE *infile, FILE *outfile);
53
54int main(int argc, char * argv[]) {
55        char * infilename, * outfilename;
56        FILE *infile, *outfile;
57        struct stat fileinfo;
58
59        if (argc < 2) {
60                printf("Usage: %s <filename> [<outputfile>]\n", argv[0]);
61                exit(-1);
62        }
63
64        infilename = argv[1];
65        stat(infilename, &fileinfo);
66        infile = fopen(infilename, "rb");
67        if (!infile) {
68                fprintf(stderr, "Error: cannot open %s for input.\n", infilename);
69                exit(-1);
70        }
71
72        if (argc < 3) outfile = stdout;
73        else {
74                outfilename = argv[2];
75                outfile = fopen(outfilename, "wb");
76                if (!outfile) {
77                        fprintf(stderr, "Error: cannot open %s for writing.\n", outfilename);
78                        exit(-1);
79                }
80        }
81
82//      PERF_SEC_BIND(1);
83
84        PERF_SEC_INIT(parser_timer);
85
86        do_process(infile, outfile);
87
88        PERF_SEC_DUMP(parser_timer);
89
90        PERF_SEC_DESTROY(parser_timer);
91
92        fclose(infile);
93        fclose(outfile);
94
95        return(0);
96}
97
98/* s2p Definitions */
99static inline void s2p_do_block(BytePack U8[], Basis_bits & basis_bits) {
100  s2p(U8[0], U8[1], U8[2], U8[3], U8[4], U8[5], U8[6], U8[7],
101        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);
102}
103
104static inline void s2p_do_final_block(BytePack U8[], Basis_bits & basis_bits, BitBlock EOF_mask) {
105  s2p_do_block(U8, basis_bits);
106  basis_bits.bit_0 = simd_and(basis_bits.bit_0, EOF_mask);
107  basis_bits.bit_1 = simd_and(basis_bits.bit_1, EOF_mask);
108  basis_bits.bit_2 = simd_and(basis_bits.bit_2, EOF_mask);
109  basis_bits.bit_3 = simd_and(basis_bits.bit_3, EOF_mask);
110  basis_bits.bit_4 = simd_and(basis_bits.bit_4, EOF_mask);
111  basis_bits.bit_5 = simd_and(basis_bits.bit_5, EOF_mask);
112  basis_bits.bit_6 = simd_and(basis_bits.bit_6, EOF_mask);
113  basis_bits.bit_7 = simd_and(basis_bits.bit_7, EOF_mask);
114}
115
116static inline int ElemStrt_check(int pos) {
117        elem_starts_buf.push(buffer_base + pos);
118        return 0;
119}
120
121static inline int ElemEnd_check(int pos) {
122        elem_ends_buf.push(buffer_base + pos);
123        return 0;
124}
125
126static inline int NameStrt_check(int pos) {
127        if(XML_10_UTF8_NameStrt_bytes((unsigned char*)&source[pos]) == 0){
128              return XMLTestSuiteError::NAME_START;
129        }
130        return 0;
131}
132
133static inline int Name_check(int pos) {
134        if(XML_10_UTF8_NameChar_bytes((unsigned char*)&source[pos]) == 0){
135                  return XMLTestSuiteError::NAME;
136        }
137        return 0;
138}
139
140static inline int PIName_check(int pos, int file_pos) {
141        if (at_XxMmLll<ASCII>((unsigned char*)&source[pos]) && (source[pos+3]=='?' || source[pos+3]<= ' ')) {
142              // "<?xml" legal at start of file.
143              if (!((file_pos == 2) && at_XmlDecl_start<ASCII>((unsigned char*)&source[0]))) {
144                  return XMLTestSuiteError::XMLPINAME;
145              }
146        }
147        return 0;
148}
149
150static inline int CD_check(int pos) {
151        if (!at_CDATA1<ASCII>((unsigned char*)&source[pos])){
152                  return XMLTestSuiteError::CDATA;
153        }
154        return 0;
155}
156
157static inline int GenRef_check(int pos) {
158        unsigned char* s = (unsigned char*)&source[pos];
159        if (!(at_Ref_gt<ASCII>(s)||at_Ref_lt<ASCII>(s)||at_Ref_amp<ASCII>(s)||at_Ref_quot<ASCII>(s)||at_Ref_apos<ASCII>(s))){
160              return XMLTestSuiteError::UNDEFREF;
161        }
162        return 0;
163}
164
165static inline int HexRef_check(int pos) {
166        unsigned char* s = (unsigned char*)&source[pos];
167        int ch_val = 0;
168        while(at_HexDigit<ASCII>(s)){
169          ch_val = HexVal<ASCII>(s[0]) + (ch_val<<4);
170          if (ch_val> 0x10FFFF ){
171                return XMLTestSuiteError::CHARREF;
172          }
173          s++;
174        }
175        if ((ch_val == 0x0) || ((ch_val | 0x7FF) == 0xDFFF)|| ((ch_val | 0x1) == 0xFFFF)){
176          return XMLTestSuiteError::CHARREF;
177        }
178        else if (((ch_val < 0x20) && (ch_val != 0x9) && (ch_val != 0xD) && (ch_val != 0xA))){
179          return XMLTestSuiteError::XML10CHARREF;
180        }
181        return 0;
182}
183
184static inline int DecRef_check(int pos) {
185        unsigned char* s = (unsigned char*)&source[pos];
186        int ch_val = 0;
187        while(at_HexDigit<ASCII>(s)){
188          ch_val = DigitVal<ASCII>(s[0]) + ch_val*10;
189          if (ch_val> 0x10FFFF ){
190                        return XMLTestSuiteError::CHARREF;
191          }
192          s++;
193        }
194        if ((ch_val == 0x0) || ((ch_val | 0x7FF) == 0xDFFF)|| ((ch_val | 0x1) == 0xFFFF)){
195                  return XMLTestSuiteError::CHARREF;
196        }
197        else if (((ch_val < 0x20) && (ch_val != 0x9) && (ch_val != 0xD) && (ch_val != 0xA))){
198                  return XMLTestSuiteError::XML10CHARREF;
199        }
200        return 0;
201}
202
203static inline int AttRef_check(int pos) {
204        unsigned char* s = (unsigned char*)&source[pos];
205        int ch_val = 0;
206        if(s[0]=='#'){
207          s++;
208          if(s[0]=='x' || s[0]=='X'){
209            s++;
210            while(at_HexDigit<ASCII>(s)){
211              ch_val = HexVal<ASCII>(s[0]) + (ch_val<<4);
212              s++;
213            }
214          }
215          else{
216            while(at_HexDigit<ASCII>(s)){
217              ch_val = DigitVal<ASCII>(s[0]) + ch_val*10;
218              s++;
219            }
220          }
221          if (ch_val==60){
222            return XMLTestSuiteError::ATTREF;
223          }
224        }
225        else if(at_Ref_lt<ASCII>(s)){
226          return XMLTestSuiteError::ATTREF;
227        }
228        return 0;
229}
230
231static inline void validate_block(BitBlockForwardIterator & start, int block_base, int is_valid(int)) {
232
233        BitBlockForwardIterator end;
234        int pos, block_pos;
235
236        while(start != end) {
237
238                block_pos = block_base + *start;
239                int rv = is_valid(block_pos);
240
241                if (rv) {
242                        int error_line, error_column;
243                        tracker.get_Line_and_Column(block_pos, error_line, error_column);
244                        ReportError(XMLTestSuiteError::get_msg(rv), error_line, error_column);
245                        exit(-1);
246                }
247                start++;
248        }
249}
250
251static inline void validate_block(BitBlockForwardIterator & start, int block_base, int buffer_base, int is_valid(int,int)) {
252
253        BitBlockForwardIterator end;
254        int pos, block_pos, file_pos;
255
256        while(start != end) {
257
258                block_pos = block_base + *start;
259                file_pos = block_pos+buffer_base;
260
261
262                int rv = is_valid(block_pos, file_pos);
263
264                if (rv) {
265                        int error_line, error_column;
266                        tracker.get_Line_and_Column(block_pos, error_line, error_column);
267                        ReportError(XMLTestSuiteError::get_msg(rv), error_line, error_column);
268                        exit(-1);
269                }
270                start++;
271        }
272}
273
274static inline void do_symbol_table_lookup()
275{
276    while( !elem_starts_buf.empty() && !elem_ends_buf.empty() )
277    {
278        int start = elem_starts_buf.front();
279        int end = elem_ends_buf.front();
280        elem_starts_buf.pop();
281        elem_ends_buf.pop();
282        int length = end - start;
283
284        //lookup or insert to symbol table
285#if DEBUG
286        char* symbol = new char[length+1];
287        strncpy ( symbol, source + start - buffer_base, length );
288        symbol[length] ='\0';
289        printf ("start: %i[%i] | end: %i[%i] | length: %i | symbol: %s\n", start, start-buffer_base, end, end-buffer_base, length, symbol );
290
291        delete symbol; symbol = 0;
292#endif
293
294        int gid = symbol_table.Lookup_or_Insert_Name(source + start - buffer_base, length);
295        gids.push_back(gid);
296    }
297}
298
299static inline void postprocess_do_block(Lex & lex, CtCDPI_Callouts & ctCDPI_Callouts, Ref_Callouts & ref_Callouts, Check_streams & check_streams, Tag_Callouts & tag_Callouts, int chars_avail){
300
301    tracker.StoreNewlines(lex.LF);
302
303    if ( bitblock_has_bit(tag_Callouts.ElemName_starts))
304    {
305        BitBlockForwardIterator iter_length_grouping_starts(&tag_Callouts.ElemName_starts);
306        validate_block(iter_length_grouping_starts, block_base, ElemStrt_check);
307    }
308
309    if ( bitblock_has_bit(tag_Callouts.ElemName_ends) )
310    {
311        BitBlockForwardIterator iter_length_grouping_ends(&tag_Callouts.ElemName_ends);
312        validate_block(iter_length_grouping_ends, block_base, ElemEnd_check);
313    }
314
315    do_symbol_table_lookup();
316
317
318    if (bitblock_has_bit(simd_or(check_streams.non_ascii_name_starts, check_streams.non_ascii_names))) {
319        BitBlockForwardIterator iter_NameStrt_check(&check_streams.non_ascii_name_starts);
320        validate_block(iter_NameStrt_check, block_base, NameStrt_check);
321        BitBlockForwardIterator iter_Name_check(&check_streams.non_ascii_names);
322        validate_block(iter_Name_check, block_base, Name_check);
323    }
324    if (bitblock_has_bit(ctCDPI_Callouts.PI_name_starts)){
325        BitBlockForwardIterator iter_PI_name_starts(&(ctCDPI_Callouts.PI_name_starts));
326        validate_block(iter_PI_name_starts, block_base, buffer_base, PIName_check);
327    }
328    if (bitblock_has_bit(ctCDPI_Callouts.CD_starts)){
329        BitBlockForwardIterator iter_CD_check(&ctCDPI_Callouts.CD_starts);
330        validate_block(iter_CD_check, block_base, CD_check);
331    }
332    if(bitblock_has_bit(ref_Callouts.GenRef_starts)){
333        BitBlockForwardIterator iter_GenRef_check(&ref_Callouts.GenRef_starts);
334        validate_block(iter_GenRef_check, block_base, GenRef_check);
335    }
336    if(bitblock_has_bit(ref_Callouts.DecRef_starts)){
337        BitBlockForwardIterator iter_DecRef_check(&ref_Callouts.DecRef_starts);
338        validate_block(iter_DecRef_check, block_base, DecRef_check);
339    }
340    if(bitblock_has_bit(ref_Callouts.HexRef_starts)){
341        BitBlockForwardIterator iter_HexRef_check(&ref_Callouts.HexRef_starts);
342        validate_block(iter_HexRef_check, block_base, HexRef_check);
343    }
344    if(bitblock_has_bit(check_streams.att_refs)){
345        BitBlockForwardIterator iter_AttRef_check(&check_streams.att_refs);
346        validate_block(iter_AttRef_check, block_base, AttRef_check);
347    }
348
349    if(error_tracker.Has_Noted_Error()){
350        int error_line, error_column;
351        tracker.get_Line_and_Column(error_tracker.Noted_Pos_In_Block(), error_line, error_column);
352        ReportError(error_tracker.Noted_Error_Msg(), error_line, error_column);
353        exit(-1);
354    }
355
356    matcher.store_streams(check_streams.tag_marks, check_streams.name_follows, check_streams.misc_mask, chars_avail);
357    tracker.AdvanceBlock();
358}
359
360static inline void print_GIDS()
361{
362    int span_count = gids.size();
363    for(int i=0;i<span_count;i++) {
364             cout << gids[i] << " ";
365    }
366    cout << endl;
367}
368
369void do_process(FILE *infile, FILE *outfile) {
370
371@decl
372
373  int buf_pos = 0;
374  int block_pos = 0;
375  int errpos = 0;
376  int chars_avail = 0;
377  int check_pos = 0;
378  int chars_read = 0;
379  BytePack buf[(BUFFER_SIZE+BLOCK_SIZE+OVERLAP_BUFSIZE*2)/sizeof(SIMD_type)];
380
381  char * srcbuf = ((char *) buf) + OVERLAP_BUFSIZE;
382  buffer_base = buf_pos;
383  source = srcbuf;
384  chars_read = fread((void *)srcbuf, 1, BUFFER_SIZE + OVERLAP_BUFSIZE, infile);
385  chars_avail = chars_read;
386  if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
387
388  matcher.setSrc(srcbuf);
389
390  if(chars_read<4){
391    fprintf(stderr,"File is too short. Not well formed.\n");
392    exit(-1);
393  }
394
395  Entity_Info * e = new Entity_Info;
396  e->AnalyzeSignature((unsigned char *)srcbuf);
397
398  if (e->code_unit_base == ASCII) {
399
400    XML_Decl_Parser<ASCII> decl_parser((unsigned char *)srcbuf);
401
402    decl_parser.ReadXMLInfo(*e);
403
404    if (e->code_unit_size != SingleByte || (e->has_encoding_decl && (!at_UTF_8(e->encoding)))){
405        fprintf(stderr,"Sorry, this xmlwf demo only works for UTF-8.\n");
406        exit(-1);
407    }
408  }
409  else {
410    fprintf(stderr,"Sorry, this xmlwf demo does not process EBCDIC.\n");
411        exit(-1);
412  }
413
414  if (e->content_start != 0) {
415        memmove(&srcbuf[0], &srcbuf[e->content_start], chars_read - e->content_start);
416        buf_pos = e->content_start;
417        buffer_base = buf_pos;
418        if (chars_avail == BUFFER_SIZE) {
419                chars_read = chars_read - e->content_start +
420                             fread(&srcbuf[chars_read-e->content_start], 1, e->content_start, infile);
421                chars_avail = chars_read;
422                if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
423        }
424        else {
425          chars_read -=e->content_start;
426          chars_avail -=e->content_start;
427        }
428  }
429
430@stream_stmts
431
432/* Full Buffers */
433    while (chars_avail == BUFFER_SIZE) {
434      PERF_SEC_START(parser_timer);
435      for (int blk = 0; blk < SEGMENT_BLOCKS; blk++) {
436          block_base = blk*BLOCK_SIZE;
437          s2p_do_block((BytePack *) &srcbuf[block_base], basis_bits);
438          @block_stmts
439          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
440      }
441
442      matcher.StreamScan(chars_avail);
443      matcher.Advance_buffer();
444      tracker.Advance_buffer();
445      PERF_SEC_END(parser_timer, chars_avail);
446           
447      int bytes_left = chars_read - chars_avail;
448      memmove(buf, &srcbuf[BUFFER_SIZE - OVERLAP_BUFSIZE], bytes_left + OVERLAP_BUFSIZE);
449      chars_read = fread(&srcbuf[bytes_left],1, BUFFER_SIZE + OVERLAP_BUFSIZE - bytes_left, infile) + bytes_left;
450      chars_avail = chars_read;
451      if (chars_avail > BUFFER_SIZE) chars_avail = BUFFER_SIZE;
452      buf_pos += chars_avail;
453      buffer_base = buf_pos;
454    }
455/* Final Partial Buffer */
456    PERF_SEC_START(parser_timer);
457
458    block_pos = 0;
459    int remaining = chars_avail;
460/* Full Blocks */
461    while (remaining >= BLOCK_SIZE) {
462          block_base = block_pos;
463          s2p_do_block((BytePack *) &srcbuf[block_pos], basis_bits);
464          @block_stmts
465          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
466          block_pos += BLOCK_SIZE;
467          remaining -= BLOCK_SIZE;
468    }
469    block_base = block_pos;
470    if (remaining > 0 || @any_carry) {
471          EOF_mask = bitblock::srl(simd<1>::constant<1>(), convert(BLOCK_SIZE-remaining));
472          s2p_do_final_block((BytePack *) &srcbuf[block_pos], basis_bits, EOF_mask);
473          @final_block_stmts
474          postprocess_do_block(lex, ctCDPI_Callouts, ref_Callouts, check_streams, tag_Callouts, chars_avail);
475    }
476    buf_pos += chars_avail;
477    buffer_base = buf_pos;
478
479    matcher.StreamScan(chars_avail);
480    matcher.Advance_buffer();
481    tracker.Advance_buffer();
482
483    PERF_SEC_END(parser_timer, chars_avail);
484    if (matcher.depth != 0) {
485      fprintf(stderr, "tag matching error (depth %i) at position %i\n", matcher.depth, buffer_base);
486      exit(-1);
487    }
488#if DEBUG
489    print_GIDS();
490#endif
491}
Note: See TracBrowser for help on using the repository browser.