concurrent programming grunder sammanfattning

Vad är en process?

En process är en exekveringsinstans av ett program. Den har eget minnesutrymme och resurser.

Vad är en tråd?

En tråd är en lättviktig enhet av exekvering som tillhör en process. Trådar delar minnesutrymme.

Skillnaden mellan trådar och processer?

Trådar delar minne och resurser, medan processer har separata minnesutrymmen. Trådar är snabbare att skapa.

Vad används trådar till?

Trådar används för att utföra flera uppgifter parallellt, vilket ökar programmens effektivitet.

Är påståendet sant eller falskt? "Trådar kan inte existera utan processer."

Sant. Trådar är alltid kopplade till en process, eftersom de är en del av den.

Fyll i: En process kan innehålla ______.

flera trådar.

Vad händer om en tråd kraschar?

En kraschad tråd kan påverka hela processen, men inte andra processer.

Exempel på användning av trådar.

- Webbservrar - Spel - Databashantering

Hur hanteras samtidig åtkomst till resurser?

Genom synkroniseringstekniker, som mutexar och semaforer.

Vad är en bakgrundstråd?

En tråd som körs i bakgrunden, utan att blockera huvudprogrammet.

Namnge en fördel med trådar.

Snabbare resursanvändning och ökad responsivitet.

Ge en anledning till varför processer är dyrare.

Processer kräver mer resurser, inklusive eget minnesutrymme och resurshantering.

Vad är en trådpool?

En trådpool är en samling förinstallerade trådar som kan återanvändas för att hantera arbetsuppgifter.

Är påståendet sant eller falskt? "Trådar har alltid sin egen stack."

Sant. Varje tråd har en separat stack för sina egna funktionsanrop.

Vad är syftet med att skapa flera trådar i ett program?

Att öka prestandan genom att utföra flera operationer samtidigt.

Skillnaden i minneshantering mellan trådar och processer?

Trådar delar minnesutrymme, processer har separata minnesutrymmen.

Vad är synkronisering?

Synkronisering är en teknik för att säkerställa att flera trådar eller processer kan köra och interagera med resurser utan att orsaka dataförlust eller inkonsekvenser.

Mutex

En mutex (mutual exclusion) är en låsstruktur som säkerställer att endast en tråd åt gången kan få tillgång till en viss resurs.

Vad gör en semafor?

En semafor är en synkroniseringsmekanism som används för att kontrollera åtkomst till en gemensam resurs genom att använda en räknare.

True or False: En mutex kan låsa flera resurser samtidigt.

False. En mutex låser endast en resurs åt gången för att förhindra dataförlust.

Vilken typ av semafor tillåter flera trådar?

En räknande semafor tillåter ett specificerat antal trådar att få tillgång till en resurs samtidigt.

Vad är en kritisk sektion?

En kritisk sektion är en del av koden där delad data kan ändras, och som därför måste skyddas från samtidiga åtkomster.

Skapa en mutex i C++.

Exempel: std::mutex m; m.lock(); // kritisk sektion m.unlock();

Skillnad mellan mutex och semafor?

Mutex låser en enskild resurs, medan semafor kan styra åtkomst till flera resurser baserat på ett räknesystem.

Vad är en barrier?

En barrier är en synkroniseringspunkt där trådar måste vänta tills alla trådar har nått punkten innan de kan fortsätta.

Fyll i blank: En ____ används för att signalera en tråd att en viss händelse har inträffat.

flagga

Vad är en condition variable?

En condition variable gör det möjligt för trådar att vänta på ett villkor att uppfyllas, vilket ofta används med mutexer för att hantera synkronisering.

True or False: Condition variables kräver en mutex.

True. Condition variables måste alltid användas tillsammans med mutexar för att säkerställa korrekt synkronisering.

Vad gör en spinlock?

En spinlock är en lättviktig låsning som gör att en tråd kan vänta aktivt (spin) tills låset blir tillgängligt.

Ge ett exempel på deadlock.

Två trådar låser resurs A och B, och väntar på att den andra ska släppa sin resurs, vilket leder till att ingen kan fortsätta.

Skillnad mellan dödlås och livsloop?

Dödlås är när två eller flera trådar blockerar varandra, medan livsloop är när en tråd körs oändligt utan att utföra något användbart arbete.

Vad är en lock-free datastruktur?

En lock-free datastruktur tillåter trådar att läsa och skriva utan att använda lås, vilket minskar risken för dödlås och blockerande operationer.

Hur används atomic operations?

Atomiska operationer görs som en enda, oavbruten åtgärd för att förhindra datainkonsekvenser vid samtidiga skrivningar.

Vad är fördelen med att använda lås?

Lås skyddar delade resurser och förhindrar datakorruption vid samtidiga skrivningar, vilket säkerställer att programmet fungerar korrekt.

Ge ett exempel på en race condition.

Två trådar ökar samma variabel utan korrekt synkronisering, vilket kan leda till oförutsägbara resultat.

Vad är en Read-Write Lock?

En Read-Write Lock möjliggör flera samtidiga läsningar men exklusiv skrivning. - Fördelar: - Ökar prestanda för läsintensiva operationer. - Förhindrar skrivkonflikter.

