Filters








18 Hits in 3.4 sec

Goldilocks

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2007 Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07  
Motivated by these observations, we have designed and implemented a Java runtime system that monitors program executions and throws a Data-RaceException when a data race is about to occur.  ...  This algorithm generalizes the Goldilocks algorithm for data-race detection by handling transactions and providing the ability to distinguish between read and write accesses.  ...  Conclusion We present the first formulation of data-races in the presence of software transactions and a race-and transaction-aware runtime for Java.  ... 
doi:10.1145/1250734.1250762 dblp:conf/pldi/ElmasQT07 fatcat:rbgsxb2pjvghzmhlvleonilrba

Goldilocks

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2007 SIGPLAN notices  
Motivated by these observations, we have designed and implemented a Java runtime system that monitors program executions and throws a Data-RaceException when a data race is about to occur.  ...  This algorithm generalizes the Goldilocks algorithm for data-race detection by handling transactions and providing the ability to distinguish between read and write accesses.  ...  Conclusion We present the first formulation of data-races in the presence of software transactions and a race-and transaction-aware runtime for Java.  ... 
doi:10.1145/1273442.1250762 fatcat:hyrtq46llvgt5lozsmk525x7h4

Goldilocks

Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2010 Communications of the ACM  
n ov e m b e r 2 0 1 0 | vo l . 5 3 | n o. 1 1 | c o m m u n i c at i o n s o f t he acm 85 abstract We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException  ...  Experiments by us and others on raceaware Java runtimes indicate that the DataRaceException may be a viable mechanism to enforce the safety of executions of multithreaded Java programs.  ...  The Goldilocks runtime for Java provides a new exception, DataRaceException, a that is thrown precisely when an access that causes an actual race condition is about to be executed.  ... 
doi:10.1145/1839676.1839698 fatcat:khuec5bnbzhczcitpgcyyxxs3y

Aspect-Oriented Race Detection in Java

Eric Bodden, Klaus Havelund
2010 IEEE Transactions on Software Engineering  
As an example, we describe a new algorithm which we call RACER, an adaption of the well-known ERASER algorithm to the memory model of Java.  ...  These pointcuts allow programmers to monitor program events where locks are granted or handed back, and where values are accessed that may be shared among multiple Java threads.  ...  Part of the work described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the US National Aeronautics and Space Administration  ... 
doi:10.1109/tse.2010.25 fatcat:uovks7u2fvawrcflwlolzbzmv4

Using complexity to protect elections

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
2010 Communications of the ACM  
concLusion We have presented a race-aware runtime for Java incorporating a novel algorithm, Goldilocks, for precise dynamic race detection.  ...  The Goldilocks runtime for Java provides a new exception, DataRaceException, a that is thrown precisely when an access that causes an actual race condition is about to be executed.  ...  Applicants must send: 1) statements on teaching, research, and interest/qualifications for this position, 2) a copy of their graduate transcript, 3) a curriculum vita, and 4) names and contact information  ... 
doi:10.1145/1839676.1839696 fatcat:hbqpm5boabe3jcpa4jcs7czf6y

JRF-E

KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
JRF precisely detects data races as defined by the Java memory model and can thus be used to verify sequential consistency.  ...  Java Racefinder (JRF) is an extension of Java Pathfinder (JPF), a model checker for Java bytecode.  ...  The Java memory model An execution of a Java program is a set of memory model related actions (read and write, volatile read and write, 3 lock and unlock a monitor lock, start a thread, detect termination  ... 
doi:10.1145/1858996.1859042 dblp:conf/kbse/KimYS10 fatcat:dhx2ahyl5jg4phnjhxyhm5xdoa

JRF-E: using model checking to give advice on eliminating memory model-related bugs

Kyung Hee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
2012 Automated Software Engineering : An International Journal  
JRF precisely detects data races as defined by the Java memory model and can thus be used to verify sequential consistency.  ...  Java Racefinder (JRF) is an extension of Java Pathfinder (JPF), a model checker for Java bytecode.  ...  The Java memory model An execution of a Java program is a set of memory model related actions (read and write, volatile read and write, 3 lock and unlock a monitor lock, start a thread, detect termination  ... 
doi:10.1007/s10515-012-0109-4 fatcat:hh3ahdj6unhmzamwf4rmqewr54

A Uniform Classification of Common Concurrency Errors [chapter]

Jan Fiedor, Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar
2012 Lecture Notes in Computer Science  
written in Java, together with a brief overview of techniques so far proposed for detecting such errors.  ...  To help understanding the errors and developing techniques for detecting them, this report strives to provide a uniform taxonomy of concurrency errors common in current programs, with a stress on those  ...  Acknowledgement This work was supported by the Czech Science Foundation (within projects P103/10/0306 and 102/09/H042), the Czech Ministry of Education (projects COST OC10009 and MSM 0021630528), and the  ... 
doi:10.1007/978-3-642-27549-4_67 fatcat:vuaplujznrehzitazwrovjbus4

Instantiation of general terms

Richard C. Anderson, James W. Pichert, Ernest T. Goetz, Diane L. Schallert, Kathleen V. Stevens, Stanley R. Trollip
1976 Journal of Verbal Learning and Verbal Behavior  
SharC uses a combination of static and dynamic analyses to check that the program conforms to this specification.  ...  We ran SharC on 6 legacy C programs, summing to over 600k lines of code, and found that a total of only 60 simple annotations were needed to remove all false positives and to reduce performance overhead  ...  Goldilocks integrates race detection into the Java runtime [7] .  ... 
doi:10.1016/0022-5371(76)90059-1 fatcat:aquvr6fjxjfl5c6zgxcazoy3dy

SharC

Zachary Anderson, David Gay, Rob Ennals, Eric Brewer
2008 SIGPLAN notices  
SharC uses a combination of static and dynamic analyses to check that the program conforms to this specification.  ...  We ran SharC on 6 legacy C programs, summing to over 600k lines of code, and found that a total of only 60 simple annotations were needed to remove all false positives and to reduce performance overhead  ...  Goldilocks integrates race detection into the Java runtime [7] .  ... 
doi:10.1145/1379022.1375600 fatcat:spz2calxkbbtvo23tvqrtnwaxa

SharC

Zachary Anderson, David Gay, Rob Ennals, Eric Brewer
2008 Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08  
SharC uses a combination of static and dynamic analyses to check that the program conforms to this specification.  ...  We ran SharC on 6 legacy C programs, summing to over 600k lines of code, and found that a total of only 60 simple annotations were needed to remove all false positives and to reduce performance overhead  ...  Goldilocks integrates race detection into the Java runtime [6] .  ... 
doi:10.1145/1375581.1375600 dblp:conf/pldi/AndersonGEB08 fatcat:77w3iwfaqnfnhnmnsoyv3k7fti

RADISH: Always-on sound and complete race detection in software and hardware

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2012 2012 39th Annual International Symposium on Computer Architecture (ISCA)  
Our evaluation of a simulated 8-core RADISH processor using PARSEC benchmarks shows runtime overheads from negligible to 2x, outperforming the leading software-only race detector by 2x-37x.  ...  Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforcing both atomicity and  ...  Race detectors such as Goldilocks [6] and FastTrack [2] leverage this observation by storing information about only a single last write per address.  ... 
doi:10.1109/isca.2012.6237018 dblp:conf/isca/DeviettiWSCGQ12 fatcat:34msft5agbfznhmlrh2y7i74tu

RADISH

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer
2012 SIGARCH Computer Architecture News  
Our evaluation of a simulated 8-core RADISH processor using PARSEC benchmarks shows runtime overheads from negligible to 2x, outperforming the leading software-only race detector by 2x-37x.  ...  Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforcing both atomicity and  ...  Race detectors such as Goldilocks [6] and FastTrack [2] leverage this observation by storing information about only a single last write per address.  ... 
doi:10.1145/2366231.2337182 fatcat:pkplgfzeuzdwnpqjxpsiwymgxe

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions [article]

Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
2022 arXiv   pre-print
Dynamic techniques are a scalable and effective way to analyze concurrent programs.  ...  Joining and copying tree clocks takes time that is roughly proportional to the number of entries being modified, and hence the two operations do not suffer the a-priori Θ(k) cost per application.  ...  Goldilocks: A Race and January 2021. doi:10.1145/3434317. Transaction-Aware Java Runtime.  ... 
arXiv:2201.06325v1 fatcat:pa7dshhvevcvlmoag4pm3ye5ua

Dynamic Race Detection in Parallel Programs

Ali Jannesari Ladani
2010
A dynamic approach for race detection based on a synthesis of lockset and happens-before analyses is proposed in this work.  ...  The approach provides a lower rate of both false positives and false negatives (missed races).  ...  The detector is not aware of the library information and works as a universal race detector.  ... 
doi:10.5445/ir/1000021292 fatcat:bzm6we3xhfd4zdbmqjmocck2iy
« Previous Showing results 1 — 15 out of 18 results