Catherine E. Nemitz

Critical-Section Granularity for Multi-Resource Systems with Nested Critical Sections

This paper presents an optimal approach for multi-resource systems that allow any given task to use up to two resources, including support for nested critical sections, achieved by extending analysis to multiple resources and constructing a Quadratically-Constrained Integer Program to determine critical sections.