60 resultados para deadlock
Resumo:
INJECTABLE HEROIN MAINTENANCE has been advocated as a form of treatment for opioid dependence that would attract, and retain in treatment, addicts who have either not sought treatment or who have failed at other forms of treatment, including methadone maintenance. Advocates of heroin maintenance argue that it would increase the proportion of addicts in treatment and reduce heroin use, drug related crime, and deaths due to overdose.
Resumo:
This paper outlines the ideas of Ralph Hawtrey and Lauchlin Currie on the need for monetised fiscal deficit spending in 1930s USA to combat the deep depression into which the economy had been allowed to sink. In such exceptional circumstances of “credit deadlock” in which banks were afraid to lend and households and business afraid to borrow, the deadlock could best be broken through the spending of new money into circulation via large fiscal deficits. This complementarity of fiscal and monetary policy was shown to be essential, and as such indicates the potential power of monetary policy – in contrast to the Keynesian “liquidity trap” view that it is powerless This lesson was not learned by the Japanese authorities in their response to the asset price collapse of 1991-92, resulting in a lost decade as ballooning fiscal deficits were neutralised throughout the 1990s by unhelpfully tight monetary policy with the Bank of Japan refusing to monetise the deficits.
Resumo:
High Performance Computing is a rapidly evolving area of computer science which attends to solve complicated computational problems with the combination of computational nodes connected through high speed networks. This work concentrates on the networks problems that appear in such networks and specially focuses on the Deadlock problem that can decrease the efficiency of the communication or even destroy the balance and paralyze the network. Goal of this work is the Deadlock avoidance with the use of virtual channels, in the switches of the network where the problem appears. The deadlock avoidance assures that will not be loss of data inside network, having as result the increased latency of the served packets, due to the extra calculation that the switches have to make to apply the policy.
Resumo:
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.
Resumo:
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
Resumo:
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.
Resumo:
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.
Federal Reform, Political Deadlock, and Member State Response – The Case of Swiss Health Care Policy
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
The decision passed by the International Court of Justice in The Hague in February 2009, which finally determined the status of the Snake Island and the delimitation of the borders of Ukraine’s and Romania’s exclusive economic zones on the Black Sea’s continental shelf removed the major dispute from the agenda of relations between the two countries but it failed to reduce their mutual distrust. The sources of this distrust include the difficult history of Ukrainian-Romanian relations in the 20th century which is still adversely affecting political and economic co-operation between these two countries and preventing them from being free from resentments. Romania is the only EU member state and neighbour with which Ukraine has strained relations, which have been seriously deadlocked for years. There are a few political and economic reasons for this. Bucharest’s actions taken with regard to the Romanian and Moldovan national minorities in Ukraine are interpreted in Kyiv as a threat to Ukraine’s national security, and Romania’s political and economic activity in the Black Sea basin is perceived as contrary to Ukrainian interests in this region. In effect, although Romania supports Ukraine’s efforts to build closer relations with the Western structures in the international arena, it cannot be ruled out that Romania’s support will depend on the resolution of bilateral disputes in a way which is favourable to Romania.