cs271_proj1_java CS 271项目待办事项: •tcreate scheme for dealing with server IDs •tfail/unfail methods •tcreate log catch up mechanism •tbe able to write log to disk (serializability) t⁃twrite to disk after every paxos transaction •tadd queue functionality