{"id":"https://openalex.org/W1985174078","doi":"https://doi.org/10.1145/155848.155863","title":"High availability in a real-time system","display_name":"High availability in a real-time system","publication_year":1993,"publication_date":"1993-04-01","ids":{"openalex":"https://openalex.org/W1985174078","doi":"https://doi.org/10.1145/155848.155863","mag":"1985174078"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/155848.155863","pdf_url":null,"source":{"id":"https://openalex.org/S50071195","display_name":"ACM SIGOPS Operating Systems Review","issn_l":"0163-5980","issn":["0163-5980","1943-586X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5032113864","display_name":"Carlos Almeida","orcid":"https://orcid.org/0000-0003-1002-9635"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carlos Almeida","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065449331","display_name":"Brad Glade","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brad Glade","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5071792713","display_name":"Keith Marzullo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keith Marzullo","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":53},"biblio":{"volume":"27","issue":"2","first_page":"82","last_page":"87"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998,"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.9998,"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.9967,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9838,"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/predictability","display_name":"Predictability","score":0.77743137},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.4894394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8660748},{"id":"https://openalex.org/C197640229","wikidata":"https://www.wikidata.org/wiki/Q2534066","display_name":"Predictability","level":2,"score":0.77743137},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.62514204},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5944119},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.4894394},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.45976275},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33850944},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26591974},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/155848.155863","pdf_url":null,"source":{"id":"https://openalex.org/S50071195","display_name":"ACM SIGOPS Operating Systems Review","issn_l":"0163-5980","issn":["0163-5980","1943-586X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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":11,"referenced_works":["https://openalex.org/W1486435130","https://openalex.org/W163274963","https://openalex.org/W1987232042","https://openalex.org/W2050095811","https://openalex.org/W2058736839","https://openalex.org/W2075053226","https://openalex.org/W2102977580","https://openalex.org/W2109488193","https://openalex.org/W2143489524","https://openalex.org/W2152465173","https://openalex.org/W2160293203"],"related_works":["https://openalex.org/W4254065731","https://openalex.org/W4252678288","https://openalex.org/W4237782192","https://openalex.org/W4231754182","https://openalex.org/W4210820789","https://openalex.org/W2913177154","https://openalex.org/W2726467123","https://openalex.org/W2379666579","https://openalex.org/W2064726690","https://openalex.org/W1607297154"],"abstract_inverted_index":{"The":[0,227],"area":[1],"of":[2,25,70,90,99,153,185,191,224,229,235,261,281,288,316,357,371,394,402,417,422,426,439,464,489,501,510,518,536,548,558,568,610],"building":[3,80,348,364,492],"embedded":[4],"real-time":[5,47,107,212,365,381,396,538,559,616,630],"systems":[6,43,82,91,397,444],"is":[7,52,57,95,109,360,385,484,513,529,543],"one":[8,282],"in":[9,31,67,116,147,188,232,255,298,399,469,498],"which":[10,470,521],"the":[11,19,55,68,77,88,100,132,151,183,189,221,233,259,270,279,286,289,299,301,307,314,325,338,354,392,400,406,413,436,499,508,569,607,622],"applications":[12,27,318,493],"being":[13,85],"designed":[14],"are":[15,83,124,209,248,409,451,479,562],"more":[16],"advanced":[17],"than":[18],"available":[20,615],"underlying":[21],"system":[22,108,258,359,407,582,594,623],"support.":[23],"Examples":[24],"such":[26,60,81,472,592],"can":[28,113,265,304,319],"be":[29,64,114,137,144,162,173,266,320,523,597],"found":[30],"several":[32,273],"fields,":[33],"including":[34,196],"robot":[35],"control,":[36],"avionics,":[37],"and":[38,87,111,157,193,203,215,237,373,428,441,447,476,587],"plant":[39],"control":[40],"systems.":[41],"These":[42,207],"all":[44,121,140],"have":[45,181,329,336],"hard":[46,395,599,629],"requirements:":[48],"if":[49],"a":[50,106,154,158,256,262,296,321,343,462,516,537,546,555,579,593,625],"deadline":[51],"missed,":[53],"then":[54,620],"result":[56],"catastrophic.":[58],"Furthermore,":[59],"deadlines":[61,171],"must":[62,136,161,522],"often":[63],"met":[65,115],"even":[66,398],"face":[69,234,401,500],"bounded":[71,146],"processor":[72],"or":[73],"network":[74,238],"failures.":[75],"Yet,":[76],"principles":[78,94],"for":[79,220,291,347,363,378,613],"still":[84,305],"developed":[86,337],"availability":[89],"supporting":[92,330],"these":[93,457,564],"very":[96,505],"limited.":[97],"One":[98],"most":[101],"important":[102],"characteristics":[103],"required":[104],"by":[105,118,250,268,285,515],"predictability,":[110,313],"predictability":[112,186],"part":[117],"ensuring":[119],"that":[120,164,341,390,443,494,553,627],"timing":[122,130],"constraints":[123],"met.":[125],"In":[126],"order":[127,148],"to":[128,143,149,172,386,424,455,486,544,624],"meet":[129],"constraints,":[131],"worst":[133],"case":[134],"execution":[135],"computable.":[138],"Hence,":[139,526],"actions":[141],"need":[142],"time":[145],"compute":[150],"cost":[152],"given":[155,263],"thread,":[156],"scheduling":[159,213,376,438],"policy":[160],"used":[163],"guarantees":[165],"resource":[166,403],"contention":[167],"does":[168,293,327],"not":[169,242,294,328,361,530,596],"cause":[170],"missed":[174],"[LL73,":[175],"SRL90].":[176],"Several":[177],"recent":[178],"research":[179],"projects":[180,208],"addressed":[182],"problem":[184],"both":[187],"context":[190],"centralized":[192],"distributed":[194,257,496,519],"systems,":[195],"ARTS":[197,446],"[TM89],":[198],"RT-Mach":[199,448],"[TNR90],":[200],"MARS":[201],"[DRSK89],":[202],"Spring":[204],"[SR87,":[205],"SR89]":[206],"based":[210],"on":[211,272,369,430,534,566,578],"algorithms,":[214],"usually":[216],"also":[217,434],"include":[218],"tools":[219],"off-line":[222],"development":[223,315,393],"pre-defined":[225],"schedules.":[226],"issue":[228],"predictable":[230,380,437],"operation":[231],"crashes":[236],"failures,":[239],"however,":[240],"has":[241],"been":[243],"as":[244,473],"well":[245],"addressed.":[246],"Failures":[247],"masked":[249,267],"using":[251],"redundancy.":[252],"For":[253],"example,":[254],"failure":[260,280,297],"process":[264,271],"replicating":[269],"different":[274],"machines.":[275],"By":[276],"doing":[277],"so,":[278],"replica":[283],"(caused":[284],"crash":[287],"machine,":[290],"example),":[292],"imply":[295],"service:":[300],"other":[302],"replicas":[303],"provide":[306],"desired":[308],"service":[309],"[Sch90].":[310],"Even":[311],"ignoring":[312],"fault-tolerant":[317,349],"complex":[322],"task":[323],"when":[324],"programmer":[326],"software":[331],"tools.":[332],"At":[333],"Cornell,":[334],"we":[335,408],"ISIS":[339,367,460,533,570],"toolkit":[340],"supplies":[342],"group":[344],"programming":[345,415,465],"paradigm":[346],"programs":[350],"[BJS87,":[351],"BC91].":[352],"However,":[353,507],"current":[355],"version":[356,602],"this":[358,601],"suitable":[362],"programs.":[366],"runs":[368],"top":[370,535,567],"Unix":[372,581],"contains":[374],"no":[375],"support":[377,412,435,554,586],"writing":[379],"applications.":[382,560,617],"Our":[383,540],"goal":[384],"create":[387],"an":[388],"environment":[389],"supports":[391,461,628],"loss.":[404],"Corto,":[405],"building,":[410],"will":[411,433,595,603,619],"basic":[414,549],"abstractions":[416],"ISIS;":[418,487],"namely,":[419],"ordered":[420],"delivery":[421,478],"messages":[423],"groups":[425],"processes":[427,440],"agreement":[429],"membership.":[431],"Corto":[432,528],"communication":[442],"like":[445],"provide.":[449],"We":[450,561,618],"finding":[452],"it":[453],"challenging":[454],"integrate":[456],"two":[458],"goals.":[459],"model":[463],"called":[466],"virtual":[467,490,511],"synchrony":[468,512],"events":[471],"failure,":[474],"recovery":[475],"message":[477],"totally":[480],"ordered.":[481],"This":[482],"abstraction":[483],"fundamental":[485],"because":[488],"synchrony,":[491],"maintain":[495],"state":[497],"changing":[502],"resources":[503],"becomes":[504],"straightforward.":[506],"implementation":[509],"done":[514],"kind":[517],"scheduler":[520],"made":[524],"predictable.":[525],"implementing":[527,563],"just":[531],"running":[532,577],"kernel.":[539],"initial":[541],"approach":[542],"build":[545],"suite":[547],"mechanisms,":[550],"described":[551],"below,":[552],"small":[556],"set":[557,609],"mechanisms":[565,611],"transport":[571],"layer":[572],"(MUTS":[573],"[vRBC":[574],"+":[575],"92])":[576],"stand-alone":[580],"with":[583],"minimal":[584],"terminal":[585],"our":[588],"own":[589],"scheduling.":[590,631],"While":[591],"completely":[598],"real-time,":[600],"help":[604],"us":[605],"refine":[606],"right":[608],"needed":[612],"highly":[614],"move":[621],"kernel":[626]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1985174078","counts_by_year":[],"updated_date":"2025-01-19T07:18:15.958880","created_date":"2016-06-24"}