svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] missing pool types

From: Daniel Huang <dehuang AT fas.harvard.edu>
To: "<svadev AT cs.illinois.edu>" <svadev AT cs.illinois.edu>
Subject: [svadev] missing pool types
Date: Sat, 26 Jan 2013 18:14:45 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

Hi Svadev,

I've been running SAFEcode on small input code that uses all memory objects in a type-homogenous manner. In this case, I except the DSnodes to have very explicit type information. However, I've noticed that most of the DSnodes created during the pool allocation pass have no type information. I checked to see if they were unknown nodes, but that wasn't the case either. Furthermore, when running SAFEcode with pool-allocation on medium sized (~200lines) C programs, it usually crashes with some assertion failure. What is the state of the pool-allocation library in SAFEcode?

I'm really interested in type-checking programs emitted with the SAFEcode compiler with a verified type-checker I wrote, but currently, I haven't been able to get anything with > 10 lines of simple C code to pool-allocate in a reasonable manner.

Regards,

Dan

[svadev] missing pool types, Daniel Huang, 01/26/2013
- Re: [svadev] missing pool types, John Criswell, 01/28/2013
  - Re: [svadev] missing pool types, Adve, Vikram Sadanand, 01/29/2013
    - Re: [svadev] missing pool types, Daniel Huang, 01/29/2013
      - Re: [svadev] missing pool types, John Criswell, 01/29/2013
        
        Re: [svadev] missing pool types, Daniel Huang, 01/29/2013