Lockfree Programming: A Mental Model