A methodology for performance evaluation of optimistic distributed simulation synchronization mechanisms