LINE Solver
MATLAB API documentation
Loading...
Searching...
No Matches
infer_mlps.m
1function demandEst = infer_mlps(model, node, rt, class, ql)
2% INFER_MLPS MLPS demand estimation using sn struct-level operations.
3%
4% Estimates service demands at a PS queue using the Maximum Likelihood
5% for Processor Sharing method. Pre-builds augmented CTMC models for
6% each unique (tagClass, aQueue) combination once, then uses
7% sn_set_service + solver_ctmc directly inside the optimization loop.
8%
9% Inputs:
10% model - LINE Network model with delay rates set and queue rates to estimate
11% node - PS queue node (Station object)
12% rt - response time samples (column vector, n x 1)
13% class - class of each sample (column vector, n x 1)
14% ql - queue lengths at arrival (n x R matrix, per-class)
15%
16% Returns:
17% demandEst - 1 x R vector of estimated mean service demands
18%
19% Copyright (c) 2012-2026, Imperial College London
20% All rights reserved.
21% This code is released under the 3-Clause BSD License.
22
23sn = model.getStruct();
24R = sn.nclasses;
25nCores = node.getNumberOfServers();
26
27% Get delay rates from model
28delayIdx = 0;
29for i = 1:sn.nstations
30 if sn.sched(i) == SchedStrategy.INF
31 delayIdx = i;
32 break;
33 end
34end
35muZ = zeros(1, R);
36for k = 1:R
37 muZ(k) = sn.mu{delayIdx}{k}(1);
38end
39
40% Initial point estimate
41meanQL = mean(sum(ql, 2));
42Vtilde = min(meanQL, nCores);
43x0 = zeros(1, R);
44for j = 1:R
45 if ~isempty(rt(class == j))
46 x0(j) = Vtilde * mean(rt(class == j)) / meanQL;
47 else
48 x0(j) = 1e-3;
49 end
50end
51
52xLB = zeros(1, R);
53xUB = max(rt) * ones(1, R);
54
55newR = R + 1;
56augMuZ = [muZ, 0]; % placeholder for tagged class rate
57
58% see _kb/03-api-layer.md for rationale
59uniqueTC = unique(class);
60uniqueQL = unique(ql, 'rows');
61ctmcOpts = []; % will be set from first solver instance
62
63% Cached augmented models stored as parallel arrays keyed by state string:
64% prebuiltKeys{i} is the key, prebuiltVals{i} the corresponding struct.
65prebuiltKeys = {};
66prebuiltVals = {};
67for u = 1:length(uniqueTC)
68 tc = uniqueTC(u);
69 augMuZ(newR) = muZ(tc);
70 for v = 1:size(uniqueQL, 1)
71 aq = uniqueQL(v, :);
72
73 % Population: move 1 job from tagClass to tagged class
74 N = aq; N(tc) = N(tc) - 1; N(newR) = 1;
75
76 % Build augmented Network model (once per combo)
77 augModel = Network('mlps_aug');
78 augNode = cell(1, 2);
79 augNode{1} = Delay(augModel, 'Think');
80 augNode{2} = Queue(augModel, 'Queue1', SchedStrategy.PS);
81 augNode{2}.setNumberOfServers(nCores);
82 for r = 1:newR
83 augClass = ClosedClass(augModel, sprintf('Class%d', r), N(r), augNode{1}, 0);
84 augNode{1}.setService(augClass, Exp(augMuZ(r)));
85 augNode{2}.setService(augClass, Exp(1)); % placeholder
86 end
87 P = augModel.initRoutingMatrix;
88 for r = 1:newR
89 P{r} = Network.serialRouting(augNode);
90 end
91 augModel.link(P);
92
93 % Use SolverCTMC to get proper options and run initial solve
94 solver = SolverCTMC(augModel);
95 if isempty(ctmcOpts)
96 ctmcOpts = solver.getOptions();
97 end
98 [infGen, eventFilt, ev] = solver.getGenerator();
99 stateSpaceAggr = solver.getStateSpaceAggr();
100 augSn = augModel.getStruct();
101
102 % Find tagged departure event indices (invariant across rate changes)
103 queueNodeIdx = augNode{2}.index;
104 taggedDepIdx = [];
105 for e = 1:length(ev)
106 if ev{e}.active{1}.node == queueNodeIdx && ...
107 ev{e}.active{1}.class == newR && ...
108 ev{e}.active{1}.event == EventType.DEP
109 taggedDepIdx(end+1) = e;
110 end
111 end
112
113 % Find subset where tagged job is at Queue (invariant)
114 queueStIdx = augNode{2}.stationIndex;
115 taggedColAtQueue = (queueStIdx - 1) * newR + newR;
116 subset = find(stateSpaceAggr(:, taggedColAtQueue) == 1);
117
118 % Extract queue state space for subset (invariant)
119 queueCols = (queueStIdx - 1) * newR + (1:newR);
120 SSqueue = stateSpaceAggr(subset, queueCols);
121
122 cacheKey = mat2str([tc, aq]);
123 prebuiltKeys{end+1} = cacheKey; %#ok<AGROW>
124 prebuiltVals{end+1} = struct(...
125 'sn', augSn, ...
126 'queueStIdx', queueStIdx, ...
127 'taggedDepIdx', taggedDepIdx, ...
128 'subset', subset, ...
129 'SSqueue', SSqueue, ...
130 'N', N, ...
131 'tagClass', tc); %#ok<AGROW>
132 end
133end
134
135%% Optimization options
136options = optimset();
137options.Display = 'iter';
138options.LargeScale = 'on';
139options.MaxIter = 1e10;
140options.MaxFunEvals = 1e10;
141options.MaxSQPIter = 5000;
142options.TolCon = 1e-6;
143options.Algorithm = 'interior-point';
144
145[demandEst, ~] = fmincon(@objfun, x0, [], [], [], [], xLB, xUB, [], options);
146
147 function f = objfun(x)
148 TOL = 1e-6;
149 rates = 1 ./ x; % x = mean demands
150
151 % Build cache: update rates via sn_set_service, call solver_ctmc.
152 % Stored as parallel arrays keyed by state string.
153 cacheKeys = {};
154 cacheVals = {};
155
156 for kk = 1:length(prebuiltKeys)
157 key = prebuiltKeys{kk};
158 pb = prebuiltVals{kk};
159
160 % Set augmented rates: base classes + tagged class
161 augRates = [rates, rates(pb.tagClass)];
162
163 % Update service rates in cached sn struct (cell-of-cells format)
164 sn_upd = pb.sn;
165 for cc = 1:newR
166 sn_upd = sn_set_service_coc(sn_upd, pb.queueStIdx, cc, augRates(cc));
167 end
168
169 % Run solver_ctmc with updated rates (reuses sn topology/state structure)
170 [infGen, ~, ~, Dfilt] = solver_ctmc(sn_upd, ctmcOpts);
171
172 % Build D1 from cached departure event indices
173 D1 = sparse(size(infGen, 1), size(infGen, 2));
174 for di = 1:length(pb.taggedDepIdx)
175 D1 = D1 + Dfilt{pb.taggedDepIdx(di)};
176 end
177
178 % Extract sub-generator using cached subset
179 MAPQ1 = infGen - D1;
180 A = full(MAPQ1(pb.subset, pb.subset));
181
182 cacheKeys{end+1} = key; %#ok<AGROW>
183 cacheVals{end+1} = struct('A', A, 'SSqueue', pb.SSqueue, 'N', pb.N); %#ok<AGROW>
184 end
185
186 % Compute likelihoods using cached CTMCs
187 ftemp = zeros(size(rt));
188 for r = 1:length(rt)
189 cacheKey = mat2str([class(r), ql(r, :)]);
190 cached = cacheVals{find(strcmp(cacheKeys, cacheKey), 1)};
191 ftemp(r) = log(TOL + eval_mlps_likelihood(cached.A, cached.SSqueue, cached.N, rt(r)));
192 end
193 f = -sum(ftemp);
194 end
195
196end
197
198
199function LIKE = eval_mlps_likelihood(A, SSqueue, N, Rsam)
200% Compute MLPS likelihood from pre-built CTMC components.
201
202pie = zeros(1, length(A));
203idx = matchrow(SSqueue, N);
204if ~isempty(idx) && idx > 0
205 pie(idx) = 1;
206end
207
208MAP = {A, -A * ones(size(pie))' * pie};
209LIKE = map_pdf(MAP, Rsam);
210
211end