Общая характеристика моделирующей системы Design/cpn


Модель коммутатора локальной сети



Скачать 266,75 Kb.
Pdf просмотр
страница5/10
Дата03.07.2018
Размер266,75 Kb.
1   2   3   4   5   6   7   8   9   10
Модель коммутатора локальной сети
Построим модель для заданной статической таблицы коммутации. Будем рассматривать раздельные входные и выходные буферы фреймов для каждого порта, а также общий буфер скоммутированных фреймов. Модель коммутатора представлена на Рис. 7. Для тестирования модели выбрано размещение рабочих станций в соответствии с Рис. 1; таблица коммутации изображена на Рис. 2.
Как и в предыдущем разделе адреса представлены целыми числами, кроме того не рассматривается содержимое передаваемых пакетов. Тип данных
frm
задаёт фреймы сети, тип данных
swch
представляет записи таблицы коммутации, тип данных
swchfrm
описывает скоммутированные фреймы, ожидающие размещения в выходном буфере. Позиции
PortX In
и
PortX Out
представляют входной и выходной буферы порта
X
соответственно. Позиция
SwitchTable
моделирует таблицу коммутации; каждая фишка в этой позиции представляет запись таблицы коммутации. Позиция
Buffer
соответствует буферу скоммутированных пакетов.
Переходы
InX
моделируют обработку входящих фреймов. Фрейм извлекается из входного буфера только в случае наличия в таблице коммутации записи с адресом, совпадающим с адресом назначения фрейма; при перемещении фрейма в буфере сохраняется номер порта назначения. Переходы
OutX
моделируют перемещение скоммутированных фреймов в выходные буферы портов. Операциям коммутации и записи в выходной буфер присвоены фиксированные временные задержки.
Из начального состояния:
Port1 In – 2`(1,5)+3`(3,9)+2`(7,8);
Port2 In – 4`(2,6)+3`(5,7)+5`(8,4);
Port3 In - 7`(6,8)+2`(4,3)+3`(9,5) сеть попадает в конечное состояние, в котором все фреймы находятся в выходных буферах портов:
Port1 Out – 2`(4,3)+3`(5,7);
Port2 Out – 2`(1,5)+7`(6,8)+2`(7,8)+3`(9,5);
Port3 Out – 4`(2,6)+3`(3,9)+5`(8,4).


Зайцев Д.А., Шмелёва Т.Р. Моделирование коммутируемой локальной сети раскрашенными сетями Петри // Зв'язок, № 2(46), 2004, с. 56-60.
7
color mac = int;
color port = int;
color frm = product mac * mac;
color swchfrm = product mac * mac * port;
color swch = product mac * port;
var src, dst, macsw : mac;
var portsw : port;
@+20
@+10
@+10
@+20
@+20
@+10 1`(1,1)+1`(3,1)+1`(7,1)+
1`(2,2)+1`(5,2)+1`(8,2)+
1`(4,3)+1`(6,3)+1`(9,3)
[dst=macsw]
[dst=macsw]
[dst=macsw]
(src, dst, 3)
(src, dst, 2)
(src, dst, 1)
(src, dst,
portsw)
(src, dst,
portsw)
(src, dst, portsw)
(macsw, portsw)
(macsw, portsw)
swch
swchfrm
Port3 Out
Port2 Out
Port1Out
Port3 In
Port2 In
Port1 In
In1
Out1
In2
Out2
In3
Out3


Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7   8   9   10


База данных защищена авторским правом ©psihdocs.ru 2019
обратиться к администрации

    Главная страница