в чем заключается различие между
Хотелось бы все-таки знать, в чем заключается различие между прибором и многоканальным устройством, имеющим емкость 1. Во-первых, прибор может не только "заниматься", но и захватываться, в то время как единственный элемент многоканального устройства может только "заниматься". Это и есть самое важное различие между приборами и многоканальными устройствами.Захват означает, что если даже прибор занят текущим обслуживанием, он немедленно может быть предоставлен по соответствующему требованию. Захват является очень важным элементом функционирования вычислительных и других сложных систем. Во-вторых, прибор может быть освобожден только тем транзактом, который его занял. Если транзакт пытается войти в блок RЕLЕАSЕ (ОСВОБОДИТЬ) без предварителього входа в блок SEIZE (ЗАНЯТЬ) того же прибора, возникает ошибка.В противоположность этому, любой транзакт может войти блок LЕАVЕ без того,чтобы перед этим войти в блок ЕNТЕR соответствующего много канального устройства. Ошибка возникает лишь тогда, когда из "текущего содержимого" вычитается величина, приводящая к отрицательному значению содержимого. Вообще говоря, довольно трудно себе представить, как это транзакт может выйти из многоканального устройства без того, чтобы сначала в него войти. Если это происходит, т.е. если некоторый транзакт выходит из многоканального устройства, то логика требует, чтобы некоторый транзакт перед этим вошел в то же многоканальное устройство и никогда не выходил из него. В противном случае ограничение, заключающееся в том, что текущее содержимое не должно быть отрицательно, будет нарушено. Хотя понятно, что пользователь может работать с многоканальными устройствами на таком интуитивном уровне, никто его к этому не принуждает. По крайней мере в этой книге такой необходимости не возникает. В заключение отметим, что в модели легко заменить один прибор двумя или более, если этот прибор моделируется как многоканальное устройство, достаточно только переопределить его емкость.
Если же он моделируется как прибор, блоки SEIZE и RELEASЕ должны быть заменены блоками ENTER и LEAVE и, кроме того, необходимо определить число каналов такого многоканального устройства (т.е. его емкость) . Таблица.22.4.
OPERATION | A,B,C,D,E,F ------------------------> | ||||||||||||||||||||||||||||||||||||||||||||||
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 1 0 | 1 1 | 1 2 | 1 3 | 1 4 | 1 5 | 1 6 | 1 7 | 1 8 | 1 9 | 2 0 | 2 1 | 2 2 | 2 3 | 2 4 | 2 5 | 2 6 | 2 7 | 2 8 | 2 9 | 3 0 | 3 1 | 3 2 | 3 3 | 3 4 | 3 5 | 3 6 | 3 7 | 3 8 | 3 9 | 4 0 | 4 1 | 4 2 | 4 3 | 4 4 | 4 5 | 4 6 | 4 7 | 4 8 |
S | T | O | R | A | G | E |   | S | 5 | , | 2 | / | S | 1 | , | 1 | 0 | / | S | 8 | , | 6 |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   | 1 | - | Й |   | П | Р | И | М | Е | Р |
  |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
S | T | O | R | A | G | E |   | S | 4 | , | 5 | / | S | $ | T | U | G | S | , | 3 | / | S | $ | S | U | R | V | S | , | 4 | / | S | 2 | , | 1 | 2 |   | 2 | - | Й |   | П | Р | И | М | Е | Р |
  |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
S | T | O | R | A | G | E |   | S | $ | M | E | N | , | 9 | / | 5 | 4 | , | 5 | / | S | 5 | , | 5 | / | S | 6 | , | 5 | / | S | 3 | , | 2 |   |   |   | 3 | - | Й |   | П | Р | И | М | Е | Р |
  |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |
S | T | O | R | A | G | E |   | S | $ | M | E | N | , | 9 | / | S | 4 | - | S | 6 | , | 5 | / | S | 3 | , | 2 |   |   |   |   |   |   |   |   |   |   | 4 | - | Й |   | П | Р | И | М | Е | Р |
  |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |   |