Parallella algoritmer och datastrukturer

De flesta datorprogram fungerar numera på parallella plattformar, till exempel flerkärniga arkitekturer, distribuerade databaser och geografiskt distribuerade servrar. Detta innebär att existerande algoritmer och datastrukturer måste utvidgas så att de kan hantera parallella trådar. I denna kurs studerar vi hur detta görs för grundläggande datastrukturer, till exempel mängder, stackar och köer. Vi studerar algoritmer som manipulerar sådana datastrukturer såsom algoritmer för insättning, radering, sökning och sortering. Dessutom kommer vi att resonera om korrektheten och effektiviteten hos dessa algoritmer.

Innehåll: parallella program, parallella datastrukturer, mängder, stackar, köer, sekventiell konsistens, lineariserbarhet, synkroniseringsmekanismer, optimistiska algoritmer, lata algoritmer, låsfria algoritmer, ABA-problemet, atomära operationer.