Пишем свою ОС. Практика

[Sergey]

1) Что делают эти функции?

Соответственно выключают и включают многозадачность.

2) Помимо модели "одна куча на всех", есть еще и другие модели, более ресурсоемкие, но и более безопасные.

Ну, не знаю.
На спеке всё-равно будет "одна куча на всех".

[psb]

Vitamin, вот смотри. хочешь ты сделать рекурсию из нереентерабельной функции. КАК?? да никак синхронизация тут не поможет, поэтому лучше считать ее вообще отдельной штукой. т.е. она на самом деле не делает функции реентерабельными, она предотвращает конфликты

[Vitamin]

Vitamin, вот смотри. хочешь ты сделать рекурсию из нереентерабельной функции. КАК?? да никак синхронизация тут не поможет

1) Назови хотя бы одну системную функцию, которая рекурсивно вызывает сама себя
2) Мьютексы рекурсивные тоже бывают (это я так, для справки)

[psb]

Назови хотя бы одну системную функцию

ну это я вообще, про нереентерабельность.

Мьютексы рекурсивные тоже бывают

угу, только в случае рекурсии они-таки не помогут

ну т.е. ты не согласен, что средства синхронизации не определяют реентерабельность?

[jerri]

Ну так где прототип то? када посмотреть можно будет?

[Vitamin]

угу, только в случае рекурсии они-таки не помогут

Помогут. Пока функция окончательно не выйдет, никто другой даже первую итерацию не сделает.

ну т.е. ты не согласен, что средства синхронизации не определяют реентерабельность?

Согласен, что не определяют, но считаю, что могут помочь при грамотном их (средств синхронизации) использовании.

[Advertiser]

[Sergey]

Ну так где прототип то? када посмотреть можно будет?

Это как помогать будешь

---------- Post added at 15:32 ---------- Previous post was at 15:26 ----------

Помогут. Пока функция окончательно не выйдет, никто другой даже первую итерацию не сделает.

Но это, ведь, значит, что эта п/п не реентерабельна?

[Vitamin]

Но это, ведь, значит, что эта п/п не реентерабельна?

Навскидку, смотрим в википедию на предмет определения реентерабельности:

Компьютерная программа в целом или её отдельная процедура называется реентера́бельной, если она разработана таким образом, что одна и та же копия инструкций программы в памяти может быть совместно использована несколькими пользователями или процессами. При этом второй пользователь может вызвать реентерабельный код до того, как с ним завершит работу первый пользователь и это как минимум не должно привести к ошибке, а в лучшем случае не должно вызвать потери вычислений (то есть не должно появиться необходимости выполнять уже выполненные фрагменты кода).

Какому из этих критериев противоречит реализация реентерабельности на основе примитивов синхронизации?

[Sergey]

Навскидку, смотрим в википедию на предмет определения реентерабельности:
...

Какому из этих критериев противоречит реализация реентерабельности на основе примитивов синхронизации?

Вот:
"При этом второй пользователь может вызвать реентерабельный код до того, как с ним завершит работу первый пользователь...".

А в примере получается, что второго пользователя не пускают в процедуру дальше первой итерации, пока "функция окончательно не выйдет", т.е. пока первый пользователь не закончит работу с ней.

[Vitamin]

А в примере получается, что второго пользователя не пускают в процедуру дальше первой итерации, пока "функция окончательно не выйдет", т.е. пока первый пользователь не закончит работу с ней.

Может вызвать. Никто ж не гарантирует, что функция вернет управление сразу.