Limpar
12.762 resultados

Acesso aberto

Tipo do recurso

Tipo de base de dados

Ano de criação

Produção nacional

Revisado por pares

Áreas

Idioma

Editores

Livro

National Bureau of Economic Research (NBER)

Artigo Revisado por pares

Mukul K. Sinha, Nagarajan Natarajan,

Deadlock handling is an important component of transaction management in a database system. In this paper, we ... transaction management by presenting an algorithm for detecting deadlocks in a distributed database system. The algorithm uses ... minimize the number of messages initiated for detecting deadlocks. It does not construct any wait-for graph ... chasing method. It does not detect any phantom deadlock (in the absence of failures), and for the resolution of deadlocks it does not need any extra computation. The ...

Tópico(s): Software System Performance and Reliability

1985 - IEEE Computer Society | IEEE Transactions on Software Engineering

Artigo

C.S. Chan, Tak-Shing Peter Yum,

Freedom from store-and-forward (S/F) deadlocks in a packet-switched network can be guaranteed with the use of deadlock avoidance protocols. However, these protocols put so many restrictions on ... buffer utilization is small. We propose instead a deadlock detection and resolution algorithm that is completely invisible ... packets due to the lack of buffers, the deadlock detection phase of the algorithm is invoked. When a deadlock is identified, the deadlock resolving phase of the algorithm is executed. Once ...

Tópico(s): Distributed systems and fault tolerance

1987 - Institute of Electrical and Electronics Engineers | IRE Transactions on Communications Systems

Primary Document -- Manuscript Acesso aberto

Swedish ultimatum to Germany solves deadlock over German detention of Swedish tankers. Part 4. Sweden. 27/09/1943. FO 371/37092-0015. English. PLACE Null. Book.

1943 - Gale Group | ArchivesUnbound Western Europe

Artigo Acesso aberto Revisado por pares

R. K. Agrawal, Michael J. Carey, Lawrence McVoy,

... With locking, of course, comes the possibility of deadlocks. Although the database literature is full of algorithms for dealing with deadlocks, very little in the way of practical performance ... faced with the decision of choosing a good deadlock resolution strategy. This paper is an attempt to ... understanding of the behavior and performance of alternative deadlock resolution strategies. We employ a simulation model of ... the relative performance of several strategies based on deadlock detection, several strategies based on deadlock prevention, and ...

Tópico(s): Petri Nets in System Modeling

1987 - IEEE Computer Society | IEEE Transactions on Software Engineering

Primary Document -- Manuscript Acesso aberto

Deadlock in negotiations between the Bishops and Quisling's Ministry of Church and Education. Part 3. Norway. ...

1942 - Gale Group | ArchivesUnbound Western Europe

Artigo Revisado por pares

Barbara E. Wójcik, Zbigniew M. Wójcik,

The necessary and sufficient condition for deadlock in a distributed system and an algorithm for detection of a distributed deadlock based on the sufficient condition are formulated. The protocol ... is only the necessary condition for the distributed deadlock. A no-deadlock message is expected by the query initiator to infer a deadlock-free situation if at least one wait-for cycle is present. A no-deadlock message is issued by a dependent (query intercessor) that is not waiting-for. No no-deadlock message implies a deadlock, and processes listed in ...

Tópico(s): Real-Time Systems Scheduling

1989 - IEEE Computer Society | IEEE Transactions on Software Engineering

Primary Document -- Manuscript Acesso aberto

Deadlock reached in IPC's negotiations with Iraqis. Establishment of Iraq National Oil Company. 21/06/1964. ...

1964 - Gale Group | ArchivesUnbound Iraq

Artigo Revisado por pares

Hyo‐Jin Yoon,

... paper addresses a scheduling and control method for deadlock avoidance operation in robotic manufacturing cells with flexible ... generates an optimal or near-optimal schedule avoiding deadlock even when an unexpected event such as machine failure happens. The proposed deadlock-free scheduling approach consists of two components: deadlock manager, and dynamic scheduler. The deadlock manager builds and manages deadlock in a robotic manufacturing cell. The resources or ... manufacturing cell are classified into two categories: potential deadlock set and deadlock-safe set. This paper presents ...

Tópico(s): Flexible and Reconfigurable Manufacturing Systems

2009 - SAGE Publishing | Proceedings of the Institution of Mechanical Engineers Part B Journal of Engineering Manufacture

Primary Document -- Manuscript Acesso aberto

... makes longer term assessment of Iraqi oil talks deadlock. Negotiations with Iraq Petroleum Co (IPC) on new ...

1961 - Gale Group | ArchivesUnbound Iraq

