Способ и устройство для определения состояния совместно используемого ресурса

Способ и устройство для определения состояния совместно используемого ресурса

Реферат

 

Изобретение относится к области цифровых систем и может быть использовано для определения состояния совместно используемого ресурса. Техническим результатом является расширение функциональных возможностей. Устройство содержит записывающую и считывающую подсистемы, два семафора, два синхронизирующих элемента, два проверочных элемента. Другой вариант устройства содержит две подсистемы, средства для формирования первого и второго количественного параметров, средство для их синхронизации, средство для сравнения параметров. Способы описывают варианты работы устройств. 8 с. и 5 з.п. ф-лы, 16 ил.

Изобретение относится к цифровым системам, а более конкретно к способу определения состояния совместно используемого ресурса.

Во многих цифровых системах один системный ресурс должен быть совместно использован многими компонентами системы. Например, в цифровом вычислительном комплексе обычным является то, что центральный процессор совместно использует запоминающее устройство с подсистемой видеодисплея или даже с другим центральным процессором. Такая ситуация требует арбитражного алгоритма для того, чтобы решить, которому из потенциально многих запросов ресурса будет дано разрешение доступа к совместно используемому ресурсу. Кроме того, при использовании одного ресурса для передачи информации от одного компонента системы (записывающего "производителя") к другому (считывающему "потребителю") информация, сохраненная в ресурсе производителем, должна быть сохранена до тех пор, пока потребитель ею не воспользуется. Это особенно актуально, если другие производители конкурируют для записи информации в тот же ресурс. В соответствии с этим, как только производитель записал информацию в совместно используемый ресурс, другим производителям не должна быть разрешена запись в этот ресурс до тех пор, пока эта информация не будет считана потребителем.

Традиционная схема координации доступа к совместно используемому системному ресурсу включает в себя применение регистра состояния (или "семафора"), связанного с ресурсом, который представляется полным в одном (высоком) логическом состоянии и представляется пустым в другом (низком) логическом состоянии. Такой семафор, как правило, получают при использовании стандартного триггера. Например, семафор может быть использован для регулирования обмена информацией через совместно используемый ресурс, способный хранить данные. Такой семафор будет представлять, что ресурс полон, когда "установлен в состояние "1"" производителем, который только что записал данные в ресурс (показывая, что данные теперь могут быть считаны потребителем), и будет представлять что ресурс пуст, если потребителем, который только что считал данные из ресурса, "занесен "0"" (показывая, что производителем теперь могут быть записаны новые данные).

Алгоритм семафора удовлетворителен, пока все изготовители и потребители работают в одной тактовой области, что и семафор. При однородной тактовой области, производители и потребители могут проверять значение семафора, не интересуясь тем, что сигнал обновления данных еще не принят семафором, или тем, что значение семафора обновленных данных еще не передано всем производителям или потребителям. Иными словами, в однородной тактовой области нет трудности в гарантировании того, что значение семафора отражает истинное состояние совместно используемого ресурса.

Для синхронизации сигналов между подсистемами, работающими в однородной тактовой области, нет необходимости. Однако если подсистемы работают в разных тактовых областях, то сигналы от одной подсистемы к другой должны быть синхронизированы.

В соответствии с этим, если подсистемы совместно используют ресурс, но работают в разных тактовых областях, то возникают проблемы. Традиционные алгоритмы семафора должны преодолевать трудности, связанные с множеством тактовых областей, например, 1) которая тактовая область будет использовать семафор; 2) как сигналы установки в состояние "1" и занесения "0" формируются в различных тактовых областях; 3) отражает ли значение семафора действительное состояние совместно используемого ресурса, так что подсистема может проверить такое состояние; и 4) как соответствующая схемная логика проверяется для исправления на стадии проектирования.

В простой системе, содержащей один производитель и один потребитель, которые совместно используют ресурс, но работают в разных тактовых областях, традиционный алгоритм семафора позволяет три возможных выбора тактовой области для семафора. Во-первых, семафор может быть расположен в тактовой области производителя. В такой конфигурации производитель имеет немедленный синхронный доступ к семафору, отражающему состояние совместно используемого ресурса; таким образом, сигнал (производителя) установки в состояние "1" синхронен семафору. Однако сигнал (потребителя) занесения "0" не синхронен семафору. Следовательно, сигнал (потребителя) занесения "0" должен быть синхронизирован с тактовыми импульсами производителя для обновления семафора, а новое значение семафора должно быть обратно синхронизировано с тактовой областью потребителя, чтобы позволить потребителю проверить состояние ресурса.

Имеется задержка, связанная с синхронизацией сигнала (потребителя) занесения "0" с тактовой областью семафора (и производителя), и другая задержка, связанная с синхронизацией нового значения семафора обратно в тактовой области потребителя. Эти задержки создают окно времени, если значение семафора, проверенное потребителем, не является действительным (не отражающим действительного состояния ресурса). Если потребитель проверяет семафор в течение этого окна времени, потребитель обнаружит состояние установки в состояние "1", которое не является действительным. Чтобы помешать потребителю преждевременно проверять семафор, потребитель должен быть задержан на достаточно длительное время, чтобы позволить своему собственному сигналу обновления вернуть семафор в состояние "0", а также позволить новому, возвращенному в исходное состояние, значению семафора достичь потребителя.

При втором выборе тактовых областей для семафора необходимо использовать тактовую область потребителя. Выбор использования тактовой области потребителя предлагает обратный сценарий проблемы задержки: производитель должен быть задержан на достаточно длительное время, чтобы помешать ему преждевременно проверять семафор для предотвращения возможности обнаружения недействительного состояния занесения "0".

