laokz
laokz

中文seL4内核参考手册

seL4内核参考手册中文翻译，主要依据原版本11.0.0（2019年11月20日），对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。

seL4是操作系统家族中独树一帜的代表，其安全性和形式化验证特点在世界范围内享有口碑。而作为微内核，万把行的代码量无疑对OS学习和研究者都是一个比较轻松的选择。译者这里所做也正是在学习研究基础上的一个小结式的尝试，即通过翻译参考手册，进一步加深认识和理解。

这里发布出来，既是有获取认可共鸣的意思，也是对学人之长回馈少许的实践，正所谓开源贡献吧。为了使阅读者能有所收获，特别是为防止误人子弟，译文在对照源码的基础上认真进行了校正修订，并尽可能对一些费解或过于简略甚至错误的描述作一解释，希望带来有益效果。文字语言谈不上优美精炼，但尽力确保了清楚准确。文档中所有尾注均为译者所加，查了一下有80多条，算是搬运力气活之外的脑力创造吧:)

受视野所限，ARM架构未做认真推敲。欢迎感兴趣者将Issue页面作为控讨平台，当然更欢迎对译文直接贡献知识。

译文托管在：https://gitee.com/laokz/sel4_...

CSDN下载地址：https://download.csdn.net/dow...

你可能感兴趣的:(操作系统,手册,微内核,翻译)

  • doris:阿里云 OSS 导入数据 向阳1218 大数据阿里云数据库云计算doris
    Doris提供两种方式从阿里云OSS导入文件：使用S3Load将阿里云OSS文件导入到Doris中，这是一个异步的导入方式。使用TVF将阿里云OSS文件导入到Doris中，这是一个同步的导入方式。使用S3Load导入使用S3Load导入对象存储上的文件，详细步骤可以参考BrokerLoad手册第1步：准备数据创建CSV文件s3load_example.csv文件存储在阿里云OSS上，其内容如下：1
  • 持续集成（Continuous Integration, CI） 荔枝寄 ci/cd
    在当今的软件开发世界中，持续集成（ContinuousIntegration,CI）和持续部署（ContinuousDeployment,CD）已经成为不可或缺的一部分。CI/CD实践使得开发者能够频繁地将代码更改合并到共享仓库中，并自动构建、测试和部署这些更改，从而确保了软件产品的高质量和快速迭代。鸿蒙系统作为一款面向万物互联时代的智能终端操作系统，同样支持CI/CD工作流，为开发者提供了强大的
  • Windows和Linux两个操作系统的优势 服务器
    Windows和Linux是两种主流的操作系统，它们各自具有显著的优势，适用于不同的场景和用户群体。Windows系统的优势广泛的应用兼容性：Windows系统几乎可以运行所有的软件和游戏，满足用户的各种需求。无论是办公软件、设计软件还是游戏软件，Windows平台都有丰富的选择。直观的用户界面：Windows系统的用户界面设计直观，易于上手。它提供了丰富的图形界面和多媒体功能，使得用户可以通过点
  • C语言(深度解剖版)--开发人员使用 2301_81335708 c语言经验分享
    内存分配内存池的概念：操作系统把一些内存放入内存池供动态分配使用，没有了系统再放进去。malloc的空间都在内存池里，释放了也会返回到内存池供后续使用，减少了系统调用的次数，直到程序结束才回收。所以free后内存占用没有明显减少是因为这个，作用:提高性能、效率#include#includeintmain(){//从内存池中分配100字节char*ptr=(char*)malloc(100);if
  • C语言的数据结构 2501_90183910 包罗万象golang开发语言后端
    C语言的数据结构概述C语言是一种强大的通用编程语言，自1970年代初问世以来，一直被广泛应用于操作系统、嵌入式系统和各种应用程序的开发。数据结构是计算机科学的一个核心概念，它涉及到如何有效地组织、存储和管理数据。在C语言中，数据结构的实现为程序的性能和效率提供了重要保障。本文将详细探讨C语言中的数据结构，包括基本数据结构、复合数据结构以及如何在实际编程中应用这些数据结构。一、基本数据结构1.1数组
  • Bash语言的函数实现 编程小筑 包罗万象golang开发语言后端
    Bash语言的函数实现Bash（BourneAgainSHell）是一种流行的命令行解释器，用于Unix和类Unix操作系统。它不仅支持命令行操作，还能通过脚本语言进行编程。函数是Bash脚本编程中的一个重要概念，可以帮助我们组织代码、提高代码的可读性和可维护性。一、函数的基本概念在Bash中，函数是由一组进行特定任务的命令组成的代码块。通过函数，可以将重复的代码抽象出来，使得代码更简洁、易于管理
  • 使用Java播放MP3或Wav音频 Java编程乐园 Java音视频播放音视频java
    JavaSound是一个小巧的低层应用程序接口（API），它支持数字音频和乐器数字接口（MIDI）数据的记录和回放。在JDK1.3.0之前，JavaSound是一个标准的Java扩展API，但从Java2的1.3.0版开始，JavaSound就被包含到JDK之中。由于Java有着跨平台（操作系统、硬件平台）的特点，基于JavaSound的音频处理程序能够在任何实现了Java1.3以上版本的系统上运
  • 原生开发vs混合开发 甘光宗 c++
    原生开发（NativeDevelopment）和混合开发（HybridDevelopment）是两种常见的移动应用开发方式，各有其优缺点。以下是它们的详细对比：1.原生开发(NativeDevelopment)定义：原生开发指的是使用平台特定的编程语言和工具（如Android使用Java/Kotlin，iOS使用Swift/Objective-C）来开发应用程序。这些应用直接与操作系统交互，能够使
  • STM32程序开发要考虑的几个问题 安正和科技 stm32单片机linux
    #STM32程序开发要考虑的几个问题关于STM32或其它MCU的程序开发，什么样的选择才是最好的。也许每个人／每个项目都有不同的选择。或许我们没有精力和时间对以下选择都尝试，这将花费太多的时间和精力。但是，当我们花时间认真的比较下以列出的不同选择，会给我们带来更深入的理解，帮助我们构建更好的MCU程序，提升我们的发展空间。*裸机开发，库开发还是操作系统？*用什么编程语言，汇编，C语言还是C＋＋语言
  • IOS APP上架被拒 4.3(a) - Design - Spam，成功 星辰文宇 iosiosuni-app
    目录一、被拒原因二、百度方法三、尝试uniapp打包iosapk，混淆代码1、JavaScript-obfuscator插件（我没有使用）编辑2、HbuliderXuniapp混淆（做了）3、IpaGuard混淆工具四、上传ipa文件1、先处理失败的App2、上传ipa文件一、被拒原因翻译一下：我们注意到，您的应用程序与终止的苹果开发者计划帐户之前提交的应用程序共享类似的二进制、元数据和/或概念。
  • Linux(Centos 7.6)目录结构详解 豆是浪个 linuxcentos运维
    Linux(Centos7.6)是一个操作系统，其核心设计理念是将一切资源抽象为文件，即一切皆文件。比如系统中的硬件设备硬盘、网络接口等都被视为文件。Windows系统一般是分为C、D、E盘。而Linux(Centos7.6)是以斜线"/"作为文件系统的开始目录，我们一般叫"根目录"，然后以根目录为起始点成树状图进行分布。1.Linux(Centos7.6)目录结构查看1.1.使用ls/ll命令查
  • http://www.runoob.com/lua/lua-basic-syntax.html weixin_34110749 java
    Lua优点及特性Lua是一个小巧的脚本语言。其设计目的是为了嵌入应用程序中，从而为应用程序提供灵活的扩展和定制功能。Lua由标准C编写而成，几乎在所有操作系统和平台上都可以编译，运行。Lua并没有提供强大的库，这是由它的定位决定的。Lua有一个同时进行的JIT项目，提供在特定平台上的即时编译功能。Lua脚本可以很容易的被C/C++代码调用，也可以反过来调用C/C++的函数，这使得Lua在应用程序中
  • lvm快照备份 小吃饱了 adb
    前提数据文件要在逻辑卷上；此逻辑卷所在卷组必须有足够空间使用快照卷；数据文件和事务日志要在同一个逻辑卷上；前提：MySQL数据lv和将要创建的快照要在同一vg，vg要有足够的空间存储优点几乎是热备（创建快照前把表上锁，创建完毕后立即释放）支持所有的存储引擎备份速度快无需使用昂贵的商业软件（操作系统级别的）缺点可能需要部门协调（使用操作系统级别的命令，DBA一般没有权限）无法预计服务停止时间数据如果
  • iPhone手机桌面必备：好用的便签/效率/美化/学习/生活工具 lee54621 智能手机学习生活
    是不是总觉得自己的iPhone手机桌面不够酷炫、不够实用？看着千篇一律的布局，是不是觉得缺了点什么？别担心，今天就给大家分享一波iPhone手机桌面必备的好用App，让你的手机瞬间提升格调，实用性拉满，无论是学习、工作还是娱乐，都能得心应手，轻松拿捏，赶紧跟着我一起探索这些宝藏应用吧！》》效率提升类敬业签：可以和鸿蒙安卓电脑共享数据的云便签，集合便签、清单、提醒事项、日历、云盘、翻译、语音转文字、
  • 计算机网络实验 三个路由器,计算机网络-实验三-路由器基本配置.doc kitenancy 计算机网络实验三个路由器
    计算机网络-实验三-路由器基本配置北京信息科技大学信息管理学院(课程设计)实验报告实验名称静态路由配置实验地点实验时间课程设计目的：(1)掌握路由器在网络中的作用。(2)掌握路由器的组成，路由器设备的选型。(3)掌握网络模拟仿真软件Boson的使用。(4)通过仿真软件的使用掌握Cisco路由器的基本配置方法，熟练掌握路由器网间网操作系统软件IOS的应用，理解Cisco26XX系列路由器基本配置方法
  • omfun官方版网页版下载-omofun官方版2024安卓IOS下载 omofun5541 omofun动漫omofun动漫ios动画安卓windows
    omofun关于“ROOT苹果手机”的说法实际上是一个误解，omofun动漫因为“ROOT”这个术语通常指的是获取Android设备的超级用户权限，omofun漫画而苹果手机（iPhone）使用的是iOS操作系统，获取超级用户权限的过程被称为“越狱”（Jailbreak）。omfun官方版app最新版本版下载：http://om.aunbaidu.com/下面是一篇关于如何越狱苹果手机的文章，介绍
  • Python3 环境搭建指南 lly202406 开发语言
    Python3环境搭建指南1.引言Python是一种广泛使用的高级编程语言，以其简洁明了的语法和强大的功能而闻名。Python3是Python的最新版本，它在Python2的基础上进行了大量更新和改进。本指南将详细介绍如何在您的计算机上搭建Python3环境，以便您可以开始编写和运行Python程序。2.系统要求在开始安装Python3之前，请确保您的计算机满足以下最低系统要求：操作系统：Wind
  • ZYNQ + Linux jerwey linuxzynq
    ZYNQLinux操作系统移植说明文档http://xilinx.eetrend.com/content/2019/100018437.html1，组成ZYNQ上面移植Linux操作系统包括四个部分，uboot,devicetree,kernel,ramdisk.其中uboot类似于bios，负责对设备进行简单的初始化，devicetree以树的形式对zynq相连的硬件设备进行描述，kernel是
  • 【Linux】shell语法入门手册 语法大全 Genevieve_xiao linuxlinuxbash运维
    shell学习笔记yxc的linuxshell语法目录概论运行方式直接用解释器执行作为可执行文件运行注释单行注释多行注释变量定义变量引用变量只读变量删除变量变量类型字符串默认变量文件参数变量其他参数相关变量数组定义调用数组元素中的值数组长度expr命令重要说明字符串表达式整数表达式逻辑关系表达式read命令echo命令显示普通字符串显示转义字符显示变量显示换行显示不换行显示结果定向至文件原样输出显
  • linux基础 晖.418 linux
    今天简单说一下关于linux基础的知识，并不完全，都是一些比较常用的命令，可以进行简单的了解。Linux是一套免费使用和自由传播的类Unix操作系统，是一个基于POSIX和UNIX的多用户、多任务、支持多线程和多CPU的操作系统。Linux能运行主要的UNIX工具软件、应用程序和网络协议。它支持32位和64位硬件。Linux继承了Unix以网络为核心的设计思想，是一个性能稳定的多用户网络操作系统。
  • Linux 如何使用parted进行磁盘分区？ linux
    简介Linux中的parted命令是一个用于创建、修改和管理磁盘分区的多功能工具。它支持传统的MBR（MasterBootRecord：主引导记录）和现代的GPT（GUIDPartitionTable：GUID分区表）分区方案。磁盘分区的主要原因最佳性能：正确管理分区可以提高系统的速度和响应性。例如，将操作系统文件从用户数据中分离出来，或者将频繁访问的数据放在磁盘上更快的部分上，都可以提高性能。数
  • 使用LangChain构建简单LLM翻译应用 fGVBSAbe langchainjava前端python
    技术背景介绍在本教程中，我们将学习如何使用LangChain构建一个简单的语言模型（LLM）应用程序，该应用程序用于将文本从英语翻译成其他语言。虽然这个应用程序比较简单，但它是学习LangChain的一个不错的开始，因为许多复杂功能都可以通过简单的提示和LLM调用构建。核心原理解析LangChain通过链式调用多个组件，使得复杂的语言处理任务变得简单易行。我们将使用LangChain的以下功能：语
  • AI驱动的翻译工具：自动化处理 Univer Sheets 单元格内容翻译
    背景随着工作和学习的全球化，跨语言的沟通变得尤为重要。对于使用电子表格进行数据处理和分析的用户来说，表格中的内容可能涉及不同的语言。尤其是在处理多语言数据时，翻译表格内容成为了一个高频的需求。传统的翻译方法可能需要手动复制粘贴，或者依赖外部工具，这样的方式既繁琐又浪费时间。为了解决这个问题，我们开发了一个基于AI的自动翻译工具——AICellTranslator，它能在UniverSheets中自
  • 什么是多任务，单线程，多线程，超线程 weixin_34378969 操作系统
    单任务操作系统：就是一次只能运行一个程序，不能同时运行多个程序，比如DOS系统；多任务系统则可以同时运行多个程序，比如我们现在常用的WindowsXP、Win7等系统。举例子：在运行一个软件时，想要玩另一个软件就必须把上面运行的软件关掉才能运行新的软件，你玩×××游戏时，还想再开个cs游戏，就得关掉×××游戏！想再开个uc浏览器，就的把cs关掉，你不关，在开新程序时系统会替你关的！多任务系统嘛，如
  • 国产海光CPU平台兼容性指南-基础软件分册-20231013（附各系统下载链接） 技术瘾君子1573 服务器&存储服务器兼容列表海光CPU云计算大数据操作系统
    目录声明一、操作系统二、虚拟化和云2.1虚拟化和云2.2虚拟机上的操作系统2.2.1VMwarevSphere上的虚拟机操作系统2.2.2KVM上的虚拟机操作系统2.2.3WindowsHyper-V上的虚拟机操作系统2.2.4VirtualBox上的虚拟机操作系统三、分布式存储四、数据库五、中间件六、大数据七、平台组件7.1云平台7.2大数据平台7.3人工智能平台7.4科学与工程计算平台八、其它
  • Linux/Mac 命令行工具 tree 开发项目结构可以不用截图了 更方便 更清晰 更全 知楠行易 Softwarelinuxmacos运维
    tree是一个命令行工具，用于以树形结构显示文件系统目录的内容。它可用于列出指定目录下的所有文件和子目录，以及它们的层次关系。tree命令在许多操作系统中都可用，包括Unix、Linux和macOS。效果如下：一、安装linux#Debian/Ubuntusudoapt-getinstalltree#RedHat/CentOSsudoyuminstalltreeMacbrewinstalltree
  • 自己动手写CPU - 6 qq85058522 自己动手写CPUfpga开发
    自己动手写CPU_qq85058522的博客-CSDN博客CPU不加功能了，但汇编器可以有。下面写一个把汇编（助记符）翻译成机器码的小工具。Python熟些，就用它了。很简单，就是字符串替换。直接上代码。importsysiflen(sys.argv)!=2:print("usage:pythonassemblerxxx.asm")exit(0)code_path=sys.argv[1]print
  • MoviePy视频编辑和处理Python库的版本问题解决：No module named ‘moviepy.editor‘ 封步宇AIGC 文字音频视频自动化工具python音视频ffmpeg人工智能
    MoviePy是一个强大的Python库，用于视频编辑和处理。它支持多种基本操作，如视频剪切、拼接、插入标题，以及更高级的视频合成（非线性编辑）、视频处理和自定义特效创建。MoviePy能够读写包括GIF在内的常见音频和视频格式，并且兼容Windows、Mac和Linux操作系统，支持Python2.7和3.x版本MoviePy基于ffmpeg和ImageMagick，提供了易于使用的API，能够
  • deepin桌面卡死问题应对策略 deepin
    摘要：deepin操作系统，作为一款基于Linux的国产操作系统，以其美观的界面和稳定的性能受到用户的喜爱。然而，用户在使用过程中可能会遇到桌面卡死的问题。本文将提供一些常见的桌面卡死情况及其解决方案，帮助用户快速恢复系统的正常运行。引言deepin操作系统在提供高效能的同时，也可能会遇到桌面卡死的问题。这种情况可能是由于桌面环境、Xorg服务或者特定进程的异常造成的。本文将针对这些情况提供详细的
  • 使用PyCharm运行Python程序 代码艺术巧匠 pythonpycharmjavaPython
    使用PyCharm运行Python程序PyCharm是一种功能强大的Python集成开发环境（IDE），它提供了许多方便的功能来开发、调试和运行Python程序。在本文中，我将向您展示如何使用PyCharm来运行Python程序，并提供相应的源代码示例。步骤1：安装PyCharm首先，您需要从JetBrains官方网站下载并安装PyCharm。根据您的操作系统，选择适合您的版本。安装过程非常简单，
  • VMware Workstation 11 或者 VMware Player 7安装MAC OS X 10.10 Yosemite iwindyforest vmwaremac os10.10workstationplayer
    最近尝试了下VMware下安装MacOS 系统， 安装过程中发现网上可供参考的文章都是VMware Workstation 10以下， MacOS X 10.9以下的文章， 只能提供大概的思路， 但是实际安装起来由于版本问题， 走了不少弯路， 所以我尝试写以下总结， 希望能给有兴趣安装OSX的人提供一点帮助。     写在前面的话： 其实安装好后发现， 由于我的th
  • 关于《基于模型驱动的B/S在线开发平台》源代码开源的疑虑？ deathwknight JavaScriptjava框架
    本人从学习Java开发到现在已有10年整，从一个要自学 java买成javascript的小菜鸟，成长为只会java和javascript语言的老菜鸟（个人邮箱：[email protected]） 一路走来，跌跌撞撞。用自己的三年多业余时间，瞎搞一个小东西（基于模型驱动的B/S在线开发平台，非MVC框架、非代码生成）。希望与大家一起分享，同时有许些疑虑，希望有人可以交流下 平台
  • 如何把maven项目转成web项目 Kai_Ge mavenMyEclipse
    创建Web工程，使用eclipse ee创建maven web工程 1.右键项目,选择Project Facets,点击Convert to faceted from 2.更改Dynamic Web Module的Version为2.5.(3.0为Java7的,Tomcat6不支持). 如果提示错误,可能需要在Java Compiler设置Compiler compl
  • 主管？？？ Array_06 工作
    转载：http://www.blogjava.net/fastzch/archive/2010/11/25/339054.html 很久以前跟同事参加的培训，同事整理得很详细，必须得转！ 前段时间，公司有组织中高阶主管及其培养干部进行了为期三天的管理训练培训。三天的课程下来，虽然内容较多，因对老师三天来的课程内容深有感触，故借着整理学习心得的机会，将三天来的培训课程做了一个
  • python内置函数大全 2002wmj python
    最近一直在看python的document，打算在基础方面重点看一下python的keyword、Build-in Function、Build-in Constants、Build-in Types、Build-in Exception这四个方面，其实在看的时候发现整个《The Python Standard Library》章节都是很不错的，其中描述了很多不错的主题。先把Build-in Fu
  • JSP页面通过JQUERY合并行 357029540 JavaScriptjquery
    在写程序的过程中我们难免会遇到在页面上合并单元行的情况，如图所示 如果对于会的同学可能很简单，但是对没有思路的同学来说还是比较麻烦的，提供一下用JQUERY实现的参考代码 function mergeCell(){         var trs = $("#table tr"); &nb
  • Java基础 冰天百华 java基础
    学习函数式编程 package base; import java.text.DecimalFormat; public class Main { public static void main(String[] args) { // Integer a = 4; // Double aa = (double)a / 100000; // Decimal
  • unix时间戳相互转换 adminjun 转换unix时间戳
    如何在不同编程语言中获取现在的Unix时间戳(Unix timestamp)？ Java time JavaScript Math.round(new Date().getTime()/1000) getTime()返回数值的单位是毫秒 Microsoft .NET / C# epoch = (DateTime.Now.ToUniversalTime().Ticks - 62135
  • 作为一个合格程序员该做的事 aijuans 程序员
    作为一个合格程序员每天该做的事 1、总结自己一天任务的完成情况 最好的方式是写工作日志，把自己今天完成了什么事情，遇见了什么问题都记录下来，日后翻看好处多多 2、考虑自己明天应该做的主要工作 把明天要做的事情列出来，并按照优先级排列，第二天应该把自己效率最高的时间分配给最重要的工作 3、考虑自己一天工作中失误的地方，并想出避免下一次再犯的方法 出错不要紧，最重
  • 由html5视频播放引发的总结 ayaoxinchao html5视频video
    前言   项目中存在视频播放的功能，前期设计是以flash播放器播放视频的。但是现在由于需要兼容苹果的设备，必须采用html5的方式来播放视频。我就出于兴趣对html5播放视频做了简单的了解，不了解不知道，水真是很深。本文所记录的知识一些浅尝辄止的知识，说起来很惭愧。   视频结构   本该直接介绍html5的<video>的，但鉴于本人对视频
  • 解决httpclient访问自签名https报javax.net.ssl.SSLHandshakeException: sun.security.validat bewithme httpclient
         如果你构建了一个https协议的站点，而此站点的安全证书并不是合法的第三方证书颁发机构所签发，那么你用httpclient去访问此站点会报如下错误   javax.net.ssl.SSLHandshakeException: sun.security.validator.ValidatorException: PKIX path bu
  • Jedis连接池的入门级使用 bijian1013 redisredis数据库jedis
    Jedis连接池操作步骤如下：         a.获取Jedis实例需要从JedisPool中获取；         b.用完Jedis实例需要返还给JedisPool；         c.如果Jedis在使用过程中出错，则也需要还给JedisPool； packag
  • 变与不变 bingyingao 不变变亲情永恒
    变与不变    周末骑车转到了五年前租住的小区，曾经最爱吃的西北面馆、江西水饺、手工拉面早已不在，    各种店铺都换了好几茬，这些是变的。    三年前还很流行的一款手机在今天看起来已经落后的不像样子。    三年前还运行的好好的一家公司，今天也已经不复存在。    一座座高楼拔地而起，
  • 【Scala十】Scala核心四：集合框架之List bit1129 scala
    Spark的RDD作为一个分布式不可变的数据集合，它提供的转换操作，很多是借鉴于Scala的集合框架提供的一些函数，因此，有必要对Scala的集合进行详细的了解   1. 泛型集合都是协变的，对于List而言，如果B是A的子类，那么List[B]也是List[A]的子类，即可以把List[B]的实例赋值给List[A]变量   2. 给变量赋值(注意val关键字，a，b
  • Nested Functions in C bookjovi cclosure
      Nested Functions 又称closure，属于functional language中的概念，一直以为C中是不支持closure的，现在看来我错了，不过C标准中是不支持的，而GCC支持。   既然GCC支持了closure，那么 lexical scoping自然也支持了，同时在C中label也是可以在nested functions中自由跳转的
  • Java-Collections Framework学习与总结-WeakHashMap BrokenDreams Collections
            总结这个类之前，首先看一下Java引用的相关知识。Java的引用分为四种：强引用、软引用、弱引用和虚引用。         强引用：就是常见的代码中的引用，如Object o = new Object();存在强引用的对象不会被垃圾收集
  • 读《研磨设计模式》-代码笔记-解释器模式-Interpret bylijinnan java设计模式
    声明： 本文只为方便我个人查阅和理解，详细的分析以及源代码请移步 原作者的博客http://chjavach.iteye.com/ package design.pattern; /* * 解释器（Interpreter）模式的意图是可以按照自己定义的组合规则集合来组合可执行对象 * * 代码示例实现XML里面1.读取单个元素的值 2.读取单个属性的值 * 多
  • After Effects操作&快捷键 cherishLC After Effects
    1、快捷键官方文档 中文版：https://helpx.adobe.com/cn/after-effects/using/keyboard-shortcuts-reference.html 英文版：https://helpx.adobe.com/after-effects/using/keyboard-shortcuts-reference.html 2、常用快捷键
  • Maven 常用命令 crabdave maven
    Maven 常用命令   mvn archetype:generate mvn install mvn clean mvn clean complie mvn clean test mvn clean install mvn clean package mvn test mvn package mvn site   mvn dependency:res
  • shell bad substitution daizj shell脚本
    #!/bin/sh /data/script/common/run_cmd.exp 192.168.13.168 "impala-shell -islave4 -q 'insert OVERWRITE table imeis.${tableName} select ${selectFields}, ds, fnv_hash(concat(cast(ds as string), im
  • Java SE 第二讲（原生数据类型 Primitive Data Type） dcj3sjt126com java
    Java SE  第二讲： 1.   Windows: notepad, editplus, ultraedit, gvim Linux: vi, vim, gedit 2.   Java 中的数据类型分为两大类： 1）原生数据类型  （Primitive Data Type） 2）引用类型（对象类型）  （R
  • CGridView中实现批量删除 dcj3sjt126com PHPyii
    1，CGridView中的columns添加 array( 'selectableRows' => 2, 'footer' => '<button type="button" onclick="GetCheckbox();" style=&
  • Java中泛型的各种使用 dyy_gusi java泛型
    Java中的泛型的使用：1.普通的泛型使用 在使用类的时候后面的<>中的类型就是我们确定的类型。 public class MyClass1<T> {//此处定义的泛型是T private T var; public T getVar() { return var; } public void setVa
  • Web开发技术十年发展历程 gcq511120594 Web浏览器数据挖掘
    回顾web开发技术这十年发展历程： Ajax 03年的时候我上六年级，那时候网吧刚在小县城的角落萌生。传奇，大话西游第一代网游一时风靡。我抱着试一试的心态给了网吧老板两块钱想申请个号玩玩，然后接下来的一个小时我一直在，注，册，账，号。 彼时网吧用的512k的带宽，注册的时候，填了一堆信息，提交，页面跳转，嘣，”您填写的信息有误，请重填”。然后跳转回注册页面，以此循环。我现在时常想，如果当时a
  • openSession()与getCurrentSession()区别： hetongfei javaDAOHibernate
    来自 http://blog.csdn.net/dy511/article/details/6166134 1.getCurrentSession创建的session会和绑定到当前线程,而openSession不会。 2. getCurrentSession创建的线程会在事务回滚或事物提交后自动关闭,而openSession必须手动关闭。 这里getCurrentSession本地事务(本地
  • 第一章 安装Nginx+Lua开发环境 jinnianshilongnian nginxluaopenresty
    首先我们选择使用OpenResty，其是由Nginx核心加很多第三方模块组成，其最大的亮点是默认集成了Lua开发环境，使得Nginx可以作为一个Web Server使用。借助于Nginx的事件驱动模型和非阻塞IO，可以实现高性能的Web应用程序。而且OpenResty提供了大量组件如Mysql、Redis、Memcached等等，使在Nginx上开发Web应用更方便更简单。目前在京东如实时价格、秒
  • HSQLDB In-Process方式访问内存数据库 liyonghui160com
        HSQLDB一大特色就是能够在内存中建立数据库，当然它也能将这些内存数据库保存到文件中以便实现真正的持久化。   先睹为快！   下面是一个In-Process方式访问内存数据库的代码示例：     下面代码需要引入hsqldb.jar包 （hsqldb-2.2.8）   import java.s
  • Java线程的5个使用技巧 pda158 java数据结构
    Java线程有哪些不太为人所知的技巧与用法？ 　　萝卜白菜各有所爱。像我就喜欢Java。学无止境，这也是我喜欢它的一个原因。日常 工作中你所用到的工具，通常都有些你从来没有了解过的东西，比方说某个方法或者是一些有趣的用法。比如说线程。没错，就是线程。或者确切说是Thread这个类。当我们在构建高可扩展性系统的时候，通常会面临各种各样的并发编程的问题，不过我们现在所要讲的可能会略有不同。
  • 开发资源大整合：编程语言篇——JavaScript（1） shoothao JavaScript
    概述：本系列的资源整合来自于github中各个领域的大牛，来收藏你感兴趣的东西吧。     程序包管理器   管理javascript库并提供对这些库的快速使用与打包的服务。 Bower - 用于web的程序包管理。 component - 用于客户端的程序包管理，构建更好的web应用程序。 spm - 全新的静态的文件包管
  • 避免使用终结函数 vahoa.ma javajvmC++
    终结函数（finalizer）通常是不可预测的，常常也是很危险的，一般情况下不是必要的。使用终结函数会导致不稳定的行为、更差的性能，以及带来移植性问题。不要把终结函数当做C++中的析构函数（destructors）的对应物。       我自己总结了一下这一条的综合性结论是这样的： 1）在涉及使用资源，使用完毕后要释放资源的情形下，首先要用一个显示的方
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他