Discussion on kernel execution domain #3862
Description
Assembly of expressions depending on entity data not deducible from single adjacent cell needs a general concept for assembler routines and kernel design.
Examples include
- interior facets in branching meshes,
- vertex integrals, and
- ridge intergals.
Most difficult examples include
ufl.jump,ufl.average,- or custom combinations of restrictions.
These involve changes at the level of code generation, in particular data layout is not compile time known.
See also discussion started at #3726 (comment) (and below).