procedure Marry processor module (
primary module: KMDS-Defs.logical 1D rep;
shadow module: KMDS-Defs.logical-1D-rep);
pragma outerface(VALUE, Marry_processor_module);
Parameters
primary module
- ID of designated primary module.
shadow module
ID of designated shadow module.
Operation
Marries a shadow processor module to a primary processor module.
Marriage implies the union of one AP-bus system to another or the creation of a two-bus system from two one-bus systems. After the marriage, this command enables the TOGGLE PRIMARY SHADOW bit and updates the SeT.
Exceptions
Ff _ Support-6
SCT Access.not in SCT -
-SCT_Access.reserved_by_others cannot be married
(~
(
procedure Set FRC split(
target: - KMDS_Defs.logical_ID_rep;
backplane: KMDS_Defs.carctcage_ID_rep.- KMDS_Defs.sys;
enable: ' boolean:= true);
pragma outer face (VALUE, Set_FRC_split);
Parameters
target backplarie enable
Operation
Logical ID of module to set master checker to toggle.
AP-Bus backplane target resident.
If true, enable FRC splitting. If false, disable FRC splitting.
Sets the FRC SPLITTING ENABLE bit in the FRC Splitting Control (FSC) register of the AP Bus agents.
target designates the module.
Exceptions
not FReed
module is_QMRed
SeT Access.not in seT
- -
-procedure Set MC toggle(
target: - KMDS Defs.logical ID rep;
backplane: KMDS-Defs.cardcage ID rep :=
enable: boolean := true); - -pragma outerface(VALUE, Set_MC_toggle);
Parameters
KMDS_Defs.sys;
target backplane enable
Logical ID of module to set master checker to toggle.
AP-Bus backplane target resident.
If true, enable MC toggle. If false, disable MC toggle.
Operation
Enables the TOGGLE MASTER CHECKER bit in the FRC register of the module's AP Bus agents.
target designates the module.
Exceptions
module is_QMRed not FReed
seT Access.not in seT -
-Fe _ Support-8
(
(
\
procedure Set transient waiting period(
max time:- KMDS Oefs.four bit field;
backplane: KMDS-Oefs.cardcage-ID rep := KMDS Defs.sys);
pragma outerface(VALUE, Set_transient=waiting_perIod);
Parameters
max time Timing value for MAXTIME register.
backplane Cardcage in which to change MAXTlME registers.
Operation
Sets the MAXTIME register of every AP Bus agent in a cardcage.
The register is set to the value in max _time. This procedure does not write the MAXTIME TEST bit. As a result, this procedure does not allow you to test the MAXTlME counter. See the BUn Hardware Reference Manual for infonnation about the MAXTlME counter.
Exceptions
FT.Support.operation_failed SCT Access.not in SCT
Security
Calls
Summary
Provides operations used for latent fault testing.
Access to this package is restricted to callers carrying a privileged ID. See your System Administrator for access.
Enable FRC Testing
- SetS the TESTING ENABLE bit in the test detection register.
Test error report
- Tests the priority circuits in the fault handling logic.
Test-parity_and_BERL
Tests the parity checking logic of the AP bus.
This package provides operations used for latent fault testing. Fault tolerant operations must be aware of which CPUs are operating as a shadow/primary or master/checker CPU. They must also know on which AP bus the boards are operating and must satisfy certain test con-ditions.
Exceptions
cannot run test
- caiiDot set up to run test.
Declarations
I
agent_locationstype agent locations is(
shdw checker busO, shdw-checker-bus1, shdw-master busO, shdw-master-bus1, prim-checker busO, prim-checker-bus1, prim-master busO, prim=master=bus1);
for agent locations shdw checker busO shdw-checker-bus1 shdw-master busO shdw-master-bus1 prim-checker busO pr~m=checker~bu~l
t-'J...J..lll 11lO"\"CJ.. JJ\.I.,v
prim=master=bus1
Lists all of the possible logical locations of an MCU or a BXU AP-Bus Agent in a logical module. The following list interprets the bit positions for this representation:
bit 0 Indicates the AP-bus component.
bit 1
type agent_test_list is array (agent_locations) of boolean;
Physical components within a logical module to test.
test all: constant agent_test_list := (others => true);
Available AP-Bus agents to test.
type agent_test_results is(
not run, passed, no response, faIled) ;
for agent_test_results'size use System.storage_unit;
Possible test results for each physical component.
Enumeration Literals:
not run passed no_response failed
Test was not run on component.
Component passed test.
Component did not respond to lAC which initiated test Component failed the test
type test_results is array(agent_locations) of agent_test_results;
pragma pack{test_results);
procedure Enable FRC Testing(
module 10: KMOS-Oefs.logical 10 rep);
pragma outerface(VALUE, Enable_FRC_Testing);
Parameters
module 1D Logical ID of module on which to enable testing.
Operation
Notes
Sets the TESTING ENABLE bit in the test detection register.
The FRC circuits are self-checking whenever this bit is set. There is no need for any special test sequences to check their operation. Once enabled, the FRC circuits continue to check themselves until an error report turns off the TESTING ENABLE bit. Any error report turns off the TESTING ENABLE bit and disables FRC testing. See the BUN Hardware Reference
Mnnunl for ;nfonn~t;on ~hnnt thp tp~t tiptpl't;on rPo1(!tpr
- - Q - - -
-This procedure modifies the contents of the COM Register. The FRC circuits use the value in this register when they check themselves. See the system monitor information in the BUN System Administrator's Guide for COM register information.
Exceptions
Ff_Testing-4
KMDS_Defs.unresponsive_target FT_Support.operation_failed
procedure Test_error_report(
module ID: KMDS Defs.logical_ID_rep;
passed: out boolean;
agent results: out test results;
agents to test: agent test list := test all);
pragma outerface(VALUE, Test=error_report);
-Parameters
module ID passed
Address of target AP-Bus agent(s).
If true, all agents passed test.
agent results
- Test results for each physical component.
agents to test
- - List of agents to be tested.
Operation
Tests the priority circuits in the fault handling logic.
In addition, it corrupts the parity comparison in the long form error report receiver, which results in an Error Reporting error. It corrupts the comparison of the two messages sent within an error report, which also results in an Error Reporting error. See the BiiN Diagnostic User's Guide for information about error reporting. The returned parameter is true if the test suc-ceeds, and false if the test fails. You can only use this test for testing BXUs and MCUs.
Exceptions
KMDS_Defs.unresponsive_target FT_Support.operation_failed
procedure Test-parity_and_BERL(
module ID: KMDS Defs.logical ID rep;
passed: out boolean; -
-agent results: out test results;
agents to test: agent test list := test all);
pragma outerface(VALUE,
Test=parity_and_BERL);-Parameters
module ID passed
Address of target AP-Bus agent(s).
If true, all agents passed test.
agent results
- Test results for each physical component.
agents to test
- - List of agents to be tested.
Operation
Tests the parity checking logic of the AP bus.
The package tests both parity trees of the parity checking logic of the AP bus. This operation also tests BXUs and MCUs. Since this test causes error reports, it also checks the functionality of the BERL. If the returned parameter is true, the test was successful; false if the test fails.
Exceptions
KMDS_Defs.unresponsive_target FT_Support.operation_failed