Applications of Algebraic Topology to Concurrent Computation
نویسندگان
چکیده
All parallel programs require some amount of synchronization to coordinate their concurrency to achieve correct solutions. It is commonly known that synchronization can cause poor performance by burdening the program with excessive overhead. This chapter develops a connection between certain synchronization primitives and topology. This connection permits the theoretical study of concurrent computing with all the mathematical tools of algebraic and combinatorial topology.
منابع مشابه
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملState Spaces and Dipaths up to Dihomotopy
Geometric models have been used by several authors to describe the behaviour of concurrent sytems in computer science. A concurrent computation corresponds to an oriented path (dipath) in a (locally) partially ordered state space, and dihomotopic dipaths correspond to equivalent computations. This paper studies several invariants of the state space in the spirit of those of algebraic topology, ...
متن کاملSTABILIZER TOPOLOGY OF HOOPS
In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them. And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that right and product stabilizers are filters and if they are ...
متن کاملInternal Topology on MI-groups
An MI-group is an algebraic structure based on a generalization of the concept of a monoid that satisfies the cancellation laws and is endowed with an invertible anti-automorphism representing inversion. In this paper, a topology is defined on an MI-group $G$ under which $G$ is a topological MI-group. Then we will identify open, discrete and compact MI-subgroups. The connected components of th...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007