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