Linked Presentation: Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models