레디스를 이용한 분산 동기화, 분산 자료구조, 분산 락 프레임워크