Peterson locking primitive course code.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

diff --git a/.gitignore b/.gitignore
index 921474c9dd07e6aa2b85f7568022311c80590f68..a09d3be4c3ceacec548f78b649fcb6ecd63be800 100644 (file)
--- 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 (file)
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 (file)
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() {
+
+}