Simulating synchronous processors. Technical report
                            Technical Report
                            ·
                            
                            
                            
                    
                                
                                OSTI ID:6642219
                                
                            
                        This paper shows how a distributed system with synchronous processors and asynchronous message delays can be simulated by a system with both asynchronous processors and asynchronous message delays in the presence of various types of processor faults. Consequently, the result of Fischer, Lynch and Paterson (1985), that no consensus protocol for asynchronous processors and communication can tolerate one failstop fault, implies a result of Dolev, Dwork, and Stockmeyer (1987), that no consensus protocol for synchronous processors and asynchronous communication can tolerate one failstop fault.
- Research Organization:
- Massachusetts Inst. of Tech., Cambridge (USA). Lab. for Computer Science
- OSTI ID:
- 6642219
- Report Number(s):
- AD-A-197410/4/XAB; MIT/LCS/TM-359
- Country of Publication:
- United States
- Language:
- English
Similar Records
                                
                                
                                    
                                        
                                        Achieving consensus in fault-tolerant distributed computer systems: protocols, lower bounds, and simulations
                                        
Method for securing concurrence among asynchronous processors
Synchronizing large vlsi processor arrays
                        
                                            Book
                                            ·
                                            Wed Dec 31 23:00:00 EST 1986
                                            
                                            ·
                                            OSTI ID:7231018
                                        
                                        
                                        
                                    
                                
                                    
                                        Method for securing concurrence among asynchronous processors
                                            Journal Article
                                            ·
                                            Sun Aug 01 00:00:00 EDT 1982
                                            · IBM Tech. Disclosure Bull.; (United States)
                                            ·
                                            OSTI ID:5214249
                                        
                                        
                                        
                                    
                                
                                    
                                        Synchronizing large vlsi processor arrays
                                            Book
                                            ·
                                            Fri Dec 31 23:00:00 EST 1982
                                            
                                            ·
                                            OSTI ID:5290926
                                        
                                        
                                        
                                    
                                
                            Related Subjects
                                
                                    
                                        
                                        
                                            
                                                99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
990300 -- Information Handling
COMMUNICATIONS
COMPUTERIZED SIMULATION
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DISTRIBUTED DATA PROCESSING
DOCUMENT TYPES
FAULT TOLERANT COMPUTERS
FAULT TREE ANALYSIS
PROCESSING
PROGRESS REPORT
SIMULATION
SYSTEM FAILURE ANALYSIS
SYSTEMS ANALYSIS
                                            
                                        
                                    
                                
                            
                        990210* -- Supercomputers-- (1987-1989)
990300 -- Information Handling
COMMUNICATIONS
COMPUTERIZED SIMULATION
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DISTRIBUTED DATA PROCESSING
DOCUMENT TYPES
FAULT TOLERANT COMPUTERS
FAULT TREE ANALYSIS
PROCESSING
PROGRESS REPORT
SIMULATION
SYSTEM FAILURE ANALYSIS
SYSTEMS ANALYSIS