Example of Complication (2/2)

Mutex channel m, n : unit chan

• correct use:

  • receive once, send once

• incorrect use:

  • receive once, send never (? deadlock)
  • receive once, send twice (? non-determinism)
  • use in various order (? deadlock)
    spawn(fn () => recv(m); recv(n); …);spawn(fn () => recv(n); recv(m); …)

Previous slide

Next slide

Back to first slide

View graphic version