Concurrency Limits and Resource Allocation Code Verification Dataset
- Records
- 7150
- Size
- 0.4GB
- Format
- JSON
- Provider
MOBIUSI INC- Updated
- v1.02026-11-04
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.
Overview
Dataset Insights
Preview
Sample Examples
Schema
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. |
Trust
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
FAQ
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
High-quality data, ready for your next AI breakthrough.
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?dataset_scene_id=19},
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.