By a News Reporter-Staff News Editor at Computer Weekly News -- Investigators publish new report on Computer Programming. According to news reporting originating from West Lafayette, Indiana, by VerticalNews correspondents, research stated, "Parallel programming is essential for reaping the benefits of parallel hardware, but it is notoriously difficult to develop and debug reliable, scalable software systems. One key challenge is that modern languages and systems provide poor support for ensuring concurrency correctness properties-atomicity, sequential consistency, and multithreaded determinism-because all existing approaches are impractical."
Our news editors obtained a quote from the research from Purdue University, "Dynamic, software-based approaches slow programs by up to an order of magnitude because capturing and controlling cross-thread dependences (i.e., conflicting accesses to shared memory) requires synchronization at virtually every access to potentially shared memory. This paper introduces a new software-based concurrency control mechanism called OCTET that soundly captures cross-thread dependences and can be used to build dynamic analyses for concurrency correctness. OCTET achieves low overheads by tracking the locality state of each potentially shared object. Non-conflicting accesses conform to the locality state and require no synchronization; only conflicting accesses require a state change and heavyweight synchronization. This optimistic tradeoff leads to significant efficiency gains in capturing cross-thread dependences: a prototype implementation of OCTET in a high-performance Java virtual machine slows real-world concurrent programs by only 26% on average. A dependence recorder, suitable for record & replay, built on top of OCTET adds an additional 5% overhead on average."
According to the news editors, the research concluded: "These results suggest that OCTET can provide a foundation for developing low-overhead analyses that check and enforce concurrency correctness."
For more information on this research see: OCTET: Capturing and Controlling Cross-Thread Dependences Efficiently. ACM Sigplan Notices, 2013;48(10):693-712. ACM Sigplan Notices can be contacted at: Assoc Computing Machinery, 2 Penn Plaza, Ste 701, New York, NY 10121-0701, USA.
The news editors report that additional information may be obtained by contacting M.D. Bond, Purdue University, West Lafayette, IN 47907, United States. Additional authors for this research include M. Kulkarni, M. Cao, M.J. Zhang, M.F. Salmi, S. Biswas, A. Sengupta and J.P. Huang.
Keywords for this news article include: Indiana, Software, United States, West Lafayette, Computer Programming, North and Central America
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC