Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Atomicity Analysis of Multi-threaded Programs
Post: #1

Ensuring the correctness of multi-threaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. In the past, researchers have addressed this problem by devising tools for detecting race conditions, a situation where two threads simultaneously access the same data variable, and at least one of the accesses is a write. However, verifying the absence of such simultaneous-access race conditions is neither necessary nor sufficient to ensure the absence of errors due to unexpected thread interactions. A stronger non-interference property, namely atomicity, is required. A method is atomic if its execution is not affected by and does not interfere with concurrently executing threads. Precisely, a method (or in general a code block) is atomic if for every (arbitrarily interleaved) program execution, there is an equivalent execution with the same overall behavior where the atomic method is executed serially, that is, the method's execution is not interleaved with actions of other threads. This report discusses two methods of atomicity checking, namely static and dynamic checking. Type system is for specifying and verifying the atomicity of methods in multithreaded programs. Dynamic analysis is used to find out atomicity violations in multithreaded softwares. For run-time analysis two algorithms reduction-based algorithm and block-based algorithm are discussed.

Important Note..!

If you are not satisfied with above reply ,..Please


So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page
Popular Searches: file compression programs, java programs for clinic project**ouncement etca website, seminarprojects net t stress ribb e threaded, washington dc educational programs, educational programs in new, threaded mode linear mode marketing mix of cadbury ppt, top online education masters programs,

Quick Reply
Type your reply to this message here.

Image Verification
Image Verification
(case insensitive)
Please enter the text within the image on the left in to the text box below. This process is used to prevent automated posts.

Possibly Related Threads...
Thread: Author Replies: Views: Last Post
Last Post: ijasti
  Multi signature smart paper boy 2 1,261 11-01-2016 02:00 PM
Last Post: seminar report asees
  Human Robot Interaction in Multi-Agent Systems pdf computer topic 0 485 25-03-2014 09:43 PM
Last Post: computer topic
Brick Face Recognition using the Techniques Base on Principal Component Analysis (PCA) computer science crazy 3 2,917 04-03-2013 01:21 PM
Last Post: Guest
Star MULTI TOUCH A SEMINAR REPORT Computer Science Clay 7 12,642 19-11-2012 09:47 PM
Last Post: Guest
  A Multi-Dimensional Approach to Internet Security ( Download Full Seminar Report ) computer science crazy 3 3,182 01-11-2012 12:55 PM
Last Post: seminar details
  Advanced Algorithm Design and Analysis FULL PRESENTATION seminar class 1 2,537 10-10-2012 12:22 PM
Last Post: seminar details
  Seminar on Byzantine-ResilientSecure Multicast Routing in Multi-hop Wireless Networks computer girl 0 534 11-06-2012 05:40 PM
Last Post: computer girl
  Java Programs IO STREAMS computer girl 0 354 08-06-2012 12:17 PM
Last Post: computer girl
  Satellite Image Time Series Analysis Under Time Warping computer girl 0 363 06-06-2012 05:23 PM
Last Post: computer girl