时空实验室公众号本人文章集合

文章列表(按照发布时间升序): ICDE 2022 | 可感知工作负载的路网最短路径距离查询 SIGMOD 2022 | Photon: 湖仓一体式系统快速查询引擎 SIGMOD 2023 | WISK: 负载感知的空间关键字查询学习索引 SIGMOD 2023 | Ghost: 分布式轨迹流高性能在线相似性查询通用框架 关于时空实验室 重庆大学时空实验室 (Start Lab) 成立于2021年,是一个非常年轻,非常有活力的实验室,实验室研究内容包括但不限于:大数据、分布式计算、城市计算、数据库系统、时空数据管理与 挖掘、数据压缩、流式计算、AI4DB等。实验室打造了开源分布式时空数据库系统START-DB,力求将研究成果融入到数据库系统产品中,以更好地在生产实际中落地。 实验室追求顶天立地的研究成果,为国家解决难题,为社会创造价值!

January 23, 2023 · 1 min · 27 words · cc0de

GITHUB多帐号ssh key配置管理方法

前段时间由于实验室项目工作需要,用实验室邮箱额外注册了一个Github帐号。但是个人帐号还得继续用,所以尝试着配置一下系统的ssh工具,希望能够控制项目git使用的ssh key。 分析 首先,两个帐号肯定是不能共用一个ssh key的,否则Github是无法辨别来自电脑的请求的身份的,也就是说,两个账号必须有各自的ssh key。 其次,当本机和Github远程服务器通信时,本机的ssh工具如何确定该使用哪个key?所以我们需要确定一个 规则 来让本机的ssh程序自动选择正确的key。 实践 首先,由于本地已经有一个ssh key了,我们只需要再生成一个即可: ssh-keygen -t rsa -C "Whatever you want to put here." ssh工具会提醒你在何处存放你的新key以及它们的口令,这里按照个人喜好设置就可以了。 然后我们编辑 ~/.ssh/config (如果没有这个文件就创建一个),在其中加入两条规则,对应我们的两个账号:(这里的Host名可以根据自己的需要修改,为了方便可以改为自己容易记忆的词,因为之后我们每次使用git的时候需要指定Host) # Key of mine Host github_personal HostName github.com IdentityFile ~/.ssh/key_personal # Key of lab Host github_lab HostName github.com IdentityFile ~/.ssh/key_lab 这样下次使用git的时候就可以通过指定Host来指定使用哪个key,例如: git clone git@github_personal:ThatcherChen/De.git # 使用自己的key git clone git@github_lab:StartLab/xxx.git # 使用实验室的key 其实这里还可以添加default规则,方便我们平时使用。 # 默认使用我们自己的key Host github.com HostName github.com IdentityFile ~/.ssh/key_personal 总结 很多小问题表面上看起来很麻烦,好像无从下手,但是其实只要我们清楚这些工具或者技术背后的运作原理,这些小问题都可以非常轻松的解决。

November 20, 2022 · 1 min · 68 words · cc0de