The Code of Many Colors: Semi-automated Reasoning about Multi-thread Policy for Java

The Code of Many Colors: Semi-automated Reasoning about Multi-thread Policy for Java

4.11 - 1251 ratings - Source



Concurrent programming has proven to be difficult. One cause of this difficulty is that the relevant thread usage policy seldom appears either in documents or code comments. A second difficulty is that thread usage policy---even when it is known---imposes widespread consequences on the code to be written. Finally, finding and removing concurrency faults in existing code is very hard.... for Electric 1. Jobs are spawned into new Threads in the order they are received. 2. ... 4.5.2 Case study details Thread colors Because Electric has a Swing-based GUI, ... To this end we declare two new thread colors as shown in Figure 4.15.


Title:The Code of Many Colors: Semi-automated Reasoning about Multi-thread Policy for Java
Author: Dean F. Sutherland
Publisher:ProQuest - 2008
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA