The data would have a race condition if the algorithm above is used un a concurrent environment is $\_\_\_\_$ and could be fixwd with a $\_\_\_\_\_$

stack, mutex

top, binary semaphore

stack, non token lock

top, mutex lock