精炼：操作系统主要有（）、共享性、虚拟性和异步性四个基本特征。