Vason P. Srini

29 papers A* 4A 2B 1C 1Misc 1Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2015 conf
ICECS
Mickaël Dardaillon, Chadi Jabbour, Vason P. Srini
2008 J jnl
IEICE Trans. Inf. Syst.
Won-Jong Lee, Vason P. Srini, Woo-Chan Park, Shigeru Muraki, Tack-Don Han
2007 J jnl
Microprocess. Microsystems
Jung-Hi Min, Hojung Cha, Vason P. Srini
2007 J jnl
IET Comput. Digit. Tech.
Won-Jong Lee, Woo-Chan Park, Vason P. Srini, Tack-Don Han
2006 J jnl
Computer
Vason P. Srini
2006 conf
SEUS/WCCIA
Emanuel Taropa, Vason P. Srini, Tack-Don Han
2006 C conf
ISORC
Jan O. Biermeyer, Vason P. Srini, Bernd Kleinjohann
2005 conf
SEUS
Tack-Don Han, Cheolho Cheong, Hyung-Min Yoon, Jong-Young Kim, Seong-Hun Jeong, Young-Seung Ryu, Bum-Seok Kang, Hyun-Kyung Kim, Seok-Won Lee, Vason P. Srini, Joo-Hyeon Lee, Young-Woo Sohn, Yoon Su Baek, Sang-Yong Lee, WooShik Kang, Seongwoon Kim
1998 A* conf
DAC
Roy A. Sutton, Vason P. Srini, Jan M. Rabaey
1997 J jnl
J. Syst. Integr.
Vason P. Srini, Tam M. Nguyen, Darren R. Busing, Michael J. Carlton, Bruce K. Holmer, Georges E. Smine, Alvin M. Despain
1995 B conf
PaCT
Vason P. Srini
1992 Misc conf
VLSI Design
Vason P. Srini
1990 conf
ICSI
Linda G. Bushnell, Vason P. Srini, Lau T. Nguyen
1990 conf
ICSI
Darren R. Busing, Vason P. Srini, Georges E. Smine, Michael J. Carlton, Alvin M. Despain
1988 A conf
ICS
Tam M. Nguyen, Vason P. Srini, Alvin M. Despain
1987 J jnl
SIGARCH Comput. Archit. News
Alvin M. Despain, Yale N. Patt, Vason P. Srini, Philip Bitar, William R. Bush, C. Chien, Wayne Citrin, Barry Fagin, Wenwei Hwu, Stephen W. Melvin, Rick McGeer, Ashok Singhal, Michael Shebanow, Peter Van Roy
1986 J jnl
Computer
Vason P. Srini
1985 J jnl
Computer
Vason P. Srini
1985 A* conf
MICRO
Barry S. Fagin, Yale N. Patt, Vason P. Srini, Alvin M. Despain
1984 J jnl
Int. J. Parallel Program.
Vason P. Srini, Bruce D. Shriver
1984 A conf
ICDCS
Vason P. Srini
1983 A* conf
ISCA
Vason P. Srini, Jorge F. Asenjo
1981 A* conf
ISCA
Vason P. Srini
1979 J jnl
IEEE Trans. Computers
Vason P. Srini
1978 J jnl
IEEE Trans. Computers
Vason P. Srini
1978 conf
MVL
Vason P. Srini
1977 J jnl
Computer
Vason P. Srini
1977 J jnl
Computer
Vason P. Srini
1975 J jnl
IEEE Trans. Computers
Vason P. Srini
redb/s3_utils.py
← Index redb/s3_utils.py python
"""
S3 and file utility functions for REDB.

Contains MinIO/S3 client creation, S3 key generation,
file download, and archive extraction helpers.
"""
import os
import tempfile
from typing import Optional, List

from minio import Minio
from minio.error import S3Error


def get_minio_client():
    """Create and return a Minio client using credentials from .env file"""
    return Minio(
        endpoint=os.getenv("S3_ENDPOINT"),
        access_key=os.getenv("S3_ACCESS_KEY"),
        secret_key=os.getenv("S3_SECRET_KEY"),
        secure=os.getenv("S3_SECURE", "false").lower() == "true"
    )


def generate_s3_key_from_hash(sample_hash: str) -> str:
    """
    Generate S3 key from hash using sharding structure.
    Example: 09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c
    becomes: 09/f7/09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c.zip
    """
    if len(sample_hash) < 4:
        raise ValueError(f"Hash too short for sharding: {sample_hash}")

    # Create sharded path: first 2 chars / next 2 chars / full_hash.zip
    return f"{sample_hash[:2]}/{sample_hash[2:4]}/{sample_hash}.zip"


def download_s3_object(s3_bucket: str, s3_key: str, temp_dir: str, logger=None) -> Optional[str]:
    """
    Download an object from S3 to a local temporary directory and return the local path.
    If the .zip file is not found, automatically tries .7z as a fallback for legacy uploads.
    """
    try:
        minio_client = get_minio_client()
        local_path = os.path.join(temp_dir, os.path.basename(s3_key))

        # Download the file
        minio_client.fget_object(s3_bucket, s3_key, local_path)

        return local_path
    except S3Error as e:
        # If .zip not found and error is NoSuchKey, try .7z fallback
        if e.code == 'NoSuchKey' and s3_key.endswith('.zip'):
            s3_key_7z = s3_key[:-4] + '.7z'  # Replace .zip with .7z
            if logger:
                logger.info(f".zip not found, trying .7z fallback: {s3_key_7z}")
            try:
                local_path_7z = os.path.join(temp_dir, os.path.basename(s3_key_7z))
                minio_client.fget_object(s3_bucket, s3_key_7z, local_path_7z)
                if logger:
                    logger.info(f"Successfully downloaded .7z fallback: {s3_key_7z}")
                return local_path_7z
            except S3Error as e2:
                if logger:
                    logger.error(f"Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                else:
                    print(f"[ERROR] Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                return None
        else:
            if logger:
                logger.error(f"Failed to download S3 object {s3_key}: {e}")
            else:
                print(f"[ERROR] Failed to download S3 object {s3_key}: {e}")
            return None


def extract_fat_slices(macho, output_dir: str, logger) -> List[tuple]:
    """
    Extract slices from FAT Mach-O binary using machofile's dump_slices() API.

    Args:
        macho: Parsed machofile.UniversalMachO object
        output_dir: Directory to write slice files
        logger: Logger instance

    Returns:
        List of (arch_name, slice_path, slice_sha256, slice_md5, slice_sha1) tuples
    """
    result = []
    try:
        # Use machofile's dump_slices API (v2026.2.5+)
        slices = macho.dump_slices(output_dir=output_dir)
        logger.debug(f"Extracted {len(slices)} slices from FAT binary")

        for arch_name, slice_path in slices:
            # Get hash info for this slice from machofile
            general_info = macho.get_general_info(arch=arch_name)
            slice_sha256 = general_info.get('SHA256')
            slice_md5 = general_info.get('MD5')
            slice_sha1 = general_info.get('SHA1')
            result.append((arch_name, slice_path, slice_sha256, slice_md5, slice_sha1))
            logger.debug(f"Slice {arch_name}: {slice_sha256}")

    except Exception as e:
        logger.error(f"Error extracting FAT slices: {e}")

    return result