Kompromissy proizwoditel'nosti w programmnoj tranzakcionnoj pamqti

Tranzakcionnaq pamqt' (TM), nowaq paradigma programmirowaniq, qwlqetsq odnim iz poslednih podhodow k napisaniü programm dlq mnogoqdernyh i mnogoprocessornyh sistem sleduüschego pokoleniq. TM - äto al'ternatiwa programmirowaniü na osnowe blokirowok. Jeto mnogoobeschaüschee reshenie ser'eznoj i rastuschej problemy, s kotoroj stalkiwaütsq programmisty pri razrabotke programm dlq mnogoprocessornyh arhitektur na kristalle (CMP), putem uproscheniq sinhronizacii s obschimi strukturami dannyh masshtabiruemym i kompozicionno sowmestimym sposobom. Programmnaq tranzakcionnaq pamqt' (STM) - polnyj programmnyj podhod k sistemam TM - mozhet byt' opredelena kak neblokiruüschij mehanizm sinhronizacii, w kotorom posledowatel'nye ob#ekty awtomaticheski preobrazuütsq w parallel'nye ob#ekty. V ätoj rabote my predstawlqem srawnenie proizwoditel'nosti chetyreh razlichnyh realizacij STM - RSTM V. Dzh. Marate i dr., TL2 D. Dajsa i dr., TinySTM P. Felbera i dr. i SwissTM A. Dragoewicha i dr. Jeto pomogaet nam gluboko ponqt' potencial'nye kompromissy.