Skills
.Work. You
Rest

pintos-page-allocator

Community

Enforce best practices for memory allocation in Pintos kernel code.

Software Engineering#auditing#memory safety#kernel development#memory allocation#pintos#palloc
AuthorGzmomo001
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Memory allocation policies in Pintos kernel development are often inconsistent, leading to potential safety issues and inefficient memory usage.

Core Features & Use Cases

  • Audits kernel source code to ensure memory allocations use palloc_get_page(PAL_ZERO) instead of malloc.
  • Verifies proper failure handling and cleanup on allocation errors across various code paths.
  • Use Case: A developer working on Pintos modifies userprog/process.c and wants to audit all page allocations to ensure they adhere to the correct zeroed page allocation policy.

Quick Start

Read the .env file to determine PINTOS_PATH and search the ZhangZimo1308280/src/ directory for usage of malloc and palloc_get_page(, then run make MODULE=userprog compile to check compliance.

Dependency Matrix

Required Modules

None required

Components

scriptsreferences

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: pintos-page-allocator
Download link: https://github.com/Gzmomo001/PintOS_workspace/archive/main.zip#pintos-page-allocator

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.