- Dev - mailweb.openeuler.org

OpenStack SIG 双周例会
by openEuler conference 28 Sep '22

28 Sep '22

您好！ sig-openstack SIG 邀请您参加 2022-09-28 15:00 召开的Zoom会议(自动录制) 会议主题：OpenStack SIG 双周例会会议链接：https://us06web.zoom.us/j/82312608109?pwd=OEV0ajc1WXhuSGJINTIwbU1LUWR6Zz09 会议纪要：https://etherpad.openeuler.org/p/sig-openstack-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler sig-openstack SIG invites you to attend the Zoom conference(auto recording) will be held at 2022-09-28 15:00, The subject of the conference is OpenStack SIG 双周例会, You can join the meeting at https://us06web.zoom.us/j/82312608109?pwd=OEV0ajc1WXhuSGJINTIwbU1LUWR6Zz09. Add topics at https://etherpad.openeuler.org/p/sig-openstack-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

1 0

sig-SDS双周例会
by openEuler conference 27 Sep '22

27 Sep '22

您好！ sig-SDS SIG 邀请您参加 2022-09-27 09:30 召开的Zoom会议(自动录制) 会议主题：sig-SDS双周例会会议内容： 1，社区需求进展（all） 2，社区issue进展 3，ceph rgw压缩加密特性增强（戴志威） 4，ceph编译效率优化（陈续强）会议链接：https://us06web.zoom.us/j/82164150332?pwd=K3NoYXhvbVBKRFhQTTcwbG0rMmxaQT09 会议纪要：https://etherpad.openeuler.org/p/sig-SDS-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler sig-SDS SIG invites you to attend the Zoom conference(auto recording) will be held at 2022-09-27 09:30, The subject of the conference is sig-SDS双周例会, Summary: 1，社区需求进展（all） 2，社区issue进展 3，ceph rgw压缩加密特性增强（戴志威） 4，ceph编译效率优化（陈续强） You can join the meeting at https://us06web.zoom.us/j/82164150332?pwd=K3NoYXhvbVBKRFhQTTcwbG0rMmxaQT09. Add topics at https://etherpad.openeuler.org/p/sig-SDS-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

2 1

人才与服务SIG组双周工作例会
by openEuler conference 27 Sep '22

27 Sep '22

您好！ sig-Talent-and-Service SIG 邀请您参加 2022-09-27 16:00 召开的Zoom会议(自动录制) 会议主题：人才与服务SIG组双周工作例会会议内容：讨论人才发展与服务能力会议链接：https://us06web.zoom.us/j/83582451506?pwd=U2tCSXJqc2ZtWC9FSDdjcEx0aVB6Zz09 会议纪要：https://etherpad.openeuler.org/p/sig-Talent-and-Service-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler sig-Talent-and-Service SIG invites you to attend the Zoom conference(auto recording) will be held at 2022-09-27 16:00, The subject of the conference is 人才与服务SIG组双周工作例会, Summary: 讨论人才发展与服务能力 You can join the meeting at https://us06web.zoom.us/j/83582451506?pwd=U2tCSXJqc2ZtWC9FSDdjcEx0aVB6Zz09. Add topics at https://etherpad.openeuler.org/p/sig-Talent-and-Service-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

1 0

欢迎继续申报议题~//答复: [Compiler] Compiler SIG 双周例会
by xuzhen (F) 26 Sep '22

26 Sep '22

明天（9月27日）上午10:00-11:30召开Compiler SIG 双周例会欢迎继续申报议题~ 当前议题： 1. 进展update 2. 社区成员角色介绍及规则讨论新增议题可以回复邮件反馈，或者录入会议看板： https://etherpad.openeuler.org/p/Compiler-meetings 会议链接： https://us06web.zoom.us/j/85376396648?pwd=T1N1MG11V1Bvem9ZSHdRcnMzd1p1Zz09 -----原始约会----- 发件人: openEuler conference [mailto:public@openeuler.org] 发送时间: 2022年9月23日 14:38 收件人: compiler@openeuler.org,dev@openeuler.org 主题: [Compiler] Compiler SIG 双周例会时间: 2022年9月27日星期二 10:00-11:30(UTC+08:00) 北京，重庆，香港特别行政区，乌鲁木齐。地点: 您好！ Compiler SIG 邀请您参加 2022-09-27 10:00 召开的Zoom会议(自动录制) 会议主题：Compiler SIG 双周例会会议内容： 1、进展update 2、社区成员角色介绍及规则讨论会议链接：https://us06web.zoom.us/j/85376396648?pwd=T1N1MG11V1Bvem9ZSHdRcnMzd1p1Zz09 会议纪要：https://etherpad.openeuler.org/p/Compiler-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler Compiler SIG invites you to attend the Zoom conference(auto recording) will be held at 2022-09-27 10:00, The subject of the conference is Compiler SIG 双周例会, Summary: 1、进展update 2、社区成员角色介绍及规则讨论 You can join the meeting at https://us06web.zoom.us/j/85376396648?pwd=T1N1MG11V1Bvem9ZSHdRcnMzd1p1Zz09. Add topics at https://etherpad.openeuler.org/p/Compiler-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

1 0

openEuler update_20220919 版本发布公告
by chemingdao 24 Sep '22

24 Sep '22

