Сообщение Re: Немного о ПО Curiosity и стандартах кодирования JPL от 09.01.2015 14:14
Изменено 09.01.2015 14:24 AlexRK
Здравствуйте, BlackEric, Вы писали:
BE>Собственно, краткое описание со ссылками на литературу содержится по следующей ссылке:
BE>On Curiosity and its software Getting 2.5 Megalines of code to behave
BE>Наибольший интерес, пожалуй, представляют ссылки на источники в конце статьи.
Супер. Интересно, каким образом они доказывали отсутствие дедлоков — ведь в ПО больше сотни потоков.
BE>Собственно, краткое описание со ссылками на литературу содержится по следующей ссылке:
BE>On Curiosity and its software Getting 2.5 Megalines of code to behave
BE>Наибольший интерес, пожалуй, представляют ссылки на источники в конце статьи.
Супер. Интересно, каким образом они доказывали отсутствие дедлоков — ведь в ПО больше сотни потоков.
Re: Немного о ПО Curiosity и стандартах кодирования JPL
Здравствуйте, BlackEric, Вы писали:
BE>Собственно, краткое описание со ссылками на литературу содержится по следующей ссылке:
BE>On Curiosity and its software Getting 2.5 Megalines of code to behave
BE>Наибольший интерес, пожалуй, представляют ссылки на источники в конце статьи.
Супер. Интересно, каким образом они доказывали отсутствие дедлоков — ведь в ПО больше сотни потоков.
Update. Сам нашел:
BE>Собственно, краткое описание со ссылками на литературу содержится по следующей ссылке:
BE>On Curiosity and its software Getting 2.5 Megalines of code to behave
BE>Наибольший интерес, пожалуй, представляют ссылки на источники в конце статьи.
Супер. Интересно, каким образом они доказывали отсутствие дедлоков — ведь в ПО больше сотни потоков.
Update. Сам нашел:
The use of semaphores or locks to access shared data should be avoided (cf. Rules 6 and 8). If used, nested use of semaphores or locks should be avoided. If such use is unavoidable, calls shall always occur in a single predetermined, and documented, order.