On the Self in Selfie

被引:0
|
作者
Kirsch, Christoph M. [1 ]
机构
[1] Univ Salzburg, Dept Comp Sci, Salzburg, Austria
基金
奥地利科学基金会;
关键词
Self-Referentiality; Symbolic Execution;
D O I
10.1145/3281287.3281288
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Selfie is a self-contained 64-bit, 10-KLOC implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing RISC-U emulator, (3) a self-hosting hypervisor that virtualizes the emulated RISC-U machine, and (4) a prototypical symbolic execution engine that executes RISC-U symbolically. Selfie can compile, execute, and virtualize itself any number of times in a single invocation of the system given adequate resources. There is also a simple linker, disassembler, debugger, and profiler. C* supports only two data types, uint64_t and uint64_t*, and RISC-U features just 14 instructions, in particular for unsigned arithmetic only, which significantly simplifies reasoning about correctness. Selfie has originally been developed just for educational purposes but has by now become a research platform as well. We discuss how selfie leverages the synergy of integrating compiler, target machine, and hypervisor in one self-referential package while orthogonalizing bootstrapping, virtual and heap memory management, emulated and virtualized concurrency, and even replay debugging and symbolic execution.
引用
收藏
页码:1 / 3
页数:3
相关论文
共 50 条
  • [21] Editing the self in pictures: Selfie editing promotes self-objectification among Chinese
    Xiao, Lijuan
    Chu, Diaoxin
    Wang, Fang
    Yang, Yitian
    CURRENT PSYCHOLOGY, 2023, 42 (13) : 10656 - 10668
  • [22] Selfie
    Harry Hens
    Vakblad Sociaal Werk, 2017, 18 (6) : 12 - 12
  • [23] SELFIE
    Nikitovich, Kh O.
    NOVYI MIR, 2015, (06): : 82 - 83
  • [24] Selfie
    Genin, Bernard
    POSITIF, 2020, (707): : 46 - 46
  • [25] selfie
    Charman, Janet
    LANDFALL, 2019, (238): : 73 - 74
  • [26] No selfie
    不详
    NEW SCIENTIST, 2021, 245 (3336) : 56 - 56
  • [27] The Selfie of the Year of the Selfie: Reflections on a Media Scandal
    Miltner, Kate M.
    Baym, Nancy K.
    INTERNATIONAL JOURNAL OF COMMUNICATION, 2015, 9 : 1701 - 1715
  • [28] Selfie Phenomenon: Contemporary culture of consumption's self-portraits
    Vieira Severiano, Maria de Fatima
    de Almeida, Fernanda Carvalho
    Benevides, Pablo Severiano
    Ricarte, Camila de Sousa
    ECOS-ESTUDOS CONTEMPORANEOS DA SUBJETIVIDADE, 2020, 10 (02): : 232 - 244
  • [29] Selfie retoucher: subject-oriented self-portrait enhancement
    Xia, Sifeng
    Yang, Shuai
    Liu, Jiaying
    MULTIMEDIA TOOLS AND APPLICATIONS, 2019, 78 (19) : 27591 - 27609
  • [30] From Self-portrait to Selfie between old and new trends
    Gargano, M.
    CLINICA TERAPEUTICA, 2020, 171 (03): : 235 - 237