# ABA-LLSC

**Repository Path**: HFlow/ABA-LLSC

## Basic Information

- **Project Name**: ABA-LLSC
- **Description**: Enhancing Atomic Instruction Emulation for Cross-ISA Dynamic Binary Translation
- **Primary Language**: Unknown
- **License**: MulanPSL-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2021-07-22
- **Last Updated**: 2022-04-25

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Workflow of QEMU-ABA

- **Note1:** This is the code and scripts for paper "Enhancing Atomic Instruction Emulation for Cross-ISA Dynamic Binary Translation" at CGO 2021.
- **Note2:** This repo is archived for Artifact Evaluation usage so you can not open an issue. Nevertheless, if you have any problem or suggestion, please feel free to contact us. Eg. troppingz at gmail dot com

## Setup environment
### Fetch code
fetch build and experiment scripts
```
git clone https://github.com/NKU-EmbeddedSystem/ABA-LLSC.git
cd ABA-LLSC
```
fetch source code
```
git clone https://github.com/NKU-EmbeddedSystem/QEMU-ABA.git
```
fetch corressness verification code
```
git clone https://github.com/NKU-EmbeddedSystem/lock-free-stack-arm-asm.git
```

### Hardware
HST-HTM and Pico-HTM need Hardware Transactions Memory(HTM) support like Intel TSX
### Run-time environment
Linux-5.4 Ubuntu20.04
### Install Dependencies
sudo bash installDep.sh

## Build
build HST, HST-weak, PST, PST-remap and Pico-CAS and Pico-ST
``` 
bash build.sh
```

if HTM supported, you can build Pico-HTM and HST-HTM
```
bash build-HTM.sh
```

## Run
Make sure parsec-3.0 installed and environment 

Make sure you have built the binaries. 
```
cd experiment
```

### Scalibility Evaluate

Profile HST, HST-weak, PST, Pico-CAS, and Pico-ST elapsed time. It may take loong time because PST and Pico-ST are too slow.
```
bash scalibility.sh
```
If you only want to profile just one solutions such as HST
```
bash run.sh HST
```

If HTM supported, you can also evaluate HST-HTM
```
bash scalibility-HTM.sh
```

When the scripts finish, use the following scripts to analyse the logs and generate the csvs of elapsed time. 

```
python3 elapsed-time.py
cat elapsed-time.csv
```
If HTM supported
```
python3 elapsed-time-HTM.py
cat elapsed-time-HTM.csv
```

### Correctness Evaluate
We use a lock free stack in arm to evaluate the correctness. 

```
bash correctness.sh
```
If HTM supported
```
bash correctness-HTM.sh
```

### Drawing Speedup figures

#### 1. Normalize data to speedup
We first use `speedup.py` under `experiment` folder to normalize data to single thread execution time of Pico-CAS.

```
cd experiment
python3 ./speedup.py
```

This generates `speedup.csv`.

#### 2. Drawing figure

We use `draw.py` to generate pdf file.
```
python3 ./draw.py
```

You should see a figure like this, called `speedup.pdf`:
![Speedup](speedup-sample.png)

## Troubleshooting

If you have any problem or suggestion, please feel free to contact us. Eg. troppingz at gmail dot com