Dear all，经社区Release SIG、QA SIG及 CICD SIG 评估，openEuler-20.03-LTS-SP1、openEuler-20.03-LTS-SP3及openEuler-22.03-LTS update版本满足版本出口质量，现进行发布公示。本公示分为五部分： 1、openEuler-20.03-LTS-SP1 Update 20220919发布情况及待修复缺陷 2、openEuler-20.03-LTS-SP3 Update 20220919 发布情况及待修复缺陷 3、openEuler-22.03-LTS Update 20220919发布情况及待修复缺陷 4、openEuler 关键组件待修复CVE 清单 5、openEuler 社区指导文档及开放平台链接本次update版本发布后，下一个版本里程碑点（预计在2022/09/30）提供 update_20220926版本。 openEuler-20.03-LTS-SP1 Update 20220919 经各SIG及社区开发者贡献，本周openEuler-20.03-LTS-SP1修复版本已知问题11个，已知漏洞37个。目前版本分支剩余待修复缺陷67个，缺陷/漏洞统计详见清单，缺陷/漏洞问题详见各软件包源码仓库 openEuler-20.03-LTS-SP1 Update版本CVE修复及Bugfix list公示链接： https://gitee.com/openeuler/release-management/issues/I5ROVZ?from=project-i… CVE修复： CVE 仓库 CVSS评分 CVE-2022-40674 expat 9.8 CVE-2022-36109 docker 6.3 CVE-2022-3202 kernel 7.1 CVE-2022-27664 golang 7.5 CVE-2022-2520 libtiff 6.5 CVE-2022-1292 linux-sgx 9.8 CVE-2022-0778 shim 7.5 CVE-2022-0322 kernel 5.5 CVE-2021-45868 kernel 5.5 CVE-2021-4157 kernel 5.9 CVE-2021-3894 kernel 5.5 CVE-2021-3712 shim 7.4 CVE-2021-3656 kernel 8.8 CVE-2021-3505 libtpms 5.5 CVE-2021-33503 python-pip 7.5 CVE-2021-23840 shim 7.5 CVE-2020-1971 shim 5.9 CVE-2020-15025 ntp 4.9 CVE-2020-14422 python-pip 5.9 CVE-2018-0732 shim 7.5 CVE-2017-3735 shim 5.3 CVE-2022-40320 libconfuse 8.8 CVE-2021-45105 log4j 7.5 CVE-2021-44832 log4j 6.6 CVE-2021-22918 nodejs 5.3 CVE-2021-20191 ansible 5.5 CVE-2020-1753 ansible 5.5 CVE-2020-1740 ansible 4.7 CVE-2020-1739 ansible 3.9 CVE-2020-1737 ansible 7.8 CVE-2020-1735 ansible 4.6 CVE-2020-10729 ansible 5.5 CVE-2020-10684 ansible 7.1 CVE-2019-14904 ansible 7.3 CVE-2022-2735 pcs 7.8 CVE-2021-44228 flink 10 CVE-2020-36403 htslib 8.8 Bugfix： issue 仓库 #I5RPNP:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RPNP> python3 #I5RPRZ:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RPRZ> libxml2 #I5QU41:安全扫描出postfix的许多文件需要对rpath进行处理<https://gitee.com/open_euler/dashboard?issue_id=I5QU41> postfix #I5NUO6:注意spec中changelog撰写规范<https://gitee.com/open_euler/dashboard?issue_id=I5NUO6> libproxy #I5QIKV:【20.03 SP1 update20220907】sgx-pck-id-retrieval-tool升级有Error信息<https://gitee.com/open_euler/dashboard?issue_id=I5QIKV> linux-sgx #I4M3KE:[20.03-lts-sp1]卸载abrt-addon-ccpp报错：Failed to disable unit: Unit file abrt-ccpp.service does not exist.<https://gitee.com/open_euler/dashboard?issue_id=I4M3KE> abrt #I4NO1Z:【SP1-arm/x86】openhpi升级有报错信息<https://gitee.com/open_euler/dashboard?issue_id=I4NO1Z> openhpi #I5RV05:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RV05> libseccomp #I5O7TI:【openEuler-20.03-LTS-SP1 】[arm/x86]traffic_layout remove core dump<https://gitee.com/open_euler/dashboard?issue_id=I5O7TI> trafficserver #I5QPB7:【openEuler-20.03-LTS-SP1】【arm/x86】passenger 软件包命令行执行报错<https://gitee.com/open_euler/dashboard?issue_id=I5QPB7> passenger #I5SEBM:update oec hardware version to 1.1.2-4<https://gitee.com/open_euler/dashboard?issue_id=I5SEBM> oec-hardware openEuler-20.03-LTS-SP1版本编译构建信息查询链接： https://build.openeuler.org/project/show/openEuler:20.03:LTS:SP1 https://build.openeuler.org/project/show/openEuler:20.03:LTS:SP1:Epol openEuler-20.03-LTS-SP1 Update版本发布源链接： https://repo.openeuler.org/openEuler-20.03-LTS-SP1/update/ https://repo.openeuler.org/openEuler-20.03-LTS-SP1/EPOL/update/ openEuler CVE 及安全公告公示链接： https://www.openeuler.org/zh/security/cve/ https://www.openeuler.org/zh/security/safety-bulletin/ https://repo.openeuler.org/security/data/cvrf/ openEuler-20.03-LTS-SP1 Update版本待修复问题清单公示：任务ID 任务标题关联仓库 SIG I281C1 【fuzz】runtime error: libsass Base-service I437CR [SP1][arm/x86]obs-server包下11个服务启动关闭，出现报错 obs-server Others I43OSX [clamav] 执行clamscan --statistics pcre命令会出现error，但是最终返回码为0 clamav Others I44RHB large loop in OBJ_obj2txt openssl sig-security-facility I44RIX large loop in bn_lshift_fixed_top openssl sig-security-facility I47I56 yum升级出现dkms的错误告警打印 dkms Others I48GIM 【20.03LTS SP1 update 210901】ovirt-cockpit-sso.service服务启动失败 ovirt-cockpit-sso oVirt I490MU Uncaught exception in get_tokens_unprocessed python-pygments Programming-language I4CJX9 [20.03-LTS-SP1] 389-ds-base包下的部分命令-v参数不显示版本号 three-eight-nine-ds-base Application I4CM78 [20.03-LTS-SP1]389-ds-base和389-ds-base-legacy-tools包的部分命令执行返回No instances found in /etc/sysconfig three-eight-nine-ds-base Application I4F8YQ integer overflow in start_input_bmp libjpeg-turbo Desktop I4F8ZI heap-buffer-overflow in get_word_rgb_row libjpeg-turbo Desktop I4F903 Unexpect-exit in start_input_tga libjpeg-turbo Desktop I4F913 Timeout in tjDecompress2 libjpeg-turbo Desktop I4FRSL Undefined-shift in bitset_set augeas Desktop I4FT5J Timeout in fa_from_re augeas Desktop I4FT5U stack overflow in fa_from_re augeas Desktop I4FT61 stack overflow in re_case_expand augeas Desktop I4FT67 memleaks in ref_make_ref augeas Desktop I4FT6B SEGV in re_case_expand augeas Desktop I4FT6F stack overflow in parse_concat_exp augeas Desktop I4FT7B stack overflow in calc_eclosure_iter augeas Desktop I4FT8E stack overflow in peek_token augeas Desktop I4FT8P stack overflow in parse_path_expr augeas Desktop I4FT97 Out of memory in ns_from_locpath augeas Desktop I4FT9A SEGV in eval_expr augeas Desktop I4FT9C SEGV in tree_prev augeas Desktop I4FT9G stack overflow in check_expr augeas Desktop I4FT9I stack overflow in free_expr augeas Desktop I4G4A5 Undefine-shift in _bfd_safe_read_leb128 binutils Compiler I4G4B1 Integer overflow in print_vms_time binutils Compiler I4G4VY memleak in parse_gnu_debugaltlink binutils Compiler I4G4WF Heap-buffer-overflow in slurp_hppa_unwind_table binutils Compiler I4G4WW Use-after-free in make_qualified_name binutils Compiler I4G4X6 memleak in byte_get_little_endian binutils Compiler I4G4XF memleak in process_mips_specific binutils Compiler I4G4Y0 out-of-memory in vms_lib_read_index binutils Compiler I4G4YJ Heap-buffer-overflow in bfd_getl16 binutils Compiler I4G4YV Floating point exception in _bfd_vms_slurp_etir binutils Compiler I4G5TL stack-buffer-overflow in redisvFormatCommand hiredis Base-service I4G5U2 AddressSanitizer CHECK failed in sdscatvprintf hiredis Base-service I4G5UN SEGV in redisvFormatCommand hiredis Base-service I4G5WG AddressSanitizer CHECK failed in sdscatlen hiredis Base-service I4G5XO Attempting free wild-addr in hi_free hiredis Base-service I4J0OY 【20.03 SP1】【arm/x86】安装好libdap后，getdap4命令的-i和-k参数使用异常 libdap sig-recycle I4JMG4 【20.03 SP1】【arm/x86】robotframework包的三个命令：libdoc、rebot、robot执行--help/-h/-?/--version，查看帮助信息和版本信息，返回值为251 python-robotframework sig-ROS I4K6ES stack-buffer-overflow in UINT32_Marshal libtpms sig-security-facility I4K6FU global-buffer-overflow in Array_Marshal libtpms sig-security-facility I4K6R7 memleak in wrap_nettle_mpi_init gnutls sig-security-facility I4K6UI Timeout in _asn1_find_up gnutls sig-security-facility I4KT2A integer overflow in luaV_execute lua Base-service I4KT3D integer overflow in intarith lua Base-service I4KT3Q Division by zero in luaV_execute lua Base-service I4KT40 Timeout in luaV_finishget lua Base-service I4M3KE [20.03-lts-sp1]卸载abrt-addon-ccpp报错：Failed to disable unit: Unit file abrt-ccpp.service does not exist. abrt Application I4NNTR [SP1][x86/arm]执行isula pull busybox,报错"fetch and parse manifest failed" iSulad iSulad I4NO1Z 【SP1-arm/x86】openhpi升级有报错信息 openhpi System-tool I4O16Z 【SP1_update/arm】安装kernel-4.19.90-2108版本有错误提示信息 kernel Kernel I4QV6N 【openEuler-20.03-LTS-SP1】flink命令执行失败 flink sig-bigdata I5G81X 【20.03 SP1】selinux-policy卸载异常 selinux-policy sig-security-facility I5GT2K 【20.03-SP1】【arm/x86】pcp-system-tools包下的pcp-mpstat命令执行报错 pcp Application I5IG1V 【20.03-SP1】【x86/arm】epol源下的efl、efl-devel软件包安装报错，gpg检查失败 efl sig-compat-winapp I5IG6K 【20.03-SP1】【x86/arm】epol源下的opencryptoki、opencryptoki-devel软件包安装报错，gpg检查失败 opencryptoki dev-utils I5JHX2 【20.03 SP1 update 20220727】ovirt-engine在update 20220727版本安装失败 ovirt-engine oVirt I5JNSL 【20.03 SP1 update 20220727】【arm】htcacheclean.service服务启动之后，日志中提示”Can't open PID file /run/httpd/htcacheclean/pid“ httpd Networking I5O40D 【20.03 SP1】linux-sgx-driver在20.03 SP1分支安装有异常告警 linux-sgx-driver sig-confidential-computing I5Q5D1 【20.03 SP1】ibus在sp1分支安装有异常告警 ibus Desktop openEuler-20.03-LTS-SP3 Update 20220919 经各SIG及社区开发者贡献，本周openEuler-20.03-LTS-SP3修复版本已知问题8个，已知漏洞108个。目前版本分支剩余待修复缺陷18个，缺陷/漏洞统计详见清单，缺陷/漏洞问题详见各软件包源码仓库 openEuler-20.03-LTS-SP3 Update版本CVE修复及Bugfix list公示链接： https://gitee.com/openeuler/release-management/issues/I5ROW0?from=project-i… CVE修复：需求类型软件包 CVSS评分 CVE-2022-40674 expat 9.8 CVE-2022-36109 docker 6.3 CVE-2022-3202 kernel 7.1 CVE-2022-27664 golang 7.5 CVE-2022-2520 libtiff 6.5 CVE-2022-1292 linux-sgx 9.8 CVE-2022-0778 shim 7.5 CVE-2022-0322 kernel 5.5 CVE-2021-3894 kernel 5.5 CVE-2021-3712 shim 7.4 CVE-2021-33503 python-pip 7.5 CVE-2021-23840 shim 7.5 CVE-2020-1971 shim 5.9 CVE-2020-15025 ntp 4.9 CVE-2020-14422 python-pip 5.9 CVE-2018-0732 shim 7.5 CVE-2017-3735 shim 5.3 CVE-2022-40320 libconfuse 8.8 CVE-2021-45105 log4j 7.5 CVE-2021-45046 log4j 3.7 CVE-2021-44832 log4j 6.6 CVE-2021-44227 mailman 8.8 CVE-2021-43813 grafana 4.3 CVE-2021-43809 rubygem-bundler 7.3 CVE-2021-43797 netty 6.5 CVE-2021-43332 mailman 6.5 CVE-2021-43331 mailman 6.1 CVE-2021-42717 mod_security 7.5 CVE-2021-42550 logback 6.6 CVE-2021-4048 lapack 5.9 CVE-2021-39226 grafana 7.3 CVE-2021-37623 exiv2 5.5 CVE-2021-37622 exiv2 5.5 CVE-2021-37621 exiv2 5.5 CVE-2021-37620 exiv2 5.5 CVE-2021-37618 exiv2 5.5 CVE-2021-37616 exiv2 5.5 CVE-2021-37615 exiv2 5.5 CVE-2021-35648 mysql 4.9 CVE-2021-35647 mysql 4.9 CVE-2021-35646 mysql 4.9 CVE-2021-35645 mysql 4.9 CVE-2021-35644 mysql 4.9 CVE-2021-35643 mysql 4.9 CVE-2021-35642 mysql 4.9 CVE-2021-35641 mysql 4.9 CVE-2021-35640 mysql 2.7 CVE-2021-35639 mysql 4.9 CVE-2021-35638 mysql 4.9 CVE-2021-35637 mysql 4.9 CVE-2021-35636 mysql 4.9 CVE-2021-35635 mysql 4.9 CVE-2021-35634 mysql 4.9 CVE-2021-35633 mysql 2.7 CVE-2021-35632 mysql 4.4 CVE-2021-35631 mysql 4.9 CVE-2021-35630 mysql 4.9 CVE-2021-35628 mysql 4.9 CVE-2021-35627 mysql 4.9 CVE-2021-35626 mysql 4.9 CVE-2021-35625 mysql 2.7 CVE-2021-35624 mysql 4.9 CVE-2021-35623 mysql 2.7 CVE-2021-35622 mysql 4.9 CVE-2021-35621 mysql 6.3 CVE-2021-35618 mysql 1.8 CVE-2021-35612 mysql 5.5 CVE-2021-35610 mysql 7.1 CVE-2021-35608 mysql 5.3 CVE-2021-35607 mysql 6.5 CVE-2021-35604 mysql 5.5 CVE-2021-35602 mysql 5 CVE-2021-35597 mysql 6.5 CVE-2021-35596 mysql 4.9 CVE-2021-35591 mysql 4.9 CVE-2021-35577 mysql 4.9 CVE-2021-35575 mysql 4.9 CVE-2021-35546 mysql 4.9 CVE-2021-34335 exiv2 5.5 CVE-2021-34334 exiv2 5.5 CVE-2021-32815 exiv2 5.5 CVE-2021-31292 exiv2 7.5 CVE-2021-2481 mysql 6.5 CVE-2021-2479 mysql 4.9 CVE-2021-2478 mysql 4.9 CVE-2021-2471 mysql 5.9 CVE-2019-13504 exiv2 6.5 CVE-2019-13108 exiv2 6.5 CVE-2021-4011 xorg-x11-server 7.8 CVE-2021-4010 xorg-x11-server 7.8 CVE-2021-4009 xorg-x11-server 7.8 CVE-2021-4008 xorg-x11-server 7.8 CVE-2022-2735 pcs 7.8 CVE-2021-41099 redis5 7.5 CVE-2021-41099 redis6 7.5 CVE-2021-39358 gfbgraph 5.9 CVE-2021-32762 redis5 8.8 CVE-2021-32762 redis6 8.8 CVE-2021-32687 redis5 7.5 CVE-2021-32687 redis6 7.5 CVE-2021-32675 redis5 7.5 CVE-2021-32675 redis6 7.5 CVE-2021-32628 redis5 7.5 CVE-2021-32628 redis6 7.5 CVE-2021-32627 redis5 7.5 CVE-2021-32627 redis6 7.5 CVE-2021-32626 redis5 8.8 CVE-2020-36403 htslib 8.8 Bugfix： issue 仓库 #I5RPNP:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RPNP> python3 #I5RPRZ:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RPRZ> libxml2 #I5QU41:安全扫描出postfix的许多文件需要对rpath进行处理<https://gitee.com/open_euler/dashboard?issue_id=I5QU41> postfix #I5NUO6:注意spec中changelog撰写规范<https://gitee.com/open_euler/dashboard?issue_id=I5NUO6> libproxy #I5RV05:spec文件里recommend了help文件，事实上不需要该依赖<https://gitee.com/open_euler/dashboard?issue_id=I5RV05> libseccomp #I5O7IX:【openEuler-20.03-LTS-SP3 】[arm/x86]traffic_layout remove core dump<https://gitee.com/open_euler/dashboard?issue_id=I5O7IX> trafficserver #I5QPA1:【openEuler-20.03-LTS-sp3】【arm/x86】passenger 软件包命令行执行报错<https://gitee.com/open_euler/dashboard?issue_id=I5QPA1> passenger #I5SEBM:update oec hardware version to 1.1.2-4<https://gitee.com/open_euler/dashboard?issue_id=I5SEBM> oec-hardware openEuler-20.03-LTS-SP3版本编译构建信息查询链接： https://build.openeuler.org/project/show/openEuler:20.03:LTS:SP3 https://build.openeuler.org/project/show/openEuler:20.03:LTS:SP3:Epol openEuler-20.03-LTS-SP3 Update版本发布源链接： https://repo.openeuler.org/openEuler-20.03-LTS-SP3/update/ https://repo.openeuler.org/openEuler-20.03-LTS-SP3/EPOL/update/main/ openEuler CVE 及安全公告公示链接： https://www.openeuler.org/zh/security/cve/ https://www.openeuler.org/zh/security/safety-bulletin/ https://repo.openeuler.org/security/data/cvrf/ openEuler-20.03-LTS-SP3 Update版本待修复问题清单公示：任务ID 任务标题关联仓库 SIG I4QV7S 【openEuler-20.03-LTS-SP3】flink run 命令执行失败 flink sig-bigdata I4RVHE losetup : 当loop设备编号超过7位时，losetup命令无法操作该设备 util-linux Base-service I4UMEV [openEuler 20.03-LTS SP3]openEuler开启crash_kexec_post_notifiers后，panic通知链无法完全遍历 kernel Kernel I5IGAS 【20.03-SP3】【x86/arm】epol源下的opencryptoki、opencryptoki-devel软件包安装报错，gpg检查失败 opencryptoki dev-utils I5IGOR 【20.03-SP3】【x86/arm】epol源下的fluidsynth、fluidsynth-devel、fluidsynth-help软件包安装报错，gpg检查失败 fluidsynth Application I5JBJ9 【20.03 SP3_EPOL_update20220727】ovirt-engine-backend包卸载过程的告警信息需要优化 ovirt-engine oVirt I5JLNF 【20.03 SP3 update 20220727】【arm/x86】ovirt-websocket-proxy.service服务启动失败 ovirt-engine oVirt I5JLRQ 【20.03 SP3 update 20220727】【arm/x86】ovirt-engine-notifier.service服务启动失败 ovirt-engine oVirt I5KXUY 【20.03 LTS SP3 update 20220803】【arm/x86】ovirt-cockpit-sso.service服务启动失败 ovirt-cockpit-sso oVirt I5KY4S 【20.03 LTS SP3 update 20220803】【arm/x86】vdsmd.service服务启动失败，导致mom-vdsm.service服务无法启动成功 vdsm oVirt I5LYJK 【20.03-sp3_update20220801】【x86】对内核版进行升级后，TCP_option_address安装异常 TCP_option_address Kernel I5NU6W [20.03-LTS-SP3]dnf无法安装libtirpc-devel dnf sig-OS-Builder I5PHJA [20.03-LTS-SP3]spec文件存在软件包编译依赖自身，且打包包含系统环境文件 hunspell Desktop I5PT12 [20.03-LTS-SP3]spec文件存在软件包编译依赖自身，且打包包含系统环境文件 ima-evm-utils Base-service I5PUIA [20.03-LTS-SP3]spec文件存在软件包编译依赖自身，且打包包含系统环境文件 qrencode Desktop I5RHBG 【20.03_SP3】【arm/x86】iSulad降级时依赖包未同步降级，导致依赖包版本不匹配出现报错 iSulad iSulad I5SCLC 【20.03 SP3】selinux-policy卸载异常 selinux-policy sig-security-facility I5SS97 【openEuler-20.03-SP3】[arm/x86]trafficserver指定配置文件进行查看/扫描失败 trafficserver Networking openEuler-22.03-LTS Update 20220919 经各SIG及社区开发者贡献，本周openEuler-22.03-LTS修复版本已知问题8个，已知漏洞18个。目前版本分支剩余待修复缺陷11个，缺陷/漏洞统计详见清单，缺陷/漏洞问题详见各软件包源码仓库 openEuler-22.03-LTS Update版本CVE修复及Bugfix list公示链接： https://gitee.com/openeuler/release-management/issues/I5ROW1?from=project-i… CVE修复： CVE 仓库 CVSS评分 CVE-2017-3735 shim 5.3 CVE-2018-0732 shim 7.5 CVE-2020-1971 shim 5.9 CVE-2021-23840 shim 7.5 CVE-2021-3712 shim 7.4 CVE-2022-0778 shim 7.5 CVE-2022-29901 linux-sgx 9.8 CVE-2022-2520 libtiff 6.5 CVE-2022-26373 kernel 5.5 CVE-2022-2905 kernel 5.5 CVE-2022-2991 kernel 6.7 CVE-2022-3078 kernel 5.5 CVE-2022-40307 kernel 4.7 CVE-2022-27664 golang 7.5 CVE-2022-40674 expat 9.8 CVE-2022-36109 docker 6.3 CVE-2022-40320 libconfuse 8.8 CVE-2022-2735 pcs 7.8 Bugfix： issue 仓库 #I5RQKG:lws_service() triggered assert<https://gitee.com/open_euler/dashboard?issue_id=I5RQKG> libwebsockets #I5P7EI:【openEuler-22.09-RC3】【arm/x86】lxc 软件包 "-?" 参数执行返回"invalid option"<https://gitee.com/open_euler/dashboard?issue_id=I5P7EI> lxc #I5RQPC:删除daemon json中无用的字段<https://gitee.com/open_euler/dashboard?issue_id=I5RQPC> lcr #I5PEOK:【22.03_LTS_update0831】【arm/x86】iSulad包升级、降级过程存在错误信息<https://gitee.com/open_euler/dashboard?issue_id=I5PEOK> iSulad #I5QJZI:【openEuler-22.03-LTS】【arm/x86】passenger 软件包命令行执行报错<https://gitee.com/open_euler/dashboard?issue_id=I5QJZI> passenger #I5SEBM:update oec hardware version to 1.1.2-4<https://gitee.com/open_euler/dashboard?issue_id=I5SEBM> oec-hardware #I5DC4A:【OLK-5.10】内存扩展特性中添加指定内存页面换出、swapcache回收等功能<https://gitee.com/open_euler/dashboard?issue_id=I5DC4A> kernel #I5RUMQ:upgrade to jdk11.0.17-06<https://gitee.com/open_euler/dashboard?issue_id=I5RUMQ> openjdk-11 openEuler-22.03-LTS版本编译构建信息查询链接： https://build.openeuler.org/project/show/openEuler:22.03:LTS https://build.openeuler.org/project/show/openEuler:22.03:LTS:Epol openEuler-22.03-LTS Update版本发布源链接： https://repo.openeuler.org/openEuler-22.03-LTS/update/ https://repo.openeuler.org/openEuler-22.03-LTS/EPOL/update/main/ https://repo.openeuler.org/openEuler-22.03-LTS/EPOL/update/multi_version/Op… https://repo.openeuler.org/openEuler-22.03-LTS/EPOL/update/multi_version/Op… openEuler-22.03-LTS Update版本待修复问题清单公示：任务标题关联仓库 SIG firefox浏览器无法播放音频和视频 firefox Application 【openEuler 22.03-LTS】5.10内核执行ltp用例出现softlockup问题 kernel Kernel 【openEuler22.03】【arm】ltp执行proc01用例失败 kernel Kernel 升级iinstall-scripts包会导致系统启动异常 install-scripts sig-OS-Builder 【22.03 LTS update 20220727】ovirt-engine在update 20220727版本安装失败 ovirt-engine oVirt 【22.03_update20220727】【x86/arm】ovirt-engine源码包本地自编译失败，缺少编译依赖ovirt-jboss-modules-maven-plugin ovirt-engine oVirt libbluray build problem in openEuler:22.03:LTS libbluray Desktop libxshmfence build problem in openEuler:22.03:LTS libxshmfence Desktop yaffs2 build problem in openEuler:22.03:LTS yaffs2 sig-embedded [22.03-LTS]x86虚拟机卸载qxl模块，机器自动重启 kernel Kernel 【22.09 RC4】【arm/x86】package.ini中的redis_host配置为不存在的ip，重启pkgship服务失败，服务一直在尝试重启 pkgship sig-EasyLife 社区待修复漏洞： openEuler社区根据漏洞严重等级采取差异化的修复策略，请各个SIG 关注涉及CVE组件的修复情况。严重等级（Severity Rating）漏洞修复时长致命（Critical） 7天高（High） 14天中（Medium） 30天低（Low） 30天可参考社区安全委员会漏洞：https://gitee.com/openeuler/security-committee/wikis/%E7%A4%BE… 近14天将超期CVE: 漏洞编号 Issue ID 剩余天数 CVSS评分软件包责任SIG CVE-2022-2991 I5O6AA 0.37 6.7 risc-v-kernel sig-RISC-V CVE-2021-43767 I5O6QO 0.6 5.9 postgresql DB CVE-2022-38533 I5OCPG 1.15 5.5 mingw-binutils sig-compat-winapp CVE-2022-38533 I5OCPF 1.15 5.5 binutils Compiler CVE-2022-3170 I5QMYH 1.26 7.8 risc-v-kernel sig-RISC-V CVE-2022-2905 I5OCW4 1.42 5.5 risc-v-kernel sig-RISC-V CVE-2022-2840 I5RWZL 2.16 9.8 zephyr 　 CVE-2022-39955 I5S5XG 3.2 9.8 mod_security_crs Base-service CVE-2022-39956 I5S5YT 3.22 9.8 mod_security_crs Base-service CVE-2022-3202 I5QWJO 3.28 7.1 risc-v-kernel sig-RISC-V CVE-2022-36033 I5OPAV 4.29 　 jsoup sig-Java CVE-2022-34169 I5HV9H 4.37 7.5 openjdk-1.8.0 Compiler CVE-2020-35536 I5OS1X 4.74 5.5 mingw-gcc sig-compat-winapp CVE-2020-35536 I5OV75 4.95 5.5 gcc Compiler CVE-2022-3061 I5OVRO 5.01 5.5 risc-v-kernel sig-RISC-V CVE-2022-38126 I5OWHY 5.3 5.5 mingw-binutils sig-compat-winapp CVE-2022-38126 I5OWHX 5.3 5.5 binutils Compiler CVE-2022-38128 I5OWIK 5.38 5.5 mingw-binutils sig-compat-winapp CVE-2022-38128 I5OWIJ 5.38 5.5 binutils Compiler CVE-2022-38127 I5OWII 5.38 5.5 mingw-binutils sig-compat-winapp CVE-2022-38127 I5OWIH 5.38 5.5 binutils Compiler CVE-2022-28321 I5SND3 5.39 9.8 pam sig-security-facility CVE-2022-1976 I5RGF6 5.83 7.8 risc-v-kernel sig-RISC-V CVE-2022-40150 I5RJ5B 6 7.5 jettison dev-utils CVE-2022-40149 I5RJ57 6 7.5 jettison dev-utils CVE-2022-3176 I5RJNX 6.16 7.8 risc-v-kernel sig-RISC-V CVE-2022-3176 I5RJNS 6.16 7.8 kernel Kernel CVE-2022-32087 I5RJTQ 6.22 7.5 mariadb DB CVE-2022-32091 I5RJTP 6.22 7.5 mariadb DB CVE-2022-32085 I5RJTO 6.22 7.5 mariadb DB CVE-2022-32084 I5RJTN 6.22 7.5 mariadb DB CVE-2022-32088 I5RJTM 6.22 7.5 mariadb DB CVE-2022-32083 I5RJTF 6.22 7.5 mariadb DB CVE-2022-35940 I5RJXA 6.41 7.5 tensorflow sig-ai CVE-2022-35935 I5RJX4 6.41 7.5 tensorflow sig-ai CVE-2022-35952 I5RJX0 6.41 7.5 tensorflow sig-ai CVE-2022-35963 I5RJWZ 6.41 7.5 tensorflow sig-ai CVE-2022-1841 I5P3I2 6.41 5.3 zephyr 　 CVE-2022-35986 I5RJYX 6.54 7.5 tensorflow sig-ai CVE-2022-35985 I5RJYN 6.54 7.5 tensorflow sig-ai CVE-2022-35994 I5RJYJ 6.54 7.5 tensorflow sig-ai CVE-2022-35983 I5RJYE 6.54 7.5 tensorflow sig-ai CVE-2022-35970 I5RJYB 6.54 7.5 tensorflow sig-ai CVE-2022-35971 I5RJY8 6.54 7.5 tensorflow sig-ai CVE-2022-35989 I5RJY2 6.54 7.5 tensorflow sig-ai CVE-2022-35991 I5RJXY 6.54 7.5 tensorflow sig-ai CVE-2022-35984 I5RJXX 6.54 7.5 tensorflow sig-ai CVE-2022-35965 I5RJXV 6.54 7.5 tensorflow sig-ai CVE-2022-36014 I5RKJ5 6.63 7.5 tensorflow sig-ai CVE-2022-36000 I5RKIO 6.63 7.5 tensorflow sig-ai CVE-2022-36002 I5RKI5 6.63 7.5 tensorflow sig-ai CVE-2022-36018 I5RKHT 6.63 7.5 tensorflow sig-ai CVE-2022-36003 I5RKHE 6.63 7.5 tensorflow sig-ai CVE-2022-36026 I5RKGS 6.63 7.5 tensorflow sig-ai CVE-2022-36017 I5RKGF 6.63 7.5 tensorflow sig-ai CVE-2022-36013 I5RKG9 6.63 7.5 tensorflow sig-ai CVE-2022-36005 I5RKFV 6.63 7.5 tensorflow sig-ai CVE-2022-36019 I5RKFQ 6.63 7.5 tensorflow sig-ai CVE-2022-36011 I5RKFB 6.63 7.5 tensorflow sig-ai CVE-2022-36027 I5RKF9 6.63 7.5 tensorflow sig-ai CVE-2022-36001 I5RKF2 6.63 7.5 tensorflow sig-ai CVE-2022-36016 I5RKES 6.63 7.5 tensorflow sig-ai CVE-2022-36015 I5RKEN 6.63 7.5 tensorflow sig-ai CVE-2022-35990 I5RKNH 6.64 7.5 tensorflow sig-ai CVE-2022-35998 I5RKN6 6.64 7.5 tensorflow sig-ai CVE-2022-35979 I5RKMX 6.64 7.5 tensorflow sig-ai CVE-2022-35967 I5RKMV 6.64 7.5 tensorflow sig-ai CVE-2022-35941 I5RKMP 6.64 7.5 tensorflow sig-ai CVE-2022-35959 I5RKMG 6.64 7.5 tensorflow sig-ai CVE-2022-35964 I5RKME 6.64 7.5 tensorflow sig-ai CVE-2022-35934 I5RKM5 6.64 7.5 tensorflow sig-ai CVE-2022-35966 I5RKM0 6.64 7.5 tensorflow sig-ai CVE-2022-35992 I5RKLN 6.64 7.5 tensorflow sig-ai CVE-2022-35988 I5RKLI 6.64 7.5 tensorflow sig-ai CVE-2022-35973 I5RKL2 6.64 7.5 tensorflow sig-ai CVE-2022-35999 I5RKKW 6.64 7.5 tensorflow sig-ai CVE-2022-35993 I5RKKT 6.64 7.5 tensorflow sig-ai CVE-2022-35972 I5RKKF 6.64 7.5 tensorflow sig-ai CVE-2022-36012 I5RKJX 6.64 7.5 tensorflow sig-ai CVE-2022-36004 I5RKJF 6.64 7.5 tensorflow sig-ai CVE-2022-35968 I5RKQP 6.65 7.5 tensorflow sig-ai CVE-2022-35960 I5RKQJ 6.65 7.5 tensorflow sig-ai CVE-2022-35995 I5RKPU 6.65 7.5 tensorflow sig-ai CVE-2022-35996 I5RKPE 6.65 7.5 tensorflow sig-ai CVE-2022-35981 I5RKP6 6.65 7.5 tensorflow sig-ai CVE-2022-35974 I5RKO5 6.65 7.5 tensorflow sig-ai CVE-2022-35969 I5RKO1 6.65 7.5 tensorflow sig-ai CVE-2022-35982 I5RKNU 6.65 7.5 tensorflow sig-ai CVE-2022-35987 I5RKNR 6.65 7.5 tensorflow sig-ai CVE-2022-35997 I5RKNK 6.65 7.5 tensorflow sig-ai CVE-2021-3714 I5RLWB 6.84 7.5 kernel Kernel CVE-2022-30550 I5RM9Q 6.91 8.8 dovecot Application CVE-2022-3077 I5PAV0 7.15 5.5 risc-v-kernel sig-RISC-V CVE-2020-27784 I5PB1F 7.36 5.5 risc-v-kernel sig-RISC-V CVE-2022-39190 I5PEDX 7.81 5.5 risc-v-kernel sig-RISC-V CVE-2022-39188 I5PEA3 7.81 4.7 risc-v-kernel sig-RISC-V CVE-2022-39188 I5PE9S 7.81 4.7 kernel Kernel CVE-2022-2226 I5PJ3N 8.64 　 thunderbird sig-desktop-apps CVE-2022-1798 I5PJ3L 8.64 6.5 kubevirt sig-CloudNative CVE-2021-25215 I5RQRE 8.65 7.5 dhcp Networking CVE-2022-36059 I5PJ90 8.67 　 thunderbird sig-desktop-apps CVE-2022-3034 I5PJ8X 8.67 　 thunderbird sig-desktop-apps CVE-2022-3033 I5PJ8V 8.67 　 thunderbird sig-desktop-apps CVE-2022-3032 I5PJ8P 8.67 　 thunderbird sig-desktop-apps CVE-2021-25220 I5RRPB 8.7 8.6 dhcp Networking CVE-2022-40023 I5RTRP 8.85 7.5 python-mako Base-service CVE-2022-32912 I5RX0A 9.17 8.8 webkit2gtk3 Desktop CVE-2022-32886 I5RX09 9.17 8.8 webkit2gtk3 Desktop CVE-2022-3239 I5RX5Z 9.28 7.8 risc-v-kernel sig-RISC-V CVE-2022-3239 I5RX5X 9.28 7.8 kernel Kernel CVE-2022-34917 I5RZUH 9.68 7.5 kafka sig-bigdata CVE-2022-39958 I5S5Y1 10.21 7.5 mod_security_crs Base-service CVE-2022-39957 I5S5ZB 10.22 7.5 mod_security_crs Base-service CVE-2018-3615 I5PRU5 10.9 　 microcode_ctl System-tool CVE-2022-2795 I5SEM1 11.16 7.5 bind Networking CVE-2022-38178 I5SELZ 11.16 7.5 bind Networking CVE-2022-38177 I5SELX 11.16 7.5 bind Networking CVE-2022-3080 I5SELJ 11.16 7.5 bind Networking CVE-2022-2906 I5SGK9 11.64 7.5 bind Networking CVE-2022-2881 I5SGJ9 11.64 8.2 bind Networking CVE-2022-38928 I5SMOS 12.04 7.8 poppler Desktop CVE-2022-3256 I5SN6M 12.16 7.8 vim Base-service CVE-2022-1292 I5QBRK 13.81 6.7 linux-sgx sig-confidential-computing CVE-2022-40307 I5QI0Z 14.79 4.7 risc-v-kernel sig-RISC-V CVE-2022-40307 I5QI0W 14.79 4.7 kernel Kernel openEuler 社区指导文档及开放平台链接： openEuler 版本分支维护规范： https://gitee.com/openeuler/release-management/blob/master/openEuler%E7%89%… openEuler release-management 版本分支PR指导： https://gitee.com/openeuler/release-management/blob/master/openEuler%E5%BC%… 社区QA 版本测试提单规范 https://gitee.com/openeuler/QA/blob/839f952696f271f83c018ccf3218cf493b92d65… 社区QA 测试平台 radiates https://radiatest.openeuler.org<https://radiatest.openeuler.org/> 车明道（openEuler release SIG） Mobile: +86 15345431107 中国(China)-杭州(Hangzhou)-滨江区江淑路360号华为杭州研发中心 HUAWEI , Jiangshu Road., Binjiang District, Hangzhou, P.R.China E-mail: chemingdao(a)huawei.com<mailto:chemingdao@huawei.com> [cid:image003.png@01D8D038.61EF7A60]Open Source OS for Digital Infrastructure 本邮件及其附件含有华为公司的保密信息，仅限于发送给上面地址中列出的个人或群组。禁止任何其他人以任何形式使用（包括但不限于全部或部分地泄露、复制、或散发）本邮件中的信息。如果您错收了本邮件，请您立即电话或邮件通知发件人并删除本邮件！ This e-mail and its attachments contain confidential information from HUAWEI, which is intended only for the person or entity whose address is listed above. Any use of the information contained herein in any way (including, but not limited to, total or partial disclosure, reproduction, or dissemination) by persons other than the intended recipient(s) is prohibited. If you receive this e-mail in error, please notify the sender by phone or email immediately and delete it

