Concurrency Limits and Resource Allocation Code Verification Dataset

#code verification #static code analysis #scheduling anomaly detection #root cause analysis #distributed job scheduling #cluster resource management #concurrency quota management #scheduler debugging

7150
0.4GB
JSON
CATL
MOBIUSI INC

Updated:2026-11-04

AI Analysis & Value Prop

Focused on distributed task and job scheduling systems, this dataset covers scheduler source code involving queue priorities, concurrency quotas, worker-node capacity, resource reservations, and preemption policies. It includes verification annotations, normalized resource constraint models, anomaly evidence, and root-cause analyses for issues such as over-allocation, task starvation, priority inversion, and resource leaks. Use it to train and evaluate models that verify resource constraint implementations, diagnose scheduling anomalies, and identify their underlying causes.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
detected_anomalies	array	Resource constraint violations and scheduling anomalies identified from the source code and verification annotations, with supporting evidence.
validation_verdict	object	An overall assessment of whether the source code's resource constraint implementation meets concurrency limit and resource allocation requirements.
root_cause_analysis	string	An analysis of the underlying causes of scheduling anomalies based on resource constraint implementation, anomaly evidence, and execution paths.
scheduling_source_code	string	Scheduler implementation source code covering queue priorities, concurrency quotas, worker-node capacity, resource reservations, and preemption policies.
verification_annotations	string	Code verification annotations in JSON text, including anomaly labels such as over-allocation, starvation, priority inversion, and resource leaks, along with supporting evidence.
resource_constraint_model	object	A normalized model extracted from the scheduler source code, covering queue priorities, resource quotas, node capacity, reservations, and preemption policies.

Compliance Statement

Authorization Type	Proprietary - Commercial AI Training License (No Redistribution)
Commercial Use	Requires exclusive subscription or authorization contract (monthly or per-invocation charging)
Privacy and Anonymization	No PII, no real company names, simulated scenarios follow industry standards
Compliance System	Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs

Frequently Asked Questions

What does the dataset contain?: It includes scheduler source code, code verification annotations, normalized resource constraint models, detected scheduling anomalies, root-cause analyses, and verification verdicts. The covered logic includes queue priorities, concurrency quotas, worker-node capacity, resource reservations, and preemption policies.

Which verification tasks are supported by the annotations?: The annotations provide anomaly categories and supporting evidence for issues such as over-allocation, task starvation, priority inversion, and resource leaks. They can support training and evaluation for code verification and root-cause analysis.

How can I access and use the data?: Check the current product listing for available access methods, delivery details, and versions. Before use, confirm that the code languages, field structure, and task coverage meet your project requirements.

What licensing terms apply?: Licensing terms and usage restrictions are determined by the product listing or delivery agreement. Check the applicable licenses for the code samples and annotations before using them for commercial training, redistribution, or public release of analysis results.

Can't find the data you need?

Post a request and let data providers reach out to you.

Get this Dataset

Verified for Enterprise Use

Cite this Work

@dataset{Mobiusi2026,
  title={Concurrency Limits and Resource Allocation Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/728f4c673cf6219a9b55ecf5b231b705},
  urldate={2026-10-27},
  keywords={scheduler code verification,concurrency limits,resource allocation,job scheduling,resource constraint checks,scheduling anomaly detection,code root cause analysis,resource leak detection},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Scene

Domain

Modality

Task