Design of a parallel linear algebra library for verified computation

In this paper we discuss design principles to implement a set of linear algebra subroutines in a portable libraty for parallel computers. Our design supports reuse of code and easy adaption to new parallel programming paradigms or network configurations.The routines are supposed to be used in self-verifying algorithms. They therefore have to deliver a validated result of high accuracy.AbstractОбсуждаются принципы построения и реализации набора линейно-алгебраических подпрограмм переносимой библиотеки для параллельных компьютеров. Поддерживается повторное использование кода. Подпрограммы могуг легко адаптироваться к новым парадигмам параллельного программирования и сетевым конфигураниям.Подпрограммы предназначены для использования в самоверифицирующих алгоритмах, позтому они дают достоверные результаты высокой точности.