考慮x86 CPU上的單個內存訪問（單個讀取或單個寫入，而不是讀寫）。該指令正在訪問16個字節（128位）的存儲器，并且所訪問的存儲器位置與16個字節對齊。文檔“英特爾?64架構內存訂購白皮書”指出，對于“讀取或寫入地址在8字節邊界上對齊的四字（8字節）的指令”，內存操作似乎作為單個內存訪問執行內存類型。問題：是否存在Intel / AMD / etc x86 CPU，它們保證對16個字節邊界對齊的16個字節（128位）的讀寫操作作為單個內存訪問執行？是的，它是哪種特定類型的CPU（Core2 / Atom / K8 / Phenom / ...）？如果您提供此問題的答案（是/否），請同時指定用于確定答案的方法 -PDF文檔查找，蠻力測試，數學證明或其他用于確定答案的方法。此問題與諸如http://research.swtch.com/2010/02/off-to-races.html的問題有關更新：我用C創建了一個簡單的測試程序，您可以在計算機上運行該程序。請在您的Phenom，Athlon，Bobcat，Core2，Atom，Sandy Bridge或任何具有SSE2功能的CPU上編譯并運行它。謝謝。// Compile with://   gcc -o a a.c -pthread -msse2 -std=c99 -Wall -O2//// Make sure you have at least two physical CPU cores or hyper-threading.#include <pthread.h>#include <emmintrin.h>#include <stdio.h>#include <stdint.h>#include <string.h>typedef int v4si __attribute__ ((vector_size (16)));volatile v4si x;unsigned n1[16] __attribute__((aligned(64)));unsigned n2[16] __attribute__((aligned(64)));void* thread1(void *arg) {        for (int i=0; i<100*1000*1000; i++) {                int mask = _mm_movemask_ps((__m128)x);                n1[mask]++;                x = (v4si){0,0,0,0};        }        return NULL;}void* thread2(void *arg) {        for (int i=0; i<100*1000*1000; i++) {                int mask = _mm_movemask_ps((__m128)x);                n2[mask]++;                x = (v4si){-1,-1,-1,-1};        }        return NULL;}int main() {        // Check memory alignment        if ( (((uintptr_t)&x) & 0x0f) != 0 )                abort();        memset(n1, 0, sizeof(n1));        memset(n2, 0, sizeof(n2));        pthread_t t1, t2;        pthread_create(&t1, NULL, thread1, NULL);        pthread_create(&t2, NULL, thread2, NULL);        pthread_join(t1, NULL);        pthread_join(t2, NULL);        for (unsigned i=0; i<16; i++) {                for (int j=3; j>=0; j--)                        printf("%d", (i>>j)&1);