Previous Up

Comparison on ARM tests

Notice that we have restricted the comparison to behaviours that cannot result from executions that feature some read-after-read hazard.

More behaviours

There are 9 such tests
 KindNoDetourModelARMTegra3Exynos4412Exynos5410APQ8064
MP+dmb+[fr-rf]-addrAllowAllowForbidNo, 0/1.4GNo, 0/400M—No, 0/400MNo, 0/400M
    Allow unseenAllow unseen Allow unseenAllow unseen
DETOUR0656AllowAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0657AllowAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0658AllowAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0662AllowAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+dmb+ctrl-detw-addrAllowAllowForbidNo, 0/43GNo, 0/19GNo, 0/17GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RDWAllowAllowForbidNo, 0/40GNo, 0/23GNo, 0/11GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0443AllowAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RSDWIAllowAllowForbidNo, 0/15GNo, 0/2.5GNo, 0/6.4GNo, 0/3.4GNo, 0/2.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen

Less behaviours

There is no such test
Previous Up