Timeline for Why is it that "the process that locks the mutex must be the one to unlock it "?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2020 at 22:28 | comment | added | philipxy | It is neither necessary nor appropriate to appeal to an operating system or any other implementation notion in giving the semantics of a programming language or library or, as here, generic notions of computation. See the last paragraph in the textbook quote. A mutex might be implemented by a memory location accessed by an atomic decrement-and-jump-if-not-zero instruction. Similarly "process" in the textbook context means a program running concurrently & doesn't need to be what a particular system uses that word for. | |
| Nov 10, 2020 at 12:34 | history | answered | Simon B | CC BY-SA 4.0 |