A uniform reliable multicast protocol with guaranteed response times

Uniform reliable multicast protocols with a guaranteed response time are of concern in numerous distributed real-time systems (e.g. distributed transactional systems, high available systems). We focus on uniform reliable multicast protocols in processors groups. The source of a message can belong or not to the destination group. A bounded number of processors crashes and network omissions is tolerated. The uniform reliable multicast protocol, designed and proved in this paper, works with Earliest Deadline First (EDF) scheduling, proved optimal in the uniprocessor context. A worst-case response time analysis for sporadic tasks subject to release jitter is given for non-preemptive EDF on a uniprocessor and extended to the distributed case using the holistic scheduling approach.