Artigo Acesso aberto Revisado por pares

Stephen Brookes, A. W. Roscoe,

... model is well suited to reasoning about the deadlock potential of networks. We introduce a number of simple conditions on networks which aid deadlock analysis either by localizing the analysis required for a proof of deadlock-freedom or by restricting the circumstances in which deadlock could occur. In particular, we formulate some simple theorems which characterize the states in which deadlock can occur, and use them to prove some theorems on the absence of global deadlock in systems. We identify a special class of ...

Tópico(s): Interconnection Networks and Systems

1991 - Springer Science+Business Media | Distributed Computing

Primary Document -- Manuscript Acesso aberto

... and Dr Salman to show willingness to tackle deadlock in oil talks. Negotiations with Iraq Petroleum Co ( ...

1961 - Gale Group | ArchivesUnbound Iraq

Artigo

Susanna Kim Ripken,

... often turn acrimonious and result in serious corporate deadlock.2 In the most severe cases, irreconcilable differences ... for many years.3Shareholder conflicts that result in deadlock pose some of the most difficult challenges for ... parties can no longer operate effectively due to deadlock,5 other less extreme measures are available. Many ... alternative remedies in cases of shareholder or director deadlock,6 including the following: the purchase of the ... the provisional director is to vote to break deadlocks in the corporation.9 Part of the value ...

Tópico(s): Corporate Governance and Law

2003 - Washington and Lee University School of Law | Washington and Lee law review

Artigo Revisado por pares

Yong Ho Song, Timothy M. Pinkston,

Handling deadlocks is essential for providing reliable communication paths between processing nodes in parallel computer systems. The existence of ... associated inter-message dependencies may cause message-dependent deadlocks in networks that are designed to be free of routing deadlock. Most methods currently used for dealing with message-dependent deadlocks require more system resources than are necessary and/ ... paper, we characterize the frequency of message-dependent deadlocks in multiprocessor/multicomputer systems. We also propose a ...

Tópico(s): Distributed systems and fault tolerance

2003 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Parallel and Distributed Systems

Primary Document -- Manuscript Acesso aberto

Mr Hadid believes talks will reach a deadlock. Negotiations with Iraq Petroleum Co (IPC) on new oil concession areas and terms. 26/09/1961. FO 371/157729-0002. English. Book.

1961 - Gale Group | ArchivesUnbound Iraq

Artigo Revisado por pares

Juan Rubio, Pedro López, J. Duato,

Two general approaches have been proposed for deadlock handling in wormhole networks. Traditionally, deadlock-avoidance strategies have been used. In this case, either routing is restricted so that there are no ... that there are some escape paths to avoid deadlock. More recently, deadlock recovery strategies have begun to gain acceptance. These ... use of unrestricted fully adaptive routing, usually outperforming deadlock avoidance techniques. However, they require a deadlock detection mechanism and a deadlock recovery mechanism that ...

Tópico(s): Network Traffic and Congestion Control

2003 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Parallel and Distributed Systems

Book Acesso aberto

Zhen Kun Wang, L. Alan Winters,

2000 - Gale Group | Chatham House Online Part 2

Artigo

Ahmad Khonsari, Alireza Shahrabi, M. Ould‐Khaoua, Hamid Sarbazi‐Azad,

Dealing with deadlock has always been a crucial issue for any routing algorithms proposed for wormhole-switched networks. Adaptive routing algorithms, based on deadlock avoidance strategies, usually dedicate resources specifically to ensure deadlock freedom. However, a number of recent studies have demonstrated that deadlocks are quite rare in the network. This fact ... researchers to introduce adaptive routing algorithms based on deadlock recovery strategies. In an effort to gain a ... performance, a comparison of the performance merits of deadlock recovery against deadlock avoidance routing algorithms is performed. ...

Tópico(s): VLSI and FPGA Design Techniques

2003 - | IEE Proceedings - Computers and Digital Techniques

Book Acesso aberto

Richard Dalton,

2008 - Gale Group | Chatham House Online Part 2

Artigo Revisado por pares

Ajay D. Kshemkalyani, Mukesh Singhal,

Distributed deadlock detection requires identifying the presence of certain properties in the global state of distributed systems. Distributed deadlock detection is complicated due to the lack of ... We characterize the formation and detection of distributed deadlocks in terms of the contents of local memory ... nodes/sites. We describe how the interaction between deadlock detection and deadlock resolution can lead to the detection of false deadlocks that are impossible to avoid due to inherent system limitations. We define shadow, phantom, and pseudo deadlocks in the proposed framework. We give examples of ...

Tópico(s): Real-Time Systems Scheduling

1994 - Elsevier BV | Journal of Parallel and Distributed Computing

Speeches Acesso aberto

David Steel,

1984 - Gale Group | Chatham House Online Part 2

Artigo Revisado por pares

T. Kumaran, Wen Chang, H. Cho, Richard A. Wysk,

... and detailed schedules do not usually account for deadlocks that can be caused by part flow. Deadlocks must be prevented for operational control (especially in ... paper is in developing a structured model for deadlock detection, avoidance and resolution caused by part flow ... constructed for the parts currently in the system. Deadlock detection amounts to determining deadlocks in the system status graph. On the other hand, deadlock avoidance amounts to restricting parts movement so that deadlocks are completely avoided in the future. While deadlock ...

Tópico(s): Flexible and Reconfigurable Manufacturing Systems

1994 - Taylor & Francis | International Journal of Production Research

Jornais Acesso aberto

From Our Special Correspondent, FROM A STAFF REPORTER, FROM A LAWN TENNIS CORRESPONDENT, From Our Racing Correspondent, FROM OUR RACING CORRESPONDENT, FROM OUR NEWMARKET CORRESPONDENT, From a Canadian Rugby Football Correspondent, FROM OUR BOXING CORRESPONDENT, FROM OUR CORRESPONDENT, FROM OUR MOTORING CORRESPONDENT, FROM OUR LABOUR CORRESPONDENT, FROM OUR OWN CORRESPONDENT, FROM OUR SPECIAL CORRESPONDENT, From Our Own Correspondent, FROM OUR RADIO CORRESPONDENT, FROM OUR AERONAUTICAL CORRESPONDENT, From Our Correspondent, FROM OUR UNITED NATIONS CORRESPONDENT, FROM OUR WASHINGTON CORRESPONDENT, From Our Common Market Correspondent, FROM OUR COMMON MARKET CORRESPONDENT, FROM OUR DIPLOMATIC CORRESPONDENT, From Our Labour Correspondent, FROM OUR DEFENCE CORRESPONDENT, FROM OUR POLITICAL CORRESPONDENT, GERALD GARDINER., VICTOR GOLLANCZ., J. R. CASSWELL., B. M. MAVROLEON., DAVID G. BRANDON., G. F. HARLAND., ARTHUR C DAVIES., C. A. L. BROWNLOW., J. W. GREEN., GEORGE H. ELVIN., FROM OUR SALE ROOM CORRESPONDENT, FROM A CORRESPONDENT, J. D. B. PHILLIPS., PATRICK STIRLING., V. L. ALLEN., MALCOLM HARPER., S. BARRON., DONALD CLARK., R. ERSKINE-HILL., FROM OUR ESTATES CORRESPONDENT, FROM OUR FILM CRITIC, From Our Medical Correspondent, J. T. W., The Rev. Canon C. C. Griffiths, Lady Ogilvie, H. S. D., Dr. Robin Kemball, By Our City Editor,

... Airlines Bills Uproar, Effort To End U.N. Deadlock, American Troops Again Enter Eastern Sector, French Defence ... For 10 Transmitters, Power Strike Threatened After Pay Deadlock Pause Blamed For Refusal To Grant Demand, Firemen' ...

1961 - Gale Group | TDA

Artigo Revisado por pares

Sihan He, Luo Jian,

This paper addresses the deadlock control problem for the autonomous vehicle storage and retrieval system (AVS/RS). For an AVS/RS with several autonomous vehicles running in bi-direction, deadlock control is one of the key issues in the implementation of AVS/RS. The cycle-deadlock is the main type of deadlock in AVS/RS. In the paper, the dynamic ... a route digraph is built to detect cycle-deadlock in AVS/RS with digraph tools; the necessary and sufficient conditions of deadlock-free are established. Moreover deadlock-free control policies ...

Tópico(s): Formal Methods in Verification

2008 - Taylor & Francis | International Journal of Production Research

Capítulo de livro Revisado por pares

Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur,

Deadlocks are possibly the best known bug pattern in computer systems in general; certainly they are the ... dedicated to the questions of how to design deadlock free programs, how to statically or dynamically detect possible deadlocks, how to avoid deadlocks at runtime, and how to resolve deadlocks once they happen. We start the paper with an investigation on how to exhibit potential deadlocks. Exhibiting deadlocks is very useful in testing, as verifying if a potential deadlock can actually happen is a time-consuming debugging ...

Tópico(s): Software Reliability and Analysis Research

2008 - Springer Science+Business Media | Lecture notes in computer science