From ebba88eb356917a116322f15be877f6423438c91 Mon Sep 17 00:00:00 2001 From: jacekpoz Date: Fri, 7 Jun 2024 14:19:05 +0200 Subject: [PATCH] l4 --- flake.nix | 1 + lab4/zad1/.gitignore | 4 ++ lab4/zad1/alire.toml | 9 ++++ lab4/zad1/src/main.adb | 55 ++++++++++++++++++++++++ lab4/zad1/zad1.gpr | 22 ++++++++++ lab4/zad2/main.go | 69 ++++++++++++++++++++++++++++++ lab4/zad3/main.jl | 95 ++++++++++++++++++++++++++++++++++++++++++ 7 files changed, 255 insertions(+) create mode 100644 lab4/zad1/.gitignore create mode 100644 lab4/zad1/alire.toml create mode 100644 lab4/zad1/src/main.adb create mode 100644 lab4/zad1/zad1.gpr create mode 100644 lab4/zad2/main.go create mode 100644 lab4/zad3/main.jl diff --git a/flake.nix b/flake.nix index 6293139..b4d3ac1 100644 --- a/flake.nix +++ b/flake.nix @@ -36,6 +36,7 @@ swiProlog gnu-smalltalk zip + julia_19-bin ]; }; } diff --git a/lab4/zad1/.gitignore b/lab4/zad1/.gitignore new file mode 100644 index 0000000..5866d7b --- /dev/null +++ b/lab4/zad1/.gitignore @@ -0,0 +1,4 @@ +/obj/ +/bin/ +/alire/ +/config/ diff --git a/lab4/zad1/alire.toml b/lab4/zad1/alire.toml new file mode 100644 index 0000000..84f22d8 --- /dev/null +++ b/lab4/zad1/alire.toml @@ -0,0 +1,9 @@ +name = "zad1" +description = "" +version = "0.1.0-dev" + +authors = ["poz"] +maintainers = ["poz "] +maintainers-logins = ["jacekpoz"] + +executables = ["zad1"] diff --git a/lab4/zad1/src/main.adb b/lab4/zad1/src/main.adb new file mode 100644 index 0000000..1343529 --- /dev/null +++ b/lab4/zad1/src/main.adb @@ -0,0 +1,55 @@ +with Ada.Numerics.Float_Random; use Ada.Numerics.Float_Random; +with Ada.Text_IO; use Ada.Text_IO; + +procedure Main is + protected type Fork is + entry Grab; + procedure Put_Down; + private + Seized : Boolean := False; + end Fork; + + protected body Fork is + entry Grab when not Seized is + begin + Seized := True; + end Grab; + + procedure Put_Down is + begin + Seized := False; + end Put_Down; + end Fork; + + Life_Span : constant := 20; + + task type Person (ID : Positive; First, Second : not null access Fork); + + task body Person is + Dice : Generator; + begin + Reset (Dice); + for Life_Cycle in 1..Life_Span loop + Put_Line ("Philosopher" & Positive'Image (ID) & " is thinking"); + delay Duration (Random (Dice) * 0.100); + Put_Line ("Philosopher" & Positive'Image (ID) & " is hungry"); + First.Grab; + Second.Grab; + Put_Line ("Philosopher" & Positive'Image (ID) & " is eating"); + delay Duration (Random (Dice) * 0.100); + Second.Put_Down; + First.Put_Down; + end loop; + Put_Line ("Philosopher" & Positive'Image (ID) & " is leaving"); + end Person; + + Forks : array (1..5) of aliased Fork; + + Ph_1 : Person (1, Forks (1)'Access, Forks (2)'Access); + Ph_2 : Person (2, Forks (2)'Access, Forks (3)'Access); + Ph_3 : Person (3, Forks (3)'Access, Forks (4)'Access); + Ph_4 : Person (4, Forks (4)'Access, Forks (5)'Access); + Ph_5 : Person (5, Forks (1)'Access, Forks (5)'Access); +begin + null; +end Main; diff --git a/lab4/zad1/zad1.gpr b/lab4/zad1/zad1.gpr new file mode 100644 index 0000000..6dd5483 --- /dev/null +++ b/lab4/zad1/zad1.gpr @@ -0,0 +1,22 @@ +with "config/zad1_config.gpr"; +project Zad1 is + + for Source_Dirs use ("src/", "config/"); + for Object_Dir use "obj/" & Zad1_Config.Build_Profile; + for Create_Missing_Dirs use "True"; + for Exec_Dir use "bin"; + for Main use ("main.adb"); + + package Compiler is + for Default_Switches ("Ada") use Zad1_Config.Ada_Compiler_Switches; + end Compiler; + + package Binder is + for Switches ("Ada") use ("-Es"); -- Symbolic traceback + end Binder; + + package Install is + for Artifacts (".") use ("share"); + end Install; + +end Zad1; diff --git a/lab4/zad2/main.go b/lab4/zad2/main.go new file mode 100644 index 0000000..9a7eb24 --- /dev/null +++ b/lab4/zad2/main.go @@ -0,0 +1,69 @@ +package main + +import ( + "hash/fnv" + "math/rand" + "sync" + "time" + "fmt" +) + +const hunger = 20 +const think = time.Second / 10 +const eat = time.Second / 10 + +var dining sync.WaitGroup + +func philosopher(name string, leftFork, rightFork *sync.Mutex) { + fmt.Println(name, "seated") + + h := fnv.New64a() + h.Write([]byte(name)) + rg := rand.New(rand.NewSource(int64(h.Sum64()))) + + sleepRand := func(t time.Duration) { + time.Sleep(t/2 + time.Duration(rg.Int63n(int64(t)))) + } + + for h := hunger; h > 0; h-- { + fmt.Println(name, "is hungry") + leftFork.Lock() + rightFork.Lock() + + fmt.Println(name, "is eating") + sleepRand(eat) + + leftFork.Unlock() + rightFork.Unlock() + + fmt.Println(name, "is thinking") + sleepRand(think) + } + + fmt.Println(name, "finished eating") + + dining.Done() + + fmt.Println(name, "left the table") +} + +func main() { + fmt.Println("table empty") + + dining.Add(5) + + fork0 := &sync.Mutex{} + leftFork := fork0 + + for i := 1; i < 5; i++ { + rightFork := &sync.Mutex{} + go philosopher(fmt.Sprintf("Philosopher %d", i), leftFork, rightFork) + leftFork = rightFork + } + + go philosopher("Philosopher 1", fork0, leftFork) + + dining.Wait() + + fmt.Println("table empty") +} diff --git a/lab4/zad3/main.jl b/lab4/zad3/main.jl new file mode 100644 index 0000000..e19b7f6 --- /dev/null +++ b/lab4/zad3/main.jl @@ -0,0 +1,95 @@ +mutable struct Philosopher + name::String + righthanded::Bool + rightfork::Channel + leftfork::Channel + + function Philosopher(name, leftfork, rightfork, righthanded) + this = new() + this.name = name + this.righthanded = righthanded + this.leftfork = leftfork + this.rightfork = rightfork + this + end +end + +mutable struct Table + fork0::Channel + fork1::Channel + fork2::Channel + fork3::Channel + fork4::Channel + function Table() + this = new() + this.fork0 = Channel(1) + put!(this.fork0, "fork") + + this.fork1 = Channel(1) + put!(this.fork1, "fork") + + this.fork2 = Channel(1) + put!(this.fork2, "fork") + + this.fork3 = Channel(1) + put!(this.fork3, "fork") + + this.fork4 = Channel(1) + put!(this.fork4, "fork") + this + end +end + +table = Table(); +tasks = [ + Philosopher("Philosopher 1", table.fork0, table.fork1, false), + Philosopher("Philosopher 2", table.fork1, table.fork2, true), + Philosopher("Philosopher 3", table.fork2, table.fork3, true), + Philosopher("Philosopher 4", table.fork3, table.fork4, true), + Philosopher("Philosopher 5", table.fork4, table.fork0, true) +] + +hunger = 20 +thinktime = 0.1 +eattime = 0.1 + +function philosopher(p, t) + println("$(p.name) has seated") + for _ in hunger:-1:0 + println("$(p.name) is hungry") + + if p.righthanded + take!(p.rightfork); + take!(p.leftfork); + else + take!(p.leftfork); + take!(p.rightfork); + end + + println("$(p.name) is eating") + sleep(eattime * rand()) + + put!(p.rightfork, "fork") + put!(p.leftfork, "fork") + + println("$(p.name) is thinking") + sleep(thinktime * rand()) + end + println("$(p.name) is satisfied") + + println("$(p.name) left the table") +end + +function runall(tasklist) + c = Condition() + + for p in tasklist + @async (philosopher(p, table); notify(c)) + end + + for p in tasklist + wait(c) + end +end + +runall(tasks)