Sunday, 19 October 2008

Invalidation

Whenever content or style changes, Gecko has to ensure that the necessary regions of the window are repainted. This is generally done by calling nsIFrame::Invalidate to request the repainting of a rectangle relative to a particular frame. Each of these operations is nontrivial; these rectangles have to be translated up the frame tree into window coordinate space, which is tricky if there's an ancestor element using CSS transforms, or there's an SVG foreignObject ancestor. Ancestor with SVG filter effects can even cause the invalidation area to grow in tricky ways. I've always been surprised that Invalidate doesn't show up in profiles very often.

Worse than the performance issue, though, is that these Invalidate calls are smeared through layout and consequently there are lots of bugs --- mostly where we invalidate too little and leave "rendering turds" in windows, but also where we invalidate too much and do unnecessary repainting that slows things down. Part of the problem is that Gecko's invariants about who is responsible for invalidating what are complex and, in some cases, just plain wrong. However the problem is also fundamental: invalidation is in some sense duplication of information and code, because we already have code to paint, and in principle you could derive what needs to be invalidated from that code.

So, I've been tossing around the idea of doing just that. We already create frame display lists representing what needs to be rendered in a window. So in theory we can just keep around a copy of the display list for the window; whenever we need to repaint we can just create a new display list for the window, diff it against the old display list to see what's changed, and repaint that area.

There are a few problems that make it not so easy. First, we need to know when we may need to repaint the window. In most cases that's fairly easy, we should do a repaint after every reflow or style change with a "repaint" hint. A few other cases, such as animated images, would need to signal their repainting needs explicitly. We'd have to deal with maintaining the "currently visible" display list in the face of content it refers to being deleted. We'd also need to update that display list to take account of scrolling.

The big question is performance. Display list construction is typically very cheap, but in pathological cases (when huge numbers of elements are visible at once), it can be slow, so small visual changes to such pages could get significantly slower than they are now. On the other hand, when most of the page area is changing this scheme should be faster than what we today, because the costs of invalidation will go away and we have to build a display list for the whole window at each paint anyway.

Another option is to do some kind of hybrid scheme where we make a little effort to keep track of what's changed --- perhaps just the frame subtree that was affected, possibly via dirty bits in the frames themselves --- and use that to bound the display list (re)construction.



5 comments:

  1. Fascinating. I think I should chat with you at some point about these interesting data structure invariants in the Gecko code. Of course they're well beyond what I can statically analyze these days.
    Too bad I'm no longer at MIT...

    ReplyDelete
  2. OT: If I keep resizing this page so that it changes between two columns and three columns, eventually it gets into a state where the bottom is cut off and I have to hit reload to see the entire thing. I'm not sure if that's already a known bug.
    Using:
    Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1b2pre) Gecko/20081019 Minefield/3.1b2pre

    ReplyDelete
  3. Is there any debug mode where Gecko points out somehow which parts are being invalidated? It'd be useful to diagnose performance.
    I was thinking about a blinking rectangle or something of that sort.

    ReplyDelete
  4. Robert O'Callahan22 October 2008 20:11

    http://ejohn.org/blog/browser-paint-events/

    ReplyDelete
  5. My "what if..." search landed on your weblog and my thinking perfectly coincides with yours about the power of gradient SVG for CSS background-image et cetera. I'm also amazed to encounter a Kiwi so well traveled :), well my Aussie friends biased me but you're opening my eyes! ;) Thanks for your kind contributions to open source.

    ReplyDelete