1 0

[PATCH] Memory model: Fix the memory model issues for Linux kernel
by Hanjun Guo 24 Sep '22

24 Sep '22

From: Jonas Oberhauser <jonas.oberhauser(a)huawei.com> This is the update and fixes for memory model, simplify the model by removing redundancies, making semantics of seq-cst explicit, making ppo a subset of po, making ppo locally computable, as well as eliminating several spurious bugs in qspinlock and litmus tests, and ensuring correct compilation to the official power model. These issues were detected by Jonas Oberhauser, Viktor Vafeiadis, and the authors of "Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models", and the solutions are proposed by Jonas Oberhauser and Viktor Vafeiadis. Please refer to this link on the web: https://static.sched.com/hosted_files/osseu2022/e1/oss-eu22-jonas.pdf Signed-off-by: Jonas Oberhauser <jonas.oberhauser(a)huawei.com> Signed-off-by: Hanjun Guo <guohanjun(a)huawei.com> --- tools/memory-model/linux-kernel.bell | 9 ++-- tools/memory-model/linux-kernel.cat | 100 +++++++++++++++++++---------------- tools/memory-model/linux-kernel.def | 34 ++++++------ 3 files changed, 77 insertions(+), 66 deletions(-) diff --git a/tools/memory-model/linux-kernel.bell b/tools/memory-model/linux-kernel.bell index 5be86b1..880b28b 100644 --- a/tools/memory-model/linux-kernel.bell +++ b/tools/memory-model/linux-kernel.bell @@ -4,6 +4,8 @@ * Copyright (C) 2016 Luc Maranget <luc.maranget(a)inria.fr> for Inria * Copyright (C) 2017 Alan Stern <stern(a)rowland.harvard.edu>, * Andrea Parri <parri.andrea(a)gmail.com> + * Copyright (C) 2022 Jonas Oberhauser <jonas.oberhauser(a)huawei.com> + * Viktor Vafeiadis <viktor(a)mpi-sws.org> * * An earlier version of this file appeared in the companion webpage for * "Frightening small children and disconcerting grown-ups: Concurrency @@ -16,10 +18,11 @@ enum Accesses = 'once (*READ_ONCE,WRITE_ONCE*) || 'release (*smp_store_release*) || 'acquire (*smp_load_acquire*) || + 'seq-cst (*smp_load, xchg...*) || 'noreturn (* R of non-return RMW *) -instructions R[{'once,'acquire,'noreturn}] -instructions W[{'once,'release}] -instructions RMW[{'once,'acquire,'release}] +instructions R[{'seq-cst, 'once,'acquire,'noreturn}] +instructions W[{'seq-cst, 'once,'release}] +instructions RMW[{'seq-cst, 'once,'acquire,'release}] enum Barriers = 'wmb (*smp_wmb*) || 'rmb (*smp_rmb*) || diff --git a/tools/memory-model/linux-kernel.cat b/tools/memory-model/linux-kernel.cat index d70315f..9f14d31 100644 --- a/tools/memory-model/linux-kernel.cat +++ b/tools/memory-model/linux-kernel.cat @@ -4,6 +4,8 @@ * Copyright (C) 2016 Luc Maranget <luc.maranget(a)inria.fr> for Inria * Copyright (C) 2017 Alan Stern <stern(a)rowland.harvard.edu>, * Andrea Parri <parri.andrea(a)gmail.com> + * Copyright (C) 2022 Jonas Oberhauser <jonas.oberhauser(a)huawei.com>, + * Viktor Vafeiadis <viktor(a)mpi-sws.org> * * An earlier version of this file appeared in the companion webpage for * "Frightening small children and disconcerting grown-ups: Concurrency @@ -25,25 +27,33 @@ include "lock.cat" (*******************) (* Release Acquire *) + let acq-po = [Acquire] ; po ; [M] let po-rel = [M] ; po ; [Release] let po-unlock-lock-po = po ; [UL] ; (po|rf) ; [LKR] ; po (* Fences *) -let R4rmb = R \ Noreturn (* Reads for which rmb works *) -let rmb = [R4rmb] ; fencerel(Rmb) ; [R4rmb] -let wmb = [W] ; fencerel(Wmb) ; [W] -let mb = ([M] ; fencerel(Mb) ; [M]) | - ([M] ; fencerel(Before-atomic) ; [RMW] ; po? ; [M]) | - ([M] ; po? ; [RMW] ; fencerel(After-atomic) ; [M]) | - ([M] ; po? ; [LKW] ; fencerel(After-spinlock) ; [M]) | - ([M] ; po ; [UL] ; (co | po) ; [LKW] ; - fencerel(After-unlock-lock) ; [M]) -let gp = po ; [Sync-rcu | Sync-srcu] ; po? -let strong-fence = mb | gp - +let R4rmb = R \ Noreturn +let rmb = [R4rmb] ; po ; [Rmb] ; po ; [R4rmb] +let wmb = [W] ; po ; [Wmb] ; po ; [W] + +let rmb-plain = [R \ Noreturn] ; po ; [Rmb] ; po \ ( po ; [W] ; po-loc) ; [R \ Noreturn] +let plain-wmb = [W] ; po \ (po-loc ; [W] ; po) ; [Wmb] ; po ; [W] +let strong-fence = + [M] ; po ; [Mb] ; po ; [M] + | [M] ; po ; [Before-atomic] ; po ; [RMW] ; po? ; [M] + | [M] ; po? ; [RMW] ; po ; [After-atomic] ; po ; [M] + | [M] ; po? ; [LKW] ; po ; [After-spinlock] ; po ; [M] + | [M] ; po ; [UL] ; po ; [LKR] ; po ; [After-unlock-lock] ; po ; [M] + | [M] ; po? ; [SC] ; po ; [M] + | [M] ; po ; [SC] ; po? ; [M] + | po ; [Sync-rcu | Sync-srcu] ; po? +let strong-sync = strong-fence + | ([M] ; po-unlock-lock-po ; [After-unlock-lock] ; po ; [M]) let nonrw-fence = strong-fence | po-rel | acq-po let fence = nonrw-fence | wmb | rmb + + let barrier = fencerel(Barrier | Rmb | Wmb | Mb | Sync-rcu | Sync-srcu | Before-atomic | After-atomic | Acquire | Release | Rcu-lock | Rcu-unlock | Srcu-lock | Srcu-unlock) | @@ -64,35 +74,33 @@ empty rmw & (fre ; coe) as atomic (* Instruction execution ordering *) (**********************************) + (* Preserved Program Order *) -let dep = addr | data -let rwdep = (dep | ctrl) ; [W] -let overwrite = co | fr -let to-w = rwdep | (overwrite & int) | (addr ; [Plain] ; wmb) -let to-r = addr | (dep ; [Marked] ; rfi) -let ppo = to-r | to-w | fence | (po-unlock-lock-po & int) +let dop = rmb-plain? ; (addr | data | ctrl | rfi)+; plain-wmb? +let to-w = (dop | po-loc) ; [W] +let lrs = ([W] ; po-loc ; [R]) \ (po-loc ; [W] ; po-loc) +let to-r = addr | ((addr | data) ; lrs) +let ppo = to-r | to-w | fence | (po ; [UL] ; po ; [LKR] ; po) (* Propagation: Ordering from release operations and strong fences. *) -let A-cumul(r) = (rfe ; [Marked])? ; r -let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb | - po-unlock-lock-po) ; [Marked] -let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ; - [Marked] ; rfe? ; [Marked] +let cumul-fence = [Marked] ; (rfe? ; (po-rel ; (rfe ; rmw)*) | wmb | po-unlock-lock-po) ; [Marked] +let prop = [Marked] ; ((co | fr) & ext) ; cumul-fence* ; [Marked] ; rfe? ; [Marked] + (* * Happens Before: Ordering from the passage of time. - * No fences needed here for prop because relation confined to one process. *) -let hb = [Marked] ; (ppo | rfe | ((prop \ id) & int)) ; [Marked] -acyclic hb as happens-before +let hb = [Marked] ; (ppo | rfe | prop ; strong-sync) ; [Marked] +acyclic hb + +(* No fences needed here for prop because relation confined to one process. *) +irreflexive (prop ; ppo*) + + + + -(****************************************) -(* Write and fence propagation ordering *) -(****************************************) -(* Propagation: Each non-rf link needs a strong fence. *) -let pb = prop ; strong-fence ; hb* ; [Marked] -acyclic pb as propagation (*******) (* RCU *) @@ -118,7 +126,7 @@ let srcu-rscsi = srcu-rscs^-1 * one but two non-rf relations, but only in conjunction with an RCU * read-side critical section. *) -let rcu-link = po? ; hb* ; pb* ; prop ; po +let rcu-link = po? ; hb* ; prop? ; po (* * Any sequence containing at least as many grace periods as RCU read-side @@ -139,20 +147,20 @@ let rec rcu-order = rcu-gp | srcu-gp | ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) | (rcu-order ; rcu-link ; rcu-order) let rcu-fence = po ; rcu-order ; po? -let fence = fence | rcu-fence -let strong-fence = strong-fence | rcu-fence +let fence-rcu = fence | rcu-fence +let strong-sync-rcu = strong-sync | rcu-fence -(* rb orders instructions just as pb does *) -let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked] +(* rb orders instructions just as hb does *) +let rb = prop? ; rcu-fence ; hb* ; [Marked] irreflexive rb as rcu (* - * The happens-before, propagation, and rcu constraints are all + * The happens-before and rcu constraints are all * expressions of temporal ordering. They could be replaced by * a single constraint on an "executes-before" relation, xb: * - * let xb = hb | pb | rb + * let xb = hb | rb * acyclic xb as executes-before *) @@ -166,24 +174,24 @@ let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) | flag ~empty mixed-accesses as mixed-accesses (* Executes-before and visibility *) -let xbstar = (hb | pb | rb)* +let xbstar = (hb | rb)* let vis = cumul-fence* ; rfe? ; [Marked] ; - ((strong-fence ; [Marked] ; xbstar) | (xbstar & int)) + ((strong-sync-rcu ; [Marked] ; xbstar) | (xbstar & int)) (* Boundaries for lifetimes of plain accesses *) -let w-pre-bounded = [Marked] ; (addr | fence)? +let w-pre-bounded = [Marked] ; (addr | fence-rcu)? let r-pre-bounded = [Marked] ; (addr | nonrw-fence | ([R4rmb] ; fencerel(Rmb) ; [~Noreturn]))? -let w-post-bounded = fence? ; [Marked] +let w-post-bounded = fence-rcu? ; [Marked] let r-post-bounded = (nonrw-fence | ([~Noreturn] ; fencerel(Rmb) ; [R4rmb]))? ; [Marked] (* Visibility and executes-before for plain accesses *) -let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) | +let ww-vis = (strong-sync-rcu ; xbstar ; w-pre-bounded) | (w-post-bounded ; vis ; w-pre-bounded) -let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) | +let wr-vis = (strong-sync-rcu ; xbstar ; r-pre-bounded) | (w-post-bounded ; vis ; r-pre-bounded) -let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded) +let rw-xbstar = (r-post-bounded ; xbstar ; w-pre-bounded) (* Potential races *) let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain)) diff --git a/tools/memory-model/linux-kernel.def b/tools/memory-model/linux-kernel.def index ef0f3c1..df239c2 100644 --- a/tools/memory-model/linux-kernel.def +++ b/tools/memory-model/linux-kernel.def @@ -14,7 +14,7 @@ smp_store_release(X,V) { __store{release}(*X,V); } smp_load_acquire(X) __load{acquire}(*X) rcu_assign_pointer(X,V) { __store{release}(X,V); } rcu_dereference(X) __load{once}(X) -smp_store_mb(X,V) { __store{once}(X,V); __fence{mb}; } +smp_store_mb(X,V) { __store{seq-cst}(X,V); } // Fences smp_mb() { __fence{mb}; } @@ -27,11 +27,11 @@ smp_mb__after_unlock_lock() { __fence{after-unlock-lock}; } barrier() { __fence{barrier}; } // Exchange -xchg(X,V) __xchg{mb}(X,V) +xchg(X,V) __xchg{seq-cst}(X,V) xchg_relaxed(X,V) __xchg{once}(X,V) xchg_release(X,V) __xchg{release}(X,V) xchg_acquire(X,V) __xchg{acquire}(X,V) -cmpxchg(X,V,W) __cmpxchg{mb}(X,V,W) +cmpxchg(X,V,W) __cmpxchg{seq-cst}(X,V,W) cmpxchg_relaxed(X,V,W) __cmpxchg{once}(X,V,W) cmpxchg_acquire(X,V,W) __cmpxchg{acquire}(X,V,W) cmpxchg_release(X,V,W) __cmpxchg{release}(X,V,W) @@ -65,52 +65,52 @@ atomic_sub(V,X) { __atomic_op(X,-,V); } atomic_inc(X) { __atomic_op(X,+,1); } atomic_dec(X) { __atomic_op(X,-,1); } -atomic_add_return(V,X) __atomic_op_return{mb}(X,+,V) +atomic_add_return(V,X) __atomic_op_return{seq-cst}(X,+,V) atomic_add_return_relaxed(V,X) __atomic_op_return{once}(X,+,V) atomic_add_return_acquire(V,X) __atomic_op_return{acquire}(X,+,V) atomic_add_return_release(V,X) __atomic_op_return{release}(X,+,V) -atomic_fetch_add(V,X) __atomic_fetch_op{mb}(X,+,V) +atomic_fetch_add(V,X) __atomic_fetch_op{seq-cst}(X,+,V) atomic_fetch_add_relaxed(V,X) __atomic_fetch_op{once}(X,+,V) atomic_fetch_add_acquire(V,X) __atomic_fetch_op{acquire}(X,+,V) atomic_fetch_add_release(V,X) __atomic_fetch_op{release}(X,+,V) -atomic_inc_return(X) __atomic_op_return{mb}(X,+,1) +atomic_inc_return(X) __atomic_op_return{seq-cst}(X,+,1) atomic_inc_return_relaxed(X) __atomic_op_return{once}(X,+,1) atomic_inc_return_acquire(X) __atomic_op_return{acquire}(X,+,1) atomic_inc_return_release(X) __atomic_op_return{release}(X,+,1) -atomic_fetch_inc(X) __atomic_fetch_op{mb}(X,+,1) +atomic_fetch_inc(X) __atomic_fetch_op{seq-cst}(X,+,1) atomic_fetch_inc_relaxed(X) __atomic_fetch_op{once}(X,+,1) atomic_fetch_inc_acquire(X) __atomic_fetch_op{acquire}(X,+,1) atomic_fetch_inc_release(X) __atomic_fetch_op{release}(X,+,1) -atomic_sub_return(V,X) __atomic_op_return{mb}(X,-,V) +atomic_sub_return(V,X) __atomic_op_return{seq-cst}(X,-,V) atomic_sub_return_relaxed(V,X) __atomic_op_return{once}(X,-,V) atomic_sub_return_acquire(V,X) __atomic_op_return{acquire}(X,-,V) atomic_sub_return_release(V,X) __atomic_op_return{release}(X,-,V) -atomic_fetch_sub(V,X) __atomic_fetch_op{mb}(X,-,V) +atomic_fetch_sub(V,X) __atomic_fetch_op{seq-cst}(X,-,V) atomic_fetch_sub_relaxed(V,X) __atomic_fetch_op{once}(X,-,V) atomic_fetch_sub_acquire(V,X) __atomic_fetch_op{acquire}(X,-,V) atomic_fetch_sub_release(V,X) __atomic_fetch_op{release}(X,-,V) -atomic_dec_return(X) __atomic_op_return{mb}(X,-,1) +atomic_dec_return(X) __atomic_op_return{seq-cst}(X,-,1) atomic_dec_return_relaxed(X) __atomic_op_return{once}(X,-,1) atomic_dec_return_acquire(X) __atomic_op_return{acquire}(X,-,1) atomic_dec_return_release(X) __atomic_op_return{release}(X,-,1) -atomic_fetch_dec(X) __atomic_fetch_op{mb}(X,-,1) +atomic_fetch_dec(X) __atomic_fetch_op{seq-cst}(X,-,1) atomic_fetch_dec_relaxed(X) __atomic_fetch_op{once}(X,-,1) atomic_fetch_dec_acquire(X) __atomic_fetch_op{acquire}(X,-,1) atomic_fetch_dec_release(X) __atomic_fetch_op{release}(X,-,1) -atomic_xchg(X,V) __xchg{mb}(X,V) +atomic_xchg(X,V) __xchg{seq-cst}(X,V) atomic_xchg_relaxed(X,V) __xchg{once}(X,V) atomic_xchg_release(X,V) __xchg{release}(X,V) atomic_xchg_acquire(X,V) __xchg{acquire}(X,V) -atomic_cmpxchg(X,V,W) __cmpxchg{mb}(X,V,W) +atomic_cmpxchg(X,V,W) __cmpxchg{seq-cst}(X,V,W) atomic_cmpxchg_relaxed(X,V,W) __cmpxchg{once}(X,V,W) atomic_cmpxchg_acquire(X,V,W) __cmpxchg{acquire}(X,V,W) atomic_cmpxchg_release(X,V,W) __cmpxchg{release}(X,V,W) -atomic_sub_and_test(V,X) __atomic_op_return{mb}(X,-,V) == 0 -atomic_dec_and_test(X) __atomic_op_return{mb}(X,-,1) == 0 -atomic_inc_and_test(X) __atomic_op_return{mb}(X,+,1) == 0 -atomic_add_negative(V,X) __atomic_op_return{mb}(X,+,V) < 0 +atomic_sub_and_test(V,X) __atomic_op_return{seq-cst}(X,-,V) == 0 +atomic_dec_and_test(X) __atomic_op_return{seq-cst}(X,-,1) == 0 +atomic_inc_and_test(X) __atomic_op_return{seq-cst}(X,+,1) == 0 +atomic_add_negative(V,X) __atomic_op_return{seq-cst}(X,+,V) < 0 -- 1.7.12.4

