Modeli lidhës

Në shkencën kompjuterike, një model lidhës është një model abstrakt i një kompjuteri i cili siguron një urë konceptuale midis zbatimit fizik të makinës dhe abstraksionit të disponueshëm për një programues të asaj makine; me fjalë të tjera, synohet të ofrojë një nivel të përbashkët mirëkuptimi midis inxhinierëve të harduerit dhe softuerit .

Një model i suksesshëm lidhëse është ai që mund të zbatohet në mënyrë efikase në realitet dhe të synohet në mënyrë efikase nga programuesit; në veçanti, duhet të jetë e mundur që një përpilues të prodhojë kod të mirë nga një gjuhë tipike e nivelit të lartë. Termi u prezantua nga letra e Leslie Valiant e vitit 1990 Një model urë për llogaritjen paralele, i cili argumentoi se fuqia e modelit von Neumann ishte kryesisht përgjegjëse për suksesin e informatikës në tërësi. Punimi vazhdon të zhvillojë modelin paralel sinkron në masë si një model analog për llogaritjen paralele .