LINE Solver
MATLAB API documentation
Loading...
Searching...
No Matches
cache_retrieval_inputs.m
1%{ @file cache_retrieval_inputs.m
2 % @brief Extract delayed-hit retrieval algorithm inputs from a NetworkStruct
3 %
4 % @author LINE Development Team
5%}
6
7%{
8 % @brief Builds the inputs of the retrieval (delayed-hit) analytic algorithms from a model
9 %
10 % @details
11 % Given the NetworkStruct of a cache equipped with a retrieval system
12 % (Cache.setRetrievalSystem), reconstructs the inputs required by the
13 % retrieval_* algorithms (retrieval_nc, retrieval_metrics, retrieval_fpi,
14 % retrieval_fpi_latency):
15 %
16 % m cache list capacities (1 x h)
17 % lambda per-item arrival rates (1 x n) = sourceRate * pread
18 % gamma access factors gamma_{i,j} (n x h) via cache_gamma_lp
19 % eta fetching demands eta_{s,i} (n x (r+1)) col 1 = IS, cols 2.. = PS
20 % alpha cell(1,S); alpha{s}(1,:,i) PH entry vector of item i at station s
21 % T cell(1,S); T{s}(:,:,i) PH subgenerator of item i at station s
22 % R (S+1) x (S+1) x n routing matrices (index 1 = cache/outside,
23 % 2..S+1 = retrieval stations), R(a,b,i) probability a->b for item i
24 % station_type (1 x S) string per retrieval station, one of "IS", "PS",
25 % "SIRO", "FCFS", "LCFSPR" (mapped from sn.sched)
26 %
27 % The retrieval system is single-class (IRM): exactly one read class may route
28 % into the retrieval system. Supported retrieval scheduling policies are IS,
29 % PS, SIRO, FCFS and LCFSPR. IS is independent; PS, SIRO, FCFS and LCFSPR use
30 % the mean-field sharing slowdown. PS and LCFSPR (symmetric/insensitive BCMP
31 % disciplines) admit general phase-type service and class-dependent rates;
32 % SIRO and FCFS require exponential service with identical per-class rates.
33 % Any other scheduling policy raises an error, matching retrieval_fpi_latency.
34 %
35 % @par Syntax:
36 % @code
37 % [m,lambda,gamma,eta,alpha,T,R,station_type] = cache_retrieval_inputs(sn)
38 % @endcode
39%}
40function [m,lambda,gamma,eta,alpha,T,R,station_type] = cache_retrieval_inputs(sn, lambdaOverride)
41% [...] = CACHE_RETRIEVAL_INPUTS(SN) builds the retrieval-algorithm inputs from
42% an OPEN cache model (per-item rate lambda = sourceRate * pread).
43%
44% [...] = CACHE_RETRIEVAL_INPUTS(SN, LAMBDAOVERRIDE) uses the supplied read-class
45% arrival rate LAMBDAOVERRIDE (a scalar rate for the single read class) instead of
46% the Source throughput, so the same inputs can be built for a CLOSED integrated
47% cache-queueing sublayer where the read rate comes from the network solution
48% (da_cacheqn_retrieval). All other inputs (gamma, eta, alpha, T, R) are unchanged.
49
50if nargin < 2
51 lambdaOverride = [];
52end
53
54ci = find(sn.nodetype == NodeType.Cache);
55if numel(ci) ~= 1
56 line_error(mfilename, 'Retrieval analysis requires exactly one Cache node.');
57end
58ch = sn.nodeparam{ci};
59if ~isfield(ch, 'retrievalSystemCapacity') || ch.retrievalSystemCapacity <= 0
60 line_error(mfilename, 'The Cache node has no retrieval system (call setRetrievalSystem).');
61end
62
63m = ch.itemcap(:).';
64n = ch.nitems;
65h = numel(m);
66K = sn.nclasses;
67
68% --- read class (single-class IRM) ---
69rk = keys(ch.retrievalSystemQueueIndices);
70if numel(rk) ~= 1
71 line_error(mfilename, 'Retrieval analysis supports a single read class.');
72end
73jobinClass = double(rk{1}) + 1; % stored 0-indexed
74queueNodes = ch.retrievalSystemQueueIndices(rk{1});
75queueNodes = double(queueNodes(:).');
76S = numel(queueNodes);
77if S == 0
78 line_error(mfilename, 'The retrieval system has no stations.');
79end
80
81% --- per-item arrival rates lambda(i) = readRate * pread(i) ---
82% readRate is the Source throughput for an open model, or the caller-supplied
83% closed read-class arrival rate (from the network solution) when overridden.
84pread = ch.pread{jobinClass};
85if ~isempty(lambdaOverride)
86 readRate = lambdaOverride;
87else
88 source_ist = sn.nodeToStation(sn.nodetype == NodeType.Source);
89 if isempty(source_ist)
90 line_error(mfilename, ['Retrieval analysis of a closed model requires an explicit read ' ...
91 'rate (call cache_retrieval_inputs(sn, lambdaOverride)); no Source node found.']);
92 end
93 readRate = sn.rates(source_ist, jobinClass);
94end
95if isnan(readRate), readRate = 0; end
96lambda = readRate * pread(:).'; % 1 x n
97
98% --- gamma via the existing plain-cache utility (n x h) ---
99lambda3d = zeros(1, n, h);
100for k = 1:n
101 for l = 1:(h+1)
102 lambda3d(1, k, l) = lambda(k);
103 end
104end
105Rcost = ch.accost;
106if isempty(Rcost)
107 % Default linear cache routing: item flows from list l to list l+1.
108 Rcost = cell(1, n);
109 for k = 1:n
110 Rmat = diag(ones(1, h), 1);
111 Rmat(h+1, h+1) = 1;
112 Rcost{1, k} = Rmat;
113 end
114end
115gamma = cache_gamma_lp(lambda3d, Rcost); % n x h
116
117% --- station types (IS / PS / SIRO / FCFS) ---
118% see _kb/09-ldes-and-cache.md (delayed-hit latency: station-type equivalences)
119station_type = strings(1, S);
120for s = 1:S
121 sst = sn.nodeToStation(queueNodes(s));
122 if sn.sched(sst) == SchedStrategy.INF
123 station_type(s) = "IS";
124 elseif sn.sched(sst) == SchedStrategy.PS
125 station_type(s) = "PS";
126 elseif sn.sched(sst) == SchedStrategy.SIRO
127 station_type(s) = "SIRO";
128 elseif sn.sched(sst) == SchedStrategy.FCFS
129 station_type(s) = "FCFS";
130 elseif sn.sched(sst) == SchedStrategy.LCFSPR
131 station_type(s) = "LCFSPR";
132 else
133 line_error(mfilename, ['Retrieval analysis supports only IS, PS, SIRO, FCFS and LCFSPR ' ...
134 'retrieval stations; station %d uses an unsupported scheduling policy.'], queueNodes(s));
135 end
136end
137
138% --- per-item PH service (alpha,T) per station, routing R ---
139alpha = cell(1, S);
140T = cell(1, S);
141fsz = zeros(1, S);
142for s = 1:S
143 sst = sn.nodeToStation(queueNodes(s));
144 rcls0 = ch.retrievalClasses(1, jobinClass);
145 fsz(s) = size(sn.proc{sst}{rcls0}{1}, 1);
146 if (station_type(s) == "SIRO" || station_type(s) == "FCFS") && fsz(s) > 1
147 line_error(mfilename, ['Retrieval analysis supports SIRO/FCFS retrieval stations only with ' ...
148 'exponential (single-phase) service; station %d has phase-type service.'], queueNodes(s));
149 end
150 alpha{s} = zeros(1, fsz(s), n);
151 T{s} = zeros(fsz(s), fsz(s), n);
152end
153R = zeros(S+1, S+1, n);
154lin = @(node, cls) (node-1)*K + cls; % rtnodes flat index
155for i = 1:n
156 rcls = ch.retrievalClasses(i, jobinClass);
157 for s = 1:S
158 sst = sn.nodeToStation(queueNodes(s));
159 alpha{s}(1, :, i) = sn.pie{sst}{rcls}(:).';
160 T{s}(:, :, i) = sn.proc{sst}{rcls}{1};
161 end
162 % routing: index 1 = cache (outside), 2..S+1 = retrieval stations
163 for s = 1:S
164 R(1, s+1, i) = sn.rtnodes(lin(ci, rcls), lin(queueNodes(s), rcls)); % cache -> queue s
165 R(s+1, 1, i) = sn.rtnodes(lin(queueNodes(s), rcls), lin(ci, rcls)); % queue s -> cache
166 for sp = 1:S
167 R(s+1, sp+1, i) = sn.rtnodes(lin(queueNodes(s), rcls), lin(queueNodes(sp), rcls));
168 end
169 end
170end
171
172% --- eta(i,1) = sum of IS visits*mean; eta(i,1+p) = PS station p ---
173% SIRO and FCFS reduce to PS only with class-independent service rates; LCFSPR
174% is insensitive and exempt.
175for s = find(station_type == "FCFS" | station_type == "SIRO")
176 taus = zeros(1, n);
177 for i = 1:n
178 taus(i) = -alpha{s}(:, :, i) / T{s}(:, :, i) * ones(fsz(s), 1);
179 end
180 if max(taus) - min(taus) > 1e-9 * max(taus)
181 line_error(mfilename, ['Retrieval analysis requires class-independent (identical) mean ' ...
182 'service rates at SIRO/FCFS station %d.'], queueNodes(s));
183 end
184end
185
186isIdx = find(station_type == "IS");
187psIdx = find(station_type == "PS" | station_type == "SIRO" | station_type == "FCFS" | station_type == "LCFSPR"); % SIRO/FCFS/LCFSPR as PS
188r = numel(psIdx);
189eta = zeros(n, r+1);
190for i = 1:n
191 Ri = R(:, :, i);
192 a = Ri(1, 2:S+1); % outside -> station entry probs
193 Pmat = Ri(2:S+1, 2:S+1); % station -> station
194 visits = a / (eye(S) - Pmat); % expected visits per fetch
195 tau = zeros(1, S);
196 for s = 1:S
197 tau(s) = -alpha{s}(:, :, i) / T{s}(:, :, i) * ones(fsz(s), 1);
198 end
199 eta_s = visits .* tau;
200 eta(i, 1) = sum(eta_s(isIdx));
201 for p = 1:r
202 eta(i, 1+p) = eta_s(psIdx(p));
203 end
204end
205end