Lesson 28: Locking via Concurrency Groups
Outline:
- Recap: RNLP
- pi-blocking bounds (see Fig. 11 of this paper)
- overhead (see Fig. 10 of this paper)
- Concurrency Group Locking Protocol (CGLP)
- overview
- blocking
- overhead
- Course recap
- General Q&A
Reading assignment (to be completed by the next class):
What we are referencing today (read if you want more details):
- Catherine E. Nemitz, Tanya Amert, Manish Goyal, and James H. Anderson. “Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting.” Proceedings of the 27th International Conference on Real-Time Networks and Systems (RTNS), pp. 189-199, November 2019. (link to PDF)
The results for the RNLP are given in Table 1 in the above paper, but can also be seen in graphs in a previous paper:
- Catherine E. Jarrett, Bryan C. Ward and James H. Anderson. “A Contention-Sensitive Multi-Resource Locking Protocol for Multiprocessor Real-Time Systems.” Proceedings of the 23rd International Conference on Real-Time and Network Systems, November 2015. (link to PDF)