動(dòng)態(tài)邏輯分區(qū)的驗(yàn)證的制作方法
【專利摘要】本發(fā)明的實(shí)施例公開了用于驗(yàn)證邏輯分區(qū)配置之間的轉(zhuǎn)換的方法、計(jì)算機(jī)程序產(chǎn)品和系統(tǒng)。計(jì)算機(jī)系統(tǒng)將處理核心的物理資源劃分為邏輯分區(qū)，每個(gè)邏輯分區(qū)具有至少一個(gè)處理子核心。計(jì)算機(jī)系統(tǒng)加載邏輯分區(qū)的上下文并將測試實(shí)例分配給每個(gè)處理子核心。處理子核心執(zhí)行測試實(shí)例，驗(yàn)證邏輯分區(qū)的上下文。計(jì)算機(jī)系統(tǒng)以在處理核心上重新配置邏輯分區(qū)的數(shù)目的預(yù)期，來重新分配測試實(shí)例給不同處理核心。計(jì)算系統(tǒng)在處理核心上重新配置邏輯分區(qū)的數(shù)目，并執(zhí)行在重新配置的邏輯分區(qū)上分配的測試實(shí)例。
【專利說明】動(dòng)態(tài)邏輯分區(qū)的驗(yàn)證

【技術(shù)領(lǐng)域】
[0001] 本公開總的來說涉及虛擬化計(jì)算的領(lǐng)域，以及更加具體地涉及計(jì)算系統(tǒng)中硬件的 按需邏輯分區(qū)。

【背景技術(shù)】
[0002] 因?yàn)樘摂M化允許服務(wù)器的供應(yīng)和放置的靈活性和它們在數(shù)據(jù)中心中的關(guān)聯(lián)工作 負(fù)荷，所以它是服務(wù)器、云計(jì)算和虛擬桌面環(huán)境（VDE)的核心組件，且通常用在數(shù)據(jù)中心 中。在系統(tǒng)虛擬化中，在單個(gè)物理計(jì)算系統(tǒng)內(nèi)創(chuàng)建多個(gè)虛擬計(jì)算系統(tǒng)或者虛擬機(jī)。物理系 統(tǒng)可以是分立計(jì)算機(jī)，或者替代地，使用集群式計(jì)算機(jī)和組件的計(jì)算系統(tǒng)。虛擬系統(tǒng)，或者 虛擬機(jī)是使用比如處理器、存儲(chǔ)器和輸入/輸出（I/O)適配器之類的物理資源的邏輯或?qū)?際劃分的獨(dú)立操作環(huán)境。在有些情況下，通過管理功能性（典型地是系統(tǒng)管理程序技術(shù)） 實(shí)現(xiàn)系統(tǒng)虛擬化。也被稱為虛擬機(jī)管理器（VMM)的系統(tǒng)管理程序在軟件或者固件中使用代 碼的薄層（thinlayerofcode)來實(shí)現(xiàn)細(xì)顆粒的動(dòng)態(tài)資源共享。系統(tǒng)管理程序因?yàn)樗鼈?提供怎樣定義和管理虛擬資源的最高級別的靈活性，所以是用于系統(tǒng)虛擬化的主要技術(shù)。
[0003] 邏輯分區(qū)是將實(shí)際的或者物理的服務(wù)器邏輯地劃分為兩個(gè)或更多獨(dú)立服務(wù)器的 能力，且在每個(gè)虛擬機(jī)或者邏輯分區(qū)（LPAR)中執(zhí)行一個(gè)或多個(gè)應(yīng)用，就好像虛擬機(jī)或者 LPAR是分開的物理計(jì)算機(jī)那樣。每個(gè)虛擬系統(tǒng)、虛擬服務(wù)器或者虛擬機(jī)像運(yùn)行其自己的 操作系統(tǒng)的獨(dú)立計(jì)算系統(tǒng)那樣操作。在虛擬化計(jì)算環(huán)境中運(yùn)行的操作系統(tǒng)通常被稱為"客 機(jī)"。系統(tǒng)管理程序可以分配專用處理器、I/O適配器和存儲(chǔ)器給每個(gè)虛擬機(jī)，且還可以分 配共享處理器給每個(gè)虛擬機(jī)。在某些方式的虛擬化中，系統(tǒng)管理程序創(chuàng)建共享處理器池,系 統(tǒng)管理程序從該共享處理器池根據(jù)預(yù)定分配百分比來分配虛擬處理器的時(shí)間切片給虛擬 機(jī)。換句話說，系統(tǒng)管理程序從物理處理器創(chuàng)建虛擬處理器，以使得虛擬機(jī)在運(yùn)行獨(dú)立操作 環(huán)境的同時(shí)可以共享物理處理器，該物理處理器包括共享高速緩存空間和存儲(chǔ)器帶寬。
[0004] 某些方式的虛擬化允許將單獨(dú)的物理處理器核心分區(qū)為多個(gè)LPAR。同時(shí)分區(qū)的方 法允許當(dāng)系統(tǒng)管理程序分配物理處理器給虛擬機(jī)時(shí)的更精細(xì)劃分，這避免了通過僅分配必 要的資源給給定處理而浪費(fèi)處理資源。為最大化精細(xì)分區(qū)的方法，動(dòng)態(tài)邏輯分區(qū)（DLPAR) 的系統(tǒng)允許運(yùn)行時(shí)間取決于工作負(fù)荷要求在單個(gè)處理器核心上在不同LPAR模式之間改 變。


【發(fā)明內(nèi)容】

[0005] 本發(fā)明的實(shí)施例公開了用于驗(yàn)證邏輯分區(qū)配置之間的切換的方法、計(jì)算機(jī)程序產(chǎn) 品和系統(tǒng)。計(jì)算系統(tǒng)將處理核心的物理資源劃分為邏輯分區(qū)，每個(gè)邏輯分區(qū)具有至少一個(gè) 處理子核心。計(jì)算系統(tǒng)加載邏輯分區(qū)的上下文并將測試實(shí)例分配給每個(gè)處理子核心。處理 子核心執(zhí)行測試實(shí)例，驗(yàn)證邏輯分區(qū)的上下文。計(jì)算系統(tǒng)以重新配置在處理核心上的邏輯 分區(qū)的數(shù)目的預(yù)期，來重新分配測試實(shí)例給不同處理核心。計(jì)算系統(tǒng)重新配置處理核心上 邏輯分區(qū)的數(shù)目，并執(zhí)行在重新配置的邏輯分區(qū)上分配的測試實(shí)例。

