• Daniel Axtens's avatar
    powerpc: Book3S 64-bit outline-only KASAN support · 41b7a347
    Daniel Axtens authored
    Implement a limited form of KASAN for Book3S 64-bit machines running under
    the Radix MMU, supporting only outline mode.
    
     - Enable the compiler instrumentation to check addresses and maintain the
       shadow region. (This is the guts of KASAN which we can easily reuse.)
    
     - Require kasan-vmalloc support to handle modules and anything else in
       vmalloc space.
    
     - KASAN needs to be able to validate all pointer accesses, but we can't
       instrument all kernel addresses - only linear map and vmalloc. On boot,
       set up a single page of read-only shadow that marks all iomap and
       vmemmap accesses as valid.
    
     - Document KASAN in powerpc docs.
    
    Background
    ----------
    
    KASAN support on Book3S is a bit tricky to get right:
    
     - It would be good to support inline instrumentation so as to be able to
       catch stack issues that cannot be caught with outline mode.
    
     - Inline instrumentation requires a fixed offset.
    
     - Book3S runs code with translations off ("real mode") during boot,
       including a lot of generic device-tree parsing code which is used to
       determine MMU features.
    
        [ppc64 mm note: The kernel installs a linear mapping at effective
        address c000...-c008.... This is a one-to-one mapping with physical
        memory from 0000... onward. Because of how memory accesses work on
        powerpc 64-bit Book3S, a kernel pointer in the linear map accesses the
        same memory both with translations on (accessing as an 'effective
        address'), and with translations off (accessing as a 'real
        address'). This works in both guests and the hypervisor. For more
        details, see s5.7 of Book III of version 3 of the ISA, in particular
        the Storage Control Overview, s5.7.3, and s5.7.5 - noting that this
        KASAN implementation currently only supports Radix.]
    
     - Some code - most notably a lot of KVM code - also runs with translations
       off after boot.
    
     - Therefore any offset has to point to memory that is valid with
       translations on or off.
    
    One approach is just to give up on inline instrumentation. This way
    boot-time checks can be delayed until after the MMU is set is up, and we
    can just not instrument any code that runs with translations off after
    booting. Take this approach for now and require outline instrumentation.
    
    Previous attempts allowed inline instrumentation. However, they came with
    some unfortunate restrictions: only physically contiguous memory could be
    used and it had to be specified at compile time. Maybe we can do better in
    the future.
    
    [paulus@ozlabs.org - Rebased onto 5.17.  Note that a kernel with
     CONFIG_KASAN=y will crash during boot on a machine using HPT
     translation because not all the entry points to the generic
     KASAN code are protected with a call to kasan_arch_is_ready().]
    
    Originally-by: Balbir Singh <bsingharora@gmail.com> # ppc64 out-of-line radix version
    Signed-off-by: default avatarDaniel Axtens <dja@axtens.net>
    Signed-off-by: default avatarPaul Mackerras <paulus@ozlabs.org>
    [mpe: Update copyright year and comment formatting]
    Signed-off-by: default avatarMichael Ellerman <mpe@ellerman.id.au>
    Link: https://lore.kernel.org/r/YoTE69OQwiG7z+Gu@cleo
    41b7a347
Makefile 3.03 KB