C 中文周刊 第92期
资讯
十一月邮件汇总
大部分都是能力补充，比如views::enumerate , 比如new size信息？
编译器信息最新动态推荐关注hellogcc公众号 本周更新 2022-01-05 第131期
OSDT2022 第14届开源开发工具大会议程
周末没事可以看看，c 的东西很多，llvm/编译器链接器 等等
B站直播
PLCT开放日和OSDT大会都会通过B站进行直播。直播地址：
https://live.bilibili.com/10339607 腾讯会议（网络研讨会）
吴伟 邀请您参加腾讯会议网络研讨会(Webinar)
代码语言：javascript复制会议主题：2022开源开发工具大会
会议时间：2022/12/10 09:30-18:00 (GMT 08:00) 中国标准时间 - 北京
重复周期：2022/12/10-2022/12/11 09:30-18:00, 每天
点击专属链接入会，或添加至会议列表：
https://meeting.tencent.com/dw/sOYndcvZQ9Ua
会议号： #腾讯会议：569-2778-2379文章
- C 智能指针最佳实践&源码分析
看个乐，感觉都知道了
- asio c 20 coroutines support源码分析
学习一波，如何把coroutine和asio结合 (asio还是难用)
- 从tuple谈起-浅谈c 中空基类优化的使用
空基类优化，另外，现在是2022了，要用[[no_unique_address]]
- Faster base64 in curl
一个代码调优
- c tip of week
struct s {
static constexpr auto operator()() { return 1; }
};
auto l = [] static { return 2; };
static_assert(3 == s{}() l());
static_assert(3 == s::operator()()
decltype(l)::operator()());兼容能力补充
- What’s so hard about views::enumerate
如何实现 views::enumerate
- New C Sender Library Enables Portable Asynchrony
第一个支持std::execution设计的库？
- compiler can’t find source file in path that is longer than 255 characters
msvc尴尬的bug
- C 23: std::out_ptr and std::inout_ptr
封c接口用的
代码语言：javascript复制#include <iostream>
#include <memory>
void old_c_api(int** p) {
*p = new int{42};
}
int main() {
auto pi = std::make_unique<int>(51);
old_c_api(std::out_ptr(pi));
std::cout << *pi << 'n';
}pi的释放交给out_ptr了。如果是std::shared_ptr？
#include <iostream>
#include <memory>
void old_c_api(int** p) {
*p = new int{42};
}
int main() {
auto pi = std::make_shared<int>(51);
// error C2338: static_assert failed: 'out_ptr_t with shared_ptr requires a deleter (N4892 [out.ptr.t]/3)'
// old_c_api(std::out_ptr(pi));
old_c_api(std::out_ptr(pi, std::default_delete<int>()));
std::cout << *pi << 'n';
}- Compile-Time Strings
编译期字符串一些操作。这个文章是吴咏炜写的，投accu了
长度,这个之前也说过
代码语言：javascript复制 constexpr size_t length(const char* str) {
return char_traits<char>::length(str);
}查找
代码语言：javascript复制 constexpr const char*
find(const char* str, char ch) {
return char_traits<char>::find(
str, length(str), ch);
}substr
代码语言：javascript复制constexpr auto substr(string_view sv,
size_t offset, size_t count) {
array<char, count 1> result{};
copy_n(&sv[offset], count, result.data());
return result;
}
template <size_t Count>
constexpr auto substr(const char* str,
size_t offset = 0){
array<char, Count 1> result{};
for (size_t i = 0; i < Count; i) {
result[i] = str[offset i];
}
return result;
}字符串模版参数
代码语言：javascript复制template <char... Cs>
struct compile_time_string {
static constexpr char value[]{Cs..., ' '};
};
template <typename T, T... Cs>
constexpr compile_time_string<Cs...>
operator""_cts() {
return {};
}
template <size_t N>
struct compile_time_string {
constexpr compile_time_string(
const char (&str)[N])
{
copy_n(str, N, value);
}
char value[N]{};
};
template <compile_time_string cts>
constexpr auto operator""_cts() {
return cts;
}- Fine-grained Locking with Two-Bit Mutexes
我还以为又拿原子量自旋当mutex炒冷饭，原来是用c 20接口
使用c 20的atomic::wait/atomic::notify来实现锁, 相当于把futex那套东西抠出来？
没有看底层实现，不懂，这里有个windows的分析 https://zhuanlan.zhihu.com/p/413660695
代码语言：javascript复制struct one_byte_mutex
{
void lock() {
if (state.exchange(locked, std::memory_order_acquire) == unlocked)
return;
while (state.exchange(sleeper, std::memory_order_acquire) != unlocked)
state.wait(sleeper, std::memory_order_relaxed);
}
void unlock() {
if (state.exchange(unlocked, std::memory_order_release) == sleeper)
state.notify_one();
}
private:
std::atomic<uint8_t> state{ unlocked };
static constexpr uint8_t unlocked = 0;
static constexpr uint8_t locked = 0b01;
static constexpr uint8_t sleeper = 0b10;
};
template<typename T>
struct pointer_with_mutex {
T* get() const {
uint64_t masked = pointer.load(std::memory_order_relaxed) & ~both_bits;
return reinterpret_cast<T*>(masked);
}
void set(T* ptr) {
static_assert(std::alignment_of<T>::value >= 4);
uint64_t as_int = reinterpret_cast<uint64_t>(ptr);
uint64_t old = pointer.load(std::memory_order_relaxed);
while (!pointer.compare_exchange_weak(old, (old & both_bits) | as_int, std::memory_order_relaxed)) { }
}
void lock() {
uint64_t old = pointer.load(std::memory_order_relaxed);
if (!(old & both_bits) && pointer.compare_exchange_strong(old, old | locked, std::memory_order_acquire))
return;
for(;;) {
if (old & sleeper) {
pointer.wait(old, std::memory_order_relaxed);
old = pointer.load(std::memory_order_relaxed);
} else if (pointer.compare_exchange_weak(old, old | sleeper, std::memory_order_acquire)) {
if (!(old & both_bits))
return;
pointer.wait(old | sleeper, std::memory_order_relaxed);
old = pointer.load(std::memory_order_relaxed);
}
}
}
void unlock() {
uint64_t old = pointer.fetch_and(~both_bits, std::memory_order_release);
if (old & sleeper)
pointer.notify_one();
}
private:
std::atomic<uint64_t> pointer{ 0 };
static constexpr uint64_t locked = 0b01;
static constexpr uint64_t sleeper = 0b10;
static constexpr uint64_t both_bits = locked | sleeper;
};性能数据
lock/unlock single-threaded | lock/unlock many threads | |
|---|---|---|
std::mutex | 12ns | 71ns |
one_byte_mutex | 8ns | 228ns |
pointer_with_mutex | 15ns | 255ns |
看这个性能还可以，压测代码在这里 https://github.com/skarupke/two_bit_mutex/blob/main/benchmark.cpp
可以查一下多线程的问题到底出在哪里，缓存颠簸还是啥的。有空本地复现一下
- C std::visit
老生常谈了，还有不会的吗
- Optimizing compilers reload vector constants needlessly
大哥在较真，为啥编译器生成的自动向量化汇编会没必要的加载两次变量。没细看。没结论。gcc做的不够好
- Fast midpoint between two integers without overflow
求两个数中点，经典数据hacker’s delight有解
代码语言：javascript复制int f(int x, int y) {
return (x|y) - ((x^y)>>1);
}
int f(int x, int y) {
return ((x^y)>>1) (x&y);
}如果想要更全平台，用 std::midpoint c 20
视频
- CPU Cache Effects - Sergey Slotin - Meeting C 2022
这个作者是之前那个算法博客 https://en.algorithmica.org/hpc/
其实讲的就是cacheline影响计算吞吐。没啥新东西。更多是现象列举。大家可以看看这个博客。之前也推过
开源项目需要人手
- asteria 一个脚本语言，可嵌入，长期找人，希望胖友们帮帮忙，也可以加群384042845和作者对线
- pika 一个nosql 存储， redis over rocksdb，非常需要人贡献代码胖友们， 感兴趣的欢迎加群294254078前来对线
新项目介绍/版本更新
- whisper.cpp openai封装
看到这里或许你有建议或者疑问或者指出错误，请留言论! 多谢! 你的评论非常重要！
