Designing irregular parallel algorithms with mutual exclusion and lock-free protocols