Spin-based reader-writer synchronization for multiprocessor real-time systems