From 155664dba1b537176fb66d28ab4412d1853a195d Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= Date: Sat, 3 Mar 2018 21:50:24 +0100 Subject: [PATCH] Peterson locking primitive course code. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Jérôme Benoit --- .gitignore | 1 + peterson/Makefile | 83 +++++++++++++++++++++++++++++++++++++++++++++ peterson/peterson.c | 23 +++++++++++++ 3 files changed, 107 insertions(+) create mode 100644 peterson/Makefile create mode 100644 peterson/peterson.c diff --git a/.gitignore b/.gitignore index 921474c..a09d3be 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ TD3/exo2/monexec/monexec fils/fils mem/mem +peterson/peterson philosophe/philosophe philosophe-famine/philosophe prodcons/prodcons diff --git a/peterson/Makefile b/peterson/Makefile new file mode 100644 index 0000000..fcfd46c --- /dev/null +++ b/peterson/Makefile @@ -0,0 +1,83 @@ +# Sample Makefile to build simple project. +# +# This Makefile expect all source files (.c) to be at the same level, in the +# current working directory. +# +# It will automatically generate dependencies, compile all files, and produce a +# binary using the provided name. +# +# Set BINARY_NAME to the name of the binary file to build. +# Set BUILD_TYPE to either debug or release +# +# Automatic dependencies code from: +# http://make.mad-scientist.net/papers/advanced-auto-dependency-generation/#tldr +BINARY_NAME=peterson +BUILD_TYPE=debug +#BUILD_TYPE=release +#LDLIBS=-lrt + +# ==================================== +# DO NOT CHANGE STUFF BEYOND THIS LINE +# ==================================== + +all: $(BINARY_NAME) + +CC=gcc +LD=gcc + +WARN_FLAGS = -Wall -Wextra +STD_FLAG = -std=gnu11 + +ifeq ($(BUILD_TYPE),debug) +BUILDDIR := .build/debug +DEBUG_FLAG = -g +DEBUG = 1 +STRIP_FLAG = +OPTI_FLAG = -O0 +else +BUILDDIR := .build/release +DEBUG_FLAG = +DEBUG = 0 +STRIP_FLAG = -s +OPTI_FLAG = -O3 +endif + +CFLAGS := -DDEBUG=$(DEBUG) $(CFLAGS) $(WARN_FLAGS) $(STD_FLAG) $(OPTI_FLAG) $(DEBUG_FLAG) +LDFLAGS := $(LDFLAGS) $(STRIP_FLAG) + +OBJDIR := $(BUILDDIR)/objs +$(shell mkdir -p $(OBJDIR)) + +SRCS=$(wildcard *.c) +OBJS=$(patsubst %.c,$(OBJDIR)/%.o,$(SRCS)) + +DEPDIR := $(BUILDDIR)/deps +$(shell mkdir -p $(DEPDIR)) +DEPFLAGS = -MT $@ -MMD -MP -MF $(DEPDIR)/$*.Td +POSTCOMPILE = mv -f $(DEPDIR)/$*.Td $(DEPDIR)/$*.d + +$(BINARY_NAME): $(OBJS) + @echo "[LD ] $@" + @$(LD) $(CFLAGS) $(LDFLAGS) $^ $(LDLIBS) -o $@ + +$(OBJDIR)/%.o: %.c $(DEPDIR)/%.d + @echo "[C ] $*" + @$(CC) $(DEPFLAGS) $(CFLAGS) -c $< -o $@ + @$(POSTCOMPILE) + +$(DEPDIR)/%.d: ; + +.PRECIOUS: $(DEPDIR)/%.d + +include $(wildcard $(patsubst %,$(DEPDIR)/%.d,$(basename $(SRCS)))) + +clean: + @echo "[CLN]" + -@rm -r $(BUILDDIR) + -@rm $(BINARY_NAME) + +disassemble: $(BINARY_NAME) + objdump -d $< | less + +symbols: $(BINARY_NAME) + objdump -t $< | sort | less diff --git a/peterson/peterson.c b/peterson/peterson.c new file mode 100644 index 0000000..f588503 --- /dev/null +++ b/peterson/peterson.c @@ -0,0 +1,23 @@ +#define FALSE 0 +#define TRUE 1 +#define N 2 // nombre de processus +int turn; // à qui le tour? +int flags[N]; // initialement valeurs FALSE + +/* attente active */ + +static void enter_region(int process) { // entrée en SC + int other; + other = 1 - process; + flags[process] = TRUE; + turn = process; + while (turn == process && flags[other] == TRUE) ; +} + +static void leave_region(int process) { // sortie de SC + flags[process] = FALSE; +} + +int main() { + +} -- 2.34.1