The Little Book of Semaphores: The Ins and Outs of Concurrency Control.:

Preface......Page 4
Execution model......Page 14
Serialization with messages......Page 16
Concurrent writes......Page 17
Concurrent updates......Page 18
Mutual exclusion with messages......Page 19
Definition......Page 20
Syntax......Page 21
Why semaphores?......Page 22
Signaling......Page 24
Rendezvous......Page 25
Rendezvous hint......Page 26
Deadlock #1......Page 28
Mutex......Page 29
Mutual exclusion hint......Page 30
Multiplex......Page 32
Barrier......Page 34
Barrier hint......Page 36
Barrier non-solution......Page 38
Deadlock #2......Page 40
Barrier solution......Page 42
Reusable barrier......Page 44
Reusable barrier non-solution #1......Page 46
Reusable barrier problem #1......Page 48
Reusable barrier non-solution #2......Page 50
Reusable barrier hint......Page 52
Reusable barrier solution......Page 54
Preloaded turnstile......Page 56
Barrier objects......Page 57
Queue......Page 58
Queue hint......Page 60
Queue solution......Page 62
Exclusive queue hint......Page 64
Exclusive queue solution......Page 66
Fifo queue......Page 68
Fifo queue hint......Page 70
Fifo queue solution......Page 72
Producer-consumer problem......Page 74
Producer-consumer hint......Page 76
Producer-consumer solution......Page 78
Producer-consumer with a finite buffer......Page 80
Finite buffer producer-consumer hint......Page 82
Readers-writers problem......Page 84
Readers-writers hint......Page 86
Readers-writers solution......Page 88
Starvation......Page 90
No-starve readers-writers hint......Page 92
No-starve readers-writers solution......Page 94
Writer-priority readers-writers hint......Page 96
Writer-priority readers-writers solution......Page 98
No-starve mutex......Page 100
No-starve mutex hint......Page 102
No-starve mutex solution......Page 104
Dining philosophers......Page 106
Deadlock #5......Page 108
Dining philosophers hint #1......Page 110
Dining philosophers solution #1......Page 112
Dining philosopher's solution #2......Page 114
Tanenbaum's solution......Page 116
Starving Tanenbaums......Page 118
Cigarette smokers problem......Page 120
Deadlock #6......Page 124
Smokers problem hint......Page 126
Generalized Smokers Problem......Page 128
Generalized Smokers Problem Hint......Page 130
Generalized Smokers Problem Solution......Page 132
The dining savages problem......Page 134
Dining Savages hint......Page 136
Dining Savages solution......Page 138
The barbershop problem......Page 140
Barbershop hint......Page 142
Barbershop solution......Page 144
Hilzer's Barbershop problem......Page 146
Hilzer's barbershop hint......Page 147
Hilzer's barbershop solution......Page 148
The Santa Claus problem......Page 150
Santa problem hint......Page 152
Santa problem solution......Page 154
Building H2O......Page 156
H2O hint......Page 158
H2O solution......Page 160
River crossing problem......Page 161
River crossing hint......Page 162
River crossing solution......Page 164
The roller coaster problem......Page 166
Roller Coaster hint......Page 168
Roller Coaster solution......Page 170
Multi-car Roller Coaster problem......Page 172
Multi-car Roller Coaster hint......Page 174
Multi-car Roller Coaster solution......Page 176
The search-insert-delete problem......Page 178
Search-Insert-Delete hint......Page 180
Search-Insert-Delete solution......Page 182
The unisex bathroom problem......Page 183
Unisex bathroom hint......Page 184
Unisex bathroom solution......Page 186
No-starve unisex bathroom problem......Page 188
Baboon crossing problem......Page 190
The Modus Hall Problem......Page 191
Modus Hall problem hint......Page 192
Modus Hall problem solution......Page 194
The sushi bar problem......Page 196
Sushi bar hint......Page 198
Sushi bar non-solution......Page 200
Sushi bar non-solution......Page 202
Sushi bar solution #1......Page 204
Sushi bar solution #2......Page 206
The child care problem......Page 207
Child care hint......Page 208
Child care non-solution......Page 210
Extended child care problem......Page 212
Extended child care hint......Page 214
Extended child care solution......Page 216
The room party problem......Page 218
Room party hint......Page 220
Room party solution......Page 222
The Senate Bus problem......Page 224
Bus problem hint......Page 226
Bus problem solution #1......Page 228
Bus problem solution #2......Page 230
The Faneuil Hall problem......Page 232
Faneuil Hall Problem Hint......Page 234
Faneuil Hall problem solution......Page 236
Extended Faneuil Hall Problem Hint......Page 238
Extended Faneuil Hall problem solution......Page 240
Dining Hall problem......Page 242
Dining Hall problem hint......Page 244
Dining Hall problem solution......Page 246
Extended Dining Hall problem......Page 247
Extended Dining Hall problem hint......Page 248
Extended Dining Hall problem solution......Page 250
Synchronization in Python......Page 252
Mutex checker problem......Page 253
Mutex checker hint......Page 256
Mutex checker solution......Page 258
The coke machine problem......Page 260
Coke machine hint......Page 262
Coke machine solution......Page 264
Mutual exclusion......Page 266
Child code......Page 267
Synchronization errors......Page 268
Mutual exclusion hint......Page 270
Mutual exclusion solution......Page 272
Make your own semaphores......Page 274
Semaphore implementation hint......Page 276
Semaphore implementation......Page 278
Semaphore implementation detail......Page 280
Creating threads......Page 284
Handling keyboard interrupts......Page 285
Compiling Pthread code......Page 288
Creating threads......Page 289
Joining threads......Page 290
Semaphores......Page 291