Type Systems Based Data Race Detector | Zendy

Mohamed A. El-Zawawy | Zendy; Hamada A. Nayel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Type Systems Based Data Race Detector

Author(s) -

Mohamed A. El-Zawawy,

Hamada A. Nayel

Publication year - 2012

Publication title -

computer and information science

Language(s) - English

Resource type - Journals

eISSN - 1913-8997

pISSN - 1913-8989

DOI - 10.5539/cis.v5n4p53

Subject(s) - computer science , soundness , thread (computing) , upload , software , detector , system call , threading (protein sequence) , operating system , programming language , telecommunications , physics , nuclear magnetic resonance , protein structure

Multi-threading is a methodology that has been extremely used. Modern software depends essentially on multi-threading. Operating systems, famous examples, are based on multi-threading; a user can write his document, play an audio file, and downloading a file from internet at the same time. Each of these tasks called a thread. A common problem occurs when implementing multi-threaded programs is a data-race. Data race occurs when two threads try to access a shared variable at the same time without a proper synchronization. A detector is software that determines if the program contains a data-race problem or not. In this paper, we develop a detector that has the form of a type system. We present a type system which discovers the data-race problems. We also prove the soundness of our type system.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research