1. A control apparatus comprising:
a first code generation part for generating a first error detection code from first information which is output as a result of execution of a predetermined program conducted by a first processor;
a second code generation part for generating a second error detection code from second information which is output as a result of execution of the program conducted by a second processor configured so as to output a same computation result as the first processor does; and
a comparison control part for detecting whether the first information is same as the second information, detecting whether the first error detection code is same as the second error detection code, and controlling writing the first information or the second information into a main memory on the basis of a result of the detection.
2. The control apparatus further comprising a correction code generation part for generating an error correction code on the basis of either the first information or the second information and either the first error detection code or the second error detection code when the comparison control part has detected that the first information is the same as the second information and the first error detection code is the same as the second error detection code,
wherein the correction code generation part controls writing the error correction code generated on the basis of the result of the detection conducted by the comparison control part into the memory.
3. The control apparatus according to claim 2, further comprising an interrupt control part for registering a cause based on the result of the detection conducted by the comparison control part.
4. The control apparatus according to claim 3, wherein the interrupt control part issues an interrupt request to the first processor and the second processor on the basis of the registered cause.
5. A control apparatus comprising:
a comparison control part for detecting whether first information output by a first processor as a result of execution of a predetermined program is same as second information output by a second processor as a result of execution of the program configured so as to output a computation result which is same as that of the first processor, and controlling whether to read out stored information comprising first stored information and second stored information which is an error detection code of the first stored information from a main memory, on the basis of a result of the detection;
a first code generation part responsive to control exercised by the comparison control part to read out the stored information, for generating a first error detection code from the first stored information and the first information and controlling inputting the stored information which is read out to the first processor, on the basis of the first error detection code and the second stored information; and
a second code generation part responsive to control exercised by the comparison control part to read out the stored information, for generating a second error detection code from the first stored information and the second information and controlling inputting the stored information which is read out to the second processor, on the basis of the second error detection code and the second stored information.
6. The control apparatus according to claim 5, wherein
the stored information further comprises third stored information which is an error correction code generated on the basis of the first stored information and the second stored information, and
the control apparatus further comprises a correction code generation part for generating an error correction code from the first information and the second stored information, detecting whether the generated error correction code is same as the third stored information, and controlling inputting the first information to the first processor and the second processor on the basis of a result of the detection.
7. The control apparatus according to claim 6, further comprising an interrupt control part for registering a cause based on a result of detection conducted by the comparison control part, the first code generation part, the second code generation part, or the correction code generation part.
8. The control apparatus according to claim 7, wherein the interrupt control part issues an interrupt request to the first processor and the second processor on the basis of the registered cause.
9. A control method comprising the steps of:
generating a first error detection code from first information which is output as a result of execution of a predetermined program conducted by a first processor;
generating a second error detection code from second information which is output as a result of execution of the program conducted by a second processor configured so as to output a same computation result as the first processor does; and
detecting whether the first information is same as the second information, detecting whether the first error detection code is same as the second error detection code, and controlling writing the first information or the second information into a main memory on the basis of a result of the detection.
10. A control method comprising the steps of:
detecting whether first information output by a first processor as a result of execution of a predetermined program is same as second information output by a second processor as a result of execution of the program configured so as to output a computation result which is same as that of the first processor, and controlling whether to read out stored information comprising first stored information and second stored information which is an error detection code of the first stored information from a main memory on the basis of a result of the detection;
responsive to control exercised to read out the stored information, generating a first error detection code from the first stored information and the first information and controlling inputting the stored information which is read out to the first processor on the basis of the first error detection code and the second stored information; and
responsive to control exercised to read out the stored information, generating a second error detection code from the first stored information and the second information and controlling inputting the stored information which is read out to the second processor on the basis of the second error detection code and the second stored information.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A method for constructing a building having upright columns and slabs transversely spanning and supported by the columns, the method comprising the steps of:
a) providing column forms bounding spaces for the columns;
b) arranging pre-cast beams so as to span the distance between adjacent forms at a predetermined level of the columns, the beams forming a transverse grid of spaced beams, the ends of each beam intruding into the space bounded by a form;
c) pouring concrete into the forms to form columns that envelop the beam ends;
d) providing elongated reinforcing elements that extend (1) within the beams along the length of the beams and (2) between the beam ends within the forms, the reinforcing elements being unbonded to the beams and to the concrete in the formed columns, whereby the reinforcing elements can move within the beams and the columns during a post-tensioning operation;
e) arranging slab forms transversely between the beams and the columns at the predetermined level of the columns; and
f) pouring concrete into the slab forms to form the slab.
2. The method as recited in claim 1, wherein passages for the reinforcing elements are provided in the beams, and further comprising the following step performed before step c):
providing sleeves in the column forms, the sleeves extending between confronting beam ends and disposed in alignment with the passages,
the elongated reinforcing elements provided in step d) being inserted through the passages and through the sleeves.
3. The method as recited in claim 1, and further comprising the following steps:
providing unbonded elongated reinforcing elements within a floor slab, the reinforcing elements within the floor slab extending into and terminating in perimeter beams located at a perimeter edge of the floor slab, a first set of the reinforcing elements within the floor slab oriented in a first direction, and a second set of the reinforcing elements within the floor slab oriented in a second direction that is generally orthogonal to the first direction;
providing anchoring elements secured to the perimeter beams for gripping the ends of the reinforcing elements within the floor slab and for effecting a post-tensioning operation on the reinforcing elements within the floor slab; and
providing anchoring elements within perimeter columns located at a perimeter edge of the floor slab for gripping the ends of the reinforcing elements in the beams and for effecting a post-tensioning operation on the reinforcing elements in the beams.
4. A method for constructing a building having upright columns and slabs transversely spanning and supported by the columns, the method comprising the steps of:
a) erecting pre-cast column sections for supporting a floor, the column sections having beam pockets formed therein and being provided with metal inserts at the level of the beam pockets;
b) arranging pre-cast beams so as to span the distance between adjacent column sections at the level of the beam pockets, the beams forming a transverse grid of spaced beams, the ends of each beam intruding into the beam pockets and being provided with metal inserts;
c) fastening the metal inserts in the beams to the metal inserts in the column sections;
d) providing elongated reinforcing elements that extend (1) within the beams along the length of the beams and (2) between the beam ends within the column sections, the reinforcing elements being unbonded to the beams and to the concrete in the columns, whereby the reinforcing elements can move within the beams and the columns during a post-tensioning operation;
e) arranging slab forms transversely between the beams and the columns; and
f) pouring concrete into the slab forms to form the slab.
5. The method as recited in claim 4, and further comprising the following steps:
providing unbonded elongated reinforcing elements within a floor slab, the reinforcing elements within the floor slab extending into and terminating in perimeter beams located at a perimeter edge of the floor slab, a first set of the reinforcing elements within the floor slab oriented in a first direction, and a second set of the reinforcing elements within the floor slab oriented in a second direction that is generally orthogonal to the first direction;
providing anchoring elements secured to the perimeter beams for gripping the ends of the reinforcing elements within the floor slab and for effecting a post-tensioning operation on the reinforcing elements within the floor slab; and
providing anchoring elements within perimeter columns located at a perimeter edge of the floor slab for gripping the ends of the reinforcing elements in the beams and for effecting a post-tensioning operation on the reinforcing elements in the beams.