{"id":"https://openalex.org/W3092370669","doi":"https://doi.org/10.1109/tc.2020.3029328","title":"Precise Worst-Case Blocking Time of Tasks Under Priority Inheritance Protocol","display_name":"Precise Worst-Case Blocking Time of Tasks Under Priority Inheritance Protocol","publication_year":2020,"publication_date":"2020-10-07","ids":{"openalex":"https://openalex.org/W3092370669","doi":"https://doi.org/10.1109/tc.2020.3029328","mag":"3092370669"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2020.3029328","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2020.3029328","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ieeexplore.ieee.org/document/9216575","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052825695","display_name":"E. Faldella","orcid":"https://orcid.org/0000-0001-7149-8035"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Eugenio Faldella","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"],"raw_orcid":"https://orcid.org/0000-0001-7149-8035","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043055019","display_name":"Daniela Loreti","orcid":"https://orcid.org/0000-0002-6507-7565"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniela Loreti","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6507-7565","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052825695"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14295785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"11","first_page":"1901","last_page":"1913"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9922000169754028,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.986299991607666,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.8575780391693115},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8407538533210754},{"id":"https://openalex.org/keywords/blocking","display_name":"Blocking (statistics)","score":0.739715039730072},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.552496075630188},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5414673089981079},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.518031656742096},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4974549114704132},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4689576029777527},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4656549096107483},{"id":"https://openalex.org/keywords/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.44294026494026184},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42182114720344543},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3496394157409668},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.24584823846817017}],"concepts":[{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.8575780391693115},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8407538533210754},{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.739715039730072},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.552496075630188},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5414673089981079},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.518031656742096},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4974549114704132},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4689576029777527},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4656549096107483},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.44294026494026184},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42182114720344543},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3496394157409668},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.24584823846817017},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tc.2020.3029328","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2020.3029328","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:cris.unibo.it:11585/826991","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/document/9216575","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:cris.unibo.it:11585/826991","is_oa":true,"landing_page_url":"https://ieeexplore.ieee.org/document/9216575","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1625622590","https://openalex.org/W1664327184","https://openalex.org/W1963547452","https://openalex.org/W1990949875","https://openalex.org/W2005405557","https://openalex.org/W2026881555","https://openalex.org/W2028398328","https://openalex.org/W2029835355","https://openalex.org/W2035144914","https://openalex.org/W2057069923","https://openalex.org/W2059483941","https://openalex.org/W2064207294","https://openalex.org/W2086094889","https://openalex.org/W2089029954","https://openalex.org/W2090822559","https://openalex.org/W2090902997","https://openalex.org/W2093100591","https://openalex.org/W2100980563","https://openalex.org/W2105420251","https://openalex.org/W2109488193","https://openalex.org/W2116581888","https://openalex.org/W2116954426","https://openalex.org/W2124888010","https://openalex.org/W2137784941","https://openalex.org/W2141849939","https://openalex.org/W2144920761","https://openalex.org/W2156316099","https://openalex.org/W2159642117","https://openalex.org/W2160293203","https://openalex.org/W2168902131","https://openalex.org/W2170091282","https://openalex.org/W2248547135","https://openalex.org/W2412070033","https://openalex.org/W2477294255","https://openalex.org/W2516970587","https://openalex.org/W2553708898","https://openalex.org/W2567083789","https://openalex.org/W2568399889","https://openalex.org/W2611147814","https://openalex.org/W2887160145","https://openalex.org/W2921878223","https://openalex.org/W4213255380","https://openalex.org/W6683369616","https://openalex.org/W6729812991","https://openalex.org/W6925714978"],"related_works":["https://openalex.org/W3089428898","https://openalex.org/W2989726455","https://openalex.org/W2155549897","https://openalex.org/W4220998139","https://openalex.org/W2017977262","https://openalex.org/W2394832105","https://openalex.org/W1505753777","https://openalex.org/W2087568862","https://openalex.org/W2766622438","https://openalex.org/W2231276398"],"abstract_inverted_index":{"The":[0],"problem":[1,36],"of":[2,15,19,22,42,75],"precisely":[3,148],"computing":[4],"the":[5,16,35,43,49,105,108,118,127,130,143,150],"worst-case":[6,151],"blocking":[7,138,152],"time":[8],"that":[9],"tasks":[10],"may":[11],"experience":[12],"is":[13,37],"one":[14,73],"fundamental":[17],"issues":[18],"schedulability":[20],"analysis":[21],"real-time":[23],"applications.":[24],"While":[25],"exact":[26],"methods":[27],"have":[28],"been":[29,79],"proposed":[30],"for":[31,103,154],"more":[32,147],"sophisticated":[33],"protocols,":[34],"indeed":[38],"complex":[39],"in":[40,66,83,112,120,126,158],"case":[41],"Priority":[44],"Inheritance":[45],"Protocol,":[46],"even":[47],"restricting":[48],"attention":[50],"to":[51,68,85,146],"uniprocessor":[52],"systems,":[53],"non-nested":[54],"resource":[55],"accesses,":[56],"and":[57,140],"non-self-suspending":[58],"tasks.":[59],"Besides":[60],"a":[61,94],"very":[62],"simple":[63],"method":[64],"leading":[65],"general":[67],"loose":[69],"upper":[70],"bounds,":[71],"only":[72],"algorithm":[74],"exponential":[76],"complexity":[77],"has":[78],"so":[80],"far":[81],"reported":[82],"literature":[84],"tighten":[86],"such":[87],"bounds.":[88],"In":[89],"this":[90],"article,":[91],"we":[92,141],"describe":[93],"novel":[95],"approach":[96],"which,":[97,121],"leveraging":[98],"an":[99,135],"operational":[100],"research":[101],"technique":[102],"modeling":[104],"problem,":[106],"computes":[107],"same":[109],"tight":[110],"bounds":[111,132],"polynomial":[113],"time.":[114],"We":[115],"then":[116],"discuss":[117],"scenarios":[119],"assuming":[122],"no":[123],"conditional":[124],"statements":[125],"tasks\u2019":[128],"code,":[129],"computed":[131],"derive":[133],"from":[134],"actually":[136],"impossible":[137],"chain,":[139],"refine":[142],"initial":[144],"model":[145],"compute":[149],"times":[153],"any":[155,159],"task":[156],"set":[157],"possible":[160],"operating":[161],"condition.":[162]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}