{“id”：“https://openalex.org/W3108655499“，”doi“：”https://doi.org/10.4230/lipics.ecoop.2020.5，“title”：“将事件结构与现代多处理器协调。“，”display_name“：”协调事件结构与现代多处理器。“，”“publication_year”：2020，“publication_date”：“2020-01-01”，“ids”：{“openalex”：“https://openalex.org/W3108655499“，”doi“：”https://doi.org/10.4230/lipics.ecoop.2020.5“，”mag“：”3108655499“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.4230/lipics.ecoop.2020.5“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，“作者”：｛id“：”https://openalex.org/A5059478558“，”display_name“：”Evgenii Moiseenko“，”orcid“：”https://orcid.org/0000-0003-2715-1143“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Evgenii Moisenko“，”raw _ afiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5082235493“，”display_name“：”Anton Podkopaev“，”orcid“：”https://orcid.org/0000-0002-9448-6587“｝，”机构“：[]，”国家“：[]，”is_correresponsing“：false，”raw_author_name“：”Anton Podkopaev“，”raw_affiation_strings“：[]，”附属机构“：[]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5004737121“，”display_name“：”Ori Lahav“，”orcid“：”https://orcid.org/0000-0003-4305-6998“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Ori Lahav“，”raw _ afiliation_strings“：[]，“附属关系”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5070223716“，”display_name“：”Orestis Melkonian“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Orestis Melkonican“，“raw_affiliation_strings”：[]“，”affiliations“：]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023359178“，”display_name“：”Viktor Vafeiadis“，”orcid“：”https://orcid.org/0000-0001-8436-0334}，“机构”：[{“id”：https://openalex.org/I4210121786“，”display_name“：”Max Planck Institute for Software Systems“，”ror“：”https://ror.org/02pe2kf23“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210121786“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Viktor Vafeiadis“，”raw _affiliation_strings“：[“V.Vafeiadis集团，马克斯普朗克软件系统研究所，马克斯普朗克学会”]，”affiliations“：[{”raw _affiliation_string“：”V.Vafiiadis集团，马克斯普朗克学会软件系统研究院，马克斯普朗克协会”，“institution_ids”：[“https://openalex.org/I4210121786“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false，“cited_by_count）：4，”cited_by百分位_year“：{”min“：80”，“max”：82}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“1”，“last_page”：“26”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9976，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9976，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9973，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11181“，”display_name“：”分布式存储系统和网络编码“，”score“：0.9917，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/multicore-architectures网站“，”display_name“：”Multicore Architectures“，”score“：0.520014}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8365847}，{”id“：”https://openalex.org/C12186640，“wikidata”：https://www.wikidata.org/wiki/Q6815743“，”display_name“：”内存模型“，”level“：3，”score“：0.789438}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.77374536}，{”id“：”https://openalex.org/C82029504，“wikidata”：https://www.wikidata.org/wiki/Q4373882“，”display_name“：”序列一致性“，”level“：4，”score“：0.6986293}，{”id“：”https://openalex.org/C170723468，“wikidata”：https://www.wikidata.org/wiki/Q182933“，”display_name“：”x86“，”level“：3，”score“：0.6585202}，{”id“：”https://openalex.org/C2779662365，“wikidata”：https://www.wikidata.org/wiki/Q5416694“，”display_name“：”Event（particle physics）“，”level“：2，”score“：0.646385}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.541281}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”display_name“：”范围（航空）“，”级别“：2，”分数“：0.5081816｝，｛”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.49350917}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46695906}，{”id“：”https://openalex.org/C153247305，“wikidata”：https://www.wikidata.org/wiki/Q835713“，”display_name“：”内存地址“，”level“：3，”score“：0.41391042}，{”id“：”https://openalex.org/C37279795，“wikidata”：https://www.wikidata.org/wiki/Q2492305“，”display_name“：”一致性模型“，”level“：3，”score“：0.345851}，{”id“：”https://openalex.org/C133875982，“wikidata”：https://www.wikidata.org/wiki/Q764810“，”display_name“：”共享内存“，”level“：2，”score“：0.26355112｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.23369253}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.09493452}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.08022538}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C98986596，“wikidata”：https://www.wikidata.org/wiki/Q1143031“，”display_name“：”半导体存储器“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材质“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.4230/lipics.ecoop.2020.5网址“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：0，“referrenced_works”：[]https://openalex.org/W781089675","https://openalex.org/W54937115","https://openalex.org/W3110313536","https://openalex.org/W3107163257","https://openalex.org/W2986998565","https://openalex.org/W2980186426","https://openalex.org/W2976188080","https://openalex.org/W2904048443","https://openalex.org/W2460365542","https://openalex.org/W2315915350","https://openalex.org/W2174306348","https://openalex.org/W2168397157","https://openalex.org/W2096004601","https://openalex.org/W2071457972","https://openalex.org/W2038347389","https://openalex.org/W1976695554","https://openalex.org/W1517194951","https://openalex.org/W1509811574","https://openalex.org/W1486290150","https://openalex.org/W1481650142“]，”ngrams_url“：”https://api.openalex.org/works/W3108655499/ngrams“，”“abstract_inverted_index”：{“Weakestmo”：[0,60]，“is”：[1,75]，“a”：[2,62100110]，“recently”：[3]，“proposed”：[4]，“memory”：[5,29,66102]，“consistence”：[6]，“model”：[7,86103]，“that”：[8,78,87]，“uses”：[9]，“event”：[10]，“structures”：[11]，“to”：[12,23,61108]，“resolve”：[13]，““：[14,50,55,76,94120]，”臭名昭著“：[15]，”绝妙“：[16]，”问题“：[17]，”尽管“：[18]，”it“：[19]，”has“：[20]，”been“：[21]，”show“：[22]，”have“：[24]，”important“：[25]，”benefits“：[26]，”over“：[27]，”other“：[28]，”models“：[30]，”its“：[31]，”established“：[32]，”compilation“：[33，57，82，97116]，”schemes“：[34，58]，”are“：[35]，”次优“：[36]，”in“：[37，52]，“他们”：[39]，“添加”：[40]，“更多”：[41]，“围栏”：[42]，“比”：[43]，“必要的。“：[44]，”In“：[45]，”this“：[46]，”paper“：[47]，”we“：48127]，”prove“：[49]，”correctivity“：[51,80]，”Coq“：[53]，”of“：[54,64,81,83,99112]，”expended“：[56]，”for“：[59]，”range“：[63111]，”hardware“：65113]，”models“：[67]，”（x86，“：[68]，”POWER“：[69]，”ARMv7，“：[70]，”ARMv8“：[71]，”RISC-V）。“：[72]，“我们的”：[73115]，“证明”：[74,98117]，“第一个”：[77,95]，“建立”：[79]，“an”：[84]，“基于事件结构”：[85]，“禁止”：[88]，“稀薄空气”：[89]，“行为”：[90]，“作为”：[91,93]，“井”：[92]，“机械化”：[96]，“弱”：[101]，“支持”：[104]，“顺序”：[105131]，“一致”：[106]132]，“访问”：[107]，“这样”：[109]，“平台”。“：[114]，”gos“：[118]，”via“：[119]，”recent“：[121]，”Intermediate“：[122]，”Memory“：[123]，”Model“：/124]，”（IMM）“，”：[125]，“which”：[126]，“appropriate”：[128]，“extend”：[129]，“with”：%130]，“access”。“：[133]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3108655499“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2022，”ciped_by_cunt“：2}，”{“年份”：2021，“cited_by_count”：1}]，”更新日期“：”2024-06-14T23:15:02.553487“，”创建日期“：“2020-12-07”}