期刊名称：International Journal of Advances in Engineering and Management
电子版ISSN：2395-5252
出版年度：2020
卷号：2
期号：9
页码：256-263
DOI：10.35629/5252-0209172192
语种：English
出版社：IJAEM JOURNAL
摘要：In a multi process system when two or more process running at a same time accessing the same shared resource may lead to the inconsistency of data. synchronization between more than one process is needed so that there will no collision between two processes . process synchronization is used to handle concurrent access to shared data. Semaphore is one of the basic synchronization primitive where it has only two operations wait and signal .it is initialized to nonnegative value. This paper introduces a formal definition of semaphore and illustrates a general theory of synchronization an various problem and solutions that come under semaphoresynchronization.
