Dinning phylosophers threading python

dining_phylosophers_threading.py

import time
import random
import threading

def sleep():
    time.sleep(random.random())

N = 5
sticks = [threading.Lock() for n in range(N)]

def philosopher(n):
    sleep()
    with sticks[n]:
        sleep()
        with sticks[(n+1)%N]:
            sleep()
            print(f'Philosopher {n} eating')
            sleep()


tasks = [threading.Thread(target=philosopher, args=(i,)) for i in range(N)]
[task.start() for task in tasks]
[task.join() for task in tasks]

dining_phylosophers_thredo.py

import random
import thredo

def sleep():
    thredo.sleep(random.random())

N = 5
sticks = [thredo.Lock() for n in range(N)]

def philosopher(n):
    sleep()
    with sticks[n]:
        sleep()
        with sticks[(n+1)%N]:
            sleep()
            print(f'Philosopher {n} eating')
            sleep()

def main():
    tasks = [thredo.spawn(philosopher, i) for i in range(N)]
    [task.wait() for task in tasks]

thredo.run(main)