#旧iPad台前调度是被软件锁住了# 9to5Mac 称在 iPadOS 16 的代码中发现了一个能让老款（非 M1 芯片）iPad 打开「台前调度」功能的内部测试选项。这与此前苹果软件工程负责人 Craig Federighi 接受采访时的说法能对应的上，他说苹果在决定「台前调度」功能需要用到 M1 芯片之前，有在更多 iPad 型号上进行测试，但体验效果确实不太理想，所以才确定要用到 M1 芯片。

老用户无缘「台前调度」和「外接显示屏」两个功能，确实有点伤心。[苦涩]

我们一篇关于布尔满足性采样（SAT Sampling）算法的论文被软件工程顶级会议FSE 2022录用了，提出基于DPLL框架的SAT采样方法，在测试生成上获得几十甚至上百倍加速。祝贺罗川师弟!@Lightning_CL 见证了罗川从SAT->软工->SAT与软工交叉的研究历程。

文章简介: 文章提出基于DPLL框架的SAT采样算法，应用于软件工程领域的测试用例集生成问题。相较于已有的测试用例集生成方法，在保证不损失覆盖率的情况下，该方法可以为关键软件生成规模显著更小的测试用例集，同时生成速度比已有方法快几十甚至上百倍！这是又一篇见证约束求解power的文章。

SAT采样算法旨在生成具有高多样性的解集。在实际应用中，高多样性至关重要；例如，在软件测试领域，采用高多样性的测试用例集可以显著降低关键软件的测试开销。本文提出了基于DPLL框架的采样方法，根据当前解集的状态，自动调整DPLL算法的搜索顺序以生成与当前解集不同的解，进而保障解集的高多样性。

论文的最终版会在完成之后发布，敬请各位专家批评指正~ #求解器# #星光中心科普导师#

【非M1 iPad无法使用台前调度？苹果高管是这样解释的】

自WWDC22后，iPadOS 16上的台前调度功能（Stage Manager）受到用户的广泛关注，不过该功能目前仅限于配备M1芯片的iPad。

苹果软件工程主管Craig Federighi在采访中表示，苹果在其他芯片的iPad上曾对这一功能进行了早期测试，但对测试结果并不满意；只有M1芯片的性能确保台前调度中使用的所有应用都能“即时响应”，正如用户对基于触摸的界面所期望的那样。

苹果曾在上周的一份声明中表示，台前调度需要大容量内存、令人难以置信的快速存储和灵活的外部显示 I / O（输入和输出），所有这些都由配备M1芯片的iPad提供。

作为iPadOS 16的重大更新，台前调度允许用户将iPad应用程序调整为重叠窗口，以改善多任务处理体验。目前，苹果iPad产品中，只有M1芯片版iPad Pro和iPad Air 5支持该功能。