{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01047851,0.0009537284,0.001081701,0.001784449,0.001108363,0.003606907,0.003989785,0.001417396,0.003701583],"category_scores_gemma":[0.04253137,0.001019258,0.00119963,0.001224949,0.002616995,0.006803336,0.002741789,0.001918956,0.0009755284],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001530002,"about_ca_system_score_gemma":0.003873945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004328258,"about_ca_topic_score_gemma":0.002738117,"domain_scores_codex":[0.9875967,0.002182675,0.001739696,0.001628455,0.005427242,0.001425169],"domain_scores_gemma":[0.9138234,0.02583126,0.007931934,0.04044013,0.01122963,0.0007437188],"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.003521311,0.0006564833,0.1033019,0.001919226,0.0008355029,0.001966454,0.002451367,0.07531951,0.1900345,0.06322875,0.01733742,0.5394276],"study_design_scores_gemma":[0.000450213,0.001147471,0.02482785,0.0004309956,0.0006771898,0.001999628,0.0004061776,0.3175426,0.5731219,0.03922592,0.03969137,0.0004785485],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3849503,0.00177117,0.5305836,0.0005858214,0.0003405108,0.0002995621,0.001395542,0.07129837,0.008775007],"genre_scores_gemma":[0.9029025,0.0003287495,0.09044912,0.0002502187,0.00008745022,0.00008628637,0.0008746999,0.002218561,0.002802519],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01047851,"threshold_uncertainty_score":0.05541635,"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."}}