Issledovatel'skii centr mul'tiprocessornyh sistem
IPS RAN
[ Same in English ]
Na etoi stranice:
Smotri takzhe
V centre rabotaet 22 sotrudnika, v tom chisle 1 doktor i
5 kandidatov nauk.
Centr sostoit iz chetyreh podrazdelenii, nazyvaemyh laboratoriyami:
V sostav Centra vhodit takzhe
Laboratoriya
telekommunikacii "Botik".
Glavnoe napravlenie issledovanii Centra - programmnoe
obespechenie (PO) dlya mul'tiprocessorov. Cel' etih rabot - razrabotka
i sozdanie promyshlennoi realizacii mul'tiprocessornoi operacionnoi
sistemy, obladayushei sleduyushimi svoistvami:
- Avtomaticheskoe dinamicheskoe rasparallelivanie programm.
Pol'zovatel' pri opisanii zadachi ne ispol'zuet yavnyh konstrukcii
parallel'nogo vypolneniya.
Operacionnaya sistema podderzhivaet netradicionnuyu realizaciyu
vypolneniya zadach pol'zovatelya - process vypolneniya predstavlen
kak avtotransformaciya seti processov. Vo vremya scheta procesy
porozhdayutsya i ischezayut, menyayutsya svyazi mezhdu nimi i t.d.
Takoe predstavlenie pozvolyaet operacionnoi sisteme effektivno
obnaruzhivat' processy, dopuskayushie parallel'noe vypolnenie i, esli
eto vygodno s tochki zreniya proizvoditel'nosti sistemy, -
organizuet ih vypolnenie na raznyh processorah.
- Adaptaciya k konfiguracii mul'tiprocessora, otkazoustoichivost'.
Vse PO (operacionnaya sistema, prikladnye zadachi) korrektno
rabotaet v mul'tiprocessore s proizvol'noi konfiguraciei - s
lyubym chislom processorov, s proizvol'nym soedineniem processorov
v mul'tiprocessornuyu set'. Takim obrazom, pri izmenenii
konfiguracii mul'tiprocessora ne trebuetsya vypolnyat' nikakih
izmenenii v PO. Krome togo, eto svoistvo obespechivaet
otkazoustoichivost' sistemy, chto osobenno vazhno pri realizacii
upavlyayushih kompleksov dlya kriticheskih tehnologii (yadernaya
energetika i t.p.).
V nastoyashee vremya zaversheny osnovnye issledovaniya po dannoi teme
i vypolnyaetsya realizaciya sistemy dlya mul'tiprocessorov, osnovannyh na
kristallah:
- Intel 80386/80387, Intel 80486
- INMOS T-800, INMOS T-9000
Proekt vypolnyaetsya s uchetom trebovaniya mobil'nosti sistemy. Vse
delaetsya dlya togo, chtoby perenos sistemy na mul'tiprocessory,
osnovannye na drugih kristallah, ne byl trudoemkim.
Krome issledovanii v oblasti programmnogo obespecheniya dlya
mul'tiprocessorov, v Centre vedutsya raboty po sleduyushim napravleniyam:
- funkcional'nye yazyki programmirovaniya.
- komp'yuternaya algebra: razrabotka sistem, yazykov i paketov
komp'yuternoi algebry, razrabotka matematicheskih metodov tochnogo
(simvol'nogo) resheniya differencial'nyh uravnnenii.
- chistaya matematika: differencial'naya geometriya, teoriya osobennostei,
invarianty uzlov, teoriya grafov.
Yazyk programmirovaniya FLAC
FLAC - eto funkcional'nyi yazyk programmirovaniya dlya
komp'yuternoi algebry.
Vnachale byla sdelana versiya FLAC dlya IBM PC XT/AT.
Eto programmnoe obespechenie bylo pereneseno na komp'yuter Besta
(Motorola 86020), a zatem i adaptirovano pod zashishennyi rezhim Intel 80386.
PO ispol'zuetsya programmistami pri napisanii paketov
komp'yuternoi algebry.
![[ IPS ]](/images/psi_small.gif)
Institut Programmnyh Sistem
16 avgusta 1996, webmaster@botik.ru