critical section marked