Resource Manager - block requests
message Request {ename requester; int num;}; message Release {int num;}; message Done {};
entity Manager (int max_printers) { int units = max_printers; while (TRUE) { receive (Request request) when (request.num<=units) { units -= request.num; send Done{} to request.requester;
Request
Release
Done
| Previous slide | Next slide | Back to first slide | View graphic version |