Skip to content

Instantly share code, notes, and snippets.

Avatar

isaiah isaiah-perumalla

View GitHub Profile
View x86mmodel.c
#include <pthread.h>
#include <stdio.h>
int x, y = 0;
int r0, r1;
void *core0 (void *arg)
{
x = 1;
asm volatile ("" ::: "memory"); // ensure GCC compiler will not reorder