检索结果-内蒙古大学图书馆

56th Technical Symposium on Computer Science Education

作者： Natella, Roberto Univ Napoli Federico II Naples Italy

ISBN: (纸本)9798400705328

In large programming classes, it takes a significant effort from teachers to evaluate exercises and provide detailed feedback. In systems programming, test cases are not sufficient to assess exercises, since concurrency and resource management bugs are difficult to reproduce. This paper presents an experience report on static analysis for the automatic evaluation of systems programming exercises. We design systems programming assignments with static analysis rules that are tailored for each assignment, to provide detailed and accurate feedback. Our evaluation shows that static analysis can identify a significant number of erroneous submissions missed by test cases.

关键词： systems programming Static Analysis Concurrency IPC OS

来源：评论

学校读者我要写书评

暂无评论

systems programming FOR DATA COMMUNICATIONS ON MINICOMPUTERS

引用

SOFTWARE-PRACTICE & EXPERIENCE 1980年第4期10卷 283-305页

作者： PATEL, A PURSER, M Department of Computer Science Trinity College Dublin 2 Ireland

This paper examines some of the special considerations which apply to the development of such software for minicomputers. These are treated under the following general categories: loading and throughput the external i... 详细信息

关键词： Data communications Minicomputers HDLC X25 Protocols systems programming

来源：评论

学校读者我要写书评

暂无评论

Introducing a High School Student to systems programming Via Bare Machine Computing 1

引用

Computing Conference

作者： Naraharisetti, D. N. Karne, R. K. Weymouth, J. Wijesinha, A. L. Marriotts Ridge High Sch Marriottsville MD 21104 USA Towson Univ Towson MD 21252 USA Morgan State Univ Baltimore MD 21251 USA

ISBN: (数字)9783031622731

ISBN: (纸本)9783031622755;9783031622731;9783031622724

In this paper, we describe the use of bare machine software that runs without an operating system or kernel to introduce a high school student familiar with Java and Python to system internals and the fundamentals of systems programming. The motivation was the ability of bare machine computing applications to directly communicate to device hardware and allow easy access to low-level computing elements. The student first worked together with the faculty mentor to understand the basic principles underlying the design and implementation of the bare machine web server. Specifically, the student learned about bare machine computing and key system elements including CPU, main memory, addressing, program counter, general-purpose registers, tasking, BIOS, and interrupts. The student also became proficient in C and C++, gained familiarity with the bare machine application development environment, and studied networking aspects of the server such as the basics of Ethernet, IP, and TCP. Next, the student designed simple user interfaces that enabled peer students to visualize and manipulate several key components of the server. This required modifying the web server code so that students could access it using their smartphones. Finally, the student designed and administered a survey to the peer students to understand their initial impressions about bare machine computing and low-level systems elements in general. For comparison, a survey was also administered to beginning college students. At the end of the paper, we discuss the many challenges involved, the knowledge gained, and the lessons learned.

关键词： Bare machine computing systems programming High school student Software systems

来源：评论

学校读者我要写书评

暂无评论

Implementing Malloc: Students and systems programming 18

Implementing Malloc: Students and Systems Programming

引用

49th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Railing, Brian P. Bryant, Randal E. Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9781450351034

This work describes our experience in revising one of the major programming assignments for the second-year course Introduction to Computer systems, in which students implement a version of the malloc memory allocator. The revisions involved fully supporting a 64-bit address space, promoting a more modern programming style, and creating a set of benchmarks and grading standards that provide an appropriate level of challenge. With this revised assignment, students were able to implement more sophisticated allocators than they had in the past, and they also achieved higher performance on the related questions on the final exam.

关键词： malloc programming assignment systems programming

来源：评论

学校读者我要写书评

暂无评论

Polymorphism and Page Tables systems programming From a Functional Programmer's Perspective 08

Polymorphism and Page Tables Systems Programming From a Func...

引用

13th ACM SIGPLAN International Conference on Functional programming

作者： Jones, Mark P. Portland State Univ Portland OR 97207 USA

ISBN: (纸本)9781595939197

With features that include lightweight syntax, expressive type systems, and deep semantic foundations, functional languages are now being used to develop an increasingly broad range of complex, real-world applications. In the area of systems software, however, where performance and interaction with low-level aspects of hardware are central concerns, many practitioners still eschew the advantages of higher-level languages for the potentially unsafe but predictable behavior of traditional imperative languages like C. It is ironic that critical applications such as operating systems kernels, device drivers, and VMMs-where a single bug could compromise the reliability or security of a whole system-are among the least likely to benefit from the abstractions and safety guarantees of modern language designs. Over the last few years, our group has been investigating the potential for using Haskell to develop realistic operating systems that can boot and run on bare metal. The House system, developed primarily by Thomas Hallgren and Andrew Tolmach, demonstrates that it is indeed possible to construct systems software in a functional language. But House still relies on a layer of runtime support primitives-some written using unsafe Haskell primitives and others written in C-to provide services ranging from garbage collection to control of the page table structures used by the hardware memory management unit. We would like to replace as much of this layer as possible with code written in a functional language without compromising on type or memory safety. Our experiences with House have led us to believe that a new functional language is required to reflect the needs of the systems domain more directly. Interestingly, however, we have concluded that this does not require fundamental new language design. In this invited talk, I will give an update on the current status of our project and I will describe how we are leveraging familiar components of the Haskell type system-includ

