{"id":"W2949143797","doi":"10.11575/prism/18696","title":"RMR-Efficient Randomized Abortable Mutual Exclusion","year":2012,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mutual exclusion; Computer science; Binary logarithm; Abort; Asynchronous communication; Swap (finance); Adversary model; Scheduling (production processes); Upper and lower bounds; Logarithm; Omega; Combinatorics; Discrete mathematics; Theoretical computer science; Mathematics; Adversary; Operating system; Computer network; Physics; Computer security; Mathematical optimization","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002559811,0.0009146224,0.001824332,0.000537174,0.001410561,0.001710675,0.004237209,0.001634239,0.005986742],"category_scores_gemma":[0.01137209,0.0005030188,0.0009564019,0.0008991315,0.001688134,0.003162688,0.003985755,0.002454332,0.001756842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001624635,"about_ca_system_score_gemma":0.003586906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001627541,"about_ca_topic_score_gemma":0.002933781,"domain_scores_codex":[0.9947055,0.001658146,0.0002320084,0.0009839543,0.00133142,0.001088979],"domain_scores_gemma":[0.9877101,0.00688766,0.001143244,0.002795675,0.0008280122,0.0006353169],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004423012,0.0008887195,0.003024094,0.0008405244,0.0002069548,0.0006804087,0.0008142731,0.4814532,0.03602152,0.2183391,0.02187115,0.231437],"study_design_scores_gemma":[0.0003583673,0.0002305619,0.0001875598,0.0000217495,0.00003330085,0.000155765,0.00005098843,0.9241183,0.007542432,0.06415268,0.00310783,0.00004035337],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09981,0.0008366338,0.8776947,0.001445276,0.0002388881,0.0003931948,0.0004756941,0.006733158,0.01237249],"genre_scores_gemma":[0.7799447,0.0002030764,0.2098597,0.0005530936,0.0001210831,0.0004428677,0.0007107984,0.0004101802,0.007754509],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005986742,"threshold_uncertainty_score":0.0200277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04592313956739367,"score_gpt":0.1856176249528746,"score_spread":0.139694485385481,"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."}}