operating-system


Understanding higher level call to systemcalls


I am going through the book by Galvin on OS . There is a section at the end of chapter 2 where the author writes about "adding a system call " to the kernel.
He describes how using asmlinkage we can create a file containing a function and make it qualify as a system call . But in the next part about how to call the system call he writes the following :
" Unfortunately, these are low-level operations that cannot be performed using C language statements and instead require assembly instructions. Fortunately, Linux provides macros for instantiating wrapper functions that contain the appropriate assembly instructions. For instance, the following C program uses the _syscallO() macro to invoke the newly defined system call:
Basically , I want to understand how syscall() function generally works . Now , what I understand by Macros is a system for text substitution .
(Please correct me If I am wrong)
How does a macro call an assembly language instruction ?
Is it so that syscallO() when compiled is translated into the address(op code) of the instruction to execute a trap ?(But this somehow doesn't fit with concept or definition of macros that I have )
What exactly are the wrapper functions that are contained inside and are they also written in assembly language ?
Suppose , I want to create a function of my own which performs the system call then what are the things that I need to do . Do , I need to compile it to generate the machine code for performing Trap instructions ?
Man, you have to pay $156 dollars to by the thing, then you actually have to read it. You could probably get an VMS Internals and Data Structures book for under $30.
That said, let me try to translate that gibberish into English.
System calls do not use the same kind of linkage (i.e. method of passing parameters and calling functions) that other functions use.
Rather than executing a call instruction of some kind, to execute a system service, you trigger an exception (which in Intel is bizarrely called an interrupt).
The CPU expects the operating system to create a DISPATCH TABLE and store its location and size in a special hardware register(s). The dispatch table is an array of pointers to handlers for exceptions and interrupts.
Exceptions and interrupts have numbers so, when exception or interrupt number #1 occurs, the CPU invokes the 2d exception handler (not #0, but #1) in the dispatch table in kernel mode.
What exactly are the wrapper functions that are contained inside and are they also written in assembly language ?
The operating system devotes usually one (but sometimes more) exceptions to system services. You need to do some thing like this in assembly language to invoke a system service:
INT $80 ; Explicitly trigger exception 80h
Because you have to execute a specific instruction, this has to be one in assembly language. Maybe your C compiler can do assembly language in line to call system service like that. But even if it could, it would be a royal PITA to have to do it each time you wanted to call a system service.
Plus I have not filled in all the details here (only the actual call to the system service). Normally, when you call functions in C (or whatever), the arguments are pushed on the program stack. Because the stack usually changes when you enter kernel mode, arguments to system calls need to be stored in registers.
PLUS you need to identify what system service you want to execute. Usually, system services have numbers. The number of the system service is loaded into the first register (e.g., R0 or AX).
The full process when you need to invoke a system service is:
Save the registers you are going to overwrite on the stack.
Load the arguments you want to pass to the system service into hardware registers.
Load the number of the system service into the lowest register.
Trigger the exception to enter kernel mode.
Unload the arguments returned by the system service from registers
Possibly do some error checking
Restore the registers you saved before.
Instead of doing this each time you call a system service, operating systems provide wrapper functions for high level languages to use. You call the wrapper as you would normally call a function. The wrapper (in assembly language) does the steps above for you.
Because these wrappers are pretty much the same (usually the only difference is the result of different numbers of arguments), wrappers can be created using macros. Some assemblers have powerful macro facilities that allow a single macro to define all wrappers, even with different numbers of arguments.
Linux provides multiple _syscall C macros that create wrappers. There is one for each number of arguments. Note that these macros are just for operating system developers. Once the wrapper is there, everyone can use it.
How does a macro call an assembly language instruction ?
These _syscall macros have to generate in line assembly code.
Finally, note that these wrappers do not define the actual system service. That has to be set up in the dispatch table and the system service exception handler.

Related Links

Race condition using a code segment
Difference between compile time ,load time and execution time?
Does prior-CPU-usage-time dependent scheduling algorithm exist in Operating System?
Do I need to know about registers and memories to access IO after putting OS on embedded systems like ARM
how to view nested page table entries in qemu?
Where is the process state saved when an interrupt occurs?
Semaphore under uCOS-III
Logical addressing calculation
How thread is preserved in os fork?
Could someone help me to figure an example of MRU and CLOCK?
Composition Of An OS [closed]
Can Electron affect other OS apps?
How page faults are handled with Page Size Extension?
How to Install Metasploitable on External Device
Computer requirements for an RTOS
How to write data directly into video memory?

Categories

HOME
tomcat
focus
yii
opencv-python
add-on
plaid
ews
fogbugz
iptables
ontology
share
position
static-analysis
cocotb
yeoman-generator-angular
heuristics
pm2
jpa-2.0
dma
google-sites
pickle
cloudsim
salt-cloud
cmake-gui
kaggle
intel
opentext
jstree
nurbs
router
webviewclient
multi-dimensional-scaling
python-imageio
annotation-processing
autodesk-model-derivative
windowsiot
landscape
uipickerview
icepdf
cloudera-sentry
dredd
section508
windows-media-player
webalizer
sony-future-lab-n
scala-breeze
business-rules
google-identity-toolkit
dcount
livecycle
qpixmap
fdt
utf-16
vimperator
ajax4jsf
grinder
servicestack-bsd
canopy
modern.ie
wicked-gem
quercus
prism-4
python-curses
ssmtp
pass-by-value
sql-processor
famo.us
iodocs
inequality
multivariate-testing
quantify
ecos
two.js
iirf
notifyjs
hints
insertion
linkbutton
sfinae
image-formats
uitextfielddelegate
differentiation
play2-mini
getopts
kernel32
asp.net-mvc-views
django-pagination
android-input-method
aspbutton
ppc
rtti
gtktextview
service-factory

Resources

Mobile Apps Dev
Database Users
javascript
java
csharp
php
android
MS Developer
developer works
python
ios
c
html
jquery
RDBMS discuss
Cloud Virtualization
Database Dev&Adm
javascript
java
csharp
php
python
android
jquery
ruby
ios
html
Mobile App
Mobile App
Mobile App