Outline:

1. The Concurrency Group Locking Protocol
   • model description
   • graph coloring as a means to detremine groups
   • extensions
   • results

Reading assignment (to be completed by the next class):

• Nemitz, Catherine E., Tanya Amert, Manish Goyal, and James H. Anderson. “Concurrency groups: a new way to look at real-time multiprocessor lock nesting.” In Proceedings of the 27th International Conference on Real-Time Networks and Systems, pp. 187-197. 2019.
  • First pass: Abstract, Sec. 1, Sec. 6, and all figures
  • Second pass: Sec. 2, Sec. 4.1, skim Sec. 3 and Sec. 5