Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Commits : Listings

Analyzed 3 months ago. based on code collected 3 months ago.
Jul 20, 2025 — Jul 20, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Updated VIRGO Linux Build Steps for 4.10.3
K.Srinivasan
More... over 9 years ago
deleted virgoeventnetclient_driver_build.sh
K.Srinivasan
More... over 9 years ago
moved virgoeventnetclient_driver_build.sh to virgoutils_driver_build.sh
K.Srinivasan
More... over 9 years ago
Build script for Linux kernel (64bit) 4.10.3
K.Srinivasan
More... over 9 years ago
Updated VIRGO Linux Kernel Build Steps (documentation update done almost 2 years late)
Srinivasan Kannan
More... over 9 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... almost 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... almost 10 years ago
VIRGO documentation - NeuronRain architecture diagrams
Srinivasan Kannan
More... about 10 years ago
Kernel panic investigation for VIRGO memory cache primitives - continued
Srinivasan Kannan
More... about 10 years ago
Ongoing Kernel panic investigation in VIRGO memory cache primitives
Srinivasan Kannan
More... about 10 years ago
Updated AsFer Design Document
Srinivasan Kannan
More... about 10 years ago
/etc/sysctl.conf file has been updated with few tunables for debugging random crashes in VIRGO Linux kernel memory system calls. With these time between panics has increased and multiple consecutive virgo_* primitives (malloc,set,get) combinations work well. The crashes often occur in VMA paging.
Srinivasan Kannan
More... about 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
--------------------------------------------------------------------------------------------------- VIRGO Linux Stability Issues - Ongoing Random oops and panics investigation --------------------------------------------------------------------------------------------------- 1. GFP_KERNEL has been replaced with GFP_ATOMIC flags in kmem allocations. 2. NULL checks have been introduced in lot of places involving strcpy, strcat, strcmp etc., to circumvent buffer overflows. 3. Though this has stabilized the driver to some extent, still there are OOPS in unrelated places deep with in kernel where paging datastructures are accessed - kmalloc somehow corrupts paging 4. OOPS are debugged via gdb as: 4.1 gdb ./vmlinux /proc/kcore or 4.2 gdb <loadable_kernel_module>.o followed by 4.3 l *(address+offset in OOPS dump) 5. kern.log(s) for the above have been committed in tar.gz format and have numerous OOPS occurred during repetitive telnet and syscall invocation(boost::python C++) invocations of virgo memory system calls. 6. Paging related OOPS look like an offshoot of set_fs() encompassing the filp_open VFS calls.
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Initial Documentation for Smatch and Coccinelle kernel static analyzers executed on VIRGO Linux kernel - to be updated periodically with further analysis.
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
SATURN alias analysis .db files
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO_SATURN_Program_Analysis_Integration.txt
Srinivasan Kannan
More... over 10 years ago
- Updated SATURN analysis databases (.db) for locking, memory and CFG analysis. - DOT and PNG files for locking, memory and CFG analysis. - new folder saturn_calypso_files/ has been added in saturn_program_analysis/ with new .clp files virgosaturncfg.clp and virgosaturnmemory.clp
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO_SATURN_Program_Analysis_Integration.txt with commandlines for memory, alias, locking analysis with SATURN calypso.
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
------------------------------------------------------------------------------------- Software Analytics - SATURN Program Analysis added to VIRGO Linux kernel drivers ------------------------------------------------------------------------------------- - SATURN (saturn.stanford.edu) Program Analysis and Verification software has been integrated into VIRGO Kernel as a Verification+SoftwareAnalytics subsystem - A sample driver that can invoke an exported function has been added in drivers - saturn_program_analysis - Detailed document for an example null pointer analysis usecase has been created in virgo-docs/VIRGO_SATURN_Program_Analysis_Integration.txt - linux-kernel-extensions/drivers/virgo/saturn_program_analysis/saturn_program_analysis_trees/error.txt is the error report from SATURN - SATURN generated preproc and trees are in linux-kernel-extensions/drivers/virgo/saturn_program_analysis/preproc and linux-kernel-extensions/drivers/virgo/saturn_program_analysis/saturn_program_analysis_trees/
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago
Updated VIRGO Design Document
Srinivasan Kannan
More... over 10 years ago