Double-ended queue protocol and common operations