Caches
Problem: Processor-Memory Bottleneck Cache Structure Terminology Directly mapped cache: Cache with E=1 Every block from memory ...
Problem: Processor-Memory Bottleneck Cache Structure Terminology Directly mapped cache: Cache with E=1 Every block from memory ...
A simple MPI program: #include <mpi.h> int main(int argc, char **argv) { int myrank, sbuf=23, rbuf=32; MPI_Init(&argc, &argv); /* Find out my identity in the default ...
GPU Hardware Model GPUs devote more hardware to computations, not as general-purpose as a CPU Optimized for parallelism (low depth workloads) Used as an accelerator to a host system They a...
Higher voltage is needed to drive higher frequency (due to fixed capacitance). Higher voltage also increases static power dissipation (leakage). Low-Power Design Principles (2005) Even if each...
Assumption We can find the optimal sending rate over several RTTs. Doubt In the modern internet, we often send only small requests. Questi...
What’s wrong with TCP? Latency and performance are limited by design 2+ RTT from handshake to first data Head-of-line blocking limits parallel transmission common in modern Web...
TCP CUBIC: the “modern default” TCP The TCP you are familiar with is called TCP RENO, which updates its congestion window cwnd with an AIMD algorithm. Recall AI: additive increase ...
Now Network properties are successfully verified. But, are users reaching the correct website? Or… do they even reach the website? It’s likely due to a network attack that is causing failures! Ne...
Relationship inference Gao-Rexford model An abstract view of Internet routing, to formally define relationships and their export policies Patterns in paths ...
Why? While network verification helps ensuring reachability, it does not (always) guarantee it in practice. It does not always scale might not be able to verify large-scale networks It only...