• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 874
Next 10 →

May-happen-in-parallel . . .

by Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, Rudrapatna K Shyamasundar , 2007
"... X10 is a modern object-oriented programming language designed for high performance, high productivity programming of parallel and multi-core computer systems. Compared to the lower-level thread-based concurrency model in the Java TM language, X10 has higher-level concurrency constructs such as async ..."
Abstract - Add to MetaCart
such as async, atomic and finish built into the language to simplify creation, analysis and optimization of parallel programs. In this paper, we introduce a new algorithm for May-Happen-in-Parallel (MHP)analysisofX10 programs. The analysis algorithm is based on simple path traversals in the Program Structure

Transactional Memory: Architectural Support for Lock-Free Data Structures

by Maurice Herlihy, J. Eliot B. Moss
"... A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be prevented from operating on that object. In highly concurrent systems, lock-free data structures avoid common problems asso ..."
Abstract - Cited by 1031 (27 self) - Add to MetaCart
A shared data structure is lock-free if its operations do not require mutual exclusion. If one process is interrupted in the middle of an operation, other processes will not be prevented from operating on that object. In highly concurrent systems, lock-free data structures avoid common problems

Specification and analysis of system architecture using Rapide

by David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann - IEEE Transactions on Software Engineering , 1995
"... Rapide is an event-based concurrent, object-oriented language specifically designed for prototyping system architectures. Two principle design goals are (1) to provide constructs for defining executable prototypes of architectures, and (2) to adopt an execution model in which the concurrency, sync ..."
Abstract - Cited by 386 (4 self) - Add to MetaCart
Rapide is an event-based concurrent, object-oriented language specifically designed for prototyping system architectures. Two principle design goals are (1) to provide constructs for defining executable prototypes of architectures, and (2) to adopt an execution model in which the concurrency

Deadlocks and Livelocks in Concurrent Objects with Futures

by Elena Giachino, Cosimo Laneve, Tudor Lascu , 2012
"... We study FJf, a concurrent object calculus with future types and operations for getting the values and releasing the control. Programs in FJf may manifest locks (deadlocks or livelocks) due to badly programmed release points. In order to statically detect possible misbehaviours, we develop a techniq ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We study FJf, a concurrent object calculus with future types and operations for getting the values and releasing the control. Programs in FJf may manifest locks (deadlocks or livelocks) due to badly programmed release points. In order to statically detect possible misbehaviours, we develop a

Deadlock analysis of concurrent objects: Theory and practice

by Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
"... We present a framework for statically detecting deadlocks in a concurrent object language with asynchronous invocations and operations for getting values and releasing the control. Our approach is based on the integration of two static analysis techniques: (i) an inference algorithm to extract abst ..."
Abstract - Cited by 6 (4 self) - Add to MetaCart
We present a framework for statically detecting deadlocks in a concurrent object language with asynchronous invocations and operations for getting values and releasing the control. Our approach is based on the integration of two static analysis techniques: (i) an inference algorithm to extract

McRT-STM: a High Performance Software Transactional Memory System for a Multi-Core Runtime

by Bratin Saha, Ali-reza Adl-tabatabai, Richard L. Hudson, Chi Cao Minh, Benjamin Hertzberg - In Proc. of the 11th ACM Symp. on Principles and Practice of Parallel Programming , 2006
"... Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads to deadl ..."
Abstract - Cited by 241 (14 self) - Add to MetaCart
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads

Symbolic Deadlock Analysis in Concurrent Libraries and their Clients

by Jyotirmoy Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
"... Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoking methods in an unsafe manner. Given such a library, we present a technique for inferring interface contracts that speci ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoking methods in an unsafe manner. Given such a library, we present a technique for inferring interface contracts

Deadlock freedom through object ownership

by Eric Kerfoot, Steve Mckeever, Faraz Torshizi - 5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009 , 2009
"... Active objects are an attractive method of introducing con-currency into Java-like languages by decoupling method ex-ecution from invocation. In this paper, we show how owner-ship is used in the Java [14] subset language CoJava [17] to prevent deadlock associated with active object method calls. Thi ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
. This approach builds on existing type-based approaches that eliminates data races and data-based deadlock in concurrent systems. The novel addition is the use of ownership to or-ganize active objects, thus preventing deadlock from arising when objects are allowed to block awaiting responses from others

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts

by Kohei Suenaga, Naoki Kobayashi - In ESOP , 2007
"... Abstract. The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels. As operating system kernels make heavy use of threads and interrupts, it is important that the method can pro ..."
Abstract - Cited by 10 (1 self) - Add to MetaCart
properly deal with both of the two features. As a first step towards the goal, we formalize a concurrent calculus equipped with primitives for threads and interrupts handling. We also propose a type system that guarantees deadlock-freedom in the presence of interrupts. To our knowledge, ours is the first

Deadlock Checking Using Net Unfoldings

by Stephan Melzer, Stefan Römer - In Proceeding of 9th International Conference on Computer Aided Verification (CAV’97 , 1997
"... McMillan presented a deadlock detection technique based on unfoldings of Petri net systems. It is realized by means of a backtracking algorithm that has its drawback for unfoldings that increase widely. We present an approach that exploits precisely this property. Moreover, we introduce a fast imple ..."
Abstract - Cited by 50 (1 self) - Add to MetaCart
implementation of McMillan's algorithm and compare it with our new technique. 1 Introduction In the field of static analysis of concurrent systems deadlock freeness is almost always a desirable property. Many research has been carried out to propose methods that check this property [3]. One
Next 10 →
Results 1 - 10 of 874
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University