Optimistic Parallelism Requires Abstractions