【專利附圖】

【附圖說明】
[0006] 圖1是圖示根據(jù)本發(fā)明實(shí)施例的虛擬化計(jì)算環(huán)境的功能框圖。
[0007] 圖2是示出包括四個(gè)子核心的單個(gè)處理器核心從具有四個(gè)邏輯分區(qū)的狀態(tài)到包 括根據(jù)本發(fā)明實(shí)施例的產(chǎn)生的測試實(shí)例的重新映射的具有兩個(gè)邏輯分區(qū)的狀態(tài)的示例切 換。
[0008] 圖3是圖示用于驗(yàn)證服務(wù)器的動(dòng)態(tài)邏輯分區(qū)能力適當(dāng)?shù)剡\(yùn)作的駐留在主機(jī)計(jì)算 系統(tǒng)上的DLPAR驗(yàn)證程序的操作步驟的流程圖。
[0009] 圖4示出用于實(shí)現(xiàn)本發(fā)明實(shí)施例的示例性計(jì)算系統(tǒng)的組件的框圖。

【具體實(shí)施方式】
[0010] 本發(fā)明的實(shí)施例認(rèn)識到虛擬化是高端服務(wù)器微處理器中的重要特征。虛擬化的優(yōu) 點(diǎn)是其允許在幾個(gè)操作系統(tǒng)當(dāng)中共享物理處理器池，給予每個(gè)操作系統(tǒng)該操作系統(tǒng)是所有 系統(tǒng)資源的唯一用戶的觀感。虛擬化技術(shù)的進(jìn)步允許在越來越小的尺度上分區(qū)物理資源。 在小尺度上劃分服務(wù)器的物理資源幫助防止由于對于給定任務(wù)在給定時(shí)間保證比需要的 更多的物理資源而浪費(fèi)服務(wù)器資源。
[0011] 稱為動(dòng)態(tài)邏輯分區(qū)（DLPAR)的特征允許服務(wù)器在運(yùn)行時(shí)環(huán)境中在更小的尺度上 重新分布物理資源。但是，這種物理資源的重新分配如果不適當(dāng)?shù)貓?zhí)行則增加了服務(wù)器故 障的危險(xiǎn)。為了適當(dāng)?shù)厍袚Q到新LPAR模式，必須從處理器去除來自先前LPAR模式的所有 信息。除非處理器清除了來自先前分區(qū)的所有信息，否則處理器不能以新分區(qū)適當(dāng)?shù)剡\(yùn)作。 本發(fā)明的實(shí)施例提供了測試硬件動(dòng)態(tài)地重新分配服務(wù)器的物理資源給不同LPAR配置的能 力的性能。
[0012] 所屬【技術(shù)領(lǐng)域】的技術(shù)人員知道，本發(fā)明的各個(gè)方面可以實(shí)現(xiàn)為系統(tǒng)、方法或計(jì)算 機(jī)程序產(chǎn)品。因此，本發(fā)明的各個(gè)方面可以具體實(shí)現(xiàn)為以下形式，即：完全的硬件實(shí)施方式、 完全的軟件實(shí)施方式（包括固件、駐留軟件、微代碼等），或硬件和軟件方面結(jié)合的實(shí)施方 式，這里可以統(tǒng)稱為"電路"、"模塊"或"系統(tǒng)"。此外，在一些實(shí)施例中，本發(fā)明的各個(gè)方面 還可以實(shí)現(xiàn)為在一個(gè)或多個(gè)計(jì)算機(jī)可讀介質(zhì)中的計(jì)算機(jī)程序產(chǎn)品的形式，該計(jì)算機(jī)可讀介 質(zhì)中包含計(jì)算機(jī)可讀的程序代碼/指令。
[0013] 可以采用一個(gè)或多個(gè)計(jì)算機(jī)可讀介質(zhì)的任意組合。計(jì)算機(jī)可讀介質(zhì)可以是計(jì)算 機(jī)可讀信號介質(zhì)或者計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)例如可以是一但不限 于一電、磁、光、電磁、紅外線、或半導(dǎo)體的系統(tǒng)、裝置或器件，或者任意以上的組合。計(jì)算 機(jī)可讀存儲(chǔ)介質(zhì)的更具體的例子（非窮舉的列表）包括：具有一個(gè)或多個(gè)導(dǎo)線的電連接、便 攜式計(jì)算機(jī)盤、硬盤、隨機(jī)存取存儲(chǔ)器（RAM)、只讀存儲(chǔ)器（ROM)、可擦式可編程只讀存儲(chǔ)器 (EPROM或閃存）、光纖、便攜式緊湊盤只讀存儲(chǔ)器（CD-ROM)、光存儲(chǔ)器件、磁存儲(chǔ)器件、或者 上述的任意合適的組合。在本文件中，計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)可以是任何包含或存儲(chǔ)程序的 有形介質(zhì)，該程序可以被指令執(zhí)行系統(tǒng)、裝置或者器件使用或者與其結(jié)合使用。
[0014] 計(jì)算機(jī)可讀的信號介質(zhì)可以包括在基帶中或者作為載波一部分傳播的數(shù)據(jù)信號， 其中承載了計(jì)算機(jī)可讀的程序代碼。這種傳播的數(shù)據(jù)信號可以采用多種形式，包括一但 不限于一電磁信號、光信號或上述的任意合適的組合。計(jì)算機(jī)可讀的信號介質(zhì)還可以是 計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)以外的任何計(jì)算機(jī)可讀介質(zhì)，該計(jì)算機(jī)可讀介質(zhì)可以發(fā)送、傳播或者 傳輸用于由指令執(zhí)行系統(tǒng)、裝置或者器件使用或者與其結(jié)合使用的程序。
[0015] 計(jì)算機(jī)可讀介質(zhì)上包含的程序代碼可以用任何適當(dāng)?shù)慕橘|(zhì)傳輸，包括一但不限 于一無線、有線、光纜、RF等等，或者上述的任意合適的組合。
[0016] 可以以一種或多種程序設(shè)計(jì)語言的任意組合來編寫用于執(zhí)行本發(fā)明操作的計(jì)算 機(jī)程序代碼，所述程序設(shè)計(jì)語言包括面向?qū)ο蟮某绦蛟O(shè)計(jì)語言一諸如Java、Smalltalk、C++ 等，還包括常規(guī)的過程式程序設(shè)計(jì)語言一諸如"C"語言或類似的程序設(shè)計(jì)語言。程序代碼可 以完全地在用戶計(jì)算機(jī)上執(zhí)行、部分地在用戶計(jì)算機(jī)上執(zhí)行、作為一個(gè)獨(dú)立的軟件包執(zhí)行、 部分在用戶計(jì)算機(jī)上部分在遠(yuǎn)程計(jì)算機(jī)上執(zhí)行、或者完全在遠(yuǎn)程計(jì)算機(jī)或服務(wù)器上執(zhí)行。 在涉及遠(yuǎn)程計(jì)算機(jī)的情形中，遠(yuǎn)程計(jì)算機(jī)可以通過任意種類的網(wǎng)絡(luò)--包括局域網(wǎng)（LAN) 或廣域網(wǎng)（WAN)-連接到用戶計(jì)算機(jī)，或者，可以連接到外部計(jì)算機(jī)（例如利用因特網(wǎng)服務(wù) 提供商來通過因特網(wǎng)連接）。
[0017] 下面將參照根據(jù)本發(fā)明實(shí)施例的方法、裝置（系統(tǒng)）和計(jì)算機(jī)程序產(chǎn)品的流程圖 和/或框圖描述本發(fā)明。應(yīng)當(dāng)理解，流程圖和/或框圖的每個(gè)方框以及流程圖和/或框圖 中各方框的組合，都可以由計(jì)算機(jī)程序指令實(shí)現(xiàn)。這些計(jì)算機(jī)程序指令可以提供給通用計(jì) 算機(jī)、專用計(jì)算機(jī)或其它可編程數(shù)據(jù)處理裝置的處理器，從而生產(chǎn)出一種機(jī)器，使得這些計(jì) 算機(jī)程序指令在通過計(jì)算機(jī)或其它可編程數(shù)據(jù)處理裝置的處理器執(zhí)行時(shí)，產(chǎn)生了實(shí)現(xiàn)流程 圖和/或框圖中的一個(gè)或多個(gè)方框中規(guī)定的功能/動(dòng)作的裝置。
[0018] 也可以把這些計(jì)算機(jī)程序指令存儲(chǔ)在計(jì)算機(jī)可讀介質(zhì)中，這些指令使得計(jì)算機(jī)、 其它可編程數(shù)據(jù)處理裝置、或其他設(shè)備以特定方式工作，從而，存儲(chǔ)在計(jì)算機(jī)可讀介質(zhì)中的 指令就產(chǎn)生出包括實(shí)現(xiàn)流程圖和/或框圖中的一個(gè)或多個(gè)方框中規(guī)定的功能/動(dòng)作的指令 的制造品（articleofmanufacture) 〇
[0019] 計(jì)算機(jī)程序指令也可以被加載到計(jì)算機(jī)、其他可編程數(shù)據(jù)處理設(shè)備或者其他裝置 上以使得在計(jì)算機(jī)、其他可編程設(shè)備或者其他裝置上執(zhí)行一系列操作步驟以產(chǎn)生計(jì)算機(jī)實(shí) 現(xiàn)的處理，以使得在計(jì)算機(jī)或者其他可編程設(shè)備上執(zhí)行的指令提供用于實(shí)現(xiàn)在流程圖和/ 或框圖的一個(gè)或多個(gè)框中指定的功能/動(dòng)作的處理。
[0020] 現(xiàn)在將參考附圖詳細(xì)描述本發(fā)明的示例性實(shí)施例。圖1圖示通常指定為100的虛 擬化計(jì)算環(huán)境。
[0021] 虛擬化計(jì)算環(huán)境100包括至少一個(gè)主機(jī)計(jì)算系統(tǒng)，比如主機(jī)計(jì)算系統(tǒng)102。主機(jī)計(jì) 算系統(tǒng)102是物理計(jì)算系統(tǒng)且能夠執(zhí)行機(jī)器可讀指令。在本發(fā)明的優(yōu)選實(shí)施例中，主機(jī)計(jì) 算系統(tǒng)102能夠主管（host)多個(gè)邏輯分區(qū)（LPAR)(也稱為虛擬機(jī)或者虛擬服務(wù)器）。
[0022] 主機(jī)計(jì)算系統(tǒng)102通過邏輯分區(qū)被劃分為多個(gè)虛擬機(jī)（VM) 104、106和108。在示 例性實(shí)施例中，各個(gè)VM104、106和108中的每一個(gè)運(yùn)行獨(dú)立的客操作系統(tǒng)（OS)，例如，VM 104運(yùn)行OS132 (其可能是AIX?操作系統(tǒng)），VM106運(yùn)行OS134 (其可能是虛擬輸入/ 輸出服務(wù)器（VIOS)，且VM108運(yùn)行OS136(其可能是Linux?操作系統(tǒng)）?？梢允褂闷渌?操作環(huán)境和操作環(huán)境的組合。在本發(fā)明的各種實(shí)施例中，可以使用任意數(shù)量LPAR或者VM。
[0023] 系統(tǒng)管理程序110通過在邏輯分區(qū)中將指定處理器112、存儲(chǔ)盤114、網(wǎng)卡116和 /或存儲(chǔ)器118邏輯共享，來從主機(jī)計(jì)算系統(tǒng)102的物理資源創(chuàng)建VM104、106和108。指定 處理器112由一個(gè)或多個(gè)處理核心122組成。處理核心是單個(gè)微處理器。指定處理器112 可以是單核心處理器或者其中在單個(gè)微芯片上存在多個(gè)中央處理單元的多核心處理器。每 個(gè)處理核心由一個(gè)或多個(gè)子核心組成。子核心是能夠執(zhí)行執(zhí)行線程的最小處理單元。執(zhí)行 線程是可以由操作系統(tǒng)調(diào)度器獨(dú)立管理的編程指令的最小序列。系統(tǒng)管理程序110根據(jù) VM104、106和108中的每個(gè)的工作負(fù)荷要求，動(dòng)態(tài)地分配指定處理器112或核心122、存儲(chǔ) 盤114、網(wǎng)卡116和/或存儲(chǔ)器118。另外，系統(tǒng)管理程序110執(zhí)行標(biāo)準(zhǔn)操作系統(tǒng)功能并管 理VM104、106和108之間的通信。系統(tǒng)管理程序110高速緩存由主機(jī)計(jì)算系統(tǒng)102的每 個(gè)VM請求的數(shù)據(jù)，所以數(shù)據(jù)從系統(tǒng)管理程序的高速緩存可用于主機(jī)計(jì)算系統(tǒng)的所有VM。
[0024] 在示例性實(shí)施例中，系統(tǒng)管理程序110包括DLPAR驗(yàn)證程序120。DLPAR驗(yàn)證程序 120可以替代地存儲(chǔ)在主機(jī)計(jì)算系統(tǒng)102的存儲(chǔ)器118上，或者外部存儲(chǔ)器（未示出）上。 DLPAR驗(yàn)證程序120執(zhí)行診斷步驟以驗(yàn)證當(dāng)系統(tǒng)管理程序110動(dòng)態(tài)地重新分區(qū)處理器112 時(shí)，這種分區(qū)將不會(huì)導(dǎo)致硬件故障。在本發(fā)明的各種實(shí)施例中，DLPAR驗(yàn)證程序120運(yùn)行以 單獨(dú)地測試每個(gè)處理核心122在邏輯分區(qū)模式之間動(dòng)態(tài)地改變的能力。
[0025] 圖2示出在具有四個(gè)子核心210、212、214和216的單個(gè)處理器核心200上在兩個(gè) LPAR狀態(tài)之間的示例性切換。在圖2中示出的左邊配置示出了劃分為四個(gè)邏輯分區(qū)的單 個(gè)核心200,其中每個(gè)子核心占據(jù)單個(gè)LPAR。圖2中示出的右邊配置示出了在到具有兩個(gè) LPAR且兩個(gè)子核心占據(jù)每個(gè)LPAR的LPAR模式的DLPAR切換之后，與圖2的左邊配置相同 的核心200。
[0026] 處理器核心200是多核處理器中的單個(gè)核心。在核心200內(nèi)是至少一個(gè)子核心。 每個(gè)核心可以被邏輯地分區(qū)而以可以分配給單個(gè)VM的方式劃分資源和/或處理能力。如 圖2中所示，核心200包括四個(gè)子核心210、212、214和216。子核心210、212、214和216均 能夠執(zhí)行由主機(jī)計(jì)算系統(tǒng)102執(zhí)行的處理提供的線程。子核心210、212、214和216是主機(jī) 計(jì)算系統(tǒng)102中包含的物理資源，且因此能夠由系統(tǒng)管理程序110分配給LPAR。在任何給 定時(shí)間點(diǎn)，核心是"LPAR模式"，其指的是核心當(dāng)前劃分為的邏輯分區(qū)的數(shù)目。例如，如果核 心目前劃分為兩個(gè)LPAR，則核心是"2LPAR"模式。類似地，如果核心目前劃分為四個(gè)LPAR， 則核心是"4LPAR"模式。
[0027] 在LPAR模式改變之前，子核心210、212、214和216均被分配給不同的LPAR220、 222、224和226。核心200包括四個(gè)子核心210、212、214和216,它們分別被分配給LPAR 220、222、224和226。在LPAR模式中改變之前，因?yàn)閱蝹€(gè)核心被細(xì)分為四個(gè)LPAR，所以核心 200處于"4LPAR"模式。
[0028]DLPAR驗(yàn)證程序120將作為可執(zhí)行線程的測試實(shí)例230、232、234和236分別加載 到子核心210、212、214和216上。每個(gè)測試實(shí)例包括每個(gè)子核心要執(zhí)行的可執(zhí)行指令。例 如，測試實(shí)例可以指令子核心讀取特定的存儲(chǔ)要素，復(fù)制要素到新位置，并執(zhí)行將存儲(chǔ)要素 與測試實(shí)例中包含的參考值比較的循環(huán)冗余校驗(yàn)。測試實(shí)例意味著確定子核心在目前LPAR 模式中是否適當(dāng)?shù)夭僮鳌y試實(shí)例230、232、234和236可以是"兼容的"或者"不兼容的"。 兼容的測試實(shí)例共享某一資源。不兼容的測試實(shí)例不共享那些資源。例如，可以寫入測試實(shí) 例以使得其需要參考特定的頁表。當(dāng)不兼容的測試實(shí)例需要參考不同頁表時(shí)，兼容的測試 實(shí)例也要參考同一頁表。LPAR訪問的資源是LPAR的上下文和環(huán)境的一部分。根據(jù)本發(fā)明 的實(shí)施例，測試實(shí)例230和234是兼容的，且測試實(shí)例232和236是兼容的。測試實(shí)例230 和234共享頁表250。測試實(shí)例232和236共享頁表252。相反地，測試實(shí)例230和234與 測試實(shí)例232和236不相容。
[0029] 頁表250和252包括翻譯信息。該翻譯信息用于將虛擬存儲(chǔ)器地址轉(zhuǎn)換為物理存 儲(chǔ)器地址。在本發(fā)明的實(shí)施例中，測試實(shí)例230、232、234和236提供關(guān)于由頁表250和252 翻譯為物理存儲(chǔ)器地址的虛擬存儲(chǔ)器地址的調(diào)用。分別在物理存儲(chǔ)器260和262中找到頁 表250和252翻譯為的物理地址。一旦從物理存儲(chǔ)器260和262收集數(shù)據(jù)，就將其返回到從 其進(jìn)行調(diào)用的子核心，且然后可以被復(fù)制到主機(jī)計(jì)算系統(tǒng)102的物理存儲(chǔ)器中的新位置。
[0030] 在本發(fā)明的示例性實(shí)施例中，DLPAR驗(yàn)證程序120觸發(fā)導(dǎo)致子核心210、212、214 和216到不同LPAR的重新分配的處理器核心200的LPAR模式的重新配置。DLPAR驗(yàn)證程 序120初始化LPAR模式中的改變以保證包括LPAR的硬件在LPAR模式中的改變之后繼續(xù) 適當(dāng)?shù)剡\(yùn)作。圖2示出這種從具有四個(gè)LPAR的LPAR模式到具有兩個(gè)LPAR的LPAR模式 的重新分配。后一LPAR模式被稱作"2LPAR"模式。核心200現(xiàn)在被劃分為LPAR240和 242。LPAR240 包括子核心 210 和 212。LPAR242 包括子核心 214 和 216。LPAR240 和 242 現(xiàn)在每個(gè)分別連接到頁表252和250。因?yàn)槊總€(gè)LPAR僅能連接到一個(gè)頁表，所以在任何給 定LPAR中加載到子核心上的全部測試實(shí)例必須參考相同頁表，否則系統(tǒng)報(bào)錯(cuò)。因此，為了 保證處理器核心200上的2LPAR配置中的所有測試實(shí)例是兼容的，子核心210和216的上 下文由DLPAR驗(yàn)證程序120交換。該切換導(dǎo)致測試實(shí)例236被加載到子核心210上而測試 實(shí)例230被加載到子核心216上。
[0031] 圖3是圖示根據(jù)本發(fā)明實(shí)施例的、用于在處理核心122上測試邏輯分區(qū)模式的駐 留在主機(jī)計(jì)算系統(tǒng)102上的DLPAR驗(yàn)證程序120的操作步驟的流程圖。在本發(fā)明的示例性 實(shí)施例中，DLPAR驗(yàn)證程序120在單個(gè)處理器核心200上測試LPAR模式，但是，本發(fā)明不限 于在單個(gè)核心上發(fā)生。
[0032]DLPAR驗(yàn)證程序120以預(yù)定LPAR模式初始化主機(jī)計(jì)算系統(tǒng)102的物理硬件（步驟 302)。例如，DLPAR驗(yàn)證程序?qū)⒑诵?00的子核心邏輯地分區(qū)。DLPAR驗(yàn)證程序120然后分 配子核心210、212、214和216到特定的LPAR。在本發(fā)明的示例性實(shí)施例中，DLPAR驗(yàn)證程 序120從用戶定義的輸入接收初始LPAR模式指令。
[0033]DLPAR驗(yàn)證程序120生成并分配測試實(shí)例給核心200上的每個(gè)子核心（步驟303)。 核心200由執(zhí)行處理指令的離散序列的多個(gè)子核心210、212、214和216組成。在本發(fā)明的 示例性實(shí)施例中，DLPAR驗(yàn)證程序120生成指令子核心210、212、214和216在主機(jī)計(jì)算系 統(tǒng)102的物理硬件上執(zhí)行操作的測試實(shí)例230、232、234、236,該操作例如是，讀取特定的存 儲(chǔ)要素，復(fù)制該要素到預(yù)定義的位置和使用循環(huán)冗余校驗(yàn)比較該要素與預(yù)測的值。
[0034]DLPAR驗(yàn)證程序120初始化初始LPAR模式的上下文以及每個(gè)分區(qū)的環(huán)境（步驟 304)。LPAR模式的上下文包括LPAR需要的物理資源的最小集合，其可能包括盤114、網(wǎng)卡 116和/或存儲(chǔ)器118的一部分。LPAR的環(huán)境是LPAR使用的硬件的完整集合，包括全部存 儲(chǔ)器、頁表和主機(jī)計(jì)算系統(tǒng)102的物理屬性。
[0035]DLPAR驗(yàn)證程序120在每個(gè)子核心上加載每個(gè)測試實(shí)例的預(yù)先計(jì)算的期望結(jié)果 (步驟306)。預(yù)先計(jì)算的結(jié)果是對初始LPAR模式特定的。預(yù)先計(jì)算的結(jié)果由要從在分配 的測試實(shí)例中指定的特定存儲(chǔ)位置檢索的期望數(shù)據(jù)組成。預(yù)先計(jì)算的用作相對由DLPAR驗(yàn) 證程序120在其執(zhí)行分配給子核心的測試實(shí)例時(shí)實(shí)際返回的信息的參考。
[0036]DLPAR驗(yàn)證程序120對于指定的時(shí)段運(yùn)行已經(jīng)以分配的測試實(shí)例230、232、234和 236加載的LPAR(步驟308)。指定的時(shí)段可配置，并且由主機(jī)計(jì)算系統(tǒng)102的用戶設(shè)置。該 時(shí)段向LPAR提供執(zhí)行加載到每個(gè)子核心上的測試實(shí)例中包含的指令的時(shí)間。
[0037]DLPAR驗(yàn)證程序120從由測試實(shí)例（例如，260)指定的存儲(chǔ)器位置收集信息，并將 其復(fù)制到由DLPAR驗(yàn)證程序120定義的預(yù)先分配的緩存（步驟310)。該預(yù)先分配的緩存是 用于臨時(shí)存儲(chǔ)從由測試實(shí)例指定的位置復(fù)制的信息的物理存儲(chǔ)器的區(qū)域。
[0038]DLPAR驗(yàn)證程序120執(zhí)行循環(huán)冗余校驗(yàn)（CRC)(步驟312)。CRC將通過測試實(shí)例 的執(zhí)行在預(yù)先分配的緩存中存儲(chǔ)的數(shù)據(jù)與以LPAR環(huán)境加載的預(yù)先計(jì)算的預(yù)期結(jié)果進(jìn)行比 較。CRC是公知的誤差檢測碼，其將先前產(chǎn)生的關(guān)于一條數(shù)據(jù)的校驗(yàn)值與當(dāng)前產(chǎn)生的校驗(yàn)值 比較，以確定它們是否相同。在本發(fā)明的實(shí)施例中，預(yù)先計(jì)算的預(yù)期結(jié)果表示先前產(chǎn)生的校 驗(yàn)值，且在預(yù)先分配的緩存中存儲(chǔ)的數(shù)據(jù)表示當(dāng)前產(chǎn)生的校驗(yàn)值。CRC將先前產(chǎn)生的校驗(yàn)值 與當(dāng)前產(chǎn)生的校驗(yàn)值比較，并確定它們是否匹配。
[0039]DLPAR驗(yàn)證程序120確定由子核心執(zhí)行的測試實(shí)例收集的信息是否匹配預(yù)先計(jì)算 的預(yù)期結(jié)果（判定框314)。如果由測試實(shí)例收集的信息不匹配預(yù)先計(jì)算的預(yù)期結(jié)果，則產(chǎn) 生錯(cuò)誤（判定框314，"否"分支）。在本發(fā)明的示例性實(shí)施例中，該錯(cuò)誤導(dǎo)致主機(jī)計(jì)算系統(tǒng) 102內(nèi)硬件執(zhí)行的終止。
[0040]如果由測試實(shí)例收集的信息匹配預(yù)先計(jì)算的預(yù)期結(jié)果（判定框314, "是"分支）， 則DLPAR驗(yàn)證程序120以改變?yōu)長PAR模式的預(yù)期重新映射測試實(shí)例到子核心（步驟316)。
[0041] DLPAR驗(yàn)證程序120重新分配測試實(shí)例，以使得它們在當(dāng)前LPAR模式中處于不 兼容的配置，但是將在核心重新指定子核心給新的LPAR模式之后處于兼容的配置（步驟 316)。如上所述，測試實(shí)例可以分類為兼容的或者不兼容的。兼容的測試實(shí)例設(shè)計(jì)為共享 環(huán)境中包括的某一信息，比如物理存儲(chǔ)器118,或者頁表參考（例如，250或者252)和其中 核心正在操作的特定的LPAR模式的上下文。不兼容的測試實(shí)例設(shè)計(jì)為不共享該信息。例 如，一個(gè)測試實(shí)例可能需要參考頁表250,同時(shí)第二測試實(shí)例需要參考頁表252。這兩個(gè)測 試實(shí)例是不兼容的。因?yàn)楦鶕?jù)定義，不兼容的測試實(shí)例需要多個(gè)上下文，且LPAR可以僅具 有一個(gè)上下文和環(huán)境，所以不兼容的測試實(shí)例不能在單個(gè)LPAR中在子核心上操作。
[0042]DLPAR驗(yàn)證程序120確定用于以預(yù)期的新LPAR模式加載LPAR上下文的次序（步 驟318)。每個(gè)子核心具有當(dāng)加載LPAR上下文時(shí)將加載的它自己的上下文值。加載的最后 的子核心值將重寫先前的值且將由LPAR使用。因此，DLPAR驗(yàn)證程序120分配每個(gè)子核心 將加載其上下文的次序，以使得要加載其上下文的最后的子核心是用于整個(gè)分區(qū)的校正上 下文。
[0043]DLPAR驗(yàn)證程序120初始化核心的硬件配置到新LPAR模式的改變（步驟320)。核 心的物理資源的分配改變，以使得子核心重新分配給新LPAR。
[0044]DLPAR驗(yàn)證程序120加載新重新分配的測試實(shí)例以及新LPAR模式的上下文和環(huán)境 (步驟322)。
[0045]DLPAR驗(yàn)證程序120對于指定的時(shí)段返回而以新分配的測試實(shí)例運(yùn)行LPAR(步驟 308)。該循環(huán)可以運(yùn)行與用戶指定一樣多的次數(shù)，并通過與用戶指定一樣多的LPAR模式。
[0046] 圖4示出根據(jù)本發(fā)明的說明性實(shí)施例的主機(jī)計(jì)算系統(tǒng)102的組件的框圖。應(yīng)該理 解，圖4僅提供一個(gè)實(shí)現(xiàn)的圖示，且不暗示關(guān)于其中可以實(shí)現(xiàn)不同實(shí)施例的環(huán)境的任何限 制?？梢宰龀鰧κ境龅沫h(huán)境的許多修改。
[0047] 主機(jī)計(jì)算系統(tǒng)102包括提供在一個(gè)或多個(gè)計(jì)算機(jī)處理器404、存儲(chǔ)器406、永久存 儲(chǔ)設(shè)備408、通信單元410和一個(gè)或多個(gè)輸入/輸出（I/O)接口 412之間的通信的通信組織 402。通信組織402可以以設(shè)計(jì)用于在系統(tǒng)內(nèi)的處理器（比如微處理器、通信和網(wǎng)絡(luò)處理器 等）、系統(tǒng)存儲(chǔ)器、外圍設(shè)備和任何其他硬件組件之間傳遞數(shù)據(jù)和/或控制信息的任何架構(gòu) 實(shí)現(xiàn)。例如，通信組織402可以以一個(gè)或多個(gè)總線實(shí)現(xiàn)。
[0048] 存儲(chǔ)器406和永久存儲(chǔ)設(shè)備408是計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。在本實(shí)施例中，存儲(chǔ)器 406包括隨機(jī)存取存儲(chǔ)器（RAM) 414和高速緩存416?？偟膩碚f，存儲(chǔ)器406可以包括任何 適當(dāng)?shù)囊资Щ蛘叻且资杂?jì)算機(jī)可讀存儲(chǔ)介質(zhì)。
[0049]DLPAR驗(yàn)證程序120存儲(chǔ)在永久存儲(chǔ)設(shè)備408中，用于經(jīng)由存儲(chǔ)器406的一個(gè)或多 個(gè)存儲(chǔ)器由一個(gè)或多個(gè)相應(yīng)的計(jì)算機(jī)處理器404執(zhí)行。在本實(shí)施例中，永久存儲(chǔ)設(shè)備408 包括磁硬盤驅(qū)動(dòng)器。替代地，或者除磁硬盤驅(qū)動(dòng)器之外，永久存儲(chǔ)設(shè)備408可以包括固態(tài)硬 盤、半導(dǎo)體存儲(chǔ)器件、只讀存儲(chǔ)器（ROM)、可擦可編程只讀存儲(chǔ)器（EPROM)、閃存存儲(chǔ)器或者 能夠存儲(chǔ)程序指令或者數(shù)字信息的任何其他計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。
[0050] 永久存儲(chǔ)設(shè)備408使用的介質(zhì)也可以是可拆卸的。例如，可拆卸硬盤可以用于永 久存儲(chǔ)設(shè)備408。其他實(shí)例包括插入到驅(qū)動(dòng)器中以用于傳送到也作為永久存儲(chǔ)設(shè)備408的 一部分的另一計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)上的光盤和磁盤、拇指驅(qū)動(dòng)器和智能卡。
[0051] 在這些實(shí)例中，通信單元410提供用于與其他數(shù)據(jù)處理系統(tǒng)或裝置通信。在這些 實(shí)例中，通信單元410包括一個(gè)或多個(gè)網(wǎng)絡(luò)接口卡。通信單元410可以提供通過使用物理 和無線通信鏈路中的一個(gè)或者兩者的通信。DLPAR驗(yàn)證程序120可以通過通信單元410下 載到永久存儲(chǔ)設(shè)備408。
[0052] -個(gè)或多個(gè)I/O接口 412允許與可以連接到主機(jī)計(jì)算系統(tǒng)102的其他裝置的數(shù)據(jù) 的輸入和輸出。例如，一個(gè)或多個(gè)I/O接口 412可以提供到比如鍵盤、小鍵盤、觸摸屏和/ 或某些其它適當(dāng)?shù)妮斎胙b置之類的外部裝置418的連接。外部裝置418還可以包括便攜式 計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，例如，拇指驅(qū)動(dòng)器、便攜式光盤或者磁盤和存儲(chǔ)卡。用于實(shí)踐本發(fā)明 的實(shí)施例的軟件和數(shù)據(jù)，例如，DLPAR驗(yàn)證程序120可以存儲(chǔ)在這種便攜式計(jì)算機(jī)可讀存儲(chǔ) 介質(zhì)上，且可以經(jīng)由一個(gè)或多個(gè)I/O接口 412加載到永久存儲(chǔ)設(shè)備408上。一個(gè)或多個(gè)1/ 0接口 412也連接到顯示器420。
[0053] 顯示器420提供向用戶顯示數(shù)據(jù)的機(jī)制，且例如可以是計(jì)算機(jī)監(jiān)視器。
[0054] 基于它們在本發(fā)明的特定實(shí)施例中實(shí)現(xiàn)的應(yīng)用來識別在這里描述的程序。但是， 應(yīng)該認(rèn)可，在這里命名的任何特定程序僅為了方便而使用，且因此本發(fā)明不應(yīng)該限于僅在 由這種命名識別和/或暗示的任何特定應(yīng)用中使用。
[0055] 附圖中的流程圖和框圖顯示了根據(jù)本發(fā)明的多個(gè)實(shí)施例的系統(tǒng)、方法和計(jì)算機(jī)程 序產(chǎn)品的可能實(shí)現(xiàn)的體系架構(gòu)、功能和操作。在這點(diǎn)上，流程圖或框圖中的每個(gè)方框可以 代表一個(gè)模塊、程序段或代碼的一部分，所述模塊、程序段或代碼的一部分包含一個(gè)或多個(gè) 用于實(shí)現(xiàn)規(guī)定的邏輯功能的可執(zhí)行指令。也應(yīng)當(dāng)注意，在有些作為替換的實(shí)現(xiàn)中，方框中所 標(biāo)注的功能也可以以不同于附圖中所標(biāo)注的順序發(fā)生。例如，兩個(gè)連續(xù)的方框?qū)嶋H上可以 基本并行地執(zhí)行，它們有時(shí)也可以按相反的順序執(zhí)行，這依所涉及的功能而定。也要注意的 是，框圖和/或流程圖中的每個(gè)方框、以及框圖和/或流程圖中的方框的組合，可以用執(zhí)行 規(guī)定的功能或動(dòng)作的專用的基于硬件的系統(tǒng)來實(shí)現(xiàn)，或者可以用專用硬件與計(jì)算機(jī)指令的 組合來實(shí)現(xiàn)。
【權(quán)利要求】
1. 一種用于驗(yàn)證在邏輯分區(qū)配置之間的切換的方法，所述方法包括： 將處理核心的物理資源劃分為一數(shù)目的邏輯分區(qū)，其中每個(gè)邏輯分區(qū)具有關(guān)聯(lián)的上下 文且包括至少一個(gè)處理子核心； 將測試實(shí)例分配給每個(gè)處理子核心并執(zhí)行分配的測試實(shí)例，其中分配的測試實(shí)例包括 用于驗(yàn)證處理子核心屬于的相應(yīng)的邏輯分區(qū)的關(guān)聯(lián)的上下文的指令； 以重新配置處理核心的物理資源到不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某些測 試實(shí)例給所述不同處理子核心； 重新配置物理資源到所述不同數(shù)目的邏輯分區(qū)中；和 執(zhí)行在所述不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例。
2. 如權(quán)利要求1的方法，其中，所述不同數(shù)目的邏輯分區(qū)包括比所述數(shù)目的邏輯分區(qū) 更大數(shù)目的邏輯分區(qū)。
3. 如權(quán)利要求1的方法，其中，分配的測試實(shí)例的執(zhí)行包括： 從與包括分配的測試實(shí)例分配到的處理子核心的邏輯分區(qū)相關(guān)聯(lián)的存儲(chǔ)器位置收集 預(yù)先指定的存儲(chǔ)要素；和 確定收集的存儲(chǔ)要素是否匹配預(yù)先計(jì)算的參考值。
4. 如權(quán)利要求3的方法，其中，確定收集的存儲(chǔ)要素是否匹配預(yù)先計(jì)算的參考值由循 環(huán)冗余校驗(yàn)實(shí)現(xiàn)。
5. 如權(quán)利要求1的方法，其中，所述不同數(shù)目的邏輯分區(qū)包括比所述數(shù)目的邏輯分區(qū) 更小數(shù)目的邏輯分區(qū)。
6. 根據(jù)權(quán)利要求5的方法，其中，分配的測試實(shí)例的執(zhí)行包括： 加載所述不同數(shù)目的邏輯分區(qū)的邏輯分區(qū)的關(guān)聯(lián)上下文，其中，分配的測試實(shí)例分配 給邏輯分區(qū)內(nèi)的處理子核心；和 確定加載邏輯分區(qū)的關(guān)聯(lián)上下文是否導(dǎo)致頁錯(cuò)誤。
7. 如權(quán)利要求1的方法，進(jìn)一步包括： 確定物理資源到所述不同數(shù)目的邏輯分區(qū)的重新配置無錯(cuò)誤地出現(xiàn)； 以重新配置處理核心的物理資源到第二不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某 些測試實(shí)例給不同處理子核心； 重新配置物理資源到第二不同數(shù)目的邏輯分區(qū)中；和 執(zhí)行在第二不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例。
8. -種用于驗(yàn)證邏輯分區(qū)配置之間的切換的計(jì)算機(jī)程序產(chǎn)品，該計(jì)算機(jī)程序產(chǎn)品包 括： 一個(gè)或多個(gè)計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)和存儲(chǔ)在一個(gè)或多個(gè)計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)上的程序 指令，該程序指令包括： 將處理核心的物理資源劃分為一數(shù)目的邏輯分區(qū)的程序指令，其中每個(gè)邏輯分區(qū)具有 關(guān)聯(lián)的上下文且包括至少一個(gè)處理子核心； 將測試實(shí)例分配給每個(gè)處理子核心并執(zhí)行分配的測試實(shí)例的程序指令，其中每個(gè)分配 的測試實(shí)例包括用于驗(yàn)證處理子核心屬于的相應(yīng)的邏輯分區(qū)的關(guān)聯(lián)上下文的指令； 以重新配置處理核心的物理資源到不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某些測 試實(shí)例給不同處理子核心的程序指令； 重新配置物理資源到所述不同數(shù)目的邏輯分區(qū)中的程序指令；和 執(zhí)行在所述不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例的程序指令。
9. 如權(quán)利要求8所述的計(jì)算機(jī)程序產(chǎn)品，其中，所述重新配置物理資源到所述不同數(shù) 目的邏輯分區(qū)的程序指令包括使得所述不同數(shù)目的邏輯分區(qū)多于所述數(shù)目的邏輯分區(qū)的 程序指令。
10. 如權(quán)利要求8所述的計(jì)算機(jī)程序產(chǎn)品，其中，執(zhí)行分配的測試實(shí)例的程序指令包括 執(zhí)行以下的程序指令： 從與包括分配的測試實(shí)例分配到的處理子核心的邏輯分區(qū)相關(guān)聯(lián)的存儲(chǔ)器位置收集 預(yù)先指定的存儲(chǔ)要素；和 確定收集的存儲(chǔ)要素是否匹配預(yù)先計(jì)算的參考值。
11. 如權(quán)利要求10所述的計(jì)算機(jī)程序產(chǎn)品，其中，確定收集的存儲(chǔ)要素是否匹配預(yù)先 計(jì)算的參考值的程序指令包括通過循環(huán)冗余校驗(yàn)實(shí)現(xiàn)確定的程序指令。
12. 如權(quán)利要求8所述的計(jì)算機(jī)程序產(chǎn)品，其中，所述重新配置物理資源到所述不同數(shù) 目的邏輯分區(qū)中的程序指令包括使得所述不同數(shù)目的邏輯分區(qū)少于所述數(shù)目的邏輯分區(qū) 的程序指令。
13. 如權(quán)利要求12所述的計(jì)算機(jī)程序產(chǎn)品，其中，執(zhí)行分配的測試實(shí)例的程序指令包 括： 加載不同數(shù)目的邏輯分區(qū)的邏輯分區(qū)的關(guān)聯(lián)上下文的程序指令，其中，分配的測試實(shí) 例分配給邏輯分區(qū)內(nèi)的處理子核心；和 確定加載邏輯分區(qū)的關(guān)聯(lián)上下文是否導(dǎo)致頁錯(cuò)誤的程序指令。
14. 如權(quán)利要求8所述的計(jì)算機(jī)程序產(chǎn)品，進(jìn)一步包括存儲(chǔ)在一個(gè)或多個(gè)計(jì)算機(jī)可讀 存儲(chǔ)介質(zhì)上的程序指令，其： 確定物理資源到所述不同數(shù)目的邏輯分區(qū)的重新配置無錯(cuò)誤地出現(xiàn)； 以重新配置處理核心的物理資源到第二不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某 些測試實(shí)例給不同處理子核心； 重新配置物理資源到第二不同數(shù)目的邏輯分區(qū)中；和 執(zhí)行在第二不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例。
15. -種用于驗(yàn)證邏輯分區(qū)配置之間的切換的系統(tǒng)，該計(jì)算機(jī)系統(tǒng)包括： 一個(gè)或多個(gè)計(jì)算機(jī)處理器； 一個(gè)或多個(gè)計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)； 存儲(chǔ)在計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)上用于由一個(gè)或多個(gè)計(jì)算機(jī)處理器中的至少一個(gè)執(zhí)行的 程序指令，所述程序指令包括： 將處理核心的物理資源劃分為一數(shù)目的邏輯分區(qū)的程序指令，其中每個(gè)邏輯分區(qū)具有 關(guān)聯(lián)上下文且包括至少一個(gè)處理子核心； 將測試實(shí)例分配給每個(gè)處理子核心并執(zhí)行分配的測試實(shí)例的程序指令，其中每個(gè)分配 的測試實(shí)例包括用于驗(yàn)證處理子核心屬于的相應(yīng)的邏輯分區(qū)的關(guān)聯(lián)上下文的指令； 以重新配置處理核心的物理資源到不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某些測 試實(shí)例給不同處理子核心的程序指令； 重新配置物理資源到所述不同數(shù)目的邏輯分區(qū)中的程序指令；和 執(zhí)行在所述不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例的程序指令。
16. 如權(quán)利要求15所述的系統(tǒng)，其中，所述重新配置物理資源到所述不同數(shù)目的邏輯 分區(qū)中的程序指令包括使得所述不同數(shù)目的邏輯分區(qū)多于所述數(shù)目的邏輯分區(qū)的程序指 令。
17. 如權(quán)利要求15所述的系統(tǒng)，其中，執(zhí)行分配的測試實(shí)例的程序指令包括執(zhí)行以下 的程序指令： 從與包括分配的測試實(shí)例分配到的處理子核心的邏輯分區(qū)相關(guān)聯(lián)的存儲(chǔ)器位置收集 預(yù)先指定的存儲(chǔ)要素；和 確定收集的存儲(chǔ)要素是否匹配預(yù)先計(jì)算的參考值。
18. 如權(quán)利要求17所述的系統(tǒng)，其中，確定收集的存儲(chǔ)要素是否匹配預(yù)先計(jì)算的參考 值的程序指令包括通過循環(huán)冗余校驗(yàn)實(shí)現(xiàn)確定的程序指令。
19. 如權(quán)利要求15所述的系統(tǒng)，其中，所述重新配置物理資源到不同數(shù)目的邏輯分區(qū) 中的程序指令包括使得所述不同數(shù)目的邏輯分區(qū)少于所述數(shù)目的邏輯分區(qū)的程序指令。
20. 如權(quán)利要求15所述的系統(tǒng)，進(jìn)一步包括存儲(chǔ)在計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)上用于由一個(gè) 或多個(gè)計(jì)算機(jī)處理器中的至少一個(gè)執(zhí)行的程序指令，所述程序指令包括： 確定物理資源到所述不同數(shù)目的邏輯分區(qū)的重新配置無錯(cuò)誤地出現(xiàn)的程序指令； 以重新配置處理核心的物理資源到第二不同數(shù)目的邏輯分區(qū)的預(yù)期，重新分配至少某 些測試實(shí)例給不同處理子核心的程序指令； 重新配置物理資源到第二不同數(shù)目的邏輯分區(qū)的程序指令；和 執(zhí)行在第二不同數(shù)目的邏輯分區(qū)內(nèi)分配的測試實(shí)例的程序指令。
【文檔編號】G06F9/455GK104516769SQ201410515625
【公開日】2015年4月15日 申請日期:2014年9月29日 優(yōu)先權(quán)日:2013年10月1日
【發(fā)明者】M.杜薩納普迪, V.瑪里卡朱南 申請人:國際商業(yè)機(jī)器公司