1 0

[PATCH for openEuler 22.09] Memory model: Fix the memory model issues for Linux kernel
by Hanjun Guo 24 Sep '22

24 Sep '22

From: Jonas Oberhauser <jonas.oberhauser(a)huawei.com> This the update and fixes for memory model, simplify the model by removing redundancies, making semantics of seq-cst explicit, making ppo a subset of po, making ppo locally computable, as well as eliminating several spurious bugs in qspinlock and litmus tests, and ensuring correct compilation to the official power model. These issues were detected by Jonas Oberhauser, Viktor Vafeiadis, and the authors of "Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models", and the solutions are proposed by Jonas Oberhauser and Viktor Vafeiadis. Signed-off-by: Jonas Oberhauser <jonas.oberhauser(a)huawei.com> Signed-off-by: Hanjun Guo <guohanjun(a)huawei.com> --- tools/memory-model/linux-kernel.bell | 9 ++-- tools/memory-model/linux-kernel.cat | 100 +++++++++++++++++++---------------- 2 files changed, 60 insertions(+), 49 deletions(-) diff --git a/tools/memory-model/linux-kernel.bell b/tools/memory-model/linux-kernel.bell index 5be86b1..880b28b 100644 --- a/tools/memory-model/linux-kernel.bell +++ b/tools/memory-model/linux-kernel.bell @@ -4,6 +4,8 @@ * Copyright (C) 2016 Luc Maranget <luc.maranget(a)inria.fr> for Inria * Copyright (C) 2017 Alan Stern <stern(a)rowland.harvard.edu>, * Andrea Parri <parri.andrea(a)gmail.com> + * Copyright (C) 2022 Jonas Oberhauser <jonas.oberhauser(a)huawei.com> + * Viktor Vafeiadis <viktor(a)mpi-sws.org> * * An earlier version of this file appeared in the companion webpage for * "Frightening small children and disconcerting grown-ups: Concurrency @@ -16,10 +18,11 @@ enum Accesses = 'once (*READ_ONCE,WRITE_ONCE*) || 'release (*smp_store_release*) || 'acquire (*smp_load_acquire*) || + 'seq-cst (*smp_load, xchg...*) || 'noreturn (* R of non-return RMW *) -instructions R[{'once,'acquire,'noreturn}] -instructions W[{'once,'release}] -instructions RMW[{'once,'acquire,'release}] +instructions R[{'seq-cst, 'once,'acquire,'noreturn}] +instructions W[{'seq-cst, 'once,'release}] +instructions RMW[{'seq-cst, 'once,'acquire,'release}] enum Barriers = 'wmb (*smp_wmb*) || 'rmb (*smp_rmb*) || diff --git a/tools/memory-model/linux-kernel.cat b/tools/memory-model/linux-kernel.cat index d70315f..9f14d31 100644 --- a/tools/memory-model/linux-kernel.cat +++ b/tools/memory-model/linux-kernel.cat @@ -4,6 +4,8 @@ * Copyright (C) 2016 Luc Maranget <luc.maranget(a)inria.fr> for Inria * Copyright (C) 2017 Alan Stern <stern(a)rowland.harvard.edu>, * Andrea Parri <parri.andrea(a)gmail.com> + * Copyright (C) 2022 Jonas Oberhauser <jonas.oberhauser(a)huawei.com>, + * Viktor Vafeiadis <viktor(a)mpi-sws.org> * * An earlier version of this file appeared in the companion webpage for * "Frightening small children and disconcerting grown-ups: Concurrency @@ -25,25 +27,33 @@ include "lock.cat" (*******************) (* Release Acquire *) + let acq-po = [Acquire] ; po ; [M] let po-rel = [M] ; po ; [Release] let po-unlock-lock-po = po ; [UL] ; (po|rf) ; [LKR] ; po (* Fences *) -let R4rmb = R \ Noreturn (* Reads for which rmb works *) -let rmb = [R4rmb] ; fencerel(Rmb) ; [R4rmb] -let wmb = [W] ; fencerel(Wmb) ; [W] -let mb = ([M] ; fencerel(Mb) ; [M]) | - ([M] ; fencerel(Before-atomic) ; [RMW] ; po? ; [M]) | - ([M] ; po? ; [RMW] ; fencerel(After-atomic) ; [M]) | - ([M] ; po? ; [LKW] ; fencerel(After-spinlock) ; [M]) | - ([M] ; po ; [UL] ; (co | po) ; [LKW] ; - fencerel(After-unlock-lock) ; [M]) -let gp = po ; [Sync-rcu | Sync-srcu] ; po? -let strong-fence = mb | gp - +let R4rmb = R \ Noreturn +let rmb = [R4rmb] ; po ; [Rmb] ; po ; [R4rmb] +let wmb = [W] ; po ; [Wmb] ; po ; [W] + +let rmb-plain = [R \ Noreturn] ; po ; [Rmb] ; po \ ( po ; [W] ; po-loc) ; [R \ Noreturn] +let plain-wmb = [W] ; po \ (po-loc ; [W] ; po) ; [Wmb] ; po ; [W] +let strong-fence = + [M] ; po ; [Mb] ; po ; [M] + | [M] ; po ; [Before-atomic] ; po ; [RMW] ; po? ; [M] + | [M] ; po? ; [RMW] ; po ; [After-atomic] ; po ; [M] + | [M] ; po? ; [LKW] ; po ; [After-spinlock] ; po ; [M] + | [M] ; po ; [UL] ; po ; [LKR] ; po ; [After-unlock-lock] ; po ; [M] + | [M] ; po? ; [SC] ; po ; [M] + | [M] ; po ; [SC] ; po? ; [M] + | po ; [Sync-rcu | Sync-srcu] ; po? +let strong-sync = strong-fence + | ([M] ; po-unlock-lock-po ; [After-unlock-lock] ; po ; [M]) let nonrw-fence = strong-fence | po-rel | acq-po let fence = nonrw-fence | wmb | rmb + + let barrier = fencerel(Barrier | Rmb | Wmb | Mb | Sync-rcu | Sync-srcu | Before-atomic | After-atomic | Acquire | Release | Rcu-lock | Rcu-unlock | Srcu-lock | Srcu-unlock) | @@ -64,35 +74,33 @@ empty rmw & (fre ; coe) as atomic (* Instruction execution ordering *) (**********************************) + (* Preserved Program Order *) -let dep = addr | data -let rwdep = (dep | ctrl) ; [W] -let overwrite = co | fr -let to-w = rwdep | (overwrite & int) | (addr ; [Plain] ; wmb) -let to-r = addr | (dep ; [Marked] ; rfi) -let ppo = to-r | to-w | fence | (po-unlock-lock-po & int) +let dop = rmb-plain? ; (addr | data | ctrl | rfi)+; plain-wmb? +let to-w = (dop | po-loc) ; [W] +let lrs = ([W] ; po-loc ; [R]) \ (po-loc ; [W] ; po-loc) +let to-r = addr | ((addr | data) ; lrs) +let ppo = to-r | to-w | fence | (po ; [UL] ; po ; [LKR] ; po) (* Propagation: Ordering from release operations and strong fences. *) -let A-cumul(r) = (rfe ; [Marked])? ; r -let cumul-fence = [Marked] ; (A-cumul(strong-fence | po-rel) | wmb | - po-unlock-lock-po) ; [Marked] -let prop = [Marked] ; (overwrite & ext)? ; cumul-fence* ; - [Marked] ; rfe? ; [Marked] +let cumul-fence = [Marked] ; (rfe? ; (po-rel ; (rfe ; rmw)*) | wmb | po-unlock-lock-po) ; [Marked] +let prop = [Marked] ; ((co | fr) & ext) ; cumul-fence* ; [Marked] ; rfe? ; [Marked] + (* * Happens Before: Ordering from the passage of time. - * No fences needed here for prop because relation confined to one process. *) -let hb = [Marked] ; (ppo | rfe | ((prop \ id) & int)) ; [Marked] -acyclic hb as happens-before +let hb = [Marked] ; (ppo | rfe | prop ; strong-sync) ; [Marked] +acyclic hb + +(* No fences needed here for prop because relation confined to one process. *) +irreflexive (prop ; ppo*) + + + + -(****************************************) -(* Write and fence propagation ordering *) -(****************************************) -(* Propagation: Each non-rf link needs a strong fence. *) -let pb = prop ; strong-fence ; hb* ; [Marked] -acyclic pb as propagation (*******) (* RCU *) @@ -118,7 +126,7 @@ let srcu-rscsi = srcu-rscs^-1 * one but two non-rf relations, but only in conjunction with an RCU * read-side critical section. *) -let rcu-link = po? ; hb* ; pb* ; prop ; po +let rcu-link = po? ; hb* ; prop? ; po (* * Any sequence containing at least as many grace periods as RCU read-side @@ -139,20 +147,20 @@ let rec rcu-order = rcu-gp | srcu-gp | ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) | (rcu-order ; rcu-link ; rcu-order) let rcu-fence = po ; rcu-order ; po? -let fence = fence | rcu-fence -let strong-fence = strong-fence | rcu-fence +let fence-rcu = fence | rcu-fence +let strong-sync-rcu = strong-sync | rcu-fence -(* rb orders instructions just as pb does *) -let rb = prop ; rcu-fence ; hb* ; pb* ; [Marked] +(* rb orders instructions just as hb does *) +let rb = prop? ; rcu-fence ; hb* ; [Marked] irreflexive rb as rcu (* - * The happens-before, propagation, and rcu constraints are all + * The happens-before and rcu constraints are all * expressions of temporal ordering. They could be replaced by * a single constraint on an "executes-before" relation, xb: * - * let xb = hb | pb | rb + * let xb = hb | rb * acyclic xb as executes-before *) @@ -166,24 +174,24 @@ let mixed-accesses = ([Plain & W] ; (po-loc \ barrier) ; [Marked]) | flag ~empty mixed-accesses as mixed-accesses (* Executes-before and visibility *) -let xbstar = (hb | pb | rb)* +let xbstar = (hb | rb)* let vis = cumul-fence* ; rfe? ; [Marked] ; - ((strong-fence ; [Marked] ; xbstar) | (xbstar & int)) + ((strong-sync-rcu ; [Marked] ; xbstar) | (xbstar & int)) (* Boundaries for lifetimes of plain accesses *) -let w-pre-bounded = [Marked] ; (addr | fence)? +let w-pre-bounded = [Marked] ; (addr | fence-rcu)? let r-pre-bounded = [Marked] ; (addr | nonrw-fence | ([R4rmb] ; fencerel(Rmb) ; [~Noreturn]))? -let w-post-bounded = fence? ; [Marked] +let w-post-bounded = fence-rcu? ; [Marked] let r-post-bounded = (nonrw-fence | ([~Noreturn] ; fencerel(Rmb) ; [R4rmb]))? ; [Marked] (* Visibility and executes-before for plain accesses *) -let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) | +let ww-vis = (strong-sync-rcu ; xbstar ; w-pre-bounded) | (w-post-bounded ; vis ; w-pre-bounded) -let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) | +let wr-vis = (strong-sync-rcu ; xbstar ; r-pre-bounded) | (w-post-bounded ; vis ; r-pre-bounded) -let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded) +let rw-xbstar = (r-post-bounded ; xbstar ; w-pre-bounded) (* Potential races *) let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain)) -- 1.7.12.4

