Python ProtocolMailbox Examples

Example #1

def start_protocol():
    # On ActorSystem config
    protocol_system_start(SleepingBarber)
    # Start the protocol
    prot = ProtocolMailbox.create(SleepingBarber, [S])
    # Initiate the first action
    prot[S].call.start()

Example #2

File: barber.py Project: SimonJF/session-types-use-cases

def start_protocol():
    # On ActorSystem config
    protocol_system_start(SleepingBarber)
    # Start the protocol
    prot = ProtocolMailbox.create(SleepingBarber, [S])
    # Initiate the first action
    prot[S].call.start()

Example #3

File: dining_philosophers.py Project: SimonJF/session-types-use-cases

def start_protocol():
    # On ActorSystem config
    protocol_system_start(DiningPhilosophers)
    # Start the protocol
    ProtocolMailbox.create(DiningPhilosophers, [])

Example #4

def start_protocol():
    # On ActorSystem config
    protocol_system_start(DiningPhilosophers)
    # Start the protocol
    ProtocolMailbox.create(DiningPhilosophers, [])

Example #5

def start_protocol():
    # On ActorSystem config
    protocol_system_start(CigaretteSmoker)
    # Start the protocol
    prot = ProtocolMailbox.create(CigaretteSmoker, [A])
    prot[A].call.start()