Silent Data Corruption (“SDC”) is a difficult problem in the computing industry. In general, SDC refers to data that is corrupt, but which the system does not detect as being corrupt. SDCs primarily occur due to one of two factors: a) a broken hardware unit or b) a “cosmic” event that causes values to change somewhere in the system. Broken hardware means that a “trusted” piece of hardware is silently giving wrong answers. For example, the arithmetic unit in a processor is instructed to add 1+1 and it returns the incorrect answer 3 instead of the correct answer 2. An example of a cosmic event is when a charged particle (e.g., alpha particle or cosmic ray) strikes a region of a computing system and causes some bits to change value (e.g., from a 0 to a 1 or from a 1 to a 0).
Numerous techniques have been developed for detecting SDC to prevent the SDC from remaining “silent” or “undetected” within a system, as well as preventing such SDC from propagating through the system. Examples of these techniques include parity-based mechanisms and error correcting codes (ECCs) on buses and memory locations, as well as checksums and/or cyclic redundancy checks (CRC) over regions of memory. Parity-based mechanisms are often employed in processors, wherein a parity bit is associated with each block of data when it is stored. The parity bit is set to one or zero according to whether there is an odd or even number of ones in the data block. When the data block is read out of its storage location, the number of ones in the block is compared with the parity bit. A discrepancy between the values indicates that the data block has been corrupted. ECCs are parity-based mechanisms that track additional information for each data block. The additional information allows the corrupted bit(s) to be identified and corrected.
Parity/ECC mechanisms have been employed extensively for caches, memories, and similar data storage arrays. In the remaining circuitry on a processor, such as data paths, control logic, execution logic, and registers (the “execution core”), it is more difficult to apply parity/ECC mechanisms for SDC detection. Thus, there is typically some unprotected area on a processor in which data corruption may occur and the parity/ECC mechanisms do not prevent the corrupted data from actually making it out onto the system bus. One approach to SDC detection in an execution core (or other unprotected area of the processor chip) is to employ “lockstep processing.” Generally, in lockstep processing two processors are paired together, and the two processors perform exactly the same operations and the results are. compared (e.g., with an XOR gate). If there is ever a discrepancy between the results of the lockstep processors, an error is signaled. The odds of two processors experiencing the exact same error at the exact same moment (e.g., due to a cosmic event occurring in both processors at exactly the same time or due to a mechanical failure occurring in each processor at exactly the same time) is nearly zero.
A pair of lockstep processors may, from time to time, lose their lockstep. “Loss of lockstep” (or “LOL”) is used broadly herein to refer to any error in the pair of lockstep processors. One example of LOL is detection of data corruption (e.g., data cache error) in one of the processors by a parity-based mechanism and/or ECC mechanism. Another example of LOL is detection of the output of the paired processors not matching, which is referred to herein as a “lockstep mismatch.” It should be recognized that in some cases the data in the cache of a processor may become corrupt (e.g., due to a cosmic event), which once detected (e.g., by a parity-based mechanism or ECC mechanism of the processor) results in LOL. Of course, unless such corrupt data is acted upon by the processor, the output of that processor will not fail to match the output of its paired processor and thus a “lockstep mismatch” will not occur. For example, suppose that a value of “1” is stored to first location of cache in each of a pair of lockstep processors and a value of “1” is also stored to a second location of cache in each of the pair of lockstep processors. Further suppose that a cosmic event occurs for a first one of the processors, resulting in the first location of its cache being changed from “1” to “0”, and thus corrupted. This data corruption in the first processor is a LOL for the pair. An error detection mechanism of this first processor may detect the data corruption, thus detecting the LOL. If the processors are instructed to act on the data of their first cache locations, then a lockstep mismatch will occur as the output of each of the processors will not match. For instance, if the processors each add the data stored to the first location of their respective cache with the data stored to the second location of their respective cache, the first processor (having the corrupt data) will output a result of “1” (0+1=1) while the second processor outputs a result of “2” (1+1=2), and thus their respective-outputs will not match.
By employing such techniques as parity-based error detection mechanisms and output comparisons for lockstep paired processors, SDC detection can be enhanced such that practically no SDC occurring in a processor goes undetected (and thus such SDC does not remain “silent”) but instead results in detection of LOL. Traditionally, a pair of processors are configured in hardware as either a lockstep pair of processors (that process instructions in lockstep) or separate processors that do not execute in lockstep. For instance, a “permanent” method has traditionally been used to turn on or off lockstep on a processor pair. An example of such a permanent method is a fuse setting in the processor module that is set at the factory to configure the processor module to operate in lockstep mode, or fabricating the chip such that the processor module always runs in lockstep mode. Thus, in traditional systems, a system administrator has not had the flexibility to configure (e.g., via a user interface) whether a pair of processors in the system are to operate in lockstep or not. That is, prior systems do not adapt the processors′ operation according to configuration settings stored to the system that specify whether the processors are to operate in lockstep or not.
According to one embodiment, a system comprises a processor module that supports lockstep mode of operation. The system further comprises non-volatile data storage having stored thereto configuration information specifying whether the processor module is desired to operate in lockstep mode.
According to one embodiment, a system comprises a processor module that is configurable to have a lockstep mode of operation enabled or disabled. The system further comprises means for storing configuration information that specifies whether lockstep mode of operation is desired to be enabled or disabled for the processor module. The system further comprises means for configuring the processor module to have its lockstep mode of operation enabled or disabled according to the configuration information.
According to one embodiment, a method comprises storing configuration information to non-volatile data storage of a system, wherein the configuration information specifies whether lockstep mode of operation is desired to be enabled or disabled for a processor module of the system. The method further comprises causing, by the system, the processor module to have its lockstep mode enabled or disabled as specified by the configuration information.
According to one embodiment, a method comprises storing configuration information to non-volatile data storage of a system, wherein the configuration information specifies whether lockstep mode of operation is desired to be enabled for a processor module of the system. The method further comprises, during boot-up of the system, system firmware determining whether the processor module has its lockstep mode of operation configured consistent with the configuration information, and, if determined that the processor module is not configured consistent with the configuration information, the firmware causing the processor module to change its lockstep mode configuration.
Turning to
System 10 includes OS 11, as well as master processor 12A and slave processor 12B (collectively referred to as a lockstep processor pair 12). In certain implementations the lockstep processor pair 12 may be implemented on a single silicon chip, which is referred to as a “dual core processor” in which master processor 12A is a first core and slave processor 12B is a second core. Further, lockstep processor pair 12 may be referred to as a processor or CPU “module” because it includes a plurality of processors (12A and 12B) in such module.
Master processor 12A includes cache 14A, and slave processor 12B includes cache 14B. OS 11 and lockstep processor pair 12 are communicatively coupled to bus 16. Typically, master processor 12A and slave processor 12B are coupled to bus 16 via an interface that, if lockstep mode is enabled for processor module 12, allows each of such processors to receive the same instructions to process, but such interface only communicates the output of master processor 12A back onto bus 16. When lockstep mode is enabled for processor module 12, the output of slave processor 12B is used solely for checking the output of mater processor 12A. While only one processor module 12 is shown for simplicity in the example of
If lockstep mode is disabled for module 12, then processors 12A and 12B may operate as individual processors that are each available for receiving separate instructions to process. Accordingly, even though processors 12A and 12B are referred to herein as “master” and “slave,” this relationship only exists if lockstep mode is enabled for the processor module 12. When lockstep mode is disabled, processors 12A and 12B have equal status, and may each operate as a “master” with no slave. Thus, if in the above-mentioned implementation in which system 10 includes 64 processor modules, if lockstep mode is disabled for the 64 processor modules, 128 total processors may be available for performing parallel processing for the system.
In the example shown in
Lockstep mismatch is one way of detecting a LOL between the master processor 12A and slave processor 12B. A detection of an error by either of error detect logic 13A and 13B also provides detection of LOL in the processors 12A and 12B. Because the detection of LOL by error detect logic 13A and 13B may occur before an actual lockstep mismatch occurs, the detection of LOL by error detect logic 13A and 13B may be referred to as a detection of a “precursor to lockstep mismatch”. In other words, once an error (e.g., corrupt data) is detected by error detect logic 13A or 13B, such error may eventually propagate to a lockstep mismatch error that is detectable by error detect logic 13C.
If lockstep mode is enabled for processor module 12, error detect logic 13C is activated to detect occurrences of lockstep mismatches. Also, in lockstep mode, error detect logic 13A and 13B are active for detecting errors, such as data cache errors, within master processor 12A and slave processor 12B, respectively. If lockstep mode is disabled for processor module 12, error detect logic 13C is de-activated, and thus occurrences of lockstep mismatches are not detected. Error detect logic 13C may be de-activated in many ways, but the overall effect is that a mismatch in the output of processors 12A and 12B does not result in an error for processor module 12. Of course, error detect logic 13A and 13B may still be active even if lockstep is disabled for processor module 12 to enable errors (e.g., parity errors) occurring within master processor 12A or slave processor 12B to be detected for those individual processors. Thus, when lockstep mode is disabled, errors within processor 12A that are not detected by error detect logic 13A go unnoticed, and similarly errors within processor 12B that are not detected by error detect logic 13B go unnoticed. However, if lockstep mode is enabled, error detect logic 13C detects lockstep mismatches between master processor 12A and slave processor 12B even if the error detect logic of the processor in which the error occurred (e.g., error detect logic 13A of master processor 12A) fails to detect an error, and thus enabling lockstep further reduces the chances of silent data corruption occurring.
In some instances, it may be desirable to disable lockstep mode for certain processors (or at certain times) and enable lockstep mode for certain other processors (or at certain other times). As an example, a system may be partitioned into a plurality of partitions, where each partition includes one or more processor modules. In this case, if desired, a first partition may be configured to use lockstep mode, and another partition may be configured such that its processor module(s) do not use lockstep mode processing. For instance, a first partition may be implemented for supporting a web server, in which SDC is not a critical concern. Thus, lockstep mode of operation may be disabled for the processor module(s) of this first partition, thereby increasing the computing resources available on that partition. Another partition may implement a transaction server, in which case SDC is a greater concern. Thus, lockstep mode of operation may be enabled for the processor module(s) of this other partition to provide greater protection against SDC.
Firmware 15 is also included in system 10, which in this embodiment is used to determine the desired mode (lockstep enabled or lockstep disabled) for the processor module 12 and boot the processor module 12 in the desired mode. In this example, firmware 15 determines the desired mode based on configuration information 18 stored to non-volatile data storage, which in this example is non-volatile random access memory (NVRAM). Accordingly, configuration information 18 specifies whether lockstep mode is to be enabled or disabled for processor module 12. In certain embodiments, a user interface 19 is provided, which enables a system administrator to input the configuration information 18.
In the illustrated embodiment, when system 10 is booting up, firmware 15 determines in operational block 101 whether lockstep mode is desired for processor module 12. This determination is made based on the configuration information 18. Firmware 15 can likewise determine the desired operating mode for any other processor modules included in system 10. If determined from configuration information 18 in block 101 that lockstep mode is desired for processor module 12, firmware 15 triggers the appropriate actions in block 102 to boot up processor module 12 with lockstep mode enabled. If determined from configuration information 18 in block 101 that lockstep mode is not desired for processor module 12, firmware 15 triggers the appropriate actions in block 103 to boot up processor module 12 with lockstep mode disabled.
In certain embodiments, processors 12A and 12B are processors from the Itanium Processor Family (IPF). IPF is a 64-bit processor architecture co-developed by Hewlett-Packard Company and Intel Corporation, which is based on Explicitly Parallel Instruction Computing (EPIC). IPF is a well-known family of processors. IPF includes processors such as those having the code names of MERCED, MCKINLEY, and MADISON. In addition to supporting a 64-bit processor bus and a set of 128 registers, the 64-bit design of IPF allows access to a very large memory (VLM) and exploits features in EPIC. While a specific example implementation of one embodiment is described below for the IPF architecture, embodiments of firmware for using information relating to a detected LOL for determining its responsive action(s) are not limited in application to an IPF architecture, but may be applied as well to other architectures (e.g., 32-bit processor architectures, etc.).
Processor architecture generally comprises corresponding supporting firmware, such as firmware 15 of system 10. For example, as described further below in conjunction with the specific example of
Firmware 15 may be employed in a system such as described in concurrently filed and commonly assigned U.S. patent application Ser. No. ______ [Attorney Docket No. 200404941-1] titled “SYSTEM AND METHOD FOR PROVIDING FIRMWARE RECOVERABLE LOCKSTEP PROTECTION,” the disclosure of which is incorporated herein by reference. This referenced U.S. patent application provides techniques that may be utilized by firmware 15 for recovering, during system runtime (i.e., without crashing the system), from LOL detected for a processor. In certain embodiments, if lockstep mode is enabled for processor module 12, the firmware 15 may utilize the techniques disclosed in U.S. patent application Ser. No. ______ [Attorney Docket No. 200404941-1] titled “SYSTEM AND METHOD FOR PROVIDING FIRMWARE RECOVERABLE LOCKSTEP PROTECTION” for recovering from a detected LOL for such processor module.
It should be noted that while the above description of PAL and SAL is specific to the IPF architecture, other architectures may include a “PAL” and “SAL” even though such firmware layers may not be so named or specifically identified as separate layers. In general, such a PAL layer may be included in a given system architecture to provide an interface to the processor hardware. The interface provided by the PAL layer is generally dictated by the processor manufacturer. Similarly, a SAL layer may be included in a given system architecture to provide an interface from the operating system to the hardware. That is, the SAL may be a system-specific interface for enabling the remainder of the system (e.g., OS, etc.) to interact with the non-processor hardware on the system and in some cases be an intermediary for the PAL interface.
The boot-up process of a traditional IPF system, for example, proceeds as follows: When the system is first powered on, there are some sanity checks (e.g., power on self-test) that are performed by microprocessors included in the system platform, which are not the main system processors that run applications. After those checks have passed, power and clocks are given to a boot processor (which may, for example, be master processor 12A). The boot processor begins executing code out of the system's Read-Only Memory (ROM) (not specifically shown in
After it has performed its duty of initializing the processor(s), PAL 201 passes control of system 10A to SAL 202. It is the responsibility of SAL 202 to discover what hardware is present on the system platform, and initialize it to make it available for the OS 11. When main memory is initialized and functional, the firmware 15A is copied into the main memory. Then, control is passed to EFI (not shown), which is responsible for activating boot devices, which typically includes the disk. The EFI reads the disk to load a program into memory, typically referred to as an operating system loader. The EFI loads the OS loader into memory, and then passes it control of system 10A by branching the boot processor into the entry point of such OS loader program.
The OS loader program then uses the standard firmware interfaces to discover and initialize system 10A further for control. One of the things that the OS loader typically has to do in a multi-processor system is to retrieve control of the other processors (those processors other than the boot processor). For instance, at this point in a multi-processor system, the other processors may be executing in do-nothing loops. In an ACPI-compatible system, OS 11 makes ACPI calls to parse the ACPI tables to discover the other processors of a multi-processor system in a manner as is well-known in the art. Then OS 11 uses the firmware interfaces to cause those discovered processors to branch into the operating system code. At that point, OS 11 controls all of the processors and the firmware 15A is no longer in control of system 10A.
As OS 11 is initializing, it has to discover from the firmware 15A what hardware is present at boot time. And in the ACPI standards, it also discovers what hardware is present or added or removed at run-time. Further, the supporting firmware (PAL, SAL, and EFI) are also used during system runtime to support the processor. For example, OS 11 may access a particular function of master processor 12A via the supporting firmware 15A, such as querying PAL 201 for the number, size, etc., of the processor's cache 14A. Some other well-known firmware functions that OS 11 may employ during runtime include: (a) PAL 201 may be invoked to configure or change processor features such as disabling transaction queuing (PAL_BUS_SET_FEATURES); (b) PAL 201 may be invoked to flush processor caches (PAL_CACHE_FLUSH); (c) SAL 202 may be invoked to retrieve error logs following a system error (SAL_GET_STATE_INFO, SAL_CLEAR_STATE_INFO); (d) SAL 202 may be invoked as part of hot-plug sequences in which new I/O cards are installed into the hardware (SAL_PCI_CONFIG_READ, SAL_PCI_CONFIG_WRIT); (e) EFI may be invoked to change the boot device path for the next time the system reboots (SetVariable); (f) EFI may be invoked to change the clock/calendar hardware settings; and (g) EFI may be invoked to shutdown the system (ResetSystem).
A “device tree” 203 is provided in this example. Device tree 203 is stored to NVRAM and includes the configuration information 18 described above. In this example, firmware 1 SA builds the device tree 203 as it discovers what hardware is installed in the system. Firmware then converts this information to the ACPI tables format and presents it to OS 11 so that OS 11 can know what is installed in the system.
According to certain embodiments, the device tree 203 specifies whether lockstep mode is enabled for the system's processors. For instance, in certain embodiments, a user (e.g., the system administrator can designate) via user interface 19 whether lockstep mode is to be enabled for the system's processors. Accordingly, rather than the processors included in a processor module (e.g., processors 12A and 12B of pair 12) being fixed as lockstep processors, according to certain embodiments if the lockstep mode is not enabled for those processors, the processors may each be presented to the OS (e.g., during the system boot-up process) as available resources, as opposed to the slave processor being used solely for redundant processing of instructions received by the master processor.
A simple example of device tree 203 is shown below in Table 1:
During boot-up of the system, firmware 15A can access device tree 203 and determine which processor module(s) have lockstep enabled, and firmware 15A can thus ensure that the processor module(s) boot-up in the desired operating mode.
Turning to
As described above, in certain embodiments, the configuration parameter(s) can be dynamically changed within the system. For instance, a user (e.g., system administrator) may interact with a graphical user interface to change the configuration parameter(s) as desired, in certain embodiments. Additionally or alternatively, application programs or processes may, in certain embodiments, be implemented to access the non-volatile data storage and change the configuration parameter(s) stored thereto under certain circumstances (e.g., based on certain conditions becoming true). In certain embodiments, access to the configuration parameter data may be restricted to only authorized personnel (e.g., system administrator) and/or authorized programs/processes. Of course, any techniques now known or later developed for accessing, changing, protecting, and/or otherwise managing configuration data may be employed for the configuration parameter(s) as desired.
The SAL firmware layer determines in block 305 whether the current lockstep mode of the processor module(s) matches the lockstep mode of operation desired for the processor module(s). Again, in certain embodiments, this determination can be made on a processor module-by-processor module basis. For instance, if the configuration parameter of a given processor module specifies that lockstep mode of operation is desired to be enabled, the SAL firmware layer determines in block 305 whether the lockstep mode of operation is currently enabled for the given processor module. A PAL call may be made to check the processor's hardware configuration to determine whether such processor is currently configured with lockstep mode enabled. In certain embodiments, a configuration parameter may be provided on a per partition basis to indicate whether lockstep mode is desired to be enabled for all processors of the corresponding partition. Thus, the determination made by SAL in block 305 may, in certain embodiments, determine whether the lockstep mode of all processors of a given partition matches the lockstep mode that is desired for the partition that is booting up.
If determined in block 305 that the current lockstep mode of the processor module(s) matches their respective desired lockstep mode, operation advances to block 306 whereat the normal SAL system initialization is performed. That is, because the processor module is configured in the desired mode of operation, the system initialization process continues. However, if determined in block 305 that the current lockstep mode of a processor module does not match the desired lockstep mode of that processor module, then operation advances to block 307 where SAL calls PAL to set the desire lockstep mode of the processor module. For instance, if desired that the processor module's lockstep mode be enabled and such processor's lockstep mode is determined as disabled, then PAL is called to turn on the lockstep mode for the processor module. If desired that the processor module's lockstep mode be disabled and such processor's lockstep mode is determined as enabled, then PAL is called to turn off the lockstep mode for the processor module. Then, in block 308, SAL verifies that all of the processor modules are configured properly (as specified by the configuration parameter(s)), and the firmware triggers a reset of the processor modules. Thus, operation returns to block 302 whereat the processor modules reset. Operational blocks 303 and 304 are again performed. However, this pass through the operational flow will result in continuing with the normal SAL system initialization in block 306 because it will be determined in block 305 that the processor modules have the desired lockstep operating mode.
While a specific example operational flow is shown above for an IPF architecture, it should be understood that embodiments herein are not limited to this illustrated operational flow or to an IPF processor architecture. Rather, this is intended solely as an example of a specific application of the concept described herein.
The embodiments provided herein advantageously enable a system to change the configuration of lockstep mode of a processor module. That is, the system can, based on configuration parameters stored to non-volatile data storage (e.g., NVRAM), selectively enable or disable lockstep mode of operation of a processor module. In modem computing environments, manufactures typically do not know how the processor module should be configured at fabrication or install time. Embodiments provided herein enable a customer (e.g., system administrator) to choose to enable or disable the lockstep operating mode of a processor module as desired (e.g., as their computing requirements change). Requiring hardware to be changed or physically manipulated by a field service person to obtain the desired configuration would be undesirably expensive and/or time consuming in most cases. Thus, embodiments provided herein beneficially provide flexibility and allow customers to configure lockstep mode on processors that support it at any time. For instance, processor lockstep mode can be configured/deconfigured at any time from a user interface with just a reboot, in accordance with the example embodiments described above.
The present application is related to the following concurrently filed and commonly assigned U.S. patent applications: Ser. No. ______ [Attorney Docket No. 200404944-1] titled “SYSTEM AND METHOD FOR ESTABLISHING A SPARE PROCESSOR FOR RECOVERING FROM LOSS OF LOCKSTEP IN A BOOT PROCESSOR”; Ser. No. ______ [Attorney Docket No. 200404946-1] titled “SYSTEM AND METHOD FOR USING INFORMATION RELATING TO A DETECTED LOSS OF LOCKSTEP FOR DETERMINING A RESPONSIVE ACTION”; Ser. No. ______ [Attorney Docket No. 200404941-1] titled “SYSTEM AND METHOD FOR PROVIDING FIRMWARE RECOVERABLE LOCKSTEP PROTECTION”; Ser. No. ______ [Attorney Docket No. 200404973-1 titled “SYSTEM AND METHOD FOR SWITCHING THE ROLE OF BOOT PROCESSOR TO A SPARE PROCESSOR RESPONSIVE TO DETECTION OF LOSS OF LOCKSTEP IN A BOOT PROCESSOR”; Ser. No. ______ [Attorney Docket No. 200404971-1] titled “SYSTEM AND METHOD FOR REESTABLISHING LOCKSTEP FOR A PROCESSOR MODULE FOR WHICH LOSS OF LOCKSTEP IS DETECTED”; Ser. No. ______ [Attorney Docket No. 200404970-1] titled “SYSTEM AND METHOD FOR SYSTEM FIRMWARE CAUSING AN OPERATING SYSTEM TO IDLE A PROCESSOR”; Ser. No. ______ [Attorney Docket No. 200404972-1] titled “SYSTEM AND METHOD FOR REINTRODUCING A PROCESSOR MODULE TO AN OPERATING SYSTEM AFTER LOCKSTEP RECOVERY”; and Ser. No. ______ [Attorney Docket No. 200404974-1] titled “SYSTEM AND METHOD FOR MAINTAINING IN A MULTI-PROCESSOR SYSTEM A SPARE PROCESSOR THAT IS IN LOCKSTEP FOR USE IN RECOVERING FROM LOSS OF LOCKSTEP FOR ANOTHER PROCESSOR”, the disclosures of which are hereby incorporated herein by reference.