US8893128B2 - Real-Time Distributed Monitoring of Local and Global Processor Resource Allocations and Deallocations