Échange international et distorsions internes:Comment gouverner la globalisation ?

La concurrence des pays émergents de la taille de la Chine ou de l’Inde fait resurgir avec force le débat qui oppose partisans et adversaires du libre-échange au sein même des pays développés. Pour les premiers, la croissance du commerce international est forcément bénéficiaire pour tous. Pour les seconds, elle est la cause de tous les maux et en particulier du chômage. Les choses sont pourtant bien différentes et beaucoup moins simples. Les changements dans le commerce international, comme d’ailleurs le progrès technique, créent inévitablement des distorsions qui perturbent le fonctionnement de l’économie. Ces distorsions ne sont pas réductibles à des dysfonctionnements des marchés des biens ou du travail. Elles ne peuvent donc pas être éliminées ab initio en choisissant des institutions optimales. Pour autant, des restrictions au commerce international ne sont pas une solution car elles risquent de créer d’autres distorsions qui viennent s’ajouter aux premières. Des distorsions avant tout intérieures appellent des solutions intérieures. Pour explorer ces solutions, il faut retenir une analyse conçue pour étudier, non les propriétés des positions d’équilibre avant et après l’ouverture à l’échange, mais les caractéristiques d’un processus de transition dont le succès n’est pas assuré. Ce type d’analyse permet de mettre en évidence la nécessité d’introduire une forme d’inertie dans les mécanismes d’ajustement. Si une relative flexibilité des salaires est encore possible quand l’intensité du changement est limitée, une certaine viscosité est requise dans le cas contraire, et un accès facilité aux ressources financières externes est nécessaire. Ce résultat pourrait aider à formuler les choix institutionnels et organisationnels à mettre en œuvre dans les économies qui veulent tirer avantage du commerce international et de la globalisation.Changes in the pattern of international trade inevitably create distortions that perturb the functioning of the economy. These distortions may not be reduced to malfunctioning goods or labour markets, and hence cannot be eliminated by simply choosing the optimal institutions. Domestic distortions call for domestic solutions. To explore these solutions it is useless to analyze the properties of equilibria before and after the opening to trade. Rather, we need to build an analytical framework suited to investigate the characteristics of a transition process whose success is not guaranteed ex ante. it appears that wage rigidity and an easy access to external financial resources are necessary in presence of fast pace of change, while if change is sufficiently slow the standard recipe of wage flexibility may be appropriate. These results may help in the institutional and organizational choices to be implemented in economies willing to profit from international trade and globalization

JNuke: Efficient Dynamic Analysis for Java

Abstract. JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example exploration. Efficiency is crucial in dynamic verification. Therefore JNuke has been written from scratch in C, improving performance and memory usage by an order of magnitude compared to competing approaches and tools.

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis ⋆

Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is caused by concurrently executing code unexpectedly violating the atomicity of a code segment, is one of the most common concurrency errors. However, atomicity violations are hard to find using traditional testing and debugging techniques. This paper presents a hybrid approach that integrates static and dynamic analyses to attack this problem. We first perform static analysis to obtain summaries of synchronizations and accesses to shared variables. The static summaries are then instantiated with runtime values during dynamic executions to speculatively approximate the behaviors of branches that are not taken. Compared to dynamic analysis, the hybrid approach is able to detect atomicity violations in unexecuted parts of the code. Compared to static analysis, the hybrid approach produces fewer false alarms. We implemented this hybrid analysis in a tool called HAVE that detects atomicity violations in multi-threaded Java programs. Experiments on several benchmarks and real-world applications demonstrate promising results.