{"id":"W1532814626","doi":"10.1007/3-540-44467-x_32","title":"Memory Consistency and Process Coordination for SPARC Multiprocessors","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Sequential consistency; Correctness; Consistency (knowledge bases); Consistency model; Critical section; Rotation formalisms in three dimensions; Memory model; Synchronization (alternating current); Set (abstract data type); Parallel computing; Theoretical computer science; Shared memory; Programming language; Distributed computing","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.002488514,0.0006215264,0.001126881,0.0007481813,0.001822136,0.003049536,0.002617003,0.001118444,0.003766376],"category_scores_gemma":[0.008141888,0.001024267,0.000513449,0.001743063,0.001742902,0.003862795,0.001765874,0.002339544,0.0005158549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001413229,"about_ca_system_score_gemma":0.00233435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004683476,"about_ca_topic_score_gemma":0.004437368,"domain_scores_codex":[0.9980459,0.0004885297,0.000136872,0.0003509253,0.000618495,0.0003593641],"domain_scores_gemma":[0.9955469,0.001802171,0.0003473572,0.001512352,0.0006079035,0.0001832385],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009982147,0.000172482,0.001807737,0.0003576386,0.00008365238,0.0003236044,0.000747031,0.141862,0.0103092,0.6694866,0.01907181,0.15478],"study_design_scores_gemma":[0.0001981833,0.0001440315,0.001132942,0.00005411152,0.0001079126,0.0002820884,0.0002082134,0.3838895,0.01434933,0.5715005,0.02807615,0.00005695287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09417465,0.006586427,0.8557019,0.001561124,0.0008316913,0.0001966936,0.0002614071,0.002495279,0.03819084],"genre_scores_gemma":[0.7918256,0.00191505,0.1770139,0.0002579906,0.0005651584,0.0003204632,0.0004790167,0.0007095658,0.02691338],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004683476,"threshold_uncertainty_score":0.01316065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01679639175768062,"score_gpt":0.2644749244284944,"score_spread":0.2476785326708138,"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."}}