Vad är ett dödläge?

Ett tillstånd där två eller flera trådar väntar på varandra för att frigöra resurser, vilket leder till att ingen av dem kan fortsätta.

Exempel på dödläge

- Två trådar låser resurser i omvänd ordning. - Tråd A låser Resurs 1. - Tråd B låser Resurs 2. - Ingen kan fortsätta.

Vad är livlöst tillstånd?

Ett tillstånd där en tråd är blockerad och kan inte fortsätta, men det finns möjlighet att få resurser.

Vad är en livscykel för trådar?

Faserna en tråd går igenom: skapande, körande, blockerad, avslutad.

Orsak till konkurrensproblem

När flera trådar försöker få tillgång till gemensamma resurser utan korrekt synkronisering.

Vad är en race condition?

Ett felaktigt tillstånd som uppstår när två eller flera trådar ändrar ett gemensamt datavärde samtidigt.

Fyll i luckan: Race condition uppstår när trådar __________.

'inte är korrekt synkroniserade'.

Vad är starvation?

Ett tillstånd där en tråd inte får tillgång till resurser på grund av att andra trådar ständigt prioriteras.

Skillnad mellan dödläge och starvation?

Dödläge: Trådar väntar på varandra. Starvation: Trådar får aldrig resurser.

Vad innebär prioriteringsinversion?

När en lågprioriterad tråd blockerar en högprioriterad tråd, vilket orsakar fördröjningar.

Exempel på ett konkurrensproblem

- Tråd A och Tråd B uppdaterar samma variabel. - Utan synkronisering kan det leda till inkonsekventa värden.

Vad är en mutex?

En mekanism för att låsa en resurs så att endast en tråd kan få åtkomst åt gången.

Vad är en semafor?

En synkroniseringsanordning som används för att kontrollera tillgången till resurser genom att använda räknare.

Vad är ett livlöst tillstånd?

Ett tillstånd där en tråd är blockerad och inte kan få resurser, men det finns potentiella vägar att återfå åtkomst.

Fyll i luckan: Ett __________ inträffar när en tråd blockerar en annan tråd från att köra.

'livlöst tillstånd'.

Vad är en barrier?

En synkroniseringsteknik som tvingar trådar att vänta tills alla trådar har nått en viss punkt.

Orsaken till livlöst tillstånd?

Trådar väntar på resurser som är låsta av andra trådar.

Vad är en condition variable?

En synkroniseringsmekanism som gör att trådar kan vänta på ett visst tillstånd innan de fortsätter.

Exempel på semafor-användning

- En producent-konsument problem där en semafor kontrollerar tillgången till en buffert.

Vad kan man göra för att undvika dödläge?

- Använda resursåtervinning. - Använda tidsgränser. - Implementera en ordningsregel för resurslåsning.

Vad är Java Concurrency API?

Ett bibliotek i Java för att hantera trådar och synkronisering, vilket underlättar concurrent programming.

Python's threading modul: Syfte?

Ger en hög nivå av abstraktion för att arbeta med trådar och stödjer flera trådar i ett program.

Vad är OpenMP?

Ett API för C, C++ och Fortran som möjliggör parallell programmering via direktiv.

Ge exempel på C++ verktyg för concurrent programming.

C++11:s tråd-bibliotek och std::async för asynkron körning.

True or False: POSIX Threads är specifikt för Windows.

False. POSIX Threads (pthreads) är en standard för Unix-liknande system.

Skillnaden mellan thread pools och vanliga trådar?

Thread pools återanvänder trådar för att minska overhead, medan vanliga trådar skapas och avslutas för varje uppgift.

Vad är Futures i Java?

Ett sätt att representera resultatet av en asynkron operation, vilket möjliggör enklare hantering av trådar.

Vad gör .NET Task Parallel Library?

Förenklar parallell programmering genom att tillhandahålla en hög nivå av abstraktion för uppgifter.

Ge ett exempel på en synkroniserad datastruktur.

Java's ConcurrentHashMap är en trådsäker datastruktur för att hantera nyckel-värde-par.

Vad är MPI?

Message Passing Interface, ett protokoll för att utbyta meddelanden mellan processer i distribuerade system.

Fråga: Hur fungerar GIL i Python?

Global Interpreter Lock (GIL) tillåter endast en tråd att köra Python-byte-kod i taget, vilket begränsar parallellism.

Vad är Cilk?

Ett programmeringsspråk och bibliotek för C/C++ som stödjer parallell programmering via ett enkelt stil av kod.

True or False: Fork/Join Framework är för asynkron programmering.

True. Det används för att dela upp uppgifter och kombinera resultat i Java.

Vad är RxJava?

Ett bibliotek för att arbeta med asynkron programmering via reaktiva strömmar, stödjer observer-mönster.

Fill in the blank: Akka är ett __________ verktyg.

aktörsbaserat verktyg för att hantera samtidighet i distribuerade system.

Vad gör Java's Executor Framework?

Hantera trådar och uppgifter, vilket underlättar parallell exekvering och resursallokering.