{"id":"https://openalex.org/W2010239261","doi":"https://doi.org/10.1109/pact.2011.70","title":"Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs","display_name":"Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2010239261","doi":"https://doi.org/10.1109/pact.2011.70","mag":"2010239261"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.70","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063763851","display_name":"Christoph Angerer","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Christoph M. Angerer","raw_affiliation_strings":["ETH Z\u00fcrich, Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101575762","display_name":"Thomas R. Gross","orcid":"https://orcid.org/0000-0002-2038-2902"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thomas R. Gross","raw_affiliation_strings":["ETH Z\u00fcrich, Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.174,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.220386,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":65,"max":72},"biblio":{"volume":null,"issue":null,"first_page":"393","last_page":"402"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9957,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.61526144}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9071721},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6390451},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.62639314},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.61526144},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.606645},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.59581804},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.57165706},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.51513374},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5137154},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.4831428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4542447},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.45210266},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.4200863},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.41384563},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.24089491},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.17601407},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.70","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1482397304","https://openalex.org/W1494966161","https://openalex.org/W1579794848","https://openalex.org/W1964177821","https://openalex.org/W1973501242","https://openalex.org/W2002179840","https://openalex.org/W2010497096","https://openalex.org/W2013578854","https://openalex.org/W2039509099","https://openalex.org/W2058317042","https://openalex.org/W2074040276","https://openalex.org/W2091085450","https://openalex.org/W2092284451","https://openalex.org/W2097061393","https://openalex.org/W2105900173","https://openalex.org/W2124861237","https://openalex.org/W2127163775","https://openalex.org/W2127591346","https://openalex.org/W2127731413","https://openalex.org/W2127959721","https://openalex.org/W2141395109","https://openalex.org/W2154743329","https://openalex.org/W2163121173","https://openalex.org/W3137220996","https://openalex.org/W3151585055","https://openalex.org/W4245514185","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2764757682","https://openalex.org/W2145655468","https://openalex.org/W2115953580","https://openalex.org/W2106389308","https://openalex.org/W2052172665","https://openalex.org/W2036306661","https://openalex.org/W1977319156","https://openalex.org/W1885534640","https://openalex.org/W1738788207","https://openalex.org/W118795575"],"abstract_inverted_index":{"Java":[0,20,49,85,120,231,235,270],"was":[1],"designed":[2],"as":[3,12,61,126],"a":[4,23,54,67,119,132,143,224,265],"secure":[5],"language":[6],"that":[7,26,71,122,147,188,257],"supports":[8],"running":[9],"untrusted":[10],"code":[11],"part":[13],"of":[14,42,173,195,201,213,228],"trusted":[15],"applications.":[16],"For":[17,198],"safety":[18],"reasons,":[19],"therefore":[21],"defines":[22],"memory":[24,58,69,128,175,216],"model":[25,70,134],"prevents":[27],"undefined":[28],"behavior":[29],"in":[30,155],"multi-threaded":[31,202],"programs":[32,36,101],"even":[33],"if":[34,158],"the":[35,43,48,73,83,164,171,177,193,196,204,214,220,226,243,251,269],"are":[37,160],"not":[38,52,89],"correctly":[39],"synchronized.":[40],"Because":[41],"potential":[44],"negative":[45],"performance":[46],"impact":[47],"designers":[50],"did":[51],"choose":[53],"simple":[55],"and":[56,102,211],"natural":[57],"model,":[59],"such":[60],"sequential":[62,124,183,261],"consistency,":[63],"but":[64,94],"instead":[65],"developed":[66],"relaxed":[68,84],"gives":[72],"compiler":[74,117,178,207],"more":[75],"optimization":[76],"opportunities.":[77],"As":[78,223],"it":[79,95,103],"is":[80,88,167,236],"today,":[81],"however,":[82],"Memory":[86,271],"Model":[87],"only":[90],"hard":[91],"to":[92,106,109,169,181,233,246,268],"understand":[93],"unnecessarily":[96],"complicates":[97],"reasoning":[98],"about":[99],"parallel":[100,156],"turned":[104],"out":[105],"be":[107,153,264],"difficult":[108],"implement":[110],"correctly.":[111],"This":[112],"paper":[113],"presents":[114],"an":[115],"optimizing":[116,206],"for":[118,242,250],"version":[121,245],"has":[123],"consistency":[125,262],"its":[127],"model.":[129],"Based":[130],"on":[131,240,248],"programming":[133],"with":[135,258],"explicit":[136],"happens-before":[137],"constraints":[138],"between":[139,209],"tasks,":[140],"we":[141],"describe":[142],"static":[144],"schedule":[145],"analysis":[146],"computes":[148],"whether":[149],"two":[150],"tasks":[151],"may":[152],"executed":[154],"or":[157],"they":[159],"ordered.":[161],"During":[162],"optimization,":[163],"task-ordering":[165],"information":[166,190],"exploited":[168],"reduce":[170],"number":[172],"volatile":[174,215],"accesses":[176,217],"must":[179],"insert":[180],"guarantee":[182],"consistency.":[184],"The":[185,254],"evaluation":[186],"shows":[187],"scheduling":[189],"significantly":[191],"improves":[192],"effectiveness":[194],"optimizations.":[197],"our":[199],"set":[200],"benchmarks":[203],"fully":[205],"removes":[208],"70%":[210],"100%":[212],"inserted":[218],"by":[219],"non-optimizing":[221],"compiler.":[222],"result,":[225],"overhead":[227],"sequentially":[229],"consistent":[230],"compared":[232],"standard":[234],"reduced":[237],"from":[238],"136%":[239],"average":[241,249],"unoptimized":[244],"11%":[247],"optimized":[252],"version.":[253],"results":[255],"indicate":[256],"appropriate":[259],"optimizations,":[260],"can":[263],"feasible":[266],"alternative":[267],"Model.":[272]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2010239261","counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2024-12-15T21:24:27.296133","created_date":"2016-06-24"}