Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation