Semantics of concurrency in Java | |
| Author | Rahman, Md. Anisur |
| Call Number | AIT Thesis no. CS-00-01 |
| Subject(s) | Java (Computer program language) Programming languages (Electronic computers)--Semantics |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-00-01 |
| Abstract | Java supports concurrent programming by means of threads that independently execute code. Such code operates on Java values and objects residing in a shared main memory. Every thread owns a private working memory in which it keeps working copies of all variables it uses or assigns . Structural operational semantics of several aspects of threads is defined in this work regardless of any implementation details. To do this a subset of Java has been selected which is called Mini Java. Semantics has been given for concurrency with threads and synchronized statements. The semantics is based on the environment and state. Two kinds of environment have been used - Global environment and Working Environment. States are also divided into Global state and Working state. The semantics describes the changes in the environments and states at different situation of thread execution. |
| Year | 2000 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-00-01 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Sadananda, Ramakoti;Yulu, Qi; |
| Scholarship Donor(s) | Netherlands Government TC/DC; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2000 |