2010 Grant Proposal: Perl Compiler

9 Comments

Perl Compiler

Name: Reini urban
Email: [hidden email]
Duration: Until March 2011
Amount Requested: € $1000 (just for motivation)

Synopsis

Fix most of the remaining perl compiler, i.e. B::C, B::CC, B::Bytecode bugs.

Improve documentation a bit.

Maintain the planned compiler.perl.org site.

Benefits to the Perl Community

A working compiler.

Faster startup time.

Optionally faster run-time if the B::CC optimizations work out as expected.

parrot? I've worked with them. I gave up. Better a half-ass perl5 compiler now, than the ongoing ... with parrot/perl6.

Deliverables

Extend the testsuite reasonably - but less is more. The full author tests for all tested perls on all platforms needs 2 days.

Fix the existing SKIPs and TODOs

Testsuite passing on my main platforms cygwin, MSWin32, debian5, centos5, freebsd7, solaris10.

compiler.perl.org

More fun, less headaches

Inch-stones

I don't think I need this.

See below at Project Schedule. From now until end of March 2011, the next surf-season.

Project Details

I successfully ported the abandoned compiler to 5.10 and blead and fixed most of the old bugs, so that the tests pass now on most platforms.

But there's more todo. Finding bugs cannot be detailled here. In the core suite are some, in the top100 modules are some, the community will come up with more. Some are known, some not yet. So far all found bugs could be fixed within 1-2 days, sometimes they are just hard to catch.

  1. Adjust the perl core suite and find limitations (runperl issues) vs bugs
  2. Check modules
  3. Check user reports
  4. Check weird platforms, compilers, programming tricks.

CC bugs

