How would you implement interrupt service routines (ISRs) safely in embedded software at Benchmark Space Systems?