Разница между rdtscp, rdtsc: памятью и процессором / rdtsc?

Предположим, мы пытаемся использовать tsc для мониторинга производительности и хотим предотвратить переупорядочение команд.

Вот наши варианты:

1: rdtscp это сериализованный вызов. Это предотвращает переупорядочение вокруг вызова rdtscp.

__asm__ __volatile__("rdtscp; "         // serializing read of tsc
"shl $32,%%rdx; "  // shift higher 32 bits stored in rdx up
"or %%rdx,%%rax"   // and or onto rax
: "=a"(tsc)        // output to tsc variable
:
: "%rcx", "%rdx"); // rcx and rdx are clobbered

Тем не мение, rdtscp доступно только на новых процессорах. Так что в этом случае мы должны использовать rdtsc, Но rdtsc не сериализован, поэтому его использование не помешает процессору переупорядочить его.

Таким образом, мы можем использовать любой из этих двух вариантов, чтобы предотвратить переупорядочение:

2: Это призыв к cpuid а потом rdtsc, cpuid это сериализованный вызов.

volatile int dont_remove __attribute__((unused)); // volatile to stop optimizing
unsigned tmp;
__cpuid(0, tmp, tmp, tmp, tmp);                   // cpuid is a serialising call
dont_remove = tmp;                                // prevent optimizing out cpuid

__asm__ __volatile__("rdtsc; "          // read of tsc
"shl $32,%%rdx; "  // shift higher 32 bits stored in rdx up
"or %%rdx,%%rax"   // and or onto rax
: "=a"(tsc)        // output to tsc
:
: "%rcx", "%rdx"); // rcx and rdx are clobbered

3: Это призыв к rdtsc с memory в списке clobber, который предотвращает переупорядочение

__asm__ __volatile__("rdtsc; "          // read of tsc
"shl $32,%%rdx; "  // shift higher 32 bits stored in rdx up
"or %%rdx,%%rax"   // and or onto rax
: "=a"(tsc)        // output to tsc
:
: "%rcx", "%rdx", "memory"); // rcx and rdx are clobbered
// memory to prevent reordering

Мое понимание третьего варианта таково:

Звонить __volatile__ препятствует тому, чтобы оптимизатор удалил asm или переместил его через любые инструкции, которые могли бы нуждаться в результатах (или изменить входные данные) asm. Однако это все еще может переместить это относительно несвязанных операций. Так __volatile__ недостаточно.

Скажите, что память компилятора забита: : "memory"), "memory" Clobber означает, что GCC не может делать какие-либо предположения о том, что содержимое памяти остается неизменным по всему asm, и, следовательно, не будет переупорядочиваться вокруг него.

Итак, мои вопросы:

• 1: мое понимание __volatile__ а также "memory" правильный?
• 2: вторые два вызова делают то же самое?
• 3: Использование "memory" выглядит намного проще, чем использование другой инструкции сериализации. Зачем кому-то использовать 3-й вариант над 2-й вариант?