Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models

Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer

SAS, pp. 299–320

2017 · doi: 10.1007/978-3-319-66706-5\_15


We present PORTHOS, the first tool that discovers porting bugs in performance-critical code. PORTHOS takes as input a program and the memory models of the source architecture for which the program has been developed and the target model to which it is ported. If the code is not portable, PORTHOS finds a bug in the form of an unexpected execution

subject terms: Model-based Systems Engineering, MbSE

url: https://doi.org/10.1007/978-3-319-66706-5\_15