Seminary 2 - Complex exclusion + producer-consumer

• Insertions in a doubly-linked list:
  • cannot do the locking always in the same order;
  • solving deadlocks by revert and retry;
  • using lock-free ideas to do locking in the same order;
• Simple producer-consumer problem: OneShotEvent