Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information