Unduh SCAF - Unduh Kode Sumber SCAF

SCAF

Kategori lainnya

1.0.0

Unduh

SCAF: Kerangka Analisis Ketergantungan Kolaboratif Spekulasi

SCAF adalah kerangka analisis ketergantungan inovatif yang menggabungkan dalam analisis memori mode modular dan (opsional) pernyataan spekulatif.

Melihat

Implementasi lengkap SCAF belum terintegrasi dalam repositori ini. Semua modul analisis memori yang tersedia secara rendah disertakan, tetapi modul spekulasi bersama dengan beberapa komponen lainnya (misalnya, profiler) saat ini menjadi bagian dari repositori lain (https://github.com/princetonuniversity/cpf).

Publikasi

Kebaruan, desain, implementasi, dan evaluasi karya ini dijelaskan dalam makalah PLDI '20 oleh Apostolakis et al. Berjudul "SCAF: Kerangka Analisis Ketergantungan Spekulasi-Sehat" (ACM DL, PDF, Talk, Abstrak).

Untuk mereproduksi hasil evaluasi yang disajikan dalam makalah PLDI 2020, silakan merujuk pada artefak kertas:

Karya ini dibangun di atas CAF (CGO '17 oleh Johnson et al., ACM DL).

Jika Anda menggunakan SCAF dalam publikasi, kami akan menghargai kutipan untuk kertas PLDI '20:

 @inproceedings{apostolakis:2020:pldi,
author = {Apostolakis, Sotiris and Xu, Ziyang and Tan, Zujun and Chan, Greg and Campanoni, Simone and August, David I.},
title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework},
year = {2020},
isbn = {9781450376136},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3385412.3386028},
doi = {10.1145/3385412.3386028},
booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {638–654},
numpages = {17},
keywords = {collaboration, dependence analysis, speculation},
location = {London, UK},
series = {PLDI 2020}
}

Skema penomoran versi

Nomor versi dalam bentuk [v mayor.minor.revision ]

Jurusan : Setiap versi utama cocok dengan versi LLVM tertentu (misalnya, versi 9 cocok dengan LLVM 9, versi 11 cocok dengan LLVM 11)
Kecil : Dimulai dari 0, setiap versi minor mewakili satu atau lebih penggantian API/pemindahan yang mungkin memengaruhi pengguna atau pembaruan paksa setiap enam bulan (frekuensi pembaruan kecil minimum)
Revisi : dimulai dari 0; Setiap versi revisi mungkin termasuk perbaikan bug atau peningkatan tambahan

Perbarui frekuensi

Mayor : Pencocokan rilis LLVM berdasarkan upaya terbaik
Kecil : Setidaknya sekali per enam bulan, paling banyak sekali per bulan (1/bulan ~ 2/tahun)
Revisi : Setidaknya sebulan sekali, paling banyak dua kali per minggu (2/minggu ~ 1/bulan)