Using hardware methods to improve time-predictable performance in real-time Java systems