Skip to main content

2019 | OriginalPaper | Buchkapitel

Parallel Strongly Connected Components Detection with Multi-partition on GPUs

verfasst von : Junteng Hou, Shupeng Wang, Guangjun Wu, Ge Fu, Siyu Jia, Yong Wang, Binbin Li, Lei Zhang

Erschienen in: Computational Science – ICCS 2019

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The graph computing is often used to analyze complex relationships in the interconnected world, and the strongly connected components (SCC) detection in digraphs is a basic problem in graph computing. As graph size increases, many parallel algorithms based on GPUs have been proposed to detect SCC. The state-of-the-art parallel algorithms of SCC detection can accelerate on various graphs, but there is still space for improvement in: (1) Multiple traversals are time-consuming when processing real-world graphs; (2) Pivot selection is less accurate or time-consuming. We proposed an SCC detection method with multi-partition that optimizes the algorithm process and achieves high performance. Unlike existing parallel algorithms, we select a pivot and traverse it forward, and then select a vice pivot and traverse the pivot and the vice pivot backwards simultaneously. After updating the state of each vertex, we can get multiple partitions to parallelly detect SCC. At different phases of our approach, we use a vertex with the largest degree product or a random vertex as the pivot to balance selection accuracy and efficiency. We also implement weakly connected component (WCC) detection and 2-SCC to optimize our algorithm. And the vertices marked by the WCC partition are selected as the pivot to reduce unnecessary operations. We conducted experiments on the NVIDIA K80 with real-world and synthetic graphs. The results show that the proposed algorithm achieves an average detection acceleration of 8.8\(\times \) and 21\(\times \) when compared with well-known algorithms, such as Tarjan’s algorithm and Barnat’s algorithm.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Xie, A., Beerel, P.A.: Implicit enumeration of strongly connected components and an application to formal verification. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 19(10), 1225–1230 (2000)CrossRef Xie, A., Beerel, P.A.: Implicit enumeration of strongly connected components and an application to formal verification. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 19(10), 1225–1230 (2000)CrossRef
2.
Zurück zum Zitat Simona, O.: On distributed verification and verified distribution. Ph.D. dissertation, Center for Mathematics and Computer Science (CWI) (2004) Simona, O.: On distributed verification and verified distribution. Ph.D. dissertation, Center for Mathematics and Computer Science (CWI) (2004)
4.
Zurück zum Zitat Dijkstra, E.W.: A Discipline of Programming, 1st edn. Prentice Hall, Englewood Cliffs (1976)MATH Dijkstra, E.W.: A Discipline of Programming, 1st edn. Prentice Hall, Englewood Cliffs (1976)MATH
5.
Zurück zum Zitat Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)MATH Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)MATH
6.
7.
Zurück zum Zitat Barnat, J., Chaloupka, J., Jaco, V.D.P.: Distributed algorithms for SCC decomposition. J. Logic Comput. 21(1), 23–44 (2011)MathSciNetCrossRef Barnat, J., Chaloupka, J., Jaco, V.D.P.: Distributed algorithms for SCC decomposition. J. Logic Comput. 21(1), 23–44 (2011)MathSciNetCrossRef
8.
Zurück zum Zitat Barnat, J., Bauch, P., Brim, L., Ceska, M.: Computing strongly connected components in parallel on CUDA. In: Sussman, A., Mueller, F., Beaumont, O., Kandemir, M.T., Nikolopoulos, D.(eds.) IPDPS 2011, pp. 544–555. IEEE(2011). https://doi.org/10.1109/ipdps.2011.59 Barnat, J., Bauch, P., Brim, L., Ceska, M.: Computing strongly connected components in parallel on CUDA. In: Sussman, A., Mueller, F., Beaumont, O., Kandemir, M.T., Nikolopoulos, D.(eds.) IPDPS 2011, pp. 544–555. IEEE(2011). https://​doi.​org/​10.​1109/​ipdps.​2011.​59
14.
Zurück zum Zitat Li, G.H., Zhu, Z., Cong, Z., Yang, F.M.: Efficient decomposition of strongly connected components on GPUs. J. Syst. Archit. 60(1), 1–10 (2014)CrossRef Li, G.H., Zhu, Z., Cong, Z., Yang, F.M.: Efficient decomposition of strongly connected components on GPUs. J. Syst. Archit. 60(1), 1–10 (2014)CrossRef
15.
18.
Zurück zum Zitat Bader, D.A., Madduri, K.: Design and implementation of the HPCS graph analysis benchmark on symmetric multiprocessors. In: Bader, D.A., Parashar, M., Sridhar, V., Prasanna, V.K. (eds.) HiPC 2005. LNCS, vol. 3769, pp. 465–476. Springer, Heidelberg (2005). https://doi.org/10.1007/11602569_48CrossRef Bader, D.A., Madduri, K.: Design and implementation of the HPCS graph analysis benchmark on symmetric multiprocessors. In: Bader, D.A., Parashar, M., Sridhar, V., Prasanna, V.K. (eds.) HiPC 2005. LNCS, vol. 3769, pp. 465–476. Springer, Heidelberg (2005). https://​doi.​org/​10.​1007/​11602569_​48CrossRef
20.
Zurück zum Zitat Defour, D., Marin, M.: Regularity versus load-balancing on GPU for treefix computations. Procedia Comput. Sci. 60, 309–318 (2013)CrossRef Defour, D., Marin, M.: Regularity versus load-balancing on GPU for treefix computations. Procedia Comput. Sci. 60, 309–318 (2013)CrossRef
21.
Zurück zum Zitat McLendon III, W., Hendrickson, B., Plimpton, S.J., Rauchwerger, L.: Finding strongly connected components in distributed graphs. J. Parallel Distrib. Comput. (JPDC) 65(8), 901–910 (2005)CrossRef McLendon III, W., Hendrickson, B., Plimpton, S.J., Rauchwerger, L.: Finding strongly connected components in distributed graphs. J. Parallel Distrib. Comput. (JPDC) 65(8), 901–910 (2005)CrossRef
Metadaten
Titel
Parallel Strongly Connected Components Detection with Multi-partition on GPUs
verfasst von
Junteng Hou
Shupeng Wang
Guangjun Wu
Ge Fu
Siyu Jia
Yong Wang
Binbin Li
Lei Zhang
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-22747-0_2

Premium Partner