I have read the Essence of Software and all the information that I could find on the website regarding synchronizations, but was still unclear on some of the semmantic details of synchronizations. For example, is the first statement the only one used as a guard for the synchronization transaction? Do you have any recommendations for implementing synchronizations? For instance, would a Conservative Two Phase Locking Protocol need to be implemented in a Mediator containing all synchronized concept processes/threads?
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Has anyone tried incorporating concept design into program synthesis?
|
2 | 52 | December 15, 2024 | |
Lea Verou post: Eigensolutions: composability as the antidote to overfit
|
2 | 1401 | January 14, 2024 | |
A new attempt at a catalog of software concepts, using Alloy | 0 | 49 | August 4, 2024 | |
ChatGPT for concept creation
|
3 | 390 | October 6, 2023 | |
"Link Object" concepts - yay or nay?
|
0 | 14 | May 21, 2025 |