Well, some bugs are run-time limitations which will require run-time solutions. The sortcv bug [CPAN #53536] is easily understood but hard to fix. Will need at least 2 days concentration on it.

Planned CC Optimizations

Static initialization of readonly data: SVs, AVs, HVs.

-fcog for strings (copy on grow by using a custom destructor)

Fill in missing Opcodes flags for most optimisable ops. Maybe even automatically.

Check possible type declarations with Devel::TypeCheck, MooseX::Types, attributes and such.

I've finished 50% of Malcom's Todo during the winter surf-holidays, and fixed 90% of Malcom bugs in the last year so I'm confident.

I've already got a sponsor for my conference travel expenses. A tip: They could be persuaded to sponsor this grant also :) (cPanel)

Project Schedule

During summer-time I prefer surfing over coding to keep emotional stability in the coorporate environment. Winter 2009-2010 was very productive, because I got a kick by cPanel who needed it.

For the next coding season I might need further kicks, a mini-grant like this might be enough.

2010: Find and fix all remaining bugs. I suspect there are still 5-6 major ones.

2010: Faster testsuite. Now: 8 min user - 40min author - 2 days all perls + plats.

Until March 2011: CC type and sub optimisations

Later (not part of this proposal)

Until 2012: CC unrolling => jit within perl (perl -j)

Bio

Reini Urban, living in Graz, Austria. Born 1963, pretty old, yes.

Born Lisper, but I've been writing perl programs since 1992 and released my first module to CPAN in 1995, the perl5.hlp file for Windows, created by some pod2rtf.pl. cygwin maintainer (perl, parrot, postgresql, clisp, ...) for a couple of years, and several B::* modules.

I work for a large HW+SW company (>2000 developers), 8-16 o'clock.

Since nobody is able to help me with the compiler it looks like I'm alone. Hopefully this will change! I even had to write my own Debugger. Yes, I'm aware of trucks. Surfing is not risky at all. Bycycling is more dangerous.

9 Comments

Seriously WANT!

Pay the man...

If PHP can do it, so should Perl.

I'm all for improving the Perl compiler, but this grant request is kind of confusing. Are the deliverables really stretched out over the next two years? Why?

Given the small amount being requested, I'd prefer too see this narrowed down to a smaller set of inchstones that can be achieved in the near future.

PHP without string eval() (and other restrictions) can "do it"...

I'm guessing they're stretched out over two years only because the requester can envision his work that far ahead (and this labor of love is only a moonlighting endeavor, not fulltime $dayjob). It seems the requester wants the compensation as a psychological motivation from TPF's public backing/approval of his work, and not necessarily as something to offset/recover the actual opportunity cost of choosing to work on B::.

I should clarify that I am all for funding work on this project in general, I just don't think this grant is clear in what the funding is for.

Good idea. It would get Perl a formal commitment from Reini, more optimization and testing, fewer bugs, etc. Some concrete deliverables would strengthen the application. How about a goal like successfully compiling and running a good portion of a list of important Perl modules and applications?

perlcc has long been broken and it's awesome that someone's working on it. The fee Reini is asking for is obviously just a token amount. I don't think it's unreasonable that he doesn't give a detailed project schedule as long as it's understood that he simply continue doing the good work that he has been doing already.

To clarify the unusual time frame again:

I already stopped busy compiler development until next november. I rather concentrate on writing the jitter and rely on others reporting bugs.
Most of the deliverables are already in svn, e.g. but cutting down the testsuite, testing core and the top100 modules. But there are still 2-3 major bugs lurking, which need a good amount of full concentration > 2 days per bug.
And a lot of documentation is missing, so that others can understand it and help.

I wrote:
2010: Find and fix all remaining bugs. I suspect there are still 5-6 major ones.
2010: Faster testsuite. Now: 8 min user - 40min author - 2 days all perls + plats.
Until March 2011: CC type and sub optimisations

$1000 for fixing those until March 2011 seems fair to me.

Matthew Wilson: Our perl compiled eval works fine, in contrast to php. No issue for us. I fixed major eval issues after writing this proposal while visiting Frozen Perl 2010 in Minneapolis.

Martin Berends: I have now 4% failures on the top100 cpan modules on a good platform, but a lot of weird failures on the core testsuite. Unimplemented magic mostly, and failing xs stub and dl_init(). Bigger applications are expected to work end of this year. With workarounds even now.

I uploaded B-C-1.30 at March 6, 2011 with most of goals fulfilled in my little developer point of view.

See http://cpansearch.perl.org/src/RURBAN/B-C-1.31/Changes
full 5.14 support, full dynaload support, fixed half of the outstanding bugs.

But unfortunately the ability to dynaload modules caused some new code paths and bugs which I'm currently exploring.
CPAN Testers is red because I was overly optimistic.

Also darwin and MULTIPLICITY was not covered.
And the symbol walker needs to be rewritten, to improve dependency detection for the masses.

About TPF

The Perl Foundation - supporting the Perl community since 2000. Find out more at www.perlfoundation.org.

Recent Comments

  • rurban.myopenid.com: I uploaded B-C-1.30 at March 6, 2011 with most of read more
  • rurban.myopenid.com: To clarify the unusual time frame again: I already stopped read more
  • Ævar Arnfjörð Bjarmason: perlcc has long been broken and it's awesome that someone's read more
  • Martin Berends: Good idea. It would get Perl a formal commitment from read more
  • autarch.urth.org: I should clarify that I am all for funding work read more
  • Matthew Wilson: I'm guessing they're stretched out over two years only because read more
  • Matthew Wilson: PHP without string eval() (and other restrictions) can "do it"... read more
  • autarch.urth.org: I'm all for improving the Perl compiler, but this grant read more
  • Anonymous: Seriously WANT! Pay the man... If PHP can do it, read more

About this Entry

This page contains a single entry by Alberto Simões published on February 6, 2010 5:00 PM.

2010 Grant Proposal: CPAN Reviews was the previous entry in this blog.

2010Q1 Grant Proposal: perl core memory improvements is the next entry in this blog.

Find recent content on the main index or look in the archives to find all content.

OpenID accepted here Learn more about OpenID
Powered by Movable Type 4.38