2.13 Sylfeini cyfrifiadura, mathemategol, a pheirianneg

Trosolwg a chymhelliant

O dan bob fframwaith, iaith, a gwasanaeth cwmwl mae haen o wybodaeth barhaus nad yw’n newid: sut mae algorithmau yn ymddwyn wrth i ddata dyfu, sut mae rhwydweithiau a systemau gweithredu mewn gwirionedd yn symud beitiau, beth mae prawf neu ddosraniad tebygolrwydd yn ei olygu, a sut rydych chi’n mesur honiad yn lle dim ond ei ddatgan. Mae’r Software Engineering Body of Knowledge (SWEBOK) yn enwi tri maes gwybodaeth ar gyfer y graig sylfaenol hon: Sylfeini Cyfrifiadura, Sylfeini Mathemategol, a Sylfeini Peirianneg. Mae’r bennod hon yn eu cyfuno oherwydd, mewn tîm mawr, maen nhw’n gweithio gyda’i gilydd. Mae cyfrifiadura’n dweud wrthych sut mae peiriannau’n cyfrifo. Mae mathemateg yn dweud wrthych sut i resymu’n fanwl gywir am gywirdeb ac ansicrwydd. Mae peirianneg yn dweud wrthych sut i droi’r rhesymu hwnnw’n arfer dibynadwy, fesuradwy.

Dyma pam mae hyn yn bwysig: mae absenoldeb y sylfeini hyn yn aros yn anweledig hyd nes ei fod yn drychinebus. Mae nodwedd yn cael ei rhyddhau ac yn gweithio ar liniadur, yna’n chwalu ar raddfa fawr am na wnaeth neb resymu am gymhlethdod. Mae dolen ailgeisio’n dymchwel dibyniaeth am na wnaeth neb ei modelu fel ciw. Mae generadur tocyn ‘ar hap’ yn troi allan i fod yn ragweladwy am na ddeallodd neb y theori rifau y tu ôl iddo. Mae tîm yn dadlau am wythnos ynghylch pa gynllun sy’n gyflymach am na wnaeth neb redeg mesuriad. Nid yw’r un o’r methiannau hyn yn ymwneud â llyfrgell goll; maen nhw’n ymwneud â sylfeini coll. Mae fframweithiau’n haniaethu’r peiriant, ond nid ydynt yn ei ddiddymu, ac mae’r haniaeth yn gollwng yn union o dan y llwyth, yr oedi, a’r amodau gelyniaethus y mae systemau mawr yn eu hwynebu.

I dimau menter a llywodraeth, sylfeini hefyd yw’r hyn sy’n gwneud arbenigo’n ddiogel. Mae sefydliadau mawr yn rhannu llafur yn arbenigeddau blaen-ben, platfform, data, diogelwch, a SRE (peirianneg dibynadwyedd safle), ac yn pwyso fwyfwy ar gynorthwywyr deallusrwydd artiffisial sy’n cynhyrchu cod credadwy ar alwad. Mae’r ddau duedd yn codi’r un risg: na all neb ar y tîm farnu a yw dull yn gadarn. A fydd y SQL a gynhyrchwyd yn sganio biliwn o resi? A wnaeth yr ‘optimeiddio’ newid y gost asymptotig yn ddistaw? A yw’r honiad ystadegol yn yr adroddiad hwnnw’n ystyrlon mewn gwirionedd? Sylfeini a rennir yw’r iaith gyffredin sy’n gadael i arbenigwyr adolygu gwaith ei gilydd, sy’n gadael i adolygwyr ddal allbwn deallusrwydd artiffisial sy’n hyderus ond yn anghywir, ac sy’n gadael i sefydliad gadw ei farn wrth i’w declynnau newid. Mae’r bennod hon yn cysylltu â dylunio meddalwedd (pennod 2.2), systemau dosbarthedig (pennod 3.3), theori ciwio (pennod 11.3), pensaernïaeth data (pennod 3.4), ac AI/ML (pennod 6.2), sydd i gyd yn cymhwyso’r sylfeini hyn i feysydd penodol.

Egwyddorion allweddol

Mae haniaethau’n gollwng: gwybod yr haen sydd o dan yr un rydych chi’n ei defnyddio yw’r hyn sy’n eich achub pan fydd hynny’n digwydd.
Mae asymptoteg yn penderfynu graddfa: y gwahaniaeth rhwng O(n) ac O(n²) yw’r gwahaniaeth rhwng gweithio a methu wrth ddeg miliwn o resi.
Rhesymu yw cywirdeb, nid lwc: mae rhesymeg, anfeidrynnau, a chysyniadau prawf yn sail i bob system ddibynadwy.
Gellir meintioli ansicrwydd: mae tebygolrwydd ac ystadegau’n troi ‘mae’n ymddangos yn araf’ yn dystiolaeth.
Mesurwch cyn hawlio: mae’r dull empirig yn gwahanu peirianneg oddi wrth farn.
Modelwch cyn adeiladu: mae model ffurfiol bach yn rhatach na methiant cynhyrchu mawr.
Mae sylfeini’n para’n hwy na fframweithiau: buddsoddwch yn yr hyn a fydd yn dal yn wir ymhen ugain mlynedd.

Argymhellion

Sylfeini cyfrifiadura: adnabod y peiriant o dan yr haniaeth

Mewn tîm mawr, rydych am gael meistrolaeth waith o’r sylfeini cyfrifiadura sy’n penderfynu a yw meddalwedd yn ymddwyn yn gywir ac yn effeithlon ar raddfa fawr.

