{"id":"W6928871751","doi":"10.4230/lipics.opodis.2024.6","title":"DULL: A Fast Scalable Detectable Unrolled Lock-Based Linked List","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Radioactive element chemistry and processing","field":"Chemistry","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Scalability; Correctness; Multiprocessing; Data structure; Mutual exclusion","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.0005782681,0.0007477354,0.0004633863,0.001434813,0.0006554901,0.001492874,0.003365491,0.000681882,0.005433809],"category_scores_gemma":[0.002399704,0.0004896114,0.0004303374,0.001067417,0.0005807929,0.002404398,0.002175762,0.0008179948,0.001578436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001040539,"about_ca_system_score_gemma":0.001790764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002900502,"about_ca_topic_score_gemma":0.004405096,"domain_scores_codex":[0.999222,0.00008911527,0.00004778242,0.0001489722,0.000401665,0.00009045401],"domain_scores_gemma":[0.9986317,0.0004035429,0.0001987617,0.0003673723,0.000275476,0.0001230791],"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.001262576,0.0005016821,0.004223566,0.00116781,0.0001036549,0.000455153,0.0004245022,0.03978346,0.09790549,0.01733425,0.02891568,0.8079222],"study_design_scores_gemma":[0.0008565887,0.001535707,0.001555069,0.0001186224,0.0001173264,0.0004368835,0.0002494914,0.6686006,0.2222421,0.02087468,0.08322431,0.0001886816],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04687079,0.001110509,0.8819532,0.0003795866,0.0001658955,0.0004761032,0.000950154,0.06303593,0.005057907],"genre_scores_gemma":[0.2824751,0.0004614799,0.7006231,0.000402432,0.00006839402,0.0004905066,0.003255666,0.001524198,0.01069909],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005433809,"threshold_uncertainty_score":0.01817787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008538810778566691,"score_gpt":0.2544704868382914,"score_spread":0.2459316760597247,"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."}}