How To Install relacy-dev on Kali Linux

In this tutorial we learn how to install relacy-dev on Kali Linux. relacy-dev is meticulous synchronization algorithm verifier for relaxed memory models

Introduction

In this tutorial we learn how to install relacy-dev on Kali Linux.

What is relacy-dev

relacy-dev is:

Relacy Race Detector is a tool for efficient execution of unit tests for synchronization algorithms written in C++0x. Every user thread is represented as a fiber (ucontext). Every time only one fiber is running, and special scheduler controls interleaving between fibers. With random scheduler it just executes numerous amount of various interleavings between threads. With full search scheduler or context-bound scheduler it systematically executes all possible interleavings between threads. While executing particular interleaving it makes exhaustive verification of various aspects of execution (races, accesses to freed memory etc).

If no errors found then verification terminates when particular number of interleavings are verified (for random scheduler), or when all possible interleavings are verified (for full search scheduler). If error is found then tool outputs execution history which leads to error and terminates. Physically Relacy Race Detector is a header-only library for C++98.

There are three methods to install relacy-dev on Kali Linux. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install relacy-dev Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

After updating apt database, We can install relacy-dev using apt-get by running the following command:

sudo apt-get -y install relacy-dev

Install relacy-dev Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install relacy-dev using apt by running the following command:

sudo apt -y install relacy-dev

Install relacy-dev Using aptitude

If you want to follow this method, you might need to install aptitude on Kali Linux first since aptitude is usually not installed by default on Kali Linux. Update apt database with aptitude using the following command.

sudo aptitude update

After updating apt database, We can install relacy-dev using aptitude by running the following command:

sudo aptitude -y install relacy-dev

How To Uninstall relacy-dev on Kali Linux

To uninstall only the relacy-dev package we can use the following command:

sudo apt-get remove relacy-dev

Uninstall relacy-dev And Its Dependencies

To uninstall relacy-dev and its dependencies that are no longer needed by Kali Linux, we can use the command below:

sudo apt-get -y autoremove relacy-dev

Remove relacy-dev Configurations and Data

To remove relacy-dev configuration and data from Kali Linux we can use the following command:

sudo apt-get -y purge relacy-dev

Remove relacy-dev configuration, data, and all of its dependencies

We can use the following command to remove relacy-dev configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge relacy-dev

Dependencies

relacy-dev have the following dependencies:

References

Summary

In this tutorial we learn how to install relacy-dev package on Kali Linux using different package management tools: apt, apt-get and aptitude.