Queued Concurrent Requests

• Suppose we have several concurrent requests for services.

• Suppose also that we can buffer these requests in a queue and service them sequentially.

• Then, we can simulate some concurrent state-net patterns.

  • Single-state state nets with multiple objects (inter-object concurrency)
  • Single-state state nets with multiple threads (intra-object concurrency)

Previous slide

Next slide

Back to first slide

View graphic version