UW-Madison Logo

The ADvanced Systems Laboratory (ADSL)
Software

Thread Architecture Model and Analysis

This page describes tools that extract thread architecture model and perform schedulability analysis.

For more information about the thread architecture model (TAM) and how to perform schedulability analysis using TAM, refer to our OSDI'18 paper: Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models

TADalyzer

TADalyzer is a tool that automatically extracts TAM from existing systems such as HBase, Cassandra or MongoDB.

Github Repo

TAM Simulation Framework

TAM simulation framework is a framework that allows you to simulate different systems based on their TAMs and understand how scheduling works in these systems.

Github Repo

Contact

Please contact suli@cs.wisc.edu for any questions/suggestions.