Partitioning and selection of data consistency mechanisms for multicore real-time systems