Concurrency

Concurrency biedt een grondig bijgewerkte benadering van de basisconcepten en technieken rondom concurrerende programmering. Deze complexiteit vereist een veel formelere aanpak dan sequentiële programmering. Het boek, geschreven door Jeff Magee, is gericht op zowel computerwetenschappen studenten als professionals die hun inzicht in concurrerende systemen willen verbeteren.

Systematische Aanpak

Het boek presenteert een systematische en praktische aanpak voor het ontwerpen, analyseren en implementeren van concurrerende programma's. Magee en Kramer introduceren belangrijke concepten en technieken door het gebruik van zowel statemodellen als concrete Java-programma's. Deze combinatie helpt lezers om problemen te herkennen en aanknopingspunten te vinden voor oplossingen.

Belangrijke Onderwerpen

De inhoud van "Concurrency" omvat een breed scala aan belangrijke onderwerpen:

• *Threads en interactie*: De rol van threads en de complicaties die voortkomen uit interactie tussen hen.
• *Uitsluiting en synchronisatie*: Technieken om gelijktijdige toegang tot gedeelde bronnen te beheersen.
• *Deadlock*: Situaties waarin processen elkaar blokkeren en hoe deze te vermijden.
• *Veiligheid en levendigheidseigenschappen*: De fundamenten van het waarborgen van correcte uitvoer en het garanderen van voortgang in concurrerende systemen.
• *Berichtenuitwisseling*: Mechanismen voor communicatie tussen processen.
• *Concurrente softwarearchitecturen*: Structuren en patronen voor het ontwikkelen van robuuste concurrerende software.
• *Dynamische en tijdsgebonden systemen*: Het modelleren van systemen die onderhevig zijn aan tijdsdruk en dynamische omstandigheden.

Ondersteunende Materialen

Deze tweede editie bevat nieuwe secties over programmativering en logische eigenschappen, waardoor het boek relevanter is dan ooit. De bijbehorende website biedt een geüpdatete versie van de LTSA-tool (Labelled Transition System Analyzer) voor het modelleren van concurrentie, modelanimatie en modelchecking. Daarnaast biedt de website een uitgebreide set van statemodellen, Java-voorbeelden en demonstratieprogramma's, evenals een complete serie overhead-dia's voor cursuspresentaties.

Ideaal voor Onderwijs en Zelfstudie

"Concurrency" is een essentieel leermiddel voor zowel afgestudeerden als undergraduate studenten in de computerwetenschappen. Het boek is perfect voor gebruik in de klas of voor zelfstudie, en geeft lezers de mogelijkheid om de fundamenten van concurrerende programmering te begrijpen en in de praktijk toe te passen. Met een combinatie van theoretische concepten en praktische voorbeelden maakt dit boek van Magee het leren en toepassen van concurrerende programmeertaken toegankelijker dan ooit.