ParaFormance is a software tool-chain that allows software developers to quickly and easily write multi-core software. ParaFormance enables software developers to find the sources of parallelism within their code, automatically (through user-controlled guidance) inserting the parallel business logic, and checking that the parallelised code is thread-safe. 

• ParaFormance works with C++
• ParaFormance works on source code and is compiler independent
• ParaFormance checks code for correctness - automatically - and highlights potential issues
• ParaFormance detects candidates for parallelization within sequential code using extremely sophisticated pattern analysis and recognition
• ParaFormance suggests code repairs and fixes for parallelism, enabling them to be implemented automatically or with developer intervention
• ParaFormance enables roll-back of any changes to code

---

Features and Requirements

• discovers code which is suited to parallelisation
• checks code is thread-safe
• suggests parallel code for insertion
• integrates with standard development environments
• supports C++
• supports popular parallel programming libraries

• Operating System: Windows 7, Windows 8, Windows 10, Mac OS, Linux
• Language: C++ (14)
• Compiler: GCC, Clang
• IDE (Integrated Development Environment): Microsoft Visual Studio, Eclipse
• Development Hardware: Any standard machine
• Target Hardware: Shared memory and multi/many core
        (e.g. laptop, workstation, high-end server)

---

Parallelism Discovery

Our unique and sophisticated parallelism discovery feature finds the parts of the application that can be parallelised, automatically.

​With our own built-in intelligent heuristics and analytics, ParaFormance ensures that it reports to you only the parts of the application that will benefit from parallelisation, removing false-positives. 

The results are displayed in an easy to read and clear way direct in the IDE. Our sophisiticated reporting system lets you analyse the results in your own time.

---

Parallelism Insertion using Refactoring

After discovering the sources of parallelism within the application, ParaFormance can then automatically repurpose the code (or refactor) it to enable it for parallelisation. 

Our advanced refactoring support is built on unique pattern based technology. This unique offering enables it to target many different parallelisation libraries and platforms, e.g. Intel's Thread Building Blocks (TBB), OpenMP, PThreads, and more. 

---

Advanced Safety Checking

Our advanced safety checking features give confidence that the parallel version of your application is correct and bug-free.

Whether the parallelism was inserted via our refactoring or hand-written, using ParaFormance will enable you and your development team to quickly and easily find the soures of those difficult and time-consuming bugs. 

ParaFormance will also give hints and suggestions on how to fix them, saving you and your team many hours, days or weeks of effort. 

​With ParaFormance, you can have confidence your application is thread-safe and ready for deployment.

Copyright 2018. ParaFormance Technologies Ltd.