{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:ATZHWVPOIGDB5T3WGP2AHLRURE","short_pith_number":"pith:ATZHWVPO","schema_version":"1.0","canonical_sha256":"04f27b55ee41861ecf7633f403ae34891545539e55956bb248e1de0e81d3b5e6","source":{"kind":"arxiv","id":"1710.08296","version":2},"attestation_state":"computed","paper":{"title":"Building Efficient Concurrent Graph Object through Composition of List-based Set","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Muktikanta Sa, Nandini Singhal, Sathya Peri","submitted_at":"2017-10-20T16:02:36Z","abstract_excerpt":"In this paper, we propose a generic concurrent directed graph (for shared memory architecture) that is concurrently being updated by threads adding/deleting vertices and edges. The graph is constructed by the composition of the well known concurrent list-based set data-structure from the literature. Our construction is generic, in the sense that it can be used to obtain various progress guarantees, depending on the granularity of the underlying concurrent set implementation - either blocking or non-blocking. We prove that the proposed construction is linearizable by identifying its linearizati"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1710.08296","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-10-20T16:02:36Z","cross_cats_sorted":[],"title_canon_sha256":"d7a220b21f32f50a95ab8518a300be6c72af790ff531e5a95d26f389091875ec","abstract_canon_sha256":"bb65d910b97efad13d87000714e67331ce75d881f6e8480b3902719962072b10"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:44.779267Z","signature_b64":"O6uI1XJt8LPs9pJ7bqEVWimRY7fv2sXV5N+u+DtpsY2eeKqcFabM8AOXLRpl1V688H3fCFbVdxWoiTmtEClVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04f27b55ee41861ecf7633f403ae34891545539e55956bb248e1de0e81d3b5e6","last_reissued_at":"2026-05-18T00:31:44.778514Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:44.778514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Building Efficient Concurrent Graph Object through Composition of List-based Set","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Muktikanta Sa, Nandini Singhal, Sathya Peri","submitted_at":"2017-10-20T16:02:36Z","abstract_excerpt":"In this paper, we propose a generic concurrent directed graph (for shared memory architecture) that is concurrently being updated by threads adding/deleting vertices and edges. The graph is constructed by the composition of the well known concurrent list-based set data-structure from the literature. Our construction is generic, in the sense that it can be used to obtain various progress guarantees, depending on the granularity of the underlying concurrent set implementation - either blocking or non-blocking. We prove that the proposed construction is linearizable by identifying its linearizati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.08296","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1710.08296","created_at":"2026-05-18T00:31:44.778619+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.08296v2","created_at":"2026-05-18T00:31:44.778619+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.08296","created_at":"2026-05-18T00:31:44.778619+00:00"},{"alias_kind":"pith_short_12","alias_value":"ATZHWVPOIGDB","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_16","alias_value":"ATZHWVPOIGDB5T3W","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_8","alias_value":"ATZHWVPO","created_at":"2026-05-18T12:31:08.081275+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE","json":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE.json","graph_json":"https://pith.science/api/pith-number/ATZHWVPOIGDB5T3WGP2AHLRURE/graph.json","events_json":"https://pith.science/api/pith-number/ATZHWVPOIGDB5T3WGP2AHLRURE/events.json","paper":"https://pith.science/paper/ATZHWVPO"},"agent_actions":{"view_html":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE","download_json":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE.json","view_paper":"https://pith.science/paper/ATZHWVPO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.08296&json=true","fetch_graph":"https://pith.science/api/pith-number/ATZHWVPOIGDB5T3WGP2AHLRURE/graph.json","fetch_events":"https://pith.science/api/pith-number/ATZHWVPOIGDB5T3WGP2AHLRURE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE/action/storage_attestation","attest_author":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE/action/author_attestation","sign_citation":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE/action/citation_signature","submit_replication":"https://pith.science/pith/ATZHWVPOIGDB5T3WGP2AHLRURE/action/replication_record"}},"created_at":"2026-05-18T00:31:44.778619+00:00","updated_at":"2026-05-18T00:31:44.778619+00:00"}