我更新了Or-tools 版本为最新版报错System.AccessViolationException:“Attempted to read or write protected memory. This is often an indication that other memory is corrupt.”

[Zheyi-ng]

我更新了Or-tools 版本为最新版报错System.AccessViolationException:“Attempted to read or write protected memory. This is often an indication that other memory is corrupt.”

旧版本可以跑
最新版本在别人的电脑能跑

[Mizux]

please provide a minimal reproducible example

• which platform ? which arch ? which language ? which solver ? which version of ortools ?

next time please fill the issue template...

[Zheyi-ng]

Sorry. 我的C#语言。.net8.0 ,or-tools 版本9.8.3296 。代码如下

        public List<TaskScheduleResult> Solve()
        {
            InitTaskList();
            CpModel model = new CpModel();

            // 清理
            startVars.Clear();
            endVars.Clear();
            chosenVars.Clear();
            machineIntervals.Clear();
            moldIntervals.Clear();

            List<IntVar> jobEnds = new List<IntVar>();

            // 存储每道工序的变量，用于顺序约束
            foreach (var job in myJobList)
            {
                List<List<IntVar>> allOpEnds = new();
                List<List<BoolVar>> allOpChosen = new();

                for (int opIndex = 0; opIndex < job.Operations.Count; opIndex++)
                {
                    var operation = job.Operations[opIndex];
                    List<BoolVar> optionChosen = new();
                    List<IntVar> optionStarts = new();
                    List<IntVar> optionEnds = new();

                    foreach (var option in operation)
                    {
                        // 布尔变量：是否选择此选项
                        var chosen = model.NewBoolVar($"{option.Name}_chosen");
                        chosenVars[option.Name] = chosen;
                        optionChosen.Add(chosen);

                        // 时间变量
                        var start = model.NewIntVar(0, 10000, $"{option.Name}_start");
                        var end = model.NewIntVar(0, 10000, $"{option.Name}_end");
                        startVars[option.Name] = start;
                        endVars[option.Name] = end;

                        // 机器区间（可选）
                        var machineInterval = model.NewOptionalIntervalVar(
                            start, option.Duration, end, chosen, $"{option.Name}_machine");
                        if (!machineIntervals.ContainsKey(option.MachineId))
                            machineIntervals[option.MachineId] = new List<IntervalVar>();
                        machineIntervals[option.MachineId].Add(machineInterval);

                        // 👇 模具区间（可选）——与任务时间完全一致
                        if (!moldIntervals.ContainsKey(option.MoldType))
                            moldIntervals[option.MoldType] = new List<IntervalVar>();
                        var moldInterval = model.NewOptionalIntervalVar(
                            start, option.Duration, end, chosen, $"{option.Name}_mold_{option.MoldType}");
                        moldIntervals[option.MoldType].Add(moldInterval);

                        optionStarts.Add(start);
                        optionEnds.Add(end);
                    }

                    model.AddExactlyOne(optionChosen);

                    allOpEnds.Add(optionEnds);
                    allOpChosen.Add(optionChosen);

                    // 最后一道工序：用于 makespan
                    if (opIndex == job.Operations.Count - 1)
                    {
                        IntVar jobEnd = model.NewIntVar(0, 10000, "job_end");
                        model.AddMaxEquality(jobEnd, optionEnds.ToArray());
                        jobEnds.Add(jobEnd);
                    }

                    // 工序顺序约束
                    if (opIndex > 0)
                    {
                        var prevEnds = allOpEnds[opIndex - 1];
                        var prevChosen = allOpChosen[opIndex - 1];
                        var currStarts = optionStarts;
                        var currChosen = optionChosen;

                        for (int i = 0; i < prevEnds.Count; i++)
                        {
                            for (int j = 0; j < currStarts.Count; j++)
                            {
                                // ✅ 兼容所有 OR-Tools 版本
                                model.Add(prevEnds[i] <= currStarts[j])
                                     .OnlyEnforceIf(new BoolVar[] { prevChosen[i], currChosen[j] });
                            }
                        }
                    }
                }
            }

            // ===== 约束 1：机器互斥 =====
            foreach (var intervals in machineIntervals.Values)
            {
                model.AddNoOverlap(intervals);
            }


            // ===== 模具约束（仅支持 capacity = 1）=====
            foreach (var kvp in moldIntervals)
            {
                long moldType = kvp.Key;
                if (MoldInventory.TryGetValue(moldType, out int cap) && cap == 1)
                {
                    model.AddNoOverlap(kvp.Value.ToArray());
                }
                else if (cap > 1)
                {
                    Console.WriteLine($"⚠️ 模具 {moldType} 库存={cap} > 1，但当前版本不支持 AddCumulative，跳过约束！");
                    // 或抛出异常
                }
            }

            // ===== 目标：最小化 makespan =====
            IntVar makespan = model.NewIntVar(0, 100000, "makespan");
            model.AddMaxEquality(makespan, jobEnds.ToArray());
            model.Minimize(makespan);

            // ===== 求解 =====
            CpSolver solver = new CpSolver();
            var status = solver.Solve(model);

            if (status != CpSolverStatus.Optimal && status != CpSolverStatus.Feasible)
            {
                Console.WriteLine("❌ 无可行解");
                return new List<TaskScheduleResult>();
            }

            // ===== 提取结果 =====
            var results = new List<TaskScheduleResult>();
            foreach (var job in myJobList)
            {
                foreach (var operation in job.Operations)
                {
                    foreach (var option in operation)
                    {
                        if (solver.BooleanValue(chosenVars[option.Name]))
                        {
                            results.Add(new TaskScheduleResult
                            {
                                TaskName = option.Name,
                                MachineId = option.MachineId,
                                MoldType = option.MoldType,
                                Start = solver.Value(startVars[option.Name]),
                                End = solver.Value(endVars[option.Name])
                            });
                        }
                    }
                }
            }

            results = results.OrderBy(r => r.Start).ThenBy(r => r.MachineId).ToList();
            Console.WriteLine($"✅ Makespan: {solver.Value(makespan)}");
            return results;
        }

当我降or-tools升级到版本9.15.6755 时就会报错。
在这行报错： var status = solver.Solve(model);
Fatal error. System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt.
Repeat 2 times:

at Google.OrTools.Sat.operations_research_satPINVOKE.SolveWrapper_Solve(System.Runtime.InteropServices.HandleRef, Int32, Byte[])

at Google.OrTools.Sat.SolveWrapper.Solve(Google.OrTools.Sat.CpModelProto)
at Google.OrTools.Sat.CpSolver.Solve(Google.OrTools.Sat.CpModel, Google.OrTools.Sat.SolutionCallback)
at SolorTest.SolorPro.Solve()
at SolorTest.Program.Main(System.String[])