We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper bound on the response time. The proposed algorithm can be used to study the behavior of systems where node crash failures are possible. We compare the result of the proposed algorithm to a simulation of the system being studied in order to determine its efficacy. The results of our study indicate that it is possible to provide timeliness guarantees for systems programmed using STM. Categories and Subject Descriptors C.3 [Special-purpose and application-based systems]: Real-time and embedded systems Keywords Software transactional memory, response time, real-time
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je