For my Operating Systems class

(100 Points) Address the following: Given the example below: Const N = 50; Var Tally: integer Procedure Total; Var Count: integer Begin For Count := 1 to N do Tally := Tally + 1 End; Begin main program ) Tally := 0; Parabegin Total; Total Paraend; Write (Tally) End. Compose a thread safe pseudocode version that guarantees the upper and lower bound of the shared variable Tally are the same value after execution