On the Computational Power of Shared Objects
نویسنده
چکیده
We propose a new classification for evaluating the strength of shared objects. The classification is based on finding, for each object of type o, the strongest progress condition for which it is possible to solve consensus for any number of processes, using any number of objects of type o and atomic registers. We use the strongest progress condition to associate with each object a number call the power number of that object. Objects with higher power numbers are considered stronger. Then, we define the power hierarchy which is an infinite hierarchy of objects such that the objects at level i of the hierarchy are exactly those objects with power number i. Comparing our classification with the traditional one which is based on fixing the progress condition (namely, wait-freedom) and finding the largest number of processes for which consensus is solvable, reveals interesting results. Our equivalence and extended universality results, provide a deeper understanding of the nature of the relative computational power of shared
منابع مشابه
Anomalies in the Wait-Free Hierarchy
Abst rac t . We considel' the hierarchy of wait-free shared objects, and show that this hierarchy does not express the computational power of shared objects. We prove that there are objects that are classified high in the hierarchy, yet, they can not implement objects that are classified much lower in the hierarchy. Our main result is: for any two levels kl > k2 in the hierarchy, there are shar...
متن کاملA Theoretical Framework for Several Antecedents of Shared Leadership in Corporate Board Contexts
Due to the gap in understanding board leadership and specifically, board shared leadership, this article aims at proposing some antecedents of the emergence of board shared leadership. This article incorporates three bodies of literature: Team effectiveness, team leadership, and board management. Based on integrating several theoretical perspectives, nine propositions are developed in relation ...
متن کاملA computational investigation on the structural features of alkanolamine solvents for CO2 capture process from power plant flue gas
متن کامل
A Novel Method for Tracking Moving Objects using Block-Based Similarity
Extracting and tracking active objects are two major issues in surveillance and monitoring applications such as nuclear reactors, mine security, and traffic controllers. In this paper, a block-based similarity algorithm is proposed in order to detect and track objects in the successive frames. We define similarity and cost functions based on the features of the blocks, leading to less computati...
متن کاملA Computational Study about the Effect of Turbines Pitched Blade Attack Angle on the Power Consumption of a Stirred Tank
In this study, the stirring mechanism of shear-thinning fluids benefiting from four blades in turbulent flow is considered. The fluid is studied inside a stirred cylindrical tank with a flat bottom. The height of fluid is equal to the cylinder’s diameter and the impeller is positioned centrally. A CFD simulation has been carried out and three-dimensional turbulent flow is numerically analyzed u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009