Dynamic Concurrency Reduction Methods for Power Management using Petri-nets

Power consumption and heat radiation form the main limiting factors to high-performance microprocessors with multi-core architectures. Power management policies are the control procedures to adjust the per-core performances according to a power budget. When there is a power limitation, the cores will slow down or even shut off, reflecting the reduction of a system’s concurrency relations, which are defined in this paper. Furthermore, different static and dynamic control mechanisms are proposed for concurrency reduction, with the analysis of their influences on the system performance.