← Back to context

Comment by gpderetta

10 hours ago

Do a CPS transform of your typical std::mutex critical section and you'll find they are exactly the same.

2 comments

gpderetta

Reply
mgaunard  9 hours ago

They're not, the interactions with the memory model are different, as are the guarantees.

CPS shouldn't be able to deadlock for example?

  • gpderetta  9 hours ago

    CPS can trivially deadlock for all meaningful definitions of deadlock.

    Would you consider this a mutex?

       async_mutex mux;

   co_await mux.lock();
   /* critical section */
   co_await mux.unlock();

    What about: my_mutex mux;

       {
      std::lock_guard _{mux};
      /* critical section */
   }

    where the code runs in a user space fiber.

    Would you consider boost synchronized a mutex?

    Don't confuse the semantics with the implementation details (yes async/await leaks implementation details).