Concurrent Programming G1F

<p>Den här kursen vänder sig till dig som vill bygga på dina programmeringskunskaper för att kunna skapa program där flera processer arbetar samtidigt. Kursen fokuserar på de speciella problem som kan uppstå när man skapar program där flera processer ska samarbeta eller konkurrera om resurser. Det ställer särskilda krav på design och synkronisering. Parallella processer finns i de flesta system och just synkroniseringsproblem är en vanlig orsak till fel.</p> <p>&nbsp;</p> <p>Här får du bland annat lära dig att känna igen typiska synkroniseringsproblem och att använda olika metoder för att skapa korrekta lösningar med de flesta av de synkroniseringsmekanismer som finns tillgängliga idag. Du får även lära dig att visa att din lösning fungerar.</p> <p>&nbsp;</p> <p>Du får även träna dig på att använda en så kallad model checker för att kontrollera att dina lösningar fungerar. Detta är viktigt eftersom traditionella tekniker som test och debugging fungerar dåligt på den här typen av programvara. Model checking med verktyg blir därför allt vanligare, framförallt när det gäller kritisk programvara.</p> <p>&nbsp;</p> <p>När du registrerat dig på kursen hittar du mer information om föreläsningar, övningar, laborationer och inlämningsuppgifter på lär- och samarbetsplattformen Scio.</p>