Результаты (
русский) 2:
[копия]Скопировано!
Исторически сложилось, что основная часть работы в области взаимного исключения было сделано на моделях с общей памятью. Голландский математик Деккер был первым , чтобы предложить решение проблемы взаимной исключения использования атомной операции чтения и записи на общей памяти. Требования правильного решения о модели разделяемой памяти аналогичны тем , которые в передачи сообщений модели, за исключением того, что справедливость определяется как свобода от активную блокировку или свободу от голода: ни один процесс не может быть до бесконечности предотвратить попадание его CS другими процессами в системе. Это соответствует определению слабой справедливости: если процесс остается заинтересованным в его CS, то он должен в конечном счете быть в состоянии сделать это.
Из многих алгоритмов , доступных для решения проблемы взаимного исключения, мы опишем только алгоритм Петерсона.
переводится, пожалуйста, подождите..