Exercises / multiagent
One writer per customer
write(role, cid) sets LOCKS[cid] on first write. Later writes succeed only for that role. Print billing c1, loyalty c1, billing c1.
Live Pythonpython
Output
Run to execute this in your browser. Nothing is sent to a server.