Java multithreading system
Author(s):
kritika chadha
Keywords:
Java , Multithreading
Abstract
Java is becoming more and more important in various communities. It is widely used for developing classical, dis-tributed and real time applications. One of its key features in these domains is its multithreading system. Although a specification exists, it is informally written in the English language. Therefore, an additional formaliza-tion effort is required. This paper focuses on that point. Our aim is to provide a model that can be reused and help in the processes of: using Java threads to gain deep knowledge of their behavior; designing new threading sys-tems taking the best out of Java threads still avoiding their main drawbacks; proving properties – this is for instance what we need in other research projects carried out in our team on automatic distribution of objects. The model that we have set up uses transition systems. To check that it corresponds to the informal specification, we use the MEC model checker. Also, we use MEC to au-tomatically check the properties we are interested in. For example, we use it to exhibit a known problem of the Java threading system: the handling of long and double vari-ables.
Article Details
Unique Paper ID: 142789

Publication Volume & Issue: Volume 2, Issue 6

Page(s): 375 - 381
Article Preview & Download


Share This Article

Conference Alert

NCSST-2021

AICTE Sponsored National Conference on Smart Systems and Technologies

Last Date: 25th November 2021

SWEC- Management

LATEST INNOVATION’S AND FUTURE TRENDS IN MANAGEMENT

Last Date: 7th November 2021

Latest Publication

Go To Issue



Call For Paper

Volume 8 Issue 4

Last Date 25 September 2021

About Us

IJIRT.org enables door in research by providing high quality research articles in open access market.

Send us any query related to your research on editor@ijirt.org

Social Media

Google Verified Reviews

Contact Details

Telephone:6351679790
Email: editor@ijirt.org
Website: ijirt.org

Policies