公开(公告)号：US20150161030A1

公开(公告)日：2015-06-11

申请号：US14562706

申请日：2014-12-06

Applicant: Tsinghua University

Inventor： Yongwei WU ,  Kang CHEN ,  Weimin ZHENG ,  Mingxing ZHANG

IPC: G06F11/36 ,  G06F9/44

CPC classification number: G06F8/70 ,  G06F11/3632

Abstract: In a detecting method for concurrency bugs, a Current Fetter Set is defined for a dynamic instance of a static instruction in program invariants. A Belonging Invariants Set and an Enforcing Invariants Set from the Current Fetter Set are extracted. The Belonging Invariants Set and the Enforcing Invariants Set are pruned to obtain final results after pruning and storing the final results after pruning in an invariants database. Invariant violation is detected using a detection unit whether a first Current Fetter Set dissatisfying with corresponding Belonging Invariants Set and Enforcing Invariants Set is shown. If yes, the first Current Fetter Set is determined to contain a bug, the detection unit generating a violation report. A currently-running thread (the violated thread) is stalled to prevent running of the bug.

Abstract translation: 在并发错误的检测方法中，为程序不变量中的静态指令的动态实例定义了当前Fetter集。 提取了当前Fetter集合的属性不变量集和强制不变量集。 修剪属性不变量集合和执行不变量集合在修剪之后获得最终结果，并将修剪后的最终结果存储在不变量数据库中。 使用检测单元检测不变违规是否显示不符合相应的“属性不变量集”和“强制不变量集合”的第一个当前计数器集。 如果是，则确定第一个Current Fetter Set包含错误，检测单元生成违规报告。 当前正在运行的线程（被侵入的线程）被停止以防止该错误的运行。

公开(公告)号：US20150163668A1

公开(公告)日：2015-06-11

申请号：US14564891

申请日：2014-12-09

Applicant: Tsinghua University

Inventor： Yongwei WU ,  Kai HUANG ,  Kang CHEN ,  Huan FENG

IPC: H04W12/02

CPC classification number: H04W12/02 ,  H04L63/20 ,  H04W12/00505

Abstract: The present disclosure disclosures a protecting system and method for privacy information in a mobile terminal. In the system, a crowdsourcing database stores security strategy information of applications. An interaction management module receives a recommendation request of security strategy sent by the mobile terminal. A recommendation algorithm module calculates according to the recommendation request of security strategy to obtain corresponding recommended security strategy. An interaction management module recommends the recommended security strategy to the privacy protecting module. A privacy protecting module notifies a user and assists the mobile terminal to set privacy protection strategy according to the recommended security strategy recommended by the interaction management module, and protects the privacy information in the mobile terminal according to the privacy protection strategy. The system can set privacy protection dynamically. In this way, user experience is improved.

Abstract translation: 本公开公开了一种用于移动终端中的隐私信息的保护系统和方法。 在系统中，众包数据库存储应用程序的安全策略信息。 交互管理模块接收由移动终端发送的安全策略的推荐请求。 推荐算法模块根据安全策略的推荐请求计算得到相应的推荐安全策略。 交互管理模块向隐私保护模块推荐推荐的安全策略。 隐私保护模块通知用户，并协助移动终端根据交互管理模块推荐的推荐安全策略设置隐私保护策略，并根据隐私保护策略保护移动终端中的隐私信息。 系统可以动态设置隐私保护。 以这种方式，用户体验得到改善。

公开(公告)号：US20150199243A1

公开(公告)日：2015-07-16

申请号：US14593358

申请日：2015-01-09

Applicant: RESEARCH INSTITUTE OF TSINGHUA UNIVERSITY IN SHENZHEN

Inventor： Yongwei WU ,  Kang CHEN ,  Weimin ZHENG ,  Zhenqiang LI

IPC: G06F11/14 ,  G06F17/30

CPC classification number: G06F16/178 ,  G06F11/1451 ,  G06F11/1456 ,  G06F11/1464 ,  G06F16/182 ,  G06F2201/82

Abstract: A data backup method of a distributed file system is provided. The method is based on a comparison of a source file system and a target file system. Metadata of the target file system is compared with metadata of the source file system. The method includes: synchronizing target metadata of a target file according to source metadata of a source file, generating a file checksum list; determining whether a first target block is consistent with a first source block, obtaining and sending a first updated file checksum list to a first data node; determining whether a first chunk is consistent with a first target chunk, generating a first difference list, sending the first difference list and the first updated file checksum list to a first corresponding target data node; creating a temporary block, writing data in the temporary block, replacing the first corresponding target block with the temporary block.

Abstract translation: 提供了分布式文件系统的数据备份方法。 该方法基于源文件系统和目标文件系统的比较。 将目标文件系统的元数据与源文件系统的元数据进行比较。 该方法包括：根据源文件的源元数据同步目标文件的目标元数据，生成文件校验和列表; 确定第一目标块是否与第一源块一致，获得并向第一数据节点发送第一更新的文件校验和列表; 确定第一块是否与第一目标块一致，生成第一差异列表，将第一差分列表和第一更新文件校验和列表发送到第一对应目标数据节点; 创建临时块，在临时块中写入数据，用临时块替换第一对应目标块。