program order (po) is a strict order on all events within a thread as defined by the program syntactically. It is also known as sequenced-before (sb) order.