home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.arch      Apparently more than just beeps & boops      131,241 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 130,720 of 131,241   
   Anton Ertl to Michael S   
   Re: A64Fx TSO proof link (was: Variable-   
   31 Dec 25 18:14:20   
   
   From: anton@mips.complang.tuwien.ac.at   
      
   Michael S  writes:   
   >BTW, can you find a proof link for A64FX being TSO.   
   >My understanding is that you learned it from Jonathan Corbet who in turn   
   >learned it from Hector Martin.   
      
   Correct.   
      
   >But what is the source of Hector Martin?   
   >I certainly don't see it in Fujitsu's "A64FX Microarchitecture Manual"   
   >or in the Datasheet.   
      
   In that case, I would ask Hector Martin, if I wanted proof.   
      
   - anton   
   --   
   'Anyone trying for "industrial quality" ISA should avoid undefined behavior.'   
     Mitch Alsup,    
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca