k2U框架中的自动参数推导
数据结构与算法
2016-05-03 v1
摘要
我们近期开发了一个通用的可调度性测试框架，称为 k2U，其可应用于处理实时嵌入式系统中广泛研究的多种任务模型。k2U 框架为用户提供了若干方法，将任意可调度性测试（无论平台与任务模型）转换为具有闭式数学表达式的多项式时间测试。然而，k2U 框架的适用性（以及性能）依赖于用户正确地为任务建立索引并定义某些常数参数。本报告描述了如何自动正确地为任务建立索引并推导那些参数。我们将涵盖实时系统中的若干典型可调度性测试，以解释如何系统且自动地推导 k2U 框架所需的那些参数。该自动化显著增强了 k2U 框架处理广泛类别的实时执行平台与任务模型的能力，包括单处理器调度、多处理器调度、自挂起任务系统、带到达抖动的实时任务、有界延迟的服务与虚拟化等。
引用
@article{arxiv.1605.00119,
title = {Automatic Parameter Derivations in k2U Framework},
author = {Jian-Jia Chen and Wen-Hung Huang and Cong Liu},
journal= {arXiv preprint arXiv:1605.00119},
year = {2016}
}
备注
arXiv admin note: text overlap with arXiv:1505.02155