[{"type":"Paragraph","children":[{"text":"在以下代码中，无法通过测试用例target=2"}],"slateId":"c613EDCgewRaqkWjOmefN"},{"type":"CodeBlock","activeTabIndex":0,"children":[{"type":"CodeTab","language":"cpp","name":"","children":[{"text":"class DiningPhilosophers {\nprivate:\n counting_semaphore<1> ck[5];\n counting_semaphore<4> s;\npublic:\n DiningPhilosophers() : ck{\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1)\n }, s(4) {\n \n }\n\n void wantsToEat(int philosopher,\n function pickLeftFork,\n function pickRightFork,\n function eat,\n function putLeftFork,\n function putRightFork) {\n s.acquire();\n ck[philosopher].acquire();\n pickLeftFork();\n ck[(philosopher + 1) % 5].acquire();\n pickRightFork();\n eat();\n putRightFork();\n ck[(philosopher + 1) % 5].release();\n putLeftFork();\n ck[philosopher].release();\n s.release();\n }\n};"}],"slateId":"kU0ewrl5zHGCjIS-y4Flm"}],"slateId":"pDV0HCqgs2RqBaZRu7P5N"},{"type":"Paragraph","children":[{"text":"但是将ck的acquire和release修改位置后即可通过，不明白其中原因，按照逻辑来说我在acquire之后才调用对应pickFork函数，调用putFork函数后才会对应release，望大佬解答。"}],"slateId":"4JtnEFx2JhsI-UEyVnzkJ"},{"type":"CodeBlock","activeTabIndex":0,"children":[{"type":"CodeTab","language":"cpp","name":"","children":[{"text":"class DiningPhilosophers {\nprivate:\n counting_semaphore<1> ck[5];\n counting_semaphore<4> s;\npublic:\n DiningPhilosophers() : ck{\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1),\n counting_semaphore<1>(1)\n }, s(4) {\n \n }\n\n void wantsToEat(int philosopher,\n function pickLeftFork,\n function pickRightFork,\n function eat,\n function putLeftFork,\n function putRightFork) {\n s.acquire();\n ck[philosopher].acquire();\n ck[(philosopher + 1) % 5].acquire();\n pickLeftFork();\n pickRightFork();\n eat();\n putRightFork();\n putLeftFork();\n ck[(philosopher + 1) % 5].release();\n ck[philosopher].release();\n s.release();\n }\n};"}],"slateId":"jboIFcrQMvlz9Et2JBRrD"}],"slateId":"calJ7nkOsCXBW2JXMzCFd"}]