We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic depen...We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.展开更多
随着中国人口进入深度老龄化阶段,存在抑郁焦虑症状的老年人不断增加,老年人的心理健康问题日益凸显。基于婚姻的内在保护机制、主客体互倚模型和社会支持理论形成的综合分析框架,立足2020年CHARLS (China Health and Retirement Longit...随着中国人口进入深度老龄化阶段,存在抑郁焦虑症状的老年人不断增加,老年人的心理健康问题日益凸显。基于婚姻的内在保护机制、主客体互倚模型和社会支持理论形成的综合分析框架,立足2020年CHARLS (China Health and Retirement Longitudinal Study)数据,从计量维度分析婚姻状况对老年人抑郁程度的影响,以及子代支持(情感支持和经济支持)在其中的中介作用。结果显示,夫妻共同居住的老年人婚姻比其他婚姻类型(因工作原因分居、分开未离异、离异和丧偶)的老年人抑郁程度更低,且存在夫妻间抑郁情绪高度相关的情况;同时,已婚同居的老年人会得到更多的子代支持(包括情感支持和经济支持),这些子代支持有助于降低其抑郁程度。以此,为实现稳步提升老年人健康水平,促进实现健康老龄化国家战略提出了证据为本的政策指向。展开更多
文摘We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The slave dependency graph is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.
文摘随着中国人口进入深度老龄化阶段,存在抑郁焦虑症状的老年人不断增加,老年人的心理健康问题日益凸显。基于婚姻的内在保护机制、主客体互倚模型和社会支持理论形成的综合分析框架,立足2020年CHARLS (China Health and Retirement Longitudinal Study)数据,从计量维度分析婚姻状况对老年人抑郁程度的影响,以及子代支持(情感支持和经济支持)在其中的中介作用。结果显示,夫妻共同居住的老年人婚姻比其他婚姻类型(因工作原因分居、分开未离异、离异和丧偶)的老年人抑郁程度更低,且存在夫妻间抑郁情绪高度相关的情况;同时,已婚同居的老年人会得到更多的子代支持(包括情感支持和经济支持),这些子代支持有助于降低其抑郁程度。以此,为实现稳步提升老年人健康水平,促进实现健康老龄化国家战略提出了证据为本的政策指向。