При третьем выборе тактовых областей для семафора необходимо использовать третью тактовую область, которая отличается от тактовой области производителя или потребителя. В этом случае производитель и потребитель должны быть задержаны для предотвращения преждевременной проверки семафора. Таким образом, не зависимо от выбора тактовой области для семафора, производитель или потребитель или оба должны быть замедлены задержкой, чтобы позволить синхронизацию.

Дополнительные трудности возникают, если для записи данных в совместно используемый ресурс необходимо более одного производителя для записи данных в совместно используемый ресурс или более одного потребителя для считывания данных из совместно используемого ресурса. Должен быть введен арбитр, который бы управлял записями, делаемыми производителями, и считываниями, осуществляемыми потребителями. Роль такого арбитра заключается в координации прав доступа среди производителей и потребителей для предотвращения режима соперничества, аналогичного режиму соперничества, возникающему вследствие того, что два или более производителей одновременно делают запись в один ресурс, или из-за того, что два или более потребителей одновременно осуществляют считывание из одного ресурса. Традиционный арбитр принимает множество запросов на ресурс и разрешает доступ только одному просителю, который затем становится текущим пользователем. Арбитр не удовлетворит другой запрос на ресурс до тех пор, пока его не освободит текущий пользователь.

В системе, имеющей множество производителей, арбитр необходим для регулирования доступа производителя для записи в совместно используемый ресурс. В системе, имеющей множество потребителей, арбитр необходим для регулирования доступа потребителя для считывания из совместно используемого ресурса. В системе, имеющей множество производителей и множество потребителей, необходимо два арбитра: один для регулирования доступа производителей, а другой для регулирования доступа потребителей.

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

Для более подробного рассмотрения этой проблемы допустим, что один производитель заканчивает запись данных в совместно используемый ресурс, посылает сигнал обновления для установки семафора в состояние "1" и дает права доступа к совместно используемому ресурсу. Допустим также, что после этого арбитр обнаруживает освобождение ресурса и удовлетворяет требование второго производителя на доступ. Между тем, сигнал обновления (первого производителя), который должен быть синхронизирован с тактовой областью семафора, установит семафор в состояние "1". Значение семафора должно быть, в конечном счете, синхронизировано с тактовыми импульсами второго производителя, чтобы позволить второму производителю достоверно проверить состояние ресурса. В то время когда арбитр удовлетворил запрос второго производителя на ресурс, значение семафора, проверенное вторым производителем, не может отражать действительного состояния совместно используемого ресурса, если для того, чтобы значение семафора было синхронизировано в тактовой области второго производителя, не прошло достаточно времени. И в этом случае традиционное решение этой проблемы должно вводить задержку.

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

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

Были сделаны попытки оптимизировать вводимые задержки, но такие попытки, даже если и были успешными, были необычайно сложными и трудными для осуществления. Таким образом, другим недостатком известных алгоритмов семафора с арбитражной логикой является то, что оптимизация требуемых задержек трудна для исполнения.

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

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

Указанные недостатки преодолены в нижеприведенных способах, реализуемых с использованием нижеприведенных устройств.

Способ определения состояния ресурса цифровой системы, в которой первая подсистема, работающая синхронно с первыми тактовыми импульсами, записывает данные в указанный ресурс, вторая подсистема, работающая синхронно со вторыми тактовыми импульсами, считывает данные из указанного ресурса, причем указанные вторые тактовые импульсы асинхронны указанным первым тактовым импульсам и указанный ресурс не доступен для записи дополнительных данных из указанной первой подсистемы до тех пор, пока записанные прежде данные не будут считаны из указанного ресурса указанной второй подсистемой, причем формируют первый количественный параметр, представляющий число доступов записи в указанный ресурс, сделанных указанной первой подсистемой, причем указанный первый количественный параметр формируют синхронно с указанными первыми тактовыми импульсами, формируют второй количественный параметр, представляющий число доступов считывания из указанного ресурса, сделанных указанной второй подсистемой, причем указанный второй количественный параметр формируют синхронно с указанными вторыми тактовыми импульсами, синхронизируют указанный первый количественный параметр с указанными вторыми тактовыми импульсами для формирования третьего количественного параметра, синхронизируют указанный второй количественный параметр с указанными первыми тактовыми импульсами для формирования четвертого количественного параметра, сравнивают указанный первый количественный параметр с указанным четвертым количественным параметром для формирования первого сигнала доступности ресурса для указанной первой подсистемы, причем указанный первый сигнал доступности ресурса активен, если указанный первый количественный параметр равен указанному четвертому количественному параметру, при этом указанный первый сигнал доступности ресурса формируют синхронно с указанными первыми тактовыми импульсами и сравнивают указанный второй количественный параметр и указанный третий количественный параметр для формирования второго сигнала доступности ресурса для указанной второй подсистемы, причем указанный второй сигнал доступности ресурса активен, если указанный второй количественный параметр отличается от указанного третьего количественного параметра, при этом указанный второй сигнал доступности ресурса формируют синхронно с указанными вторыми тактовыми импульсами. Предпочтительно, указанный первый количественный параметр, указанный второй количественный параметр, указанный третий количественный параметр и указанный четвертый количественный параметр представляют значение нуля или единицы, причем указанное значение изменяется от единицы к нулю или от нуля к единице при наличии приращения, указанный первый сигнал доступности ресурса формируют в результате операции исключающее ИЛИ, которой подвергают указанный первый количественный параметр и указанный четвертый количественный параметр, а указанный второй сигнал доступности ресурса формируют в результате операции исключающее ИЛИ, которой подвергают указанный второй количественный параметр и указанный третий количественный параметр.

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

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

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

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

Предпочтительно указанные количественные параметры записи и указанные количественные параметры считывания представляют значение