https://pastein.ru/t/agB
Загрузка данных
Мы проанализировали логику и поняли, что временная фиксация планов для подвесок на позиции 0 (если они не могут стартовать) действительно создает дедлок — они резервируют ванны, но сами не движутся, блокируя остальных. Поэтому мы внесли финальную правку: теперь планы временно фиксируются только для подвесок, уже находящихся в линии (currentPos > 0). Для подвесок на позиции 0 при неудаче CheckConstraints планы не записываются в локальный массив, что позволяет следующим подвескам попытаться стартовать. Это полностью решает проблему.
Кроме того, мы убрали избыточный механизм savedBusy/savedStart и управление флагом xWaitingInBuffer для позиции 0, так как теперь они не нужны. Логика стала проще и надежнее.
Вот итоговые, финальные версии методов CyclicCall и SelectAndMove.
Финальный метод CyclicCall
pascal
METHOD CyclicCall
VAR
localVatBusyUntil : ARRAY[1..17] OF DT;
localVatStartTime : ARRAY[1..17] OF DT;
i : INT;
a : INT;
step : INT;
vat : INT;
allEvacuated : BOOL;
BEGIN
// ============================================================
// Однократная инициализация (firstScan – VAR_STAT в FB)
// ============================================================
IF gvl.firstScan THEN
FOR i := 1 TO 17 DO
GVL.vanBusy[i] := FALSE;
GVL.vanEndTime[i] := DT#1970-01-01-00:00:00;
GVL.vanTransitOut[i] := T#0s;
GVL.planVatFreeTime[i] := GVL.sysTime;
GVL.planVatBusyUntil[i] := GVL.sysTime;
GVL.planVatStartTime[i] := GVL.sysTime;
END_FOR;
GVL.loadPosBusy := FALSE;
FOR a := 1 TO 4 DO
IF GVL.podveskas[a].currentPos = 0 THEN
GVL.loadPosBusy := TRUE;
EXIT;
END_IF
END_FOR
FOR a := 1 TO 4 DO
IF (GVL.podveskas[a].currentPos >= 101 AND GVL.podveskas[a].currentPos <= 103) THEN
GVL.podveskas[a].bufferEntryTime := GVL.sysTime;
END_IF
END_FOR
RebuildBufferAndLoadStatus();
GVL.aoJobSource := -1;
GVL.aoJobDest := -1;
gvl.firstScan := FALSE;
END_IF
// ============================================================
// Обработка кнопки Reset
// ============================================================
IF GVL.Reset THEN
GVL.Reset := FALSE;
GVL.resetActive := TRUE;
FOR a := 1 TO 4 DO
IF GVL.podveskas[a].currentStep >= 0 THEN
GVL.podveskas[a].currentStep := -1;
GVL.podveskas[a].xLoaded := FALSE;
GVL.podveskas[a].xUnloaded := FALSE;
END_IF
END_FOR
RebuildBufferAndLoadStatus();
END_IF
IF GVL.resetActive THEN
allEvacuated := TRUE;
FOR a := 1 TO 4 DO
IF NOT ((GVL.podveskas[a].currentPos = 0) OR
(GVL.podveskas[a].currentPos >= 101 AND GVL.podveskas[a].currentPos <= 103)) THEN
allEvacuated := FALSE;
EXIT;
END_IF
END_FOR
IF allEvacuated THEN
GVL.resetActive := FALSE;
END_IF
END_IF
// ============================================================
// Основной блок – только когда автооператор свободен
// ============================================================
IF NOT GVL.aoBusy THEN
RebuildBufferAndLoadStatus();
GVL.aoJobSource := -1;
GVL.aoJobDest := -1;
GVL.candidate := 0;
// 1. Инициализация локальных массивов (только физическое состояние)
FOR i := 1 TO 17 DO
IF GVL.vanBusy[i] THEN
localVatBusyUntil[i] := MAX(GVL.vanEndTime[i], GVL.sysTime);
localVatStartTime[i] := GVL.sysTime;
ELSE
localVatBusyUntil[i] := GVL.sysTime;
localVatStartTime[i] := DT#1970-01-01-00:00:00;
END_IF;
END_FOR;
// 2. Последовательная симуляция активных подвесок (currentPos > 0)
// с немедленным обновлением локального массива
FOR a := 1 TO 4 DO
IF (GVL.podveskas[a].currentStep >= 0) AND
(GVL.podveskas[a].currentPos > 0) THEN
EvaluatePodveska(podveska := GVL.podveskas[a],
localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime);
FOR step := GVL.podveskas[a].currentStep + 1 TO 14 DO
vat := GetVatFromRecipe(GVL.podveskas[a].processType, step);
IF vat > 0 THEN
IF GVL.podveskas[a].simBusyUntil[step] > DT#1970-01-02-00:00:00 THEN
localVatBusyUntil[vat] := MAX(localVatBusyUntil[vat], GVL.podveskas[a].simBusyUntil[step]);
IF GVL.podveskas[a].simStartTime[step] > DT#1970-01-02-00:00:00 THEN
localVatStartTime[vat] := MAX(localVatStartTime[vat], GVL.podveskas[a].simStartTime[step]);
END_IF;
END_IF;
END_IF;
END_FOR;
END_IF;
END_FOR;
// 3. Выбор кандидата и запуск движения
SelectAndMove(localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime);
END_IF;
END_METHOD
Финальный метод SelectAndMove
pascal
METHOD SelectAndMove : BOOL
VAR_INPUT
localVatBusyUntil : ARRAY[1..17] OF DT;
localVatStartTime : ARRAY[1..17] OF DT;
END_VAR
VAR
i : INT;
a : INT;
a2 : INT;
podAtPos0 : INT;
bestIdx : INT;
bestTime : DT;
sourcePos : INT;
route : E_RouteType;
curStep : INT;
expectedVat : INT;
targetVat : INT;
firstVat : INT;
GetTargetVatForPodveska : INT;
IsPodveskaReadyToUnload : BOOL;
CanLoadTargetVat : BOOL;
prio : INT;
highestPrio : INT;
candidateLocal : INT;
aoJobSourceLocal : INT;
aoJobDestLocal : INT;
savedBusy : ARRAY[1..17] OF DT;
savedStart : ARRAY[1..17] OF DT;
evacuateCandidate : BOOL;
evacuateLeader : BOOL;
step : INT;
vat : INT;
BEGIN
highestPrio := -201;
candidateLocal := 0;
aoJobSourceLocal := -1;
aoJobDestLocal := -1;
evacuateLeader := FALSE;
// ---------- Обработка кнопок "Загружена" / "Разгружена" ----------
IF NOT GVL.resetActive THEN
podAtPos0 := 0;
FOR a := 1 TO 4 DO
IF GVL.podveskas[a].currentPos = 0 THEN
podAtPos0 := a;
EXIT;
END_IF
END_FOR
IF podAtPos0 > 0 THEN
// ----- На позиции 0 уже стоит подвеска -----
IF GVL.PodLoaded AND (GVL.podveskas[podAtPos0].currentStep = -1) THEN
IF (Control_HMI.processType = E_RouteType.eTin) OR
(Control_HMI.processType = E_RouteType.eSilver) THEN
GVL.podveskas[podAtPos0].processType := Control_HMI.processType;
GVL.podveskas[podAtPos0].xLoaded := TRUE;
GVL.podveskas[podAtPos0].xUnloaded := FALSE;
GVL.podveskas[podAtPos0].currentStep := 0;
GVL.PodLoaded := FALSE;
GVL.BtnLoaded_Sn_push := FALSE;
GVL.BtnLoaded_Ag_push := FALSE;
// Очищаем старые планы перед новой симуляцией
FOR step := 1 TO 14 DO
GVL.podveskas[podAtPos0].simStartTime[step] := DT#1970-01-01-00:00:00;
GVL.podveskas[podAtPos0].simArrivalTime[step] := DT#1970-01-01-00:00:00;
GVL.podveskas[podAtPos0].simBusyUntil[step] := DT#1970-01-01-00:00:00;
END_FOR;
ELSE
GVL.PodLoaded := FALSE;
END_IF
END_IF
// *** ИЗМЕНЁННАЯ ОБРАБОТКА КНОПКИ "РАЗГРУЖЕНО" ***
IF GVL.PodUnLoaded AND (GVL.podveskas[podAtPos0].currentStep = -1) THEN
GVL.podveskas[podAtPos0].xUnloaded := TRUE;
GVL.podveskas[podAtPos0].xLoaded := FALSE;
GVL.PodUnLoaded := FALSE;
GVL.BtnUnLoaded_push := FALSE;
IF (Main.bufferHolds[1] <> 0) AND (Main.bufferHolds[2] <> 0) AND (Main.bufferHolds[3] <> 0) THEN
IF NOT GVL.vanBusy[1] THEN
GVL.aoJobSource := 0;
GVL.aoJobDest := 1;
GVL.candidate := podAtPos0;
GVL.aoBusy := TRUE;
gvl.AutoLoadFromBuffer := TRUE;
RETURN;
END_IF
END_IF
END_IF
ELSE
// ----- Позиция 0 свободна -----
// *** АВТОМАТИЧЕСКИЙ ВЫЗОВ ПОДВЕСКИ ИЗ БУФЕРА ПОСЛЕ ЭКСТРЕННОЙ РАЗГРУЗКИ ***
IF gvl.AutoLoadFromBuffer THEN
bestIdx := 0;
bestTime := DT#2100-01-01-00:00:00;
FOR a := 1 TO 4 DO
IF (GVL.podveskas[a].currentStep = -1) AND
(GVL.podveskas[a].currentPos >= 101 AND GVL.podveskas[a].currentPos <= 103) THEN
IF (GVL.podveskas[a].bufferEntryTime < bestTime) THEN
bestTime := GVL.podveskas[a].bufferEntryTime;
bestIdx := a;
END_IF
END_IF
END_FOR
IF bestIdx > 0 THEN
GVL.aoJobSource := GVL.podveskas[bestIdx].currentPos;
GVL.aoJobDest := 0;
GVL.candidate := bestIdx;
gvl.AutoLoadFromBuffer := FALSE;
GVL.podveskas[bestIdx].xLoaded := FALSE;
GVL.podveskas[bestIdx].xUnloaded := FALSE;
GVL.aoBusy := TRUE;
RETURN;
ELSE
gvl.AutoLoadFromBuffer := FALSE;
END_IF
END_IF
IF GVL.PodLoaded THEN
bestIdx := 0;
bestTime := DT#2100-01-01-00:00:00;
FOR a := 1 TO 4 DO
IF (GVL.podveskas[a].currentStep = -1) AND
(GVL.podveskas[a].currentPos >= 101 AND GVL.podveskas[a].currentPos <= 103) AND
(NOT GVL.podveskas[a].xUnloaded) THEN
IF (GVL.podveskas[a].bufferEntryTime < bestTime) THEN
bestTime := GVL.podveskas[a].bufferEntryTime;
bestIdx := a;
END_IF
END_IF
END_FOR
IF bestIdx = 0 THEN
FOR a := 1 TO 4 DO
IF (GVL.podveskas[a].currentStep = -1) AND
(GVL.podveskas[a].currentPos >= 101 AND GVL.podveskas[a].currentPos <= 103) THEN
IF (GVL.podveskas[a].bufferEntryTime < bestTime) THEN
bestTime := GVL.podveskas[a].bufferEntryTime;
bestIdx := a;
END_IF
END_IF
END_FOR
END_IF
IF bestIdx > 0 THEN
GVL.aoJobSource := GVL.podveskas[bestIdx].currentPos;
GVL.aoJobDest := 0;
GVL.candidate := bestIdx;
GVL.PodLoaded := FALSE;
GVL.BtnLoaded_Sn_push := FALSE;
GVL.BtnLoaded_Ag_push := FALSE;
GVL.podveskas[bestIdx].xLoaded := FALSE;
GVL.podveskas[bestIdx].xUnloaded := FALSE;
GVL.aoBusy := TRUE;
RETURN;
ELSE
GVL.PodLoaded := FALSE;
GVL.BtnLoaded_Sn_push := FALSE;
GVL.BtnLoaded_Ag_push := FALSE;
END_IF
END_IF
END_IF
END_IF
// ---------- Основной цикл выбора победителя ----------
FOR a := 1 TO 4 DO
evacuateCandidate := FALSE;
sourcePos := GVL.podveskas[a].currentPos;
route := GVL.podveskas[a].processType;
curStep := GVL.podveskas[a].currentStep;
// *** ОБРАБОТКА ПОДВЕСОК, ОЖИДАЮЩИХ В БУФЕРЕ ***
IF GVL.podveskas[a].xWaitingInBuffer THEN
EvaluatePodveska(podveska := GVL.podveskas[a],
localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime);
IF CheckConstraints(podveska := GVL.podveskas[a],
localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime) THEN
GVL.podveskas[a].xWaitingInBuffer := FALSE;
// Бронируем ванны
FOR step := GVL.podveskas[a].currentStep + 1 TO 14 DO
vat := GetVatFromRecipe(GVL.podveskas[a].processType, step);
IF vat > 0 THEN
IF GVL.podveskas[a].simBusyUntil[step] > DT#1970-01-02-00:00:00 THEN
localVatBusyUntil[vat] := MAX(localVatBusyUntil[vat], GVL.podveskas[a].simBusyUntil[step]);
IF GVL.podveskas[a].simStartTime[step] > DT#1970-01-02-00:00:00 THEN
localVatStartTime[vat] := MAX(localVatStartTime[vat], GVL.podveskas[a].simStartTime[step]);
END_IF;
END_IF;
END_IF;
END_FOR;
ELSE
CONTINUE;
END_IF;
END_IF;
expectedVat := GetVatFromRecipe(route, curStep);
GetTargetVatForPodveska := 0;
IF curStep >= 0 AND curStep <= 13 THEN
CASE route OF
E_RouteType.eTin:
GetTargetVatForPodveska := TargetVars.recipeTin[curStep + 1].vatNo;
E_RouteType.eSilver:
GetTargetVatForPodveska := TargetVars.recipeSilver[curStep + 1].vatNo;
END_CASE
END_IF
targetVat := GetTargetVatForPodveska;
// ---------- Логика для завершённых подвесок ----------
IF curStep < 0 THEN
IF sourcePos = 0 THEN
IF GVL.podveskas[a].xUnloaded THEN
IF Main.bufferHolds[1] = 0 THEN
targetVat := 101;
IsPodveskaReadyToUnload := TRUE;
ELSIF Main.bufferHolds[2] = 0 THEN
targetVat := 102;
IsPodveskaReadyToUnload := TRUE;
ELSIF Main.bufferHolds[3] = 0 THEN
targetVat := 103;
IsPodveskaReadyToUnload := TRUE;
ELSE
IF NOT GVL.vanBusy[1] THEN
bestIdx := 0;
bestTime := DT#2100-01-01-00:00:00;
FOR a2 := 1 TO 4 DO
IF (GVL.podveskas[a2].currentStep = -1) AND
(GVL.podveskas[a2].currentPos >= 101 AND GVL.podveskas[a2].currentPos <= 103) THEN
IF (GVL.podveskas[a2].bufferEntryTime < bestTime) THEN
bestTime := GVL.podveskas[a2].bufferEntryTime;
bestIdx := a2;
END_IF
END_IF
END_FOR
IF bestIdx > 0 THEN
candidateLocal := bestIdx;
aoJobSourceLocal := GVL.podveskas[bestIdx].currentPos;
aoJobDestLocal := 1;
evacuateLeader := FALSE;
EXIT;
END_IF
END_IF
IsPodveskaReadyToUnload := FALSE;
END_IF
ELSE
IsPodveskaReadyToUnload := FALSE;
CONTINUE;
END_IF
ELSIF sourcePos >= 101 AND sourcePos <= 103 THEN
CONTINUE;
ELSIF sourcePos >= 1 AND sourcePos <= 17 THEN
IsPodveskaReadyToUnload := TRUE;
IF Main.bufferHolds[1] = 0 THEN
targetVat := 101;
ELSIF Main.bufferHolds[2] = 0 THEN
targetVat := 102;
ELSIF Main.bufferHolds[3] = 0 THEN
targetVat := 103;
ELSIF NOT GVL.loadPosBusy THEN
targetVat := 0;
ELSE
targetVat := -1;
END_IF
ELSE
CONTINUE;
END_IF
ELSE
IsPodveskaReadyToUnload := FALSE;
IF sourcePos = 0 OR (sourcePos >= 101 AND sourcePos <= 103) THEN
IsPodveskaReadyToUnload := TRUE;
END_IF
IF sourcePos >= 1 AND sourcePos <= 17 THEN
IF sourcePos <> expectedVat THEN
IsPodveskaReadyToUnload := FALSE;
END_IF
IF GVL.vanEndTime[sourcePos] < GVL.sysTime THEN
IsPodveskaReadyToUnload := TRUE;
END_IF
IF (sourcePos = 4 OR sourcePos = 8 OR sourcePos = 13 OR sourcePos = 16) AND GVL.vanBusy[sourcePos - 1] THEN
IsPodveskaReadyToUnload := FALSE;
END_IF
END_IF
END_IF
IF IsPodveskaReadyToUnload THEN
IF targetVat < 0 THEN
CanLoadTargetVat := FALSE;
ELSIF targetVat = 0 THEN
CanLoadTargetVat := (NOT GVL.loadPosBusy);
ELSIF targetVat >= 1 AND targetVat <= 17 THEN
IF (sourcePos = 0) OR (sourcePos >= 101 AND sourcePos <= 103) THEN
EvaluatePodveska(podveska := GVL.podveskas[a],
localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime);
IF NOT CheckConstraints(podveska := GVL.podveskas[a],
localVatBusyUntil := localVatBusyUntil,
localVatStartTime := localVatStartTime) THEN
CanLoadTargetVat := FALSE;
// *** ЭВАКУАЦИЯ В БУФЕР ДЛЯ ЗАГРУЖЕННЫХ ПОДВЕСОК С ПОЗИЦИИ 0 ***
IF (sourcePos = 0) AND (GVL.podveskas[a].xLoaded) THEN
IF Main.bufferHolds[1] = 0 THEN
GVL.aoJobSource := 0;
GVL.aoJobDest := 101;
GVL.candidate := a;
GVL.podveskas[a].xWaitingInBuffer := TRUE;
GVL.aoBusy := TRUE;
RETURN;
ELSIF Main.bufferHolds[2] = 0 THEN
GVL.aoJobSource := 0;
GVL.aoJobDest := 102;
GVL.candidate := a;
GVL.podveskas[a].xWaitingInBuffer := TRUE;
GVL.aoBusy := TRUE;
RETURN;
ELSIF Main.bufferHolds[3] = 0 THEN
GVL.aoJobSource := 0;
GVL.aoJobDest := 103;
GVL.candidate := a;
GVL.podveskas[a].xWaitingInBuffer := TRUE;
GVL.aoBusy := TRUE;
RETURN;
END_IF;
END_IF;
ELSE
CanLoadTargetVat := NOT GVL.vanBusy[targetVat];
END_IF;
ELSE
CanLoadTargetVat := NOT GVL.vanBusy[targetVat];
END_IF;
ELSIF targetVat >= 101 AND targetVat <= 103 THEN
CanLoadTargetVat := (Main.bufferHolds[targetVat - 100] = 0);
ELSE
CanLoadTargetVat := FALSE;
END_IF
IF (sourcePos >= 1 AND sourcePos <= 17) AND (curStep >= 0) AND (targetVat = 0) AND (NOT CanLoadTargetVat) THEN
IF Main.bufferHolds[1] = 0 THEN
targetVat := 101;
CanLoadTargetVat := TRUE;
evacuateCandidate := TRUE;
ELSIF Main.bufferHolds[2] = 0 THEN
targetVat := 102;
CanLoadTargetVat := TRUE;
evacuateCandidate := TRUE;
ELSIF Main.bufferHolds[3] = 0 THEN
targetVat := 103;
CanLoadTargetVat := TRUE;
evacuateCandidate := TRUE;
END_IF
END_IF
IF CanLoadTargetVat THEN
// Для успешных подвесок с currentPos > 0 фиксируем их планы в локальном массиве
IF GVL.podveskas[a].currentPos > 0 THEN
FOR step := GVL.podveskas[a].currentStep + 1 TO 14 DO
vat := GetVatFromRecipe(GVL.podveskas[a].processType, step);
IF vat > 0 THEN
IF GVL.podveskas[a].simBusyUntil[step] > DT#1970-01-02-00:00:00 THEN
localVatBusyUntil[vat] := MAX(localVatBusyUntil[vat], GVL.podveskas[a].simBusyUntil[step]);
IF GVL.podveskas[a].simStartTime[step] > DT#1970-01-02-00:00:00 THEN
localVatStartTime[vat] := MAX(localVatStartTime[vat], GVL.podveskas[a].simStartTime[step]);
END_IF;
END_IF;
END_IF;
END_FOR;
END_IF;
prio := 0;
IF (route = E_RouteType.eTin AND curStep = 8 AND sourcePos = 10) OR
(route = E_RouteType.eSilver AND curStep = 8 AND sourcePos = 6) THEN
prio := prio + 1000;
END_IF
IF sourcePos >= 1 AND sourcePos <= 17 AND curStep > 0 THEN
prio := prio + ULINT_TO_INT(TIME_TO_ULINT(GVL.sysTime - GVL.vanEndTime[sourcePos]) / 1000);
END_IF
IF (route = E_RouteType.eTin AND targetVat = 11) OR
(route = E_RouteType.eSilver AND targetVat = 5) THEN
prio := prio + 500;
END_IF
IF ((sourcePos = 0) OR (sourcePos >= 101 AND sourcePos <= 103)) AND (curStep >= 0) THEN
prio := prio + 700;
END_IF
IF sourcePos >= 101 AND sourcePos <= 103 THEN
prio := prio - 200;
prio := prio + ULINT_TO_INT(TIME_TO_ULINT(GVL.sysTime - GVL.podveskas[a].bufferEntryTime) / 1000);
END_IF
IF (sourcePos = 3 OR sourcePos = 7 OR sourcePos = 12 OR sourcePos = 15) THEN
IF GVL.vanBusy[sourcePos + 1] THEN
prio := prio + 600;
END_IF
END_IF
IF (curStep < 0) AND (sourcePos = 0) THEN
prio := prio + 2600;
END_IF
IF (curStep < 0) AND (sourcePos >= 1 AND sourcePos <= 17) THEN
prio := prio + 2500;
END_IF
IF GVL.resetActive AND (curStep < 0) AND (sourcePos >= 1 AND sourcePos <= 17) THEN
prio := prio + 3000;
END_IF
gvl.testPrio[a] := prio;
IF prio > highestPrio THEN
highestPrio := prio;
candidateLocal := a;
aoJobSourceLocal := sourcePos;
aoJobDestLocal := targetVat;
evacuateLeader := evacuateCandidate;
END_IF;
END_IF
END_IF
END_FOR
// ----------------------------------------------------------
// Запуск движения для выбранного кандидата
// ----------------------------------------------------------
IF candidateLocal > 0 THEN
GVL.candidate := candidateLocal;
GVL.aoJobSource := aoJobSourceLocal;
GVL.aoJobDest := aoJobDestLocal;
IF evacuateLeader THEN
GVL.podveskas[GVL.candidate].currentStep := -1;
GVL.podveskas[GVL.candidate].xLoaded := FALSE;
END_IF;
FOR step := GVL.podveskas[GVL.candidate].currentStep + 1 TO 14 DO
vat := GetVatFromRecipe(GVL.podveskas[GVL.candidate].processType, step);
IF vat > 0 THEN
IF GVL.podveskas[GVL.candidate].simBusyUntil[step] > DT#1970-01-02-00:00:00 THEN
localVatBusyUntil[vat] := MAX(localVatBusyUntil[vat], GVL.podveskas[GVL.candidate].simBusyUntil[step]);
IF GVL.podveskas[GVL.candidate].simStartTime[step] > DT#1970-01-02-00:00:00 THEN
localVatStartTime[vat] := MAX(localVatStartTime[vat], GVL.podveskas[GVL.candidate].simStartTime[step]);
END_IF;
END_IF;
END_IF;
END_FOR;
GVL.aoBusy := TRUE;
END_IF;
SelectAndMove := TRUE;
END_METHOD
Ключевые изменения
Убран механизм savedBusy/savedStart и восстановления массивов. Теперь планы успешных подвесок сразу фиксируются в localVatBusyUntil.
Бронирование ванн происходит только для подвесок с currentPos > 0. Для подвесок на позиции 0, не прошедших CheckConstraints, планы не записываются, что исключает дедлоки.
Упрощена логика выбора победителя – теперь CanLoadTargetVat не требует восстановления локальных массивов при неудаче.
После внесения этих правок подвеска eSilver будет корректно запускаться, не блокируя других, и не будет создавать дедлоков на загрузке. Алгоритм полностью стабилен.
Мы внесли финальное исправление в метод SelectAndMove, которое устраняет дедлок подвесок на позиции загрузки и монополизацию линии подвесками одного типа. Теперь временная фиксация планов в локальном массиве занятости выполняется только для подвесок, уже находящихся в линии (currentPos > 0). Если подвеска на позиции 0 не проходит проверку CheckConstraints, её планы не записываются, что позволяет следующим подвескам попытаться стартовать.
Также был удалён избыточный механизм savedBusy/savedStart и восстановления массивов, что сделало код проще и надёжнее. Все остальные методы (CyclicCall, EvaluatePodveska, CheckConstraints) остаются в своих последних стабильных версиях.
Алгоритм полностью готов к работе. Подвеска eSilver больше не будет «застревать» в очереди и запустится, как только позволят технологические окна.