From 2bfc3def27ab3c3c8820b6bd6457dc6541ddd145 Mon Sep 17 00:00:00 2001 From: Gavin Wood Date: Tue, 4 Jul 2023 16:41:59 +0200 Subject: [PATCH] Update RFC-0001-Agile Coretime.md Co-authored-by: asynchronous rob --- RFC-0001-Agile Coretime.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RFC-0001-Agile Coretime.md b/RFC-0001-Agile Coretime.md index 140defc..ff4ba1a 100644 --- a/RFC-0001-Agile Coretime.md +++ b/RFC-0001-Agile Coretime.md @@ -153,7 +153,7 @@ struct RegionRecord { } ``` -This map functions essentially as a linked list. With one region's `end` field functioning as the next region's key's `begin` field. It is keyyed by the sale index in order to allow the following sale period's Coretime to be manipulated during the `LEADIN_PERIOD` prior to it becoming allocatable. +This map functions essentially as a linked list. With one region's `end` field functioning as the next region's key's `begin` field. It is keyed by the sale index in order to allow the following sale period's Coretime to be manipulated during the `LEADIN_PERIOD` prior to it becoming allocatable. An additional storage map is maintained to keep the "heads" of this linked list. It is called `NextRegion` and it maps `CoreIndex` to `Timeslice`, to indicate the earliest stored region of the given core.