Source/core/paintThis directory contains implementation of painters of layout objects. It covers the following document lifecycle phases:
kInCompositingUpdate, kCompositingInputsClean and kCompositingClean)InPaintInvalidation and PaintInvalidationClean)InPrePaint and PrePaintClean)InPaint and PaintClean)This chapter is basically a clarification of CSS 2.1 appendix E. Elaborate description of Stacking Contexts.
Note: we use ‘element’ instead of ‘object’ in this chapter to keep consistency with the spec. We use ‘object’ in other places in this document.
According to the documentation, we can have the following types of elements that are treated in different ways during painting:
Stacked objects: objects that are z-ordered in stacking contexts, including:
Stacking contexts: elements with non-auto z-indices or other properties that affect stacking e.g. transform, opacity, blend-mode.
Elements that are not real stacking contexts but are treated as stacking contexts but don't manage other stacked elements. Their z-ordering are managed by real stacking contexts. They are positioned elements with z-index: auto (E.2.8 in the documentation).
They must be managed by the enclosing stacking context as stacked elements because z-index:auto and z-index:0 are considered equal for stacking context sorting and they may interleave by DOM order.
The difference of a stacked element of this type from a real stacking context is that it doesn't manage z-ordering of stacked descendants. These descendants are managed by the parent stacking context of this stacked element.
“Stacked element” is not defined as a formal term in the documentation, but we found it convenient to use this term to refer to any elements participating z-index ordering in stacking contexts.
A stacked element is represented by a PaintLayerStackingNode associated with a PaintLayer. It‘s painted as self-painting PaintLayers by PaintLayerPainter by executing all of the steps of the painting algorithm explained in the documentation for the element. When painting a stacked element of the second type, we don’t paint its stacked descendants which are managed by the parent stacking context.
Non-stacked pseudo stacking contexts: elements that are not stacked, but paint their descendants (excluding any stacked contents) as if they created stacking contexts. This includes
They are painted by ObjectPainter::paintAllPhasesAtomically() which executes all of the steps of the painting algorithm explained in the documentation, except ignores any descendants which are positioned or have non-auto z-index (which is achieved by skipping descendants with self-painting layers).
Other normal elements.
Paint container: the parent of an object for painting, as defined by CSS2.1 spec for painting. For regular objects, this is the parent in the DOM. For stacked objects, it's the containing stacking context-inducing object.
Paint container chain: the chain of paint ancestors between an element and the root of the page.
Compositing container: an implementation detail of Blink, which uses PaintLayers to represent some layout objects. It is the ancestor along the paint ancestor chain which has a PaintLayer. Implemented in PaintLayer::compositingContainer(). Think of it as skipping intermediate normal objects and going directly to the containing stacked object.
Compositing container chain: same as paint chain, but for compositing container.
Paint invalidation container: the nearest object on the compositing container chain which is composited. Slimming paint V2 doesn't have this concept.
Visual rect: the bounding box of all pixels that will be painted by a display item client.
The primary responsibility of this module is to convert the outputs from layout (the LayoutObject tree) to the inputs of the compositor (the cc::Layer tree and associated display items).
At the time of writing, there are three operation modes that are switched by RuntimeEnabledFeatures.
This is the default operation mode. In this mode, layerization runs before pre-paint and paint. PaintLayerCompositor and CompositedLayerMapping use layout and style information to determine which subtrees of the PaintLayer tree should be pulled out to paint in its own layer, this is also known as ‘being composited’. Transforms, clips, and effects enclosing the subtree are applied as GraphicsLayer parameters.
Then during pre-paint, a property tree is generated for fast calculating paint location and visual rects of each LayoutObject on their backing layer, for invalidation purposes.
During paint, the paint function of each GraphicsLayer created by CompositedLayerMapping will be invoked, which then calls into the painter of each PaintLayer subtree. The painter then outputs a list of display items which may be drawing, or meta display items that represents non-composited transforms, clips and effects.
| | from layout v +------------------------------+ | LayoutObject/PaintLayer tree | +------------------------------+ | | PaintLayerCompositor::UpdateIfNeeded() | CompositingInputsUpdater::Update() | CompositingLayerAssigner::Assign() | GraphicsLayerUpdater::Update() | GraphicsLayerTreeBuilder::Rebuild() v +--------------------+ | GraphicsLayer tree | +--------------------+ | | | | LocalFrameView::PaintTree() | | LocalFrameView::PaintGraphicsLayerRecursively() | | GraphicsLayer::Paint() | | CompositedLayerMapping::PaintContents() | | PaintLayerPainter::PaintLayerContents() | | ObjectPainter::Paint() | v | +-----------------+ | | DisplayItemList | | +-----------------+ | | | | WebContentLayer shim v v +----------------+ | cc::Layer tree | +----------------+ | | to compositor v
This is a new mode under development. In this mode, layerization runs after pre-paint and paint, and meta display items are abandoned in favor of property trees.
The process starts with pre-paint to generate property trees. During paint, each generated display item will be associated with a property tree state. Adjacent display items having the same property tree state will be grouped as PaintChunk. The list of paint chunks then will be processed by PaintArtifactCompositor for layerization. Property nodes that will be composited are converted into cc property nodes, while non-composited property nodes are converted into meta display items by PaintChunksToCcLayer.
| | from layout v +------------------------------+ | LayoutObject/PaintLayer tree | +------------------------------+ | | | | PrePaintTreeWalk::Walk() | | PaintPropertyTreeBuider::UpdatePropertiesForSelf() | v | +--------------------------------+ |<--| Property trees | | +--------------------------------+ | | | LocalFrameView::PaintTree() | | FramePainter::Paint() | | PaintLayerPainter::Paint() | | ObjectPainter::Paint() | v | +---------------------------------+ | | DisplayItemList/PaintChunk list | | +---------------------------------+ | | | |<---------------------------------+ | LocalFrameView::PushPaintArtifactToCompositor() | PaintArtifactCompositor::Update() | +---+---------------------------------+ | v | | +----------------------+ | | | Chunk list for layer | | | +----------------------+ | | | | | | PaintChunksToCcLayer::Convert() | v v v +----------------+ +-----------------------+ | cc::Layer list | | cc property trees | +----------------+ +-----------------------+ | | +------------------+ | to compositor v
This mode is for incrementally shipping completed features from SPv2. It is numbered 1.75 because invalidation using property trees was called SPv1.5, which is now a part of SPv1. SPv1.75 will again replace SPv1 once completed.
SPv1.75 reuses layerization from SPv1, but will cherrypick property-tree-based paint from SPv2. Meta display items are abandoned in favor of property tree. Each drawable GraphicsLayer's layer state will be computed by the property tree builder. During paint, each display item will be associated with a property tree state. At the end of paint, meta display items will be generated from the state differences between the chunk and the layer.
| | from layout v +------------------------------+ | LayoutObject/PaintLayer tree |-----------+ +------------------------------+ | | | | PaintLayerCompositor::UpdateIfNeeded() | | CompositingInputsUpdater::Update() | | CompositingLayerAssigner::Assign() | | GraphicsLayerUpdater::Update() | PrePaintTreeWalk::Walk() | GraphicsLayerTreeBuilder::Rebuild() | PaintPropertyTreeBuider::UpdatePropertiesForSelf() v | +--------------------+ +------------------+ | GraphicsLayer tree |<------------------| Property trees | +--------------------+ +------------------+ | | | | | |<-----------------------------------+ | | | LocalFrameView::PaintTree() | | | LocalFrameView::PaintGraphicsLayerRecursively() | | | GraphicsLayer::Paint() | | | CompositedLayerMapping::PaintContents() | | | PaintLayerPainter::PaintLayerContents() | | | ObjectPainter::Paint() | | v | | +---------------------------------+ | | | DisplayItemList/PaintChunk list | | | +---------------------------------+ | | | | | |<--------------------------------------------------+ | | PaintChunksToCcLayer::Convert() | | | | WebContentLayer shim v v +----------------+ | cc::Layer tree | +----------------+ | | to compositor v
| SPv1 | SPv175 | SPv2
--------------------------+--------------------+--------------------+------------- REF::SPv175Enabled | false | true | true REF::SPv2Enabled | false | false | true Property tree | without effects | full | full Paint chunks | no | yes | yes Layerization | PLC/CLM | PLC/CLM | PAC Non-composited properties | meta items | PC2CL | PC2CL Raster invalidation | LayoutObject-based | LayoutObject-based | chunk-based
Paint invalidation marks anything that need to be painted differently from the original cached painting.
Paint invalidation is a document cycle stage after compositing update and before paint. During the previous stages, objects are marked for needing paint invalidation checking if needed by style change, layout change, compositing change, etc. In paint invalidation stage, we traverse the layout tree in pre-order, crossing frame boundaries, for marked subtrees and objects and send the following information to GraphicsLayers and PaintControllers:
invalidated display item clients: must invalidate all display item clients that will generate different display items.
paint invalidation rects: must cover all areas that will generate different pixels. They are generated based on visual rects of invalidated display item clients.
PaintInvalidationStatePaintInvalidationState is an optimization used during the paint invalidation phase. Before the paint invalidation tree walk, a root PaintInvalidationState is created for the root LayoutView. During the tree walk, one PaintInvalidationState is created for each visited object based on the PaintInvalidationState passed from the parent object. It tracks the following information to provide O(1) complexity access to them if possible:
Paint invalidation container: Since as indicated by the definitions in [Glossaries](#Other glossaries), the paint invalidation container for stacked objects can differ from normal objects, we have to track both separately. Here is an example:
<div style="overflow: scroll">
<div id=A style="position: absolute"></div>
<div id=B></div>
</div>
If the scroller is composited (for high-DPI screens for example), it is the paint invalidation container for div B, but not A.
Paint offset and clip rect: if possible, PaintInvalidationState accumulates paint offsets and overflow clipping rects from the paint invalidation container to provide O(1) complexity to map a point or a rect in current object‘s local space to paint invalidation container’s space. Because locations of objects are determined by their containing blocks, and the containing block for absolute-position objects differs from non-absolute, we track paint offsets and overflow clipping rects for absolute-position objects separately.
In cases that accurate accumulation of paint offsets and clipping rects is impossible, we will fall back to slow-path using LayoutObject::localToAncestorPoint() or LayoutObject::mapToVisualRectInAncestorSpace(). This includes the following cases:
An object has transform related property, is multi-column or has flipped blocks writing-mode, causing we can't simply accumulate paint offset for mapping a local rect to paint invalidation container;
An object has has filter (including filter induced by reflection), which needs to expand visual rect for descendants, because currently we don't include and filter extents into visual overflow;
For a fixed-position object we calculate its offset using LayoutObject::localToAncestorPoint(), but map for its descendants in fast-path if no other things prevent us from doing this;
Because we track paint offset from the normal paint invalidation container only, if we are going to use m_paintInvalidationContainerForStackedContents and it's different from the normal paint invalidation container, we have to force slow-path because the accumulated paint offset is not usable;
We also stop to track paint offset and clipping rect for absolute-position objects when m_paintInvalidationContainerForStackedContents becomes different from m_paintInvalidationContainer.
Texts are painted by InlineTextBoxPainter using InlineTextBox as display item client. Text backgrounds and masks are painted by InlineTextFlowPainter using InlineFlowBox as display item client. We should invalidate these display item clients when their painting will change.
LayoutInlines and LayoutTexts are marked for full paint invalidation if needed when new style is set on them. During paint invalidation, we invalidate the InlineFlowBoxs directly contained by the LayoutInline in LayoutInline::InvalidateDisplayItemClients() and InlineTextBoxs contained by the LayoutText in LayoutText::InvalidateDisplayItemClients(). We don't need to traverse into the subtree of InlineFlowBoxs in LayoutInline::InvalidateDisplayItemClients() because the descendant InlineFlowBoxs and InlineTextBoxs will be handled by their owning LayoutInlines and LayoutTexts, respectively, when changed style is propagated.
::first-line::first-line pseudo style dynamically applies to all InlineBox's in the first line in the block having ::first-line style. The actual applied style is computed from the ::first-line style and other applicable styles.
If the first line contains any LayoutInline, we compute the style from the ::first-line style and the style of the LayoutInline and apply the computed style to the first line part of the LayoutInline. In Blink's style implementation, the combined first line style of LayoutInline is identified with FIRST_LINE_INHERITED pseudo ID.
The normal paint invalidation of texts doesn't work for first line because
ComputedStyle::VisualInvalidationDiff() can't detect first line style changes;We have a special path for first line style change: the style system informs the layout system when the computed first-line style changes through LayoutObject::FirstLineStyleDidChange(). When this happens, we invalidate all InlineBoxes in the first line.
During InPrePaint document lifecycle state, this class is called to walk the whole layout tree, beginning from the root FrameView, across frame boundaries. We do the following during the tree walk:
This class is responsible for building property trees (see the platform paint README file).
Each PaintLayer's LayoutObject has one or more FragmentData objects (see below for more on fragments). Every FragmentData has an ObjectPaintProperties object if any property nodes are induced by it. For example, if the object has a transform, its ObjectPaintProperties::Transform() field points at the TransformPaintPropertyNode representing that transform.
The NeedsPaintPropertyUpdate, SubtreeNeedsPaintPropertyUpdate and DescendantNeedsPaintPropertyUpdate dirty bits on LayoutObject control how much of the layout tree is traversed during each PrePaintTreeWalk.
In the absence of multicolumn/pagination, there is a 1:1 correspondence between self-painting PaintLayers and FragmentData. If there is multicolumn/pagination, there may be more FragmentDatas.. If a PaintLayer has a property node, each of its fragments will have one. The parent of a fragment‘s property node is the property node that belongs to the ancestor PaintLayer which is part of the same column. For example, if there are 3 columns and both a parent and child PaintLayer have a transform, there will be 3 FragmentData objects for the parent, 3 for the child, each FragmentData will have its own TransformPaintPropertyNode, and the child’s ith fragment‘s transform will point to the ith parent’s transform.
Each FragmentData receives its own ClipPaintPropertyNode. They also store a unique PaintOffset, PaginationOffset and LocalBordreBoxProperties object.
See LayoutMultiColumnFlowThread.h for a much more detail about multicolumn/pagination.
This class replaces [PaintInvalidationState] for SlimmingPaintInvalidation. The main difference is that in PaintInvalidator, visual rects and locations are computed by GeometryMapper(../../platform/graphics/paint/GeometryMapper.h), based on paint properties produced by PaintPropertyTreeBuilder.
TODO(wangxianzhu): Combine documentation of PaintInvalidation phase into here.
PaintController holds the previous painting result as a cache of display items. If some painter would generate results same as those of the previous painting, we'll skip the painting and reuse the display items from cache.
When a painter would create a DrawingDisplayItem exactly the same as the display item created in the previous painting, we'll reuse the previous one instead of repainting it.
When possible, we create a scoped SubsequenceRecorder in PaintLayerPainter::PaintContents() to record all display items generated in the scope as a “subsequence”. Before painting a layer, if we are sure that the layer will generate exactly the same display items as the previous paint, we'll get the whole subsequence from the cache instead of repainting them.
There are many conditions affecting
ShouldCreateSubsequence() and shouldRepaintSubsequence() in PaintLayerPainter.cpp for the conditions.During painting, we walk the layout tree multiple times for multiple paint phases. Sometimes a layer contain nothing needing a certain paint phase and we can skip tree walk for such empty phases. Now we have optimized PaintPhaseDescendantBlockBackgroundsOnly, PaintPhaseDescendantOutlinesOnly and PaintPhaseFloat for empty paint phases.
During paint invalidation, we set the containing self-painting layer's NeedsPaintPhaseXXX flag if the object has something needing to be painted in the paint phase.
During painting, we check the flag before painting a paint phase and skip the tree walk if the flag is not set.
It‘s hard to clear a NeedsPaintPhaseXXX flag when a layer no longer needs the paint phase, so we never clear the flags. Instead, we use another set of flags (PreviousPaintPhaseXXXWasEmpty) to record if a painting of a phase actually produced nothing. We’ll skip the next painting of the phase if the flag is set, regardless of the corresponding NeedsPaintPhaseXXX flag. We will clear the PreviousPaintPhaseXXXWasEmpty flags when we paint with different clipping, scroll offset or interest rect from the previous paint.
We don‘t clear the PreviousPaintPhaseXXXWasEmpty flags when the layer is marked NeedsRepaint. Instead we clear the flag when the corresponding NeedsPaintPhaseXXX is set. This ensures that we won’t clear PreviousPaintPhaseXXXWasEmpty flags when unrelated things changed which won't
When layer structure changes, and we are not invalidate paint of the changed subtree, we need to manually update the NeedsPaintPhaseXXX flags. For example, if an object changes style and creates a self-painting-layer, we copy the flags from its containing self-painting layer to this layer, assuming that this layer needs all paint phases that its container self-painting layer needs.
We could update the NeedsPaintPhaseXXX flags in a separate tree walk, but that would regress performance of the first paint. For slimming paint v2, we can update the flags during the pre-painting tree walk to simplify the logics.