1 / 93

Deriving an Algorithm for the Weak Symmetry Breaking Task Armando Castañeda Sergio Rajsbaum

Deriving an Algorithm for the Weak Symmetry Breaking Task Armando Castañeda Sergio Rajsbaum Universidad Nacional Autónoma de México. Symmetric an d chromatic subdivision. Chromatic and binary sphere. 0. 2. 1. symmetric map that no map s on mono??. 2. 0. 0. 1. 0. 1. 2. 1. 2. 2.

caleb-kim
Télécharger la présentation

Deriving an Algorithm for the Weak Symmetry Breaking Task Armando Castañeda Sergio Rajsbaum

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Deriving an Algorithm for the Weak Symmetry Breaking Task Armando Castañeda Sergio Rajsbaum Universidad Nacional Autónoma de México

  2. Symmetric and chromatic subdivision Chromatic and binary sphere 0 2 1 symmetric map that no maps on mono?? 2 0 0 1 0 1 2 1 2 2 1 0 0 1 2 This talk is about ... Symmetric map: Faces same dim => mapped same binary colors Exists subdivision s.t. map exists? Symmetric: Faces same dim => same subdivision All possible assignments of binary values

  3. 0 1 0 1 ? 1 0 This talk is about ... Impossible for dimension 1 w.l.o.g. Since the map must be symmetric The map does not exist for any subdivision

  4. 0 2 1 2 0 0 1 0 1 2 1 2 2 1 0 0 1 2 This talk is about ... Impossible for dimension 2 Does not exist for any subdivision Impossible for dimension 3, 4 Possible for dim n iff #faces of n-simple are relatively prime Possible for dimension 5 Impossible for dimension 6, 7, 8 Possible for dimension 9

  5. This talk is about ... The relation with distributed computing: If the subdivision exists for dimension nthen There exists a distributed algorithm for n+1 processors for the Weak Symmetry Breaking task Does not exists for 2, 3, 4, 5 processors Exists for 6 processors

  6. MODEL OF COMPUTATION

  7. 0 1 n . . . • n+1 asynchronous processors with id’s 0, 1, ... n

  8. 0 1 n . . . atomic snapshot write . . . • n+1 asynchronous processors with id’s 0, 1, ... n • shared memory with n+1 atomic registers

  9. . . . 0 1 n . . . • n+1 asynchronous processors with id’s 0, 1, ... n • shared memory with n+1 atomic registers • at most n processors can fail by crashing

  10. . . . NO restriction on relative speeds 0 1 n . . . • n+1 asynchronous processors with id’s 0, 1, ... n • shared memory with n+1 atomic registers • at most n processors can fail by crashing • wait-free algorithms: a correct processor cannot wait forever Many possible schedulings: order processes’ operations

  11. WEAK SYMMETRY BREAKING (WSB)

  12. output values: , input values:id’s W S B

  13. output values: , input values:id’s W S B

  14. output values: , input values:id’s W S B

  15. Trivial algorithm: processors with even id decide and processors with odd id decide Avoiding trivial solutions. Each processors can only do comparisons A > B? A = B? It does not know its id!! This requirement implies symmetry on the outputs of executions with similar scheduling

  16. 2 0 1 Trivial algorithm: processors with even id decide and processors with odd id decide Avoiding trivial solutions. Each processors can only do comparisons A > B? A = B? It does not know its id!! This requirement implies symmetry on the outputs of executions with similar scheduling zzz ???

  17. Trivial algorithm: processors with even id decide and processors with odd id decide Avoiding trivial solutions. Each processors can only do comparisons A > B? A = B? It does not know its id!! This requirement implies symmetry on the outputs of executions with similar scheduling It has to decide the same!! ??? zzz 2 0 1

  18. n+1 1 n+1 2 n+1 n ... • Exceptional n = • are relatively prime • Results • For some exceptional values of n there is an algorithm for WSB for n+1 processors New upper and lower bounds for renaming n= 5, 9, 11, 13, 14 ... • For the other values of n there is no algorithm for WSB for n+1 processors

  19. TOPOLOGICAL REPRESENTATION ALGORITHM FOR WSB

  20. In 1993 it was discovered the deep relationship between topology and distributed computing [Borowsky & Gafni 93] [Herlihy & Shavit93,99] [Saks & Zaharoglou93, 00] Here we focus on WSB • Represent the global state of an execution of an algorithm as a simplex • All executions are represented by a complex

  21. 0 2 1 0 1 2 0 0 2 1 0 2 1 2 1 The complex is a chromatic and binary colored subdivision of a proper colored simplex. All possible executions Initial state of the system

  22. 0 2 1 0 1 2 0 0 2 1 0 2 1 2 1 The complex is a chromatic and binary colored subdivision of a proper colored simplex. The more steps processors execute, the more fine the subdivision is All possible executions Initial state of the system Simplex proper colored with id’s procs participate Binary coloring = output value

  23. 0 2 1 0 1 2 0 0 2 1 0 solo executions Two processors participate All processors participate 2 1 2 1 The complex is a chromatic and binary colored subdivision of a proper colored simplex. The more steps processors execute, the more fine the subdivision is

  24. 0 2 1 0 1 2 0 0 2 1 0 2 1 2 1 The complex is a chromatic and binary colored subdivision of a proper colored simplex. The more steps processors execute, the more fine the subdivision is Comparison requirement => symmetry on the boundary For two i-faces s1, s2, there is a simplicial bijection from sub(s1) to sub(s2) that preserves id coloring and binary coloring

  25. 0 2 1 0 1 2 0 0 2 1 0 2 1 2 1 The complex is a chromatic and binary colored subdivision of a proper colored simplex. The more steps processors execute, the more fine the subdivision is NO monochromatic simplexes of dimension n Representation WSB algorithm: chromatic subdivision with a symmetric binary coloring and no monochromatic n-simplexes

  26. If there exists an algorithm for WSB for n+1 processors then there exists a chromatic subdivision of dim n with a symmetric binary coloring and no monochromatic n-simplexes [Borowsky & Gafni93, 97] [Herlihy & Shavit93, 99][Saks & Zaharoglou93, 00] [Attiya & Rajsbaum02] Impossibility for WSB:for somen, symmetry => any such a subdivision contains monochromatic

  27. If there exists a chromatic subdivision of dim n with a symmetric binary coloring and no monochromatic n-simplexes then there exists an algorithm for WSB for n+1 processors Asynchronous Computability Theorem [Herlihy & Shavit 93, 99], Simplex Convergence Algorithm [Borowsky & Gafni 97] Algorithm for WSB:for exceptionaln, there are subdivision with symmetry and no monochromatic

  28. DERIVING ALGORITHMS FOR WSB

  29. n+1 1 n+1 2 n+1 n ... • Exceptionaln= • are relatively prime • Goal: For exceptional n, construct a subdivisionK • chromatic • binary coloring • symmetric on the boundary • no monochromatic n-simplexes

  30. n+1 1 n+1 2 n+1 n + 1 = 0 + ... + + k1 k0 kn-1 Key: there exist integers ki‘s which satisfy the equation if and only if n is exceptional

  31. The construction in two steps: • Use these ki’s to construct a symmetric subdivision K with 0 monochromatic n-simplexes counted by orientation: x counted as +1 and x counted as –1 • Cancel out the simplexes counted as +1 with the simplexes counted as –1 without modifying the boundary of K

  32. STEP 1: A SUBDIVISION WITH #mono=0

  33. 0 2 1 0 0 1 2 1 2 0 0 0 2 1 1 2 1 2 The ChromaticCone 1. Assume a symmetric boundary 2. Put a red monochromatic triangle at the center 3. Connect them 4. Each simplexes on bd with carrier of same dim, is connected to the face of the center that completes its id’s

  34. 0 2 1 0 0 1 2 1 2 0 0 0 2 1 1 2 1 2 The ChromaticCone Every corner produces a triangle Every edge produces a triangle If red monochromatic then red monochromatic for i-faces s1, s2 => n-simplexes produced by isomorphic i-simplexes of sub(s1) and sub(s2) are counted in the same way (by orientation) Only has red monochromatic n-simplexes

  35. Step 1: bd(K) S • Construct K by dimension: each proper i-face is appropriate subdivided such that ithas ki red-mono i-simplexes. All i-faces have thesame subdivision (binary coloring is symmetric) • 2. Once the boundary bd(K) is done, do a chromatic cone with a red-mono simplex at the center Not any subdivision with ki red mono i-simplexes works Every ki, it is possible to construct the appropriate subdivision There is a restriction for k0 but it is not a big problem

  36. By construction n+1 i +1 n - 1 i = 0 = 0 #mono = 1 +sum ki n-simplexes produced by one sub(i-face) simplex at the center # i-faces For a subdivision with a symmetric a binary coloring#mono is • Orient K such that simplex at the center is counted as +1 • Count the number of monochromatic n-simplexes: The boundary induces the number of monochromatic simplexes!! Using Index Lemma => for any pseudomanifold, the boundaryinduces #mono

  37. STEP 2: CANCELING SIMPLEXES +1 WITH –1

  38. From step 1: symmetric subdivision K with #mono= 0 • n-simplexes, counting by orientation • Goal:subdivision of K with NO mono n-simplexes and • the same boundary (to preserve symmetry) • Idea:algorithm to cancel out each mono counted as +1 • with a monocounted as –1

  39. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1 +1 -1 +1 -1

  40. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1 +1 -1 +1 -1

  41. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1 +1 -1

  42. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1 +1 -1

  43. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1

  44. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them -1 +1

  45. Cancel out a simplex of K counted as +1 with a simplex counted as –1 by subdividing a path which connects them n exceptional => subdivision K with no monochromatic => algorithm for WSB The algorithm works for any dimension n >= 2

  46. 1 0 0 2 The easiest case is when simplexes are adjacent

  47. 1 2 0 0 1 2 The easiest case is when simplexes are adjacent

  48. 1 2 0 0 1 2 The easiest case is when simplexes are adjacent We didnot modify the boundary

  49. An example of a path of size 4 0 0 2 1 1 0

  50. An example of a path of size 4 0 0 2 1 0 1 2 0

More Related