Algorithmau a strwythurau data. Dewis y strwythur cywir (map hash yn erbyn coeden, arae yn erbyn rhestr gysylltiedig, y mynegai cywir) yw’r penderfyniad perfformiad sydd â’r trosoledd uchaf y mae’r rhan fwyaf o beirianwyr yn ei wneud, ac rydych yn ei wneud cyn unrhyw broffilio. Dewch yn rhugl yn y repertoire safonol, a gwybyddwch pa weithrediadau y mae pob strwythur yn eu gwneud yn rhad neu’n ddrud.
Cymhlethdod cyfrifiadurol. Mae rhesymu Big-O, sy’n disgrifio sut mae cost algorithm yn tyfu wrth i’w fewnbwn dyfu, yn declyn bob dydd i chi ar gyfer rhagweld ymddygiad ar raddfa fawr o ymddygiad ar liniadur. Yr arferiad sy’n bwysig yw gofyn, am bob dolen ac ymholiad, ‘faint mae hyn yn ei gostio wrth i’r data dyfu?’ Mae dolen nythog dros gofnodion defnyddwyr yn iawn mewn prawf ac yn angheuol mewn cynhyrchu.
Systemau gweithredu a chydamserdod. Mae prosesau, edafedd, cof, amserlennu, systemau ffeiliau, a pheryglon cydamserdod (rasys, marwstadau, cystadleuaeth) yn esbonio cyfran fawr o’r namau cynhyrchu caled. Mae deall beth mae’r system weithredu’n ei wneud mewn gwirionedd yn dad-ddirgelu pigau oedi a disbyddu adnoddau.
Rhwydweithio. Mae oedi, lled band, colli pecynnau, TCP yn erbyn UDP (protocolau trafnidiaeth dibynadwy yn erbyn ysgafn), DNS (y System Enwau Parth sy’n datrys enwau’n gyfeiriadau), TLS (Diogelwch Haen Drafnidiaeth, sy’n amgryptio cysylltiadau), a gwirioneddau cyfathrebu dosbarthedig yn sail i bob galwad gwasanaeth. Mae camsyniadau clasurol cyfrifiadura dosbarthedig (nid yw’r rhwydwaith yn ddibynadwy, nid yw oedi’n sero, nid yw lled band yn ddiderfyn) yn wersi rhwydweithio sy’n ailymddangos ym mhennod 3.3.
Cronfeydd data. Mae cynllunio ymholiadau, mynegeio, trafodion, lefelau ynysu, a normaleiddio’n penderfynu a yw mynediad data’n gyflym ac yn gywir. Mae pennod 3.4 yn trin pensaernïaeth data; y sylfaen yw gwybod pam mae mynegai coll yn troi ymholiad milieiliad yn sgan tabl llawn.
Pensaernïaeth cyfrifiaduron. Mae storfeydd cyflym, hierarchaeth cof, piblinellau CPU, a chostau Mewnbwn/Allbwn yn esbonio synnau perfformiad na all proffilio yn unig eu hesbonio. Gall patrymau mynediad sy’n gyfeillgar i storfa gyflym drechu algorithmau ‘clyfar’ o urdd maint.
Sylfeini AI/ML a ffactorau dynol. Digon o ddealltwriaeth o ddeallusrwydd artiffisial a dysgu peiriant (AI/ML), sef modelau, hyfforddi, a chasgliad, i’w defnyddio’n gyfrifol (pennod 6.2), ynghyd â digon o sylfaen mewn ffactorau dynol (defnyddioldeb, llwyth gwybyddol, rhyngwynebau sy’n dueddol o gamgymeriadau) i adeiladu meddalwedd y gall pobl ei gweithredu’n ddiogel mewn gwirionedd.

Sylfeini mathemategol: rhesymu’n fanwl gywir am gywirdeb ac ansicrwydd

Mathemateg yw iaith rhesymu manwl gywir. Nid oes angen i chi fod yn fathemategydd, ond mae’r cysyniadau canlynol yn hanfodol mewn peirianneg ddyddiol.

Rhesymeg a phrawf. Mae rhesymeg gynigiol a phredicadol yn sail i bob amod, pob anfeidryn, a phob mynegiad prawf. Mae datgan rhagamodau, ôl-amodau, ac anfeidrynnau, sef rhesymu am yr hyn y mae’n rhaid iddo fod yn wir, yn ffordd i chi ysgrifennu cod cydamserol cywir a dal achosion ymyl cyn i ddigwyddiad eu darganfod.
Theori setiau a pherthnasoedd. Setiau, perthnasoedd, a ffwythiannau yw asgwrn cefn mathemategol y model perthynol, systemau math, a meddwl eglur am aelodaeth, unigrywiaeth, a mapio.
Graffiau. Mae graffiau dibyniaeth, topolegau rhwydwaith, trefn adeiladu, llwybro, a strwythurau cymdeithasol/sefydliadol i gyd yn graffiau; mae gwybod syniadau tramwyo, llwybr byrraf, a chanfod cylchoedd yn eang eu cymhwysedd.
Peiriannau cyflwr meidraidd. Mae protocolau, llifau gwaith, cyflyrau UI, a rheoli cylch bywyd yn cael eu modelu’n lân fel peiriannau cyflwr, sy’n gwneud cyflyrau anghyfreithlon yn amhosibl eu cynrychioli ac achosion ymyl yn ddigidadwy.
Tebygolrwydd ac ystadegau. Mae canraddau perfformiad, cynllunio capasiti, profi A/B (cymharu dau amrywiad ar draffig byw i weld p’un sy’n perfformio’n well), amcangyfrifon dibynadwyedd, a dysgu peiriant i gyd yn dibynnu ar debygolrwydd ac ystadegau. Gwybod y gwahaniaeth rhwng cymedr a p99 (y gwerth 99fed canradd, neu bron-gwaethaf posibl), deall amrywiant, a gallu barnu a yw canlyniad yn arwyddocaol yw’r hyn sy’n gwahanu casgliadau go iawn oddi wrth sŵn. Dyma hefyd y fathemateg y tu ôl i theori ciwio (pennod 11.3).
Theori rifau perthnasol i griptograffeg. Rhifyddeg fodwlar, rhifau cysefin, a logarithmau di-dor yw sail y criptograffeg allwedd gyhoeddus sy’n diogelu popeth. Ni ddylech weithredu eich criptograffeg eich hun, ond mae deall pam mae maint allwedd, ar hap, a dewis algorithm yn bwysig yn eich cadw rhag y camgymeriadau naïf sy’n torri diogelwch.

Sylfeini peirianneg: troi rhesymu’n arfer dibynadwy

Sylfeini peirianneg yw’r hyn sy’n gwneud peirianneg meddalwedd yn ddisgyblaeth beirianneg, ac nid crefft yn unig.

Y dull empirig. Ffurfiwch ragdybiaeth, dyluniwch arbrawf, mesurwch, a gadewch i dystiolaeth, nid hynafedd na greddf, ddatrys y cwestiwn. P’un a ydych yn cymharu dau gynllun, yn diagnosio atchweliad, neu’n gwerthuso honiad gwerthwr, mae mesur yn curo dadlau.
Mesur. Diffiniwch beth rydych chi’n ei fesur a sut, gyda unedau a bariau gwall. Mae mesur gwael (cyfartaleddau camarweiniol, meincnodau afreolaidd, rhediadau wedi’u dewis yn ddethol) yn waeth na dim mesur o gwbl, oherwydd ei fod yn gwyngalchu barn fel data.
Dadansoddiad ystadegol o ganlyniadau. Cymhwyswch y tebygolrwydd a’r ystadegau uchod i fesuriadau go iawn: adroddwch ddosraniadau a chanraddau, ystyriwch amrywiant, ac osgowch gasglu o un rhediad neu sampl rhy fach.
Haniaeth a modelu. Y symudiad peirianneg craidd yw adeiladu model symlach sy’n dal yr hyn sy’n bwysig, yn cuddio’r hyn nad yw, ac, yr un mor bwysig, yn gwybod ei derfynau ei hun. Mae model capasiti bras neu ddiagram peiriant cyflwr bach yn dod â diffygion dylunio i’r wyneb ymhell cyn i’r cod wneud hynny.
Safonau. Mae peirianneg yn dod yn ei blaen trwy sefyll ar safonau y cytunwyd arnynt (protocolau, fformatau, rhyngwynebau, a chodau ymarfer) yn hytrach na’u hailddyfeisio. Mewn timau mawr a llywodraethol, safonau hefyd yw’r ffordd y mae rhannau a adeiladwyd yn annibynnol yn rhyngweithredu a’r ffordd y caiff gwaith ei archwilio.
Dadansoddiad achos gwraidd. Pan fydd rhywbeth yn methu, mae RCA disgybledig (‘y pum pam’, coed nam, adolygiadau ôl-drychineb di-fai) yn dod o hyd i’r achos sylfaenol yn hytrach na’r symptom agosaf, fel bod yr ateb yn dal. Meddyliwch amdano fel y dull empirig wedi’i gymhwyso i fethiannau.

Cyfaddawdau: manteision ac anfanteision

Penderfyniad	Manteision	Anfanteision
Buddsoddi’n eang mewn sylfeini	Barn barhaus; arbenigo a defnydd AI mwy diogel; llai o synnau graddio	Cynnydd arafach; yn costio amser y mae pwysau ‘rhyddhau’ yn ei wrthsefyll
Dibynnu ar fframweithiau/haniaethau	Traddodi cyflym; llai i’w wybod ymlaen llaw	Yn methu wrth y gollyngiad; ni all neb ddiagnosio problemau dwfn
Modelu ffurfiol cyn adeiladu	Yn dal diffygion dylunio’n rhad; dealltwriaeth a rennir	Ymdrech ymlaen llaw; gall modelau or-symleiddio realiti
Mesur yn empirig	Penderfyniadau seiliedig ar dystiolaeth; yn dod â dadleuon i ben	Angen trylwyredd; mae mesur gwael yn camarwain
Pwyso ar god a gynhyrchwyd gan AI	Cyflymder; cod ailadroddus wedi’i drin	Mae angen sylfeini i ddal allbwn credadwy-ond-anghywir

Y cyfaddawd sy’n ailymddangos yw cyflymder nawr yn erbyn barn yn ddiweddarach. Anaml y mae sylfeini’n eich helpu i ryddhau’r nodwedd hon yn gyflymach. Yr hyn maen nhw’n ei wneud yw helpu’r tîm i wneud penderfyniadau cywir ar draws miloedd o nodweddion ac osgoi’r methiannau drud, anodd eu diagnosio y mae haniaethau’n eu cuddio. Dyma’r fagl: mae cost esgeuluso sylfeini wedi’i ohirio ac yn wasgaredig, tra bo cost eu dysgu’n uniongyrchol ac yn weladwy. Felly o dan bwysau traddodi, mae sylfeini’n cael eu tanfuddsoddi’n gronig, hyd nes bod digwyddiad graddio neu ddiogelwch yn gorfodi’r bil.

Cwestiynau i’w trafod gyda’ch tîm

Pwy ar ein tîm sy’n adolygu’r cod sensitif o ran diogelwch, ac a ydyn nhw’n deall pam mae maint allwedd ac ar hap yn wirioneddol bwysig? Ni ddylech byth greu eich criptograffeg eich hun, ond mae’n dal yn rhaid i chi ddewis llyfrgelloedd, maintioli allweddi, a chyrchu ar hap, ac mae pob un o’r rheini’n fan lle mae penderfyniad anghywir hyderus (generadur tocyn rhagweladwy, cynllun cartref-dyfeisiedig y mae gwerthwr yn ei werthu) yn torri diogelwch yn ddistaw hyd nes i ymosodwr ddod o hyd iddo. Y theori rifau y tu ôl i griptograffeg allwedd gyhoeddus (rhifyddeg fodwlar, rhifau cysefin, logarithmau di-dor) yw’r hyn sy’n gadael i adolygydd wrthod dewis naïf yn lle ei nodio drwodd. Dewch ag arteffact go iawn i’r cyfarfod: pwyntiwch at y cod sy’n cynhyrchu eich tocynnau neu allweddi sesiwn a gofynnwch pwy sy’n gymwys i ddweud ei fod yn gadarn. Os yw’r ateb gonest yn ‘neb’, nid llyfrgell goll yw’r bwlch, a’r ateb yw tyfu neu logi’r cymhwysedd sylfaenol penodol hwnnw a chyfeirio penderfyniadau elfennau diogelwch at rywun sy’n ei feddu.
A ydym yn cyflogi ac yn dyrchafu ar gyfer rhesymu sylfaenol, neu a ydym yn gwobrwyo rhuglder fframwaith ac yn talu am y bwlch yn ddiweddarach? Mae cost esgeuluso sylfeini wedi’i ohirio ac yn wasgaredig tra bo cost eu dysgu’n uniongyrchol ac yn weladwy, felly o dan bwysau traddodi mae’r wybodaeth hon yn cael ei thanfuddsoddi’n gronig hyd nes bod digwyddiad graddio neu ddiogelwch yn gorfodi’r bil. Mewn tîm mawr sy’n rhannu llafur yn arbenigeddau blaen-ben, platfform, data, a SRE, ac sy’n pwyso fwyfwy ar AI sy’n cynhyrchu cod credadwy, sylfeini a rennir yw’r iaith gyffredin sy’n gadael i arbenigwyr adolygu gwaith ei gilydd a dal allbwn hyderus-ond-anghywir. Dewch â’ch rwbrig cyfweld a’ch meini prawf dyrchafu: a ydyn nhw’n profi a all ymgeisydd resymu am gymhlethdod, mesur, a chywirdeb, neu ddim ond a ydyn nhw’n gwybod fframwaith eleni? Dylai’r ateb ailffurfio sut rydych chi’n cyflogi, mentora, ac yn diogelu amser dysgu, oherwydd yn yr oes â chymorth AI mae’r gallu dynol i farnu cadernid yn dod yn sgil brin, gwerth uchel.
Pan fydd dau beiriannydd yn anghytuno ynghylch perfformiad cynllun, a ydym yn mesur, neu a ydym yn ymostwng i bwy bynnag sydd fwyaf hŷn? Y dull empirig yw’r hyn sy’n gwneud hyn yn beirianneg yn hytrach na barn: ffurfiwch ragdybiaeth, rhedwch arbrawf, a gadewch i dystiolaeth ddatrys y cwestiwn, p’un a ydych yn cymharu dau gynllun, yn diagnosio atchweliad, neu’n gwirio honiad gwerthwr. Y fagl mewn tîm mawr yw bod dadleuon yn cael eu hennill gan hyder a rheng, ac mae wythnos yn diflannu i drafodaeth y byddai mesuriad wedi’i therfynu mewn awr. Dewch ag anghydfod dylunio diweddar a gofynnwch sut y cafodd ei ddatrys mewn gwirionedd: gan ddata, neu gan y person mwyaf swnllyd yn yr ystafell? Y weithred yw gwneud mesur yn rhan arferol o adolygiad dylunio, gyda unedau diffiniedig, bariau gwall, a dosraniadau yn hytrach nag un rhediad wedi’i ddewis yn ddethol, fel bod ‘mae’n ymddangos yn gyflymach’ yn cael ei ddisodli gan ffigur p95 neu p99 y gall y tîm cyfan ymddiried ynddo.
A yw ein hadolygiad dylunio a chod yn wirioneddol gofyn ‘faint mae hyn yn ei gostio wrth i’r data dyfu?’, neu a ydym ond yn darganfod yr ateb ar raddfa fawr? Rhesymu asymptotig yw’r sgil bob dydd â’r trosoledd uchaf ar y rhestr, oherwydd mae dolen O(n²) yn anweledig gyda data prawf ac yn angheuol mewn cynhyrchu, a’r lle rhataf i’w ddal yw’r adolygiad, nid y digwyddiad. Mewn tîm mawr y pwysau sy’n cystadlu yw trwybwn: mae adolygwyr o dan derfyn amser yn gwirio arddull a chywirdeb ar y sampl o’u blaenau ac anaml y maen nhw’n gofyn sut mae’r cod yn ymddwyn wrth ddeg miliwn o resi. Dewch â chais tynnu diweddar a’i ddarllen yn uchel gyda’r un cwestiwn hwnnw wedi’i gymhwyso i bob dolen, ymholiad, ac uniad, yna gofynnwch a yw eich rhestr wirio neu dempled adolygu hyd yn oed yn ei annog. Mewn system fenter neu lywodraeth lle mae cyfeintiau data’n dringo dros flynyddoedd a lle gall ymholiad araf dorri cytundeb lefel gwasanaeth neu oedi budd-dal dinesydd, gwnewch y cwestiwn cymhlethdod yn borth ysgrifenedig gofynnol wrth adolygu, fel nad yw’r arferiad yn dibynnu ar bwy bynnag oedd yn digwydd bod yn adolygu’r diwrnod hwnnw.
Sut rydym yn penderfynu a yw cod a gynhyrchwyd gan AI yn gywir, yn raddadwy, ac yn ddiogel, a phwy sy’n wirioneddol gymwys i wneud y penderfyniad hwnnw? Mae cod a gynhyrchwyd yn gyflym i’w gynhyrchu ac yn hawdd ei dderbyn yn ddi-feirniadaeth, ac mae’n hyderus anghywir yn ddigon aml fel mai dyna sut mae diffygion graddio a diogelwch cynnil yn mynd i mewn i’r sylfaen god pan gaiff ei uno heb sylfeini. Mae’r tensiwn i dîm mawr yn real: mae’r teclyn yn bodoli i gyflymu pobl, ac mae mynnu adolygiad dwfn o bob awgrym yn dileu’r ennill, felly mae’n rhaid i chi benderfynu pa gategorïau o god a gynhyrchwyd (elfen ddiogelwch, ymholiad llwybr poeth, newid cydamserdod) sydd bob amser yn cael craffu arbenigol a pha rai a all fynd trwodd ar wiriadau ysgafnach. Dewch â sampl o newidiadau â chymorth AI a unwyd yn ddiweddar a gofynnwch, ar gyfer pob un, pwy ar y tîm a allai ddweud yn hyderus ei fod yn gadarn ac a wnaeth unrhyw un mewn gwirionedd. I sefydliad menter neu lywodraeth sy’n atebol i archwilwyr, enwch yr adolygydd atebol ar gyfer categorïau risg uchel a chofnodwch fod bod dynol â’r cymhwysedd sylfaenol perthnasol wedi cymeradwyo, oherwydd nid yw ‘y model a’i hysgrifennodd’ yn ateb y gellir ei amddiffyn pan fydd diffyg a gynhyrchwyd yn cyrraedd cynhyrchu.
Pa rai o’n cynlluniau risg uchel sy’n haeddu model ffurfiol bach cyn i ni ysgrifennu cod, ac a oes unrhyw un yma’n gwybod sut i adeiladu un? Mae amcangyfrif capasiti bras, peiriant cyflwr meidraidd sy’n gwneud cyflyrau anghyfreithlon yn amhosibl eu cynrychioli, neu fanyleb data theori-setiau yn llawer rhatach na’r methiant cynhyrchu y mae’n ei atal, ac eto modelu yw’r sylfaen y mae timau’n ei hepgor gyntaf o dan bwysau traddodi. Yr ystyriaeth sy’n cystadlu yw bod model yn ymdrech ymlaen llaw heb unrhyw nodwedd wedi’i rhyddhau i’w dangos amdano, a gall model rhy fanwl gamarwain trwy guddio ei derfynau ei hun, felly’r sgil yw dewis y model lleiaf sy’n dod â’r risg go iawn i’r wyneb. Dewch â’r dau neu dri chynllun â’r radiws ffrwydrad gwaethaf (llif taliadau, peiriant cymhwysedd, piblinell drwm o ran cydamserdod) a gofynnwch a fyddai model un dudalen wedi datgelu achos ymyl y gwnaethoch chi ei daro’n ddiweddarach mewn cynhyrchu. Mewn lleoliad menter neu lywodraeth lle mae gan ddiffyg ganlyniad cyfreithiol neu gyhoeddus, mae model ffurfiol bach hefyd yn rhoi arteffact y gellir ei adolygu a rheswm y gellir ei amddiffyn dros ymddiried yn y cynllun i gyrff goruchwylio, felly trinwch allu modelu fel cymhwysedd i’w adeiladu’n fwriadol yn hytrach na moethusrwydd.

Trwy lygaid pob sector

Busnes newydd. Gyda thîm bach ac ychydig o redlin, ni allwch fforddio methiant dwfn sy’n cymryd diwrnodau i’w ddiagnosio, felly’r ychydig arferion sylfaenol sy’n talu ar eu canfed ar unwaith yw’r rhai i’w cadw: gofynnwch beth mae pob ymholiad yn ei gostio wrth i ddata dyfu, a mesurwch ganradd go iawn cyn i chi ymddiried mewn honiad perfformiad. Peidiwch ag adeiladu trylwyredd dulliau ffurfiol na fyddwch yn ei ddefnyddio, ond gwnewch yn siŵr y gall o leiaf un sylfaenydd resymu am gymhlethdod ac ar hap, oherwydd gall generadur tocyn rhagweladwy neu sgan tabl llawn damweiniol eich suddo cyn i chi ddod o hyd i ffit cynnyrch-marchnad. Pwyswch ar lyfrgelloedd safonol sydd wedi’u dadansoddi’n dda ar gyfer unrhyw beth sy’n sensitif o ran diogelwch yn lle ei ddyfeisio.

Busnes bach. Heb arbenigwr pwrpasol a chyllideb dynn, trinwch sylfeini fel hidlydd prynu-yn-erbyn-adeiladu: ffafriwch gronfeydd data a reolir, dilysu wedi’i westeio, a chriptograffeg safonol fel bod y rhannau caled yn cael eu trin gan bobl sy’n deall y theori rifau nad oes gennych chi amser i’w ddysgu. Lle rydych chi’n ysgrifennu cod, y mesur diogelu rhataf yw un adolygydd sy’n gofyn y cwestiwn graddio ac yn gwirio bod y ffigurau a adroddir yn ganraddau, nid cyfartaleddau gogleisiol. Treuliwch eich sylw sylfaenol prin ar y llond dwrn o benderfyniadau (mynegeio, rheoli allweddi, capasiti) lle mae galwad anghywir yn ddrud i’w gwrthdroi.

Menter. Ar raddfa fawr ac ar draws llawer o dimau, sylfeini yw’r iaith a rennir sy’n cadw arbenigo a chymorth AI yn ddiogel, felly safonwch y disgwyliadau: rhesymu cymhlethdod, mesur ag ystadegau priodol, a dadansoddiad achos gwraidd fel pyrth ysgrifenedig mewn adolygiad dylunio a chod. Mae llywodraethu ac archwilio o fudd yn uniongyrchol, oherwydd mae gwiriad cymhlethdod wedi’i ddogfennu, meincnod seiliedig ar ganradd wedi’i gofnodi, ac adolygiad ôl-drychineb di-fai yn union y dystiolaeth y mae adolygwyr a rheoleiddwyr yn gofyn amdani. Buddsoddwch mewn mentora ac addysg fewnol fel bod y wybodaeth yn byw yn y sefydliad yn hytrach nag mewn llond llaw o unigolion na ellir eu disodli.

Llywodraeth. Mae rheolau caffael, tryloywder, ac atebolrwydd cyhoeddus yn gwneud sylfeini’n ased cydymffurfiaeth cymaint ag un beirianneg. Mynnwch griptograffeg safonol, wedi’i dadansoddi’n dda a gwrthodwch unrhyw gynllun cartref-dyfeisiedig gwerthwr, modelwch resymeg cymhwysedd a llif gwaith fel peiriannau cyflwr meidraidd fel y gall cyrff goruchwylio archwilio’r rheolau, ac adroddwch oedi p95 a p99 yn hytrach na chyfartaleddau wrth gyfiawnhau system i’r cyhoedd. Gan fod contractau ac archwiliadau’n mynnu cofnod y gellir ei amddiffyn, wedi’i seilio ar dystiolaeth, trinwch fesur, modelu, a dadansoddiad achos gwraidd fel cynhyrchion cyflenwi sy’n gwneud y system yn esboniadwy i ddinasyddion ac adolygwyr fel ei gilydd.

Enghreifftiau

Busnes newydd. Mae busnes newydd dadansoddeg dau sylfaenydd yn rhyddhau dangosfwrdd sy’n teimlo’n syth gyda’u llond dwrn o gyfrifon peilot, yna’n gwegian i stop pan fydd eu cwsmer go iawn cyntaf yn llwytho blwyddyn o ddata. Mae un sylfaenydd yn rhesymu am gymhlethdod ac yn sylwi ar ymholiad heb fynegai yn gwneud sgan tabl llawn ar bob llwythiad tudalen, gan droi chwiliad milieiliad yn eiliadau. Mae ychwanegu’r mynegai cywir yn ei drwsio, ac mae mesuriad cyflym o oedi p95 (nid y cyfartaledd, a oedd yn cuddio’r gynffon araf) yn cadarnhau’r ennill gyda thystiolaeth yn hytrach na dyfaliad. Nid teclyn oedd y sylfaen goll ond yr arferiad o ofyn beth mae ymholiad yn ei gostio wrth i’r data dyfu, a gwnaethant ychwanegu’r cwestiwn hwnnw at eu rhestr wirio cyn-uno eu hunain.

Menter. Roedd gwasanaeth talu manwerthwr wedi pasio pob prawf a demo, yna’n plygu ar ddiwrnod hyrwyddo. Canfu dadansoddiad achos gwraidd ddolen O(n²) a oedd yn cymharu pob eitem cert yn erbyn pob hyrwyddiad catalog: anweledig gyda cheirt prawf o dair eitem, angheuol gyda cheirt go iawn a set hyrwyddo fawr ar lwyth brig. Fe wnaeth peiriannydd hŷn a resymodd am gymhlethdod ei ddisodli â chwiliad map hash (O(n)), a gosododd model ciwio bach (pennod 11.3) derfynau cydamserdod diogel. Dewis strwythur data sengl oedd yr ateb; y sylfaen goll oedd yr arferiad o ofyn ‘faint mae hyn yn ei gostio wrth i ddata dyfu?’ Ychwanegodd y sefydliad resymu cymhlethdod at ei restr wirio adolygu dylunio, fel bod y cwestiwn yn cael ei ofyn cyn y digwyddiad, nid ar ei ôl.

Llywodraeth. Defnyddiodd asiantaeth fudd-daliadau a oedd yn moderneiddio system etifeddol sylfeini peirianneg a mathemategol yn fwriadol. Fe wnaeth dadansoddwyr fodelu’r llif gwaith cymhwysedd fel peiriant cyflwr meidraidd, a wnaeth drosiadau cyflwr anghyfreithlon yn amhosibl eu cynrychioli a datgelu achosion ymyl yr oedd yr hen system wedi’u trin yn anghyson ers blynyddoedd. Fe wnaethon nhw fanylu data gan ddefnyddio perthnasoedd theori-setiau i warantu unigrywiaeth a chyfanrwydd cyfeiriadol, a dewison nhw griptograffeg safonol, wedi’i dadansoddi’n dda, gan ddeall y theori rifau’n ddigon da i faintioli allweddi’n gywir ac i wrthod cynllun cartref-dyfeisiedig gwerthwr. Pan gododd cwestiynau perfformiad, gwnaethon nhw fesur ag ystadegau priodol ac adrodd oedi p95/p99 yn hytrach na chyfartaleddau, gan roi rheswm y gellir ei amddiffyn, wedi’i seilio ar dystiolaeth, i gyrff goruchwylio dderbyn y system.

Achos busnes: cymhellion, ROI, a TCO

Mae sylfeini’n talu ar eu canfed trwy atal y dosbarth mwyaf drud o fethiannau: y rhai sy’n ymddangos ar raddfa fawr yn unig, o dan lwyth, neu o dan ymosodiad, pan fydd system eisoes mewn cynhyrchu a bod ateb yn costio fwyaf. Un toriad gwasanaeth a osgowyd, un digwyddiad diogelwch na ddigwyddodd byth am fod rhywun yn deall ar hap a meintiau allwedd, neu un ailgynllunio graddio nad oedd ei angen arnoch am fod y strwythur data cywir wedi’i ddewis ymlaen llaw: mae unrhyw un o’r rhain yn talu’n ôl flynyddoedd o fuddsoddiad sylfaenol. Nid eitem llinell yw’r elw. Absenoldeb trychinebau ailadroddus, anodd eu diagnosio ydyw, a phresenoldeb tîm sy’n gwneud penderfyniadau cadarn yn gyson.

O ran cyfanswm cost perchnogaeth, mae sylfeini’n anarferol o rad i’w cynnal, oherwydd gwybodaeth ydyn nhw yn hytrach na theclynnau neu drwyddedau, ac maen nhw’n dibrisio’n araf. Mae Big-O, tebygolrwydd, a’r dull empirig yr un mor wir heddiw ag yr oeddent ddegawdau yn ôl, yn wahanol i’r fframweithiau sy’n troi drosodd bob ychydig flynyddoedd. Mae’r buddsoddiad yn mynd i mewn i gyflogi, mentora, a diogelu amser ar gyfer dysgu: paru staff iau â staff hŷn sy’n rhesymu am gymhlethdod yn uchel, cynnal adolygiadau ôl-drychineb di-fai sy’n dysgu dadansoddiad achos gwraidd, a gwneud mesur a modelu’n rhan arferol o adolygiad dylunio. Yn yr oes â chymorth AI, gellir dadlau bod yr ROI yn codi. Mae cod a gynhyrchwyd yn gyflym i’w gynhyrchu ac yn hawdd ei dderbyn yn ddi-feirniadaeth, felly mae’r gallu dynol i farnu cadernid (a yw hyn yn gywir, a fydd yn graddio, a yw’n ddiogel?) yn dod yn sgil brin, gwerth uchel. Yn aml, y ffordd rataf i godi ansawdd yw codi rhuglder sylfaenol y bobl sy’n adolygu’r gwaith.

Gwrth-batrymau a pheryglon

Gwybodaeth fframwaith yn unig. Rhuglder mewn teclyn heb ddealltwriaeth o’r peiriant oddi tano, gan adael neb yn gallu diagnosio methiannau dwfn.
Anwybyddu asymptoteg. Rhyddhau cod sy’n gweithio ar ddata prawf ac yn chwalu ar ddata cynhyrchu am na chafodd cymhlethdod ei ystyried erioed.
Cyfartaleddau fel gwirionedd. Adrodd oedi cymedrig neu un rhediad meincnod a cholli’r gynffon sy’n gwir frifo defnyddwyr.
Criptograffeg cartref-dyfeisiedig. Dyfeisio elfennau diogelwch heb y ddealltwriaeth theori-rifau o pam maen nhw wedi torri.
Trwsio symptomau. Clytio’r gwall uniongyrchol heb ddadansoddiad achos gwraidd, fel bod y methiant yn ailadrodd mewn cuddwisg newydd.
Optimeiddio cwlt-cargo. ‘Optimeiddio’ heb fesur, gan aml wneud pethau’n arafach neu newid y gost asymptotig heb yn wybod.
Derbyn AI yn ddi-feirniadaeth. Uno cod credadwy a gynhyrchwyd heb y sylfeini i farnu a yw’n gywir, yn raddadwy, neu’n ddiogel.
Sylfeini fel ‘academaidd’. Diystyru hanfodion fel amherthnasol i waith ‘go iawn’, yna talu am eu habsenoldeb mewn cynhyrchu.

Model aeddfedrwydd

Lefel 1 (Cychwyn): Mae gwybodaeth yn ddwfn fframwaith yn unig; mae methiannau graddio a diogelwch yn synnu’r tîm; mae penderfyniadau’n gorffwys ar reddf a hynafedd; derbynnir allbwn AI yn ddi-feirniadaeth, a sylwir ar fylchau sylfaenol dim ond ar ôl digwyddiad.
Lefel 2 (Datblygu): Mae rhai peirianwyr hŷn yn rhesymu am gymhlethdod, mesur, a chywirdeb, ac mae ychydig o arferion da’n ymddangos mewn pocedi, ond mae’r wybodaeth wedi’i seilo mewn unigolion, yn cael ei chymhwyso’n anghyson ar draws timau, ac nid yw’n ofynnol mewn adolygiad.
Lefel 3 (Safoni): Mae rhesymu sylfaenol wedi’i ddogfennu a’i ddisgwyl ledled y sefydliad: mae gwiriadau cymhlethdod a strwythur data, mesur ag ystadegau priodol, a dadansoddiad achos gwraidd yn ymddangos yn rheolaidd mewn adolygiad dylunio a chod, wedi’u cefnogi gan restrau gwirio ysgrifenedig, ac maent yn rhan o ddisgwyliadau cyflogi a thwf ar gyfer pob tîm.
Lefel 4 (Rheoli): Mae’r sefydliad yn mesur ei iechyd sylfaenol ei hun yn erbyn llinellau sylfaen. Mae’n tracio sylw adolygu o’r cwestiwn cymhlethdod, y gyfran o ddigwyddiadau a olrheiniwyd yn ôl at sylfaen goll (ymholiad heb fynegai, ar hap gwan, dolen ddiderfyn), meincnodau seiliedig ar ganradd o’u cymharu â rhyddhadau blaenorol, a chyfradd dianc diffygion cod â chymorth AI, yna’n cyfyngu penderfyniadau mynd neu beidio â mynd ar y dystiolaeth honno yn hytrach na barn.
Lefel 5 (Cydgordio): Mae sylfeini’n cael eu gwella’n barhaus a’u hintegreiddio ar draws y sefydliad. Mae mentora, addysg fewnol, a modelu’n arferol; mae data mesur ac achos gwraidd yn bwydo’n ôl i mewn i safonau a hyfforddiant; cymhwysir sylfeini’n fwriadol i werthuso gwaith a gynhyrchwyd gan AI; ac mae’r tîm yn addasu, gan resymu o egwyddorion cyntaf pan fydd fframweithiau a haniaethau’n methu.

Syniadau i’w trafod

Pryd wnaeth haniaeth ollwng ddiwethaf ar eich tîm, ac a oedd gan unrhyw un y wybodaeth sylfaenol i’w diagnosio’n gyflym?
A yw eich adolygiad dylunio neu god yn wirioneddol gofyn ‘faint mae hyn yn ei gostio wrth i’r data dyfu?’
Sut ydych chi’n gwerthuso a yw cod a gynhyrchwyd gan AI yn gywir, yn raddadwy, ac yn ddiogel, a phwy ar y tîm sy’n gallu?
Ble rydych chi’n adrodd cyfartaleddau pan fyddai canraddau ac amrywiant yn dweud y stori go iawn?
Pa sylfaen sydd wannaf ar draws eich tîm (cymhlethdod, tebygolrwydd/ystadegau, rhwydweithio, neu’r dull empirig), a beth fyddai’n ei gostio i chi?
Sut ydych chi’n cynnal gwybodaeth sylfaenol wrth i arbenigo ddyfnhau a theclynnau newid?

Casgliadau allweddol

Sylfeini yw’r haen barhaus o dan fframweithiau: cyfrifiadura (sut mae peiriannau’n cyfrifo), mathemateg (sut i resymu’n fanwl gywir), a pheirianneg (sut i fesur a modelu).
Mae haniaethau’n gollwng, a gwybodaeth sylfaenol yw’r hyn sy’n gadael i dîm ddiagnosio’r methiant pan fyddan nhw’n gwneud hynny, fel arfer ar raddfa fawr, o dan lwyth, neu o dan ymosodiad.
Rhesymu asymptotig yw’r sgil bob dydd â’r trosoledd uchaf: gofynnwch beth mae pob dolen ac ymholiad yn ei gostio wrth i ddata dyfu.
Mae tebygolrwydd, ystadegau, a’r dull empirig yn troi barn yn dystiolaeth: mesurwch ac adroddwch ddosraniadau, nid dim ond cyfartaleddau.
Modelwch a rhesymwch cyn adeiladu: mae peiriannau cyflwr meidraidd, anfeidrynnau, a modelau capasiti bach yn dal diffygion yn rhad.
Mae sylfeini’n gwneud arbenigo a chymorth AI’n ddiogel trwy roi’r farn a rennir i’r tîm i werthuso cadernid; maent yn rhad i’w cynnal ac yn araf i ddibrisio.

Cyfeiriadau a darllen pellach

IEEE Computer Society, SWEBOK Guide (v4): Computing Foundations, Mathematical Foundations, and Engineering Foundations knowledge areas.
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, Introduction to Algorithms (CLRS): algorithms, data structures, and complexity.
Martin Kleppmann, Designing Data-Intensive Applications: data structures, databases, distribution, and their trade-offs at scale.
Andrew S. Tanenbaum, Modern Operating Systems and Computer Networks: operating-systems and networking foundations.
Kenneth H. Rosen, Discrete Mathematics and Its Applications: logic, sets, graphs, and number theory for computing.
Bruce Schneier, Applied Cryptography / Ferguson, Schneier, Kohno, Cryptography Engineering: the number theory and practice of cryptography.
Andy Oram and Greg Wilson (eds.), Making Software: What Really Works, and Why We Believe It: the empirical method in software engineering.
Peter Deutsch and James Gosling, “The Eight Fallacies of Distributed Computing”: networking assumptions that recur in chapter 3.3.
Wikipedia: “Big O notation,” “Finite-state machine,” “Five whys,” “Public-key cryptography.”