en un clic
PintOS_workspace
PintOS_workspace contient 7 skills collectées depuis Gzmomo001, avec une couverture métier par dépôt et des pages de détail sur le site.
Skills dans ce dépôt
Enforces Pintos's strict GNU-like C formatting, such as 2-space indents, return types on separate lines, and spaces before parentheses.
Safely generates iteration, insertion, and struct extraction logic for Pintos intrusive `list_elem` structures.
Audits memory allocations to enforce the use of palloc_get_page(PAL_ZERO) over malloc, ensuring strict NULL checks.
Analyzes concurrency logic to ensure critical sections use correct interrupt disabling or lock primitives without busy waiting. Merges the former pintos-interrupt-guard functionality.
Autogenerates boilerplate for new system calls in `userprog/syscall.c`, including safe argument extraction and dispatch logic.
Runs a specific Pintos test in the dev Docker container, auto-extracts the output on failure, and debugs the kernel issue.
Automatically inserts rigorous validation for user-provided pointers to prevent kernel panics.