全面支持 PHP，英特尔代码检测工具 ControlFlag 1.1 发布-低调大师

全面支持 PHP，英特尔代码检测工具 ControlFlag 1.1 发布

2022-04-13 485

ControlFlag 1.1 现已发布。ControlFlag 是英特尔推出的一个基于机器学习的代码检测工具，通过人工智能和超过 10 亿行代码的训练结合，可以做到自动扫描存储库的源代码中的错误，英特尔已经将它应用到软件和硬件的生产。

ControlFlag 是一个自监督的特殊模式检测系统，就是通过从开源的存储库（在 GitHub 和其他 Git 平台）挖掘经典模式来学习高级编程语言（如 C/C++）的控制结构（if 等），然后用学到的经典结构来检测用户自己代码的异常情况。

去年 11 月发布的 ControlFlag 1.0 版本提供了对 C 语言的全面支持。v1.1 则添加了对 PHP 语言的全面支持，此版本完全支持在 C 和 PHP 程序的 if 语句中学习典型模式（训练）和检测异常模式（推理）。为以下方面提供支持：

下载 C 和 PHP 语言的 GitHub 存储库，挖掘条件表达式并使用它们训练 ControlFlag
包含来自 GitHub 存储库的预挖掘条件表达式的数据集
支持检测目标存储库中的异常条件表达式

此外，此版本修复了处理输入错误（#42、#45）和拼写错误（#43）。

更新说明：https://github.com/IntelLabs/control-flag/releases/tag/v1.1

微信关注我们

原文链接：https://www.oschina.net/news/191120/controlflag-1-1-released

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

计算机图形学编程语言 Taichi（太极）发布 1.0.0 版本

专为高性能计算机图形学设计的编程语言 Taichi（太极）已经发布 1.0.0 版本，这是一个里程碑版本，同时带来大量新特性，另外需要注意的是：许可证从 MIT 改成了 Apache 2.0 。许可证变更 Taichi 的许可证在公开投票后从 MIT 更改为 Apache-2.0 。#4607 Python 3.10 支持此版本在所有受支持的操作系统（Windows、macOS 和 Linux）上支持 Python 3.10。 Manylinux2014 兼容在 v1.0.0 之前，Taichi 仅适用于支持 glibc 2.27+（例如 Ubuntu 18.04+）的 Linux 发行版。从 v1.0.0 开始，除了普通的 Taichi 轮子，Taichi 还提供了 manylinux2014 兼容的轮子，可以在大多数现代 Linux 发行版上运行，包括 CentOS 7。新功能非 Python 部署解决方案通过与 OPPO 美国研究中心合作，Taichi 提供了 Taichi AOT，这是一种用于在非 Python 环境（例如移动设备）中部署内核的解决方案。编译的 T...

2022-04-14

1215

导言在信息技术飞速发展的今天，各种类型数据库层出不穷。由于支持数据在异构数据库间同步，逻辑复制的重要性与日俱增。当前openGauss逻辑复制串行解码平均性能为3~5MBps，在业务压力大的场景下难以满足实时同步的需求，导致日志堆积，从而影响生产集群业务。因此，我们设计了并行解码特性，令多个线程协同并行解码从而提高解码性能，在基础场景下解码性能可达到100MBps. 设计思路——为什么考虑并行解码？原有的串行解码逻辑，从读取日志，到日志解码，以及结果拼接发送都是由单线程处理的，主要流程及耗时的大致比例如下图所示：可以看出，整个流程的主要时间消耗在解码步骤中，需要通过多线程解码来进行优化；而发送步骤的耗时也较为明显，可以使用批量发送来做进一步优化。工作流程——并行解码消息序列图如下所示，在并行解码中，openGauss的数据节点（Data Node, DN）上的工作线程被分为三种： 1. Sender/Collector线程，负责接收客户的解码请求，以及拼接各解码线程的结果并发送给客户，该线程在一次解码请求中仅建立一个； 2. Reader/Dispatcher线程，负责读取W...

2022-04-14

618

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。