Modify synch.c and thread.c

Add some declarations for implementing thread priority