Abstract: A method for performing distributed transactions of a cluster. The method includes, in response to a lock request including a first epoch from a first node, setting a local epoch to a maximum of the first epoch and the local epoch, sending a first lock including the local epoch to the first node, and in response to a conflicting lock request including a second epoch from a second node, setting the local epoch to a maximum of the second epoch and the local epoch, where the conflicting lock request is delayed until after the first lock is released. The method further includes, in response to a reintegration request including a third epoch from the first node, setting the local epoch to a maximum of the third epoch and the local epoch and performing a reintegration based on the reintegration request, where the reintegration is logged using the local epoch.

Abstract: HVAC controllers can include at least some written instructions on, in or near the HVAC controller. In some instances, an HVAC controller can include a wall plate, a controller module that is releasably securable to the wall plate, and an instruction card slot that is disposed between the wall plate and the controller module. In some instances, a removable, slide-out instruction card may be disposed within the instruction card slot.

Abstract: An HVAC controller includes an HVAC controller housing having an aperture and a removable battery tray disposed within the aperture. The removable battery tray includes a pivot point for rotating the battery tray into and out of the aperture.