Designing, Modeling, And Optimizing Transactional Data Structures