汽车大修进厂检验单是大修汽车进厂时，由汽车维修检验人员对送修汽车技术状况和（）进行技术鉴定的记录。

并发控制的主要方法是采用（）机制，其类型有（）和（）两种。