marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-05 00:25:00

Browse source
This commit is contained in:
Marco Realacci 2025-04-05 00:25:01 +02:00
parent 0798769a15
commit 10f5bf59da
2 changed files with 7 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

14
.obsidian/workspace.json vendored
View file

@ -11,14 +11,12 @@
"id": "6550032d28b9171c", "id": "6550032d28b9171c",
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "markdown", "type": "pdf",
"state": { "state": {
"file": "Concurrent Systems/notes/4c - Dining Philosophers.md", "file": "Concurrent Systems/slides/class 5.pdf"
"mode": "source",
"source": false
}, },
"icon": "lucide-file", "icon": "lucide-file-text",
"title": "4c - Dining Philosophers" "title": "class 5"
} }
} }
] ]
@ -191,8 +189,9 @@
}, },
"active": "6550032d28b9171c", "active": "6550032d28b9171c",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/notes/4 - Semaphores.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/4c - Dining Philosophers.md",
"Concurrent Systems/notes/4 - Semaphores.md",
"\u0002.md", "\u0002.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md", "Concurrent Systems/notes/1b - Peterson algorithm.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md",
@ -210,7 +209,6 @@
"Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
"Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
"Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/6 - Atomicity.md",
"Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/1 - CS Basics.md", "Concurrent Systems/notes/1 - CS Basics.md",
"Concurrent Systems/notes/6a - Alternatives to Atomicity.md", "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",

2
Concurrent Systems/notes/5 - Software Transactional Memory.md
View file

@ -1,4 +1,4 @@
z- Group together parts of the code that must look like atomic, in a way that is transparent, scalable and easy-to-use for the programmer Group together parts of the code that must look like atomic, in a way that is transparent, scalable and easy-to-use for the programmer
- Differently from monitors, the part of the code to group is not part of the definition of the objects, but is application dependent - Differently from monitors, the part of the code to group is not part of the definition of the objects, but is application dependent
- Differently from transactions in databases, the code can be any code, not just queries on the DB - Differently from transactions in databases, the code can be any code, not just queries on the DB