Fast critical sections via thread scheduling for FPGA-based multithreaded processors