Re: GPS - A new kind of IDE?

["Oliver Kellogg" <oliver.kellogg@t-online.de>]

I need to correct myself on the data that I posted.

I was just about to switch from ANTLR to GNAT for disappointment
with the ANTLR parser speed when it occurred to me that I had been
compiling the ANTLR C++ runtime and the Ada grammar without -O
(optimize.)

After turning on -O, I've had quite a surprise.

Here are the timing figures (test case: Ada files of polyorb-snap-4566/src)

Without -O for runtime and lexer/parser:
real    2m41.298s
user    2m39.200s
sys     0m0.860s

With -O for runtime and lexer/parser:
real    0m9.895s
user    0m8.250s
sys     0m0.890s

For comparison, "gnatgcc -c -gnats" (which is roughly
comparable in effect to what the above parser does)
performs as follows:
real    0m4.042s
user    0m2.030s
sys     0m2.010s

So in this case the hand crafted parser (GNAT) is still
double as fast as the parser automatically generated
from a grammar (ANTLR.)  Not bad IMHO.


Oliver Kellogg wrote:
> I've just bumped into an interesting data point on
> parser contruction with ANTLR regarding parse speed.
> ANTLR supports syntactic predicates such as
>
>   (subprog_body) => subprog_body
>
> where the rule subprog_body is applied on trial
> and if it turns out not to apply then the parser backs
> out and applies the next rule. Terence Parr, inventor
> of ANTLR, calls this "infinite lookahead".
>
> This feature makes for a prettier grammar because
> it allows more liberal reuse of rules. In the above
> example, we can write the subprog_body rule in a
> place where also a subprog_spec could be expected;
> the parser takes care of resolving the ambiguity.
>
> However, that beauty has its price.
>
> As a test, I submitted the source code of the
> Ada Graphics Package (agp95_v0.1_x11/src) to parsing
> (38560 LOC, 11851 executable semicolons.)
>
> With usage of syntactic predicate for the subprog_spec/subprog_body
> distinction ("pretty" soft-state grammar rule):
>
> real    1m16.635s
> user    1m15.930s
> sys     0m0.300s
>
> Without usage of syntactic predicate for the subprog_spec/subprog_body
> distinction ("ugly" hard-coded state):
>
> real    0m46.058s
> user    0m45.110s
> sys     0m0.370s
>
> So for kdevelop adasupport I'm going with the hard state rule
> for subprograms.
>