动态逻辑分区的验证

摘要

本发明的实施例公开了用于验证逻辑分区配置之间的转换的方法、计算机程序产品和系统。计算机系统将处理核心的物理资源划分为逻辑分区，每个逻辑分区具有至少一个处理子核心。计算机系统加载逻辑分区的上下文并将测试实例分配给每个处理子核心。处理子核心执行测试实例，验证逻辑分区的上下文。计算机系统以在处理核心上重新配置逻辑分区的数目的预期，来重新分配测试实例给不同处理核心。计算系统在处理核心上重新配置逻辑分区的数目，并执行在重新配置的逻辑分区上分配的测试实例。

主权项

一种用于验证在逻辑分区配置之间的切换的方法，所述方法包括：将处理核心的物理资源划分为一数目的逻辑分区，其中每个逻辑分区具有关联的上下文且包括至少一个处理子核心；将测试实例分配给每个处理子核心并执行分配的测试实例，其中分配的测试实例包括用于验证处理子核心属于的相应的逻辑分区的关联的上下文的指令；以重新配置处理核心的物理资源到不同数目的逻辑分区的预期，重新分配至少某些测试实例给所述不同处理子核心；重新配置物理资源到所述不同数目的逻辑分区中；和执行在所述不同数目的逻辑分区内分配的测试实例。