`

Kilim源码分析之五 ---- 织入之变量活跃性分析

阅读更多

 

    /**
     * In live var analysis a BB asks its successor (in essence) about which
     * vars are live, mixes it with its own uses and defs and passes on a
     * new list of live vars to its predecessors. Since the information
     * bubbles up the chain, we iterate the list in reverse order, for
     * efficiency. We could order the list topologically or do a depth-first
     * spanning tree, but it seems like overkill for most bytecode
     * procedures. The order of computation doesn't affect the correctness;
     * it merely changes the number of iterations to reach a fixpoint. 
     * 变量活跃性分析,按照物理顺序,从最后一个块向前分析;把当前块及其物理后续块变量的活动性信息传递到下一个块(物理顺序前一块)进行分析。
     * 如果一个变量只在当前块中有访问,而在物理后续块中没有,则说明此变量活动范围到当前块结束。
     */
    private void doLiveVarAnalysis() {
        ArrayList<BasicBlock> bbs = getBasicBlocks();//所有bb
        Collections.sort(bbs); // sorts in increasing startPos order
        
        boolean changed;
        do {
            changed = false;
            for (int i = bbs.size() - 1; i >= 0; i--) {//从后向前分析
                changed = bbs.get(i).flowVarUsage() || changed;//一块块的分析
            }
        } while (changed);//如果changed不为false,while内部循环可能走多次,这什么算法?因为successor每次都是不一样的in可能每次在变的
    }
    
    //来看看BasicBlock.flowVarUsage的实现:
    public boolean flowVarUsage() {
        // for live var analysis, treat catch handlers as successors too.
        if (succUsage == null) {//catch handler里用到的变量也做分析
            succUsage = new ArrayList<Usage>(successors.size()
                    + handlers.size());
            for (BasicBlock succ : successors) {
                succUsage.add(succ.usage);
            }
            for (Handler h : handlers) {
                succUsage.add(h.catchBB.usage);
            }
        }
        return usage.evalLiveIn(succUsage);//把当前bb中访问到的变量跟所有后继节点&catch handler中变量使用情况进行分析
    }
 
    /**
     * This is the standard liveness calculation (Dragon Book, section 10.6). At each BB (and its
     * corresponding usage), we evaluate "in" using use and def. in = use U (out \ def) where out =
     * U succ.in, for all successors 
     * 活跃变量分析,每个bb的in变量用use和def来表示,in = use 与 (out - def)的并集, out = successor.in的并集     * 目的何在?
     */
    public boolean evalLiveIn(ArrayList<Usage> succUsage) {
        BitSet out = new BitSet(nLocals);//方法的maxLocals个bit
        BitSet old_in = (BitSet) in.clone();
        if (succUsage.size() == 0) {
            in = use;//没有后继结点,in的就是当前bb use的
        } else {
            // calculate out = U succ.in
            out = (BitSet) succUsage.get(0).in.clone();
            for (int i = 1; i < succUsage.size(); i++) {
                out.or(succUsage.get(i).in);
            }
            // calc out \ def == out & ~def == ~(out | def)
            BitSet def1 = (BitSet) def.clone();
            def1.flip(0, nLocals);
            out.and(def1);
            out.or(use);
            in = out;
        }
        return !(in.equals(old_in));//如果跟后继结点
    }

 

 

分享到:
评论

相关推荐

    actor线程库:kilim0.6

    在kilim-0.6这个压缩包中,包含了kilim库的源码、文档和其他相关资源。使用者可以通过阅读源码了解其内部实现机制,或者直接将其导入到项目中使用。kilim的核心特性包括: 1. **异步消息传递**:每个Actor都有自己...

    协程Coroutine和Kilim

    总结来说,Kilim为Java开发者提供了一种高效的并发编程模型,通过协程实现轻量级并发,降低了多线程的复杂性和开销。结合提供的`Promise`和`Fiber`机制,使得编写并发代码更加简单、可控。对于需要处理大量并发请求...

    基于角色的消息传递框架Kilim.zip

    Kilim 是一种 Java 消息传递框架,提供了超轻量级的线程,推动了线程之间迅速、安全、无需复制的消息传递的实现。 Kilim 使用 Java 编写,融入了角色模型的概念。在 Kilim 中,“角色” 是使用 Kilim 的 Task 类型...

    JAVA版本his系统源码-kilim:用于Java的轻量级线程,具有消息传递、nio、http和调度支持

    JAVA版本他的系统源码Kilim :JVM 的延续、纤维、Actor 和消息传递 Kilim 由 2 个主要组件组成: Kilim weaver 修改已编译的 java 类的字节码,启用一种方法来保存它的状态并放弃对其线程的控制,即协同多任务 Kilim...

    kilim-motifs:具有Lindenmayer系统的程序性Kilim主题生成

    《kilim-motifs:基于Lindenmayer系统的程序化Kilim图案生成》 ...同时,"kilim-motifs"也提供了一个实例,说明了开源软件如何促进创新,让全球的开发者都能参与到艺术和技术的融合之中,推动生成艺术的发展。

    基于Kilim、Promise JDeferred、Zookeeper和Spring Boot的协程分布式调用聚合框架设计源码

    该项目是一款基于Kilim、Promise JDeferred、Zookeeper和Spring Boot技术的协程驱动分布式调用聚合框架。源码包含223个文件,涵盖143个Java源文件、33个XML配置文件、13个GIF图片、7个JAR包、5个批处理脚本、4个属性...

    vivo X9主板原理图及PCB板图

    vivo X9 作为一款广受欢迎的智能手机型号,其主板设计与布局对于手机性能及稳定性具有至关重要的作用。通过对该设备的主板原理图及 PCB 板图进行分析,可以更好地理解其内部结构与工作原理,从而在维修过程中提高...

    mapleliang-Jungle Server Core使用与扩展1

    Jungle Server Core是一款强大的Java服务器核心框架,它提供了灵活的扩展性和高效的服务处理能力。本文将深入探讨其使用方法和扩展机制,帮助开发者更好地理解和应用这一框架。 ## 使用篇 ### 1. 源码结构 Jungle...

    协程式驱动框架Nepxion-Coroutine.zip

    Coroutine是基于Kilim/Promise JDeferred的协程式驱动框架,基于Apache Zookeeper的分布式规则存储和动态规则变更通知。 主要特性: 1. 基于微服务框架理念设计 2. 支持同步/异步调用 3. 支持串行/并行调用 4....

    在Java中使用协程.pdf

    Kilim避免了Java中的线程创建和销毁的开销,以及线程间同步的复杂性。通过使用所谓的"绿线程"(green thread),Kilim能够在单个JVM线程中执行多个并发任务,这显著降低了上下文切换的成本,从而提高了性能。 在...

Global site tag (gtag.js) - Google Analytics