1 0

openEuler sig ai 例会
by openEuler conference 23 Sep '22

23 Sep '22

您好！ ai SIG 邀请您参加 2022-09-22 14:00 召开的Zoom会议会议主题：openEuler sig ai 例会会议链接：https://us06web.zoom.us/j/86057564964?pwd=UTltbmk4MFhZOFZwMnlyWlgrT3Y3QT09 会议纪要：https://etherpad.openeuler.org/p/ai-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler ai SIG invites you to attend the Zoom conference will be held at 2022-09-22 14:00, The subject of the conference is openEuler sig ai 例会, You can join the meeting at https://us06web.zoom.us/j/86057564964?pwd=UTltbmk4MFhZOFZwMnlyWlgrT3Y3QT09. Add topics at https://etherpad.openeuler.org/p/ai-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

2 1

4款MindSpore依赖软件申请入openEuler22.03 LTS update版本，测试报告请社区审核
by wangsiyuan 23 Sep '22

23 Sep '22

背景： MindSpore后续希望能够兼容openEuler社区生态，当前openEuler中缺少opencv、opencl-clhpp、oneDNN、sentencepiece 4款依赖软件的软件包，申请集成到22.03 LTS中，申请议题已在release sig 9/23例会评审，遗留一个问题，要求测试报告在社区发起评审。测试报告PR地址： opencv https://gitee.com/openeuler/QA/pulls/276 opencl-clhpp https://gitee.com/openeuler/QA/pulls/275 oneDNN https://gitee.com/openeuler/QA/pulls/277 sentencepiece https://gitee.com/openeuler/QA/pulls/274

