SC vs. Denver32

Contents

At the moment the “Forbidden” table below is empty, demonstrating that Tegra K1 Denver running 32bit executables follows the sequentially consistent model.

Forbidden by SC and observed

There is no such test

Allowed by SC and unobserved

There are 42 such tests
 KindSCDenver32
CO-MP+dmb+poAllowAllowNo, 0/1.1G
   Allow unseen
CO-RAllowAllowNo, 0/1.1G
   Allow unseen
CoRRAllowAllowNo, 0/1.1G
   Allow unseen
CO-MPAllowAllowNo, 0/1.1G
   Allow unseen
CoRR3AllowAllowNo, 0/1.1G
   Allow unseen
CO-S+wsi+pos-friAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+addr-posAllowAllowNo, 0/1.1G
   Allow unseen
CO-SBIAllowAllowNo, 0/1.1G
   Allow unseen
CoRR1-1AllowAllowNo, 0/1.1G
   Allow unseen
DETOUR0701AllowAllowNo, 0/1.1G
   Allow unseen
DETOUR0651AllowAllowNo, 0/1.1G
   Allow unseen
DETOUR0676AllowAllowNo, 0/1.1G
   Allow unseen
DETOUR0744AllowAllowNo, 0/1.1G
   Allow unseen
MOREDETOUR0533AllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+addr-pos-fri-rfiAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+fri-rfi-pos-addrAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-addrAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-ctrlisbAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-addrAllowAllowNo, 0/1.1G
   Allow unseen
LB+data+pos-fri-rfi-addr-po001AllowAllowNo, 0/1.1G
   Allow unseen
MOREDETOUR0605AllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-ctrl-rfiAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-data-rfiAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-addr-addrAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+pos-fri-rfi-addr-dataAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+pos-fri-rfi-addr-friAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+pos-fri-rfi-pos-ctrlAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+pos-fri-rfi-pos-dataAllowAllowNo, 0/1.1G
   Allow unseen
LB+data+pos-fri-rfi-addr-addr-poAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+fri-rfi-addr-pos-fri-rfiAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+fri-rfi-pos-addr-data-rfiAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+fri-rfi-pos-addr-fri-rfiAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+fri-rfi-pos-ctrl-rfi-posAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-ctrl-rfi-posAllowAllowNo, 0/1.1G
   Allow unseen
MP+dmb+pos-fri-rfi-pos-data-rfiAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-addr-pos-addrAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-addr-pos-friAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-ctrl-rfi-addrAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-ctrl-rfi-ctrlAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-ctrl-rfi-dataAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+fri-rfi-pos-data-rfi-dataAllowAllowNo, 0/1.1G
   Allow unseen
S+dmb+pos-fri-rfi-addr-pos-addrAllowAllowNo, 0/1.1G
   Allow unseen

This document was translated from LATEX by HEVEA.