osiire’s blog

ふしぎなそふとやさん

alloy

Alloy model of lock-free stack

唐突にlock-freeをAlloyで書いてみたくなったので書いた。what is lock-free 冬のLock free祭り safe from Kumazaki Hiroki www.slideshare.net kumagiさんの資料によると、lock-free stackはリンクリストみたいなもので、先頭へのポインタをCAS(Compare and…