https://1library.org/document/y8k6oj5y-verificacao-de-consistencia-memoria-para-sistemas-integrados-multiprocessados.html