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 | 47 | December 15, 2024 | |
Lea Verou post: Eigensolutions: composability as the antidote to overfit
|
2 | 1394 | January 14, 2024 | |
A new attempt at a catalog of software concepts, using Alloy | 0 | 41 | August 4, 2024 | |
ChatGPT for concept creation
|
3 | 380 | October 6, 2023 | |
Welcome to the Concept Design Community!
|
2 | 548 | November 22, 2021 |