Boundary element quadrature schemes for multi- and many-core architectures

Zapletal, Jan; Merta, Michal; Mal, Luk

doi:10.1016/j.camwa.2017.01.018

Cited by 17 publications

(9 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is worth noting that the terminology for each category of exceptions varies from system to system. Processor ISA [12,13] specifications often distinguish between asynchronous "interrupts" and synchronous "exceptions" yet which provide no umbrella term to refer to these very similar concepts. To avoid confusion, we use the word "exception" as the general term in this paper and distinguish between asynchronous exceptions (interrupts) and synchronous exceptions (traps) only when it is appropriate.…”

Section: Overview Of Exceptionsmentioning

confidence: 99%

See 1 more Smart Citation

Verification of Real Time Operating System Exception Management Based on SPARCv8

Zhi¹,

Qiao²,

Yang

et al. 2021

J. Comput. Sci. Technol.

View full text Add to dashboard Cite

Exception management, as the lowest level function module of the operating system, is responsible for making abrupt changes in the control flow to react to exception events in the system. The correctness of the exception management is crucial to guaranteeing the safety of the whole system. However, existing formal verification projects have not fully considered the issues of exceptions at the assembly level. Especially for real-time operating systems, in addition to basic exception handling, there are nested exceptions and task switching by exceptions service routine. In our previous work, we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement layer. Building on earlier work, this paper proposes EMS (Exception Management SPARCv8), a practical Hoare-style program framework to verify the exception management based on SPARCv8 (Scalable Processor Architecture Version 8) at the design layer. The framework describes the low-level details of the machine, such as registers and memory stack. It divides the execution logic of the exception management into six phases for comprehensive formal modeling. Taking the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example, we use the EMS framework to verify the exception management. All the formalization and proofs are implemented in the interactive theorem prover Coq.

show abstract

Section: Overview Of Exceptionsmentioning

confidence: 99%

“…We use (10), (11), and (12) to express the state transition process at this phase. The corresponding transition diagram is shown in Fig.…”

Section: Restoring Contextmentioning

confidence: 99%

Verification of Real Time Operating System Exception Management Based on SPARCv8

Zhi¹,

Qiao²,

Yang

et al. 2021

J. Comput. Sci. Technol.

View full text Add to dashboard Cite

show abstract

“…Similarly, since the matrix M h is block diagonal, each process owns exactly one block of the matrix. In addition to the distributed memory parallelization by MPI, the assembly of the matrices is parallelized and vectorized in shared memory using OpenMP [5,15]. Therefore, in our numerical experiments we usually employ hybrid parallelization using one MPI process per CPU socket and an appropriate number of OpenMP threads per process.…”

Section: Distributed Memory Parallelizationmentioning

confidence: 99%

A parallel space–time boundary element method for the heat equation

Dohr

Zapletal

Merta

et al. 2019

Computers & Mathematics with Applications

Self Cite

View full text Add to dashboard Cite

“…3 we propose a strategy to parallelize the assembly of the MTF matrix blocks and their application in an iterative solver based on the approach presented in [11][12][13] for single domain problems. Except for the distributed parallelism, the method takes full advantage of the BEM4I library [14,20,21] and its assemblers parallelized in shared memory and vectorized by OpenMP. We provide the results of numerical experiments in Sect.…”

Section: Introductionmentioning

confidence: 99%

Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems

Kravčenko

Zapletal

Claeys

et al. 2020

Parallel Processing and Applied Mathematics

Self Cite

View full text Add to dashboard Cite

We present a highly parallel version of the boundary element method accelerated by the adaptive cross approximation for the efficient solution of scattering problems with composite scatterers. Individual boundary integral operators are treated independently, i.e. the boundary of every homogeneous subdomain is decomposed into clusters of elements defining a block structure of the local matrix. The blocks are distributed across computational nodes by a graph algorithm providing a load balancing strategy. The intra-node implementation further utilizes threading in shared memory and in-core SIMD vectorization to make use of all features of modern processors. The suggested approach is validated on a series of numerical experiments presented in the paper.

show abstract

Boundary element quadrature schemes for multi- and many-core architectures

Cited by 17 publications

References 16 publications

Verification of Real Time Operating System Exception Management Based on SPARCv8

Verification of Real Time Operating System Exception Management Based on SPARCv8

A parallel space–time boundary element method for the heat equation

Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems

Contact Info

Product

Resources

About