From 6b2a29cee63432808e12a0b9a0cd0acfc9cf3976 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= Date: Sat, 3 Mar 2018 22:04:42 +0100 Subject: [PATCH] =?utf8?q?Lecteurs/r=C3=A9dacteurs=20course=20code.?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Jérôme Benoit --- .gitignore | 1 + lecteursredacteurs/Makefile | 83 +++++++++++++++++++++++++ lecteursredacteurs/lecteursredacteurs.c | 45 ++++++++++++++ 3 files changed, 129 insertions(+) create mode 100644 lecteursredacteurs/Makefile create mode 100644 lecteursredacteurs/lecteursredacteurs.c diff --git a/.gitignore b/.gitignore index a09d3be..9aaf60c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ TD3/exo2/monexec/monexec fils/fils +lecteursredacteurs/lecteursredacteurs mem/mem peterson/peterson philosophe/philosophe diff --git a/lecteursredacteurs/Makefile b/lecteursredacteurs/Makefile new file mode 100644 index 0000000..7b4c9d9 --- /dev/null +++ b/lecteursredacteurs/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=lecteursredacteurs +BUILD_TYPE=debug +#BUILD_TYPE=release +LDLIBS=-lpthread + +# ==================================== +# 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/lecteursredacteurs/lecteursredacteurs.c b/lecteursredacteurs/lecteursredacteurs.c new file mode 100644 index 0000000..85db645 --- /dev/null +++ b/lecteursredacteurs/lecteursredacteurs.c @@ -0,0 +1,45 @@ +#include +#include +#include + +static int db = 42; +static int NbL = 0; +sem_t mutex; +sem_t redact; + +static void *lecteur(void *arg) +{ + while (1) { + sem_wait(&mutex); + if (NbL == 0) + sem_wait(&redact); + NbL++; + sem_post(&mutex); + // lecture de la base + sleep(1); + printf("lecteur bd=%d\n", db); + // fin de l’accès à la base + sem_wait(&mutex); + NbL--; + if (NbL == 0) + sem_post(&redact); + sem_post(&mutex); + } +} + +static void *redacteur(void *arg) +{ + while (1) { + sem_wait(&redact); + // modifier les données de la base + db++; + printf("redacteur bd=%d\n", db); + sleep(2); + sem_post(&redact); + } +} + +int main() +{ + +} -- 2.34.1