Identifiering av oskyddade datastrukturer

Virtutech utvecklar simuleringsplattformen Simics som används vid utveckling av framtida generationer av mikroprocessorer, minneshierarkier och systemprogramvara. Våra användare kräver att kunna köra omodifierad mjukvara inklusive operativsystem på våra simulatorer, vilket ställer extremt höga krav på prestanda, funktionalitet och felfrihet.

Om detta exjobb:

Multitrådade program kräver lås för att skydda delade datastrukturer från samtidiga accesser av flera trådar. Delade datastrukturer kan annars lätt skrivas sönder om flera trådar tillåts att samtidigt skriva till datastrukturen. Komplexa programvaror med många delade datastrukturer kräver systematiskt arbete för att säkerställa att ingen datastruktur är oskyddad från samtida access. Målet med exjobbet är att utveckla en strategi samt tillhörande programvara för att underlätta arbetet med att lokalisera oskyddade datastrukturer i större, multitrådade programvaror och os-kärnor. Den bärande idén är att övervaka läsningar och skrivningar till minnesområden som används av flera trådar. Dessa uppgifter samkörs med uppgifter om vilka lås som är tagna vid en viss minnesaccess. Därifrån kan slutsatser om förbjudna minnesaccesser dras.


Vi behandlar ansökningar när de är kompletta med:

* utdrag ur betygsregister
* kopior på gymnasiebetyg
* intyg över relevant arbetslivserfarenhet

Vi lägger stor vikt vid om du har dokumenterad erfarenhet av avancerad programmering. Om du genomfört något eller några större programmeringsprojekt inom din utbildning, på jobbet eller på egen hand (exempelvis inom ett open source-projekt eller liknande) är vi intresserade av att få mer information om det.

Vi vill gärna ha materialet elektroniskt. Skicka din ansökan till [email protected]. Om du endast har papperskopior av betygen är det bra om du kan skanna in dem. Annars kan du skriva av dem och skicka per e-post.

Om du har frågor, ring Björn Johansson på 08-690 05 90.

Vi får många ansökningar till våra exjobb, så vår hantering av din ansökan kan ta tid. Tyvärr betyder det också att vi kan tvingas tacka nej till högst kvalificerade ansökningar. Våra främsta kriterier för att bedöma en ansökan är utbildning, betyg och erfarenhet. Men viktigast är ett brinnande intresse för datateknik.

Mer information om våra exjobb finns på
http://www.virtutech.com/about/careers/masters-thesis.html