{"id":"W4312548704","doi":"10.1007/978-3-031-17436-0_3","title":"Recycling Memory in Recoverable Mutex Locks","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Semaphore; Computer science; Mutual exclusion; Dram; Memory hierarchy; Cache; Correctness; Distributed computing; Focus (optics); Synchronization (alternating current); Context (archaeology); Parallel computing; State (computer science); Memory management; Context switch; Embedded system; Operating system; Computer network; Algorithm; Computer hardware","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001884075,0.0004993812,0.0005925113,0.001542659,0.0003599255,0.0004451807,0.004048401,0.0002889841,0.0001074011],"category_scores_gemma":[0.00013275,0.0005321582,0.0001337894,0.001167394,0.0002548724,0.0007037747,0.002328815,0.0014813,0.00002178501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007025269,"about_ca_system_score_gemma":0.0006415829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001146368,"about_ca_topic_score_gemma":0.00007474852,"domain_scores_codex":[0.9957193,0.00009429749,0.0007267577,0.001764243,0.0009596438,0.0007357442],"domain_scores_gemma":[0.9973546,0.0005330191,0.0003518373,0.001494856,0.000134026,0.0001316965],"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.00000478489,0.00002943759,0.00003748695,0.00001875038,0.000004317779,0.0001244641,0.000518202,0.5357869,0.00001996598,0.004294761,0.0001130881,0.4590478],"study_design_scores_gemma":[0.0002918562,0.0001527229,0.00002950969,0.0003178645,0.000003009912,0.0000690324,2.049867e-7,0.8739026,0.000901834,0.1163341,0.007189931,0.0008074101],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005967609,0.0005742905,0.9710264,0.000651053,0.001685875,0.0003728733,0.00000235681,0.0004433346,0.02518417],"genre_scores_gemma":[0.02951709,0.0003064125,0.9648368,0.002513907,0.0003321632,0.00002837824,0.00001132701,0.00006159759,0.002392326],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4582404,"threshold_uncertainty_score":0.999713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01737355325082311,"score_gpt":0.2502129989184866,"score_spread":0.2328394456676635,"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."}}