mrnkr

import UIKit

var n: Int = 0;
var favoredProcess: String = "first"
var processOneWantsIn: Bool = false
var processTwoWantsIn: Bool = false

func processOne(task: () -> Void) {
    while n < 50 {
        processOneWantsIn = true

mrnkr

import UIKit

var ran: Int = 0;
var favoredProcess: String = "first"
var processOneWantsIn: Bool = false
var processTwoWantsIn: Bool = false

func processOne(task: () -> Void) {
    while ran < 50 {
        processOneWantsIn = true

mrnkr

import UIKit

class Semaphore {
    var n: Int
    
    init(n: Int) {
        self.n = n
    }
 
    func P() {

mrnkr

import UIKit

class Semaphore {
    var n: Int
    
    init(n: Int) {
        self.n = n
    }
    
    func P() {

mrnkr

import UIKit

class Semaphore {
    var n: Int
    
    init(n: Int) {
        self.n = n
    }
    
    func P() {

mrnkr

import UIKit

class Semaphore {
    var n: Int
    
    init(n: Int) {
        self.n = n
    }
    
    func P() {

mrnkr

import UIKit

class Condition {
    var waiting: Bool
    
    init() {
        waiting = false
    }
    
    func wait() {

mrnkr

Chopsticks: Array 0..4 of Chopstick;
Philosophers: Array 0..4 of Philosopher;

task type Philosopher is
end
task body Philosopher is
	Left: Int;
	Enumerator.Gimme_My_Number(Left);
	Right: Int := (Left + 1) mod 5;
begin

mrnkr

Philosophers: Array 0..4 of Philosopher;

task type Philosopher is
end
task body Philosopher is
begin
	loop
		Table.Enter
		Chopsticks.Request
		Chopsticks.Request

mrnkr

task Alice is
end
task body Alice is
begin
	loop
		Yard.Request;
		Walk_Dog;
		Yard.Release;
	end loop
end Alice;