bonzini is currently certified at Master level.

Name: Paolo Bonzini
Member since: 2003-02-17 16:23:50
Last Login: 2008-06-05 08:12:58

FOAF RDF Share This

Homepage: http://www.inf.unisi.ch/~bonzini

Notes:

I am a Ph.D. student at the University of Lugano (Italian Switzerland, aka Ticino). I spend some of my free time hacking on GNU Smalltalk, GNU sed and GCC: GNU Compiler Collection. I also created the GNU lightning library as part of my work on GNU Smalltalk. There are small or large patches from me in a lot of free software programs (including Timidity++, GNU autoconf, and GNU Automake).

-----BEGIN GEEK CODE BLOCK-----
Version: 3.1
GCS/M/TW d- s: a-- C++ UL++++ US P- L++ E--- W++
N+(++) o? K? w O? M- V? PS+ PE+(-) Y+ PGP t
5? X R tv(+) b+ DI++ D G e h! r++
------END GEEK CODE BLOCK------

Projects

Recent blog entries by bonzini

Syndication: RSS 2.0

Work on free software has been a little slower, apart from more GCC patches, in the last several months. First, you just need to take a break sometimes; and second, I was working full-time as a webmaster, completely rewriting with CSS a one-year-old site that was using frames and table-based layout (!). I also made some other CSS-based sites in the meanwhile.

In GCC I did mostly two things: cleaning up the configury and allowing to bootstrap components of the toolchain other than the compiler itself (libcpp, libiberty, gas, etc.), and working on vector arithmetic. Work on the latter will be in 4.0, while the bootstrap stuff will have to wait for 4.1.

I've done more work on the glibc regex matcher recently, nothing paramount but it does give interesting speedups on some cases (even not-so-pathologic as .{1,2000}). I've also finished (or almost there) my IPv6 version of netcat.

The biggest news is that I moved from Milan and have just started a Ph.D. in Italian Switzerland. I don't know yet what I'll do my research on.

Since I did quite well with regex (10-20% speed improvement on average), I've been hooked by the idea of squeezing some performance out of gcc... I've produced a couple o' patches that get about 1% each, 40 more and that's 50% of gcc's speed :-) After seeing how it's written I would not trust it very much as my compiler... Just kidding of course, but it's incredible how much special casing gcc has and how many intricated if's that the compiler has a hard time optimizing. No doubt it's slow.

Ah, I found a cute bug, PR/13931 in gcc's bugzilla database. This is marked as a critical regression for 3.4, maybe you can blame me if the release is delayed. ;->

The thesis is finished and printed, though I did make a couple improvements after I prepared the final benchmarks; the result is that my VM a bit faster than the bytecode interpreter included with GCJ. Method calls are sloooow in GNU Smalltalk, something's got to be done sooner or later about that. :-(

20 Jan 2004 (updated 20 Jan 2004 at 17:29 UTC) »

Lately I have been working on my thesis; I can now run Java benchmarks in GNU Smalltalk even with the just-in-time compiler enabled. I have to print it on Friday and give it in by Wednesday.

Still a long way from releasing 2.2, though. The release cycle is indeed longer than for previous releases, maybe by end 2004. I still have to do some work on security (but maybe I'll just keep it on my hard drive as a patch and drop it, it's quite hard stuff), and since I switched the bytecode set I'd like to do escaping variable analysis and be able to deallocate activation records LIFO more often than now. It's one of the worse things in GNU Smalltalk, really.

Made a lot of work on the GNU regex implementation in glibc 2.3, it is now less braindead than it used to be -- many thanks to Jakub Jelinek and Ulrich Drepper for supporting this, really. For example, it prunes anchored searches, without trying to match ^a all along the strings. It does not care about multicharacter collating symbols (like the Danish AA) in the C locale which has none. It has some microoptimizations, removing two-three parameters from some often called functions and with completely rewritten routines to handle sets of DFA nodes. And it does have some bugfixes, a couple of which caused quadratic bottlenecks. But, it is still much slower than PCRE and grep. Sigh. :-(

sed 4.1 is shooting for POSIX conformance, I'm quite close to it: I have a fix to apply yet that makes line numbers be checked without the need to be enabled/disabled as regex addresses, it fixes case like the following

5,8b
1,5d
You'd expect that it printed lines from 6 on, but the branch prevents the 1,5 address from being disabled and -- surprise -- line 9 is not printed!

I bought two books on Amazon. Code reading is quite cool though most of the tricks it shows are quite basic, because it shows really a lot of code of various quality and prepares you so you have fewer some surprises; I liked the chapters on large projects. Debugging: nine indispensable rules is much better, again it is something everybody is doing sometimes, but it is presented in a convincing way so that you really get to follow the rules. I rarely if ever buy computer books, but I am really satisfied about these two.

I prepared my first gcc patch! It fixes a problem with unsigned int * long long multiplication. I still do not have copyright assignments, but I hope the patch is small enough to be accepted. However, long long still sucks: gcc cannot optimize 64-by-32 division, and performs simply awful register allocation. Bah. I just had an itch to scratch to see if I could fix the one pessimization that seemed easy to attack, and I did. :-)