1 0

Compiler SIG 双周例会
by openEuler conference 23 Sep '22

23 Sep '22

您好！ Compiler SIG 邀请您参加 2022-09-27 10:00 召开的Zoom会议(自动录制) 会议主题：Compiler SIG 双周例会会议内容： 1、进展update 2、社区成员角色介绍及规则讨论会议链接：https://us06web.zoom.us/j/85376396648?pwd=T1N1MG11V1Bvem9ZSHdRcnMzd1p1Zz09 会议纪要：https://etherpad.openeuler.org/p/Compiler-meetings 温馨提醒：建议接入会议后修改参会人的姓名，也可以使用您在gitee.com的ID 更多资讯尽在：https://openeuler.org/zh/ Hello! openEuler Compiler SIG invites you to attend the Zoom conference(auto recording) will be held at 2022-09-27 10:00, The subject of the conference is Compiler SIG 双周例会, Summary: 1、进展update 2、社区成员角色介绍及规则讨论 You can join the meeting at https://us06web.zoom.us/j/85376396648?pwd=T1N1MG11V1Bvem9ZSHdRcnMzd1p1Zz09. Add topics at https://etherpad.openeuler.org/p/Compiler-meetings. Note: You are advised to change the participant name after joining the conference or use your ID at gitee.com. More information: https://openeuler.org/en/

1 0

2024

2023

2022

2021

2020

2019

Dev