implemenation droite gauche fonctionne en changeant technique de temps

This commit is contained in:
hugogogo
2022-01-31 00:17:07 +01:00
parent 7dc4c5a84f
commit c3ef767bdb
5 changed files with 340 additions and 225 deletions

View File

@@ -1,199 +1,213 @@
==26535== Helgrind, a thread error detector
==26535== Copyright (C) 2007-2017, and GNU GPL'd, by OpenWorks LLP et al.
==26535== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==26535== Command: ./philo 5 500 200 200 1
==26535==
==26535== ---Thread-Announcement------------------------------------------
==26535==
==26535== Thread #1 is the program's root thread
==26535==
==26535== ---Thread-Announcement------------------------------------------
==26535==
==26535== Thread #6 was created
==26535== at 0x518470E: clone (clone.S:71)
==26535== by 0x4E4BEC4: create_thread (createthread.c:100)
==26535== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==26535== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E19: launch (launch.c:101)
==26535== by 0x4007DD: main (main.c:24)
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #1 unlocked lock at 0x54545B8 currently held by thread #6
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E6E: launch (launch.c:109)
==26535== by 0x4007DD: main (main.c:24)
==26535== Lock at 0x54545B8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54545b8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
==26535== ---Thread-Announcement------------------------------------------
==26535==
==26535== Thread #3 was created
==26535== at 0x518470E: clone (clone.S:71)
==26535== by 0x4E4BEC4: create_thread (createthread.c:100)
==26535== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==26535== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E19: launch (launch.c:101)
==26535== by 0x4007DD: main (main.c:24)
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #1 unlocked lock at 0x54541F8 currently held by thread #3
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E6E: launch (launch.c:109)
==26535== by 0x4007DD: main (main.c:24)
==26535== Lock at 0x54541F8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54541f8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
==26535== ---Thread-Announcement------------------------------------------
==26535==
==26535== Thread #4 was created
==26535== at 0x518470E: clone (clone.S:71)
==26535== by 0x4E4BEC4: create_thread (createthread.c:100)
==26535== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==26535== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E19: launch (launch.c:101)
==26535== by 0x4007DD: main (main.c:24)
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #1 unlocked lock at 0x54542E8 currently held by thread #4
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E6E: launch (launch.c:109)
==26535== by 0x4007DD: main (main.c:24)
==26535== Lock at 0x54542E8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54542e8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #1 unlocked lock at 0x54543D8 currently held by thread #4
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E6E: launch (launch.c:109)
==26535== by 0x4007DD: main (main.c:24)
==26535== Lock at 0x54543D8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54543d8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #1 unlocked lock at 0x54544C8 currently held by thread #6
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400E6E: launch (launch.c:109)
==26535== by 0x4007DD: main (main.c:24)
==26535== Lock at 0x54544C8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54544c8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #3: Bug in libpthread: write lock granted on mutex/rwlock which is currently wr-held by a different thread
==26535== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x40122E: eat (exec.c:41)
==26535== by 0x401137: philo_exec (exec.c:66)
==26535== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==26535== by 0x518471E: clone (clone.S:95)
==26535==
==26535== ----------------------------------------------------------------
==26535==
==26535== Thread #3 unlocked lock at 0x54542E8 currently held by thread #4
==26535== at 0x4C36534: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x40141F: ret_err_unlock (exec.c:32)
==26535== by 0x401265: eat (exec.c:43)
==26535== by 0x401137: philo_exec (exec.c:66)
==26535== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==26535== by 0x518471E: clone (clone.S:95)
==26535== Lock at 0x54542E8 was first observed
==26535== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C75: lst_add_philo (init.c:25)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Address 0x54542e8 is 24 bytes inside a block of size 176 alloc'd
==26535== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==26535== by 0x400C21: lst_add_philo (init.c:19)
==26535== by 0x400B8D: init_chain_philo (init.c:49)
==26535== by 0x4008CD: init (init.c:126)
==26535== by 0x4007B5: main (main.c:21)
==26535== Block was alloc'd by thread #1
==26535==
==26535==
5 5 has taken a fork
15 5 has taken a fork
16 5 is eating
27 3 has taken a fork
28 3 has taken a fork
29 3 is eating
37 2 has taken a fork
222 5 is sleeping
225 1 has taken a fork
232 3 is sleeping
235 4 has taken a fork
236 4 has taken a fork
238 4 is eating
240 2 has taken a fork
==29406== Helgrind, a thread error detector
==29406== Copyright (C) 2007-2017, and GNU GPL'd, by OpenWorks LLP et al.
==29406== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==29406== Command: ./philo 5 500 200 200 5
==29406==
==29406== ---Thread-Announcement------------------------------------------
==29406==
==29406== Thread #3 was created
==29406== at 0x518470E: clone (clone.S:71)
==29406== by 0x4E4BEC4: create_thread (createthread.c:100)
==29406== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==29406== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400E19: launch (launch.c:85)
==29406== by 0x4007DD: main (main.c:24)
==29406==
==29406== ----------------------------------------------------------------
==29406==
==29406== Thread #3: lock order "0x54542E8 before 0x54541F8" violated
==29406==
==29406== Observed (incorrect) order is: acquisition of lock at 0x54541F8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4011BC: eat (exec.c:38)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== followed by a later acquisition of lock at 0x54542E8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x401226: eat (exec.c:43)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== Lock at 0x54542E8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54542e8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406== Lock at 0x54541F8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54541f8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406==
==29406== ---Thread-Announcement------------------------------------------
==29406==
==29406== Thread #5 was created
==29406== at 0x518470E: clone (clone.S:71)
==29406== by 0x4E4BEC4: create_thread (createthread.c:100)
==29406== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==29406== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400E19: launch (launch.c:85)
==29406== by 0x4007DD: main (main.c:24)
==29406==
==29406== ----------------------------------------------------------------
==29406==
==29406== Thread #5: lock order "0x54544C8 before 0x54543D8" violated
==29406==
==29406== Observed (incorrect) order is: acquisition of lock at 0x54543D8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4011BC: eat (exec.c:38)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== followed by a later acquisition of lock at 0x54544C8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x401226: eat (exec.c:43)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== Lock at 0x54544C8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54544c8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406== Lock at 0x54543D8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54543d8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406==
==29406== ---Thread-Announcement------------------------------------------
==29406==
==29406== Thread #2 was created
==29406== at 0x518470E: clone (clone.S:71)
==29406== by 0x4E4BEC4: create_thread (createthread.c:100)
==29406== by 0x4E4BEC4: pthread_create@@GLIBC_2.2.5 (pthread_create.c:797)
==29406== by 0x4C38A27: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400E19: launch (launch.c:85)
==29406== by 0x4007DD: main (main.c:24)
==29406==
==29406== ----------------------------------------------------------------
==29406==
==29406== Thread #2: lock order "0x54541F8 before 0x54545B8" violated
==29406==
==29406== Observed (incorrect) order is: acquisition of lock at 0x54545B8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4011BC: eat (exec.c:38)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== followed by a later acquisition of lock at 0x54541F8
==29406== at 0x4C3603C: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x401226: eat (exec.c:43)
==29406== by 0x401115: philo_exec (exec.c:121)
==29406== by 0x4C38C26: ??? (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x4E4B6DA: start_thread (pthread_create.c:463)
==29406== by 0x518471E: clone (clone.S:95)
==29406==
==29406== Lock at 0x54541F8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54541f8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406== Lock at 0x54545B8 was first observed
==29406== at 0x4C39F2A: pthread_mutex_init (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C75: lst_add_philo (init.c:25)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Address 0x54545b8 is 24 bytes inside a block of size 176 alloc'd
==29406== at 0x4C32F2F: malloc (in /usr/lib/valgrind/vgpreload_helgrind-amd64-linux.so)
==29406== by 0x400C21: lst_add_philo (init.c:19)
==29406== by 0x400B8D: init_chain_philo (init.c:49)
==29406== by 0x4008CD: init (init.c:126)
==29406== by 0x4007B5: main (main.c:21)
==29406== Block was alloc'd by thread #1
==29406==
==29406==
3 5 has taken a fork
17 5 has taken a fork
18 5 is eating
30 3 has taken a fork
31 3 has taken a fork
32 3 is eating
45 2 has taken a fork
225 5 is sleeping
229 1 has taken a fork
235 3 is sleeping
238 2 has taken a fork
240 2 is eating
==26535==
==26535== For counts of detected and suppressed errors, rerun with: -v
==26535== Use --history-level=approx or =none to gain increased speed, at
==26535== the cost of reduced accuracy of conflicting-access information
==26535== ERROR SUMMARY: 7 errors from 7 contexts (suppressed: 2350 from 144)
241 4 has taken a fork
242 4 has taken a fork
243 4 is eating
429 5 is thinking
438 3 is thinking
442 3 has taken a fork
446 1 has taken a fork
448 1 is eating
448 2 is sleeping
451 5 has taken a fork
453 4 is sleeping
457 3 has taken a fork
458 3 is eating
518 5 died
==29406==
==29406== For counts of detected and suppressed errors, rerun with: -v
==29406== Use --history-level=approx or =none to gain increased speed, at
==29406== the cost of reduced accuracy of conflicting-access information
==29406== ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 6156 from 116)