Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/include/barrier.h

    rc124dce3 r9d58539  
    3737#define KERN_arm32_BARRIER_H_
    3838
    39 #ifdef KERNEL
    40 #include <arch/cp15.h>
    41 #else
    42 #include <libarch/cp15.h>
    43 #endif
    44 
     39/*
     40 * TODO: implement true ARM memory barriers for macros below.
     41 */
    4542#define CS_ENTER_BARRIER()  asm volatile ("" ::: "memory")
    4643#define CS_LEAVE_BARRIER()  asm volatile ("" ::: "memory")
    4744
    48 #if defined PROCESSOR_ARCH_armv7_a
    49 /* ARMv7 uses instructions for memory barriers see ARM Architecture reference
    50  * manual for details:
    51  * DMB: ch. A8.8.43 page A8-376
    52  * DSB: ch. A8.8.44 page A8-378
    53  * See ch. A3.8.3 page A3-148 for details about memory barrier implementation
    54  * and functionality on armv7 architecture.
    55  */
    56 #define memory_barrier()  asm volatile ("dmb" ::: "memory")
    57 #define read_barrier()    asm volatile ("dsb" ::: "memory")
    58 #define write_barrier()   asm volatile ("dsb st" ::: "memory")
    59 #define inst_barrier()    asm volatile ("isb" ::: "memory")
    60 #elif defined PROCESSOR_ARCH_armv6 | defined KERNEL
    61 /*
    62  * ARMv6 introduced user access of the following commands:
    63  * - Prefetch flush
    64  * - Data synchronization barrier
    65  * - Data memory barrier
    66  * - Clean and prefetch range operations.
    67  * ARM Architecture Reference Manual version I ch. B.3.2.1 p. B3-4
    68  */
    69 /* ARMv6- use system control coprocessor (CP15) for memory barrier instructions.
    70  * Although at least mcr p15, 0, r0, c7, c10, 4 is mentioned in earlier archs,
    71  * CP15 implementation is mandatory only for armv6+.
    72  */
    73 #define memory_barrier()  CP15DMB_write(0)
    74 #define read_barrier()    CP15DSB_write(0)
    75 #define write_barrier()   read_barrier()
    76 #define inst_barrier()    CP15ISB_write(0)
    77 #else
    78 /* Older manuals mention syscalls as a way to implement cache coherency and
    79  * barriers. See for example ARM Architecture Reference Manual Version D
    80  * chapter 2.7.4 Prefetching and self-modifying code (p. A2-28)
    81  */
    82 // TODO implement on per PROCESSOR basis or via syscalls
    8345#define memory_barrier()  asm volatile ("" ::: "memory")
    8446#define read_barrier()    asm volatile ("" ::: "memory")
    8547#define write_barrier()   asm volatile ("" ::: "memory")
    86 #define inst_barrier()    asm volatile ("" ::: "memory")
    87 #endif
    8848
    89 /*
    90  * There are multiple ways ICache can be implemented on ARM machines. Namely
    91  * PIPT, VIPT, and ASID and VMID tagged VIVT (see ARM Architecture Reference
    92  * Manual B3.11.2 (p. 1383).  However, CortexA8 Manual states: "For maximum
    93  * compatibility across processors, ARM recommends that operating systems target
    94  * the ARMv7 base architecture that uses ASID-tagged VIVT instruction caches,
    95  * and do not assume the presence of the IVIPT extension. Software that relies
    96  * on the IVIPT extension might fail in an unpredictable way on an ARMv7
    97  * implementation that does not include the IVIPT extension." (7.2.6 p. 245).
    98  * Only PIPT invalidates cache for all VA aliases if one block is invalidated.
    99  *
    100  * @note: Supporting ASID and VMID tagged VIVT may need to add ICache
    101  * maintenance to other places than just smc.
    102  */
    103 
    104 #if defined PROCESSOR_ARCH_armv7_a | defined PROCESSOR_ARCH_armv6 | defined KERNEL
    105 /* Available on all supported arms,
    106  * invalidates entire ICache so the written value does not matter. */
    107 //TODO might be PL1 only on armv5-
    108 #define smc_coherence(a) \
    109 do { \
    110         DCCMVAU_write((uint32_t)(a));  /* Flush changed memory */\
    111         write_barrier();               /* Wait for completion */\
    112         ICIALLU_write(0);              /* Flush ICache */\
    113         inst_barrier();                /* Wait for Inst refetch */\
    114 } while (0)
    115 /* @note: Cache type register is not available in uspace. We would need
    116  * to export the cache line value, or use syscall for uspace smc_coherence */
    117 #define smc_coherence_block(a, l) \
    118 do { \
    119         for (uintptr_t addr = (uintptr_t)a; addr < (uintptr_t)a + l; addr += 4)\
    120                 smc_coherence(addr); \
    121 } while (0)
    122 #else
    12349#define smc_coherence(a)
    12450#define smc_coherence_block(a, l)
    125 #endif
    126 
    12751
    12852#endif
Note: See TracChangeset for help on using the changeset viewer.