Sökning: "Semaphores"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet Semaphores.

  1. 1. Software Architecture for Concurrency Analysis on a Virtual Platform

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Brinda Mohan; [2022]
    Nyckelord :;

    Sammanfattning : With the increasing demand for faster processing, a trend of moving towards multi-core and multiprocessor environments for embedded systems is clear. In this context, concurrent programming is also on the rise. LÄS MER

  3. 2. Data Race Detection for Parallel Programs Using a Virtual Platform

    Uppsats för yrkesexamina på avancerad nivå, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Daniel Haverås; [2018]
    Nyckelord :Concurrency; multiprocessing; data race detection; virtual platforms; dynamic analysis; Samtidighet i programvara; multiprocessing; detektion av datakapplöpning; virtuella platformar; dynamisk analys;

    Sammanfattning : Data races are highly destructive bugs found in concurrent programs. Because of unordered thread interleavings, data races can randomly appear and disappear during the debugging process which makes them difficult to find and reproduce. LÄS MER

  4. 3. Teaching Concurrency in a Modern Manner, Flipped Classroom or Game-Based Learning

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Bobby Murphie; Mattias Hansen; [2018]
    Nyckelord :Teaching; Learning; Multithreading; Concurrency; Game-based learning; Flipped classroom;

    Sammanfattning : Mycket forskning har gjorts för att hitta förbättrade sätt att lära ut concurrency. Allt från visualiseringsverktyg till spel-baserad inlärning och flippat klassrum. Dock så saknas forskning som jämför metoder och modeller som lär ut concurrency. LÄS MER

  5. 4. Att skapa en fleranvändarmiljö : En kvalitativ fallstudie som undersöker tekniska aspekter och användarens perspektiv

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för informatik (IK)

    Författare :Hampus Geijersson; Erik Strandberg; [2018]
    Nyckelord :Multi-user; Multi-user systems; Concurrency; Mutex; Semaphores; Oracle Tuxedo; Client-server programming; Fleranvändning; Fleranvändarsystem; Samtidighet; Mutex; Semaphores; Oracle Tuxedo; Klient-serverlösning;

    Sammanfattning : Studien avsåg att olika aspekter för att skapa underlag för utvecklingen med att förbättra fleranvändning. Syftet var, utöver de olika aspekterna, att på konceptuell nivå utvärdera hur fleranvändning kan utföras tekniskt samt undersöka hur användarna påverkas av denna förändring. LÄS MER

  7. 5. Extracting analyzable models from multi-threaded programs

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolan

    Författare :Athanasios Karetsos; [2015]
    Nyckelord :;

    Sammanfattning : As technology evolves, the need to use software for critical applications increases. It is then required that this software will always behave correctly. Verification is the process of formally proving that a program is correct. LÄS MER