• lamport clock
• shadow devices