{"id":"W2133452522","doi":"10.1109/iwsoc.2005.70","title":"Hardware acceleration of deadlock avoidance and detection in real-time operating systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Human multitasking; Deadlock; Computer science; Acceleration; Distributed computing; Shared resource; Deadlock prevention algorithms; Process (computing); Resource (disambiguation); Embedded system; Software; Overhead (engineering); Computer multitasking; Resource management (computing); Real-time operating system; Resource allocation; Real-time computing; Operating system; Computer network","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005638406,0.00009291595,0.0001734463,0.0001291857,0.00004915501,0.0001304921,0.000229248,0.00007276929,0.000002886241],"category_scores_gemma":[0.00003302834,0.00008659635,0.00001547824,0.0002350188,0.00001284844,0.0008352846,0.00007102083,0.00007195314,0.000009361614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008034947,"about_ca_system_score_gemma":0.00002384367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005427037,"about_ca_topic_score_gemma":0.0001726546,"domain_scores_codex":[0.9989309,0.000141789,0.0003769585,0.0002559702,0.0001601969,0.0001341945],"domain_scores_gemma":[0.9994241,0.00006065528,0.0001110387,0.0002818693,0.00009082919,0.00003151883],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003307009,0.00003311067,0.001173377,0.0001024593,0.000006041685,0.000002853638,0.001249307,0.001568292,0.9474419,0.01082002,0.0002343481,0.03736499],"study_design_scores_gemma":[0.0001450263,0.00007042575,0.001045274,0.0001125522,0.000001074641,0.00002626341,0.00004415622,0.6368159,0.3614571,0.00007257973,0.00008646343,0.0001231503],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2852274,0.0001360503,0.7085676,0.0000697047,0.00006127133,0.0004378418,5.386848e-7,0.000347963,0.005151712],"genre_scores_gemma":[0.9409141,0.00001778805,0.0585742,0.00001609382,0.00004414126,0.00003731911,3.832425e-7,0.000006254559,0.0003897251],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6556867,"threshold_uncertainty_score":0.3531297,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01875239796944067,"score_gpt":0.2576339461497774,"score_spread":0.2388815481803367,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}