{"id":"W4240191654","doi":"10.1145/2675113","title":"Checking the Integrity of Transactional Mechanisms","year":2014,"lang":"en","type":"article","venue":"ACM Transactions on Storage","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Journaling file system; Commit; File system; Versioning file system; Operating system; Database transaction; Overhead (engineering); Database; Computer file","routes":{"ca_aff":true,"ca_fund":true,"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.0004200139,0.0001644135,0.0001862652,0.0001549383,0.0002745302,0.0000400324,0.002048429,0.0001089162,0.00004800906],"category_scores_gemma":[0.0001071069,0.0001223578,0.000119755,0.0005090169,0.0001537944,0.0005278703,0.0000263826,0.0005869482,0.00002961397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006420023,"about_ca_system_score_gemma":0.00003617323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002670789,"about_ca_topic_score_gemma":0.00002174621,"domain_scores_codex":[0.9987317,0.00008499852,0.0002433059,0.0003518686,0.0003652715,0.00022291],"domain_scores_gemma":[0.9976214,0.0004201159,0.0001085924,0.001736787,0.00007238689,0.000040692],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003026651,0.0002670187,0.000003836905,0.00002662566,0.00006928285,0.000005504598,0.0006445121,0.008866537,0.01435263,0.3246802,0.0001188479,0.6509347],"study_design_scores_gemma":[0.00121392,0.0007521301,0.000742709,0.00009952649,0.0000688029,0.0001043768,0.0006251669,0.05292679,0.3486441,0.5755824,0.01842188,0.000818209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001948561,0.00002284827,0.9944658,0.002237877,0.0004460333,0.0001380709,0.00002221046,0.0004426274,0.0002759999],"genre_scores_gemma":[0.7758621,0.0000130753,0.2238233,0.0001797062,0.00001257488,0.00002922702,0.000001323289,0.000009638766,0.00006905149],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7739135,"threshold_uncertainty_score":0.4989608,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02752836832432989,"score_gpt":0.2631868135703679,"score_spread":0.235658445246038,"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."}}