关键词： Functional programming systems programming type systems data representation memory manipulation

来源：评论

学校读者我要写书评

暂无评论

Polymorphism and page tables - systems programming from a functional programmer's perspective

引用

ACM SIGPLAN NOTICES 2008年第9期43卷 265-265页

作者： Jones, Mark P. Portland State Univ Portland OR 97207 USA

关键词： design languages reliability functional programming systems programming type systems data representation memory manipulation

来源：评论

学校读者我要写书评

暂无评论

Bliss: A Language for systems programming

引用

Communications of the ACM 1971年第12期14卷 780-790页

作者： Wulf, W.A. Russell, D.B. Habermann, A.N. Carnegie-Mellon University Computer Science Department Pittsburgh PA 15213 United States

A language, BLISS, is described. This language is designed so as to be especially suitable for use in writing production software systems for a specific machine (the PDP-10): compilers, operating systems, etc. Prime design goals of the design are the ability to produce highly efficient object code, to allow access to all relevant hardware features of the host machine, and to provide a rational means by which to cope with the evolutionary nature of systems programs. A major feature which contributes to the realization of these goals is a mechanism permitting the definition of the representation of all data structures in terms of the access algorithm for elements of the structure. © 1971, ACM. All rights reserved.

关键词： data structures implementation language programming languages systems programming

来源：评论

学校读者我要写书评

暂无评论

A LINGUA FRANCA FOR CONCURRENT LOGIC programming

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1992年第3期18卷 225-236页

作者： TAYLOR, H Department of Computer Science 1-leriot-Walt University Edinburgh EH1 2H5 Scotland

Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic programming would benefit from both, but neither language is able to express all the programs expressible in the other language, a lingua franca of these languages is defined and justified. A method is given for translating GHC and Parlog to and from it. The method preserves the arities and execution conditions of each clause. It enables a lingua franca implementation to support both languages transparently, and to provide a simple concurrent logic programming language suitable for programming in its own right.

关键词： GHC PARALLELISM PARLOG SEMANTICS SUSPENSION systems programming TRANSLATION

来源：评论

学校读者我要写书评

暂无评论

AN EXTENSION OF THE LANGUAGE-C FOR CONCURRENT programming

引用

PARALLEL COMPUTING 1986年第1期3卷 59-71页

作者： SONNENSCHEIN, M Lehrstuhl für Informatik I RWTH Aachen D-5100 Aachen Fed. Rep. Germany

C is a well-known language for systems programming in UNIX-systems. Its concepts are very efficient rather than very safe and, therefore, an extension of C for concurrent programming has also to focus on an efficient implementation instead of on very safe programming concepts. We will present processes, modified ports, and modified signals as concepts for extending C. These concepts are defined close to hardware structures as mailboxes and interrupts and, therefore, they can be implemented efficiently. On the other hand we will show that many classical concepts of concurrent programming can be simulated by ports and signals and, therefore, these primitives are sufficiently powerful.

关键词： concurrent programming Language C systems programming UNIX-environment

来源：评论

学校读者我要写书评

暂无评论

Learning memory management with C-Sim: A C-based visual tool

引用

COMPUTER APPLICATIONS IN ENGINEERING EDUCATION 2019年第5期27卷 1217-1235页

作者： Garcia Perez-Schofield, Baltasar Garcia Rivera, Matias Ortin, Francisco Lado, Maria J. Univ Vigo Higher Sch Comp Sci Engn Campus As Lagoas Orense Spain Univ Oviedo Comp Sci Dept Oviedo Spain

Nowadays, Computer Science (CS) students must cope with continuous challenges related to programming skill acquisition. In some occasions, they have to deal with the internals of memory management (pointers, pointer arithmetic, and heap management) facing a vision of programming from the low abstraction level offered by C. Even using C++ and references, not all scenarios where objects or collections of objects need to be managed can be covered. Based on the difficulties identified when dealing with such low-level abstractions, the C-Sim application, aimed at learning these concepts in an easy way, has been developed. To support the tool, the C programming language was selected. It allows showing concepts, remaining as close as possible both to the hardware and the operating system. To validate C-Sim, pre and posttests were filled in by a group of 60 first-year CS students, who employed the tool to learn about memory management. Grades of students using C-Sim were also obtained and compared with those that did not use the tool the former academic year. As main outcomes, 82.26% of students indicated that they had improved programming and memory management knowledge, and 83.64% pointed out that the use of this type of tools improves the understanding and quality of the practice lessons. Furthermore, the marks of students have significantly increased. Finally, C-Sim was designed from the ground up as a learning aid and can be useful for lecturers, who can complement their lessons using interactive demonstrations. Students can also employ it to experiment and learn autonomously.

关键词： C programming language education memory management systems programming visual tool

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：