Safe Concurrent Programming in Java

Source: sow.csail.mit.edu
Topic: Java Programming

Short Desciption:
Safe Concurrent Programming in Java. Chandrasekhar Boyapati. CHANDRA ... Multithreaded programming is difficult and error prone. ...

 

Content Inside:
Safe Concurrent Programming in JavaPage 1Safe Concurrent Programming in JavaChandrasekhar BoyapatiCHANDRA@LCS.MIT.EDURobert LeeRHLEE@LCS.MIT.EDUMartin RinardRINARD@LCS.MIT.EDUMIT Laboratory for Computer Science 200 Technology Square Cambridge MA 02139 USA1. IntroductionMultithreaded programming is difficult and error prone.Multithreaded programs typically synchronize operationson shared mutable data to ensure that the operations execute atomically. Failure to correctly synchronize such operations can lead to data races or deadlocks. A data raceoccurs when two threads concurrently access the same datawithout synchronization and at least one of the accessesis a write. A deadlock occurs when there is a cycle of theform: i {0..n 1} Threadiholds Lockiand Threadiis waiting for Lock(i+1) mod n.This paper presents a new static type system for multithreaded programs; welltyped programs in our system areguaranteed to be free of data races and deadlocks. In recentprevious work we presented a static type system to preventdata races. In this paper we extend the racefree type system to prevent both data races and deadlocks. The basicidea behind our system is as follows. When programmerswrite multithreaded programs they already have a locking discipline in mind. Our system allows programmersto specify this locking discipline in their programs. Theresulting specifications take the form of type declarations.To prevent data races programmers associate every objectwith a protection mechanism that ensures that accesses tothe object never create data races. The protection mechanism of an object can specify either the mutual exclusionlock that protects the object from unsynchronized concurrent accesses or that threads can safely access the objectwithout synchronization because either 1) the object is immutable 2) the object is accessible to a single thread or3) the variable contains the unique pointer to the object.Unique pointers are useful to support object migration between threads. ...

 

 

free pdf concurrent java programming, pdfdownload concurrent programming in java, concurrent programming in java, concurrent programming in java pdf