Part of an assignment in concurrent programming - a manager of transactions on a set of resources, supporting rollbacks and deadlock detection.