Default, deadlock and remedies

The primary purpose of this chapter is to examine the effectiveness of common default provisions and the range of common law and equitable remedies available to a joint venture partner in the event of default by a co-venturer. Because of the various joint venture vehicles such as trusts, corporations, partnerships and others, it is proposed to deal only generally with these questions.

The Doha deadlock: Intellectual property and climate change

In November 2001, Doha hosted trade talks over intellectual property and public health. The discussions resulted in the landmark Doha Declaration on the TRIPS Agreement and Public Health. The Doha Declaration recognised “that the TRIPS Agreement does not and should not prevent members from taking measures to protect public health” - particularly in relation to HIV/AIDS, tuberculosis, malaria and other epidemics.

A fault-tolerant distributed deadlock detection algorithm

In this paper, we propose a new fault-tolerant distributed deadlock detection algorithm which can handle loss of any resource release message. It is based on a token-based distributed mutual exclusion algorithm. We have evaluated and compared the performance of the proposed algorithm with two other algorithms which belong to two different classes, using simulation studies. The proposed algorithm is found to be efficient in terms of average number of messages per wait and average deadlock duration compared to the other two algorithms in all situations, and has comparable or better performance in terms of other parameters.

Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Explanations of the International Community Deadlock in Bosnia and Herzegovina

La Bosnie-Herzégovine est sous supervision internationale depuis 1995. Les principaux acteurs de cette communauté internationale soit l’Union Européenne (UE) et le Bureau du Haut-Représentant à la Communauté Internationale (OHR) ont exprimé à de nombreuses reprises leur intention de transformer la mission internationale en s’éloignant du pouvoir discrétionnaire du OHR en le remplaçant par la perspective d’intégration offerte par l’UE. Malgré les bonnes intentions, cette transition semble être dans une impasse. Depuis 2006, l’organisation et la distribution des responsabilités au sein de la communauté internationale sont restées inchangées. Ce mémoire s’intéresse à ces deux principaux acteurs et à leur rôle dans l’impasse. L’objectif est de tester trois cadres d’analyse soit le rationalisme, le constructivisme et la complexité des régimes pouvant expliquer cette impasse. En se basant sur des interviews avec des experts et des représentants des deux institutions, ce mémoire explore dans quelle mesure et dans quels contextes chaque cadre d’analyse est apte à expliquer le comportement des acteurs.

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Persistent Deadlock in Multilateral Trade Negotiations: The Case of Doha

The history of the General Agreement on Tariffs and Trade negotiations is full of anecdotes on missed deadlines, failed ministerial conferences, and brinkmanship situations. Tactics such as walking away from the table or sleep-depriving night sessions are legendary in the context of attempting to overcome impasse in negotiations. This article traces and explains the recurrent deadlock in the Doha Round negotiations. It identifies four structural/contextual factors – ideas, institutions, interests, and information – as necessary for understanding and anticipating potential deadlocks. The article also offers a definition of deadlock, and discusses a set of factors highlighted in the international relations literature that explain the existence and persistence of deadlock. With the help of game theory, it then illustrates the challenges faced by actors during trade negotiations. The article concludes by outlining two general scenarios for the Doha Development Agenda and discusses their implications for the World Trade Organization.

Application of Deadlock Risk Evaluation of Architectural Models

Software architectural evaluation is a key discipline used to identify, at early stages of a real-time system (RTS) development, the problems that may arise during its operation. Typical mechanisms supporting concurrency, such as semaphores, mutexes or monitors, usually lead to concurrency problems in execution time that are difficult to be identified, reproduced and solved. For this reason, it is crucial to understand the root causes of these problems and to provide support to identify and mitigate them at early stages of the system lifecycle. This paper aims to present the results of a research work oriented to the development of the tool called ‘Deadlock Risk Evaluation of Architectural Models’ (DREAM) to assess deadlock risk in architectural models of an RTS. A particular architectural style, Pipelines of Processes in Object-Oriented Architectures–UML (PPOOA) was used to represent platform-independent models of an RTS architecture supported by the PPOOA –Visio tool. We validated the technique presented here by using several case studies related to RTS development and comparing our results with those from other deadlock detection approaches, supported by different tools. Here we present two of these case studies, one related to avionics and the other to planetary exploration robotics. Copyright © 2011 John Wiley & Sons, Ltd.

Ukraine in deadlock - What next? EPC Commentary, 12 February 2014

Some two months since Ukrainians took to the streets, a political solution to the standoff between the EuroMaidan protestors and the Ukrainian authorities remains out of reach, with the situation on the ground remaining volatile. As the clock ticks there is fear that further violence and instability could be on the horizon. Further turmoil risks Ukraine’s territorial integrity, with talk of division and calls for Moscow to intervene coming from a number of Party of Regions speakers. It also increases the likelihood of new security threats going beyond Ukraine’s border including refugees and asylum seekers. Furthermore, as the political crisis deepens, Ukraine’s economic situation becomes more perilous with the chances of default on its debts rising.

The Western Balkans: deadlock in the EU enlargement process. OSW Commentary No. 43, 2010-11-24

On 9 November the European Commission presented the annual reports assessing the progress of the Balkans states in their preparations for EU membership, the enlargement strategy up to autumn 2011, and the assessment of the EU membership applications submitted by Albania and Macedonia. All these documents show that the reform process in the Balkan states has slowed down in comparison to previous years. The main reason for this slowdown is the negative consequences of the global economic crisis for these countries. Nonetheless, the transformation process is continuing, despite these difficulties. Another increasingly serious challenge for integrating the Balkan states is the EU's growing reluctance to enlarge any further. Among other measures, the EU states have blocked the formal acknowledgement of the integration progress (objections have been raised to the submission of membership applications by Albania, Serbia and Montenegro, and to granting Albania candidate status), which has significantly prolonged the accession process. In fact, this illustrates the lack of political will to accept new members. The European Commission is aware that the integration process may be blocked, and so in the coming year it is planning to focus on fostering the idea of enlargement among the EU member states. It will also focus on persuading the Balkan states to move on with reforms, especially those designed to strengthen state institutions (administration, the judiciary), even if their progress will not be formally considered during the integration process. The Commission assumes that by the end of next year, the reforms implemented by the Balkan states will be comprehensive enough to persuade the EU states to step up the integration process in subsequent years. However, if the EU member states' standpoint on the enlargement process does not change, the Commission's efforts will not bring about the expected results. Considering that their prospects for EU membership are receding, the Balkan states may not have sufficient motivation to go on with long-term reform efforts. As a result, the transformation process may become impeded, and in the longer perspective, the situation in the entire region may be destabilised.