Algorithm of the problem dining philosopher of concurrency programing