{"id":"W2181392738","doi":"","title":"Kilo TM Correctness: ABA Tolerance and Validation-Commit Indivisibility","year":2012,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Commit; Correctness; Computer science; Transactional memory; Database transaction; Value (mathematics); Parallel computing; Algorithm; Database; Machine learning","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.00422981,0.0009425127,0.001160166,0.001365259,0.001381214,0.003159211,0.004097831,0.001895304,0.003054632],"category_scores_gemma":[0.02820149,0.0009194535,0.000739047,0.001346897,0.004178786,0.005571159,0.006058349,0.003618687,0.0009622084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00141972,"about_ca_system_score_gemma":0.00374049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001902774,"about_ca_topic_score_gemma":0.001515136,"domain_scores_codex":[0.9921792,0.001387352,0.0007582905,0.000886925,0.003661208,0.001127015],"domain_scores_gemma":[0.9662284,0.007481216,0.004017538,0.01573961,0.005644431,0.0008889358],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004337735,0.0007958055,0.04476831,0.001390541,0.0001991247,0.00188094,0.002383839,0.09227318,0.07029249,0.3041653,0.03094458,0.4465681],"study_design_scores_gemma":[0.0005572382,0.001156865,0.00457601,0.0002364384,0.0002853504,0.002225227,0.0005950714,0.6492039,0.1372656,0.1718433,0.03184812,0.0002068163],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1269109,0.00118404,0.8383703,0.002126096,0.0005228564,0.000368961,0.0003279536,0.0167068,0.01348221],"genre_scores_gemma":[0.79821,0.0002727513,0.1940555,0.0007970529,0.0002702819,0.0002539928,0.0004294043,0.001435863,0.004275159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00422981,"threshold_uncertainty_score":0.02236968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01540894931320647,"score_gpt":0.2484148653236343,"score_spread":0.2330059160104278,"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."}}