Author Login IJIRT Partner Network (IPN) Login

Java multithreading system

  • Unique Paper ID: 142789
  • Volume: 2
  • Issue: 6
  • PageNo: 375-381
  • 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.
Download article email to a friend

Cite This Article

  • ISSN: 2349-6002
  • Volume: 2
  • Issue: 6
  • PageNo: 375-381

Java multithreading system

Related Articles

Impact Factor
8.01 (Year 2024)
UGC Approved
Journal no 47859

Join Our IPN

IJIRT Partner Network

Submit your research paper and those of your network (friends, colleagues, or peers) through your IPN account, and receive 800 INR for each paper that gets published.

Join Now

Latest Publication

Archive

View More

Recent Conferences

NCSEM 2024

National Conference on Sustainable Engineering and Management - 2024 Last Date: 15th March 2024

Submit inquiry