To complete my previous findings on Libtool, I must say that indeed the libtool people provided me with a solution to prevent the C++/Java tests from appearing in configure (it will be in libtool 1.6 but I backported it) and that I found a way to avoid that the C tests are performed twice (I have contributed it to libtool and it will also be in 1.6).

Also, I just updated to the last Automake 1.8 beta, and the new implementation of aclocal saved over 300k on my tarball, so not everything's wrong in the Autotools after all... :-) (aclocal now includes m4 files that are in the distribution directory using m4_include, and not literally in aclocal.m4).

Yesterday I decided that it would have been cool if GNU Smalltalk was compiled as a shared library. With the support for ELF visibilities that is in gcc 3.3, that should have been possible without much performance degradation (note that the installed VM still is linked statically though). Then I also decided that I should compile the shared library with -fomit-frame-pointer because I do need the register that is lost for the GOT pointer when using position-independent code.

The only sane way that came to mind to supply that flag only for the PIC case, and then only for a particular library, was to use libtool 1.5's tags: they are born to support multiple languages, but the presence of the disable-shared tag suggested that they could be put to such use. To summarize, there is absolutely no documentation on how to use tags, not to mention defining new ones (I wanted my tag to be based on the standard tag for C of course, without duplicating all the code in libtool.m4). I have lost a whole afternoon trying to do this, and now that I finally succeeded, what I came up with is a bunch of awful-looking m4 hacks (that luckily can be encapsulated in a separate macro) and with a 770kb configure that is basically doing exactly the same tests twice!

Ah, and I was forgetting to say that it used to top the megabyte until I found out that it was including in the configure file the stuff for C++, Java, and Fortran 77 without ever executing it. :-)

10 older entries...

 

bonzini certified others as follows:

  • bonzini certified bonzini as Journeyer
  • bonzini certified aoliva as Master
  • bonzini certified hubicka as Master
  • bonzini certified rth as Master
  • bonzini certified clausen as Journeyer
  • bonzini certified federico as Master
  • bonzini certified raph as Master
  • bonzini certified alan as Master
  • bonzini certified zw as Master
  • bonzini certified bkorb as Journeyer
  • bonzini certified drow as Journeyer
  • bonzini certified fxn as Journeyer
  • bonzini certified ploppy as Journeyer
  • bonzini certified cdegroot as Master
  • bonzini certified kwoo as Journeyer
  • bonzini certified tromey as Master
  • bonzini certified richdawe as Journeyer
  • bonzini certified davidw as Journeyer
  • bonzini certified jonas as Journeyer
  • bonzini certified bkuhn as Journeyer
  • bonzini certified pasky as Journeyer
  • bonzini certified Stevey as Journeyer
  • bonzini certified miah as Journeyer
  • bonzini certified mpr as Apprentice
  • bonzini certified xanth as Apprentice
  • bonzini certified realblades as Apprentice
  • bonzini certified nikodemus as Apprentice
  • bonzini certified guidod as Journeyer
  • bonzini certified Akira as Journeyer
  • bonzini certified polak as Journeyer
  • bonzini certified akihabara as Master
  • bonzini certified pbor as Journeyer
  • bonzini certified kai as Journeyer
  • bonzini certified kjwoo as Apprentice
  • bonzini certified jserv as Journeyer
  • bonzini certified lerdsuwa as Journeyer
  • bonzini certified aph as Master
  • bonzini certified rmathew as Journeyer
  • bonzini certified pinskia as Journeyer
  • bonzini certified laburu as Apprentice
  • bonzini certified bi as Journeyer
  • bonzini certified redi as Journeyer
  • bonzini certified blume as Master
  • bonzini certified mjs as Master

Others have certified bonzini as follows:

  • bonzini certified bonzini as Journeyer
  • kwoo certified bonzini as Journeyer
  • ploppy certified bonzini as Journeyer
  • fxn certified bonzini as Master
  • richdawe certified bonzini as Master
  • davidw certified bonzini as Master
  • pasky certified bonzini as Journeyer
  • Stevey certified bonzini as Journeyer
  • miah certified bonzini as Master
  • mpr certified bonzini as Master
  • xanth certified bonzini as Journeyer
  • realblades certified bonzini as Journeyer
  • nikodemus certified bonzini as Master
  • polak certified bonzini as Journeyer
  • cdegroot certified bonzini as Master
  • pbor certified bonzini as Master
  • kai certified bonzini as Master
  • kjwoo certified bonzini as Master
  • jserv certified bonzini as Master
  • lerdsuwa certified bonzini as Master
  • ara0bswft16 certified bonzini as Master
  • halcy0n certified bonzini as Master
  • pcburns certified bonzini as Master
  • bi certified bonzini as Master
  • redi certified bonzini as Master

[ Certification disabled because you're not logged in. ]

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

X
Share this page