事务的核心特性与实现机制是什么？