Cтраница 4
Для конкретности предположим, что процесс-родитель при выполнении в контексте D, в котором создаются несколько ( или один) процессов, распределяет только одну локальную кучу SRO. Та же самая локальная куча SRO может также служить для распределения экземпляров объекта для ссылочного типа. Каждому порождаемому внутри контекста D процессу может затем отводиться стек SRO, который является достижимым из локальной кучи SRO. Процесс-родитель не может возвратиться из контекста D к вызвавшей его программе до тех пор, пока не убедится в завершении каждого порожденного им процесса. В свою очередь все порожденные им процессы завершены, если стеки SRO, достижимые из всех распределенных в данном контексте локальных куч SRO, перераспределены. Только после этого локальная куча SRO может быть перераспределена совместно с логическим перераспределением соответствующего объекта контекст процесса-родителя. Только что сформулированные правила применимы также и к случаю, когда порожденные процессы становятся процессами-родителями для новых порожденных процессов. [46]
Для конкретности предположим, что процесс-родитель при выполнении в контексте D, в котором создаются несколько ( или один) процессов, распределяет только одну локальную кучу SRO. Та же самая локальная куча SRO может также служить для распределения экземпляров объекта для ссылочного типа. Каждому порождаемому внутри контекста D процессу может затем отводиться стек SRO, который является достижимым из локальной кучи SRO. Процесс-родитель не может возвратиться из контекста D к вызвавшей его программе до тех пор, пока не убедится в завершении каждого порожденного им процесса. В свою очередь все порожденные им процессы завершены, если стеки SRO, достижимые из всех распределенных в данном контексте локальных куч SRO, перераспределены. Только после этого локальная куча SRO может быть перераспределена совместно с логическим перераспределением соответствующего объекта контекст процесса-родителя. Только что сформулированные правила применимы также и к случаю, когда порожденные процессы становятся процессами-родителями для новых порожденных процессов. [47]