Batching Requests

• yet, sometimes an agent will want to have exclusive access to a resource for the duration of several requests
• we can use batched requests and still obviate the need for locks
• the trick is simply to permit a type of request that consists of a list of requests: exclusive access is retained for the duration of processing every request in this list

class Service
   ...
   meth batch(L)
      {ForAll L self}
   end
end