Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

On optimal tree traversals for sparse matrix factorization

Abstract : We study the complexity of traversing tree-shaped workflows whose tasks require large I/O files. Such workflows typically arise in the multifrontal method of sparse matrix factorization. We target a classical two-level memory system, where the main memory is faster but smaller than the secondary memory. A task in the workflow can be processed if all its predecessors have been processed, and if its input and output files fit in the currently available main memory. The amount of available memory at a given time depends upon the ordering in which the tasks are executed. What is the minimum amount of main memory, over all postorder schemes, or over all possible traversals, that is needed for an in-core execution? We establish several complexity results that answer these questions. We propose a new, polynomial time, exact algorithm which runs faster than a reference algorithm. Next, we address the setting where the required memory renders a pure in-core solution unfeasible. In this setting, we ask the following question: what is the minimum amount of I/O that must be performed between the main memory and the secondary memory? We show that this latter problem is NP-hard, and propose efficient heuristics. All algorithms and heuristics are thoroughly evaluated on assembly trees arising in the context of sparse matrix factorizations.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Mathias Jacquelin Connect in order to contact the contributor
Submitted on : Tuesday, November 5, 2013 - 5:13:59 PM
Last modification on : Saturday, September 11, 2021 - 3:18:11 AM
Long-term archiving on: : Friday, April 7, 2017 - 10:01:45 PM


Files produced by the author(s)


  • HAL Id : ensl-00527462, version 2



Mathias Jacquelin, Loris Marchal, Yves Robert, Bora Uçar. On optimal tree traversals for sparse matrix factorization. 2013. ⟨ensl-00527462v2⟩



Record views


Files downloads