Modeling, Analysis, And Control Of A Class Of Resource Allocation Systems Arising In Concurrent Software.