Nodiadau ar gydlynu heidiau o asiantiaid AI

Async Digital yw enw’r stiwdio. Fel mae’n digwydd, mae ‘async’ hefyd yn ddisgrifiad teg o’r hyn sy’n digwydd wrth redeg asiantiaid AI yn gyfochrog.

Mae heidiau o asiantiaid yn anghyffredin o gyfochrog: mae llawer o alwadau’n rhedeg ar gyfrifiaduron ar wahân, gyda ffenestri cyd-destun ar wahân. Ond does ganddyn nhw bron ddim o’r elfennau sylfaenol sy’n wir angenrheidiol mewn system gydredol.

Yr elfennau sylfaenol sydd ar goll

• Dim model cof a rennir. Mae gan bob asiant ei gyd-destun ei hun. Dydyn nhw ddim yn gweld rhesymeg ei gilydd oni bai bod hynny’n cael ei beipio’n benodol. Gall penderfyniadau ddargyfeirio’n ddistaw.
• Dim elfennau cydamseru sylfaenol. Dim mutex ar gyfer ‘Dwi’n golygu’r ffeil hon.’ Mae gwrthdrawiadau’n cael eu darganfod ar ôl y digwyddiad, gan git merge neu gan ysgrifennu dros ffeiliau. Mae’r rheol rwy’n ei chadw i mi fy hun, nad oes modd dirprwyo gwaith sy’n gorgyffwrdd i asiantiaid yn gydamserol, yn bodoli oherwydd nad yw’r amser rhedeg yn darparu un.
• Dim gwarantau trefn. Mae ‘rhedeg y rhain yn gyfochrog’ yn golygu gweithredu annibynnol, nid cydlynu. Gallai asiant A ymrwymo cyn i elfennau sefydlog asiant B lanio; does dim yn yr amser rhedeg sy’n ei atal.
• Cyfathrebu â lled-band isel, latency uchel. Mae negeseuon rhwng asiantiaid yn ddrud o ran tocynnau ac eiliadau. Cymharer â threadiau’n rhannu cof ar nanoeiliadau, neu actorion Erlang yn pasio negeseuon ar microeiliadau.
• Dim gwrth-bwysau na rheolaeth llif. Os yw tri asiant yn gofyn i bedwerydd am fewnbwn, does dim rheoli ciw; mae’r pedwerydd dim ond yn cael beth bynnag sy’n cyrraedd.
• Dim ffiniau trafodol. Dim ffordd o ddweud ‘naill ai mae’r tri asiant yn ymrwymo, neu does dim un.’ Mae pob un yn cyflwyno’n annibynnol; mae dadwneud yn unigryw i bob tasg.

Mae’r datrysiadau’n datgelu’r bwlch

Mae pob patrwm cyfochrog ymhlith asiantiaid rydw i wedi’i ysgrifennu i lawr yn elfen gydredol sylfaenol a roddwyd ar ben amser rhedeg nad yw’n darparu un.

• Matrics gwrthdrawiad cyn dirprwyo. Rheol rwy’n ei chadw i mi fy hun: nid yw asiantiaid sy’n cyffwrdd â ffeiliau sy’n gorgyffwrdd yn gallu rhedeg yn gyfochrog. Mutex â llaw.
• Copïau gwaith ynysig. Mae pob ysgrifennwr cyfochrog yn cael ei goeden waith git ei hun. Ynysiad proses, wedi’i ailadeiladu â llaw.
• Asiantiaid ymchwilio darllen-yn-unig. Mae ymchwiliadau’n hepgor y copïau ynysig oherwydd dydyn nhw ddim yn ysgrifennu. Dim gwrthdaro ysgrifennu yn ôl adeiladwaith.
• Lledaeniad o’r arweinydd ar ffiniau cyfnod. Mae is-asiantiaid yn cyfathrebu drwy’r arweinydd, nid yn uniongyrchol. Trefnydd wedi’i weithredu mewn anogiadau.

Mwy ar bob un o’r rhain, gydag enghreifftiau, yn Gweithio ar gyflymder AI.

Lle mae heidiau’n llwyddo, lle maen nhw’n methu

Mae heidiau o asiantiaid yn wir ddefnyddiol ar gyfer ymchwiliadau annibynnol, ailysgrifennu ffeiliau wedi’u cwmpasu mewn cyfeiriaduron nad ydynt yn gorgyffwrdd, ac ymholiadau ymchwil cyfochrog. Maen nhw’n methu ar unrhyw beth sy’n gofyn am gydamseru, elfennau sefydlog rhwng asiantiaid, neu ymrwymiadau wedi’u trefnu i artiffact a rennir. Sef, yn ymarferol, y rhan fwyaf o waith peirianyddol o bwys.