SysArch forSE

Pipeline

ABIs

Locking Constructs

Coherence

Consistency

Complexity Analysis

Cache

ISA