commit 4e6c9e3221f1cb1a4786be7381ac39621de8387f
parent 3cda9887e16e95f5463da609ad82e68e6147d072
Author: Alex Balgavy <alex@balgavy.eu>
Date: Mon, 20 Dec 2021 17:38:23 +0100
Update ACN notes
Diffstat:
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/content/acn-notes/data-center-transport.md b/content/acn-notes/data-center-transport.md
@@ -30,7 +30,7 @@ Explicit congestion notification
DCTCP main idea
- switch: marks with ECN after the threshold K
-- ECN receiver: marks ACKs with ECE (ECN echo) flag, until sener ACKs back using CWR (congestion window reduce) flag
+- ECN receiver: marks ACKs with ECE (ECN echo) flag, until sender ACKs back using CWR (congestion window reduce) flag
- DCTCP receiver: marks ACKs corresponding to ECN packet
- sender: estimate packets that are marked with ECN in a running window
diff --git a/content/acn-notes/network-automation.md b/content/acn-notes/network-automation.md
@@ -24,13 +24,13 @@ Main goals of Propane:
### Autocompleting partial network configurations
Problems:
-- produced configs may widely differ from human-generating ones, lowing confidence in them
+- produced configs may widely differ from human-generating ones, lowering confidence in them
- can produce widely different configurations given slightly different requirements
- can't flexibly adapt to operational requirements
Existing synthesizers don't provide operators with fine-grained control over synthesized configurations.
NetComplete: network operators can specify their intents through configuration sketches with "holes"
-- holes can identify specific attributes (e.g. IP adresses), link costs, BGP local preferences, or entire pieces of configuration
+- holes can identify specific attributes (e.g. IP addresses), link costs, BGP local preferences, or entire pieces of configuration
- encodes requirements as logical formula in SMT
- use solver (Z3) to find assignment that satisfies constraints
diff --git a/content/acn-notes/software-defined-networking/index.md b/content/acn-notes/software-defined-networking/index.md
@@ -4,7 +4,7 @@ title = 'Software defined networking'
## Software defined networking
Software defined network:
-- control plane physically separate form data plane
+- control plane physically separate from data plane
- single (logically centralized) control plane controls several forwarding devices
Abstractions in SDN:
