Reyalite a nan yon enjenyè rezo (ak nouy ak ... sèl?)
Dènyèman, pandan m ap diskite sou plizyè ensidan ak enjenyè, mwen remake yon modèl enteresan.
Nan diskisyon sa yo, kesyon "kòz rasin" la toujou parèt. Lektè fidèl pwobableman konnen ke mwen genyen sou . Nan anpil òganizasyon, analiz ensidan baze antyèman sou konsèp sa a. Yo itilize diferan teknik pou idantifye relasyon kòz-efè, tankou . Metòd sa yo asime sa yo rele "linearite evènman yo" kòm yon dogm enkontournabl.
Lè ou defye lide sa a epi fè remake ke linearite se bay manti nan sistèm konplèks, yon diskisyon kaptivan fèt. Diskitan pasyone ensiste ke sèlman konesans nan "kòz la rasin" pèmèt nou konprann sa k ap pase.
Mwen remake yon modèl enteresan: devlopè ak devops reyaji yon fason diferan nan lide sa a. Nan eksperyans mwen, devlopè yo gen plis chans diskite ke kòz la rasin pwoblèm ak ke relasyon kòz-ak-efè ka toujou etabli nan evènman yo. Nan lòt men an, DevOps pi souvan dakò ke yon mond konplèks pa toujou obeyi linearite.
Mwen toujou mande poukisa sa a? Kisa fè pwogramè yo kritike lide "kòz rasin lan se yon mit" tankou sa? Tankou yon sistèm iminitè ki rekonèt yon ajan etranje. Poukisa yo reyaji nan fason sa a, pandan y ap devops yo pito enkline konsidere lide sa a?
Mwen pa fin sèten, men mwen gen kèk panse sou sa. Li gen rapò ak diferan kontèks kote pwofesyonèl sa yo fè travay chak jou yo.
Devlopè yo souvan travay ak zouti detèminist. Natirèlman, konpilateur, linkers, sistèm operasyon - tout bagay sa yo se sistèm konplèks, men nou abitye ak lefèt ke yo bay yon rezilta detèminist, epi nou imajine yo kòm detèminist: si nou bay done yo menm opinyon, Lè sa a, anjeneral nou espere a. menm pwodiksyon nan sistèm sa yo. Men, si gen yon pwoblèm ak pwodiksyon an ("ensèk"), Lè sa a, devlopè yo rezoud li pa analize done yo opinyon (swa soti nan itilizatè a oswa nan yon seri zouti pandan pwosesis devlopman an). Yo gade pou yon "erè" ak Lè sa a, chanje done yo opinyon. Sa a fikse "ensèk la".
Sipozisyon debaz nan devlopman lojisyèl: menm done yo opinyon fiable ak detèminist pwodui menm pwodiksyon an.
An reyalite, yon rezilta ki pa detèminist tèt li konsidere kòm yon ensèk: si pwodiksyon an inatandi oswa erè pa repwodui, Lè sa a, devlopè yo gen tandans pwolonje ankèt la nan lòt pati nan chemine a (sistèm operasyon, rezo, elatriye), ki tou konpòte yo. plis oswa mwens deterministicman, pwodwi menm rezilta a ak menm done opinyon yo... ak si se pa sa, Lè sa a, sa a toujou konsidere kòm yon ensèk. Se jis kounye a yon sistèm opere oswa yon ensèk rezo.
Nan nenpòt ka, detèminism se yon sipozisyon debaz, prèske pran-pou-akòde pou pifò nan pwogramasyon yo travay fè.
Men, pou nenpòt nèg devops ki te pase jounen an rache pyès ki nan konpitè oswa chèche konnen yon API nwaj, lide yon mond konplètman detèminist (osi lontan ke li se menm posib pou kat tout antre yo!) Se yon konsèp epòk nan pi bon. Menm si ou mete l sou kote , enjenyè ki gen eksperyans yo te wè bagay ki pi etranj nan mond sa a. Yo konnen sa , nou pa mansyone dè milyon de lòt faktè nan anviwònman an.
Se konsa, li pi fasil pou enjenyè ki gen eksperyans gen dout ke tout ensidan yo gen yon kòz rasin sèl, ak teknik tankou "Senk Poukisa" yo pral kòrèkteman (e repete!) mennen nan kòz rasin sa a. An reyalite, sa a kontredi pwòp eksperyans yo, kote moso yo devinèt pa anfòm konsa nètman nan pratik. Se poutèt sa, yo aksepte lide sa a pi fasil.
Natirèlman, mwen pa di ke devlopè yo nayif, estipid, oswa kapab konprann ki jan linearite ka twonpe.
Men, mwen sanble ke yon reyaksyon komen nan devlopè nan deba sa yo souvan gen rapò ak lefèt ke konsèp nan detèminism. sèvi yo byen an jeneral nan travay chak jou. Yo pa rankontre nondeterminism osi souvan ke enjenyè gen trape chat Schrödinger a sou enfrastrikti yo.
Sa a ka pa konplètman eksplike reyaksyon yo obsève pwomotè, men li se yon rapèl pwisan ke reyaksyon nou yo se yon melanj konplèks nan anpil faktè.
Li enpòtan pou sonje konpleksite sa a, kit nou ap fè fas ak yon sèl ensidan, kolabore sou yon tiyo livrezon lojisyèl, oswa eseye fè sans nan mond lan pi laj.
Sous: www.habr.com