Revisiting asynchronous linear solvers: Provable convergence rate through randomization

Haim Avron*, Alex Druinsky, Anshul Gupta

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

37 Scopus citations

Abstract

Asynchronous methods for solving systems of linear equations have been researched since Chazan and Miranker's [1969] pioneering paper on chaotic relaxation. The underlying idea of asynchronous methods is to avoid processor idle time by allowing the processors to continue to make progress even if not all progress made by other processors has been communicated to them. Historically, the applicability of asynchronous methods for solving linear equations has been limited to certain restricted classes of matrices, such as diagonally dominant matrices. Furthermore, analysis of these methods focused on proving convergence in the limit. Comparison of the asynchronous convergence rate with its synchronous counterpart and its scaling with the number of processors have seldom been studied and are still not well understood. In this article, we propose a randomized shared-memory asynchronous method for general symmetric positive definite matrices. We rigorously analyze the convergence rate and prove that it is linear and is close to that of themethod's synchronous counterpart if the processor count is not excessive relative to the size and sparsity of the matrix. We also present an algorithm for unsymmetric systems and overdetermined leastsquares. Our work presents a significant improvement in the applicability of asynchronous linear solvers as well as in their convergence analysis, and suggests randomization as a key paradigm to serve as a foundation for asynchronous methods.

Original languageEnglish
Article number51
JournalJournal of the ACM
Volume62
Issue number6
DOIs
StatePublished - Dec 2015

Funding

FundersFunder number
Air Force Research LaboratoryFA8750-12-C-0323

    Keywords

    • Asynchronous
    • Gauss-Seidel
    • Randomized
    • Shared-memory parallel

    Fingerprint

    Dive into the research topics of 'Revisiting asynchronous linear solvers: Provable convergence rate through randomization'. Together they form a unique fingerprint.

    Cite this