UW-Madison Logo

The ADvanced Systems Laboratory (ADSL)

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 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


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