Concurrent Programming G1F

Utbildningsfakta

Kod: IT404G

<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>

Behörighet

Course has the following higher education course(s) as entry requirements:The course has the following entry requirements: attended MA126G Discrete Mathematics G1N and ( passed IT141G Programming Methodology G1N or passed IT120G Programming Fundamentals with C++ G1N ) and ( attended IT391G Operating Systems G1F or attended IT390G Operating Systems G1F ) (or the equivalent).

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Concurrent Programming G1F

  University of Skövde

  Skövde

  Startdatum: 2 november 2026

  Slutdatum: 17 januari 2027

  Studietakt: 50 %