对于多核分区混合关键性的实时系统的分配算法
Luis Ortiz1, Ana Guasque1, Patricia Balbastre1
1Instituto de Automática e Informática Industrial (ai2), Universitat Politècnica de València, Valencia, Spain.
PeerJ. Computer science
|February 3, 2025
概括
这项研究提出了一个新的hypervisor框架,用于混合批判性的多核系统. 它有效地将任务分配给分区和核心,减少超级监控器的开销,并确保关键应用程序的可行调度.
科学领域:
- 计算机工程 计算机工程
- 嵌入式系统 嵌入式系统
- 实时系统 实时系统
背景情况:
- 多核系统可以提高性能,但对于关键应用程序需要高效的资源配置.
- 多核系统中的调度涉及复杂的任务和分区分配,特别是在混合关键性的环境中.
- 现有的方法在有效管理关键分区多核系统的资源方面面临挑战.
研究的目的:
- 为混合批判性系统提出一个新的超级监视器分区框架.
- 在多核分区系统中开发资源分配和任务调度的高效方法.
- 为应对在系统调度过程中考虑应用程序关键性的挑战.
主要方法:
- 在超级浏览器分区框架内实施了两阶段的分配过程.
- 第一个阶段:使用基于系统关键性的混合整数线性编程 (MILP) 算法进行任务分区分配.
- 第二阶段:使用第二个MILP算法和修改后的最不适合减少利用方法将任务分配到核心.
主要成果:
- 实验结果证明了拟议的调度策略的可行性.
- 综合的分配策略导致了超级监督员的开销减少.
- 该框架有效地管理了混合关键性的分区多核系统的资源分配.
结论:
- 拟议的hypervisor分区框架使混合关键性多核系统的有效和可行的调度成为可能.
- 双相分配方法,结合MILP和修改的最不适合算法,成功地解决了调度复杂性.
- 这种方法有助于减少关键嵌入式系统的开销.
相关概念视频
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
38
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
38
Comparing the Survival Analysis of Two or More Groups
131
Survival analysis is a cornerstone of medical research, used to evaluate the time until an event of interest occurs, such as death, disease recurrence, or recovery. Unlike standard statistical methods, survival analysis is particularly adept at handling censored data—instances where the event has not occurred for some participants by the end of the study or remains unobserved. To address these unique challenges, specialized techniques like the Kaplan-Meier estimator, log-rank test, and...
131


