发明授权
- 专利标题: System for monitoring and undoing execution of instructions beyond a serialization point upon occurrence of in-correct results
- 专利标题(中): 用于在出现正确结果后监视和撤销指令超出序列化点执行的系统
-
申请号: US641987申请日: 1991-01-16
-
公开(公告)号: US5257354A公开(公告)日: 1993-10-26
- 发明人: Steven T. Comfort , John S. Liptay , Charles F. Webb
- 申请人: Steven T. Comfort , John S. Liptay , Charles F. Webb
- 申请人地址: NY Armonk
- 专利权人: International Business Machines Corporation
- 当前专利权人: International Business Machines Corporation
- 当前专利权人地址: NY Armonk
- 主分类号: G06F9/38
- IPC分类号: G06F9/38 ; G06F11/28 ; G06F9/30 ; G06F11/30
摘要:
A system whereby a central processor continues operation beyond a serialization point before the architecture defines that it is permissible to do so. According to the system, it is ascertained whether correct results are being achieved after the serializing point. If some doubt develops about the correctness of the results, the processor is returned to its status at the serialization point and the processing is repeated. In one embodiment, correctness of results is determined by way of a monitoring mechanism which depends on the fact that interactions between CPUs are confined to references to storage. The operations which are performed prior to the time that the architecture allows them, are restricted to ones which depend on fetches made from storage. The needed assurance of correct operation is gained by monitoring the storage locations from which fetches are made on behalf of instructions which logically follow the serializing operation, but which are made prior to the time that fetching is allowed to resume. If those storage locations are not changed during the time between when the first such fetch is actually made from one of them, and the time that fetching is allowed to resume, then the results of the processing which was done by the CPU (based on those fetches) must be exactly the same as if all of the fetches and processing was done in a single instant at the moment that the fetches became allowed.
公开/授权文献
信息查询